hope that a copy of a great lost text will one day turn up in an attic somewhere in the world. In 1906 J.L. Heiberg discovered in Constantinople just such a manuscript, The Method, which contained some of Archimedes’ original writings.
Ptolemy’s dream of building a treasure house of knowledge lived on after his death, and by the time a few more Ptolemys had ascended the throne the Library contained over 600,000 books. Mathematicians could learn everything in the known world by studying at Alexandria, and there to teach them were the most famous academics. The first head of the mathematics department was none other than Euclid.
Euclid was born in about 330 BC. Like Pythagoras, Euclid believed in the search for mathematical truth for its own sake and did not look for applications in his work. One story tells of a student who questioned him about the use of the mathematics he was learning. Upon completing the lesson, Euclid turned to his slave and said, ‘Give the boy a penny since he desires to profit from all that he learns.’ The student was then expelled.
Euclid devoted much of his life to writing the Elements, the most successful textbook in history. Until this century it was also the second best-selling book in the world after the Bible. The Elements consists of thirteen books, some of which are devoted to Euclid’s own work, and the remainder being a compilation of all the mathematical knowledge of the age, including two volumes devoted entirely to the works of the Pythagorean Brotherhood. In the centuries since Pythagoras, mathematicians had invented a variety of logical techniques which could be applied in different circumstances, and Euclid skilfully employed them all in the Elements. In particular Euclid exploited a logical weapon known as reductio ad absurdum, or proof by contradiction. The approach revolves around the perverse idea of trying to prove that a theorem is true by first assuming that the theorem is false. The mathematician then explores the logical consequences of the theorem being false. At some point along the chain of logic there is a contradiction (e.g. 2 + 2 = 5). Mathematics abhors a contradiction and therefore the original theorem cannot be false, i.e. it must be true.
The English mathematician G.H. Hardy encapsulated the spirit of proof by contradiction in his book A Mathematician’s Apology: ‘Reductio ad absurdum, which Euclid loved so much, is one of a mathematician’s finest weapons. It is a far finer gambit than any chess play: a chess player may offer the sacrifice of a pawn or even a piece, but a mathematician offers the game.’
One of Euclid’s most famous proofs by contradiction established the existence of so-called irrational numbers. It is suspected that irrational numbers were originally discovered by the Pythagorean Brotherhood centuries earlier, but the concept was so abhorrent to Pythagoras that he denied their existence.
When Pythagoras claimed that the universe is governed by numbers he meant whole numbers and ratios of whole numbers (fractions) together known as rational numbers. An irrational number is a number that is neither a whole number nor a fraction, and this is what made it so horrific to Pythagoras. In fact, irrational numbers are so strange that they cannot be written down as decimals, even recurring decimals. A recurring decimal such as 0.111111 … is in fact a fairly straightforward number, and is equivalent to the fraction 1⁄9. The fact that the ‘1’ repeats itself forever means that the decimal has a very simple and regular pattern. This regularity, despite the fact that it continues to infinity, means that the decimal can be rewritten as a fraction. However, if you attempt to express an irrational number as a decimal you end up with a number which continues forever with no regular or consistent pattern.
The concept of an irrational number was a tremendous breakthrough. Mathematicians were looking beyond the whole numbers and fractions around them, and discovering, or perhaps inventing, new ones. The nineteenth-century mathematician Leopold Kronecker said, ‘God made the integers; all the rest is the work of man.’
The most famous irrational number is π. In schools it is sometimes approximated by 31⁄7 or 3.14; however, the true value of π is nearer 3.14159265358979323846, but even this is only an approximation. In fact, π can never be written down exactly because the decimal places go on forever without any pattern. A beautiful feature of this random pattern is that it can be computed using an equation which is supremely regular:
By calculating the first few terms, you can obtain a very rough value for π, but by calculating more and more terms an increasingly accurate value is achieved. Although knowing π to 39 decimal places is sufficient to calculate the circumference of the universe accurate to the radius of a hydrogen atom, this has not prevented computer scientists from calculating π to as many decimal places as possible. The current record is held by Yasumasa Kanada of the University of Tokyo who calculated π to six billion decimal places in 1996. Recently rumours have suggested that the Russian Chudnovsky brothers in New York have calculated π to eight billion decimal places and that they are aiming to reach a trillion decimal places. However, even if Kanada or the Chudnovsky brothers carried on calculating until their computers sapped all the energy in the universe, they would still not have found the exact value of π. It is easy to appreciate why Pythagoras conspired to hide the existence of these mathematical beasts.
The value of π to over 1500 decimal places
When Euclid dared to confront the issue of irrationality in the tenth volume of the Elements the goal was to prove that there could be a number which could never be written as a fraction. Instead of trying to prove that π is irrational, he examined the square root of two, √2 – the number which when multiplied by itself is equal to two. In order to prove that √2 could not be written as a fraction Euclid used reductio ad absurdum and began by assuming that it could be written as a fraction. He then demonstrated that this hypothetical fraction could be simplified. Simplification of a fraction means, for example, that the fraction 8⁄12 can be simplified to 4⁄6 by dividing top and bottom by 2. In turn 4⁄6 can be simplified to 2⁄3, which cannot be simplified any further and therefore the fraction is then said to be in its simplest form. However, Euclid showed that his hypothetical fraction, which was supposed to represent √2, could be simplified not just once, but over and over again an infinite number of times without ever reducing to its simplest form. This is absurd because all fractions must eventually have a simplest form, and therefore the hypothetical fraction cannot exist. Therefore √2 cannot be written as a fraction and is irrational. An outline of Euclid’s proof is given in Appendix 2.
By using proof by contradiction Euclid was able to prove the existence of irrational numbers. For the first time numbers had taken on a new and more abstract quality. Until this point in history all numbers could be expressed as whole numbers or fractions, but Euclid’s irrational numbers defied representation in the traditional manner. There is no other way to describe the number equal to the square root of two other than by expressing it as √2, because it cannot be written as a fraction and any attempt to write it as a decimal could only ever be an approximation, e.g. 1.414213562373 …
For Pythagoras, the beauty of mathematics was the idea that rational numbers (whole numbers and fractions) could explain all natural phenomena. This guiding philosophy blinded Pythagoras to the existence of irrational numbers and may even have led to the execution of one of his pupils. One story claims that a young student by the name of Hippasus was idly toying with the number √2, attempting to find the equivalent fraction. Eventually he came to realise that no such fraction existed, i.e. that √2 is an irrational number. Hippasus must have been overjoyed by his discovery, but his master was not. Pythagoras had defined the universe in terms of rational numbers, and the existence of irrational numbers brought his ideal into question. The consequence of Hippasus’ insight should have been a period of discussion and contemplation during which Pythagoras ought to have come to terms with this new source of numbers. However, Pythagoras was unwilling to accept that he was wrong, but at the same time