The Pythagorean Theorem
The bedrock of geometry and spatial relationships.
In any right-angled triangle, the square of the longest side equals the sum of the squares of the other two. A child can verify it with a ruler. A civilisation can build on it.
This is one of the oldest pieces of mathematics still in active use. It predates Pythagoras himself by more than a thousand years, with evidence of it on Babylonian clay tablets from around 1800 BCE. The Greeks gave it a proof, and the proof is what mattered. Before Pythagoras, the relationship was a useful trick for surveyors. After him, it was a theorem, something demonstrably true, not just observed to be true.
Geometry is the study of relationships that do not change. Pythagoras is the first deep one we found.It also generalises. The same idea, recast, gives us the distance formula, the foundation of trigonometry, the structure of vector spaces, and the metric tensor of general relativity. When Einstein wanted to describe how spacetime itself is shaped, he reached for a tool that begins with $a^2 + b^2 = c^2$ and never quite leaves it behind.
First-Principles Derivation
1. The Secret of the Right Angle
To understand why this law exists, we have to start with the fundamental nature of the space we live in. Our universe allows for a very special relationship called perpendicularity. When two directions are at exactly 90 degrees to one another, they achieve total geometric independence.
Think about walking due North. You can walk for thousands of kilometres North, and your position East will not change by a single millimetre. North and East do not look like each other, do not overlap, and cannot influence each other. A right triangle is simply a path built from two of these completely independent journeys (side $a$ and side $b$), connected by a shortcut (the hypotenuse, side $c$).
The mystery is this: if side $a$ and side $b$ have absolutely nothing to do with each other, why should their lengths lock together so perfectly to dictate the length of side $c$?
2. Shifting Dimensions: From Length to Area
If you try to link the straight lengths of a triangle directly, the physics of space gets incredibly messy. You end up dealing with awkward square roots and long irrational decimals. If side $a$ is 3 and side $b$ is 4, side $c$ is a clean 5. But if side $a$ is 1 and side $b$ is 1, side $c$ becomes $\sqrt{2}$ (1.414213...). Lengths do not like to add up nicely around a corner.
The breakthrough happens when we step out of the first dimension (length) and scale up into the second dimension (area). When we talk about $a^2$, we are no longer just talking about a number multiplied by itself. We are talking about a literal, physical square tile built using side $a$ as its edge. Pythagoras realized that while the straight paths are stubborn, the two-dimensional patches of space built upon those paths balance out perfectly.
3. The Twin Box Experiment
We can prove this absolute balance without writing a single line of math, using nothing but a visual puzzle. Imagine manufacturing a large, shallow square box. We will define the width of this box to be the length of side $a$ and side $b$ added together ($a + b$). Now, imagine manufacturing four identical copies of our right-angled triangle. Each triangle has an area of exactly $\tfrac{1}{2}ab$.
We are going to arrange these four identical triangles inside our large box in two completely different configurations and look at the empty space left behind.
Configuration A: The Tilted Square Void
Take the four triangles and push them flat into the four corners of the box. The sharp tips point inward. Because the triangles are identical, they fit perfectly along the perimeter. They take up a solid amount of real estate inside the box, but they leave a large, open void right in the centre.
What is the shape of that void? The inner boundary of this empty space is formed entirely by the long diagonal edges of our four triangles (side $c$). Because all four sides of this void are length $c$, and the corners meet squarely, the empty space forms a perfect, tilted square. The area of this single, central void is exactly:
Configuration B: The Twin Square Voids
Now, let us take the exact same box and the exact same four triangles, shake them up, and rearrange them. This time, pair the triangles up to form two matching rectangles, each measuring $a \times b$. Slide one rectangle into the top-left corner and the other into the bottom-right corner.
Step back and look at the empty space left behind this time. Instead of one large tilted void, you are left with two distinct, upright square voids. One void is a small square nestled in the remaining corner, with sides matching the short edge of the triangle (length $a$). Its area is exactly $a^2$. The other void is a larger square, with sides matching the medium edge of the triangle (length $b$). Its area is exactly $b^2$. The total empty space in this configuration is:
4. The Inescapable Logic
Now we apply the absolute rule of conservation of space. Both setups used the exact same outer box (side $a + b$). Both setups used the exact same four puzzle pieces (the triangles). Therefore, the total amount of leftover empty space inside Box A must be absolutely identical to the total amount of leftover empty space inside Box B.
By comparing the two systems, we see that the single, massive tilted void ($c^2$) contains the exact same amount of spatial territory as the two upright voids combined ($a^2 + b^2$). The geometry forces the conclusion:
5. The Bookkeeping (The Algebraic Proof)
For the minds that demand symbolic confirmation, we can translate this physical layout into clean algebra. Let us calculate the total area of the large outer box using both configurations.
Using the direct measurement of the outer walls, the total area of the box is the total side length squared:
Using the component approach from Configuration A, the total area is the area of the four triangles plus the central void ($c^2$):
Because both expressions track the exact same boundary, we set them equal to each other:
We notice that $2ab$ exists on both sides of the ledger. This represents the area of the triangles themselves. By subtracting $2ab$ from both sides, we strip away the triangles entirely, removing the scaffolding to reveal the invariant law of two-dimensional space: