Skip to content

Desargues's Theorem

A projective-incidence rule linking concurrence of corresponding triangle-vertex lines to collinearity of corresponding side intersections in a Desarguesian setting.

Version
v1 · 2026-10-03 · History
Domain-specific #
13135
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Projective Geometry → Mathematics
Aliases
Desargues Theorem

Core Idea

Desargues's theorem connects two perspectivity tests for nondegenerate, corresponding triangles. If \(ABC\) and \(A'B'C'\) have vertex-joining lines \(AA'\), \(BB'\) and \(CC'\) meeting at one admissible center, then the intersections of their corresponding side lines—\(AB\cap A'B'\), \(AC\cap A'C'\) and \(BC\cap B'C'\)—lie on one axis. In the real projective plane the reverse relation also holds by projective point–line duality. The forward relation holds in projective incidence spaces of dimension at least three and in division-ring coordinate planes, but not in every abstract projective plane.[ref-4a4fa2d7247e][ref-3ec528059cc3]

Scope of Application

This is a literal rule about projective points, lines and triangles, not metric similarity or an ordinary camera image. In the real projective plane it gives the planar center–axis equivalence. For noncoplanar triangles in projective three-space, the three matched side intersections all lie on the line where the two triangle planes meet. In an abstract projective plane, universal validity is an additional Desarguesian property linked to division-ring coordinatization; Robertson gives a refracted-line plane where the rule fails.[ref-4a4fa2d7247e][ref-3ec528059cc3]

Clarity

Perspective from a point means concurrence of corresponding vertex lines; perspective from a line means collinearity of corresponding side intersections. The theorem relates those distinct tests only under a qualified ambient geometry. Projective completion also supplies ideal meeting points when an affine drawing has parallel corresponding sides, so a missing visible crossing is not automatically a counterexample. The Fano plane's inability to contain Robertson's full ten-point configuration is not evidence that it is non-Desarguesian.[^ref-4a4fa2d7247e]

Manages Complexity

Instead of tracking all six vertices, six sides and their intersections separately, one checks correspondence, admissible central concurrency and the ambient theorem-validity condition. The result packages the three side intersections as one collinearity claim. Division-ring coordinates can make a particular case calculable, while a spatial plane-intersection proof shows why the axis appears; coordinates cannot be assumed in an abstract plane when coordinatizability is itself under examination.[ref-4a4fa2d7247e][ref-3ec528059cc3]

Abstract Reasoning

For noncoplanar triangles in a projective space of dimension at least three, let the two triangle planes be \(\Pi\) and \(\Pi'\). Under the central-perspectivity hypothesis, each pair of corresponding side lines meets at a point shared by both planes. Those three points therefore lie on \(\Pi\cap\Pi'\), a line. In the planar division-ring proof, coordinate representatives of the three intersections satisfy a linear dependence instead. The two proof routes identify the same incidence invariant but rely on different warrants; neither proves the rule for a non-Desarguesian plane.[ref-4a4fa2d7247e][ref-3ec528059cc3]

Knowledge Transfer

The role map—corresponding triangles, one center, three matched side intersections and one axis—transfers literally among eligible real, division-ring and higher-dimensional projective settings. It also becomes a plane-classification test: ask whether every eligible pair satisfies the rule. Outside projective geometry, the live primes Inference and Duality capture broad premise-to-conclusion and two-sided-correspondence ideas, but talk of “perspectives converging” does not instantiate Desargues's theorem without the exact projective incidence structure.[ref-4a4fa2d7247e][ref-3ec528059cc3]

[^ref-4a4fa2d7247e]: Donald Robertson, “Desargues' Theorem,” Ohio State University Department of Mathematics-hosted teaching paper, Theorems 1–4 and §§2–5, pp. 1–5. https://math.osu.edu/sites/math.osu.edu/files/DesarguesTheorem.pdf [^ref-3ec528059cc3]: Essential Concepts of Projective Geomtry (spelling as printed on the title page), course notes originated Purdue University in 1973, corrected 1978 and revised at the University of California, Riverside in 2007, Chapter IV §2, Theorem IV.5 and proof, printed pp. 71–73; Chapter IV §4, Theorem IV.17, printed p. 84. The accessible title page does not identify an author. https://math.ucr.edu/~res/progeom/pg-all.pdf

Neighborhood in Abstraction Space

Desargues's Theorem sits in a sparse region of the domain-specific corpus (63rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Graph Structures & Combinatorial Objects (44 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08