![]() ![]() ![]() This model of geometry required a hyperbolic plane, which is often depicted as a saddle-shaped surface, and leaves inviolate the first four postulates.Īlthough Saccheri intended to find a contradiction, he proved a vast array of theorems about this hyperbolic geometry without running into any inconsistencies until he eventually tripped up and used an invalid assumption to show a contradiction. The other case assumed that, given a line and a point, there could be more than one parallel (to the original line) line running through the point. One of these cases assumed that there were no parallel lines and required a spherical plane but violated the first two postulates so was dismissed by Saccheri. By 1733 he had discovered that there were only two cases to deal with if the parallel postulate was false. The next person to try this was Saccheri in 1697. It was not until over fifteen centuries after Euclid that the Persian/Arab mathematician Nasir-Eddin thought to actually attempt disproving the parallel postulate, albeit this was only done in the hope that a proof by contradiction would result. In 1663 John Wallis inadvertently showed that it was equivalent to the statement that "to each triangle, there exists a similar triangle of arbitrary magnitude." Then in 1794 Legendre showed that it was also equivalent to the statement that "the sum of the angles of a triangle is equal to two right angles." Of course, these tangential discoveries only increased the fervour with which mathematicians sought to convert the parallel postulate into a theorem. In the process of investigating this postulate, it was inadvertently found to be equivalent to some seemingly unrelated statements about triangles. Starting with Poseidonios, Ptolemy and Proclus, a host of mathematicians attempted to remove this postulate from the required foundation for all of geometry, none of them successfully. Even Euclid himself was uncomfortable using this postulate and proved his first twenty eight propositions without invoking it.ĭespite many centuries of effort, however, nobody was able to prove the parallel postulate using only the other four. ![]() This postulate is more complex than the other four, suggesting that it could be deduced from them alone and need not be assumed true to begin with. The lone weak spot was Euclid's fifth (parallel) postulate, which can be paraphrased to state that for any line of unbounded length and a point not on this line, there is exactly one line of unbounded length that passes through the point but does not intersect the original line. Euclid intended for this compact foundation to be so obviously true that it would never be called into question. It contains a few hundred theorems based only upon five postulates and five common notions (rules of deductive logic). Euclid's Postulates & Common NotionsĪt the turn of the third century BC the Greek Mathematician Euclid wrote a thirteen volume book called The Elements, which went on to become the bible of geometry. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |