Playfair's axiom says that given a straight line $a$ and a point not on this line, there's a unique line passing through that point which is parallel to $a$.

Suppose Playfair is not right, then

(i) either all lines passing through that point are not parallel to $a$

or

(ii) there are at least two which are parallel to $a$.

If (i) was right then there is a pair of straight lines such that their interior angles add up to two right angles and they'll meet.

If (ii) was right then there is a pair of straight lines such that their interior angles don't add up to two right angles and they won't meet.

If (i) holds the proposition of Euclid's 5th is false, resulting in the implication $$ \neg( \angle_i (a,c) + \angle_i (b,c) < \pi \rightarrow a,b \: \nparallel ) \leftrightarrow \underbrace{ \underbrace{\angle_i (a,c) + \angle_i (b,c) < \pi}_{\text{false}} \rightarrow \underbrace{\neg(a,b \: \nparallel)}_{\text{false}} }_{\text{true}} $$ to be true.

If (ii) holds the proposition of Euclid's 5th is true, resulting in the implication $$ \angle_i (a,c) + \angle_i (b,c) < \pi \rightarrow \neg(a,b \: \nparallel) $$ to be true.

Hence, in every case the negation of Playfair's axiom is true the negation of Euclid's 5th is true. $\Box$

2014 DEC 27 (v1.0)

Contact me: m.herrmann followed by an -at- followed by blaetterundsterne.org.

This document created with the help of MathJax (Thank you guys!)