Euclid · Mathematics
Euclid’s troublesome fifth postulate about parallel lines - why mathematicians tried for two thousand years to prove it, and how their failure led to the discovery of non-Euclidean geometries and a revolution in our understanding of space.
Euclid’s first four postulates are short and obviously acceptable: draw a line between two points, extend a line, draw a circle, all right angles are equal. The fifth is different - long, intricate, and far from self-evident. It states that if a straight line crossing two other lines makes the interior angles on one side add up to less than two right angles, then those two lines, extended far enough, will eventually meet on that side. In plainer terms, it is the assumption that governs parallel lines: it implies that through any point not on a given line, there is exactly one line parallel to it. Where the other postulates can be checked at a glance, the fifth makes a claim about what happens when lines are extended indefinitely - out beyond any drawing, to infinity. From the very beginning, mathematicians felt that something so complicated and so far-reaching ought not to be merely assumed. It looked less like a self-evident starting point and more like a theorem in disguise - something that should be provable from the other four postulates. This suspicion launched one of the longest quests in the history of mathematics.
The effort to prove the fifth postulate is one of the great sagas of mathematics. The Greek commentator Proclus tried; so did the Islamic mathematicians Ibn al-Haytham, Omar Khayyam, and Nasir al-Din al-Tusi, who developed deep insights while attempting it. In the eighteenth century the Italian priest Giovanni Saccheri wrote a whole book, hopefully titled Euclid Freed of Every Flaw, attempting to prove the postulate by assuming its opposite and deriving a contradiction. Every one of these attempts failed - but they failed in an illuminating way. Again and again, the would-be provers turned out to have smuggled in, somewhere in their argument, an assumption equivalent to the fifth postulate itself. They would ‘prove’ it, but only by tacitly assuming, for instance, that parallel lines stay a constant distance apart, or that the angles of a triangle sum to two right angles, or that similar triangles of different sizes exist - each of which, it turns out, is just the fifth postulate wearing a different disguise. The postulate could be replaced by any of these equivalents, but it could never be eliminated. After two thousand years of failure, a few bold minds began to wonder whether the reason no one could prove it was that it could not be proved - that the fifth postulate was genuinely independent of the other four.
The discovery of non-Euclidean geometry, in the early nineteenth century, was one of the most profound intellectual revolutions in history. It was made independently by three mathematicians: the great Carl Friedrich Gauss (who kept it private, fearing controversy), the Russian Nikolai Lobachevsky, and the young Hungarian János Bolyai, whose father had warned him to stay away from the parallel problem that had ‘deprived me of all peace’. They showed that geometry is not unique. Euclid’s is one possible geometry - the geometry of a flat plane - but there are others, equally consistent: hyperbolic geometry (the surface curves like a saddle, and there are many parallels) and, later, elliptic or spherical geometry (the surface curves like a sphere, and there are no parallels - every pair of lines meets). The shattering implication was that the postulates of geometry are not self-evident truths about the one true space; they are assumptions, and different assumptions give different, equally valid geometries. Which one describes the actual physical universe became, for the first time, an empirical question - not something to be settled by pure reason, but by measurement. When Einstein, a century later, showed that the space of our universe is curved by matter, it was the non-Euclidean geometries that supplied the mathematics he needed. The attempt to perfect Euclid had ended by dethroning him as the sole authority on space - and in doing so, opened the door to modern physics.
This is the opening of the lesson. The rest — the dialogue, the primary source, and the recall — is in the app.
You learned about Euclid’s fifth (parallel) postulate, the long effort to prove it, and the discovery of non-Euclidean geometry. Explain what the postulate says and why its independence was so revolutionary.
Leads to Lobachevsky.
Begin this lesson →epoché — a humanities education that remembers you.