円周率πは無理数、高校数学で証明する

今回は、数学3の微分積分まで学習した方向けの内容です。

 

数学1の割と最初の方で、有理数・無理数の話があり、\sqrt2 や円周率πは無理数だぞー、と習います。

\sqrt2 が無理数というのは数学1で背理法を学習するときに証明することにわるわけですが、円周率πについてはしばらく無理数と信じて高校生活を過ごすことになります。そしてそのまま卒業!…一度も無理数であることの証明を知らずに過ごす方がほとんどかと思われます。ということで今回はそれを証明をかいておきます。小平邦彦著『数学の学び方』にある、1947年にNivenが発表した、高校数学の道具のみで証明する方法です。

 

定理

円周率πは無理数である

(証明) 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)を示す

二次関数\displaystyle y=x(\pi-x) の最大値は\displaystyle  \frac{\pi^2}{4} であるから

 \displaystyle 0\lt f(x)=\frac{1}{n!}p^nx^n(\pi-x)^n=\frac{p^n}{n!}\{x(\pi-x)\}^n \lt \frac{p^n}{n!}\left(\frac{ \pi^2}{4}\right)^n

である。また、\displaystyle 0\lt x\lt \pi のとき\displaystyle 0\leqq \sin x \leqq 1 だから

 \displaystyle 0\lt \sin x\,  f(x)\lt \frac{1}{n!}\left(\frac{ p \pi^2}{4}\right)^n  

となる。これを 0から\pi まで積分して

\displaystyle 0\lt \int_{0}^{\pi}\sin x\,  f(x) dx\lt \frac{1}{n!} \left(\frac{ p \pi^2}{4}\right)^n\pi

ここで,一般に任意の正の実数 aに対して

 \displaystyle \lim_{n\to \infty}\frac{a^n}{n!}=0

となることから(証明は本記事下部参照),十分大きい任意の\displaystyle n に対して

 \displaystyle  0\lt \int_{0}^{\pi}\sin x\,  f(x) dx \lt 1

が成り立つ。これで(ステップ1)が示された。

 

(ステップ2)を示す。

部分積分を二回使うと

 \displaystyle \int_{0}^{\pi}\sin x\, f(x)dx

  \displaystyle =\left[ -\cos x\,  f(x)\rule{0pt}{2.5ex}\right]_{0}^{\pi}+\int_{0}^{\pi}\cos x f'(x)dx

  \displaystyle =f(\pi)+f(0)+\int_{0}^{\pi}\cos x\,  f'(x)dx

  \displaystyle =f(\pi)+f(0)+\left[\sin x\,  f'(x) \rule{0pt}{2.5ex}\right]_{0}^{\pi}-\int_{0}^{\pi}\sin x \, f''(x)dx

  \displaystyle =f(\pi)+f(0)-\int_{0}^{\pi}\sin x\,  f''(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 \left(\, f^{(2k)}(\pi)+f^{(2k)}(0) \right)

となる。 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)^{k}f^{(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_k p^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}

と表された仮定する。\displaystyle f(x) 内の\displaystyle p は任意としていたから\pi の分母p と同じものと考えてよい。このとき③の右辺は

 \displaystyle p^n\pi^{n-k}=p^n\cdot \frac{q^{n-k}}{p^{n-k}}=p^k q^{n-k}

により整数となる。①の右辺について2k\lt n の項の値は②より 0であり,また2k\geqq n の項に対しては整数であるから結局

 \displaystyle \int_{0}^{\pi}\sin x\, f(x)dx

の値が整数であること(ステップ2)が示された。

 

(ステップ1)および(ステップ2)で示した主張が同時に成り立つのは矛盾である。よって(ステップ2)内の”\pi が有理数である”という仮定が誤っている。したがって\pi は無理数である。(証明終)

 

こんな証明よく思いついたな〜!という感じです。多分自力では一生思いつかないでしょう。道具が少ないときは巧みなアイディアが必要ですね。

(どんな道具でも使って良いとすると、\pi の無理数性の証明はどうやってやるのだろうか…)

 

最後に、今回の参考文献と、\pi 愛好家にオススメの本を紹介しておきます。

数学の学び方

数学の学び方

 
円周率1000000桁表

円周率1000000桁表

 

 

では。

 

   (補足)\displaystyle \lim_{n\to \infty}\frac{a^n}{n!}=0 の説明。

任意の正の数 a\ に対し,十分 N\ を大きくとればN\gt 2a\   とできる。よって

 \displaystyle \frac{a^n}{n!}=\frac{a\cdot a\cdot \cdots \cdot a}{n\cdot (n-1) \cdot \cdots (N+1)}\cdot \frac{a^N}{N!}\leqq  M\left(\frac12\right)^{n-N}\to 0\ (n\to \infty)

とできる。ただし\displaystyle M= \frac{a^N}{N!} とおいた。