Chapter 2: An ancient theorem and a modern question: Difference between revisions

Line 52: Line 52:
A good video explaining these postulates as well as what postulates ''are'' can be found [https://www.youtube.com/watch?v=gLMIFRLw9LU here].
A good video explaining these postulates as well as what postulates ''are'' can be found [https://www.youtube.com/watch?v=gLMIFRLw9LU here].


Euclid's fifth postulate cannot be proven as a theorem, although this was attempted by many people. Euclid himself used only the first four postulates ("absolute geometry") for the first 28 propositions of the Elements, but was forced to invoke the parallel postulate on the 29th. In 1823, Janos Bolyai and Nicolai Lobachevsky independently realized that entirely self-consistent "non-Euclidean geometries" could be created in which the parallel postulate did not hold. (Gauss had also discovered but suppressed the existence of non-Euclidean geometries.)
Euclid's fifth postulate cannot be proven as a theorem (by assuming only the first four), although this was attempted by many people. Euclid himself used only the first four postulates ("absolute geometry") for the first 28 propositions of the Elements, but was forced to invoke the parallel postulate on the 29th. In 1823, Janos Bolyai and Nicolai Lobachevsky independently realized that entirely self-consistent "non-Euclidean geometries" could be created in which the parallel postulate did not hold. (Gauss had also discovered but suppressed the existence of non-Euclidean geometries.)


=== Radians and <math> \pi </math> ===
=== Radians and <math> \pi </math> ===
Anonymous user