Pythagorean theorem

Pythagorean theorem
en:User:Wapcaplet · CC BY-SA 3.0 · source
Name	Pythagorean theorem
Caption	Right triangle with sides a, b, c
Field	Mathematics
Discoverer	Ancient mathematicians
Year	Antiquity

Pythagorean theorem The theorem relates the side lengths of a right triangle, asserting that the square of the hypotenuse equals the sum of the squares of the other two sides. It is a central result in Euclidean geometry, with ramifications across Ancient Greece, Babylon, India, China, and later developments in Islamic Golden Age and Renaissance mathematics. The theorem underpins work by figures such as Pythagoras, Euclid, Thales of Miletus, Bhaskara II, and Al-Khwarizmi and influenced modern authors including Isaac Newton, Carl Friedrich Gauss, Bernhard Riemann, and David Hilbert.

Statement and formulation

In a right-angled triangle with legs commonly denoted a and b and hypotenuse c, the relation c^2 = a^2 + b^2 holds. This algebraic equality appears in formulations by Euclid in Elements as Proposition 47 of Book I, and later in coordinate form in analytic work by René Descartes and Pierre de Fermat. The statement integrates with the metric structure of Euclidean space, links to distance formulas attributed to Descartes and Isaac Newton in classical mechanics, and is used in proofs in texts by Proclus, Omar Khayyam, and Bhāskara I.

History and origins

Evidence of the relation appears in Plimpton 322 from Old Babylonian mathematics and in the Shulba Sutras of Vedic India, where geometric constructions are given under ritual contexts associated with Yajurveda. Greek sources attribute a school tradition to Pythagoras and the Pythagoreanism community in Croton, while Hellenistic exposition appears in Euclid's Elements and commentaries by Proclus. Islamic mathematicians such as Al-Battani and Thabit ibn Qurra transmitted and extended results during the Abbasid Caliphate, preserved in libraries like the House of Wisdom in Baghdad. Chinese texts like the Zhoubi Suanjing contain formulations related to the same numerical triples discussed by Liu Hui. Medieval European scholars including Gerard of Cremona and Fibonacci reintroduced classical treatments from Arabic translations, influencing the Renaissance revival of classical geometry.

Proofs and methods

Numerous proofs exist, ranging from Euclid's geometric demonstration in Elements to algebraic proofs by Bhaskara II and visual dissection proofs attributed in later traditions. Proof techniques include congruence arguments found in Euclid and rearrangement methods associated with Bhaskara II and later popularized by commentators such as Omar Khayyam. Analytic proofs use coordinates in the style of Descartes or rely on vector approaches developed by Josiah Willard Gibbs and Oliver Heaviside in applied contexts. Algebraic number theory treatments connect the theorem to primitive triples analyzed by Pierre de Fermat and later classified using methods from Carl Friedrich Gauss and Adrien-Marie Legendre. Modern linear algebra offers proofs via dot product and orthogonality concepts formalized by David Hilbert and John von Neumann.

Generalizations and extensions

The relation extends to higher-dimensional Euclidean norms as the distance formula in n-dimensional Euclidean space, and to inner product spaces in the Riesz representation theorem and Hilbert space theory developed by Frigyes Riesz and Stefan Banach. Non-Euclidean analogues appear in Riemannian geometry and Lobachevskian geometry studied by Bernhard Riemann and Nikolai Lobachevsky, where curvature modifies the quadratic relation. Algebraic generalizations include the law of cosines found in works by Rene Descartes and classical treatises, and the study of Diophantine equations leading to results by Pierre de Fermat and Sophie Germain toward Fermat's Last Theorem later proved by Andrew Wiles. Extensions to quadratic forms and bilinear forms are central in the work of Emmy Noether and Carl Gustav Jacobi, and to spectral theory developed by David Hilbert and John von Neumann.

Applications and consequences

The theorem underlies surveying and navigation techniques used by explorers such as Ferdinand Magellan and cartographers working under Gerardus Mercator, and it supports architectural practices documented in constructions by Imhotep and later in Renaissance architecture by Filippo Brunelleschi. In physics it appears in mechanics and relativity: classical mechanics by Isaac Newton uses Euclidean distances, while Albert Einstein reformulated spacetime intervals in Special relativity contrasting with Euclidean metric notions. Engineering disciplines from civil engineering projects by firms like Siemens to modern computer graphics pioneered by researchers at Bell Laboratories and institutions such as Massachusetts Institute of Technology rely on the theorem for coordinate calculations. In number theory and cryptography, primitive Pythagorean triples informed algorithmic work by Alan Turing and modern public-key systems motivated research at RSA Laboratories and within standards bodies like the Internet Engineering Task Force.

Category:Mathematics