## [Playfairs Axiom](/de/node/61843) Definition 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 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 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 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 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 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 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 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 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.