With them the seed of Wisdom did I sow, And with my own hand wrought to make it grow: And this was all the Harvest that I reap'd - "I came like Water, and like Wind I go."   Omar Khayyam
The Fifth Postulate
Attempts to Prove

It's hard to add to the fame and glory of Euclid who managed to write an all-time bestseller, a classic book read and scrutinized for the last 23 centuries. However insignificant the following point might be, I'd like to give him additional credit for just stating the Fifth Postulate without trying to prove it. For attempts to prove it were many and all had failed. By the end of the last century, it was also shown that the fifth postulate is independent of the remaining axioms, i.e., all the attempts at proving it had been doomed from the outset. Did Euclid sense that the task was impossible?

The earliest source of information on attempts to prove the fifth postulate is the commentary of Proclus on Euclid's Elements. Proclus, who taught at the Neoplatonic Academy in Athens in the fifth century, lived more than 700 years after Euclid. Although an invaluable source for the history of mathematics, the Commentary is unlikely to be complete. Proclus mentions Ptolemy's (2nd century) attempts to prove the postulate and demonstrates that Ptolemy had unwittingly assumed what in later years became known as Playfair's axiom. Proclus left a proof of his own, but the latter rests on the assumption that parallel lines are always a bounded distance apart, and this assumption can be shown to be equivalent to the fifth postulate.

al-Gauhary (9th century) deduced the fifth postulate from the proposition that through any point interior to an angle it is possible to draw a line that intersects both sides of the angle. He deduced the proposition from an implicit assumption that if the alternating angles determined by a line cutting two other lines are equal, then the same will be true for all lines cutting the given two. The proposition was implicitly used by A.M.Legendre (1800) in his proof of the fifth postulate.

al-Haytham's (10th century) kinematic method was criticized by Omar Khayyam (11th century) whose own proof was published for the first time in 1936. To Omar's credit he thought up a figure that was later named after Gerolamo Saccheri (1667-1733). Nasir ad-Din at-Tusi (13th century) was more fortunate. A Latin edition of his work appeared in Europe in 1657. at-Tusi critically analyzed the works of al-Gauhary, al-Haytham and Omar Khayyam. In one of his own attempts, at-Tusi tried to prove the postulate by a reductio ad absurdum. This appears to be the first attempt to prove the postulate by deriving a contradiction from the assumption that the fifth postulate is wrong.

John Wallis has been inspired by the work of at-Tusi and delivered a lecture at Oxford on July 11, 1663. To prove the postulate he made an explicit assumption that for every figure there is a similar one of arbitrary size. Unlike many (even later) mathematicians, John Wallis realized that his proof was based on an assumption (more natural in his view but still) equivalent to the postulate.

The line of reasoning of at-Tusi had been taken up by a professor of rhetoric, theology and philosophy at a Jesuit college in Milan, Girolamo Saccheri. In 1733, Saccheri published a two-volume work titled Euclid Freed of Every Flaw. Given a line and a point not on the line, there are exactly three possibility with regard of the number of lines through the point:

1. there is exactly one parallel;
2. there are no parallels;
3. there are more than one parallel.

The three hypotheses are known as hypotheses of the right, obtuse, and, respectively, acute angles. The first one is Playfair's axiom and, thus, is equivalent to Euclid's fifth postulate. Assuming that Euclid's second postulate (A piece of straight line may be extended indefinitely.) requires straight lines to be infinitely long, he showed that (B) indeed leads to a contradiction. Based on (C), he proved several counterintuitive statements but couldn't formally obtain a logical contradiction. Probably to justify the title of the work he stated

### Proposition XXXIII

The hypothesis of acute angle is absolutely false; because repugnant to the nature of the straight line.

Saccheri's work attracted little attention and was virtually unknown until 1899 when it was republished by his compatriot, Eugenio Beltrami (1835-1900). In 1766, Heinrich Lambert (1728-1777) published a similar investigation. He also observed that results derived under the hypothesis (B) resemble those known for spherical geometry and suggested that, geometry following from (C) might be visualized on a sphere of imaginary radius.

Adrien-Marie Legendre (1752-1833) was preoccupied with the fifth postulate for decades. His work appeared in successive additions of his very popular Éléments de Géométry (1794-1823). The small book was translated into English first in 1819 and, then, by Thomas Carlyle, in 1822. Carlyle's translation ran through 33 American editions (from H.Eves, MAA, 1983). Legendre succeeded in popularizing geometry and the question of the fifth postulate but, of course, failed to prove it. His last article on parallels saw light in 1833, the year of Legendre's death, four years after publication by the Russian mathematician N.Lobachevsky of his paper on non-Euclidean geometry and a year after a similar publication by the Hungarian János Bolyai.