Chapter 2 · Reasoning and Proof

Write a Two-Column Proof About Angles

Plan and write two-column proofs about angles, moving from the Given to the Prove with an exact named reason for every step.

15 min read

You have already written two-column proofs about segments. A proof about angles has the same shape: you list statements in order and name the reason for each one. The finished proof holds for every figure that fits the Given, whatever the actual angle measures are. That is why you work with names and rules, not with numbers from a picture.

Angle proofs use two kinds of statement. ∠ABC≅∠DEF\angle ABC \cong \angle DEF says the angles are congruent, which means they have equal measures. m∠ABC=m∠DEFm\angle ABC = m\angle DEF says their measures, the numbers of degrees in them, are equal. You can add and subtract measures because they are numbers, but you can't add the angles themselves. So a proof often moves from angles to measures, does the arithmetic, and then moves back.

Key concept

A proof is a chain of named reasons

A two-column proof starts with the Given and ends with the Prove. Every row in between needs one reason, and it may use only what the rows above it have shown. A reason is the exact name of a definition, a postulate, a property of equality or congruence, or a theorem already proved, or else the word Given. A step can never rest on its own conclusion, on a fact nobody stated, or on how the figure looks.

Here are the main reasons this lesson uses, each with the condition it needs.

  • Definition of congruent angles: two angles are congruent if and only if their measures are equal. You can use it in either direction.
  • Angle Addition Postulate: if DD is in the interior of ∠ABC\angle ABC, which means between its two rays, then m∠ABD+m∠DBC=m∠ABCm\angle ABD + m\angle DBC = m\angle ABC.
  • Vertical Angles Theorem: if two angles are vertical angles, the pair of opposite angles formed when two lines intersect, then they are congruent.
  • Supplement Theorem: if two angles form a linear pair, meaning they share a vertex and a side and their other sides are opposite rays, then they are supplementary, meaning their measures add to 180∘180^\circ.
  • Congruent Supplements Theorem: if two angles are supplementary to the same angle or to congruent angles, then they are congruent.

Each theorem runs in the direction written. Its converse is a different claim, so you can't assume it.

Before you fill in a proof, make a plan: compare the Given with the Prove and look for the missing link. Then write the proof row by row.

Your first proof uses the figure below. It shows lines ACAC and BDBD crossing at EE, plus a separate angle, ∠FGH\angle FGH, formed by rays GFGF and GHGH. In any figure, only tick, arrow and right-angle marks and the facts stated in the text count as givens. This figure has no such marks and is not drawn to scale, so every fact about its angles, including which ones are equal, comes from the text.

A composite figure is shown. The drawing is not to scale. Labelled elements: line A C; line B D; ray G F; ray G H; angle A E D; angle B E C; angle A E B; angle F G H.
Lines ACAC and BDBD cross at EE, and rays GFGF and GHGH form ∠FGH\angle FGH. The angle facts for each proof are stated in the text.

Worked example

Example 1: Chain two congruences

Given: ∠AED\angle AED and ∠BEC\angle BEC are vertical angles, and ∠AED≅∠FGH\angle AED \cong \angle FGH. Prove: ∠BEC≅∠FGH\angle BEC \cong \angle FGH.

  1. Reason: Given. Start with the stated facts. This one tells you the Vertical Angles Theorem is available.

    ∠AED and ∠BEC are vertical angles\angle AED \text{ and } \angle BEC \text{ are vertical angles}
  2. Reason: Given. This links angle AED to angle FGH, but the Prove needs angle BEC. So your plan is to link angle BEC to angle AED, then join the two links.

    ∠AED≅∠FGH\angle AED \cong \angle FGH
  3. Reason: Vertical Angles Theorem. Step 1 meets the theorem's condition, so these angles are congruent. The theorem goes only from vertical to congruent: angle AED and angle FGH are congruent, but they have different vertices and are not vertical angles.

    ∠BEC≅∠AED\angle BEC \cong \angle AED
  4. Reason: Transitive Property of Congruence. Step 3 says angle BEC is congruent to angle AED, and step 2 says angle AED is congruent to angle FGH. Chain them to reach the Prove.

    ∠BEC≅∠FGH\angle BEC \cong \angle FGH

Answer

Since ∠BEC≅∠AED\angle BEC \cong \angle AED and ∠AED≅∠FGH\angle AED \cong \angle FGH, you have proved that ∠BEC≅∠FGH\angle BEC \cong \angle FGH.

The finished proof for Example 1
StatementReason
∠AED\angle AED and ∠BEC\angle BEC are vertical angles
Given
∠AED≅∠FGH\angle AED \cong \angle FGH
Given
∠BEC≅∠AED\angle BEC \cong \angle AED
Vertical Angles Theorem
∠BEC≅∠FGH\angle BEC \cong \angle FGH
Transitive Property of Congruence

Worked example

Example 2: Use a linear pair

Use the figure of lines ACAC and BDBD again, with new facts. Given: ∠AEB\angle AEB and ∠BEC\angle BEC form a linear pair, and ∠AEB\angle AEB and ∠FGH\angle FGH are supplementary. Prove: ∠BEC≅∠FGH\angle BEC \cong \angle FGH.

  1. Reason: Given. A linear pair points you to the Supplement Theorem.

    ∠AEB and ∠BEC form a linear pair\angle AEB \text{ and } \angle BEC \text{ form a linear pair}
  2. Reason: Given. Angle FGH is supplementary to angle AEB. If angle BEC is too, the Congruent Supplements Theorem can finish the proof.

    ∠AEB and ∠FGH are supplementary\angle AEB \text{ and } \angle FGH \text{ are supplementary}
  3. Reason: Supplement Theorem. It goes from linear pair to supplementary, and step 1 supplies the linear pair. The converse is false: angle AEB and angle FGH are supplementary, yet they have different vertices, so they do not form a linear pair.

    ∠AEB and ∠BEC are supplementary\angle AEB \text{ and } \angle BEC \text{ are supplementary}
  4. Reason: Congruent Supplements Theorem. Steps 2 and 3 make angle FGH and angle BEC supplementary to the same angle, angle AEB. That is the condition the theorem needs, and its result is the Prove.

    ∠BEC≅∠FGH\angle BEC \cong \angle FGH

Answer

Both angles are supplementary to ∠AEB\angle AEB, so you have proved that ∠BEC≅∠FGH\angle BEC \cong \angle FGH.

The finished proof for Example 2
StatementReason
∠AEB\angle AEB and ∠BEC\angle BEC form a linear pair
Given
∠AEB\angle AEB and ∠FGH\angle FGH are supplementary
Given
∠AEB\angle AEB and ∠BEC\angle BEC are supplementary
Supplement Theorem
∠BEC≅∠FGH\angle BEC \cong \angle FGH
Congruent Supplements Theorem
A composite figure is shown. The drawing is not to scale. Labelled elements: ray B A; ray B C; ray B D; ray B E; angle A B C; angle C B D; angle D B E.
Rays BABA, BCBC, BDBD and BEBE start at BB. The congruence of ∠ABC\angle ABC and ∠DBE\angle DBE is stated in the text below, not shown by the drawing.

Worked example

Example 3: Move to measures and back

The figure shows four rays that start at BB. Its positions and sizes are not facts until the text states them. Given: CC is in the interior of ∠ABD\angle ABD, DD is in the interior of ∠CBE\angle CBE, and ∠ABC≅∠DBE\angle ABC \cong \angle DBE. Prove: ∠ABD≅∠CBE\angle ABD \cong \angle CBE.

  1. Reason: Given. Record the positions first, because the Angle Addition Postulate needs them. Your plan: switch to measures, add the measure of angle CBD to both sides, and rebuild the two larger angles.

    C is in the interior of ∠ABD, and D is in the interior of ∠CBEC \text{ is in the interior of } \angle ABD \text{, and } D \text{ is in the interior of } \angle CBE
  2. Reason: Given. This is the one congruence you start with.

    ∠ABC≅∠DBE\angle ABC \cong \angle DBE
  3. Reason: Definition of congruent angles, in the direction from congruent to equal measures. You need numbers before you can add.

    m∠ABC=m∠DBEm\angle ABC = m\angle DBE
  4. Reason: Addition Property of Equality. Adding the same number to equal numbers keeps them equal. Both larger angles in the Prove contain angle CBD, so add its measure.

    m∠ABC+m∠CBD=m∠DBE+m∠CBDm\angle ABC + m\angle CBD = m\angle DBE + m\angle CBD
  5. Reason: Angle Addition Postulate. Point C is in the interior of angle ABD, by step 1, so the left side of step 4 equals the measure of angle ABD.

    m∠ABC+m∠CBD=m∠ABDm\angle ABC + m\angle CBD = m\angle ABD
  6. Reason: Angle Addition Postulate. Point D is in the interior of angle CBE, by step 1, so the right side of step 4 equals the measure of angle CBE.

    m∠DBE+m∠CBD=m∠CBEm\angle DBE + m\angle CBD = m\angle CBE
  7. Reason: Substitution Property of Equality. Replace each side of step 4 with the equal total from steps 5 and 6.

    m∠ABD=m∠CBEm\angle ABD = m\angle CBE
  8. Reason: Definition of congruent angles, now in the direction from equal measures to congruent. This is the Prove.

    ∠ABD≅∠CBE\angle ABD \cong \angle CBE

Answer

Adding m∠CBDm\angle CBD to the equal measures gives equal totals, so you have proved that ∠ABD≅∠CBE\angle ABD \cong \angle CBE.

The finished proof for Example 3
StatementReason
CC is in the interior of ∠ABD\angle ABD, and DD is in the interior of ∠CBE\angle CBE
Given
∠ABC≅∠DBE\angle ABC \cong \angle DBE
Given
m∠ABC=m∠DBEm\angle ABC = m\angle DBE
Definition of congruent angles
m∠ABC+m∠CBD=m∠DBE+m∠CBDm\angle ABC + m\angle CBD = m\angle DBE + m\angle CBD
Addition Property of Equality
m∠ABC+m∠CBD=m∠ABDm\angle ABC + m\angle CBD = m\angle ABD
Angle Addition Postulate
m∠DBE+m∠CBD=m∠CBEm\angle DBE + m\angle CBD = m\angle CBE
Angle Addition Postulate
m∠ABD=m∠CBEm\angle ABD = m\angle CBE
Substitution Property of Equality
∠ABD≅∠CBE\angle ABD \cong \angle CBE
Definition of congruent angles

To write a two-column proof about angles, start from the Given, plan the links you need, and end at the Prove, with one exact reason in every row. Switch to measures when you need to add or subtract, then switch back with the Definition of congruent angles. If you can't name a reason for a step, that step isn't proved yet, however true it looks.