To prove that are , it will be shown that ∠1 and ∠3, in the figure below, have the same measure.
Notice that
∠1 and
∠2 are because they form a . Thus, since
m∠1+m∠2=180∘, m∠2 can be expressed as follows.
m∠2=180∘−m∠1.
In the same way, since
∠2 and
∠3 are supplementary,
m∠2 can be expressed in another way.
m∠2=180∘−m∠3.
By , the equations for
m∠2 can be set equal to each other.
180∘−m∠1=180∘−m∠3.
By simplifying, the following equality yields.
m∠1=m∠3.
Thus,
∠1≅∠3. Therefore, vertical angles are congruent.
This reasoning can be summarized in a flowchart proof.