Pappussatz

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).