こんにちは、ウチダショウマです。
今日は、有名な
「バーゼル問題」
という東工大の入試にも出題されたことのある、「ある級数が円周率の2乗に収束する」問題の証明を解説していきます！
(なるべく高校数学の知識を用いた解法を心がけます。)
「級数って何？」という方は、まずは以下の記事をご覧になられると良いかと思います。
↓↓↓
参考.無限等比級数とは？公式の証明を部分和を用いて解説！【収束範囲や図形問題への応用アリ】
バーゼル問題とは？
気になっている方も多いと思うので、早速問題を載せたいと思います。
平方数の逆数の和は $\frac{π^2}{6}$ に収束する。
つまり、$$\sum_{n=1}^{\infty}\frac{1}{n^2}=1+\frac{1}{2^2}+\frac{1}{3^2}+…=\frac{{\pi}^2}{6}$$
この式を見て、皆さん何を感じますか？
なんとなくすごいことは分かっても、どこがすごいのかピンとこない方も多いと思います。
僕が思うに、一番すごいところは
有理数の足し算なのに、一見何の関連性もない円周率 $π$ (無理数)が出てくる
これじゃないかなーと感じております。
いきなりこの問題を証明するのはハードルが高いので、まずは
「果たして左辺の級数は本当に収束するのか？」
ということから見ていきましょう。
級数が収束することの証明【部分分数分解】
収束することの証明は、高校数学の知識がある程度身についていれば証明可能です。
では早速解いていきましょう。
↓↓↓
【証明】
$n$が正のとき、$$\frac{1}{n^2}<\frac{1}{n(n-1)}$$
この式を用いると、
※この数式は横にスクロールできます。(スマホでご覧の方対象。)
したがって、この級数は2より小さい値に収束する。
(証明終了)
途中の式で$$\frac{1}{n(n-1)}=\frac{1}{n-1}-\frac{1}{n}$$を用いましたが、この技術を「部分分数分解」と言います。
誰もが一度は楽しくなって連呼するワードTOP3のうちの1つです。
(ほかには「墾田永年私財法」などがノミネートしてます(笑)。)
やり方は簡単で、$$\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$$となります。
今やった差が1の部分分数分解の結果は覚えておくと結構便利だったりしますね。
では、2より小さいある値に収束することがわかったので、なぜ$\frac{π^2}{6}$に収束するのか、解説していきます！
バーゼル問題の証明
ここでは、証明手順を3つに分けて解説していきます♪
それぞれを端的に一言で表現すると、「マクローリン展開」「因数定理」「係数比較」です。
それでは詳しく見ていきましょう♪
↓↓↓
バーゼル問題の証明手順1【$\sin x$を無限級数表示して微分する】
まずは、オイラーによって解かれた有名かつシンプルな方法をご紹介します。
ここで、一つだけ認めていただきたい式があるので、それをまずは書きます。
$$\sin x=a_0+a_1x+a_2x^2+a_3x^3+…$$
というふうに、「$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$ のときの挙動だけみてあげれば、無限和として表せる、という定理です。
このように、ある一点だけで関数を見ることを「局所的に見る」と言います。
ある一点のまわりだけでの挙動さえわかれば、すべての点においての挙動がわかるのですから、この定理はかなりすごいこと言ってます。
物理学のミクロとマクロの関係に近いですね。
バーゼル問題の証明手順2【因数定理を使う】
さて、次のステップは、数学Ⅱで習う「因数定理」を使います。
⇒参考.「因数定理を用いた因数分解のコツとは？因数の見つけ方も証明！【練習問題アリ】」
図をご覧ください。
↓↓↓
虹色で書かれた部分が重要で、
ここで、因数定理とはなんだったかを思い返すと…
因数定理…$f(a)=0$ならば、$x-a$、つまり$1-\frac{x}{a}$を因数に持つ。
よって、2つの事実を応用すると、
※この数式は横にスクロールできます。(スマホでご覧の方対象。)
このように因数分解ができますね！！(ここがポイント！)
因数定理を一部改変しているのは、今回の問題のパターンに合わせるためです。
$\sin x$の$x$の1次の係数は「1」なので、それに合わせて因数分解を行う必要があるということです。
単純に、
※この数式は横にスクロールできます。(スマホでご覧の方対象。)
としてしまっては、$x$の1次の係数が「$-π^2-4π^2-9π^2-…$」となってしまい、矛盾してしまいますね。
バーゼル問題の証明手順3【係数比較】
いよいよ最後のステップに移ります。
今、「マクローリン展開」と「因数定理」という二つの知識を用いて、$\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を！！
コメント