Ein Axiom, das in den üblichen euklidischen Axiomensystemen dem Parallelenpostulat Euklids äquivalent ist: Durch einen gegebenen Punkt, der nicht auf einer gegebenen Geraden liegt, verläuft höchstens eine Gerade, die zur gegebenen Gerade parallel ist.

Prinzip

Playfairs Axiom betont die Eindeutigkeit einer Parallelen statt ausdrücklich die Existenz zu formulieren; innerhalb der Standardaxiome ist es mit Euklids Formulierung austauschbar und prägt Resultate, die von der Eindeutigkeit der Parallelen abhängen.

Demonstration

Gegeben eine Gerade ℓ und ein Punkt P außerhalb von ℓ, konstruiere die Gerade durch P, die mit einer Sekante gleiche Wechselwinkel bildet; die Eindeutigkeit folgt, da jede andere Kandidatin in Winkelsummen‑Widersprüche führt und damit nicht möglich ist.

Fehlanwendung

Die Playfair‑Formulierung isoliert in einem Axiomensystem ohne die übrigen euklidischen Axiome zu verwenden, kann irreführen: »höchstens eine« garantiert allein nicht die Existenz einer Parallelen, sodass man fälschlich Nicht‑Existenz annehmen könnte.

Konsequenz

In Kombination mit den üblichen euklidischen Axiomen stellt Playfairs Axiom die standardmäßigen Parallelen‑Eigenschaften sicher: eindeutige Parallelen, Winkelbeziehungen in Polygonen und die üblichen Kriterien für Ähnlichkeit und Kongruenz, die auf Parallelität beruhen.

Umkehrung

Ersetzt man »höchstens eine« durch »keine« oder »mehr als eine«, erhält man jeweils elliptische (keine Parallelen) oder hyperbolische (viele Parallelen) Geometrien; ersetzt man es durch »genau eine«, entspricht das Euklids expliziter Existenzformulierung.

Abgrenzung

Die Äquivalenz zum euklidischen Postulat hängt von den übrigen Axiomen ab; in abgeschwächten oder alternativen Axiomensystemen sind die Formulierungen mitunter nicht äquivalent, und in nicht‑flachen Mannigfaltigkeiten müssen Begriffe von Geraden und Parallelität angepasst werden.

Semantische Spannung

Die Spannung liegt zwischen Playfairs knapper Aussage (»höchstens eine«) und Euklids »genau eine«: Erstere fokussiert auf Eindeutigkeit, während letztere Existenz und Eindeutigkeit zusammenfasst — ein feiner Unterschied in minimalen Axiomen.

Synthese

Playfairs Axiom ist die auf Eindeutigkeit fokussierte Umformulierung des euklidischen Parallelenanspruchs; im Rahmen der üblichen Axiome liefert es dieselben geometrischen Konsequenzen und macht deutlich, dass Eindeutigkeit der zentrale Einschnitt ist.