GetWiki
Parallel postulate
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Parallel postulate
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
thumb|right|350px|If the sum of the interior angles Î± and Î² is less than 180Â°, the two straight lines, produced indefinitely, meet on that side.In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's Elements, is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry:If a line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.This postulate does not specifically talk about parallel lines;weblink" title="web.archive.org/web/20170202075326weblink">non-Euclidean geometries, by Dr. Katrina Piatek-Jimenez it is only a postulate related to parallelism. Euclid gave the definition of parallel lines in Book I, Definition 23Euclid's Elements, Book I, Definition 23 just before the five postulates.Euclid's Elements, Book IEuclidean geometry is the study of geometry that satisfies all of Euclid's axioms, including the parallel postulate. A geometry where the parallel postulate does not hold is known as a non-Euclidean geometry. Geometry that is independent of Euclid's fifth postulate (i.e., only assumes the modern equivalent of the first four postulates) is known as absolute geometry (or, in other places known as neutral geometry).- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
Equivalent properties
Probably the best known equivalent of Euclid's parallel postulate, contingent on his other postulates, is Playfair's axiom, named after the Scottish mathematician John Playfair, which states: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.Euclid's Parallel Postulate and Playfair's AxiomThis axiom by itself is not logically equivalent to the Euclidean parallel postulate since there are geometries in which one is true and the other is not. However, in the presence of the remaining axioms which give Euclidean geometry, each of these can be used to prove the other, so they are equivalent in the context of absolute geometry.{{harvnb|Henderson|TaimiÅ†a|2005|loc=pg. 139}}Many other statements equivalent to the parallel postulate have been suggested, some of them appearing at first to be unrelated to parallelism, and some seeming so self-evident that they were unconsciously assumed by people who claimed to have proven the parallel postulate from Euclid's other postulates. These equivalent statements include:- There is at most one line that can be drawn parallel to another given one through an external point. (Playfair's axiom)
- The sum of the angles in every triangle is 180Â° (triangle postulate).
- There exists a triangle whose angles add up to 180Â°.
- The sum of the angles is the same for every triangle.
- There exists a pair of similar, but not congruent, triangles.
- Every triangle can be circumscribed.
- If three angles of a quadrilateral are right angles, then the fourth angle is also a right angle.
- There exists a quadrilateral in which all angles are right angles, that is, a rectangle.
- There exists a pair of straight lines that are at constant distance from each other.
- Two lines that are parallel to the same line are also parallel to each other.
- In a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the other two sides (Pythagoras' Theorem).{{Citation
| title = CRC concise encyclopedia of mathematics
| author = Eric W. Weisstein
| url =weblink
| page = 2147
| quote = The parallel postulate is equivalent to the Equidistance postulate, Playfair axiom, Proclus axiom, the Triangle postulate and the Pythagorean theorem.
| edition = 2nd
| isbn = 1-58488-347-2
| year = 2003
}}{{Citation
| author = Eric W. Weisstein
| url =weblink
| page = 2147
| quote = The parallel postulate is equivalent to the Equidistance postulate, Playfair axiom, Proclus axiom, the Triangle postulate and the Pythagorean theorem.
| edition = 2nd
| isbn = 1-58488-347-2
| year = 2003
| title = The principle of sufficient reason: a reassessment
| author = Alexander R. Pruss
| quote = We could include...the parallel postulate and derive the Pythagorean theorem. Or we could instead make the Pythagorean theorem among the other axioms and derive the parallel postulate.
| isbn = 0-521-85959-X
| year = 2006
| publisher = Cambridge University Press
| page = 11
| url =weblink
}} | author = Alexander R. Pruss
| quote = We could include...the parallel postulate and derive the Pythagorean theorem. Or we could instead make the Pythagorean theorem among the other axioms and derive the parallel postulate.
| isbn = 0-521-85959-X
| year = 2006
| publisher = Cambridge University Press
| page = 11
| url =weblink
- The Law of cosines, a general case of Pythagoras' Theorem.
- There is no upper limit to the area of a triangle. (Wallis axiom)WEB
,weblink
, Euclid's Fifth Postulate
, 30 September 2011
, Alexander Bogomolny, Bogomolny, Alexander
, Cut The Knot
, , Euclid's Fifth Postulate
, 30 September 2011
, Alexander Bogomolny, Bogomolny, Alexander
, Cut The Knot
- The summit angles of the Saccheri quadrilateral are 90Â°.
- If a line intersects one of two parallel lines, both of which are coplanar with the original line, then it also intersects the other. (Proclus' axiom)WEB
, However, the alternatives which employ the word "parallel" cease appearing so simple when one is obliged to explain which of the four common definitions of "parallel" is meant â€“ constant separation, never meeting, same angles where crossed by some third line, or same angles where crossed by any third line â€“ since the equivalence of these four is itself one of the unconsciously obvious assumptions equivalent to Euclid's fifth postulate. In the list above, it is always taken to refer to non-intersecting lines. For example, if the word "parallel" in Playfair's axiom is taken to mean 'constant separation' or 'same angles where crossed by any third line', then it is no longer equivalent to Euclid's fifth postulate, and is provable from the first four (the axiom says 'There is at most one line...', which is consistent with there being no such lines). However, if the definition is taken so that parallel lines are lines that do not intersect, or that have some line intersecting them in the same angles, Playfair's axiom is contextually equivalent to Euclid's fifth postulate and is thus logically independent of the first four postulates. Note that the latter two definitions are not equivalent, because in hyperbolic geometry the second definition holds only for ultraparallel lines.
History
For two thousand years, many attempts were made to prove the parallel postulate using Euclid's first four postulates. The main reason that such a proof was so highly sought after was that, unlike the first four postulates, the parallel postulate is not self-evident. If the order the postulates were listed in the Elements is significant, it indicates that Euclid included this postulate only when he realised he could not prove it or proceed without it.{{Citation|title=History of the Parallel Postulate|journal=The American Mathematical Monthly|volume=27|issue=1|pages=16â€“23|date=Jan 1920|author=Florence P. Lewis|doi=10.2307/2973238|publisher=The American Mathematical Monthly, Vol. 27, No. 1|postscript=.|jstor=2973238}}Many attempts were made to prove the fifth postulate from the other four, many of them being accepted as proofs for long periods until the mistake was found. Invariably the mistake was assuming some 'obvious' property which turned out to be equivalent to the fifth postulate (Playfair's axiom). Although known from the time of Proclus, this became known as Playfair's Axiom after John Playfair wrote a famous commentary on Euclid in 1795 in which he proposed replacing Euclid's fifth postulate by his own axiom.Proclus (410-485) wrote a commentary on The Elements where he comments on attempted proofs to deduce the fifth postulate from the other four, in particular he notes that Ptolemy had produced a false 'proof'. Proclus then goes on to give a false proof of his own. However he did give a postulate which is equivalent to the fifth postulate.Ibn al-Haytham (Alhazen) (965-1039), an Arab mathematician, made an attempt at proving the parallel postulate using a proof by contradiction,{{harvnb|Katz|1998|loc=pg. 269}} in the course of which he introduced the concept of motion and transformation into geometry.{{Harvnb|Katz|1998|p=269}}: He formulated the Lambert quadrilateral, which Boris Abramovich Rozenfeld names the "Ibn al-Haythamâ€“Lambert quadrilateral",{{Harvnb|Rozenfeld|1988|p=65}} and his attempted proof contains elements similar to those found in Lambert quadrilaterals and Playfair's axiom.{{Harvnb|Smith|1992}}The Persian mathematician, astronomer, philosopher, and poet Omar KhayyÃ¡m (1050â€“1123), attempted to prove the fifth postulate from another explicitly given postulate (based on the fourth of the five principles due to the Philosopher (Aristotle), namely, "Two convergent straight lines intersect and it is impossible for two convergent straight lines to diverge in the direction in which they converge."Boris A Rosenfeld and Adolf P Youschkevitch (1996), Geometry, p.467 in Roshdi Rashed, RÃ©gis Morelon (1996), Encyclopedia of the history of Arabic science, Routledge, {{isbn|0-415-12411-5}}. He derived some of the earlier results belonging to elliptical geometry and hyperbolic geometry, though his postulate excluded the latter possibility.Boris A. Rosenfeld and Adolf P. Youschkevitch (1996), "Geometry", in Roshdi Rashed, ed., Encyclopedia of the History of Arabic Science, Vol. 2, p. 447-494 [469], Routledge, London and New York: The Saccheri quadrilateral was also first considered by Omar KhayyÃ¡m in the late 11th century in Book I of Explanations of the Difficulties in the Postulates of Euclid. Unlike many commentators on Euclid before and after him (including Giovanni Girolamo Saccheri), KhayyÃ¡m was not trying to prove the parallel postulate as such but to derive it from his equivalent postulate. He recognized that three possibilities arose from omitting Euclid's fifth postulate; if two perpendiculars to one line cross another line, judicious choice of the last can make the internal angles where it meets the two perpendiculars equal (it is then parallel to the first line). If those equal internal angles are right angles, we get Euclid's fifth postulate, otherwise, they must be either acute or obtuse. He showed that the acute and obtuse cases led to contradictions using his postulate, but his postulate is now known to be equivalent to the fifth postulate.Nasir al-Din al-Tusi (1201â€“1274), in his Al-risala al-shafiya'an al-shakk fi'l-khutut al-mutawaziya (Discussion Which Removes Doubt about Parallel Lines) (1250), wrote detailed critiques of the parallel postulate and on KhayyÃ¡m's attempted proof a century earlier. Nasir al-Din attempted to derive a proof by contradiction of the parallel postulate. He also considered the cases of what are now known as elliptical and hyperbolic geometry, though he ruled out both of them.missing image!
- Euclidian and non euclidian geometry.png -
Euclidean, elliptical and hyperbolic geometry. The Parallel Postulate is satisfied only for models of Euclidean geometry.
Nasir al-Din's son, Sadr al-Din (sometimes known as "Pseudo-Tusi"), wrote a book on the subject in 1298, based on his father's later thoughts, which presented one of the earliest arguments for a non-Euclidean hypothesis equivalent to the parallel postulate. "He essentially revised both the Euclidean system of axioms and postulates and the proofs of many propositions from the Elements."Boris A. Rosenfeld and Adolf P. Youschkevitch (1996), "Geometry", in Roshdi Rashed, ed., Encyclopedia of the History of Arabic Science, Vol. 2, p. 447-494 [469], Routledge, London and New York: His work was published in Rome in 1594 and was studied by European geometers. This work marked the starting point for Saccheri's work on the subject{{harvnb|Katz|1998|loc=pg.271}}: which opened with a criticism of Sadr al-Din's work and the work of Wallis.MacTutor's Giovanni Girolamo SaccheriGiordano Vitale (1633-1711), in his book Euclide restituo (1680, 1686), used the Khayyam-Saccheri quadrilateral to prove that if three points are equidistant on the base AB and the summit CD, then AB and CD are everywhere equidistant. Girolamo Saccheri (1667-1733) pursued the same line of reasoning more thoroughly, correctly obtaining absurdity from the obtuse case (proceeding, like Euclid, from the implicit assumption that lines can be extended indefinitely and have infinite length), but failing to refute the acute case (although he managed to wrongly persuade himself that he had).In 1766 Johann Lambert wrote, but did not publish, Theorie der Parallellinien in which he attempted, as Saccheri did, to prove the fifth postulate. He worked with a figure that today we call a Lambert quadrilateral, a quadrilateral with three right angles (can be considered half of a Saccheri quadrilateral). He quickly eliminated the possibility that the fourth angle is obtuse, as had Saccheri and KhayyÃ¡m, and then proceeded to prove many theorems under the assumption of an acute angle. Unlike Saccheri, he never felt that he had reached a contradiction with this assumption. He had proved the non-Euclidean result that the sum of the angles in a triangle increases as the area of the triangle decreases, and this led him to speculate on the possibility of a model of the acute case on a sphere of imaginary radius. He did not carry this idea any further.WEB, O'Connor, J.J., Robertson, E.F, Johann Heinrich Lambert,weblink 16 September 2011, Where KhayyÃ¡m and Saccheri had attempted to prove Euclid's fifth by disproving the only possible alternatives, the nineteenth century finally saw mathematicians exploring those alternatives and discovering the logically consistent geometries which result. In 1829, Nikolai Ivanovich Lobachevsky published an account of acute geometry in an obscure Russian journal (later re-published in 1840 in German). In 1831, JÃ¡nos Bolyai included, in a book by his father, an appendix describing acute geometry, which, doubtlessly, he had developed independently of Lobachevsky. Carl Friedrich Gauss had also studied the problem, but he did not publish any of his results. Upon hearing of Bolyai's results in a letter from Bolyai's father, Farkas Bolyai, Gauss stated:"If I commenced by saying that I am unable to praise this work, you would certainly be surprised for a moment. But I cannot say otherwise. To praise it would be to praise myself. Indeed the whole contents of the work, the path taken by your son, the results to which he is led, coincide almost entirely with my meditations, which have occupied my mind partly for the last thirty or thirty-five years."{{harvnb|Faber|1983|loc=pg. 161}} The resulting geometries were later developed by Lobachevsky, Riemann and PoincarÃ© into hyperbolic geometry (the acute case) and elliptic geometry (the obtuse case). The independence of the parallel postulate from Euclid's other axioms was finally demonstrated by Eugenio Beltrami in 1868.- Euclidian and non euclidian geometry.png -
Euclidean, elliptical and hyperbolic geometry. The Parallel Postulate is satisfied only for models of Euclidean geometry.
Converse of Euclid's parallel postulate
thumb|right|350px|The converse of the parallel postulate: If the sum of the two interior angles equals 180Â°, then the lines are parallel and will never intersect.Euclid did not postulate the converse of his fifth postulate, which is one way to distinguish Euclidean geometry from elliptic geometry. The Elements contains the proof of an equivalent statement (Book I, Proposition 27): If a straight line falling on two straight lines make the alternate angles equal to one another, the straight lines will be parallel to one another. As De MorganHeath, T.L., The thirteen books of Euclid's Elements, Vol.1, Dover, 1956, pg.309. pointed out, this is logically equivalent to (Book I, Proposition 16). These results do not depend upon the fifth postulate, but they do require the second postulateCoxeter, H.S.M., Non-Euclidean Geometry, 6th Ed., MAA 1998, pg.3 which is violated in elliptic geometry.Criticism
Attempts to logically prove the parallel postulate, rather than the eighth axiom,Schopenhauer is referring to Euclid's Common Notion 4: Figures coinciding with one another are equal to one another. were criticized by Arthur Schopenhauer. However, the argument used by Schopenhauer was that the postulate is evident by perception, not that it was not a logical consequence of the other axioms.See also
{{clear}}Notes
{{Reflist}}References
- Carroll, Lewis, Euclid and His Modern Rivals, Dover, {{isbn|0-486-22968-8}}
- {{citation|last=Faber|first=Richard L.|title=Foundations of Euclidean and Non-Euclidean Geometry|year=1983|publisher=Marcel Dekker Inc.|location=New York|isbn=0-8247-1748-1}}
- {{citation|last1=Henderson|first1=David W.|last2=TaimiÅ†a|first2=Daina|title=Experiencing Geometry: Euclidean and Non-Euclidean with History|edition=3rd|year=2005|publisher=Pearson Prentice Hall|place=Upper Saddle River, NJ|isbn=0-13-143748-8}}
- {{Citation
|last=Katz
|first=Victor J.
|year=1998
|title=History of Mathematics: An Introduction
|publisher=Addison-Wesley
|isbn=0-321-01618-1
|oclc=38199387}}
|first=Victor J.
|year=1998
|title=History of Mathematics: An Introduction
|publisher=Addison-Wesley
|isbn=0-321-01618-1
|oclc=38199387}}
- {{Citation
|last=Rozenfeld
|first=Boris A.
|year=1988
|title=A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space
|publisher=Springer Science+Business Media
|isbn=0-387-96458-4
|oclc=15550634}}
|first=Boris A.
|year=1988
|title=A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space
|publisher=Springer Science+Business Media
|isbn=0-387-96458-4
|oclc=15550634}}
- {{Citation
|last=Smith
|first=John D.
|year=1992
|title=The Remarkable Ibn al-Haytham
|journal=The Mathematical Gazette
|volume=76
|issue=475
|pages=189â€“198
|publisher=Mathematical Association
|doi=10.2307/3620392
|jstor=3620392
}}
|first=John D.
|year=1992
|title=The Remarkable Ibn al-Haytham
|journal=The Mathematical Gazette
|volume=76
|issue=475
|pages=189â€“198
|publisher=Mathematical Association
|doi=10.2307/3620392
|jstor=3620392
}}
External links
{{Citation
|last=Eder
|first=Michelle
|year=2000
|title=Views of Euclid's Parallel Postulate in Ancient Greece and in Medieval Islam
|url=http://www.math.rutgers.edu/~cherlin/History/Papers2000/eder.html
|publisher=Rutgers University
|accessdate=2008-01-23
}}
|first=Michelle
|year=2000
|title=Views of Euclid's Parallel Postulate in Ancient Greece and in Medieval Islam
|url=http://www.math.rutgers.edu/~cherlin/History/Papers2000/eder.html
|publisher=Rutgers University
|accessdate=2008-01-23
}}
- content above as imported from Wikipedia
- "Parallel postulate" does not exist on GetWiki (yet)
- time: 10:14pm EDT - Wed, Jun 26 2019
- "Parallel postulate" does not exist on GetWiki (yet)
- time: 10:14pm EDT - Wed, Jun 26 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
GETWIKI 19 AUG 2014
GETWIKI 18 AUG 2014
Wikinfo
Culture
Culture
© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED