Axiom:Playfair's Axiom

From ProofWiki
Jump to navigation Jump to search

Axiom

Exactly one straight line can be drawn through an arbitrary point not on a given line parallel to the given straight line in a plane.

Or:

Given any straight line and a point not on it, there exists one and only one line which passes through this point and does not intersect the first line no matter how far they are extended.
This unique line is defined as being parallel to the original line in question.

Or:

Two straight lines which intersect one another cannot both be parallel to one and the same straight line.


Also known as

Playfair's Axiom is often referred to as Euclid's fifth postulate.

However, it bears noting that while they are equivalent, these two formulations differ in structure.


Source of Name

This entry was named for John Playfair.


Historical Note

Playfair's axiom was not actually originated by John Playfair. He merely published it.

However, when he did so, he credited others, specifically William Ludlam, for having used it earlier.


It is a frequently seen alternative presentation of Euclid's Fifth Postulate.

It can easily seen to be equivalent to that given by Euclid, and it can be argued that it is easier to understand.


Texts on analytic geometry often gloss over its intrinsic significance, merely deducing it from the general equation of a straight line and the point of intersection of two such.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Axiom:Playfair%27s_Axiom&oldid=710580"