バーゼル問題
解決済み、1735年解析学
問題の内容
正の整数の平方の逆数の和 の正確な値を求めよ。この級数が収束することは知られていたが、その正確な閉じた形はほぼ1世紀もの間分からなかった。
オイラーは1735年にこの結果を初めて発表したが、それは の無限積と多項式をその根で因数分解する方法との大胆な類推に基づいており、当時は厳密に正当化されていなかった。完全に厳密な証明が得られたのは、ワイエルシュトラスの因数分解定理(1876年)が整関数を無限積として表すことを正当化した、何十年も後のことである。
- Beukers–Calabi–Kolk による二重積分を用いた証明(1993年)Frits Beukers, Eugenio Calabi, Johan A. C. Kolk, 1993難易度 4/5大学
- サイン関数の無限乗積公式によるオイラーの証明(1734–1735)Leonhard Euler, 1735難易度 3/5大学
参考文献
- Frits Beukers, Eugenio Calabi, Jan A. C. Kolk (1993). Sums of generalized harmonic series and volumes · DOI:10.1007/s12045-015-0241-0
- William Dunham (1999). Euler: The Master of Us All
- Martin Aigner, Günter M. Ziegler (2018). Proofs from THE BOOK