Pythagoras: The Theorem, the Legend, and the Mathematics Behind It

A Theorem That Is Everywhere

Search algorithms, navigation systems, computer graphics, architecture, astronomy — the Pythagorean theorem is embedded in all of them. It is the foundation of distance in Euclidean geometry, the basis of trigonometric identities, and the bridge from the two-dimensional triangle to n-dimensional vector spaces.

And yet hardly any mathematical theorem is so often wrongly attributed, so surrounded by legend, and so misunderstood as this one. Time to clear the fog.

Who Was Pythagoras?

Pythagoras was born around 570 BC on the Greek island of Samos and died around 495 BC. We know little of his life with certainty — the sources date from centuries after his death and are permeated by admiration and mythologization.

What can be said: he founded a religious-philosophical community in Croton (southern Italy), the so-called Pythagoreans. This school combined mathematics, music, astronomy, and ethics into a way of life. Mathematical insights were considered sacred — and attributed to the community, not to the individual.

That is the first historiographical knot: when ancient sources speak of “Pythagoras,” they often mean the Pythagoreans as a community. Which discoveries Pythagoras personally made is almost impossible to reconstruct.

Well-known legends about him: that he heard the harmony of the spheres, that he discovered that musical intervals correspond to whole-number string ratios (3:2 for the fifth, 2:1 for the octave) — the latter is historically more plausible and likely his most significant personal contribution.

The Babylonians Were Earlier

The uncomfortable truth: the content of the theorem was known long before Pythagoras.

The Babylonian cuneiform tablet Plimpton 322, created around 1800 BC — approximately 1,200 years before Pythagoras — lists 15 Pythagorean number triples in systematic form. Not found by accident, but arranged according to a recognizable principle. This shows: Babylonian mathematicians knew and actively used the relationship between the sides of right triangles.

Egyptian papyri and Vedic texts (Sulbasutras) document the same knowledge independently. It is possible that Pythagoras learned this knowledge on travels to Egypt and Babylon and brought it into Greek mathematics.

What the Greek tradition claims for itself — and what is at least historically possible — is the first formal proof: the deductive derivation from axioms and already proven theorems. That would be a genuine step from empirical knowledge (these triangles work this way) to mathematical proof (all right triangles must work this way).

But even this claim is uncertain. No contemporary proof has survived.

The Theorem Itself: What It Says and Why

In a right triangle with legs a and b and hypotenuse c (the side opposite the right angle):

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

The geometric picture is intuitive: the area of the square on the hypotenuse equals the sum of the areas of the squares on the two legs.

Why this holds exactly — and why only for the right angle — is best understood through Euclid’s proof in the sixth book of the Elements (ca. 300 BC). Euclid demonstrates it through area decomposition: he divides the large square on the hypotenuse into two rectangles, each with the same area as one of the squares on the legs.

One of the most elegant proofs comes from Indian mathematician Bhaskara II (12th century): four congruent right triangles are arranged around a small square of side (b − a) such that together they form a square of side c. One glance, one formula, done.

370 Proofs: Why So Many?

No other mathematical theorem has so many documented proofs. Why?

First, the theorem is elementarily stated — anyone can understand it without deep prerequisites. Second, it is deep enough that many different mathematical tools touch it. Third, it has been a touchstone since antiquity: whoever learned mathematics proved it anew.

One particularly beautiful proof comes from James A. Garfield — the 20th President of the United States — from the year 1876, before he became president. He examined a trapezoid composed of three right triangles and calculated its area in two different ways.

Garfield’s proof shows that Pythagoras does not belong to mathematicians alone — it attracts minds that seek elegance in the world.

The Secret of Irrational Numbers

The Pythagoreans believed that all things are composed of whole numbers and their ratios (fractions). Numbers were not just a tool — they were the essence of reality.

This belief was shattered by a student of the school — legend names Hippasus of Metapontum — through an unexpected consequence of the Pythagorean theorem itself.

Consider a right triangle with both legs of length 1. Then:

$c^2 = 1^2 + 1^2 = 2 \quad \Rightarrow \quad c = \sqrt{2}$

Hippasus proved that √2 is irrational — it cannot be expressed as a fraction of whole numbers. The proof is an elegant proof by contradiction:

Assume: √2 = p/q, where p and q are coprime (the fraction is fully reduced). Then 2 = p²/q², so p² = 2q². Therefore p² is even, so p is even: p = 2k. Substituting: 4k² = 2q², so q² = 2k², so q is even. But then both p and q are even — contradicting the assumption that they are coprime.

The discovery shows: not all lengths can be expressed as numbers — at least not as the numbers the Pythagoreans knew. Reality is richer than the number system.

Legend has it that Hippasus was thrown into the sea for this. Historically unverified — but the discovery was genuinely a shattering of a worldview.

The Theorem in Higher Dimensions

In two dimensions: a² + b² = c².

In three dimensions, the space diagonal of a cuboid with sides a, b, c satisfies:

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

In n dimensions, the distance between two points (x₁, x₂, …, xₙ) and (y₁, y₂, …, yₙ) is:

$d = \sqrt{(x_1-y_1)^2 + (x_2-y_2)^2 + \ldots + (x_n-y_n)^2}$

This is the Euclidean metric — the most natural way to measure distances in a vector space. It is the direct generalization of the Pythagorean theorem. In linear algebra and functional analysis it defines norms on infinite-dimensional spaces.

Machine learning algorithms like k-nearest neighbors use this formula to compare data points in high-dimensional feature spaces. GPS systems use a spherical variant for distances on Earth’s surface. Computer graphics calculate pixel distances with the same formula.

Non-Euclidean Geometry: Where the Theorem Fails

In Euclidean geometry, a² + b² = c² holds exactly. But Euclidean geometry is not the only geometry.

On a spherical surface — spherical geometry — the “straight lines” are great circles (like lines of longitude on Earth). Triangles on a sphere have angle sums greater than 180°. For a right spherical triangle, instead of Pythagoras:

$\cos c = \cos a \cdot \cos b$

In hyperbolic geometry (negative curvature):

$\cosh c = \cosh a \cdot \cosh b$

These geometries are no curiosities. Einstein’s general relativity describes spacetime as a curved manifold — the metric, the way distances are measured, is non-Euclidean. The Pythagorean theorem is the special case of flat, unbent spacetime.

Conclusion: More Than a School Formula

The Pythagorean theorem is the admission ticket to Euclidean geometry — and simultaneously the gate through which one exits it, as soon as one asks: what if space is not flat?

It triggered a discovery that shook the Pythagoreans’ worldview: irrational numbers. It generalizes to any number of dimensions and is the foundation of modern distance measures. It has provoked 370 proofs, from Euclid to a US president.

And strictly speaking, it was known before Pythagoras.

That does not make it smaller. It makes the history of mathematics larger: knowledge almost never arises in one place, through one person, in one moment. It arises everywhere at once, is forgotten, rediscovered, formalized, generalized — and in the end carries a name that never tells the whole story.

Related topics: Euclidean geometry, irrational numbers, trigonometry, non-Euclidean geometry

Frequently asked

Did Pythagoras really invent the Pythagorean theorem?

Almost certainly not. Babylonian cuneiform tablets from the 18th century BC — over 1,000 years before Pythagoras — show that the relationship between the sides of right triangles was already known. The famous tablet Plimpton 322 lists Pythagorean number triples in systematic form. Egyptian and Indian sources document the same knowledge independently. The formal proof — the deductive derivation from axioms — is traditionally attributed to Pythagoras or his school, but even that is historically uncertain.

What is a Pythagorean triple?

A Pythagorean triple consists of three whole numbers (a, b, c) satisfying a² + b² = c². The most familiar is (3, 4, 5): 9 + 16 = 25. Further examples are (5, 12, 13), (8, 15, 17), (7, 24, 25). There are infinitely many such triples. The general formula is: a = m² − n², b = 2mn, c = m² + n² for any natural numbers m > n.

Why does the Pythagorean theorem only hold for right triangles?

The theorem holds exactly for right triangles and is a direct consequence of Euclidean geometry. For acute triangles c² < a² + b², for obtuse triangles c² > a² + b² — this is the more general law of cosines. The right angle is the only angle for which the quadratic relationship holds exactly.

How many proofs are there for the Pythagorean theorem?

Over 370 different proofs are documented — more than for any other mathematical theorem. The book 'The Pythagorean Proposition' by Elisha Scott Loomis (1927) collects 370 of them alone. They range from geometric dissections and algebraic proofs to a proof by US President James A. Garfield from 1876.