Satz von Pappos

Der Satz von Pappos (Pappus), gelegentlich auch Satz von Pappos-Pascal genannt, ist ein zentraler Satz in der affinen und projektiven Geometrie.^[1] Er tauchte erstmals als Proposition 139 im VII. Buch der Mathematischen Sammlungen des antiken griechischen Mathematikers Pappos von Alexandria auf.^[2] Blaise Pascal fand im 17. Jahrhundert eine Verallgemeinerung des Satzes, den nach ihm benannten Satz von Pascal, bei dem die sechs Grundpunkte des Satzes auf einem Kegelschnitt liegen.

Liegen sechs Punkte ${\displaystyle P_{1},P_{2},P_{3},P_{4},P_{5},P_{6}}$ einer projektiven Ebene abwechselnd auf zwei Geraden ${\displaystyle g}$ und ${\displaystyle h}$, so sind die Punkte

kollinear, d. h., sie liegen auf einer Geraden ${\displaystyle u}$ (siehe Bild).

Sind die beiden Geraden ${\displaystyle g}$ und ${\displaystyle h}$ durch die Sechseckpunkte und die Gerade ${\displaystyle u}$ kopunktal, so spricht man auch vom kleinen Satz von Pappos.

Da sich zwei Geraden in einer affinen Ebene nicht unbedingt schneiden, wird der Satz zusätzlich noch in einer spezielleren affinen Form formuliert:

Liegen sechs Punkte ${\displaystyle P_{1},P_{2},P_{3},P_{4},P_{5},P_{6}}$ einer affinen Ebene abwechselnd auf zwei Geraden ${\displaystyle g}$ und ${\displaystyle h}$ und sind sowohl das

Satz von Pappos: projektive Form

Satz von Pappos: affine Form

Satz von Pappos: Beweis