Ein fundamentales Axiom der euklidischen Geometrie, das besagt: Gegeben eine Gerade und einen Punkt, der nicht auf ihr liegt, existiert genau eine Gerade durch den Punkt, die die gegebene Gerade nicht schneidet (d. h. parallel zu ihr ist).

Prinzip

Das Postulat legt die globale Struktur der ebenen Geometrie fest, indem es eine Existenz‑ und Eindeutigkeitsbedingung für Parallelen vorgibt; es unterscheidet die euklidische von nicht‑euklidischen Geometrien.

Demonstration

In der euklidischen Ebene lässt sich die eindeutige Parallele durch Konstruktion mit Lotlinien bestimmen; daraus folgen, dass Innenwinkel auf derselben Seite einer Transversalen 180° ergeben und dass die Winkelsumme im Dreieck 180° ist.

Fehlanwendung

Die Aussage als optional zu behandeln oder »genau eine« durch »höchstens eine« oder »mindestens eine« zu ersetzen, ohne das zugrundeliegende Axiomensystem zu berücksichtigen, führt zu falschen Folgerungen über Winkelsummen oder Ähnlichkeit.

Konsequenz

Die Annahme des Postulats liefert die klassischen euklidischen Resultate: Kriterien für Parallelität, Aussagen über Winkelsummen, Ähnlichkeitskriterien und ein flaches, null‑kurvatures Modell der Ebene.

Umkehrung

Seine Verneinung führt zu alternativen Geometrien: hyperbolische Geometrie (es gibt viele verschiedene Parallelen durch einen äußeren Punkt) und elliptische Geometrie (es gibt keine Parallelen), mit abweichenden Winkel‑ und Abstandsgesetzen.

Abgrenzung

Das Postulat bezieht sich auf die euklidische Ebene im Rahmen der üblichen Axiome; es gilt nicht auf sphärischen Flächen oder in Modellen, in denen Geraden Geodäten mit globaler Krümmung sind, ohne Anpassung.

Semantische Spannung

Die Spannung entsteht durch äquivalente Formulierungen (Playfairs Axiom) und durch die Intuition von »Parallelität« in gekrümmten Räumen; die Feinheit liegt im Unterschied zwischen Existenz‑ und Eindeutigkeitsaussage im jeweiligen Axiomensystem.

Synthese

Euklids Parallelenpostulat liefert Existenz und Eindeutigkeit einer Parallele durch einen äußeren Punkt; es ist das Scharnier, das die klassischen planaren Metrik‑ und Ähnlichkeitsresultate erzeugt, und dessen Verneinung nicht‑euklidische Geometrien hervorruft.