- Topics At a Glance
- Building Mathematical Statements
- Negations
- Conjunctions
- Disjunctions
- Conditional Statements
- Converse, Inverse, and Contrapositive
- Detachment and Syllogism
- The Quality of Equality
- Properties of Equality
- Arithmetic Properties
**Proofs**- Formal Proofs
- Postulates and Theorems
- Algebraic Proofs
- Geometric Proofs
**Congruence, Equality, and Geometry**

One of the nice things about congruence is that it has a lot in common with equality. Since segments and angles are congruent exactly when they have equal measures, it makes sense that congruence also has the reflexive, symmetric, and transitive properties.

In general, objects satisfying these three properties are called **equivalence relations**, since they behave a lot like actual equality. Martin Luther King Jr. would be proud.

So how can we take these congruent line segments and angles and convert them into proofs? Well, we'll show you.

Given the following figure, show that ∠1 is congruent to ∠3.

Looking at the figure, we see that ∠1 and ∠2 are vertical angles, and ∠2 is congruent to ∠3 (by the tick marks). Thus, we can use those two facts as given statements.

Statements | Reasons |

1. ∠1 and ∠2 are vertical | Given (in figure) |

2. ∠2 ≅ ∠3 | Given (in figure) |

3. ∠1 ≅ ∠2 | Vertical angles are congruent (1) |

4. ∠1 ≅ ∠3 | Transitivity of congruence (3 and 2) |

Like vertical angles, you can read "betweenness" directly from a diagram. For example, in the following picture,

we can assume *B* is between *A* and *C*, since the segment from *A* to *C* passes through *B*. Like in order to drive from L.A. to Seattle, we need to pass through Oregon. We don't really have a choice, but we might as well see Portland and Crater Lake. Make the best of it.

Remember that in this situation, *AB* + *BC* = *AC*. Seems obvious, right? This fact is often called the **Segment Addition Postulate** and frequently comes up in geometrical proofs.

Here, *B* may *not *be assumed between *A* and *C* because you have to go out of your way to pass through it (like passing through Des Moines on your way from L.A. to Seattle).

Given the diagram below, show that *AC* ≅ *BD*.

From the diagram, we see that *AB* ≅ *CD* by the tick marks, so that is our given information.

This problem is quite a bit trickier than what we've covered so far, since we aren't explicitly given any information about the segments we want to prove something about. So… what do we do?

We can't jump straight to working with *AC* and *BD*. Instead, let's split them into more manageable pieces. *AC* can be split into *AB* and *BC*, while *BD* can be split into *BC* and *CD*. Right away we see that *BC* shows up in both of them, so we can match those parts up. This leaves *AB* and *CD* to match up. Whaddayaknow? Those are exactly the segments we're given information about.

If we write it out as a proof, this is what we have.

Statements | Reasons |

1. AB ≅ CD | Given (in figure) |

2. AB = CD | Definition of congruence (1) |

3. AB + BC = BC + CD | Addition of BC to (2) |

4. AC = BD | Segment addition postulate (3) |

5. AC ≅ BD | Definition of congruence (4) |

It might seem like step 3 comes out of nowhere. Why are we adding this random BC to both sides of an equation? This is just a way to formally write out our intuitive argument about chopping big segments into smaller segments.

This idea of showing objects are congruent by splitting them into smaller pieces and matching them up is one of the most fascinating ideas in geometry. Aside from being the inspiration for several games and puzzles (like tangrams) and the backbone of many ancient proofs, this idea has led to some of the most breathtaking paradoxes in mathematics.

We've been focusing on segments for a while and we think angles deserve some TLC, too. The **angle addition postulate** states that the measures of two adjacent angles add up to the measure of the big angle they create. Sort of a no-brainer, but it's good to give it a name.

Some other definitions to note are: **midpoints** and **bisectors** split segments into two congruent segments, and that **angle bisectors** split angles into congruent angles. **Supplementary angles** add up to 180 degrees, and **complementary angles** add up to 90 degrees.

Again, don't worry too much about the nuts and bolts of all this. We promise we won't lead you astray.

Show that if two angles are complementary to the same angle, then they are congruent.

We'll name the angles ∠1, ∠2, and ∠3. Original, we know. They're just easier to spell than names like "Bartholomew" and "Cornelius."

Given: ∠1 and ∠3 are complementary, ∠2 and ∠3 are complementary.

Prove: ∠1 ≅ ∠2

Before writing our formal proof, let's take a look at what we have. We know m∠1 + m∠3 = 90, and also that m∠2 + m∠3 = 90. Since we want to know information about m∠1 and m∠2, we can solve the two given equations for m∠1 and m∠2. This gives m∠1 = 90 – m∠3 and m∠2 = 90 – m∠3. Now we're getting somewhere! The right sides of those equations are the same. We can now formalize this.

Statements | Reasons |

1. ∠1 and ∠3 are complementary | Given |

2. ∠2 and ∠3 are complementary | Given |

3. m∠1 + m∠3 = 90 | Definition of complementary angles |

4. m∠2 + m∠3 = 90 | Definition of complementary angles |

5. m∠1 = 90 – m∠3 | Subtract m∠3 from (3) |

6. m∠2 = 90 – m∠3 | Subtract m∠3 from (4) |

7. m∠1 = m∠2 | Transitive property of equality (5 and 6) |

8. ∠1 ≅ ∠2 | Definition of congruence (7) |

Example 1

Prove that if two angles are supplementary to the same angle, then they are congruent. |

Example 2

Identify all the pairs of congruent angles and segments in the following figure. |

Example 3

In the figure, |

Exercise 1

Given: *OG* is an angle bisector of ∠*AOF*.

Prove: ∠*COD* ≅ ∠*EOD*

Statements | Reasons |

1. OG is angle bisector of ∠AOF | Given |

2. ∠BOC ≅ ∠FOG | Given in figure |

3. ∠COD and ∠FOG are vertical angles | Given in figure |

4. ∠EOD and ∠AOG are vertical angles | Given in figure |

5. ∠FOG ≅ ∠AOG | ? |

Exercise 2

Given: *OG* is an angle bisector of ∠*AOF*.

Prove: ∠*COD* ≅ ∠*EOD*

Statements | Reasons |

1. OG is angle bisector of ∠AOF | Given |

2. ∠BOC ≅ ∠FOG | Given in figure |

3. ∠COD and ∠FOG are vertical angles | Given in figure |

4. ∠EOD and ∠AOG are vertical angles | Given in figure |

5. ∠FOG ≅ ∠AOG | Definition of angle bisector (1) |

6. ∠COD ≅ ∠FOG | ? |

Exercise 3

Given: *OG* is an angle bisector of ∠*AOF*.

Prove: ∠*COD* ≅ ∠*EOD*

Statements | Reasons |

1. OG is angle bisector of ∠AOF | Given |

2. ∠BOC ≅ ∠FOG | Given in figure |

3. ∠COD and ∠FOG are vertical angles | Given in figure |

4. ∠EOD and ∠AOG are vertical angles | Given in figure |

5. ∠FOG ≅ ∠AOG | Definition of angle bisector (1) |

6. ∠COD ≅ ∠FOG | Definition of vertical angles (3) |

7. ∠COD ≅ ∠AOG | ? |

Exercise 4

Given: *OG* is an angle bisector of ∠*AOF*.

Prove: ∠*COD* ≅ ∠*EOD*

Statements | Reasons |

1. OG is angle bisector of ∠AOF | Given |

2. ∠BOC ≅ ∠FOG | Given in figure |

3. ∠COD and ∠FOG are vertical angles | Given in figure |

4. ∠EOD and ∠AOG are vertical angles | Given in figure |

5. ∠FOG ≅ ∠AOG | Definition of angle bisector (1) |

6. ∠COD ≅ ∠FOG | Definition of vertical angles (3) |

7. ∠COD ≅ ∠AOG | Transitive property of congruence (6 and 5) |

8. ∠EOD ≅ ∠AOG | ? |

Exercise 5

Given: *OG* is an angle bisector of ∠*AOF*.

Prove: ∠*COD* ≅ ∠*EOD*

Statements | Reasons |

1. OG is angle bisector of ∠AOF | Given |

2. ∠BOC ≅ ∠FOG | Given in figure |

3. ∠COD and ∠FOG are vertical angles | Given in figure |

4. ∠EOD and ∠AOG are vertical angles | Given in figure |

5. ∠FOG ≅ ∠AOG | Definition of angle bisector (1) |

6. ∠COD ≅ ∠FOG | Definition of vertical angles (3) |

7. ∠COD ≅ ∠AOG | Transitive property of congruence (6 and 5) |

8. ∠EOD ≅ ∠AOG | Definition of vertical angles (4) |

9. ∠COD ≅ ∠EOD | ? |

Exercise 6

Given: *X* is the midpoint of *VY*, *X* is the midpoint of *WU*.

Prove: *XY* ≅ *XU*

Statements | Reasons |

1. X is the midpoint of VY | Given |

2. X is the midpoint of WU | Given |

3. WX ≅ VX | Given in figure |

4. ? | Definition of midpoint (1) |

Exercise 7

Given: *X* is the midpoint of *VY*, *X* is the midpoint of *WU*.

Prove: *XY* ≅ *XU*

Statements | Reasons |

1. X is the midpoint of VY | Given |

2. X is the midpoint of WU | Given |

3. WX ≅ VX | Given in figure |

4. VX ≅ XY | Definition of midpoint (1) |

5. ? | Definition of midpoint (2) |

Exercise 8

Given: *X* is the midpoint of *VY*, *X* is the midpoint of *WU*.

Prove: *XY* ≅ *XU*

Statements | Reasons |

1. X is the midpoint of VY | Given |

2. X is the midpoint of WU | Given |

3. WX ≅ VX | Given in figure |

4. VX ≅ XY | Definition of midpoint (1) |

5. WX ≅ XU | Definition of midpoint (2) |

6. ? | Transitive property of congruence (3 and 4) |

Exercise 9

Given: *X* is the midpoint of *VY*, *X* is the midpoint of *WU*.

Prove: *XY* ≅ *XU*

Statements | Reasons |

1. X is the midpoint of VY | Given |

2. X is the midpoint of WU | Given |

3. WX ≅ VX | Given in figure |

4. VX ≅ XY | Definition of midpoint (1) |

5. WX ≅ XU | Definition of midpoint (2) |

6. WX ≅ XY | Transitive property of congruence (3 and 4) |

7. ? | Transitive property of congruence (6 and 5) |