Sign In
If a line and a segment are perpendicular, they form a right angle. If PM bisects AB, then AM=BM.
Statements
|
Reasons
|
1. PM ⊥ AB, PM bisects AB
|
1. Given
|
2. m∠ PMA=m∠ PMB=90^(∘)
|
2. Definition of Perpendicular Lines
|
3. ∠ PMA≅∠ PMB
|
3. Definition of Angle Congruence
|
4. AM=BM
|
4. Definition of Bisector
|
5. AM≅BM
|
5. Definition of Segment Congruence
|
6. PM≅PM
|
6. Reflexive Property of Congruence
|
7. △ PMA≅△ PMB
|
7. SAS Congruence Theorem
|
8. AP ≅ BP
|
8. Definition of Congruent Triangles
|
9. AP=BP
|
9. Definition of Segment Congruence
|
To prove the Perpendicular Bisector Theorem, we will write a two-column proof.
Since PM ⊥ AB, we can say that ∠ PMA and ∠ PMB are right angles by definition of perpendicular lines. Definition of Perpendicular Lines m∠ PMA=m∠ PMB=90^(∘) Recall that all right angles are congruent. Definition of Angle Congruence ∠ PMA≅∠ PMB Given that PM bisects AB, the distance from A to M is the same as the distance from M to B. Definition of Bisector AM=BM If the line segments have the same lengths, then they are congruent. Definition of Segment Congruence AM≅BM Considering the Reflexive Property of Congruence, we can write the next step of our proof. Reflexive Property of Congruence PM≅PM So far, we have shown that two sides and the included angle of △ PMA are congruent to two sides and the included angle of △ PMB. Therefore, by the Side-Angle-Side Congruence Theorem, these two triangles are congruent. SAS Congruence Theorem △ PMA≅△ PMB Knowing that the corresponding parts of congruent triangles are congruent, we can say that AP is congruent to BP. Definition of Congruent Triangles AP ≅ BP Finally, to complete our proof, we will use the fact that two congruent segments have the same length. Definition of Segment Congruence AP=BP Combining all of these steps, we can form our two-column proof.
Statements
|
Reasons
|
1. PM ⊥ AB, PM bisects AB
|
1. Given
|
2. m∠ PMA=m∠ PMB=90^(∘)
|
2. Definition of Perpendicular Lines
|
3. ∠ PMA≅∠ PMB
|
3. Definition of Angle Congruence
|
4. AM=BM
|
4. Definition of Bisector
|
5. AM≅BM
|
5. Definition of Segment Congruence
|
6. PM≅PM
|
6. Reflexive Property of Congruence
|
7. △ PMA≅△ PMB
|
7. SAS Congruence Theorem
|
8. AP ≅ BP
|
8. Definition of Congruent Triangles
|
9. AP=BP
|
9. Definition of Segment Congruence
|