The Diagonal Remembers Both Squares At Once The Baudhayana-Pythagoras Theorem

Baudhayana's Sulba-Sutra, an ancient Indian geometric text from around 800 BCE, poses a genuinely old question: how can a square be constructed with exactly double the area of a given square? Simply doubling the side length fails badly, producing 4 times the area rather than 2 -- but Baudhayana's own verse states the real answer directly: 'The diagonal of a square produces a square of double the area of the original square.' Cutting the diagonal-square apart reveals why: it decomposes into 4 triangles congruent to the 2 that make up half of the original square, giving exactly double the area, provably and exactly, not approximately.

Naming the equal sides of an isosceles right triangle 'a' and the hypotenuse 'c', comparing the two squares REST (built on the hypotenuse) and PEAR (built on one leg) shows Area(REST) is exactly double Area(PEAR) -- so if the leg has length 1, the hypotenuse c satisfies c squared = 2, meaning c equals the square root of 2. Bounding this value carefully (1 squared = 1 and 2 squared = 4, so root 2 sits between 1 and 2; refining further with decimal squares narrows it down to between 1.414 and 1.415) never lands on an exact terminating decimal, and a deeper argument, first given by Euclid around 300 BCE using the parity of prime factorisations, proves root 2 can never be written as a fraction of two whole numbers at all -- it is irrational, with a decimal expansion beginning 1.41421356... and never repeating or ending.

Extending the doubling idea to two squares of genuinely different sizes, Baudhayana's own verses give both the fact and the method: Verse 1.12 states that the square on the diagonal has an area equal to the sum of the squares on the two sides, while Verse 2.1 gives the actual construction recipe -- marking a rectangular portion of the larger square using the smaller square's own side, then using THAT rectangle's diagonal as the side of a new square whose area exactly equals the sum of the two original squares' areas. Carrying this through in full generality for a right triangle with legs a and b and hypotenuse c gives the complete, famous statement: a squared plus b squared equals c squared -- with Baudhayana recognised as the first person in history to state this in fully general, essentially modern form, centuries before Pythagoras (around 500 BCE) also studied and admired the same result, which is why the theorem is properly called the Baudhayana-Pythagoras theorem.

Baudhayana's own Sulba-Sutra (Verse 1.13) lists whole-number triples that satisfy the theorem exactly, with no irrational numbers involved at all: (3,4,5), (5,12,13), (8,15,17), (7,24,25), (12,35,37), and (15,36,39) -- now called Baudhayana triples (or Pythagorean triples). Scaling any triple by a whole number always produces another valid triple, and a genuinely elegant generating method comes from the fact that consecutive odd numbers, summed from 1, always total a perfect square: choosing any odd perfect square (like 9, the 5th odd number) gives the triple (4,3,5) directly, since 3 squared plus 4 squared equals 5 squared -- and this method, using only consecutive-integer legs, always produces a genuinely new, unscaled (primitive) triple, since two consecutive whole numbers can never share a common factor.

The study of these whole-number triples inspired the 17th-century French mathematician Fermat to wonder whether similar whole-number solutions could ever exist for higher powers (cubes, fourth powers, and beyond) -- he claimed to have found a proof that they never can, famously writing in a book's margin, 'I have found a truly marvellous proof of this statement, but the margin is too small to contain it,' a claim that stood unresolved for over 350 years. In 1963, a 10-year-old boy named Andrew Wiles read a book about this exact unsolved problem, and grew up to actually prove it himself, in 1994.

A classic problem from Bhaskaracharya's Lilavati describes a lotus flower whose stem tip pokes out exactly 1 unit above a lake's surface, until a gentle breeze sways it sideways so the tip touches the water 3 units from where it started -- and finding the lake's depth from just these two numbers uses exactly the same right-triangle relationship: with the stem assumed perpendicular to the water at first, the depth x and the total stem length (x+1) form a right triangle with the sideways distance 3, giving 3 squared plus x squared equals (x+1) squared, which simplifies cleanly to reveal the lake's depth is exactly 4 units.