Proving Theorems About Lines and Angles

Deck 1 of 2: Angle Theorems and Proofs

In this deck:

• Prove vertical angles are congruent
• Prove alternate interior angles are congruent
• Use the Corresponding Angles Postulate

Learning Objectives for This Deck

By the end of this deck, you should be able to:

1. Prove vertical angles are congruent using linear pairs
2. Prove alternate interior angles are congruent (parallel lines)
3. State and apply the Corresponding Angles Postulate
4. Construct logical proofs citing definitions and theorems

Observation vs. Proof — What Is the Difference?

You've measured angles since middle school. Here's a question: does measuring prove something?

• Measurement shows angles appear equal in one diagram
• A proof shows angles must be equal in every diagram
• Measurement is approximate; proof is exact

Today we prove what you've already observed.

Two Intersecting Lines: Four Angles Formed

∠1 and ∠3 are vertical (opposite). ∠2 and ∠4 are vertical (opposite).

Linear Pairs Give Us Two Equations

∠1 and ∠2 form a linear pair — supplementary:

∠2 and ∠3 form a linear pair — supplementary:

Vertical Angles Theorem: Two-Column Proof

Prove: ∠1 ≅ ∠3

Paragraph Proof: Same Logic, Different Format

Since ∠1 and ∠2 form a linear pair, . Since ∠2 and ∠3 form a linear pair, . By substitution and subtraction, , so ∠1 ≅ ∠3.

Same reasoning — different presentation.

Quick Check: Reading a Proof

Try this before the next slide.

A classmate writes: "∠1 = ∠3 because vertical angles are congruent."

1. Is this a valid proof step? Why or why not?
2. In the two-column proof above, what justifies the statement ?

Answer: Circular Reasoning vs. Valid Justification

1. Not valid — "vertical angles are congruent" is the conclusion. Using it as a reason is circular.

2. Subtraction Property of Equality — subtract from both sides.

Every reason must be more basic than what you're proving.

Adding a Second Parallel Line

So far: two intersecting lines → vertical angles theorem.

Now: two parallel lines cut by a transversal.

• The transversal creates 8 angles (4 at each intersection)
• Parallel lines guarantee special angle relationships
• We need a new tool: the Corresponding Angles Postulate

Parallel Lines and a Transversal: Eight Angles

∠1–∠4 at line , ∠5–∠8 at line

Angle Pair Families: Four Types

• Corresponding: same position at each intersection (∠1∠5, ∠3∠7, etc.)
• Alternate interior: opposite sides of transversal, between lines (∠3∠6, ∠4∠5)
• Alternate exterior: opposite sides, outside lines (∠1∠8, ∠2∠7)
• Co-interior (same-side interior): same side, between lines (∠3∠5, ∠4∠6) — supplementary

The Corresponding Angles Postulate Explained

When a transversal crosses parallel lines:

Postulate: Corresponding angles are congruent.

• Accepted as a foundational truth in Euclidean geometry
• All other parallel line theorems derive from this postulate

Proving Alternate Interior Angles Are Congruent

Given: , transversal . Prove: .

1. — Corresponding Angles Postulate ()
2. — Vertical Angles Theorem
3. — Transitive Property

Three steps. Two prior results.

Quick Check: Applying Parallel Line Theorems

Pause and try before the next slide.

In the diagram, and .

1. Find . Name the theorem.
2. Find . Name the theorem.

Answer: Angle Measures and Theorems Named

Given , :

1. — Alternate Interior Angles Theorem
2. — Co-interior angles are supplementary:

Also valid: ∠4 ∠5 are alternate interior, so by that path.

Converses: Proving Lines Are Parallel

The theorems have converses — equally important:

• If corresponding angles are congruent → lines are parallel
• If alternate interior angles are congruent → lines are parallel
• If co-interior angles are supplementary → lines are parallel

These converses let us prove parallelism from angle measurements.

Watch Out: Parallel Lines Are Required

• Theorem requires:
• Without parallelism: alternate interior angles are NOT congruent
• The hypothesis is not optional

Never apply these theorems unless you've confirmed the lines are parallel.

Key Takeaways and Misconception Warnings

✓ Vertical angles congruent — linear pairs + algebra
✓ Corresponding angles congruent — Postulate (parallel lines)
✓ Alternate interior angles congruent — corresponding + vertical

Vertical = opposite, not adjacent
Alternate = opposite sides of transversal
Parallel lines required; reasons must be more basic than conclusion

What Comes Next: Perpendicular Bisector Theorem

In Deck 2 you will:

• Prove a biconditional theorem — two proofs, one result
• Use triangle congruence (SAS and SSS) as proof tools
• Connect all four theorems and build a proof-writing strategy