33
$\begingroup$

I was intrigued by a book I saw called Proofs without Words. So I bought it, and discovered that the entire book doesn't have any words in it. I figured at least it would have some words explaining the pictures or something to help understand the proofs. I was wrong.

The book gives several picture proofs of the Pythagorean theorem. Attached is the first one. Can someone add a few words (or even just arrows and labels or anything) which would help me understand how this pic proves the theorem (which says, as I know all of you know, that $a^2+b^2=c^2$, where $a$ and $b$ are the lengths of the perpendicular sides of a right triangle, and $c$ is the length of the hypotenuse).

$\qquad\quad$ enter image description here

  • 1
    Aside: From this [Cut The Knot page](http://www.cut-the-knot.org/pythagoras/): "Below is a collection of 956 approaches to proving the theorem. Many of the proofs are accompanied by interactive Java illustrations."2012-01-30

6 Answers 6

72

How about just three letters?

$\;\;$ pythag

(Hat tip: Clipart Etc.)

  • 8
    If it's really$a$proof, then it should make use of the parallel postulate, and it should fail if the parallel postulate fails. Presumably this assumption is hidden somewhere in the (lack of an) argument. I suppose that if the parallel postulate fails, we don't have squares with four right angles, and therefore you can't assemble things as shown.2012-02-02
6

The light gray and dark gray triangles are all copies of the same right triangle.

The outline of each figure is a square with side length $a+b$; in particular their area is the same. Because both figures contain 4 gray triangles (even in the same orientations on both sides), the total area of the white portions must be the same on both sides. On the left, the white consists of one square of area $a^2$ and another square of area $b^2$. On the right, the white consists of a single square of area $c^2$. Since the total area is the same, we must have $a^2+b^2=c^2$.

  • 0
    I think the point is that its up to you to imagine this is possible - then verify that it is true by creating (as a given) the model on the right with triangles that are congruent to the ones of the model on the left side. (Then you should confirm that the quadrilateral in the center is a square, just to be thorough about it!)2012-01-30
5

image1

This is a simple way to split a big square (depicted by the large colorless square in the equation) into the smaller green and orange right triangles and blue squares (depicted by colored shapes in the equation)

image2

After moving around the right triangles as in this figure, the two smaller blue squares in earlier picture become a bigger one here. Since the sizes of none of the non-blue shapes have been changed, the blue shapes must certainly add up to the same area (as depicted by the equation)

  • 3
    incidentally as an aside, and this is perhaps way too obvious, the first picture in the picture proof also demonstrates the equality $(a+b)^2 = a^2 + b^2 + 2ab$.2012-01-30
4

Call "a" the short leg of any of the shaded triangles above, and "b" the long leg. Call "c" the hypotenuse.

In the figure on the left, we see two small white squares within the larger square: one small square has sides equal to "a". The other has sides equal to "b". So the area in white on the left is $a^2 + b^2$.

In the figure on the right, we have rearranged the same 4 triangles to new positions with a larger square congruent to the first one. This time we see one white square. Its sides are equal to "c", the hypotenuse. So its area is $c^2$.

The area in white in both triangles must be equal, since all we have done is rearrange the triangles. Since the white areas are equal, $a^2+b^2=c^2$ QED.

  • 1
    they are congruent by Side-Angle-Side.2012-01-30
3

first pic: 4 triangles and 2 squares (with sides $a$ and $b$)

second pic: same 4 triangles and 1 square with sides equal to $c$

total area of of the 2 big squares are the same

so sum of the areas of the 4 triangles plus the areas of the 2 small squares ($a^2+b^2$) is equal to the sum of the areas of the 4 triangles plus the area of the 1 big square ($c^2$)

  • 0
    congruent triangles at least there's a right angle and the respective adjoining it sides are equal lengths2012-01-30
0

enter image description here

Gravity goes this $\longrightarrow$ way. Turn your screen ;-)

  • 0
    Larger version, correc$t$ly oriented, available in [this post](http://math.stackexchange.com/a/259934/35416). But it isn't a proof, and it certainly isn't an answer to the question at hand.2014-04-22