Lesson

Previously, we applied properties of angle relationships in order to solve for unknown values in diagrams. What we didn't mention was that the angle relationships that we applied rely on our assumption of a certain **postulate** - a statement that we assume to be true.

It might seem intuitive that the measures of two smaller angles add up to the measure of the larger angle they make up. Formally, this relationship is referred to as the angle addition postulate. It's a relationship similar to the segment addition postulate. However, it applies to angles.

Angle addition postulate

Point $B$`B` lies in the interior of $\angle AOC$∠`A``O``C` if and only if $m\angle AOB+m\angle BOC=m\angle AOC$`m`∠`A``O``B`+`m`∠`B``O``C`=`m`∠`A``O``C`.

We can apply the angle addition postulate as well as the properties of equality to prove angle measurements in a diagram.

Consider the attached diagram.

Solve for $x$

`x`, given that $m\angle PQR=145^\circ$`m`∠`P``Q``R`=145°.Justify your steps using a two-column proof.

We can apply the angle addition postulate as well as the definitions learned in angle relationships to prove the following theorems about linear pairs and complementary angles:

Linear pair theorem

If two angles form a **linear pair**, then they are **supplementary**.

Complement theorem

If the noncommon sides of two adjacent angles form a **right angle**, then the angles are **complementary**.

Recall that **supplementary** angles have measures adding to $180^\circ$180° and **complementary** angles have measures adding to $90^\circ$90°.

Use the attached diagram to prove the linear pair theorem.

We can also apply the properties of congruence to help us prove congruence relationships for complementary and supplementary angles.

Congruent supplements theorem

Angles supplementary to the same angle or to congruent angles are congruent.

Congruent complements theorem

Angles complementary to the same angle or to congruent angles are congruent.

Prove the following part of the congruent complements theorem:

Angles complementary to the same angle are congruent.

We can use the above theorems to help shorten the number of steps needed to complete proofs of other theorems. For example, we can apply the congruent supplements theorem in our proof of the vertical angles congruence theorem.

Vertical angles congruence theorem

If two angles are **vertical angles**, then they are **congruent**.

Without directly using the vertical angles congruence theorem, prove that $\angle1\cong\angle3$∠1≅∠3.

Finally, we can use all of the above theorems, as well as the properties of congruence, to prove the following theorems about right angles.

Right angle theorems

Perpendicular lines intersect to form four right angles.

All right angles are congruent.

Perpendicular lines form congruent adjacent angles.

If two angles are congruent and supplementary, then each angle is a right angle.

If two congruent angles form a linear pair, then they are right angles.

Later, we'll build upon these theorems to prove even more theorems!

Prove and apply theorems about lines and angles.