Ceva's theorem

Ceva's theorem
4C · CC BY-SA 3.0 · source
Name	Ceva's theorem
Field	Geometry
Introduced	17th century
Named after	Giovanni Ceva

Ceva's theorem is a classical result in Euclidean geometry concerning the concurrence of cevians in a triangle. It gives a necessary and sufficient multiplicative condition on ratios of directed segments for three lines from the vertices of a triangle to the opposite sides to meet at a single point. The theorem plays a central role in synthetic Euclidean geometry, has connections to projective geometry, and appears in problems associated with Pappus of Alexandria, Menelaus of Alexandria, and many later mathematicians.

Statement

In triangle ABC let lines from vertices A, B, C meet opposite sides BC, CA, AB at points D, E, F respectively. Ceva's theorem states that the three cevians AD, BE, CF are concurrent if and only if ( BD/DC )·( CE/EA )·( AF/FB ) = 1, with directed segment conventions. The result is attributed to Giovanni Ceva (1678) and is related to earlier work by Menelaus of Alexandria and problems found in the corpus associated with Euclid, Archimedes, and later developments by René Descartes and Blaise Pascal in analytic and projective contexts.

Proofs

Synthetic proofs use area ratios or similar triangles and invoke results familiar from Euclid's Elements and from Brahmagupta's and Ptolemy's classical approaches. A standard area-based proof compares ratios of areas of triangles ABD, ADC, BEC, and so on, employing the property that triangles with equal altitude have area proportional to their bases; such reasoning echoes methods used by Heron of Alexandria and later by Omar Khayyam. Analytic proofs place triangle ABC in the Cartesian coordinate system or use barycentric coordinates tied to Giovanni Ceva's original formulation, referencing constructions akin to those used by René Descartes and Augustin-Louis Cauchy. Projective proofs derive Ceva's relation from cross-ratio invariance and applications of Menelaus of Alexandria in dual form, paralleling techniques of Gaspard Monge and Jean-Victor Poncelet. Vector and complex-number proofs employ tools from the work of Carl Friedrich Gauss and Augustin-Louis Cauchy in the context of affine transformations and conformal maps.

Converse and corollaries

The converse of the theorem asserts that if the multiplicative relation holds for points D, E, F on the sides of triangle ABC, then AD, BE, CF concur. Corollaries include relations for cevians meeting at the centroid (medians), where each ratio equals 1/2, and for cevians through the incenter, circumcenter, and orthocenter giving special ratio patterns connected to classical centers cataloged by Leonhard Euler and compiled in the work of Émile Lemoine. Ceva's theorem underlies the trilinear and barycentric coordinate descriptions of triangle centers used by Joseph-Louis Lagrange and later systematic tabulations found in modern compilations by researchers at institutions such as the American Mathematical Society.

Applications and examples

Ceva's theorem is widely used in olympiad-style problems and classical constructions: verifying concurrency of medians (centroid), angle bisectors (incenter), and altitudes (orthocenter, via additional sign care). It aids proofs involving the Nine-point circle and relations with the Euler line and the Simson line in triangle geometry. In analytic geometry, Ceva's condition translates into linear relations in barycentric coordinates useful in computations performed using methods originating from Joseph-Louis Lagrange and Adrien-Marie Legendre. Examples appear in the work of Niels Henrik Abel and in problem collections by Georges Pólya and G.H. Hardy.

Generalizations and extensions

Generalizations include Routh's theorem, which relates areas determined by cevians and extends Ceva's multiplicative condition to area ratios; this connects to results by Edward Routh and to formulae studied by James Joseph Sylvester. Ceva-type criteria hold in projective planes over arbitrary fields, tying into the theory developed by Jean-Victor Poncelet, Arthur Cayley, and Felix Klein in the Erlangen program. There are directed and signed extensions applicable to oriented triangles and to configurations on the complex projective line, reflecting work by Bernhard Riemann and later algebraic geometers. Higher-dimensional analogues consider concurrency of hyperplane sections in simplices and have been studied using multilinear algebra related to contributions by Hermann Grassmann and David Hilbert.

Category:Euclidean geometry