Ein klassischer Satz der projektiven Geometrie: Gegeben seien zwei verschiedene Geraden und drei Punkte A,B,C auf der ersten sowie A',B',C' auf der zweiten Gerade. Die drei Schnittpunkte der Kreuzverbindungen (z. B. AB'∩A'B, AC'∩A'C, BC'∩B'C) sind kollinear. Der Satz gilt in projektiven Ebenen, die über einem kommutativen Körper koordinatisierbar sind (Pappussche Ebenen).

Prinzip

Inzidenzen, die durch Verbindungen von Punkten auf zwei Geraden entstehen, erzwingen neue Kollinearitäten, deren Existenz auf eine zugrundeliegende kommutative algebraische Struktur der Koordinaten hinweist; das kombinatorische Inzidenzmuster erzwingt Kollinearität unabhängig von metrischen Begriffen.

Demonstration

Wähle zwei verschiedene projektive Geraden ℓ und m mit A,B,C auf ℓ und A',B',C' auf m. Konstruiere die Schnittpunkte P = AB'∩A'B, Q = AC'∩A'C, R = BC'∩B'C und überprüfe, dass P,Q,R kollinear sind. In einem Koordinatenmodell über einem Körper lässt sich durch Aufschreiben der Koordinaten der sechs Punkte und Prüfung einer Determinantenbedingung die Kollinearität verifizieren.

Fehlanwendung

Die Anwendung von Pappus in einer projektiven Ebene, die nicht pappisch ist (also nicht über einem kommutativen Körper koordinatisierbar), oder die Wahl degenerierter Punkte, die die konstruierten Schnittpunkte zusammenfallen lassen, macht die Schlussfolgerung ungültig. Es als metrische statt als rein inzidente Aussage zu behandeln führt zu Verwirrung.

Konsequenz

Ist er gültig, liefert Pappus eine starke Inzidenzbedingung, die die Kommutativität des Koordinatenrings impliziert und viele klassische projektive Konstruktionen ermöglicht; er ist ein Diagnosekriterium für die algebraische Natur einer projektiven Ebene und liefert Kollinearitätsbeziehungen für Beweise und Konstruktionen.

Umkehrung

Die Negation von Pappus — Konfigurationen, in denen die drei konstruierten Punkte nicht kollinear sind — deutet auf eine nicht‑pappische Ebene und somit auf eine nichtkommutative Koordinatenalgebra hin; umgekehrt kann das Erzwingen der Kollinearität zur Ableitung von Kommutativitätsbedingungen genutzt werden.

Abgrenzung

Gilt in pappischen projektiven Ebenen (koordinatisierbar durch einen kommutativen Körper) und im reellen oder komplexen projektiven Raum; kann in nicht‑pappischen oder exotischen projektiven Ebenen versagen. Degenerierte Platzierungen (zusammenfallende Punkte, identische Geraden) müssen ausgeschlossen oder mittels projektivem Abschluss interpretiert werden.

Semantische Spannung

Spannung mit Desargues: beide sind projektive Inzidenzsätze, doch Pappus hat stärkere algebraische Konsequenzen (Pappus impliziert Kommutativität), sodass Desargues erfüllt sein kann, während Pappus fehlschlägt, was auf nichtkommutative Koordinaten hinweist.

Synthese

Der Satz von Pappus besagt eine spezifische Kollinearität, die durch kreuzweise Verbindungen von Punkten auf zwei Geraden in pappischen projektiven Ebenen entsteht; er fungiert als kombinatorische Inzidenzregel und als algebraisches Kriterium zur Erkennung der Kommutativität des zugrunde liegenden Koordinatenkörpers.