今回は、バーゼル問題についてです。
バーゼル問題(バーゼルもんだい、英: Basel problem)は、級数の問題の一つで、平方数の逆数全ての和はいくつかという問題である。ヤコブ・ベルヌーイやレオンハルト・オイラーなどバーゼル出身の数学者がこの問題に取り組んだことからこの名前で呼ばれる。
(引用:Wikipedia)
要するに、
の収束値を問うているわけです。驚くべきことに、この答えは
その求め方として、
しかし、マクローリン展開はある程度納得できるにしても、
他にも、フーリエ級数展開を用いた手法や、重積分を用いた手法などがありますが、大学程度の予備知識が必要で、(個人的には)
まだ分かりにくいと感じていました。
今回私が見つけた手法は、逆三角関数、広義積分と、ライプニッツの積分法則(ファインマンの手法)さえ知っていれば高校生でも十分理解可能なものです。
この記事では、その手法でバーゼル問題を解いていきます。
(※数学的な厳密性は、分かりやすさのため欠いています。一応、私自身各過程で成り立つことは証明しているはずですが、微妙な部分が含まれているかもしれません。)
まず、求める級数を、偶数部分と奇数部分に分けます。
左辺第2項を移行して、
今、
そのため、ここから下は、
を示します。
まず、次のような関数を用意します。
ここで、
一方で、
よって、逆関数の微分公式より、
次に、
これが成り立つことを確認するために、ライプニッツの積分法則(の特殊形)を用います。
二変数関数
厳密な証明ではない、これが成り立つ説明は、例えば次のようなものが考えられます。
です。一方で、
です。
で、確かに成り立ちそうです。
ただし、このままでは、元の
直ちには用いることはできません。そこで少し工夫をします。
まず、積分範囲を分けます。
右辺第2項について、
であることが分かります。
よって、
と、積分範囲を
これで、
(※
ここで、
です。
一方で、幾何級数公式
このとき、積分と極限の交換について、ルベーグの優収束定理を用いれば交換可能であることが分かります。ここでは交換可能であることを認めると、
ここで、
各項について、
よって、
となります。これを先ほどの級数に代入して、
であることが示せました。
よって、
となります。
いかがだったでしょうか。煩雑な式処理が随所にあるものの、難解な部分はほとんどなく、高校生でも十分理解可能であると思います。
まあ、簡単な証明かどうかはそこまで重要ではなく、自分自身で新たな解法を得られた、という点が非常に嬉しいことです。
つらい浪人生活も、「まあ、私はバーゼル問題の新解法を思いついたし」と思うと、不思議とやっていける、そんな気がします。
以上です。