Al-Khwarizmi's Completing-the-Square Construction
Statement
For and , the positive solution of is .
Why is it true?
Al-Khwarizmi (Baghdad, c. 820, in his book Al-Jabr wal-Muqabala — the origin of the word 'algebra') had no negative numbers or symbolic notation, so he solved quadratics by literally drawing squares and rectangles and physically completing a bigger square, a picture that makes the otherwise mysterious formula obvious.
Proof sketch
Draw a square of side ; its area is , the first term of . Attach to two adjacent sides of this square two thin rectangles, each of width and length , so their combined area is , the second term. The resulting L-shaped figure (a "gnomon") has area .
This gnomon is a big square of side with one small corner square missing. To see this, notice the two rectangles plus the original square leave exactly a gap at the outer corner where they meet. Fill that gap in: the whole figure — gnomon plus corner square — is now a genuine square of side , whose area is therefore (the gnomon's area plus the corner square's area , added exactly once).
So . Taking the positive square root of both sides (side lengths are positive) gives , and isolating yields .
Algebraic check: expanding term by term reduces, after the cross terms cancel, exactly to — confirming the formula independently of the picture. Numerically, for (so ): , and indeed .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Victor J. Katz (2009). A History of Mathematics: An Introduction
- Oliver Knill (2012). A Multivariable Chinese Remainder Theorem · arXiv:1206.5114