## Monday, January 25, 2016

### Lesson 12-9: The SAS Similarity Theorem (Day 89)

Lecture 15 of David Kung's Mind-Bending Math is called "Enigmas of Everyday Objects." I've heard of many of these mathematical paradoxes before, but actually, most of the paradoxes Dave Kung describes in this lecture pertain more to physics and are new to me.

Kung begins the lecture by describing how to float a ship in one gallon of water. You simply take a large tank the same shape as the ship, pour in the gallon of water, and then add the ship.

Next, Kung moves on to some paradoxes involving springs, but he demonstrates these by using a very large spring -- also known as a Slinky. He hangs a toy from the ceiling, which causes gravity to stretch it out a little. Then he asks, what would happen to the bottom of the Slinky if he were to detach the toy from the ceiling? It could be that gravity will cause the bottom to descend, but it could also be that the Slinky will recoil, thereby causing the bottom to ascend. Well, when Kung cuts the Slinky, the bottom actually does neither. The two opposing forces, gravity and the recoil, balance out exactly, so the bottom continues to float in the air until the top finishes recoiling as it falls -- only then will the bottom of the Slinky fall to the ground. He says that it's as if information -- namely, the fact that the Slinky has been cut -- takes time for it to arrive at the bottom of the Slinky. He adds that the idea that information takes time to transmit will show up in his later lectures.

His final paradox involves a spool of string. Basically, depending on which way you pull on the thread, it's possible to make the spool move forwards or backwards. My written description of this Rolling Spool Paradox won't do it justice, so let me provide a link where you can see what's going on:

The Quick Conundrum for today involves something called "oobleck." Oobleck is just a mixture of corn starch and water, but the starch isn't completely dissolved in the water. This causes oobleck to exhibit some of the properties of both solids in liquids. In a bowl it looks like a liquid, but when Kung punches the bowl, it feels solid on his fist. Then when he tries to grab some of the oobleck, it pours through his fingers like a liquid once again.

Today, as the second semester begins, I subbed in a sixth grade math classroom, for a teacher who is out for three days. The class was working out of another MathLinks packet, 6-9, which is called Expressions and Equations 1. We compare this to the Glencoe text -- as this is the start of the second semester, the students out to be starting Chapter 7 (out of 12) -- the first chapter of Volume 2. Well, it's hard to say whether this packet corresponds to Chapter 6 (Expressions) or Chapter 7 (Equations), as it contains a little material from each chapter.

Thinking back to my MTBoS Week 1 post, I point out that today was similar to the day mentioned in that post. I had four sections of Common Core 6 and one "Math Lab" second period. Once again, there was a class that wasn't actually labeled "Honors" -- fifth period -- but obviously contained the strongest students. I saw the semester grades posted on the board. and sure enough, the grades were all A's and B's. Sixth period was my conference period.

The toughest period of the day was fourth period. Adding to the problem was that at the semester transition, the bell schedule changes -- sixth graders had first lunch during the first semester, but now they have second lunch. The Unexpected Bell Paradox actually came into play -- students really didn't know when the dismissal bell was going to ring. But some students simply refused to work at all during the period, believing that they should already be at lunch.

There were also some problems during the first two periods of the day. Three new students moved into our class at the semester transition, but there weren't enough MathLinks packets for them. So during the "Math Lab," I was forced to improvise by having them write on a blank sheet of paper, but for tomorrow I plan on making copies of the relevant pages from the packet until the teacher returns.

Thinking back to my MTBoS Week 2 post, you may be asking, did I play the Conjectures/"Who Am I?" game that I described in that post? Actually, I didn't. Of the three days of lesson plans provided by the teacher, tomorrow's is the most compatible with that game. Today the students in all classes other than "Math Lab" worked on a common sub-day staple -- Pizzazz worksheets. Tomorrow they will work from copies of the MathLinks packets (as only "Math Lab" gets actual packets), and so I can play "Who Am I?" tomorrow. Oh, and speaking of the MTBoS, expect my Week 3 post on Wednesday, the last of my three days in this classroom.

Students had to convert phrases from language to mathematics. As I expected, the most common error was transcribing "4 less than x" -- naturally the Pizzazz worksheet provides both x - 4 and 4 - x as possible choices. Other trouble phrases included "three times a number increased by 8" versus "three times the sum of a number and 8" -- one requires parentheses, while the other doesn't.

As I said last week, our second semester in Geometry begins with the SAS Similarity Postulate. I have many things that I want to say about SAS Similarity, which we'll often abbreviate as SAS~.

I've referred to the American mathematician George David Birkhoff several times. Birkhoff was the mathematician who first came up with the Ruler and Protractor Postulates, which are often two of the first postulates to appear in a modern Geometry text. Actually, Birkhoff showed that only four postulates are required to derive all of Euclidean geometry:

-- Through any two points, there is exactly one line.
-- The Ruler Postulate
-- The Protractor Postulate
-- SAS~

This is astounding -- only four postulates are required? Even Euclid himself had five postulates, and now Birkhoff claimed that he can derive Euclid's geometry in only four? And as Birkhoff's first postulate is the same as Euclid's, the American's other three postulates should somehow be equivalent to the Greek sage's other four. But how can this be?

Let's think about what theorems can be proved from Birkhoff's postulates. One should immediately jump out at us -- from SAS Similarity, we should be able to prove SAS Congruence. In fact, the proof is almost trivial -- two figures are congruent iff they are similar with scale factor 1. Thus if we assume any similarity statement as a postulate, we can immediately prove the corresponding congruence statement.

We can also see how to derive some of Euclid's other postulates. That a line can be extended indefinitely goes back to the Ruler Postulate -- every point on a line corresponds to a real number, so just as the real numbers go on indefinitely, so do the points on a line. That we may draw a circle with any center and radius also comes from the Ruler Postulate, though this is less obvious. But think about it -- starting from the center, we can imagine placing a ruler in any direction. If the center is marked with the real number 0, we consider the point marked with the real number r, the radius. The locus of all points found in this manner is the desired circle. That all right angles are equal obviously comes from the Protractor Postulate, as all right angles measure 90 degrees.

This leaves us with just one of Euclid's postulates -- but it's the one that caused the most trouble for millennia, the Fifth Postulate. It's possible to derive the Fifth Postulate from Birkhoff's axioms, but this is very complicated. But as we try to work it out, we'll learn much about Birkoff's geometry.

But first, let's think about what we've proved so far. We have Euclid's first four postulates and we also have SAS Congruence. This means that we can prove Euclid's first 28 propositions -- the ones that don't require a Parallel Postulate.

In particular, we can prove his Proposition 26, which is ASA. Recall that Dr. Franklin Mason also reproduces Euclid's proof, where he uses SAS to prove ASA.

Now the we have ASA Congruence, we can derive another similarity theorem. We can do it the same way that it's done in many pre-Core Geometry texts -- one similarity result is assumed as a postulate, and we use that postulate and the corresponding triangle congruence statements to derive each similarity theorem. In such texts, AA~ is usually the postulate, and so these texts use SAS to prove SAS~ and SSS to prove SSS~. We are given two triangles satisfying, say, the SSS~ condition and we wish to prove them similar -- the trick is to come up with a third triangle that is both similar to one of the given triangle via the AA~ Postulate and congruent to the other via SSS. This proves that the two given triangles must also be similar.

Birkhoff can use the same trick, except SAS~ is the postulate this time. We can now use SAS~ and ASA to prove a similarity theorem -- but which one? It's the one that corresponds to ASA. A moment's reflection should convince you that the similarity corresponding to ASA is in fact AA~! It can't be ASA~ -- what does it mean for one pair of sides to be proportional? Today's Lesson 12-9 of the U of Chicago text points out that both ASA and AAS correspond to AA~. (Recall that the text proves all three of AA~, SAS~, SSS~ as theorems by using a dilation to produce similar triangles.)

So now we have proved AA~. The next result is often called the Third Angle Theorem (which Dr. M abbreviates as TAT) -- if two angles of one triangle are congruent to two angles of another triangle, then the third pair of angles is also congruent. This easily follows from AA~ as follows -- since the two triangles have two congruent pairs of angles, they are already similar by AA~. And if two polygons are similar, then all of the corresponding pairs are congruent.

Here's a note of warning -- notice that we have not yet proved a Triangle Sum Theorem. If two angles of a triangle have measure x and y, then all we know is that there exists some function f such that the third angle has measure f (x, y). We don't know that f (x, y) = a - x - y for some constant a, much less that a = 180 degrees.

So the Third Angle Theorem is a much weaker result than the full Triangle Sum. But we can use TAT to prove an interesting result:

-- Every Lambert quadrilateral is a rectangle.

And now you're thinking -- what the...? You thought that we were done with all this Lambert and Saccheri nonsense, and here I go talking about Lambert quadrilaterals again!

But notice that we've already proved the first four Euclid postulates thus far. In other words, so far we're in neutral geometry. And so I'm going to use terms that a neutral geometer would use, such as Lambert quadrilateral. And besides, a Lambert quadrilateral only means a quadrilateral with three right angles -- and of course, a rectangle is a quadrilateral with four right angles. We could have said:

-- If three angles of a quadrilateral are right angles, then so is the fourth.

Also, my claim that we can use TAT to prove this theorem is strange. TAT is all about the third angle of a triangle, and now we'll use it to prove something about the fourth angle of a quadrilateral?

Well, here's the proof. Let's call our Lambert quadrilateral ABCD, and declare that A, B, C are the right angles. So our goal is to prove that angle D is also a right angle.

Let's extend sides AB and CD a little. That is, we choose point E on ray AB beyond point B, and point F on ray CD beyond point D. Notice that rays AB and CD point in opposite directions. So when we connect E and F, we have that EF intersects both BC and AD, and we'll call the points of intersection G and H respectively.

Now we look at triangles AEH and BEG. In these triangles, angles A and EBG are congruent as they are both right angles (with EBG forming a linear pair with the given right angle B), and the triangles have angle E in common. Thus AEH and BEG are similar, and by TAT the third angles, AHE and BGE, must be congruent.

Notice we have vertical angles -- AHE and DHF are congruent, as are BGE and CGF. Since AHE and BGE are congruent, we conclude that CGF and DHF are congruent.

Now we consider triangles GFC and HDF. We just proved that CGF and DHF are congruent, and the triangles have angle F in common. Thus CGF and DHF are similar, and by TAT the third angles, C and FDH, must be congruent.

But we are given that C is a right angle. Thus FDH is also a right angle, and (with FDH forming a linear pair with CDH, the same as the given angle DD is a right angle. Therefore the quadrilateral ABCD is a rectangle. QED

So we just proved that every Lambert quadrilateral is a rectangle. Now as it turns out, it's known in neutral geometry that the statement "every Lambert quadrilateral is a rectangle" is one of many statements equivalent to Euclid's Fifth Postulate. The proof is not simple -- here's a link to a neutral geometry course where this is proved:

http://personal.bgsu.edu/~warrenb/Courses/09STheorems.pdf

The two relevant proofs are listed as 9->6, which takes us from "every Lambert quadrilateral is a rectangle" to Triangle Sum, and then 6->2, which takes us from Triangle Sum to Playfair. This is sufficient, since the most commonly mentioned Parallel Postulate is Playfair. So this concludes how we get from Birkhoff's four axioms to a Parallel Postulate.

Both David Joyce and David Kung say that there should be as few postulates as possible, and you can count me as a third David who agrees. If the fewness of the postulates were all that mattered, Birkhoff's axiomatization would be the winner.

But that's not all that matters. Imagine a high school Geometry course trying to get from Birkhoff's axioms to Playfair. Some of the steps are reasonable for high school students -- SAS to ASA is not commonly done, but the indirect proof does appear on Dr. M's website. The phrase "Lambert quadrilateral" should never be spoken in a high school course, but if we write it as "if three angles of a quadrilateral are right angles, then so is the fourth," the proof isn't terrible.

Of course, the proof that takes us from the rectangle theorem to Triangle Sum is very inappropriate for a high school class. And besides -- this proof sequence is the opposite from what we normally want to do in high school Geometry. We want to use Playfair to prove Triangle Sum, not vice versa, and we want to use Triangle Sum in our proof about the angles of a rectangle, not vice versa.

But actually, this isn't even where the problems with Birkhoff's axioms begin. They actually start with the very first proof -- using SAS Similarity to prove SAS Congruence. Yet of all the proofs, this is by far the simplest, almost trivial: two triangles are congruent iff they are similar with scale factor 1.

An argument can be made that similarity is much more important than congruence. Think about it:

-- What can we use to set up scale models and maps? (similarity, not congruence)
-- What can we use to prove the Pythagorean Theorem? (similarity, not congruence)
-- What can we use to derive the trig ratios? (similarity, not congruence)
-- What can we use to derive the slope formula? (similarity, not congruence)

...and so on. Congruence matters very little outside of Geometry class, but similarity matters throughout subsequent high school class, college, and careers.

If we were to introduce an SAS~ Postulate, we instantly have a proof of SAS Congruence. Of course, we already proved SAS Congruence, but we can imagine a class where similarity is taught before congruence is. (I actually once saw a text that teaches similarity before congruence.) Then we can get to the Pythagorean Theorem and the slope formula, and we can still teach congruence as a special case of similarity with scale factor 1. And we can just throw in Playfair as an extra postulate, so we don't run into the same problems as Birkhoff's axioms did.

So what is the problem with this approach? Similarity is a more difficult concept than congruence -- and students don't fully understand similarity until they know what congruence is. This is why I tried so hard to avoid teaching similarity until the second semester, in hopes that students can get a good first semester grade without being confused by similarity. So minimizing the number of axioms is secondary to maximizing student understanding. And so in today's lesson, the first of the second semester, we introduce SAS~, from Lesson 12-9 of the U of Chicago text

There's one more thing I want to say about SAS~. Last week, I implied that I would have to assume SAS~ as a postulate first, then use SAS~ to prove the properties of dilations, and finally use dilations to define similar and prove the other similarity theorems.

But this is hardly logical. To see why, let's look at a statement of SAS~:

SAS Similarity Theorem:
If, in two triangles, the ratios of two pairs of corresponding sides are equal and the included angles are congruent, then the triangles are ______________.

That blank there is intentional, to remind you that we haven't defined "similar" yet! And it's circular to use SAS~ to prove that triangles are "similar," use it to prove the properties of dilations, and only then use dilations to define "similar."

All of this stems from that PARCC question that I mentioned last week. The Common Core Standards tell us that we should use dilations to define similarity:

CCSS.MATH.CONTENT.HSG.SRT.A.2
Given two figures, use the definition of similarity in terms of similarity transformations to decide if they are similar; explain using similarity transformations the meaning of similarity for triangles as the equality of all corresponding pairs of angles and the proportionality of all corresponding pairs of sides.

yet that PARCC question does the opposite -- we have to use SAS~ (and therefore know what "similar" means) in order to prove the properties of dilations.

If all I had was the Common Core standard above, I would have introduced a Dilation Postulate that assumes the properties of dilations, then used dilations to derive SAS~ and the other postulates. If all I had was the PARCC question, I would have followed the classical pre-Core definition of similarity, proved SAS~, and then used it to prove the properties of dilations at the very end of the unit.

I decided to go back to Dr. M's website to see how he teaches similarity, and I see that his method is a compromise of the Common Core method and the PARCC method. He teaches similarity in his Chapter 7, and in his Lesson 7.3 he introduces a postulate:

The Polygon Similarity Postulate:
Given a polygon P and a positive quantity k, we may construct a second polygon Q such that P ~ Q, with scale factor k.

In this case, similarity has already been defined classically, while dilation isn't defined yet. Yet this postulate, while it doesn't say specifically that a dilation (with scale factor k, of course) maps P to but only that such a Q exists, serves the same purpose as my Dilation Postulate.

We can then prove all three similarity statements -- SAS~, SSS~, and AA~ -- as theorems by using the corresponding congruence theorem plus the Polygon Similarity Postulate. In particular, we use the postulate to produce a triangle similar to the first given triangle, with the correct scale factor that makes it congruent to the second triangle via the corresponding theorem.

This solves most of our problems. Today we use SAS and Polygon Similarity to prove SAS~, with the idea that SAS~ can be used to prove the properties of dilations as in the PARCC question. Yet it still has the same idea expressed in the Common Core Standards -- we don't just assume any of the three major similarity statements, but prove all of them by producing similar triangles.

There's only one question left to answer. Why do we only prove SAS~ in today's lesson, as opposed to all three similarity theorems? It's because last week I came up with a lesson plan for the first unit of the second semester. Yes, I know that I've blown off such plans in the past, but it looks tacky to change the plan the very first day of the semester! And so I'm stuck with separating this week's SAS~ proof from next week's AA~ and SSS~ proofs.

Kung's next lecture should be a big one. Coming up next, Kung will discuss not only a famous paradox in physics, but arguably the most famous physicist of all time.