So Happy Columbus Day to those who celebrate it -- but this blog will go on until Veteran's Day.

Now I move on to begin Chapter 5. This is a key chapter for the students, and it's also where I must make important decisions to make sure that the content in the U of Chicago is aligned to the Common Core Standards. Earlier, I stated that I will include a Parallel Postulate in this chapter, and I will. But as it turns out, the first four sections don't require a Parallel Postulate at all. And so I'll cover Sections 5-1 to 5-4 first, then the Parallel Postulate, and then finish Sections 5-5 to 5-7.

Section 5-1 of the U of Chicago text covers isosceles triangles. Now the most important result of this section is, of course, the Isosceles Triangle Theorem, which states that if a triangle has two equal sides, then the angles opposite them are equal. But this first theorem in this lesson is something called the Isosceles Triangle

*Symmetry*Theorem. Here's a statement of the theorem and its proof as given by the U of Chicago:

Isosceles Triangle Symmetry Theorem:

The line containing the bisector of the vertex of an isosceles triangle is a symmetry line for the triangle

Given: Isosceles triangle

*ABC*with vertex angle

*A*bisected by

*m*

Prove:

*m*is a symmetry line for triangle

*ABC*

*Proof:*

There are three things given. Each leads to conclusions that are used later in the proof. First, since

*m*is an angle bisector, because of the Side-Switching Theorem, when ray

*AB*is reflected over

*m*, its image is ray

*AC*. Thus

*B'*is on ray

*AC*. Second, it is given that

*A*is on the reflecting line, so

*A'*=

*A*. Hence, since reflections preserve distance,

*AB'*=

*AB*. Third, it is given that triangle

*ABC*is isosceles with vertex angle

*A*, so

*AB*=

*AC*. Now put all of these conclusions together. By the Transitive Property of Equality,

*AB'*=

*AC*. So

*B'*and

*C*are points on ray

*AC*at the same distance from

*A*, and so

*B'*=

*C*. By the Flip-Flop Theorem,

*C'*=

*B*. So, by the Figure Reflection Theorem, the reflection image of triangle

*ABC*is triangle

*ACB*, which is the sufficient condition for the symmetry of the triangle to line

*m*. QED

Now, when a pre-Common Core teacher first sees this proof, this is not what is expected. Such a teacher expects to give the point where

*BC*and

*m*intersect the name

*D*. Then one tries to prove the triangles

*ABD*and

*ACD*congruent. We have

*AB*=

*AC*by the definition of isosceles, angles

*BAD*and

*CAD*equal by definition of angle bisector, and

*AD*=

*AD*by the Reflexive Property of Equality. And so by SAS, the two triangles and congruent, and so angles

*B*and

*C*are equal by CPCTC.

But we must note that in Chapter 7, we use isometries to prove SAS as a theorem. So we could have the Isosceles Triangle Theorem derived from SAS, which in turn is derived using isometries. Or we can skip the middleman and just derive the Isosceles Triangle Theorem from isometries. This is definitely in the line of Common Core thinking:

CCSS.MATH.CONTENT.HSG.CO.A.3

Given a rectangle, parallelogram, trapezoid, or regular polygon, describe the rotations and reflections that carry it onto itself.

In this section we found a reflection that maps an isosceles triangle to itself -- namely the reflection over the line containing the angle bisector of the vertex angle. Later on in Chapter 5, we'll find the isometries that map the other figures mentioned in that standard (rectangles, etc.) to themselves.

A few things about the traditional proofs. First of all, these proofs usually involve adding a new point

*D*, where the angle bisector of

*BAC*intersects side

*BC*. But, according to Dr. Hung-Hsi Wu, we can't be sure that these even intersect at all without a Crossbar Axiom. But in the U of Chicago, we don't need it because the point

*D*is never mentioned in the proof.

The most common proof of the Isosceles Triangle Theorem uses an angle bisector and SAS. Notice that we also could have used a median and SSS. But the SAS proof is usually better because some texts use the Isosceles Triangle Theorem to prove SSS. (In fact, Wu uses ITT to prove SSS.) So a proof of ITT using SSS would be circular.

Euclid himself proves the Isosceles Triangle Theorem as his Proposition I.5:

http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI5.html

Euclid's proof also uses SAS (which is his Proposition I.4), but his proof is more complicated than any text appearing in a high school text because he was also concerned with the

*exterior*angles at

*B*and

*C*, not just the interior angles of the triangle. According to Euclid, the Isosceles Triangle Theorem was the

*Pons Asinorum*, or bridge of SSA --- well, actually SSA spelled backwards. In a way, we cross a bridge when we enter Chapter 5, as here the somewhat more difficult proofs of geometry begin.

I must mention one of my favorite proofs of ITT here, although it's also based on SAS and so not appropriate for the students right now. According to the above link, it can be attributed to the Greek geometer Pappus, who lived about 500 years after Euclid. Here is the proof given directly from the above link:

The two triangles

*BAC*and

*CAB*have two sides equal to two sides, namely side

*BA*of the first triangle equals side

*CA*of the second triangle, and side

*AC*of the first triangle equal to side

*AB*of the second, and the contained angles are equal, namely angle

*BAC*of the first triangle equals angle

*CAB*of the second, therefore, by I.4, the corresponding parts of the two triangles are equal, in particular, the angle

*B*in the first triangle equals the angle

*C*of the second. QED

In two-column form, the Pappus proof would look like this:

Given:

*AB*=

*AC*

Prove: Angles

*B*and

*C*are equal.

Proof:

Statements Reasons

1.

*AB*=

*AC*1. Given

2. Angle

*A*= Angle

*A*2. Reflexive Property of Equality

3.

*AC*=

*AB*3. Symmetric Property of Equality

4.

*ABC*=

*ACB*4. SAS

5. Angle

*B*= Angle

*C*5. CPCTC

Notice that the closest I could get to a triangle symbol in ASCII is the caret with a strikethrough. I was considering writing an angle symbol as an underlined slash, but I decided that simply writing out the word "Angle" was less confusing.

We see that in the Pappus proof, triangle

*ABC*is congruent to itself -- but under a new name

*ACB*. In a way, this is exactly what symmetry is -- a figure is symmetrical if there is a nontrivial congruence between the figure and itself (under a different name). Triangle

*ABC*is always congruent to triangle

*ABC*, but it's only congruent to

*ACB*if the triangle is isosceles. So we know that there is an isometry from

*ABC*to

*ACB*-- but we don't know that it's a reflection yet, much less a reflection over the line

*m*containing an angle bisector of angle

*A*, although this can be deduced. Notice that the line

*m*never appears in the Pappus proof -- the only proof that doesn't require an auxiliary line.

Now let's return to the U of Chicago proof. This proof is on the longish side -- indeed, many of the heavy-duty theorems have long proofs. It's instructive to cut out an isosceles triangle with the bisector of

*A*drawn in, and ask the students where

*B*would land if the triangle were folded along that angle bisector. Chances are that the students will say that it would land on

*C*. But this doesn't work unless the triangle is isosceles. For the scalene triangle

*DEF*drawn on the U of Chicago page right below the Isosceles Triangle Symmetry Theorem,

*E*will

*not*land on

*F*if the triangle is folded along the bisector of angle

*D*. So we need to

*prove*that it works for isosceles triangles.

This proof contains a common trick in isometry-based proofs -- to prove that the image of

*B*is

*C*, we first show that the image of

*B*lies on ray

*AC*, then show that the image is a point that's the correct distance from

*A*. And the point at just the right distance from

*A*is exactly

*C*.

But there's something missing from this lesson in the U of Chicago. We have the Isosceles Triangle Theorem, but there's no mention of its

*converse*. The text even states, "The Isosceles Triangle Theorem is useful in proofs in which you must go from equal sides to equal angles," but what if one wants to go from equal angles to equal sides?

The most common proof is based on AAS. Once again, we draw the angle bisector of angle

*A*(which intersects

*BC*at

*D*). We are given that angles

*B*and

*C*are equal, and angle

*BAD*= angle C

*AD*by definition of angle bisector and

*AD*=

*AD*by the Reflexive Property. So this gives us

*ABD*and

*ACD*, congruent by AAS, and

*AB*=

*AC*by CPCTC.

In Euclid, the converse is Proposition I.6. His proof is an indirect proof that is not usually given in high school classes:

http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI6.html

There is also a Pappus-style proof of this converse. We are given that angles

*B*and

*C*are equal, we have

*BC*=

*CB*by the Reflexive Property, and we have that angles

*C*and

*B*are equal. And so once again, triangles

*ABC*and

*ACB*are congruent, this time by ASA, and so

*AB*=

*AC*by CPCTC.

But is there a proof based on reflections, similar in style to the U of Chicago's proof of the forward Isosceles Triangle Theorem? Here's what such a proof may look like. Instead of letting

*m*be the bisector of angle

*A*, let it be the perpendicular bisector of

*BC*:

Given: Triangle

*ABC*with equal angles

*B*and

*C*,

*m*perpendicular bisector of

~~BC~~

Prove:

*m*is a symmetry line for triangle

*ABC*

*Proof:*

We obtain that the reflection image of

*B*is

*C*immediately, as the reflecting line

*m*is the perpendicular bisector of

*B*? It must be an angle with vertex

*C*and ray

*CB*as one of its sides, and of the same measure as angle

*B*-- and we're already given such an angle, angle

*C*. So not only is the point

*C*the image of point

*B*, but angle

*C*is the image of angle

*B*. This means that the image of ray

*BA*is ray

*CA*, so that any point on ray

*BA*has an image on ray

*CA*, and vice versa (Flip-Flop Theorem). Now

*A*is clearly on ray

*BA*, and so

*A'*must lie on ray

*CA*. Likewise

*A*is on ray

*CA*, and so

*A'*must like on

*BA*. So

*A'*is a point that lies on both rays

*BA*and

*CA*, but by the Line Intersection Theorem, rays

*BA*and

*CA*have only one point in common -- and that is

*A*itself. So

*A'*must be exactly

*A*itself -- that is,

*A*is a fixed point of the reflection -- that is,

*A*must lie on the reflecting line

*m*, the perpendicular bisector of

*A*lies on the perpendicular bisector of

*A*is equidistant from

*B*and

*C*-- that is,

*AB*=

*AC*. QED

But there is a gap in this proof here. How do we know that the image of angle

*B*is not an angle of the same vertex and measure as angle

*C*, but on the opposite side of

*from where*~~BC~~

*A*is? (Recall the Two sides of line assumption from the Angle Measure Postulate.) If the image of angle

*B*is on the wrong (alternate) side of

*B*and its image would form alternate interior angles, and so their other sides wouldn't intersect at all, much less at

*A*.

This problem appeared in our Alternate Interior Angles Test proof as well -- and it occurs in any proof where we have equal angles and want to map one to the other with an isometry. The solution is the Plane Separation Postulate, which tells us that line

*BC*divides the plane into two half-planes, and we want to prove that angle

*B*and its image each has a side in the same half-plane.

To prove this, suppose we have a point

*P*in the coordinate plane and wish to reflect it over, let's say, the

*y*-axis. So of course

*P*and

*P'*are on opposite sides of the

*y*-axis. But notice that

*P*and

*P'*must be on the same side of the

*x-*(not

*y-*, but

*x-*) axis. This is because line

*PP'*, by definition of reflection, is perpendicular to the reflecting line, the

*y*-axis, and the

*x*-axis is also perpendicular to the

*y*-axis. So by the Two Perpendiculars Theorem, line

*PP'*must be

*parallel*to the

*x*-axis, and so the line can hardly intersect

*x*-axis if it is parallel to the

*x*-axis! (Of course if

*P*lies on the

*x*-axis then so does

*P'*.) This tells us that the while the reflection image of a half-plane whose boundary is the mirror must be the opposite half-plane, its reflection image in any mirror perpendicular to the boundary is itself. Any line perpendicular to the boundary line of a half-plane is a symmetry line of that half-plane.

Notice that the Isosceles Triangle and Perpendicular Bisector Theorems are ultimately related, in that the latter is used to prove the converse of the former. Moreover, the converse of the latter can be used to prove the former as well! In fact, my proof of the Converse of the Perpendicular Bisector Theorem actually borrowed portions of the proof of the Isosceles Triangle Theorem. This means that some steps of the proof are redundant. We can shorten the Isosceles Triangle Theorem proof by using the Converse of the Perpendicular Bisector Theorem, as follows. Notice that now

*m*must be the perpendicular bisector of

*, since that's the line we want:*~~BC~~

Given: Isosceles triangle

*ABC*with

*m*the perpendicular bisector of

~~BC~~

Prove:

*m*is a symmetry line for triangle

*ABC*

*Proof:*

First, it is given that

*A*is on the reflecting line, so

*A'*=

*A*. Second, it is given that triangle

*ABC*is isosceles with vertex angle

*A*, so

*AB*=

*AC*. Since

*A*is equidistant from

*B*and

*C*, by the Converse of the Perpendicular Bisector Theorem,

*A*lies on the perpendicular bisector of

*BC*, which is

*m*. Third, by the definition of reflection, we have

*B'*=

*C*and

*C'*=

*B*. So, by the Figure Reflection Theorem, the reflection image of triangle

*ABC*is triangle

*ACB*, which is the sufficient condition for the symmetry of the triangle to line

*m*. QED

In the exercises, I just had to include Exploration Question 21 as a bonus question, since it refers to the centroid or point where the medians intersect, which is explicitly mentioned in Common Core. I know that this is an exploration question, so nothing is actually proved yet. Earlier I wrote that the actual proof can wait until second semester, but after comparing the U of Chicago with Wu, I see that the proof is better given during first semester. In fact we may be able to give a proof very soon.

## No comments:

## Post a Comment