The Pythagorean Theorem Has Over 370 Proofs

The Pythagorean theorem is the most-proved theorem in mathematics. Elisha Scott Loomis's 1927 book The Pythagorean Proposition catalogued 370 distinct proofs, and the list has only grown since. No other mathematical result has been verified in so many different ways. That fact alone should make you curious: why does this one theorem attract so much proof-writing? The answer is that it sits at a crossroads — a place where algebra, geometry, similarity, and even physics all meet. Every proof illuminates a different facet of why it's true.

What the theorem says

In any right triangle, the square of the hypotenuse equals the sum of the squares of the other two sides. If the legs are $a$ and $b$ and the hypotenuse is $c$, then:

$a^2 + b^2 = c^2$

That's it. Compact, clean, and waiting to be understood.

The proof by rearrangement

The most visually satisfying proof requires almost no algebra. Draw a large square with side length $(a + b)$. Inside it, place four identical right triangles — legs $a$ and $b$, hypotenuse $c$ — arranged so their hypotenuses form a tilted inner square.

The big square has area $(a + b)^2$. The four triangles together have area $4 \cdot \frac{1}{2}ab = 2ab$. The inner square has area $c^2$. So:

$(a+b)^2 = 2ab + c^2$

Expanding the left side: $a^2 + 2ab + b^2 = 2ab + c^2$. Cancel the $2ab$ from both sides and you're left with $a^2 + b^2 = c^2$.

The proof is essentially visual. You don't need to know anything about angles or similarity. You just need to be able to count area two different ways and notice what cancels. This is a dissection proof — the theorem is true because of how areas fit together.

Euclid's original proof

Euclid's proof in Elements (Book I, Proposition 47) is the "windmill" proof, sometimes called the pons asinorum — the bridge of asses, since supposedly students who couldn't cross it couldn't proceed. It's harder to follow than the rearrangement proof but more impressive as a logical achievement.

Euclid draws squares on all three sides of the right triangle, then drops a perpendicular from the right angle to the hypotenuse. This splits the square on the hypotenuse into two rectangles. He then proves, using congruent triangles, that each rectangle has the same area as the square on the corresponding leg. The two rectangles together make the hypotenuse square; the two squares on the legs have the same total area. Done.

This proof is about area, but it works via Congruence — showing that certain triangles are identical in size and shape. Euclid didn't have algebra, so he couldn't use equations. Instead, he had to reason about regions directly, using the parallel postulate at a crucial step.

The algebraic proof via similarity

Once you know about similar triangles, a beautiful short proof becomes available. Draw the altitude from the right angle to the hypotenuse, splitting the original triangle into two smaller triangles. All three triangles — the original and the two pieces — share the same angles. That means they're all similar to each other.

From the similarity ratios:

• The big triangle to the left piece gives $c/a = a/p$, where $p$ is the part of the hypotenuse under leg $a$. So $a^2 = cp$.
• The big triangle to the right piece gives $c/b = b/q$, where $q$ is the other part. So $b^2 = cq$.

Adding: $a^2 + b^2 = cp + cq = c(p + q) = c \cdot c = c^2$.

This proof reveals something the dissection proof doesn't: the theorem is fundamentally about similarity — about what stays constant when you scale shapes. The right angle forces a certain similarity structure, and that structure forces the area relationship.

A US president's proof

In 1876, James A. Garfield — then a congressman, not yet president — published a proof in the New England Journal of Education. He drew a trapezoid made from two copies of the right triangle and computed its area two ways.

The trapezoid has parallel sides $a$ and $b$ and height $a + b$, so its area is $\frac{1}{2}(a+b)(a+b) = \frac{(a+b)^2}{2}$.

But it's also made of three triangles: two with legs $a$ and $b$ (area $\frac{ab}{2}$ each) and one with legs $c$ and $c$ (area $\frac{c^2}{2}$). Total: $ab + \frac{c^2}{2}$.

Setting these equal and simplifying: $(a+b)^2 = 2ab + c^2$, which gives $a^2 + b^2 = c^2$.

Garfield reportedly came up with this independently while discussing mathematics with colleagues. It's essentially the rearrangement proof in a different wrapper — but the fact that a politician found a new proof in 1876 tells you something about how rich the theorem's geometry is.

What the multiplicity of proofs means

Each proof isolates a different reason why the theorem is true. The rearrangement proof says: it's about area. The similarity proof says: it's about scaling. Euclid's proof says: it's about congruence. An analytic proof (the one using coordinates and the distance formula) says: it's about the definition of distance in the plane. There are even proofs using calculus, using complex numbers, using physics.

A theorem with this many proofs isn't just correct — it's deeply connected to the rest of mathematics. Every proof is evidence of another thread leading back to this one fact. The density of proofs tells you that $a^2 + b^2 = c^2$ isn't some isolated coincidence. It's a hub.

That's why, even after 2,500 years and 370-plus proofs, mathematicians still sometimes write new ones. They're not checking the answer. They're exploring the neighborhood.