Law of Cosines

Law of Cosines
David Weisman (Dweisman) · Public domain · source
Name	Law of Cosines
Field	Geometry
Introduced	Antiquity

Law of Cosines The Law of Cosines relates the lengths of sides of a triangle to the cosine of one of its angles, providing a bridge between metric measurements and angular measures in Euclidean geometry. It generalizes the Pythagorean theorem and appears in problems across navigation, surveying, astronomy, and engineering. Its utility spans contexts from solving triangles in trigonometry to computations in computational geometry and physics.

Statement

For a triangle with side lengths a, b, c opposite angles A, B, C respectively, the Law of Cosines states that a^2 = b^2 + c^2 − 2bc cos A, with analogous formulas obtained by cyclic permutation for b^2 and c^2. This identity reduces to the Pythagorean relation when angle A is a right angle, linking it to the work of Euclid, Pythagoras, Archimedes, Apollonius of Perga, and developments in Ancient Greece and Hellenistic period mathematics. The formula is fundamental in solving oblique triangles encountered in applications by Hipparchus, Claudius Ptolemy, Al-Battani, Omar Khayyam, and later by Isaac Newton and Leonhard Euler.

Derivations

Classical derivations employ coordinate methods: place vertices on a Cartesian plane tied to René Descartes' analytic geometry or use vector methods from Joseph-Louis Lagrange's analytic framework to derive a^2 = b^2 + c^2 − 2bc cos A. Geometric proofs trace to chord theorems used by Ptolemy in his work on cyclic quadrilaterals and to the circle geometry of Euclid's Elements; such proofs can be framed using the law of cosines in terms of circle chords studied by Hipparchus and later by Nicomachus. Trigonometric derivations rely on the cosine addition formula developed in the tradition leading to Johann Lambert and Leonhard Euler's trigonometric identities, while linear algebra approaches use inner product properties introduced by David Hilbert and Bernhard Riemann in the study of Euclidean spaces. Modern proofs also arise in the context of spherical trigonometry from works of Delambre and Napier and are connected to matrix representations employed in Carl Friedrich Gauss's geodesy.

Applications

The Law of Cosines is used to solve triangle side and angle problems in surveying by practitioners linked to projects like Great Trigonometrical Survey of India and techniques used by George Everest and William Lambton. In navigation it informs routines in celestial navigation associated with James Cook and Matthew Flinders, and it underpins distance fixes in the tradition of Adrien-Marie Legendre and Ferdinand von Mueller's mapping. In astronomy it appears in orbit computations tied to Kepler's laws and perturbation analyses by Pierre-Simon Laplace and Johannes Kepler. Engineering applications include structural analysis in the lineage of Isambard Kingdom Brunel's bridges, stress calculations used by Gustave Eiffel, and kinematic computations in robotics influenced by work at institutions such as Massachusetts Institute of Technology and CERN. In computer graphics and computational geometry, algorithms from researchers at Stanford University, Princeton University, and Bell Labs use the formula for collision detection, mesh processing, and illumination models.

Generalizations

Generalizations extend to non-Euclidean geometries: spherical and hyperbolic analogues appear in the work of Nikolai Lobachevsky, János Bolyai, and Bernhard Riemann, leading to spherical law of cosines formulas used in navigation by Ferdinand Magellan-era explorers and in modern geodesy by Johann Heinrich Lambert. Matrix- and inner-product-based generalizations relate to bilinear forms studied by Évariste Galois and Augustin-Louis Cauchy, while multivariate and higher-dimensional analogues connect to simplex geometry in the work of Cayley and Möbius. In differential geometry and general relativity, curvature-corrected cosine relations emerge in analyses by Albert Einstein and David Hilbert when comparing geodesic triangles on curved manifolds; these generalizations influence modern navigation systems such as Global Positioning System developed with contributions from Roger L. Easton and Bradford Parkinson.

Historical background

The relation underlying the Law of Cosines has antecedents in ancient chord tables and trigonometric investigations by Hipparchus and Ptolemy in Alexandria, and it was articulated in algebraic form by mathematicians in India such as Aryabhata and Brahmagupta within the traditions of the Kerala school and Brahmagupta's Brāhmasphuṭasiddhānta. Islamic mathematicians including Al-Biruni and Omar Khayyam transmitted and extended these ideas into medieval Baghdad and Córdoba centers of learning, influencing Renaissance revivals by scholars tied to University of Padua, University of Paris, and Cambridge University. The synthesis into analytic and vectorial formulations emerged during the Scientific Revolution through figures like Descartes, Newton, and Euler, and the name and modern presentations solidified in 18th–19th century texts associated with Adrien-Marie Legendre, Jean le Rond d'Alembert, and Carl Friedrich Gauss.

Category:Trigonometry