Axiom:Playfair's Axiom

From ProofWiki
Jump to navigation Jump to search

Axiom

Exactly one straight line can be drawn through any 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.


Comment

This is a frequently seen alternative presentation of Euclid's Fifth Postulate. It can easily seen to be equivalent to that given by Euclid, but it can be argued that it is easier to understand.


Source of Name

This entry was named for John Playfair.

However, he did not originate it, merely published it.

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


Sources