You've likely memorised the Pythagorean theorem: $a^2 + b^2 = c^2$. But a formula is just a statement. True understanding comes from seeing why it works. The relationship between the sides of a right triangle isn't magic; it's a logical consequence of how squares and triangles fit together. We'll explore two classic proofs that demonstrate this, one using algebra and another relying on pure geometry.

One of the most elegant proofs is an algebraic one often attributed to the 12th-century Indian mathematician Bhaskara II. It starts not with a triangle, but with a square. Imagine four identical right-angled triangles, each with sides labelled $a$, $b$, and hypotenuse $c$. We can arrange them in two different ways inside a larger square that has sides of length $(a+b)$.

In the first arrangement, the four triangles leave a tilted square in the middle. The side of this inner square is the hypotenuse, $c$, so its area is $c^2$. The total area of the large square is the area of the four triangles plus the area of this inner square.

In the second arrangement, we rearrange the same four triangles. This time, they leave two smaller squares. One square has sides of length $a$ (area $a^2$), and the other has sides of length $b$ (area $b^2$). The total area is now the sum of the four triangles and these two squares.

Since both arrangements are inside the exact same large square, their total areas must be equal. This lets us set the two expressions for the area equal to each other.

If we subtract $2ab$ from both sides, we are left with the theorem itself. The geometry of the squares directly proves the algebraic relationship.

Over a thousand years before Bhaskara, the Greek mathematician Euclid of Alexandria laid out a different kind of proof in his foundational work, Elements. His method is purely geometric, relying on the areas of shapes without the algebraic shortcuts we just used. It's a masterclass in logical deduction.

Euclid’s proof starts with a right triangle (let's call it ABC, with the right angle at A). He then constructs squares on each of the three sides. The goal is to show that the area of the large square on the hypotenuse (BC) is equal to the sum of the areas of the two smaller squares on the other sides (AB and AC).

He does this in a few brilliant steps:

1. He draws a line from the right-angle vertex (A) straight down, perpendicular to the hypotenuse. This line divides the large square on the hypotenuse into two separate rectangles.

2. He then shows, through a series of logical steps involving congruent triangles, that the area of the smaller square on side AB is exactly equal to the area of the rectangle on the left.

3. Similarly, he proves that the area of the other small square (on side AC) is equal to the area of the rectangle on the right.

By proving these two equivalences, he demonstrates that the sum of the areas of the two smaller squares must equal the sum of the areas of the two rectangles. And since those two rectangles together make up the large square on the hypotenuse, the theorem is proven.

The theorem also works in reverse. This is called the converse of the theorem. It states that if you have a triangle with side lengths $a$, $b$, and $c$, and if those side lengths satisfy the equation $a^2 + b^2 = c^2$, then the triangle must be a right-angled triangle. The angle opposite the longest side, $c$, must be a right angle.

This is incredibly useful for construction and navigation. If you need to ensure a corner is perfectly square, you can measure out a triangle with sides in a 3-4-5 ratio. Since $3^2 + 4^2 = 9 + 16 = 25 = 5^2$, you know the angle opposite the 5-unit side is exactly 90 degrees.

Ready to test your understanding of these proofs?

Understanding these proofs elevates the Pythagorean theorem from a simple formula to a profound statement about the nature of space and shape. It’s a foundational piece of logic that underpins much of geometry and beyond.