高校数学3の微分積分の範囲で、円周率\( \pi \)が無理数である証明を行います。
今回の内容の動画版はこちら→円周率πが無理数であることを高校数学の範囲で証明【修正版】
数学1の割と最初の方で、有理数・無理数の話があり、\( \sqrt2 \)や円周率\( \pi\)は無理数だぞー、と習います。
\( \sqrt2 \)が無理数というのは数学1で背理法を学習するときに証明することにわるわけですが、円周率\( \pi \)についてはしばらく無理数と信じて高校生活を過ごすことになります。そしてそのまま卒業！…一度も無理数であることの証明を知らずに過ごす方がほとんどかと思われます。ということで今回はそれを証明をかいておきます。小平邦彦著『数学の学び方』にある、1947年にNivenが発表した方法です。
[box class="blue_box" title="定理"]円周率\( \pi \)は無理数である[/box](証明)\( p,n \)を任意の自然数として
\( \displaystyle f(x)=\frac{1}{n!}p^nx^n(\pi-x)^n \)
とおき、積分
\( \displaystyle \int_{0}^{\pi}\sin x f(x)dx \)…①
を考える。次の2つのステップによって矛盾を導く。
(ステップ1)十分大きい任意の\( n \)および任意の自然数\( p \)で①の値は0より大きく1より小さいことを示す。
(ステップ2)\( \pi \)を有理数と仮定し，①の\( p \)を"\( \pi \)の分母"とすれば①の値が整数になることを示す。
(ステップ1)を示す。
二次関数\( y=x(\pi-x) \)の最大値は\( \displaystyle \frac{\pi^2}{4} \)であるから
\( \displaystyle 0<f(x)=\frac{1}{n!}p^nx^n(\pi-x)^n \)
\( \displaystyle \ \ =\frac{p^n}{n!}\left\{ x(\pi-x)\right\}^n<\frac{p^n}{n!}\left(\frac{\pi^2}{4}\right)^n \)
である。また\( 0\leq x\leq \pi \) のとき\( 0\leq \sin x \leq 1 \)であるから、
\( \displaystyle 0<\sin x f(x) <\frac{1}{n!}\left(\frac{p\pi^2}{4}\right)^n \)
となる。これを\( 0 \)から\( \pi \)まで積分して
\( \displaystyle 0<\int_{0}^{\pi}\sin x f(x) dx<\frac{1}{n!}\left(\frac{p\pi^2}{4}\right)^n\pi \)
となる。ここで、一般に任意の正の実数\( a\)に対して
\( \displaystyle \lim_{n\to \infty}\frac{a^n}{n!}=0 \)
となることから(証明は本記事の最下部を参照)、十分大きい任意の\( n \)に対して
\( \displaystyle 0<\int_{0}^{\pi}\sin x f(x)dx< 1\)
が成り立つ。これで(ステップ1)が示された。
(ステップ2)を示す。
部分積分を2回使うと
\( \displaystyle \int_{0}^{\pi}\sin x f(x)dx \)
\( \displaystyle \ \ =\left[-\cos x f(x)\right]_{0}^{\pi}+\int_{0}^{\pi}\cos x f'(x)dx \)
\( \displaystyle \ \ =f(\pi)+f(0)+\int_{0}^{\pi}\cos xf'(x)dx \)
\( \displaystyle \ \ \ {\small =f(\pi)+f(0)+\left[\sin x f'(x)\right]_{0}^{\pi}-\int_{0}^{\pi}\sin xf''(x)dx}\)
\( \displaystyle \ \ =f(\pi)+f(0)-\int_{0}^{\pi}\sin xf''(x)dx \)
となる。これを\( n+1 \)回繰り返す。\( f(x) \)は\( x \)についての\( 2n \)次式であるから\( f^{(2n+2)}(x)=0 \)となることに注意すると
\( \displaystyle \int_{0}^{\pi}\sin xf(x)dx=\sum_{k=0}^{n}(-1)^k(f^{(2k)}(\pi)+f^{(2k)}(0)) \)
となる。\( f(\pi-x)=f(x) \)により\( f^{(k)}(\pi)=(-1)^kf^{(k)}(0) \)であるから
\( \displaystyle \int_{0}^{\pi}\sin xf(x)dx=2\sum_{k=0}^{n}(-1)^kf^{(2k)}(0) …① \)
となる。ここで\( \displaystyle f(x)=\frac{1}{n!}p^nx^n(\pi-x)^n \)を二項定理で展開すると
\( \displaystyle f(x)=\frac{1}{n!}\sum_{k=0}^{n}(-1)^k\ _nC_kp^n\pi^{n-k}x^{n+k}\)
である。\( f(x) \)は\( x \)について\( n \)次の項から始まるので
\( \displaystyle f(0)=f'(0)=f''(0)=\cdots f^{(n-1)}(0)=0…②\)
である。また、\( n+k\ (k=0,1,2,\cdots , n) \)回微分すると
\( \displaystyle f^{(n+k)}(x)=\frac{1}{n!}(-1)^k\ _nC_{k}p^n\pi^{n-k}(n+k)!+g(x) \)
(ただし、\( g(x) \)は定数項が\( 0 \)の多項式)
という形になる。よって
\( \displaystyle f^{(n+k)}(0)=(-1)^k\ _nC_k\frac{(n+k)!}{n!}p^n\pi^{n-k} \)…③
となる。ここで\( \pi \)が有理数、すなわちある自然数\( p,q \)があって
\( \displaystyle \pi=\frac{q}{p} \)
と表されたと仮定する。\( f(x) \)内の\( p \)は任意としていたから"\( \pi \)の分母"\( p \)と同じものと考えて良い。このとき③の右辺は
\( \displaystyle p^{n}\pi^{n-k}=p^n\cdot \frac{q^{n-k}}{p^{n-k}}=p^kq^{n-k} \)
により整数となる(分母に整数が残らない)。①の右辺について\( 2k<n \) となる項の値は②により\( 0 \)であり、また\( 2k\geq n \)の項に対しては整数であるから結局
\( \displaystyle \int_{0}^{\pi}\sin x f(x)dx \)
の値が整数であること(ステップ2)が示された。
(ステップ1)および(ステップ2)で示した主張が同時に成り立つのは矛盾である。よって(ステップ2)内の"\( \pi \)が有理数である"という仮定が誤っている。したがって\( \pi \)は無理数である。(証明終)
[/box]多分自力では一生思いつかないであろう、巧みな証明でしたね。(高校数学の範囲に限定せず、どんな道具でも使って良いとすると\( \pi \)の無理数性の証明はどうやってやるのだろうか…)
では。
[box class="glay_box"]
(補足)\( \displaystyle \lim_{n\to \infty}\frac{a^n}{n!}=0 \)の説明。
任意の正の数\( a \)に対し、十分\( N \)を大きくとれば\( N>2a \)とできる。よって
\( \displaystyle \frac{a^n}{n!}=\frac{a\cdot a\cdots a}{n\cdot (n-1)\cdots (N+1)}\cdot \frac{a^N}{N!} \)
\( \displaystyle \ \ \ \leq M\left(\frac12 \right)^{n-N} (n\to \infty) \)
とできる。ただし、\( \displaystyle M=\frac{a_N}{N!} \)とおいた。
[/box](参考)
★★★
今回の内容の動画版です。