バーゼル問題とは？東工大入試にも出てきた問題を証明！【円周率に収束】

こんにちは、ウチダです。
今日は、有名な

「バーゼル問題」

という東工大の入試にも出題されたことのある、「ある級数が円周率の $2$ 乗に収束する」問題の証明を解説していきます！

(なるべく高校数学の知識を用いた解法を心がけます。)

「級数って何？」という方は、まずは以下の記事をご覧になられると良いかと思います。

バーゼル問題とは？

気になっている方も多いと思うので、早速問題を載せたいと思います。

この式を見て、皆さん何を感じますか？

なんとなくすごいことは分かっても、どこがすごいのかピンとこない方も多いと思います。

僕が思うに、一番すごいところは

有理数の足し算なのに、一見何の関連性もない円周率 $π$ (無理数)が出てくる

これじゃないかなーと感じております。

いきなりこの問題を証明するのはハードルが高いので、まずは

「果たして左辺の級数は本当に収束するのか？」

ということから見ていきましょう。

級数が収束することの証明【部分分数分解】

収束することの証明は、高校数学の知識がある程度身についていれば証明可能です。

では早速解いていきましょう。

↓↓↓

【証明】

$n$が正のとき、$$\frac{1}{n^2}<\frac{1}{n(n-1)}$$

この式を用いると、

※この数式は横にスクロールできます。(スマホでご覧の方対象。)

したがって、この級数は2以下の値に収束する。

(証明終了)

途中の式で$$\frac{1}{n(n-1)}=\frac{1}{n-1}-\frac{1}{n}$$を用いましたが、この技術を「部分分数分解」と言います。

やり方は簡単で、$$\frac{1}{n(n-1)}=\frac{a}{n-1}-\frac{b}{n}$$のように文字$a,b$を用いて式を立てて、右辺を左辺の形に戻していきます。

つまり、

と通分して整理します。

ここで、分母が$n(n-1)$でそろったので、分子を見ていくと、$$1=(a-b)n+b$$がすべての$n$に対して成り立つ必要があるので、$$\left\{\begin{array}{1}a-b=0\\b=1\end{array}\right.$$の連立方程式を解いて、$$a=1,b=1$$となります。

では、$2$ より小さいある値に収束することがわかったので、なぜ$\displaystyle \frac{π^2}{6}$に収束するのか、解説していきます！

スポンサーリンク

バーゼル問題の証明

ここでは、証明手順を $3$ つに分けて解説していきます♪

それぞれを端的に一言で表現すると、「マクローリン展開」「因数定理」「係数比較」です。

それでは詳しく見ていきましょう♪

STEP1：sinxを無限級数表示して微分する

まずは、オイラーによって解かれた有名かつシンプルな方法をご紹介します。

ここで、一つだけ認めていただきたい式があるので、それをまずは書きます。

$$\sin x=a_0+a_1x+a_2x^2+a_3x^3+…$$

以上のように、$\sin x$ は「$x$を用いた無限級数として表せます。（ $a_0 \ , \ a_1 \ , \ …$ はある定数）

ここで、

「$\sin x$を4回微分すると元に戻る性質」

これを使います。
(1回目は$\cos x$,2回目は$-\sin x$,3回目は$-\cos x$,4回目は$\sin x$ですね。)

まず一回目。$$\cos x=a_1+2a_2x+3a_3x^2+…$$

微分を行ったら、「$x=0$を代入」してみましょう。

すると、$$\cos 0=a_1+0+0+0+…=a_1$$となり、$\cos 0=1$なので、$$a_1=1$$であることがわかりました！

このように、

微分する→$x=0$を代入して定数を求める

を繰り返していくことで、定数$a_n$をどんどん求めることができます。

(1番初めの微分する前の式にも、$x=0$ を代入して $a_0$ の値を求めておきましょう。)

この操作を行うと、$$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-…$$

と表せることがわかります。

(補足)
実は今行った操作が、大学の解析学で序盤に習う「マクローリン展開」と呼ばれるものです。
今行ったように、関数を $x=0$ のときの挙動だけみてあげれば、無限和として表せる、という定理です。
このように、ある一点だけで関数を見ることを「局所的に見る」と言います。
ある一点のまわりだけでの挙動さえわかれば、すべての点においての挙動がわかるのですから、この定理はかなりすごいこと言ってます。
物理学のミクロとマクロの関係に近いですね。

STEP2：因数定理を使う

さて、次のステップは、数学Ⅱで習う「因数定理」を使います。

図をご覧ください。

↓↓↓

虹色で書かれた部分が重要で、

ここで、因数定理とはなんだったかを思い返すと…

因数定理…$f(a)=0$ならば、$x-a$、つまり$\displaystyle 1-\frac{x}{a}$を因数に持つ。

よって、2つの事実を応用すると、

※この数式は横にスクロールできます。(スマホでご覧の方対象。)

このように因数分解ができますね！！(ここがポイント！)

追記：STEP2は完全に誤りでした。申し訳ございません。

詳細は割愛しますが、sin(x)のような三角関数に因数定理は適用できませんでした。（多項式f(x)に対してのみ因数定理は適用できる）

sin(x)の無限積展開は複素解析の一部であり、その導出は専門的な数学の知識を必要とするので、ここでは割愛させていただきます。（式の結果としては一致します）

間違った情報で混乱させてしまい、大変申し訳ございませんでした。

STEP3：係数比較をする

いよいよ最後のステップに移ります。

今、「マクローリン展開」と「因数定理」という二つの知識を用いて、$\sin x$という関数を二通りの式で表すことができました。

しかし、$\sin x$という関数自体は変わっていないため、その二通りの式が一致していないとおかしな話になります。

よって、

※この数式は横にスクロールできます。

この等式が成り立つことになります。

ここで、この両辺を$x$で割ってみましょう。
($x≠0$とします。)

※この数式は横にスクロールできます。(スマホでご覧の方対象。)

この式のどこに注目するかというと…

実際に見てみると、左辺は$$-\frac{1}{3!}=-\frac{1}{6}$$です。(おっと、なんかそれっぽくなってきましたね！)

右辺については、まず展開公式を用いて少し変形します。

※この数式は横にスクロールできます。

すると、$x^2$の係数は、ある一つの分数を選んだら他はすべて1を選ばなければならないので、$$-\frac{1}{π^2}-\frac{1}{(2π)^2}-\frac{1}{(3π)^2}-…$$となりますね！(組合せ(“$C$”)の考え方ですね。)

よって、$$-\frac{1}{6}=-\frac{1}{π^2}-\frac{1}{(2π)^2}-\frac{1}{(3π)^2}-…$$が成り立ち、両辺に$-π^2$をかけてあげれば、$$1+\frac{1}{2^2}+\frac{1}{3^2}+…=\frac{π^2}{6}$$したがって、証明することができました。

ポイントを押さえて、認めるところを認めていけば、それほど難解な知識を用いなくても証明できちゃうのが、この問題のすごいところですね！

スポンサーリンク

Coffee Break

さて、少し疲れたので休憩しましょうか。

少し雑学でも挟んでいこうと思います。

この証明を思いついた「レオンハルト・オイラー」は18世紀の数学界の巨匠の1人で、たくさんの業績を残しています。

とくに有名なのが、高校数学でも習う

• オイラーの公式
• オイラーの多面体定理

この2つではないでしょうか。

オイラーさんは、業績を見るに、「整数」の扱い方がとても素晴らしいです。

かと思えば、ネイピア数eの別名が「オイラー数」と呼ばれるなど、活躍は多岐にわたります。

また、今回のバーゼル問題は、「リーマンゼータ関数」なる関数$$\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}$$の$s=2$の値です。

今回の話を応用すれば、$s=4,s=6,…$のときも、係数比較をして求めることができて、

$$\zeta(4)=\frac{π^4}{90} , \zeta(6)=\frac{π^6}{945}$$であることがわかります。

休憩はこのあたりにして、次の章からは、このバーゼル問題を
「高校数学の知識のみ」
を用いて証明していきましょう。
(ただ、丁寧に書くととってもごちゃごちゃしてしまうので、ここでは概略のみの解説とさせていただきます。)

バーゼル問題を「高校数学で」【三角関数で挟み撃ちの原理】

まず、ざっとした方針を説明すると、

• 三角関数を用いて、不等式で級数をはさむ
• はさみうちの原理で極限を求める

これを具体的に行う方法が、「それどうやって思いつくの…？」と疑問に思ってしまうような発想なので、ここでは文献のみ載せることにします。

参考文献→一つ目
参考文献→二つ目

どちらの証明にも共通して用いている性質が$$0≦θ≦\frac{π}{2}において、\sin θ≦θ≦\tan θ$$です。

この性質を証明するには、図のような三角形を考えます。

↓↓↓

この図で、それぞれの面積を考えると、$$△OAB≦扇形OAB≦△OAC$$が成り立っていますね。

あとはそれぞれの面積を $θ$ を用いて表現することで、証明したい性質が得られます。

バーゼル問題に関するまとめ

いかがだったでしょうか。

今日は有理数の足し算でも無理数になってしまう面白い例を紹介しました。

ちなみに、これは「無限回」足し算した結果起こる現象です。有限回の足し算であれば、有理数の足し算は絶対に有理数です。

こういうことを鑑みると、なんか「無限」って面白そうですよね。

数学のいいところは、無限について有限な時間の中で考えることができるところです。

実際大学に行くと、無限についての議論がめちゃくちゃ多いです。

有限なものに関して面白いものはもう発見されつくしているのかもしれませんね。

数学Ⅲで習う「極限」も、高校では直感的に理解しますが、大学では「ε-δ論法(イプシロン-デルタ論法)」と呼ばれる考え方で厳密に定義して、高校の時は考えられなかった極限についても考えていきます。

そういうのに興味がある方は、理学部数学科に進んでみるのもアリかもしれませんね。

以上、ウチダでした。
それでは皆さん、よい数学Lifeを！！