“The riddle of the ages”: James Joseph Sylvester and the transcendence of \(\pi\). (English) Zbl 07864121
The subject of this paper is the proof of the transcendence of \(\pi\) that was published by J. J. Sylvester in 1890. Curiously, this proof has only rarely been cited, for reasons that are explored here. The paper under review begins with a survey of previous irrationality and transcendence proofs for \(e\) and \(\pi\) by such figures as Leonhard Euler, Johann Lambert, Adrien-Marie Legendre, Joseph Fourier, Joseph Liouville, Charles Hermite, and Ferdinand Lindemann. Sylvester appears next, and his passion for what he called the ‘riddle of the ages’ (the transcendence of \(\pi\)) is discussed. An outline of Sylvester’s purported proof follows, and reasons for its neglect are considered. These include errors in Sylvester’s method, his avoidance of Weierstrassian analysis, and the tact of the wider mathematical community in not drawing attention to the errors of one of the elderly statesmen of the discipline.
Reviewer: Christopher Hollings (Oxford)
Biographic References:
Sylvester, James JosephReferences:
| [1] | Baker, A.Transcendental number theory. Cambridge: Cambridge University Press; 1975. · Zbl 0297.10013 |
| [2] | Niven, I.Irrational numbers. Washington DC: Mathematical Association of America; 1956. · Zbl 0070.27101 |
| [3] | Shidlovskii, AB.Transcendental numbers. Trans N Koblitz. Berlin: Walter de Gruyter; 1989. · Zbl 0689.10043 |
| [4] | Euler, L.De fractionibus continuis dissertation (E71). Comm Acad Sci Imp Petrop. 1737;9(1744):98-137 (also Opera Omnia, ser. 1, vol. 14, p.187-216). |
| [5] | Lambert, JH.Mémoire sur quelques propriétés remarquables des quantités transcendentes circulaires et logarithmiques. Hist Acad Roy Sci. (Berlin)1761;17(1768):265-322. |
| [6] | Legendre, A-M.Éléments de géométrie, avec des notes. Paris: Firmin Didot; 1794. |
| [7] | Cretney, R.The origins of Euler’s early work on continued fractions. Hist Math. 2014;41(2):139-156. doi: . · Zbl 1295.01005 |
| [8] | Sandifer, CE.How Euler did it. Washington DC: Mathematical Association of America; 2007. · Zbl 1141.01009 |
| [9] | de Stainville, J.Mélanges d’analyse algébrique et de géométrie. Paris: Courcier; 1815. |
| [10] | Liouville, J.Sur l’irrationalité du nombre \(e=2,718\ldots\) J Math Pures Appl1840;5:192. |
| [11] | Liouville, J.Addition à la note sur l’irrationalité du nombre e. J Math Pures Appl. 1840;5:193-194. |
| [12] | Liouville, J.Remarques relatives à des classes très-étendues de quantités dont la valeur n’est ni rationnelle ni même rédicible à des irrationnelles algébriques. C R Acad Sci. 1844;18:883-885. |
| [13] | Cantor, G.Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. J Reine Angew Math. 1874;77:258-262. doi: . |
| [14] | Hermite, C.Sur la fonction exponentielle. C R Acad Sci. 1873;77:18-24, 74-79, 226-233, 285-293. doi: .(also Œuvres, Vol. 3. Paris: Gauthier-Villars, p. 150-181). · JFM 05.0248.01 |
| [15] | Lindemann, F.Über die Zahl π. Math Ann. 1882;20:213-225. doi: . · JFM 14.0369.04 |
| [16] | Weierstrass, K.Zu Hrn. Lindemann’s Abhandlung: ‘Über die Ludolph’sche Zahl’. Sitzber. K. Preuss. Akad. Wiss. Berl. 1885;5: 1067-1086. doi: .(also Werke, Vol. 2. Berlin: Mayer & Müller. p. 341-362). |
| [17] | Stieltjes, TJ.Sur la fonction exponentielle. C R Acad Sci. 1890;110:267-270. · JFM 22.0435.03 |
| [18] | Hilbert, D.Über die Transcendenz der Zahlen e und π. Math Ann. 1893;43:216-219. doi: . |
| [19] | Hurwitz, A.Beweis der Transendenz der Zahl e. Math Ann. 1893;43:220-221. doi: . |
| [20] | Gordan, P.Transcendenz von e und π. Math Ann. 1893;43:222-224. doi: . · JFM 25.0734.04 |
| [21] | Mertens, F.Über die Transzendenz der Zahlen e und π. Sitzber K Akad Wiss Math Nat. 1896;105:839-955. |
| [22] | Vahlen, T.Beweis des Lindemann’schen Satzes über die Exponentialfunction. Math Ann. 1900;53:457-460. doi: . · JFM 31.0433.08 |
| [23] | Weber, H.Lehrbuch der Algebra. Vol. II. Braunschweig: Vieweg; 1896. · JFM 27.0056.01 |
| [24] | Enriques, F.Questioni Riguardanti la Geometria Elementare. Bologna: Zanichelli; 1900. |
| [25] | Hobson, EW.A treatise on plane trigonometry, 3rd ed. Cambridge: University Press; 1911. |
| [26] | Perron, O.Irrationalzahlen. Berlin and Leipzig: Walter de Gruyter; 1921. · JFM 48.0190.05 |
| [27] | Landau, E.Vorlesungen über Zahlentheorie, Vol. 3. Leipzig: Hirzel; 1927. |
| [28] | Hardy, GH, Wright, EM.An introduction to the theory of numbers. Oxford: Clarendon Press; 1938. · Zbl 0020.29201 |
| [29] | Sylvester, JJ.Preuve que π ne peut pas être racine d’une équation algébrique à coefficients entiers. C R Acad Sci. 1890;111: 866-871 (also Collected Mathematical Papers, Vol. 4. Cambridge: University Press. p. 682-686). · JFM 22.0437.05 |
| [30] | Parshall, KH.James Joseph Sylvester: Jewish Mathematician in a Victorian World. Baltimore: The Johns Hopkins University Press; 2006. · Zbl 1100.01006 |
| [31] | Sylvester, JJ.Sur l’impossibilité de l’existence d’un nombre parfait impair qui ne contient pas au moins 5 diviseurs premiers distincts. C R Acad Sci. 1888;106:522-526 (also Collected Mathematical Papers, Vol. 4. Cambridge: University Press. p. 611-614). · JFM 20.0173.04 |
| [32] | Franklin, F.James Joseph Sylvester: Address delivered at a memorial meeting at the Johns Hopkins University, May 2, 1897. Bull Amer Math Soc. 1897;3(9):299-309. doi: . · JFM 28.0030.05 |
| [33] | Sylvester, JJ.On the divisors of the sum of a geometrical series whose first term is unity and common ratio any positive or negative integer. Nature. 1888;37:417-418. (also Collected Mathematical Papers, Vol. 4. Cambridge: University Press. p. 625-629). doi: . · JFM 20.0176.05 |
| [34] | Parshall, KH.James Joseph Sylvester: life and work in letters. Oxford: Clarendon Press; 1998. · Zbl 0929.01018 |
| [35] | Parshall, KH, Seneta, E.Building an international reputation: the case of J. J. Sylvester (1814-1897). Amer Math Monthly. 1997;104(3):210-222. doi: . · Zbl 0872.01011 |
| [36] | Sylvester, JJ.Sur le rapport de la circonférence au diamètre. C R Acad Sci. 1890;111:778-780 (also Collected Mathematical Papers, Vol. 4. Cambridge: University Press. p. 680-681). |
| [37] | Fauvel, J.James Joseph Sylvester. In: Fauvel, J, Flood, R, Wilson, R, eds. Oxford figures: eight centuries of the mathematical sciences, 2nd ed. Oxford: Oxford University Press; 2013. p. 281-302. · Zbl 1282.01001 |
| [38] | Sylvester, JJ.Sur les déterminants composés. J Reine Angew Math. 1880;88: 49-67. (also Collected Mathematical Papers, Vol. 3. Cambridge: University Press. p. 456-473). doi: . |
| [39] | Borchardt, CW.Remarque relative au mémoire de M. Sylvester sur les determinants composés. J Reine Angew Math. 1880;89:82-85. doi: . · JFM 12.0108.01 |
| [40] | Baillaud, B, Bourget, H, eds. Correspondance d’Hermite et de Stieltjes, Vol. 2. Paris: Gauthier-Villars; 1905. |
| [41] | Hermite, C, Ogigova, H.Les lettres de Ch. Hermite à A. Markoff, 1885-1899. Rev Hist Sci Appl. 1967;20(1):1-32. doi: . · Zbl 0149.00204 |
| [42] | Markov, AA.On Sylvester’s proof of the transcendence of π [in Russian]. St. Petersb Math Ges. 1899;9-10. · JFM 30.0386.01 |
| [43] | Hurwitz, A.Review of Sylvester’s proof. Jahrb Fortsch Math. 1893;22:437-439. |
| [44] | Sylvester, JJ.On the Goldbach-Euler theorem regarding prime numbers. Nature. 1896-7;55: 196-197, 269. doi: . · JFM 27.0137.01 |
| [45] | Amalric, PM.The Galezowski tradition in Paris. Doc Ophthalmol. 1999;98:105-113. doi: . |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
