A summary of Euler's work on the pentagonal number theorem
type: Item
instance of: scholarly article
title: A summary of Euler's work on the pentagonal number theorem
zbMATH Open document ID: 1208.01013
author: Jordan Bell
published in: Archive for History of Exact Sciences
publication date: 2010-09-22T00:00:00Z
review text: The author gives a very detailed mathematical as well as historical case study of Euler's work on the pentagonal number Theorem \[ (1-x)(1-x^2)(1-x^3) \dots = 1-x-x^2+x^5+x^7+\dots \] (the exponents of the infinite series are the pentagonal numbers \(\omega_n = n(3n-1)/2\), \(n = 0, \pm1, \pm2,\dots)\), this is one of the most important results of Euler. He himself spoke of the ``sehr wunderbaren Ordnung in den Zahlen''. This equality inductively found by Euler about in autumn 1740 was stated but not proved yet by Euler in ``Observatio analyticae\dots'' (E150), read before the Academy on May 15, 1741 and published in the Academy journal ``Commentarii'' in 1751 (for 1741). Bell's paper describes in detail how Euler found a general proof. For this purpose the topic is embedded in a glimpse of the prehistory, in Euler's related correspondence (above all with Christian Goldbach) and an unpublished proof (Euler's notebooks). The paper begins with Euler's work on infinite products (for example \(\sin z\), \(\zeta(s)\)) and some related infinite series. The author regards the history of the theorem as ``an excellent case for understanding the relation to Euler between examples of a theorem that seem like they could be generalized and a general proof of the theorem'' (p. 303). The Theorem was stated in some papers (E158, E 175 and E243) before Euler finally was able to prove the Theorem in ``Demonstratio theorematis\dots'' (E244) in the ``Novi Commentarii'' for 1754/55 (printed in 1760); some letters to Goldbach anticipated the papers (21. 3. 1747, 29. 5. 1750); in \S3 Bell discusses also a more complicated unpublished proof contained in Euler's Note books. Euler's last papers on the Theorem and pentagonal numbers were written 1775 (E541, E542). In the beginning Euler inferred the Theorem from the recurrence formula \(\sigma(n)\) for the sum of divisors of a natural number \(n\), where by a daring incomplete induction he justified the formula for \(\sigma(n)\). The deductio…
reviewed by: Ruediger Thiele
Mathematics Subject Classification ID: 01A50
Mathematics Subject Classification ID: 11-03
Mathematics Subject Classification ID: 40-03
zbMATH DE Number: 5790092
zbMATH Keywords: number theory
zbMATH Keywords: pentagonal numbers
zbMATH Keywords: Euler
MaRDI profile type: Publication
full work available at URL: s00407-010-0057-y
OpenAlex ID: W1992170919
cites work: Euler's Pentagonal Number Theorem
cites work: Q4218535
cites work: Q4338937
cites work: Leonhard Euler: The first St. Petersburg years (1727--1741)
cites work: The rise and development of the theory of series up to the early 1820s
cites work: On Euler's attempt to compute logarithms by interpolation: a commentary to his letter of February 16, 1734 to Daniel Bernoulli
cites work: Q5788558
cites work: Q3286339
cites work: Q4350164
cites work: Q5658057
cites work: The mathematical studies of G. W. Leibniz on combinatorics
cites work: Leonhard Euler and a 𝑞-analogue of the logarithm
cites work: Q5526246
cites work: Q3286341
cites work: Q5828993
cites work: Q5608153
cites work: Q5666618
cites work: Q3430842
cites work: Q3041132
cites work: Q5757002
cites work: Q5605185
cites work: AN EXAMPLE IN THE THEORY OF THE SPECTRUM OF A FUNCTION
cites work: Q4079943
cites work: Q3312297
cites work: Q3254296
DOI: 10.1007/S00407-010-0057-Y
description: scientific article; zbMATH DE number 5790092