96
$\begingroup$

The Pythagorean Theorem is one of the most popular to prove by mathematicians, and there are many proofs available (including one from James Garfield).

What's the most elegant proof?

My favorite is this graphical one:

alt text

According to cut-the-knot:

Loomis (pp. 49-50) mentions that the proof "was devised by Maurice Laisnez, a high school boy, in the Junior-Senior High School of South Bend, Ind., and sent to me, May 16, 1939, by his class teacher, Wilson Thornton."

The proof has been published by Rufus Isaac in Mathematics Magazine, Vol. 48 (1975), p. 198.

$\endgroup$
5
  • 13
    $\begingroup$ Possibly subjective $\endgroup$
    – Justin L.
    Jul 27, 2010 at 21:01
  • 1
    $\begingroup$ the question title should be edited to avoid an overly subjective question and reflect the real intent of the question. $\endgroup$
    – Jamie Banks
    Jul 27, 2010 at 21:15
  • $\begingroup$ @Katie: Any suggestions? I think that I will just make it community wiki... $\endgroup$
    – Shane
    Jul 27, 2010 at 21:19
  • 3
    $\begingroup$ rather than "most elegant," maybe just do "Different Proofs of the Pythagorean Theorem" or something...same effect, less subjective. $\endgroup$
    – Jamie Banks
    Jul 27, 2010 at 21:22
  • $\begingroup$ AFAIK this demonstration was known by the Indian mathematician of XII century Bhāskara. $\endgroup$
    – mau
    Jul 27, 2010 at 21:54

17 Answers 17

Reset to default
75
$\begingroup$

I really like this one (image taken from cut-the-knot #4)

alt text

along with

$$(a+b)^2 = 4\cdot\frac{1}{2}a b + c^2$$ $$\Leftrightarrow c^2 = a^2 + b^2$$

It's so clear and easy ...

Note: Just to make it clear, the side of the square is a+b

$\endgroup$
3
  • 8
    $\begingroup$ I would like to point out that the fact that the area of a rectangle is the product of the lengths of its sides is not trivial. Indeed, it's not even meaningful until you make sense of the notion of multiplying irrational numbers and justify that the usual algebraic rules apply to them. The elegance of this proof could be seen as an example of the power of the real number system. $\endgroup$
    – Jack M
    Jun 16, 2013 at 2:50
  • 3
    $\begingroup$ @JackM Here is a proof by Euclid that the area of a rectangle is length times width: aleph0.clarku.edu/~djoyce/java/elements/bookVI/propVI14.html It's phrased in really archaic language, but it basically says this: two equiangular parallelograms (I.e. rectangles) with dimensions $l_1$ and $w_1$ and $l_2$ and $w_2$ respectively have equal area if and only if the ratio of $l_1$ to $w_2$ is equal to the ratio of $l_2$ to $w_1$ (which we would write as $l_1w_1 = l_2w_2$). It relies on Eudoxus' theory of proportions, which was Dedekind's inspiration for his Dedekind cut construction. $\endgroup$
    – Keshav Srinivasan
    Oct 27, 2013 at 1:18
  • $\begingroup$ @JackM I found a proposition of Euclid that seems to demonstrate even more directly that area = length times width: aleph0.clarku.edu/~djoyce/java/elements/bookVI/propVI1.html $\endgroup$
    – Keshav Srinivasan
    Nov 16, 2013 at 17:03
51
$\begingroup$

The proof that uses the fact that shearing a parallelogram parallel to one of its sides preserves area is my favorite. Here's an animation from this site:

animated proof

$\endgroup$
2
  • 8
    $\begingroup$ Sweet, wish the image was a bit slower though. Had to watch it 3 times $\endgroup$
    – Casebash
    Jul 27, 2010 at 21:13
  • 16
    $\begingroup$ If only euclid has gifs. Elements would be so much shorter. $\endgroup$
    – Guy
    Mar 31, 2014 at 14:47
40
$\begingroup$

More than dissection proofs, I find the proof using similarity most enlightening and intuitive. See post by Terence Tao: drop a perpendicular from C to the hypotenuse AB.

Image from Tao

In the figure, the triangles whose are areas are marked x and y are similar to the original triangle (which has area x+y). So accepting that areas of similar right-angled triangles are proportional to the squares of the hypotenuse, x:y:x+y are in ratio a2:b2:c2, which is Pythagoras's theorem.

See also the linked discussion by Alexander Giventhal where he remarks that this proof is more general than tiling or dissection proofs, and is even proved by Euclid. If you think of a2+b2=c2 as the geometrical result that the sum of areas of squares constructed with sides a and b is the area of a square placed on c, then the Pythagorean theorem is true not just for constructing squares on the sides, but any similar figures. For instance, as Euclid himself proves, something like the following is true (though it's still just saying a2+b2=c2):

From Giventhal

$\endgroup$
5
  • 6
    $\begingroup$ This is my favorite proof, too, because it not only shows that, but also why it is true. $\endgroup$
    – Greg Graviton
    Aug 1, 2010 at 11:08
  • 4
    $\begingroup$ Some of the other proofs are pretty creative, but IMHO, this is the only truly satisfying proof that I've seen, and this is the one I always show people. $\endgroup$
    – Darsh Ranjan
    Sep 30, 2010 at 15:47
  • 1
    $\begingroup$ Huh. This really is intuitive! I didn't realize that I didn't really understand why it worked until just now. $\endgroup$
    – SamB
    Oct 21, 2010 at 0:35
  • 1
    $\begingroup$ I call this "the one line proof", the "one line" being the one joining C to D. $\endgroup$
    – Gerry Myerson
    Mar 27, 2014 at 12:07
  • $\begingroup$ The parallel postulate --> sum angles is 180-degree --> similarity argument --> Pythagorean theorem. $\endgroup$
    – Hulkster
    Mar 27, 2023 at 13:28
39
$\begingroup$

I think this proof is pretty water tight!

Proof of Pythagorean theorem

$\endgroup$
7
  • 35
    $\begingroup$ How do we know that the tanks all have equal depth?! Trickery, I tells you! Trickery! $\endgroup$
    – user642796
    Dec 16, 2012 at 13:17
  • 14
    $\begingroup$ This works for triangles of only one shape. $\endgroup$
    – Michael Hardy
    Jan 22, 2013 at 18:11
  • 9
    $\begingroup$ To make sure this is a general proof (and not a proof for one specific case) you'd need infinite ammounts of these contraptions, one for each possible triangle. $\endgroup$
    – Dakkaron
    Feb 17, 2014 at 8:42
  • $\begingroup$ What is the name of the blue liquid used here? $\endgroup$
    – HeWhoMustBeNamed
    Oct 15, 2017 at 10:31
  • 2
    $\begingroup$ Not really a mathematical proof, but +1 anyway because it's cool to watch. $\endgroup$
    – Oscar Lanzi
    May 12, 2018 at 16:02
22
$\begingroup$

My favorite proof of the Pythagorean Theorem is a special case of this picture-proof of the Law of Cosines:

Proof Without Words: The Law of Cosines

Drop three perpendiculars and let the definition of cosine give the lengths of the sub-divided segments. Then, observe that like-colored rectangles have the same area (computed in slightly different ways) and the result follows immediately.

When C is a right angle, the blue rectangles vanish and we have the Pythagorean Theorem via what amounts to Proof #5 on Cut-the-Knot's Pythagorean Theorem page. (Note that, as mentioned on CtK, the use of cosine here doesn't amount to an invalid "trigonometric proof".)

The picture works for obtuse C as well. (Proof left as an exercise for the reader.)

A final note ... Because the same-colored rectangles have the same area, they're "equidecomposable" (aka "scissors congruent"): it's possible to cut one into a finite number of polygonal pieces that reassemble to make the other. While there's at least one standard procedure for determining how to make the cuts, the resulting pieces aren't necessarily pretty. Some popular dissection proofs of the Pythagorean Theorem --such as Proof #36 on Cut-the-Knot-- demonstrate a specific, clear pattern for cutting up the figure's three squares, a pattern that applies to all right triangles. I have yet to find a similarly straightforward cutting pattern that would apply to all triangles and show that my same-colored rectangles "obviously" have the same area.

(Another exercise for the reader, perhaps? :)

$\endgroup$
4
  • $\begingroup$ Yes, of course. Here's a picture for you in return. $\endgroup$
    – t.b.
    Jul 31, 2011 at 23:51
  • 1
    $\begingroup$ Are you saying it is your favorite proof because it kills two birds with one stone? $\endgroup$
    – StudentofEuler2718
    Aug 4, 2013 at 17:30
  • 1
    $\begingroup$ Cay you define those trigonometric functions and prove their properties, without use of the Pythagorean theorem? $\endgroup$
    – Hulkster
    Apr 1, 2023 at 21:20
  • $\begingroup$ @Hulkster: I'm simply invoking cosine as a convenient shorthand for the standard "adjacent over hypotenuse" ratio in a right triangle, and leveraging the proportionality of lengths in similar (right) triangles. There is no appeal (explicit or implicit) to the Pythagorean theorem (or its trig-identity form, $\sin^2\theta+\cos^2\theta=1$), so there's no circular reasoning here. $\endgroup$
    – Blue
    Apr 1, 2023 at 21:39
20
$\begingroup$

Every time you walk on a floor that is tiled like this, you are walking on a proof of the Pythagorean theorem. Floor tiled with two sizes of square tiles

If you consider say the upper left corner of every small tile, you can see that these points lie on a periodic grid (shown in red). Each square in this grid is $c \times c$. Then you can choose either of two easy proofs:

(1) The $c \times c$ square is clearly a rearrangement of one $b \times b$ square and one $a \times a$ square.
- or -
(2) Each period of the periodic pattern covers what area of floor? On the one hand there is one $a \times a$ square and one $b \times b$ square per period, while on the other hand there is one $c \times c$ square per period.

(The second one is my favorite, since unlike most proofs it requires neither dissection nor algebra. You don't even need the red or blue lines: Once you see the tiling's periodicity, just note that it is $c \times c$ and you are done!)

$\endgroup$
1
  • $\begingroup$ I thought Dario's was unbeatable for its simplicity but this one is even more elegant, especially option (2)! Thank you. $\endgroup$
    – ProfDFrancis
    Feb 27, 2020 at 0:39
17
$\begingroup$

Three similar houses. The red and the blue gables together make up the black one; therefore the same is true for the square side walls.

enter image description here

$\endgroup$
1
  • $\begingroup$ This is the same as Euclid's second proof of the theorem. $\endgroup$
    – Intelligenti pauca
    Feb 6, 2022 at 10:49
13
$\begingroup$

This is not really a proof, in the sense that it depends on certain physical assumptions, but it forces you to think very hard about what those physical assumptions are. I learned it from Mark Levi's The Mathematical Mechanic, although unfortunately I don't have a diagram.

Consider a fish tank in the shape of a triangular prism, where the triangle on top has vertices $A, B, C$ ($C$ is the right angle) and the triangle on the bottom has opposite vertices $A', B', C'$. Let $a, b, c$ denote the lengths of the opposite sides. Run a rod through the edge $A A'$ on which the fish tank is allowed to pivot, and fill it with water. By conservation of energy, this system is in mechanical equilibrium.

On the other hand, I claim (and it is not hard to see) that the total torque about the rod is proportional to $c^2 - b^2 - a^2$, each contribution coming from the pressure of the water in the tank against the corresponding side.

$\endgroup$
2
  • $\begingroup$ (blatant misuse of the site) would you recommend that book, it looks fun :) $\endgroup$
    – BBischof
    Aug 1, 2010 at 3:32
  • 1
    $\begingroup$ Definitely; I thought it was great. $\endgroup$
    – Qiaochu Yuan
    Aug 1, 2010 at 4:42
10
$\begingroup$

From the first six books of the elements of Euclid by Oliver Byrne:

Pages 48 and 49 of the book

$\endgroup$
1
  • $\begingroup$ I love this book $\endgroup$
    – bananenheld
    Feb 17, 2023 at 20:18
10
$\begingroup$

This animated gif demonstrates the proof eloquently.

enter image description here

$\endgroup$
7
$\begingroup$

In my opinion, one of the most elegant is the "calculus proof" by John Molokach:

Given a right triangle with legs $a$ and $b$ and hypotenuse $c$, construct a semicircle in a rectangular coordinate system like the picture below.

calculus proof Pythagorean theorem

The function $y$, whose graph is the semicircle, satisfies the IVP $$\left\{\begin{align} &y'=-x/y\\ &y(0)=c \end{align}\right.$$ The solution of this IVP is $y(x)^2=-x^2+c^2$. Since the curve passes through $(a,b)$, it follows that $$c^2=y(a)^2+a^2=b^2+a^2.$$

$\endgroup$
3
6
$\begingroup$

In my opinion Euclid's proof in the Elements, I. 47, is the most brilliant and elegant proof of the pythagorean theorem. One just has to look at the figure to see the WHY of the theorem...the rest is filling in the details. It is just as beautiful and as fresh, and as compelling today, as it was in 300 B.C. (more or less) when Euclid created it.

All mathematicians should see and study the proof at least once in their lives...it is a priceless jewel of mathematical beauty.

$\endgroup$
2
$\begingroup$

Richard Schwartz has a nice Java applet demonstrating a proof by rearrangement of the Pythagorean theorem which is a variation on the one that you like. He constructed a wood model demonstrating this proof, with triangles that swivel.

$\endgroup$
1
$\begingroup$

Not a proof in itself, but the book The Pythagorean Proposition by Loomis has probably the most comprehensive collection of proofs of the Pythagorean theorem.

$\endgroup$
1
$\begingroup$

http://www.math.ntnu.no/~hanche/pythagoras/

$\endgroup$
1
$\begingroup$

Scroll down to the bottom and I think this is the most visual friendly proof in existence, there is even a gif somewhere that covers all possible cases continuously.

The first proof you mentioned however is my favorite proof of the Pythagorean theorem.

$\endgroup$
1
$\begingroup$

This one is probably already included here.

But just for the image...

enter image description here

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .