There are many ways to prove the Perpendicular Bisector Theorem. The usual methods involve showing that two right triangles are congruent. But that's not how the U of Chicago proves it. Once we have reflections -- and we're expected to use reflections in Common Core, the proof becomes very nearly a triviality.
Here's the proof, based on the U of Chicago text but rewritten so that the column "Conclusions" and "Justifications" become "Statements" and "Reasons," and with "Given" as the first step (as I explained in one of the posts last week):
Given: P is on the perpendicular bisector m of segment
Prove: PA = PB
1. m is the perp. bis. of AB 1. Given
2. m reflects A to B 2. Definition of reflection
3. P is on m 3. Given
4. m reflects P to P 4. Definition of reflection
5. PA = PB 5. Reflections preserve distance.
So the line m becomes our reflecting line -- that is, our mirror. Since m is the perpendicular bisector of
Now the text writes:
"The Perpendicular Bisector Theorem has a surprising application. It can help locate the center of a circle."
This is the circumcenter of the triangle, one of our concurrency proofs. I mentioned last week that this is the easiest of the concurrency proofs. At first, it appears to be a straightforward application of the Perpendicular Bisector Theorem plus the Transitive Property of Equality. But there's a catch:
"If m and n intersect, it can be proven that this construction works."
Here m and n are the perpendicular bisectors of
The problem is that the proof, that if A, B, and C are noncollinear, then the perpendicular bisectors must intersect, requires the Parallel Postulate (Playfair)! The proof is very similar to that of the Two Reflection Theorem for Translations in Lesson 6-2, except this one is an indirect proof. Assume that the two lines m and n don't intersect -- that is, that they are parallel (not skew, since everything is happening in a plane containing A, B, and C). We are given that AB is perpendicular to m (since the latter is the perpendicular bisector of the former) and that BC is perpendicular to n. So, by the Perpendicular to Parallels Theorem and the Two Perpendiculars Theorem, AB is parallel to
The Two Perpendiculars Theorem doesn't require Playfair, but the Perpendicular to Parallels Theorem does, so the above proof requires Playfair. As it turns out, in hyperbolic geometry, it's possible for three points to be noncollinear and yet no circle passes through them -- and so there's a triangle with neither a circumcenter nor a circumcircle!
And, if one has any lingering doubts that the existence of a circle through the three noncollinear points requires a Parallel Postulate, here's a link to Cut the Knot, one of the oldest mathematical websites still in existence. It was first created the year after I passed high school geometry as a student, and it has recently been redesigned:
Of the statements that require Euclid's Fifth Postulate to prove, we see listed at the above link:
"3. For any three noncollinear points, there exists a circle passing through them."
Now I didn't plan on giving Playfair's Postulate until Chapter 5. But here's something I noticed -- Playfair is used to prove the Parallel Consequences -- that is, the theorems that if parallel lines are cut by a transversal, then corresponding (or alternate interior) angles are congruent -- of which the Perpendicular to Parallels Theorem is a special case. But only that special case is needed to prove our circumcenter theorem. Indeed, I saw that the proof that the orthocenters are concurrent needs only that special case, and so does the Two Reflection Theorem for Translations.
But the Perpendicular to Parallels Theorem is tricky to prove -- I gave a proof back in July. And we've already seen what other texts do when a theorem is tricky to prove, yet useful to prove medium- or higher-level theorems later on. We just simply declare the theorem to be a postulate! So instead of giving Playfair in Chapter 5, I state the Perpendicular to Parallels Postulate.
Notice that the Perpendicular to Parallels Postulate can then be used to prove full Playfair. A proof of Playfair is given in the text at Lesson 13-6. The only changes we need to make to that proof is making sure that angles 1, 2, and 3 are all right angles. The new Step 2 can read:
2. The blue line is the line passing through P perpendicular to line l, which uniquely exists by the Uniqueness of Perpendiculars Theorem (which we proved on this blog last week). So angle 1 measures 90 degrees. So, by the new Perpendicular to Parallels Postulate, since the blue line is perpendicular to l, it must be perpendicular to both x and y, as both are parallel to l. So angles 2 and 3 both measure 90 degrees.
Then Playfair is used to prove the full Parallel Consequences, which we already plan on doing using the rotation trick of Dr. Hung-Hsieh Wu.
Notice that like Dr. Franklin Mason, we plan on adding a new postulate. But unlike his Triangle Exterior Angle Inequality Postulate, my postulate can replace Playfair, while Dr. M's TEAI Postulate must be used in addition to Playfair.
The final thing I want to say about a possible Perpendicular to Parallels Postulate is that this postulate is worth adding if it will make things easier for the students. I believe that it will. Notice that the full Parallel Consequences require identifying corresponding angles, alternate interior angles, same-side interior angles, and so on, and students may have trouble remembering which is which. But the Perpendicular to Parallels Postulate simply states that in a plane, if m and n are parallel and l is perpendicular to m, then l is perpendicular to n -- no need to remember what alternate or same-side interior angles are! So, in the name of making things easier for the students, I just might include this postulate in Chapter 5.
But I won't include it right now. And so I'll skip that part of the lesson -- and throw out the questions like 4 and 5 that require it.
That makes this lesson rather thin. So we ask, is there anything else that can be included? Let's look at the Common Core Standard that requires the Perpendicular Bisector Theorem again:
Prove theorems about lines and angles. Theorems include [...] points on a perpendicular bisector of a line segment are exactly those equidistant from the segment's endpoints.
We notice a key word there -- exactly. It means that if we rewrote this statement as an if-then statement, then it would have to be written as a biconditional:
A point is on the perpendicular bisector of a segment if and only if it is equidistant from its endpoints.
That is -- we need the converse of the Perpendicular Bisector Theorem. For some strange reason, the U of Chicago text makes zero mention of the converse! As it turns out, we can prove the converse quite easily, but it requires a theorem that's still two sections away. Once we reach Section 4-7, then we can finally prove the Converse of the Perpendicular Bisector Theorem.
And so there's not much left in this section -- but one could say that the Perpendicular Bisector Theorem is so important that it nonetheless merits its own section. Notice that I kept Question 6, which is similar to the construction of the circumcircle, except it's given that lines e and f intersect at point C. So we don't need a Parallel Postulate to prove that they intersect.