Desargues' theorem

Desargues' theorem
Jujutacular · CC BY-SA 3.0 · source
Name	Desargues' theorem
Field	Projective geometry
Statement	A theorem relating perspective triangles and collinearity of intersections
First proved	17th century
Named after	Girard Desargues

Desargues' theorem is a result in projective geometry that relates two triangles in perspective from a point to the collinearity of the intersections of corresponding sides, and conversely under appropriate hypotheses. It sits at the intersection of developments in Euclidean geometry, projective geometry, and perspective (graphical projection), and has influenced work by figures associated with analytic geometry, synthetic geometry, and algebraic geometry.

Statement

Desargues' theorem asserts that if two triangles are perspective from a point, then the three intersection points of corresponding sides are collinear. The converse—if the three intersection points of corresponding sides are collinear then the triangles are perspective from a point—holds in a projective plane that arises from a three-dimensional projective space. This statement links configurations studied by Girard Desargues and later formalized by contributors to projective space theory such as Jean-Victor Poncelet, Felix Klein, and David Hilbert.

Proofs

Classic synthetic proofs trace to methods used by Girard Desargues and were refined by Jean-Victor Poncelet and Gaspard Monge, invoking perspectivity and properties of complete quadrilaterals familiar to Blaise Pascal and Girard Desargues. Analytic proofs place the configuration in a coordinate system over a division ring or a field, using determinants and linear algebra as in works by René Descartes and August Ferdinand Möbius, and modern expositions often employ matrices and rank arguments aligned with Élie Cartan-style linear methods. A projective space proof embeds two triangles in a three-dimensional projective space and applies plane intersection reasoning found in texts by H. S. M. Coxeter and Oscar Zariski.

Projective and Affine Context

In a projective plane derived from a three-dimensional projective space, the theorem follows from elementary incidence properties of planes and lines; practitioners link this to concepts advanced by Bernhard Riemann, Felix Klein, and Hermann Weyl. In affine planes that lack the necessary projective completion the converse can fail; this phenomenon motivated axiomatic treatments by David Hilbert and the development of non-Desarguesian planes studied by Marshall Hall Jr. and B. L. van der Waerden. Coordinate models over division rings versus commutative fields highlight algebraic distinctions explored by Emil Artin and Oscar Zariski, while categorical approaches connect to perspectives in the work of Alexander Grothendieck on schemes and morphisms.

Applications and Consequences

Desargues' theorem underpins many classical results in projective geometry and serves as a tool in the study of perspectivity used by Jean-Victor Poncelet in projective transformations and by Blaise Pascal in conic theorems. It informs the theory of homographies utilized in Arthur Cayley and James Joseph Sylvester developments and plays a role in modern treatments of duality influenced by Pierre-Simon Laplace and Augustin-Louis Cauchy. Consequences include criteria for coordinatizing projective planes, links to properties of collineations investigated by Évariste Galois and Felix Klein, and applications in graphical perspective relevant to practitioners following traditions from Albrecht Dürer to Paul Cézanne.

Generalizations and Related Results

Generalizations extend Desargues-type collinearity to higher-dimensional analogues and configurations studied by Giuseppe Peano and Hermann Grassmann, while related incidence theorems include Pappus's hexagon theorem and Brianchon's theorem, which together with Desargues' theorem form structural pillars in classical projective geometry as developed by Jean-Victor Poncelet and later systematized by H. S. M. Coxeter. Extensions to algebraic curves and surfaces connect with work by Isaac Newton on conics and with Alexander Grothendieck-inspired approaches to moduli and deformation. Non-Desarguesian planes discovered and classified by R. H. Bruck and B. J. Day illustrate limitations and motivate alternative axioms as in the research of Marshall Hall Jr..

Historical Background and Attribution

The theorem is attributed to Girard Desargues, whose 17th-century writings inaugurated systematic use of perspective; subsequent rediscovery and advocacy occurred in the 19th century by Jean-Victor Poncelet and Gaspard Monge. Its axiomatic status and role in distinguishing classical projective planes were clarified by David Hilbert and examined in the algebraic context by Emil Artin and Oscar Zariski. Later investigations into non-Desarguesian planes and incidence geometry were pursued by Marshall Hall Jr., R. H. Bruck, and B. L. van der Waerden, embedding the theorem within the broader history of projective geometry and its foundational debates among figures such as Felix Klein and Hermann Weyl.

Category:Projective geometry