Definition
Ein grundlegender Satz der projektiven Geometrie: Zwei Dreiecke sind perspektivisch von einem Punkt (die Verbindungsgeraden entsprechender Eckpunkte schneiden sich in einem Punkt) genau dann, wenn sie perspektivisch von einer Geraden sind (die drei Schnittpunkte entsprechender Seiten sind kollinear), vorausgesetzt die üblichen Inzidenzaxiome eines projektiven Ebenenmodells gelten.
Prinzip
Prinzip
Inzidenzverhältnisse in der Projektiven Geometrie folgen einer Dualität: Punktperspektivität und Geradenperspektivität sind äquivalent unter projektiver Projektion, was ein zugrundeliegendes dreidimensionales Einbettungs‑ oder Koordinatisierungsbild über einem Divisionsring in Desarguesschen Ebenen widerspiegelt.
Demonstration
Demonstration
Platziere zwei Dreiecke im dreidimensionalen Raum mit entsprechenden Eckpunkten auf drei konkurrenten Geraden durch einen Punkt; projiziere sie in eine Ebene, um zwei ebene Dreiecke zu erhalten, die von einem Punkt aus perspektivisch sind. Bestimme die Schnittpunkte entsprechender Seiten und prüfe deren Kollinearität als Illustration. Umgekehrt lässt sich bei Kollinearität der Schnittpunkte in einer Desarguesschen Ebene ein Perspektivitätszentrum mittels Hebung in den 3D‑Raum konstruieren.
Fehlanwendung
Fehlanwendung
Desargues' Schlussfolgerung in einer beliebigen Inzidenzstruktur anzunehmen ist falsch; der Satz kann in nicht‑Desarguesschen projektiven Ebenen versagen, daher ist die Verwendung ohne Prüfung der Koordinatisierbarkeit nicht gerechtfertigt. Auch degenerate Fälle (konkurrierende oder parallele Seiten, zusammenfallende Schnittpunkte) erfordern Vorsicht.
Konsequenz
Konsequenz
Ist der Satz gültig, so verbindet er ebene Konfigurationen mit einer dreidimensionalen projektiven Sichtweise und rechtfertigt viele projektive Konstruktionen und Koordinatenargumente; er dient als Test, ob eine projektive Ebene durch einen Divisionsring koordiniert werden kann (Desarguessch).
Umkehrung
Umkehrung
Die Umkehrung vertauscht die Rollen von 'perspektivisch von einem Punkt' und 'perspektivisch von einer Geraden'; die logische Äquivalenz des Satzes bildet eine Brücke zwischen punkt‑ und geradenbezogener Inzidenz. Das Negieren führt zu nicht‑Desarguesschen Geometrien, in denen diese Äquivalenz fehlt und alternative Inzidenzstrukturen auftreten.
Abgrenzung
Abgrenzung
Gilt in allen Desarguesschen projektiven Ebenen (aus einem 3D‑Vektorraum über einem Divisionsring gebildet) und in den darauf basierenden euklidischen/projectiven Modellen. In exotischen projektiven Ebenen muss der Satz nicht gelten; Degenerationen (zusammenfallende Eckpunkte, parallele Seiten als Schnitt in Unendlichkeit) verlangen projektive Abschlussbehandlung und sorgfältige Handhabung von Punkten im Unendlichen.
Semantische Spannung
Semantische Spannung
Spannung besteht zwischen Desargues und einfachen euklidischen Intuitionen: viele euklidische Beweise nutzen stillschweigend 3D‑Hebungen, die in beliebigen projektiven Ebenen nicht erlaubt sind. Außerdem steht Desargues in Beziehung zu Pappus: Pappus ist stärker (impliziert Kommutativität der Koordinaten), sodass Desargues ohne Pappus die algebraische Struktur des Koordinatenrings charakterisiert.
Synthese
Synthese
Desargues' Satz stellt die Äquivalenz von Punkt‑ und Geradenperspektivität zweier Dreiecke in Desarguesschen projektiven Ebenen fest und verbindet damit planerische Inzidenzen mit dreidimensionaler/projectiver Koordinatisierbarkeit, wodurch er die Grenze zwischen klassischen und exotischen projektiven Geometrien markiert.