Writing formal proofs: lines, angles and triangles
The two-column proof format, and four foundational Congruence theorems
About five to six lessons of 45 to 60 minutes
"It looks true" is not the same as "it is always true"
Measure the two vertical angles made by a pair of crossed pencils with a protractor and they will match, every time. But a measurement only ever checks ONE example. How do you know vertical angles are congruent for every possible pair of intersecting lines, not just the one on your desk right now?
A formal proof answers that question once, for every case, using nothing but definitions, postulates (facts we agree to accept without proof) and theorems already proven. A two-column proof lays this reasoning out as a numbered list: a Statement column (what is true at this step) and a Reason column (the definition, postulate or theorem that justifies it). Once a theorem is proven this way, it can be cited by name forever after, no re-measuring required.
- A bridge engineer trusts a theorem, not a rulerthe design must hold for every bridge of that shape, not just a measured model
- A detective's case for 'beyond reasonable doubt'every claim needs a justified reason, not just something that seems right
- Two lines crossing on a whiteboardthe vertical angles theorem in section 1 proves they are congruent for EVERY crossing pair, not just the one drawn
- A roof truss built from trianglesthe triangle angle sum theorem (section 3) is why the three angles always fit together the same way
What students will be able to do
Students will write and complete formal two-column proofs for four foundational Common Core Geometry theorems (vertical angles are congruent; alternate interior angles formed by a transversal across parallel lines are congruent; a triangle's interior angles sum to 180°; the base angles of an isosceles triangle are congruent), citing a valid statement and reason for each step, and apply the theorems to find unknown angle measures without re-proving them each time.
- I can explain what a two-column proof is: a numbered list of statements, each with a reason (a definition, postulate or already-proven theorem) that justifies it.
- I can complete a proof that vertical angles are congruent, using the Linear Pair Postulate.
- I can complete a proof that alternate interior angles are congruent when two parallel lines are cut by a transversal, using the Corresponding Angles Postulate and the Vertical Angles Theorem.
- I can complete a proof that a triangle's interior angles sum to 180°, using a constructed parallel line and the Alternate Interior Angles Theorem.
- I can complete a proof that the base angles of an isosceles triangle are congruent, using an angle bisector, SAS and CPCTC.
- I can apply all four theorems to compute an unknown angle measure, citing the correct theorem by name.
Standards this unit teaches
- HSG-CO.C.9Common Core (US)Prove theorems about lines and angles
Prove theorems about lines and angles. Theorems include: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; points on a perpendicular bisector of a line segment are exactly those equidistant from the segment's endpoints.
- HSG-CO.C.10Common Core (US)Prove theorems about triangles
Prove theorems about triangles. Theorems include: measures of interior angles of a triangle sum to 180°; base angles of isosceles triangles are congruent; the segment joining midpoints of two sides of a triangle is parallel to the third side and half the length; the medians of a triangle meet at a point.
Prior knowledge
This unit builds on skills students should already have met. Revisit any that are shaky first.
- AU Year 9 geometry: angles, polygons and enlargementvertical, adjacent and co-interior angle vocabulary this unit's proofs build directly on, without re-teaching it
- AU Year 9 geometry: surface area and congruence (SSS/SAS)the SAS congruence test this unit's isosceles-triangle proof (section 4) cites as a Reason
- Congruent, in the glossarythe ≅ symbol and what 'congruent' means, used throughout every proof here
- Triangle, in the glossarya refresher before proving theorems about triangles in sections 3 and 4
Words to teach and display
- Theorem
- a mathematical statement that has been proven true using logical reasoning from definitions, postulates and other theorems
- Postulate
- a basic fact accepted as true without proof, used as a building block for proving theorems (e.g. the Linear Pair Postulate)
- Two-column proof
- a proof written as a numbered list of statements, each paired with the reason (definition, postulate or theorem) that justifies it
- Linear pair
- two adjacent angles whose non-shared sides form a straight line; they always sum to 180°
- Vertical angles
- the pair of opposite angles formed when two lines intersect; always congruent
- Transversal
- a line that crosses two (often parallel) lines, creating eight angles at the two intersections
- Alternate interior angles
- a pair of angles between two lines, on opposite sides of a transversal; congruent when the two lines are parallel
- CPCTC
- Corresponding Parts of Congruent Triangles are Congruent, used AFTER two triangles are already proven congruent
Teach it: concrete, pictorial, abstract
The lesson moves from things students can hold, to pictures and diagrams, to the written maths. The diagrams below are drawn from data, so they are accurate and print cleanly. Teach straight from them.
1. The two-column proof format, and the Vertical Angles Theorem
ConcreteStart with the simplest possible proof: two straight lines crossing at a point. Every two-column proof begins the same way, a Statement column and a Reason column, numbered top to bottom, ending with the statement you set out to prove.
When two lines intersect, four angles are formed. The two angles that are NOT next to each other (they only share the vertex, not a side) are called vertical angles, and this theorem proves they are always congruent, for any two intersecting lines at all, using only the Linear Pair Postulate (adjacent angles on a straight line sum to 180°).
Notice every Reason is one of exactly three kinds: something Given at the start, a definition, or a postulate/already-proven theorem. Nothing in the Reason column is ever just 'it looks equal'.
Two lines intersect at O, with A, O, C collinear and B, O, D collinear. Prove: ∠AOB ≅ ∠COD.
- Statement: A, O, C are collinear, and B, O, D are collinear. Reason: Given
- Statement: ∠AOB and ∠BOC form a linear pair. Reason: Definition of a linear pair (AOC is a straight line)
- Statement: ∠BOC and ∠COD form a linear pair. Reason: Definition of a linear pair (BOD is a straight line)
- Statement: m∠AOB + m∠BOC = 180°, and m∠BOC + m∠COD = 180°. Reason: Linear Pair Postulate
- Statement: m∠AOB + m∠BOC = m∠BOC + m∠COD. Reason: Transitive Property of Equality
- Statement: m∠AOB = m∠COD. Reason: Subtraction Property of Equality
- Statement: ∠AOB ≅ ∠COD. Reason: Definition of congruent angles
Answer: ∠AOB ≅ ∠COD (Definition of congruent angles).
- Why does step 4 need TWO linear pair equations, not just one?
- Could this same seven-step proof be reused for a completely different pair of intersecting lines? Why?
- What is the difference between a Statement and its Reason?
2. Parallel lines cut by a transversal: alternate interior angles
PictorialPicture two parallel lines, l and m, both crossed by a third line (the transversal, t). Each crossing makes four angles; label them 1-4 where t meets l (top-left, top-right, bottom-left, bottom-right) and 5-8 where t meets m, in the same layout. This section proves a pair of ALTERNATE interior angles (on opposite sides of the transversal, both between the two lines) are congruent whenever l ∥ m.
The proof chains two facts together: the Corresponding Angles Postulate (matching-position angles at the two crossings are congruent, when the lines are parallel, accepted as a postulate) and the Vertical Angles Theorem, already proven in section 1. This is exactly why theorems build a tower: section 1's result becomes a Reason here instead of being reproven from scratch.
Lines l and m are cut by transversal t, with l ∥ m. Using the standard numbering (angles 1-4 where t crosses l; angles 5-8 where t crosses m, in the same top-left/top-right/bottom-left/bottom-right layout), prove ∠4 ≅ ∠5 (a pair of alternate interior angles).
- Statement: l ∥ m, and t is a transversal of l and m. Reason: Given
- Statement: ∠4 ≅ ∠8. Reason: Corresponding Angles Postulate
- Statement: ∠8 ≅ ∠5. Reason: Vertical Angles Theorem
- Statement: ∠4 ≅ ∠5. Reason: Transitive Property of Congruence
Answer: ∠4 ≅ ∠5 (Transitive Property of Congruence).
- Which theorem from section 1 gets reused as a Reason here, and at which step?
- ∠3 and ∠6 are the OTHER alternate interior pair. Could you write their proof by copying this one and just relabelling? Try it.
- Why is 'they look parallel' never an acceptable Reason, even if a diagram is drawn accurately?
3. The Triangle Angle Sum Theorem
AbstractEvery triangle's interior angles sum to 180°, a fact used constantly from here on, but it still needs proving. The trick: draw an extra line through one vertex, parallel to the opposite side, and use section 2's Alternate Interior Angles Theorem to 'slide' the other two angles onto that line.
Once that construction line is drawn, the vertex angle plus the two slid-over angles visibly form a straight line, 180°. Substituting the alternate-interior-angle equalities back in gives the familiar result for the triangle's own three angles.
Triangle XYZ. Prove: m∠X + m∠Y + m∠Z = 180°.
- Statement: △XYZ is a triangle. Reason: Given
- Statement: Draw line n through Z, parallel to line XY. Reason: Construction (Parallel Postulate)
- Statement: ∠1 ≅ ∠X and ∠2 ≅ ∠Y (∠1 and ∠2 are the angles n makes with ZX and ZY, on either side of ∠Z). Reason: Alternate Interior Angles Theorem
- Statement: m∠1 = m∠X and m∠2 = m∠Y. Reason: Definition of congruent angles
- Statement: m∠1 + m∠XZY + m∠2 = 180°. Reason: Angles on a straight line sum to 180°
- Statement: m∠X + m∠Z + m∠Y = 180°. Reason: Substitution Property of Equality
- Statement: m∠X + m∠Y + m∠Z = 180°. Reason: Commutative Property of Addition
Answer: m∠X + m∠Y + m∠Z = 180° (Commutative Property of Addition).
- Which earlier theorem does step 3 cite, and why is a construction line needed to use it?
- Would this proof work if the extra line were drawn through a different vertex instead of Z? What would change?
- A triangle has angles of 40° and 65°. Use this theorem, not a protractor, to find the third angle.
4. The Isosceles Triangle Base Angles Theorem
AbstractAn isosceles triangle has two congruent sides (the legs) meeting at the apex, and two base angles opposite them. This theorem proves those base angles are always congruent, by splitting the triangle in two with the apex angle's bisector and using triangle congruence (SAS) rather than angles directly.
The bisector creates two smaller triangles that share a side (the bisector itself, congruent to itself by the Reflexive Property) and have congruent included angles (by definition of a bisector) and congruent legs (given). That is exactly SAS, so the two smaller triangles are congruent, and CPCTC then hands over the base angles as congruent for free.
Triangle ABC with AB ≅ AC. Prove: ∠B ≅ ∠C.
- Statement: AB ≅ AC. Reason: Given
- Statement: Draw AD, the bisector of ∠A, meeting BC at D. Reason: Construction (every angle has exactly one bisector)
- Statement: ∠BAD ≅ ∠CAD. Reason: Definition of an angle bisector
- Statement: AD ≅ AD. Reason: Reflexive Property of Congruence
- Statement: △BAD ≅ △CAD. Reason: SAS (Side-Angle-Side) Congruence
- Statement: ∠B ≅ ∠C. Reason: CPCTC (Corresponding Parts of Congruent Triangles are Congruent)
Answer: ∠B ≅ ∠C (CPCTC).
- Why is step 4 (AD ≅ AD) allowed as its own proof step? What property does it use?
- CPCTC is used at the very end here, AFTER congruence is proven. What would be wrong with using CPCTC at step 1 instead?
- Which earlier AU worksheet skill (linked in Prior knowledge above) does step 5 directly reuse?
Common misconceptions and how to address them
MisconceptionA proof just means the diagram looks right, or a protractor measurement matched.
Why it happens: Measuring one example feels like solid evidence, and it is, for that one example.
How to address it: A theorem must hold for EVERY possible case, not just the one measured. A two-column proof uses only definitions, postulates and previously proven theorems, never a ruler or protractor, precisely so it covers every case at once.
MisconceptionThe Reason column can be any true fact about the picture, not something specific.
Why it happens: Reasons can feel like a formality once the Statement is believed.
How to address it: Every Reason must be a definition, a postulate, or an already-proven theorem, cited by its actual name (e.g. 'Linear Pair Postulate', not 'they add to 180 because that's how it works'). A true but unnamed observation is not a valid Reason.
MisconceptionVertical angles are congruent because they 'look symmetric', not because of the Linear Pair Postulate.
Why it happens: The visual symmetry is genuinely striking, so it is tempting to treat it as self-evident.
How to address it: Section 1's proof shows the congruence is a CONSEQUENCE of the Linear Pair Postulate (both angle pairs sum to 180° with the same shared angle), derived in seven steps, not an assumed starting fact.
MisconceptionCPCTC can be used to prove two triangles are congruent.
Why it happens: CPCTC and triangle congruence both involve the word 'congruent', so the order of operations is easy to mix up.
How to address it: CPCTC is used AFTER two triangles are already proven congruent (by SSS, SAS, ASA, and so on) to justify that their remaining corresponding parts (the angles or sides not used in the congruence test) are also congruent. It never proves the triangles congruent in the first place, section 4's proof uses SAS for that, and only reaches for CPCTC in the final step.
MisconceptionBecause a proof uses letters (X, Y, Z) instead of numbers, it is somehow a different, less useful result than a specific worksheet problem.
Why it happens: Numeric problems feel more 'real' than a general lettered proof.
How to address it: Proving a theorem once with letters means it holds for every possible triangle or pair of lines, forever. That is exactly what lets the Applying the Angle Theorems worksheet find numeric answers instantly, by citing the theorem's name, with no need to reprove it each time.
Guided practice (with answers)
1. In a two-column proof, what goes in the Reason column?
Answer: A definition, a postulate, or an already-proven theorem, never just a measurement or 'it looks true'.
2. Two lines intersect, forming angles 1, 2, 3, 4 in order around the point. Name the two pairs of vertical angles.
Answer: ∠1 and ∠3, and ∠2 and ∠4 (the two angles in each pair are opposite, not adjacent, around the point).
3. Two parallel lines are cut by a transversal. If one interior angle measures 72°, what is the measure of its alternate interior angle, and which theorem justifies it?
Answer: 72°, by the Alternate Interior Angles Theorem (alternate interior angles are congruent when the lines are parallel).
4. A triangle has angles of 55° and 68°. Find the third angle and name the theorem used.
Answer: 57°, by the Triangle Angle Sum Theorem: 180 - 55 - 68 = 57.
5. An isosceles triangle has a vertex (apex) angle of 50°. Find each base angle and name the theorem(s) used.
Answer: 65° each, using the Isosceles Triangle Base Angles Theorem (the base angles are congruent) and the Triangle Angle Sum Theorem: (180 - 50) / 2 = 65.
Independent practice worksheets
Complete two-column proofs for all four theorems (one missing statement or reason per item, freshly randomised point labels each time), then apply them to numeric problems, with computed, never-wrong answer keys.
Differentiation
- Start with a proof missing only ONE statement or reason (exactly as in the worksheets), well before ever asking students to write a full proof unaided from scratch.
- Provide a printed 'reason bank' (Given, Linear Pair Postulate, Vertical Angles Theorem, Corresponding Angles Postulate, Alternate Interior Angles Theorem, Substitution Property of Equality, Reflexive Property of Congruence, SAS, CPCTC) for students to choose from rather than recall unaided.
- Begin with the vertical angles proof only (the shortest chain, seven lines), before moving on to the multi-step parallel-lines and isosceles proofs that cite it.
- Let students physically cross two strips of paper or ruled lines and label the angles before writing the abstract lettered proof, connecting the picture to the Statement column.
- Have students write the CONVERSE of a theorem (e.g., if alternate interior angles are congruent, must the two lines be parallel?) and discuss whether it is also true.
- Ask students to prove the isosceles base angles theorem a second way, using the perpendicular from the apex to the base instead of the angle bisector, and compare the two proofs.
- Preview the Perpendicular Bisector Theorem (also part of HSG-CO.C.9: points on a perpendicular bisector are equidistant from a segment's endpoints), left for a future unit.
- Challenge students to prove that the sum of a triangle's three EXTERIOR angles is 360°, using the Triangle Angle Sum Theorem and linear pairs.
Assessment: exit ticket
A short exit ticket sampling all four theorems: naming a missing reason, and applying each theorem numerically.
1. Two lines intersect. One angle measures 118°. Find the measures of the other three angles, naming the theorem or postulate used for each.
Answer: Vertically opposite angle: 118° (Vertical Angles Theorem). The two adjacent angles: 180 - 118 = 62° each (Linear Pair Postulate).
2. Given l ∥ m, the statement '∠2 ≅ ∠6' is missing its reason. What is it?
Answer: Corresponding Angles Postulate.
3. An isosceles triangle has two base angles of 43° each. Find the apex angle.
Answer: 94°, because 180 - 43 - 43 = 94 (Triangle Angle Sum Theorem).
Teacher notes and timings
- Rough timing across five to six lessons: Lesson 1 the proof format and vertical angles (section 1), Lesson 2 parallel lines and transversals (section 2), Lesson 3 the triangle angle sum theorem (section 3), Lesson 4 isosceles base angles (section 4), Lesson 5 mixed application practice, Lesson 6 review plus the exit ticket.
- Prior knowledge: the AU angle vocabulary (geometry-shapes-secondary) and SSS/SAS congruence testing (geometry-surface-congruence), both linked above, are assumed and reused as Reasons rather than re-taught; this unit's genuine addition is the two-column PROOF format itself.
- Scope note: HSG-CO.C.9 also names the Perpendicular Bisector Theorem, and HSG-CO.C.10 also names the Triangle Midsegment Theorem and 'the medians of a triangle meet at a point'. All three are deliberately out of scope for this first unit, an honest scope boundary (flagged as extension work above and left for a future batch), not a corner cut.
- Every independent-practice proof includes a code-drawn, print-safe SVG generated from the same labels as its Statement/Reason table: intersecting lines, parallel lines and a transversal, the triangle-sum parallel construction, or the isosceles angle bisector.
- The parallel-lines proof (section 2) uses the standard textbook numbering (angles 1-4 at the first intersection, 5-8 at the second, both in top-left/top-right/bottom-left/bottom-right order) instead of point-letter names, because that is how this exact theorem is conventionally taught and how the worksheet items are generated.
- Curriculum note: HSG-CO.C.9 is the lines-and-angles cluster (sections 1 and 2); HSG-CO.C.10 is the triangles cluster (sections 3 and 4). Verified live at thecorestandards.org/Math/Content/HSG/CO/.