Playfair's axiom

<h2 id="history">History</h2>
<a href="/facts/Proclus/DRh6TKdX">Proclus</a> (410–485 A.D.) clearly makes the statement in his commentary on Euclid I.31 (Book I, Proposition 31).<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a>
In 1785 <a href="/facts/William_Ludlam/gDPMT9Wg">William Ludlam</a> expressed the parallel axiom as follows:<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a>

Two straight lines, meeting at a point, are not both parallel to a third line.
This brief expression of Euclidean parallelism was adopted by Playfair in his textbook Elements of Geometry (1795) that was republished often. He wrote<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>

Two straight lines which intersect one another cannot be both parallel to the same straight line.
Playfair acknowledged Ludlam and others for simplifying the Euclidean assertion. In later developments the point of intersection of the two lines came first, and the denial of two parallels became expressed as a unique parallel through the given point.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a>
In 1883 <a href="/facts/Arthur_Cayley/NBd7QkeE">Arthur Cayley</a> was president of the <a href="/facts/British_Association/q1DLURYh">British Association</a> and expressed this opinion in his address to the Association:<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a>

My own view is that Euclid's Twelfth Axiom in Playfair's form of it, does not need demonstration, but is part of our notion of space, of the physical space of our experience, which is the representation lying at the bottom of all external experience.
When <a href="/facts/David_Hilbert/1vhlHn4b">David Hilbert</a> wrote his book, <a href="/facts/Hilbert%2527s_axioms/JwdGVnQt">Foundations of Geometry</a> (1899),<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a> providing a new set of axioms for Euclidean geometry, he used Playfair's form of the axiom instead of the original Euclidean version for discussing parallel lines.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a>

<h2 id="relation-with-euclids-fifth-postulate">Relation with Euclid's fifth postulate</h2>

Euclid's parallel postulate states:

<blockquote>If a <a href="/facts/Line_segment/V8E0M4qk">line segment</a> intersects two straight <a href="/facts/Line_(mathematics)/gJqsr4Gj">lines</a> forming two interior angles on the same side that sum to less than two <a href="/facts/Right_angle/psaslRq7">right angles</a>, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a></blockquote>
The complexity of this statement when compared to Playfair's formulation is certainly a leading contribution to the popularity of quoting Playfair's axiom in discussions of the parallel postulate. 
Within the context of <a href="/facts/Absolute_geometry/ABKfjdn2">absolute geometry</a> the two statements are equivalent, meaning that each can be proved by assuming the other in the presence of the remaining axioms of the geometry. This is not to say that the statements are <a href="/facts/Logically_equivalent/ysCWmsxA">logically equivalent</a> (i.e., one can be proved from the other using only formal manipulations of logic), since, for example, when interpreted in the <a href="/facts/Spherical_geometry/WGLQb1Ys">spherical model</a> of <a href="/facts/Elliptical_geometry/oMnFAoVb">elliptical geometry</a> one statement is true and the other isn't.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a> Logically equivalent statements have the same truth value in all models in which they have interpretations.
The proofs below assume that all the axioms of absolute (neutral) geometry are valid.

<h3>Euclid's fifth postulate implies Playfair's axiom</h3>
The easiest way to show this is using the Euclidean theorem (equivalent to the fifth postulate) that states that the angles of a triangle sum to two right angles. Given a line 
 
 
 
 ℓ
 
 
 {\displaystyle \ell }
 
 and a point P not on that line, construct a line, t, perpendicular to the given one through the point P, and then a perpendicular to this perpendicular at the point P. This line is parallel because it cannot meet 
 
 
 
 ℓ
 
 
 {\displaystyle \ell }
 
 and form a triangle, which is stated in Book 1 Proposition 27 in <a href="/facts/Euclid%2527s_Elements/nPKvCIxs">Euclid's Elements</a>.<a class="footnote-ref" id="fnref:15" href="#fn:15">15</a> Now it can be seen that no other parallels exist. If n was a second line through P, then n makes an acute angle with t (since it is not the perpendicular) and the hypothesis of the fifth postulate holds, and so, n meets 
 
 
 
 ℓ
 
 
 {\displaystyle \ell }
 
.<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a>

<h3>Playfair's axiom implies Euclid's fifth postulate</h3>
Given that Playfair's postulate implies that only the perpendicular to the perpendicular is a parallel, the lines of the Euclid construction will have to cut each other in a point. It is also necessary to prove that they will do it in the side where the angles sum to less than two right angles, but this is more difficult.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a>

<h3>Importance of triangle congruence</h3>
The classical equivalence between Playfair's axiom and Euclid's fifth postulate collapses in the absence of triangle congruence.<a class="footnote-ref" id="fnref:18" href="#fn:18">18</a> This is shown by constructing a geometry that redefines angles in a way that respects Hilbert's axioms of incidence, order, and congruence, except for the Side-Angle-Side (SAS) congruence. This geometry models the classical Playfair's axiom but not Euclid's fifth postulate.

<h2 id="transitivity-of-parallelism">Transitivity of parallelism</h2>
Proposition 30 of Euclid reads, "Two lines, each parallel to a third line, are parallel to each other." It was noted<a class="footnote-ref" id="fnref:19" href="#fn:19">19</a> by <a href="/facts/Augustus_De_Morgan/6fQ1KTPb">Augustus De Morgan</a> that this proposition is <a href="/facts/Logically_equivalent/ysCWmsxA">logically equivalent</a> to Playfair’s axiom. This notice was recounted<a class="footnote-ref" id="fnref:20" href="#fn:20">20</a> by <a href="/facts/T._L._Heath/E9xE228u">T. L. Heath</a> in 1908. De Morgan’s argument runs as follows:
Let X be the set of pairs of distinct lines which meet and Y the set of distinct pairs of lines each of which is parallel to a single common line. If z represents a pair of distinct lines, then the statement,

For all z, if z is in X then z is not in Y,
is Playfair's axiom (in De Morgan's terms, No X is Y) and its logically equivalent <a href="/facts/Transposition_(logic)/lJaaRrxT">contrapositive</a>,

For all z, if z is in Y then z is not in X,
is Euclid I.30, the transitivity of parallelism (No Y is X).
More recently the implication has been phrased differently in terms of the <a href="/facts/Binary_relation/r9BwGgaK">binary relation</a> expressed by <a href="/facts/Parallel_lines/16r5yq7D">parallel lines</a>: In <a href="/facts/Affine_geometry/yUGgTx2n">affine geometry</a> the relation is taken to be an <a href="/facts/Equivalence_relation/1MQ5rtkW">equivalence relation</a>, which means that a line is considered to be <a href="/facts/Parallel_lines/16r5yq7D">parallel to itself</a>. Andy Liu<a class="footnote-ref" id="fnref:21" href="#fn:21">21</a> wrote, "Let P be a point not on line 2. Suppose both line 1 and line 3 pass through P and are parallel to line 2. By <a href="/facts/Transitive_relation/9r90y50r">transitivity</a>, they are parallel to each other, and hence cannot have exactly P in common. It follows that they are the same line, which is Playfair's axiom."

<h2 id="notes">Notes</h2>

<ul><li><a href="/facts/John_Playfair/2t52a16I">Playfair, John</a> (1846). <a href="https://archive.org/details/elementsgeometr05playgoog">Elements of Geometry</a>. W. E. Dean.</li>
<li>Eves, Howard (1963), A Survey of Geometry (Volume One), Boston: Allyn and Bacon</li>
<li>Greenberg, Marvin Jay (1974), Euclidean and Non-Euclidean Geometries/Development and History, San Francisco: W.H. Freeman, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-7167-0454-4</li>
<li><a href="/facts/T._L._Heath/E9xE228u">Heath, Thomas L.</a> (1956). <a href="https://archive.org/details/thirteenbooksofe00eucl">The Thirteen Books of Euclid's Elements</a> ([Facsimile. Original publication: <a href="/facts/Cambridge_University_Press/fgEBSSRq">Cambridge University Press</a>, 1908] 2nd ed.). New York: <a href="/facts/Dover_Publications/RwjvlSFv">Dover Publications</a>.</li></ul>
(3 vols.): <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-486-60088-2 (vol. 1), <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-486-60089-0 (vol. 2), <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-486-60090-4 (vol. 3).

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Playfair 1846, p. 29 - Playfair, John (1846). Elements of Geometry. W. E. Dean. <a href="https://archive.org/details/elementsgeometr05playgoog" target="_blank">https://archive.org/details/elementsgeometr05playgoog</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">more precisely, in the context of absolute geometry. <a href="/wiki/Absolute_geometry" target="_blank">/wiki/Absolute_geometry</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Euclid's elements, Book I, definition 23 <a href="http://aleph0.clarku.edu/~djoyce/java/elements/bookI/defI23.html" target="_blank">http://aleph0.clarku.edu/~djoyce/java/elements/bookI/defI23.html</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Heath 1956, Vol. 1, p. 190 - Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements ([Facsimile. Original publication: Cambridge University Press, 1908] 2nd ed.). New York: Dover Publications. <a href="https://archive.org/details/thirteenbooksofe00eucl" target="_blank">https://archive.org/details/thirteenbooksofe00eucl</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">for instance, Rafael Artzy (1965) Linear Geometry, page 202, Addison-Wesley <a href="/wiki/Rafael_Artzy" target="_blank">/wiki/Rafael_Artzy</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Heath 1956, Vol. 1, p. 220 - Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements ([Facsimile. Original publication: Cambridge University Press, 1908] 2nd ed.). New York: Dover Publications. <a href="https://archive.org/details/thirteenbooksofe00eucl" target="_blank">https://archive.org/details/thirteenbooksofe00eucl</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">William Ludlam (1785) The Rudiments of Mathematics, p. 145, Cambridge <a href="/wiki/William_Ludlam" target="_blank">/wiki/William_Ludlam</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Playfair 1846, p. 11 - Playfair, John (1846). Elements of Geometry. W. E. Dean. <a href="https://archive.org/details/elementsgeometr05playgoog" target="_blank">https://archive.org/details/elementsgeometr05playgoog</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Playfair 1846, p. 291 - Playfair, John (1846). Elements of Geometry. W. E. Dean. <a href="https://archive.org/details/elementsgeometr05playgoog" target="_blank">https://archive.org/details/elementsgeometr05playgoog</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">William Barrett Frankland (1910) Theories of Parallelism: A Historic Critique, page 31, Cambridge University Press <a href="/wiki/Cambridge_University_Press" target="_blank">/wiki/Cambridge_University_Press</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Hilbert, David (1990) [1971], Foundations of Geometry [Grundlagen der Geometrie], translated by Leo Unger from the 10th German edition (2nd English ed.), La Salle, IL: Open Court Publishing, ISBN 0-87548-164-7 <a href="0-87548-164-7" target="_blank">0-87548-164-7</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Eves 1963, pp. 385-7 - Eves, Howard (1963), A Survey of Geometry (Volume One), Boston: Allyn and Bacon <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">George Phillips (1826) Elements of Geometry (containing the first six books of Euclid), p. 3, Baldwin, Cradock, and Joy <a href="https://archive.org/details/elementsgeometr00philgoog" target="_blank">https://archive.org/details/elementsgeometr00philgoog</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Henderson, David W.; Taimiņa, Daina (2005), Experiencing Geometry: Euclidean and Non-Euclidean with History (3rd ed.), Upper Saddle River, NJ: Pearson Prentice Hall, p. 139, ISBN 0-13-143748-8 <a href="0-13-143748-8" target="_blank">0-13-143748-8</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">This argument assumes more than is needed to prove the result. There are proofs of the existence of parallels which do not assume an equivalent of the fifth postulate. <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Greenberg 1974, p. 107 - Greenberg, Marvin Jay (1974), Euclidean and Non-Euclidean Geometries/Development and History, San Francisco: W.H. Freeman, ISBN 0-7167-0454-4 <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">The proof may be found in Heath 1956, Vol. 1, p. 313 - Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements ([Facsimile. Original publication: Cambridge University Press, 1908] 2nd ed.). New York: Dover Publications. <a href="https://archive.org/details/thirteenbooksofe00eucl" target="_blank">https://archive.org/details/thirteenbooksofe00eucl</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Brown, Elizabeth T.; Castner, Emily; Davis, Stephen; O’Shea, Edwin; Seryozhenkov, Edouard; Vargas, A. J. (2019-08-01). "On the equivalence of Playfair's axiom to the parallel postulate". Journal of Geometry. 110 (2): 42. arXiv:1903.05233. doi:10.1007/s00022-019-0496-9. ISSN 1420-8997. <a href="https://doi.org/10.1007/s00022-019-0496-9" target="_blank">https://doi.org/10.1007/s00022-019-0496-9</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">Supplementary Remarks on the first six Books of Euclid's Elements in the Companion to the Almanac, 1849. <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">Heath 1956, Vol. 1, p. 314 - Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements ([Facsimile. Original publication: Cambridge University Press, 1908] 2nd ed.). New York: Dover Publications. <a href="https://archive.org/details/thirteenbooksofe00eucl" target="_blank">https://archive.org/details/thirteenbooksofe00eucl</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">The College Mathematics Journal 42(5):372 <a href="/wiki/The_College_Mathematics_Journal" target="_blank">/wiki/The_College_Mathematics_Journal</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
</ol>

Playfair's axiom open-in-new

Playfair's axiom