irrationals [guest post/book review]
When I received The irrationals: A story of the numbers you can’t count on by Julian Havil for reviewing for CHANCE, Pierre Alquier happened to be in my office at CREST and I proposed him to write the review, which he did within a few weeks (and thus prior to the book publication!). Here is his nice and comprehensive review:
This book is intended to be a short history of irrational numbers, since the discovery of the first irrational, √3, by the ancient Greeks until the first rigorous definitions of real numbers by Cantor and Dedekind. In addition to the historical aspect, the author does not hesitate to go into mathematical details and to provide some of the most remarkable proofs in the history of irrationals.
The book is essentially organized around the emergence of key mathematical concepts, rather than based on a strict chronological order. Thanks to the historical perspective, we learn a lot about some famous mathematicians like Pythagoras, Euclid, Gauss or Euler. The book is also full of amazing anecdotes. For example, it reveals the way to find the tomb of Roger Apéry, who proved that ζ(3) is irrational, in the labyrinth of Père Lachaise cemetery in Paris. All of this make the reading of this book a real enjoyment. The appendix contains more involved mathematical developments. The only weak point that I would like to point out is the absence of bibliography that would allow the interested reader to go further into the history of number theory, or into number theory itself.
The book can roughly be divided into 4 parts: (1) the discovery of irrationals and the first calculus with square roots, in chapters 1 and 2, (2) the proof that some remarkable numbers like π and e are irrationals in Chapters 3, 4 and 5, (3) some classification of the irrationals based on approximations by rationals, and the discovery of transcendental numbers (Chapters 6, 7 and 8) and, finally, (4) the proper definition of the real numbers by several mathematicians, including Dedekind (9 and 10).
Chapters 1 and 2 deal with the antique world: the proof of the irrationality of √3, the influence of the Pythagoras and Euclid, and the first algebraic manipulations of the irrationals by the Arabs, the Hindus, and European mathematicians like Fibonacci in the early Renaissance. A lot of information is provided about several Greeks mathematicians and philosophers and the reader might sometimes get lost. However, both chapters contain valuable historical information, as well as some nice proofs based on geometry.
Chapters 3, 4 and 5 give the proof of the irrationality of some remarkable numbers. The method of continued fractions is explained in Chapter 3, leading to the irrationality of e. A simpler proof due to Fourier is given in Chapter 4. The proof of the irrationality of π2 (and thus of π) by Hermite is also given in details in that Chapter. Chapter 5 takes the reader to the seventies: it provides the striking proof of that ζ(3) is irrational by Roger Apéry. Surprisingly enough, unlike most recent mathematical proofs, this one only requires a knowledge of elementary mathematics to be understood.
Chapter 6 is one of the most remarkable parts of the book, because of the number of results given there, and the elegance of the proofs. It focuses on approximations of irrationals by rationals. It is obvious that, given any number x and an integer q, one can find another integer p with |x-p/q|<1/q. However, is it possible to find infinitely many p and q such that |x-p/q|<1/q1+ε for a given ε>0? One of the striking facts proved in this chapter is that for ε=1, the answer is yes if, and only if, x is irrational. In Chapter 7, a classification of irrationals based on various values for ε is described. The idea is to define a number x to be “more irrational” if the property still holds for larger values of ε. This leads to the introduction of a new family of irrationals: the transcendentals, studied in Chapters 7 and 8. Actually, if the property holds for ε>1, then x is a transcendental number. It’s been conjectured for a long time that π and e are transcendentals. However, the first number L to be proved to be transcendental was specially designed by Liouville to fit the results of Chapter 6. This construction is explained in Chapter 7: L is build such that, for any ε>0, there are infinitely many p and q such that |L-p/q|<1/q1+ε, and this proves that L is transcendental.
Finally, Chapter 9, 10 and 11 deal with more recent questions such as the problem of randomness in the decimal expansion of irrational numbers, and the first rigorous definitions of the set R of real numbers by Kossak, Cantor, Heine and Dedekind. Dedekind’s definition of a real number as a cut of the set of rationals became the classical one, but it is known that the other constructions are equivalent. The chapter about randomness is a bit short and unfortunately the recent approaches to define random sequences by Chaitin, Solovay and Martin-Löf are not mentioned. This part ends with some conclusion on the role of irrationals in modern mathematics.
This book contains a lot of fun for whoever likes mathematics. As it goes into details, I would recommend The irrationals: A story of the numbers you can’t count on particularly to students or to mathematicians non specialized in number theory, who would like to learn about its history – or just to enjoy some remarkably elegant proofs. From that perspective, some chapters like Chapters 6 and 10 are particularly successful.
As a side note, here is a terrific biography of Roger Apéry by his son, who is also a mathematician. When I was a student in Caen, Apéry was famous, both for his result and for having once forgotten his son (the same one?) on his motocycle in the parking lot of the university when supposedly driving him to school. (I [even more personally] find most interesting the description of the competition between the young ENS students, Roger Apéry and Jacqueline Lelong-Ferrand, for the first position at the agrégation final exam, since I had the privilege of having Madame Lelong-Ferrand as my professor of differential geometry in Paris 6, circa 1983…)