Playfair's axiom

In geometry, Playfair's axiom is an axiom that can be used instead of the fifth postulate of Euclid (the parallel postulate):

In a plane, given a line and a point not on it, at most one line parallel to the given line can be drawn through the point.

It is equivalent to Euclid's parallel postulate in the context of Euclidean geometry and was named after the Scottish mathematician John Playfair. The "at most" clause is all that is needed since it can be proved from the first four axioms and the further axiom—"two lines have at most one intersection point"—that at least one parallel line exists given a line L and a point P not on L, as follows:

1. Construct a perpendicular: Using the axioms and previously established theorems, you can construct a line perpendicular to line L that passes through P.
2. Construct another perpendicular: A second perpendicular line is drawn to the first one, starting from point P.
3. Parallel Line: This second perpendicular line will be parallel to L, since all interior angles are right angles, and there is in Euclid's Elements a proof, using the additional axiom, that L and the additional line do not intersect.

The statement is often written with the phrase, "there is one and only one parallel". In Euclid's Elements, two lines are said to be parallel if they never meet.

This axiom is used not only in Euclidean geometry but also in the broader affine geometry. In this geometry the parallel postulate cannot be stated since right angles are not defined and the concept of parallelism is central. In the affine geometry setting, the stronger form of Playfair's axiom (where "at most one" is replaced by "one and only one") is needed since the axioms of neutral geometry are not present to provide a proof of existence. Playfair's version of the axiom has become so popular that it is often referred to as Euclid's parallel axiom, even though it was not Euclid's version of the axiom.