The Key Construction: A Parallel Line
Given: Triangle
Construction: Draw line
This line exists by the Parallel Postulate — the cornerstone of Euclidean geometry.
Identifying the Alternate Interior Angles
With line
— alternate interior angles, transversal — alternate interior angles, transversal
This uses the Alternate Interior Angles Theorem from HSG.CO.C.9.
Two-Column Proof: Angle Sum Theorem
Given:
Prove:
| Statement | Reason |
|---|---|
| Line |
Construction (Parallel Postulate) |
| Alt. interior angles ( |
|
| Alt. interior angles ( |
|
| Angles on a line at point |
|
| Definition of straight angle | |
| Substitution |
Quick Check: Applying the Angle Sum Theorem
In triangle
Find
Think through this before advancing.
Answer: Finding the Missing Angle
Apply the Angle Sum Theorem:
Exterior Angle Theorem as a Corollary
Corollary: An exterior angle equals the sum of the two remote interior angles.
Extend
Quick Check: Exterior Angle Theorem
In the figure below,
Find
Name the theorem you'll use, then compute.
From Angle Sum to Isosceles Triangles
What if two sides of a triangle are equal?
Draw
The angles opposite the equal sides appear equal. Can we prove this is always true?
Stating the Isosceles Triangle Theorem
Theorem: If two sides of a triangle are congruent, the angles opposite those sides are congruent.
If
Historically called pons asinorum — "bridge of donkeys."
Setting Up the SAS Congruence Proof
Given:
Construction: Draw angle bisector of
Three facts about
(given) (bisector) (reflexive)
Two-Column Proof: Isosceles Triangle Theorem
Given:
Prove:
| Statement | Reason |
|---|---|
| Given | |
| Construction | |
| Definition of angle bisector | |
| Reflexive property | |
| SAS ( |
|
| CPCTC |
Isosceles Base Angles via Reflection
Reflect
under reflection (symmetric about bisector) → lies on the bisector → fixed- Rigid motion preserves angles:
Two Valid Approaches Reach Same Conclusion
Both proofs reach the same conclusion:
| Approach | Tools used | Style |
|---|---|---|
| SAS + CPCTC | Angle bisector, congruence | Classical |
| Reflection | Perpendicular bisector, rigid motions | Transformational |
Neither is more correct. Multiple paths build stronger conviction.
Converse: Equal Angles Imply Equal Sides
Converse: If two angles of a triangle are congruent, then the opposite sides are congruent.
If
- Congruent angles → isosceles triangle
- Equilateral → all angles equal → all angles 60° (three sides equal + angle sum)
Quick Check: Applying the Isosceles Theorem
An isosceles triangle has vertex angle
Find the measure of each base angle.
Use the theorems we've built today — name them before you compute.
Answer: Finding the Isosceles Base Angles
Isosceles:
Each base angle measures 70°.
Equilateral Triangle: All Angles Are Sixty Degrees
If
→ (Isosceles Theorem) → (Isosceles Theorem)- All three equal →
→
Quick Check: Choosing the Right Tool
| Situation | Theorem? |
|---|---|
| Two angles known; find the third | ? |
| Two sides equal | ? |
| Two angles equal | ? |
| Exterior angle formed | ? |
Choosing the Right Theorem to Apply
| Situation | Theorem |
|---|---|
| Two angles known; find the third | Angle Sum Theorem |
| Two sides equal | Isosceles Triangle Theorem |
| Two angles equal | Converse of ITT |
| Exterior angle formed | Exterior Angle Theorem |
Key Takeaways from Lesson One
✓ Angle Sum:
✓ Isosceles Theorem: equal sides → equal base angles (SAS or reflection)
✓ Converse: equal angles → equal sides
180° is for triangles only
Proof requires the Parallel Postulate
Preview: What Comes Next in Deck Two
In Lesson 2 we prove two more triangle theorems:
- Midsegment Theorem: connecting two midpoints gives a segment parallel to the third side, half its length
- Centroid Theorem: three medians meet at one point, 2:1 from vertex
Both use similarity and coordinates.