Pierre de Fermat
1608-1665 Paulo Ribenboim
13 Lectures on Fermat's Last Theorem
Springer-Verlag New Y ork Heidelberg Berlin Paulo Ribenboim Department of Mathematics and Statistics Jeff ery Hall Queen's University Kingston Canada K7L 3N6
AMS Subjeet Classifieations (1980): 10-03, 12-03, 12Axx
Library of Congress Cataloguing in Publication Data
Ribenboim, Paulo. 13 leetures on Fermat's last theorem. Inc1udes bibliographies and indexes. I. Fermat's theorem. I. Title. QA244.R5 512'.74 79-14874
All rights reserved.
No part of this book may be translated or reprodueed in any form without written permission from Springer-Verlag.
© 1979 by Springer-Verlag New York Ine. Softtcover reprint ofthe hardcover 1st edition 1979
9 8 7 6 543 2 1
ISBN 978-1-4419-2809-2 ISBN 978-1-4684-9342-9 (eBook) DOI 10.1007/978-1-4684-9342-9 Hommage a Andre Weil pour sa Le<;on: gout, rigueur et penetration. Preface
Fermat's problem, also ealled Fermat's last theorem, has attraeted the attention of mathematieians far more than three eenturies. Many clever methods have been devised to attaek the problem, and many beautiful theories have been ereated with the aim of proving the theorem. Yet, despite all the attempts, the question remains unanswered. The topie is presented in the form of leetures, where I survey the main lines of work on the problem. In the first two leetures, there is a very brief deseription of the early history , as well as a seleetion of a few of the more representative reeent results. In the leetures whieh follow, I examine in sue• eession the main theories eonneeted with the problem. The last two lee tu res are about analogues to Fermat's theorem. Some of these leetures were aetually given, in a shorter version, at the Institut Henri Poineare, in Paris, as well as at Queen's University, in 1977. I endeavoured to produee a text, readable by mathematieians in general, and not only by speeialists in number theory. However, due to a limitation in size, I am aware that eertain points will appear sketehy. Another book on Fermat's theorem, now in preparation, will eontain a eonsiderable amount of the teehnieal developments omitted here. It will serve those who wish to learn these matters in depth and, I hope, it will clarify and eomplement the present volume. It is for me gratifying to aeknowledge the help and encouragement I received in the preparation ofthis book: A. J. Coleman and the Mathematies Department at Queen's University-for providing exeellent working con• ditions; E. M. Wight-for her dilligent and skillful typing ofthe manuscript; G. Cornell-who read the book and helped very mueh in improving the style; The Canada Couneil-for partial support; C. Pisot and J. Oesterle• who arranged for my leetures at the Institut Henri Poineare. viii Preface
It is also my pleasure to report here various suggestions, criticisms and comments from several specialists, whom I consulted on specific points or to whom I have sent an earlier typescript version ofthis book. In alphabetical order: A. Baker, D. Bertrand, K. Inkeri, G. Kreisel, H. W. LenstraJr.,J. M. Masley, M. Mendes-France, B. Mazur, T. Metsänkylä, A. Odlyzko, K. Ribet, A. Robert, P. Samuel, A. Schinzel, E. Snapper, C. L. Stewant, G. Terjanian, A. J. van der Poorten, S. S. Wagstaff, M. Waldschmidt, L. C. Washington.
Kingston, March, 1979 Paulo Ribenboim General Bibliography
There have been several editions of Fermat's works. The first printing was supervised by his son Samuel de Fermat.
1670 Diophanti Alexandrini Arithmeticorum libri sex, et de Numeris Multangulis liber unus. Cum commentariis c.G. Bacheti v.c. et observationibus D. P. de Fermat senatoris Tolosani. Accessit Doctrinae Analyticae inventum novum, collectum ex variis ejusdem D. de Fermat, epistolis. B. Bosc, in-folio, Tolosae. 1679 Varia Opera Mathematica D. Petri de Fermat, Senatoris Tolosani. J. Pech, in-folio, Tolosae. Reprinted in 1861, in Berlin, by Friedländer & Sohn, and in 1969, in Brussels, by Culture et Civilisation. 1891/1894/1896/1912/1922 Oeuvres de Fermat, en 4 volumes et un supplement. Publiees par les soins de MM. Paul Tannery et Charles Henry. Gauthier-Villars, Paris.
In 1957 the old boys high school of Toulouse was renamed "Lycee Pierrede Fermat". For the occasion the Toulouse Municipal Library and the Archives of Haute-Garonne organized an exhibit in honor of Fermat. A brochure was published, describing con• siderable "f"ermatiana":
1957 Un Mathematicien de Genie: Pierre de Fermat (1601-1665). Lycee Pierre de Fermat, Toulouse, 1957.
Many books, surveys and articles have been devoted totally or in part to a historical or mathematical study of Fermat's work, and more specially, to the last theorem. The following selection is based on their interest and availability to the modern reader:
1883 Tannery, P. Sur la date des principales decouvertes de Fermat. Bull. Sei. Math., ser. 2, 7, 1883, 116-128. Reprinted in Sphinx-Oedipe, 3,1908,169-182. x General Bibliography
1860 Smith, H. J. S. Report on the Theory of Numbers, part 11, art. 61, Report of the British Asso• ciation, 1860, Collected M athematical Works, Clarendon Press, Oxford, 1894, 131-137. Reprinted by Chelsea Pub!. Co., New York, 1965. 1910 Bachmann, P. Niedere Zahlentheorie. Teubner, Leipzig, 1910. Reprinted by Chelsea Pub!. Co., New York, 1966. 1910 Lind, B. Uber das letzte Fermatsche Theorem, Teubner, Leipzig, 1910. 1917 Dickson,L.E. Fermat's Last Theorem and the Origin and Nature of the Theory of Aigebraic Numbers. Annals 01 Math., 18, 1917, 161-187. 1919 Bachmann, P. Das Fermatproblem in seiner bisherigen Entwicklung, Walter de Gruyter, Berlin, 1919. Reprinted by Springer-Verlag, Berlin, 1976. 1920 Dickson, L. E. History 01 the Theory 01 Numbers, 11, Carnegie Institution, Washington, 1920. Reprinted by Chelsea Pub!. Co., New York, 1971. 1921 MordelI, L. J. Three Lectures on Fermat's Last Theorem, Cambridge University Press, Cam• bridge, 1921. Reprinted by Chelsea Pub!. Co., New York, 1962, and by VEB Deutscher Verlag d. Wiss. Berlin, 1972. 1925 Ore, (),>. Fermats Teorem. Norske Mat. Tidtskrift7, 1925, 1-10. 1927 Khinchine, A. 1. Velikai Teorema Ferma (The Great Theorem 01 Fermat). State Editor, Moskow• Leningrad, 1927. 1928 Vandiver, H. S. and Wahlin, G. E. Algebraic Numbers, II. Bull. Nat. Research Council, 62, 1928. Reprinted by Chelsea Pub!. Co., New York, 1967. t1934 Monishima, T. Fermat's Problem (in Japanese), Iwanami Shoten, Tokyo, 1934,54 pages. 1948 Got, T. Une enigme mathematique. Le dernier theoreme de Fermat. (A chapter in Les Grands Courants de la Pensee Mathematique, edited by F. Le Lionnais). Cahiers du Sud., Marseille, 1948. Reprinted by A. Blanchard, Paris, 1962. 1961 Bell, E. T. The Last Problem, Simon and Schuster, New York, 1961. 1966 Nogues, R. Theoreme de Fermat, son Histoire, A. Blanchard, Paris, 1966. 1970 Smadja, R. Le Theoreme de Fermat (These de 3e cycle), Universite de Paris VI, 1970. 1973 Besenfelder , H. J. Das Fermat-Problem. Diplomarbeit, Universität Karlsruhe, 61 pages, 1973. 1973 Fournier, J. C. Sur le Dernier Theoreme de Fermat (These de 3e cycle), Universite de Paris VI, 1973. 1973 Mahoney, M. S. The Mathematical Career 01 Pierre de Fermat, Princeton University Press, Prince• ton, 1973. General Bibliography Xl
1974/5 Ferguson, R. P. On Fermat's Last Theorem, I, 11, III. J. Undergrad. Math., 6,1974, 1-14,85-98 and 7, 1975,35-45.
1977 Edwards, H. M. Fermat's Last Theorem. A Genetic lntroduction to Aigebraic Number Theory. Springer-Verlag, New York, 1977.
For the basic facts about algebraic number theory, the reader may consult:
1966 Borevich, Z. I. and Shafarevich, I. R. Number Theory, Academic Press, New Y ork, 1966. 1972 Ribenboim, P. Aigebraic Numbers, Wiley-Interscience, New York, 1972.
This last book will be quoted as [Ri].
The sign t in front of a bibliography entry indicates that I was unable to examine the item in question. All the information gathered in this book sterns direct1y from the original sources. Contents
Lecture I The Early History of Fermat's Last Theorem 1 The Problem 1 2 Early Attempts 4 3 Kummer's Monumental Theorem 6 4 Regular Primes 9 5 Kummer's Work on Irregular Prime Exponents 10 6 Other Relevant Results 12 7 The Golden Medal and the Wolfskehl Prize 13 Bibliography 16
Lecture II Recent Results 19 1 Stating the Results 19 2 Explanations 21 Bibliography 29
Lecture III B.K. = Before Kummer 35 1 The Pythagorean Equation 36 2 The Biquadratic Equation 37 3 The Cubic Equation 39 4 The Quintic Equation 45 5 Fermat's Equation of Degree Seven 46 Bibliography 47 XlV Contents
Lecture IV The NaIve Approach 51 1 The Relations of Barlow and Abel 51 2 Sophie Germain 54 3 Congruences 57 4 Wendt's Theorem 61 5 Abel's Conjecture 63 6 Fermat's Equation with Even Exponent 65 7 Odds and Ends 69 Bibliography 70
Lecture V Kummer's Monument 75 1 A Justification of Kummer's Method 75 2 Basic Facts about the Arithmetic of Cyclotomic Fields 77 3 Kummer's Main Theorem 82 Bibliography 90
Lecture VI Regular Primes 93 I The Class Number of Cyclotomic Fields 93 2 Bernoulli Numbers and Kummer's Regularity Criterion 99 3 Various Arithmetic Properties of Bernoulli Numbers 103 4 The Abundance of Irregular Primes 106 5 Computation of Irregular Primes 107 Bibliography 111
Lecture VII Kummer Exits 115 1 The Periods of the Cyclotomic Equation 115 2 The Jacobi Cyclotomic Function 117 3 On the Generation of the Class Group of the Cyclotomic Field 119 4 Kummer's Congruences 120 5 Kummer's Theorem for a CI ass of Irregular Primes 126 6 Computations of the Class Number 130 Bibliography 134
Lecture VIII After Kummer, a New Light 139 I The Congruences of Mirimanoff 139 2 The Theorem of Krasner 148 3 The Theorems of Wieferich and Mirimanoff 151 4 Fermat's Theorem and the Mersenne Primes 154 5 Summation Criteria 155 6 Fermat Q)lotient Criteria 159 Bibliography \6\ Contents xv
Lecture IX The Power of Class Field Theory 165 I The Power Residue Symbol 165 2 Kummer Extensions 167 3 The Main Theorems of Furtwängler 168 4 The Method of Singular Integers 170 5 Hasse 172 6 The p-Rank of the Class Group of the Cyc1otomic Field 178 7 Criteria of p-Divisibility of the Class Number 184 8 Properly and lmproperly lrregular Cyc1otomic Fields 188 Bibliography 193
Lecture X Fresh Efforts 199 I Fermat's Last Theorem Is True for Every Prime Exponent Less Than 125000 199 2 Euler Numbers and Fermat's Theorem 202 3 The First Case ls True for lnfinilely Many Pairwise Relatively Prime Exponents 205 4 Connections between Elliptic Curves and Fermat's Theorem 207 5 Iwasawa's Theory 209 6 The Fermat Function Field 211 7 Mordell's Conjecture 214 8 The Logicians 216 Bibliography 218
Lecture XI Estimates 225 I Elementary (and Not So Elementary) Estimates 225 2 Estimates Based on the Criteria Involving Fermat Quotients 229 3 Thue, Roth, Siegel and Baker 232 4 Applications of the New Methods 237 Bibliography 241
Lecture XII Fermat's Congruence 245 I Fermat's Theorem over Prime Fields 245 2 The Local Fermat's Theorem 251 3 The Problem Modulo a Prime-Power 253 Bibliography 260
Lecture XIII Variations and Fugue on a Theme 263 I Variation I (ln the Tone of Polynomial Functions) 263 2 Variation 1I (ln the Tone of Entire Functions) 265 XVi Contents
3 Variation III (In the Theta Tone) 266 4 Variation IV (In the Tone of Differential Equations) 270 5 Variation V (Giocoso) 271 6 Variation VI (In the Negative Tone) 272 7 Variation VII (In the Ordinal Tone) 273 8 Variation VIII (In a Nonassociative Tone) 273 9 Variation IX (In the Matrix Tone) 275 10 Fugue (In the Quadratic Tone) 277 Bibliography 286
Epi10gue 291
Index of Names 293
Subject Index 299