Allday Education

Proving Angle Relationships

Angle proofs use the same machinery as segment proofs — properties of equality plus a small set of geometric facts. The Angle Addition Postulate says that when ray OBOB sits in the interior of AOC\angle AOC, the two smaller angles add to the big one: mAOB+mBOC=mAOCm\angle AOB + m\angle BOC = m\angle AOC.

On top of that postulate sit the angle-pair theorems you will cite constantly: vertical angles are congruent, a linear pair is supplementary, angles supplementary to the same angle are congruent, and all right angles are congruent. This lesson shows where those theorems come from and how to use them as reasons.

The Angle Addition Postulate

If BB is in the interior of AOC\angle AOC, then mAOB+mBOC=mAOCm\angle AOB + m\angle BOC = m\angle AOC. Just like segment addition, it works in both directions — two parts give the whole, or the whole and one part give the other part.

The angle theorems you will cite

Linear Pair Theorem: two angles that form a linear pair are supplementary — their measures add to 180180^\circ. Vertical Angles Theorem: vertical angles are congruent. Congruent Supplements Theorem: angles supplementary to the same angle (or to congruent angles) are congruent. Right Angles Theorem: all right angles are congruent.

The Vertical Angles Theorem is itself provable from the Linear Pair Theorem, which is why it makes such a good first proof: each of the two vertical angles forms a linear pair with the same third angle, so both are supplementary to it, so they are congruent.

Proving the Vertical Angles Theorem

Suppose 1\angle 1 and 2\angle 2 are vertical angles formed by two intersecting lines, and 3\angle 3 is the angle between them. Then 1\angle 1 and 3\angle 3 form a linear pair, and so do 2\angle 2 and 3\angle 3. That gives two equations: m1+m3=180m\angle 1 + m\angle 3 = 180^\circ and m2+m3=180m\angle 2 + m\angle 3 = 180^\circ.

Since both sums equal 180180^\circ, substitution gives m1+m3=m2+m3m\angle 1 + m\angle 3 = m\angle 2 + m\angle 3. Subtracting m3m\angle 3 from both sides leaves m1=m2m\angle 1 = m\angle 2, so 12\angle 1 \cong \angle 2. Three lines, three reasons, one theorem.

In the figure, 1\angle 1 and 2\angle 2 are the vertical pair across the intersection, and 3\angle 3 forms a linear pair with each of them.

11
22
33

Worked examples

Example 1: Angle Addition Postulate

Ray OBOB lies in the interior of AOC\angle AOC, with mAOB=34m\angle AOB = 34^\circ and mBOC=41m\angle BOC = 41^\circ. Find mAOCm\angle AOC.

Angle Addition PostulatemAOB+mBOC=mAOCm\angle AOB + m\angle BOC = m\angle AOC
Substitute the given measures34+41=mAOC34^\circ + 41^\circ = m\angle AOC
AddmAOC=75m\angle AOC = 75^\circ

Answer: mAOC=75m\angle AOC = 75^\circ

Example 2: prove vertical angles congruent

Given: 1\angle 1 and 2\angle 2 are vertical angles, and 3\angle 3 forms a linear pair with each. Prove: 12\angle 1 \cong \angle 2.

Linear Pair Theoremm1+m3=180,m2+m3=180m\angle 1 + m\angle 3 = 180^\circ, \quad m\angle 2 + m\angle 3 = 180^\circ
Substitution — both sums equal 180180^\circm1+m3=m2+m3m\angle 1 + m\angle 3 = m\angle 2 + m\angle 3
Subtraction Property of Equality — subtract m3m\angle 3 from both sidesm1=m2m\angle 1 = m\angle 2
Definition of congruent angles12\angle 1 \cong \angle 2

Answer: 12\angle 1 \cong \angle 2

Example 3: Congruent Supplements Theorem

A\angle A and B\angle B are each supplementary to a 4040^\circ angle. What can you conclude, and why?

Each angle is supplementary to the same 4040^\circ anglemA+40=180,mB+40=180m\angle A + 40^\circ = 180^\circ, \quad m\angle B + 40^\circ = 180^\circ
Solve each equationmA=140,mB=140m\angle A = 140^\circ, \quad m\angle B = 140^\circ
Angles supplementary to the same angle are congruent

Answer: AB\angle A \cong \angle B by the Congruent Supplements Theorem.

Try one yourself

StatementsReasons
1.12\angle 1 \cong \angle 2; 2\angle 2 and 3\angle 3 are supplementaryGiven
2.m2+m3=180m\angle 2 + m\angle 3 = 180^\circDefinition of supplementary angles
3.m1=m2m\angle 1 = m\angle 2?
4.m1+m3=180m\angle 1 + m\angle 3 = 180^\circSubstitution

Common questions

What is the difference between a linear pair and vertical angles?

A linear pair is two adjacent angles whose outer sides form a straight line — they are supplementary. Vertical angles are the two non-adjacent angles across an intersection — they are congruent.

Are vertical angles always congruent, or only sometimes?

Always. That is the Vertical Angles Theorem, and it is proven — not assumed — from the Linear Pair Theorem and the properties of equality.

When do I cite the Angle Addition Postulate?

Whenever a ray in the interior of an angle splits it into two parts, and your step adds those parts into the whole angle (or takes the whole apart). If nothing is being split or combined, that postulate is the wrong reason.

Why is m1m\angle 1 written with an mm?

1\angle 1 names the angle as an object; m1m\angle 1 is its measure — a number of degrees. Congruence statements use the angle names, and equations use the measures.

Want the video version?

Allday Everyday Math has video lessons, practice, and an AI tutor for every topic, Pre-Algebra through Algebra 2.

Try it for $1