I've been thinking recently about how to teach the Pythagorean theorem to high school students. As part of that thinking, I looked around to see how the topic was being taught in various textbooks, online videos, blog posts, etc. Typically, the discussion goes something like this:

First, the statement of the theorem is presented: For a right triangle with legs of lengths and and a hypotenuse of length , we have .

Next, a picture like the following one is presented as a visual:

The student is told that the two smaller squares add up in area to the largest square.

Finally, any one of the typical proofs is presented. This could be a rearrangement proof, the "Behold!" proof, or Euclid's proof of proposition I.47.

One can improve the final step by using what is sometimes called Einstein's proof. (See also this post by Terence Tao, this video by Numberphile, this article by Alexander Givental, and in particular this comment by Tim Gowers for discussion and presentation of this proof.) This proof is an improvement over the typical presentation for a few reasons: it makes the theorem feel more intuitive, and (especially with the discussion in Gowers's comment) it gives some indication of how one might discover the proof.

It might seem like the "exposition problem" for the Pythagorean theorem is solved: we started with a bunch of proofs that made the theorem feel unintuitive that we didn't know how to discover ourselves, and now we have a good proof along with a story for how to discover it.

I claim that there is still some work left! I think the Pythagorean theorem is a case where even the theorem statement itself seems bizarre (rather than just the proofs being bizarre). Given an arbitrary right triangle, how would one guess that ? And why would one even think this is a problem worth solving in the first place? I think this second question is easy to answer by pointing to the numerous applications of the theorem, so I will focus on the first question.

So with that background discussion out of the way, here is my proposal for how to teach the Pythagorean theorem, which is a kind of discovery fiction:

- Present the problem: this can be either finding the length of a vector/line segment in the Cartesian plane (given the and coordinates), or as finding the hypotenuse of a right triangle (given the lengths of the two legs). It is clear that once and are known, the length of the hypotenuse is determined. (Ideally if this was an in-person lesson, I would present the problem, then let the student just think about it on their own. Then parts of the lesson might just be discussing about whatever idea the student had/altering some of the approach based on ideas of the student.)
- Eventually, hit on the idea of
*specializing*/*simplifying*the problem by taking the two legs to be the same length. In this case, it becomes really obvious (by drawing the picture) that the "bigger square" made using the diagonal of the original square is double the area of the original square. This opens up two interesting threads: (1) it shows that the length of the diagonal of the original square is , and this then could lead to a lesson on its own about irrational numbers; (2) it gives an idea of how to generalize this approach to the case where the legs don't have the same length.

- Attempt to generalize to the case where the legs have different lengths: Try to make the same drawing as in the square case. This will fail: the legs will have rectangles attached, and the hypotenuse will have a rhombus attached. There will be no obvious way to find the height of this rhombus, so no way to connect the area of the rhombus to the hypotenuse of the original triangle.

- Think more about why the rectangle one fails even though the square one works. Hit on the idea that it works in the square case because the hypotenuse goes on to create a square, whose area we can calculate in terms of the hypotenuse. In contrast, in the rhombus case, there is no obvious way to calculate the area using the hypotenuse (in fact, the typical formula for the area of the rhombus calculates it in terms of the diagonals, which gives the tautologous ). So the question now becomes: is there a way to draw the figure in such a way that the hypotenuse creates (i.e. has attached) a figure whose area we can calculate using the hypotenuse itself?
- One way is to grow a square on the hypotenuse; but doing this just any way won't work. Possibly after a few attempts, you will discover that putting the smallest angle in the right triangle along with the next smallest angle creates a straight line, with a right angle in between. This can be used to surround the square (with hypotenuse as the side length), creating an outer square of length . This soon leads to the familiar formula, (after some algebra). This is of course "just" the "Behold!" proof, but it is now preceded by a story consisting of a bunch of motivated exploration.

- I think the previous proof is probably easier to find, but it's not the most intuitive explanation. So another way to think about this is, we didn't
*need*a square; we just needed some area that we could calculate using the hypotenuse. But actually, something to notice is that we don't even necessarily need to calculate it. Once we know the theorem statement, any three similar figures would work. So we can (1) generalize the Pythagorean theorem to be about any shape, and (2) try to specialize to some shape that is especially easy to work with. This is of course just the same idea Gowers discusses from Polya's book. - Eventually the above idea leads to drawing a perpendicular line down to the hypotenuse, which creates three similar triangles. The areas of the two smaller triangles obviously adds up to the area of the largest triangle, so we have . Then, we just note that for similar figures, area is proportional to the square of the side lengths, so we must have .

Here are some things I like about this proposal:

- It makes use of problem-solving strategies like specialization and generalization.
- Not only the proof, but the theorem statement itself is part of the discovery process.
- It teaches that once the theorem is known, other more intuitive proofs can be found. The first proof is not necessarily the best proof. But the first proof is still historically necessary for discovering the better proof.
- It gives some feel for the "combinatorial explosion" nature of math research: we started out talking about right triangles, but then discovered , something we weren't even trying to do.

Here are some questions I am wondering about, and I am interested in hearing people's thoughts:

- How convincing was the above as an explanation? Which parts were difficult to follow?
- Can I really expect most high school students to follow through on this lesson? Is there anything that is too conceptually difficult?
- I think there's a lot of value to having the student figure things out on their own, so what is the minimal amount of hand-holding I can get away with? I know I can't just present the problem and expect even the smartest students to figure everything out, but I also don't want to give away all of the answers, and I am having trouble figuring out what the right balance is.
- Are there other compelling "discovery paths" that I am missing?

I don't think all that algebra (or symbolic arithmetic, or whatever you want to call it) is as intuitive to a high school student as it is to you. Frankly I find the "behold" proof really uncompelling,

becauseit just leads me into, well, algebra. You're trying to prove what's fundamentally a nice geometric theorem aboutareas, and dragging in the question of "what we can calculate" seems like an unnatural complication. When you want toapplythe theorem to get distances in the cartesian plane, then you can start calculating.I also very much doubt that that's how the theorem was historically discovered; we're mostly talking about people whose notation for writing

numberswas often really cumbersome, who totally lacked any notation at all for doing algebra, and who didn't necessarily identify areas with numbers as readily as we do.The rearrangement proof lets you engage with the figures pretty directly, whereas all the others require you use a lot of extra concepts. Not only can you get to the Pythagorean theorem without doing algebra, and without engaging with cartesian coordinates, but you can get there without engaging with the concept of similar figures. That is a

goodthing; at the high school level you can't expect people to be able to manipulate all of those concepts with facility at the same time.I think you will definitely lose them if you bring in the idea of generalizing it to other shapes. At their level, the concept of "proof" is shaky at best, and the instinct for abstraction hasn't taken hold. The idea of generalized or specialized versions of a theorem is going to be hard to explain all by itself.