Before embarking on the proof itself, all that is required is a basic understanding of some properties of fractions and even numbers.
(1) If you take any number and multiply it by 2, then the new number must be even. This is virtually the definition of an even number.
(2) If you know that the square of a number is even, then the number itself must also be even.
(3) Finally, fractions can be simplified: 16⁄24 is the same as 8⁄12; just divide the top and bottom of 16⁄24 by the common factor 2. Furthermore, 8⁄12 is the same as 4⁄6, and in turn 4⁄6 is the same as 2⁄3. However, 2⁄3, cannot be simplified any further because 2 and 3 have no common factors. It is impossible to keep on simplifying a fraction forever.
Now, remember that Euclid believes that √2 cannot be written as a fraction. However, because he adopts the method of proof by contradiction, he works on the assumption that the fraction p⁄q does exist and then he explores the consequences of its existence:
If we square both sides, then
This equation can easily be rearranged to give
Now from point (1) we know that p2 must be even. Furthermore, from point (2) we know p itself must also be even. But if p is even, then it can be written as 2m, where m is some other whole number. This follows from point (1). Plug this back into the equation and we get
Divide both sides by 2, and we get
But by the same arguments we used before, we know that q2 must be even, and so q itself must also be even. If this is the case, then q can be written as 2n, where n is some other whole number. If we go back to the beginning, then
The 2m⁄2n can be simplified by dividing top and bottom by 2, and we get
We now have a fraction m⁄n, which is simpler than p⁄q.
However, we now find ourselves in a position whereby we can repeat exactly the same process on m⁄n, and at the end of it we will generate an even simpler fraction, say g⁄h. This fraction can then be put through the mill again, and the new fraction, say e⁄f, will be simpler still. We can put this through the mill again, and repeat the process over and over again, with no end. But we know from point (3) that fractions cannot be simplified forever. There must always be a simplest fraction, but our original hypothetical fraction p⁄q does not seem to obey this rule. Therefore, we can justifiably say that we have reached a contradiction. If √2 could be written as a fraction the consequence would be absurd, and so it is true to say that √2 cannot be written as a fraction. Therefore √2 is an irrational number.
Appendix 3. The Riddle of Diophantus’ Age
Let us call the length of Diophantus’ life L. From the riddle we have a complete account of Diophantus’ life which is as follows:
1⁄6 of his life, L⁄6, was spent as a boy,
L⁄12 was spent as a youth,
L⁄7 was then spent prior to marriage,
5 years later a son was born,
L⁄2 was the life span of the son,
4 years were spent in grief before he died.
The length of Diophantus’ life is the sum of the above:
We can then simplify the equation as follows:
Diophantus died at the age of 84 years.
Appendix 4. Bachet’s Weighing Problem
In order to weigh any whole number of kilograms from 1 to 40 most people will suggest that six weights are required: 1, 2, 4, 8, 16, 32 kg. In this way, all the weights can easily be achieved by placing the following combinations in one pan:
However, by placing weights in both pans, such that weights are also allowed to sit alongside the object being weighed, Bachet could complete the task with only four weights: 1, 3, 9, 27 kg. A weight placed in the same pan as the object being weighed effectively assumes a negative value. Thus, the weights can be achieved as follows:
Appendix 5. Euclid’s Proof That There Are an Infinite Number of Pythagorean Triples
A Pythagorean triple is a set of three whole numbers, such that one number squared added to another number squared equals the third number squared. Euclid could prove that there are an infinite number of such Pythagorean triples.
Euclid’s proof begins with the observation that the difference between successive square numbers is always an odd number:
Every single one of the infinity of odd numbers can be added to a particular square number to make another square number. A fraction of these odd numbers are themselves square, but a fraction of infinity is also infinite.
Therefore there are also an infinity of odd square numbers which can be added to one square to make another square number. In other words there must be an infinite number of Pythagorean triples.
Appendix 6. Proof of the Dot Conjecture
The dot conjecture states that it is impossible to draw a dot diagram such that every line has at least three dots on it.
Although this proof requires a minimal amount of mathematics, it does rely on some geometrical gymnastics, and so I would recommend careful contemplation of each step.
First consider an arbitrary pattern of dots and the lines which connect every dot to every other one. Then, for each dot, work out its distance to the closest line, excluding any lines which go through it. Thereby identify which of all the dots is closest to a line.
Below is a close-up of such a dot D which is closest to a line L. The distance between the dot and the line is shown as a dashed line and this distance is smaller than any other distance between any other line and a dot.
It is now possible to show that line L will always have only two dots on it and that therefore the conjecture is true, i.e. it is impossible to draw a diagram such that every line has three dots on it.
To show that line L must have two dots, we consider what would happen if it had a third dot. If the third dot, DA, existed outside the two dots originally shown, then the distance shown as a dotted line would be shorter than the dashed line which was supposed to be the shortest distance between a dot and a line. Therefore dot DA cannot exist.
Similarly, if the third dot, DB, exists between the two dots originally shown, then once again the distance shown as a dotted line would be shorter than the dashed line which was supposed to be the shortest distance between a dot and a line. Therefore dot DB cannot exist either.
In summary, any configuration of dots must have a minimum distance between some dot and some line, and the line in question must have only two dots. Therefore for every configuration there will always be at least this one line with only two dots – the conjecture is true.
Appendix 7. Straying into Absurdity
The following is a classic demonstration of how easy it is to start off with a very simple statement and then within a few apparently straightforward and logical steps show that 2 = 1.
First, let us begin with the innocuous statement
Then multiply both sides by a, giving
Then add a2 – 2ab to both sides:
This can be simplified to
Finally, divide both sides by a2 – ab, and we get
The original statement appears to be, and is, completely harmless, but somewhere in the step-by-step manipulation of the equation there was a subtle but disastrous error which leads to the contradiction in the final statement.
In fact, the fatal mistake appears in the last step in which both sides are divided by a2 – ab. We know from the original statement that a = b, and therefore dividing by a2 – ab is equivalent to dividing by zero.
Dividing anything by zero is a risky step because zero will go into any finite quantity an infinite number of times. By creating infinity on both sides we have effectively torn apart both halves of the equation and allowed a contradiction to creep into the argument.
This subtle error is typical of the sort of blunder which caught out many of the entrants for the Wolfskehl Prize.
Appendix 8. The Axioms of Arithmetic
The following axioms are all that are required as the foundation for the elaborate structure of arithmetic:
1. For any numbers m, n
2. For any
numbers m, n, k,
3. For any numbers m, n, k
4. There is a number 0 which has the property that, for any number n,
5. There is a number 1 which has the property that, for any number n,
6. For every number n, there is another number k such that
7. For any numbers m, n, k,
From these axioms other rules can be proved. For example, by rigorously applying the axioms and assuming nothing else, we can rigorously prove the apparently obvious rule that
To begin with we state that
Then by Axiom 6, let l be a number such that, k + l = 0, so
Then, by Axiom 2,
Bearing in mind that k + l = 0, we know that
By applying Axiom 4, we can at last declare what we set out to prove:
Appendix 9. Game Theory and the Truel
Let us examine Mr Black’s options. First, Mr Black could aim at Mr Grey. If he is successful then the next shot will be taken by Mr White. Mr White has only one opponent left, Mr Black, and as Mr White is a perfect shot then Mr Black is a dead man.
A better option is for Mr Black to aim at Mr White. If he is successful then the next shot will be taken by Mr Grey. Mr Grey hits his target only two times out of three and so there is a chance that Mr Black will survive to fire back at Mr Grey and possibly win the truel.
It appears that the second option is the strategy which Mr Black should adopt. However, there is a third and even better option. Mr Black could aim into the air. Mr Grey has the next shot and he will aim at Mr White, because he is the more dangerous opponent. If Mr White survives then he will aim at Mr Grey because he is the more dangerous opponent. By aiming into the air, Mr Black is allowing Mr Grey to eliminate Mr White or vice versa.
This is Mr Black’s best strategy. Eventually Mr Grey or Mr White will die and then Mr Black will aim at whoever survives. Mr Black has manipulated the situation so that, instead of having the first shot in a truel, he has first shot in a duel.
Appendix 10. An Example of Proof by Induction
Mathematicians find it useful to have neat formulae which give the sum of various lists of numbers. In this case the challenge is to find a formula which gives the sum of the first n counting numbers.
For example, the sum of just the first number is 1, the sum of the first two numbers is 3 (i.e. 1 + 2), the sum of the first three numbers is 6 (i.e. 1 + 2 + 3), the sum of the first four numbers is 10 (i.e. 1 + 2 + 3 + 4), and so on.
A candidate formula which seems to describe this pattern is:
In other words if we want to find the sum of the first n numbers, then we simply enter that number into the formula above and work out the answer.
Proof by induction can prove that this formula works for every number up to infinity.
The first step is to show that the formula works for the first case, n = 1. This is fairly straightforward, because we know that the sum of just the first number is 1, and if we enter n = 1 into the candidate formula we get the correct result:
The first domino has been toppled.
The next step in proof by induction is to show that if the formula is true for any value n, then it must also be true for n + 1. If
then,
After rearranging and regrouping the terms on the right, we get
What is important to note here is that the form of this new equation is exactly the same as the original equation except that every appearance of n has been replaced by (n + 1).
In other words, if the formula is true for n, then it must also be true for n + 1. If one domino falls, it will always knock over the next one. The proof by induction is complete.
Suggestions for Further Reading
In researching this book I have relied on numerous books and articles. In addition to my main sources for each chapter, I have also listed other material which may be of interest to both the general reader and experts in the field. Where the tide of the source does not indicate its relevance I have given a sentence or two describing its contents.
Chapter 1
The Last Problem, by E.T. Bell, 1990, Mathematical Association of America. A popular account of the origins of Fermat’s Last Theorem.
Pythagoras – A Short Account of His Life and Philosophy, by Leslie Ralph, 1961, Krikos.
Pythagoras – A Life, by Peter Gorman, 1979, Routledge and Kegan Paul.
A History of Greek Mathematics, Vols. 1 and 2, by Sir Thomas Heath, 1981, Dover.
Mathematical Magic Show, by Martin Gardner, 1977, Knopf. A collection of mathematical puzzles and riddles.
River meandering as a self-organization process, by Hans-Henrik Støllum, Science 271 (1996), 1710-1713.
Chapter 2
The Mathematical Career of Pierre de Fermat, by Michael Mahoney, 1994, Princeton University Press. A detailed investigation into the life and work of Pierre de Fermat.
Archimedes’ Revenge, by Paul Hoffman, 1988, Penguin. Fascinating tales which describe the joys and perils of mathematics.
Chapter 3
Men of Mathematics, by E.T. Bell, Simon and Schuster, 1937. Biographies of history’s greatest mathematicians, including Euler, Fermat, Gauss, Cauchy and Kummer.
The periodical cicada problem, by Monte Lloyd and Henry S. Dybas, Evolution 20 (1966), 466-505.
Women in Mathematics, by Lynn M. Osen, 1994, MIT Press. A largely non-mathematical text containing the biographies of many of the foremost female mathematicians in history, including Sophie Germain.
Math Equals: Biographies of Women Mathematicians+Related Activities, by Teri Perl, 1978, Addison-Wesley.
Women in Science, by H.J. Mozans, 1913, D. Appleton and Co.
Sophie Germain, by Amy Dahan Dalmédico, Scientific American, December 1991. A short article describing the life and work of Sophie Germain.
Fermat’s Last Theorem – A Genetic Introduction to Algebraic Number Theory, by Harold M. Edwards, 1977, Springer. A mathematical discussion of Fermat’s Last Theorem, including detailed outlines of some of the early attempts at a proof.
Elementary Number Theory, by David Burton, 1980, Allyn & Bacon.
Various communications, by A. Cauchy, C. R. Acad. Sci. Paris 24 (1847), 407–416, 469–483.
Note au sujet de la demonstration du theoreme de Fermat, by G. Lamé, C. R. Acad. Sci. Paris 24 (1847), 352.
Extrait d’une lettre de M. Kummer a M. Liouville, by E.E. Kummer, J. Math. Pures et Appl. 12 (1847), 136. Reprinted in Collected Papers, Vol. I, edited by A. Weil, 1975, Springer.
A Number for Your Thoughts, by Malcolm E. Lines, 1986, Adam Hilger. Facts and speculations about numbers from Euclid to the latest computers, including a slightly more detailed description of the dot conjecture.
Chapter 4
3.1416 and All That, by P.J. Davis and W.G. Chinn. 1985, Birkhäuser. A series of stories about mathematicians and mathematics, including a chapter about Paul Wolfskehl.
The Penguin Dictionary of Curious and Interesting Numbers, by David Wells, 1986, Penguin.
The Penguin Dictionary of Curious and Interesting Puzzles, by David Wells, 1992, Penguin.
Sam Loyd and his Puzzles, by Sam Loyd (II), 1928, Barse and Co.
Mathematical Puzzles of Sam Loyd, by Sam Loyd, edited by Martin Gardner, 1959, Dover.
Riddles in Mathematics, by Eugene P. Northropp, 1944, Van Nostrand.
The Picturegoers, by David Lodge, 1993, Penguin.
13 Lectures on Fermat’s Last Theorem, by Paulo Ribenboim, 1980, Springer. An account of Fermat’s Last Theorem, written prior to the work of Andrew Wiles, aimed at graduate students.
Mathematics: The Science of Patterns, by Keith Devlin, 1994, Scientific American Library. A beautifully illustrated book which conveys the concepts of mathematics through striking images.
Mathematics: The New Golden Age, by Keith Devlin, 1990, Penguin. A popular and detailed overview of modern mathematics, including a discussion on the axioms of mathematics.
The Concepts of Modem Mathematics, by Ian Stewart, 1995, Penguin.
&
nbsp; Principia Mathematica, by Betrand Russell and Alfred North Whitehead, 3 vols, 1910, 1912, 1913, Cambridge University Press.
Kurt Gödel, by G. Kreisel, Biographical Memoirs of the Fellows of the Royal Society, 1980.
A Mathematician’s Apology, by G.H. Hardy, 1940, Cambridge University Press. One of the great figures of twentieth-century mathematics gives a personal account of what motivates him and other mathematicians.
Alan Turing: The Enigma of Intelligence, by Andrew Hodges, 1983, Unwin Paperbacks. An account of the life of Alan Turing, including his contribution to breaking the Enigma code.
Chapter 5