円周率の無理性の証明

テンプレート:円周率 円周率の無理性の証明（えんしゅうりつのむりせいのしょうめい）は、円周率が無理数であること、すなわち円周率の小数展開が無限に続き、しかも循環しないことの証明である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない。知られている中で最も簡単な証明は、初等的な微分積分学のみを用いるものである。

歴史

テンプレート:See also 円周率は古代から考察の対象とされ、無理数であることは紀元前4世紀のアリストテレスが予想していたが、証明されたのは二千年以上後のことである。1761年、ドイツの数学者ヨハン・ハインリッヒ・ランベルトは、正接関数の無限連分数表示

$\tan x=\frac{x}{1-\frac{x^2}{3-\frac{x^2}{5-\frac{x^2}{\ddots }}}}$

を用いて、初めて円周率の無理性を示した。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのアドリアン＝マリ・ルジャンドルは厳密な証明を与え、さらに テンプレート:Πテンプレート:Sup も無理数であることを発見した。したがってルジャンドルは テンプレート:Π の無理性よりも強い結果を示した。

20世紀には、初等的な微分積分学の知識のみを用いた証明が発見された。そのうち最もよく知られたものは、カナダ出身のイヴァン・ニーベンが1947年に発表した証明である。それ以前の1945年にも、イギリスのテンプレート:仮リンクが似た証明を与えている。彼女はそれを公表しなかったが、後にハロルド・ジェフリーズの著書に収録された。1949年、日本の岩本義和は、ニーベンのアイデアを用いて テンプレート:Πテンプレート:Sup が無理数であることの初等的な証明を与えた。

1978年、フランスのロジェ・アペリーは全ての立方数の逆数和

$\frac{1}{1^3}+\frac{1}{2^3}+\frac{1}{3^3}+\frac{1}{4^3}+\cdots$

が無理数であることを示した（アペリーの定理を参照）。この値は、リーマンゼータ函数

$\zeta (s)=\frac{1}{1^s}+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots$

の s = 3 における値 ζ(3) である。同様の手法で、彼は全ての平方数の逆数和

$\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots$

すなわち ζ(2) も無理数であることを示した。この極限は $\frac{{\pi }^2}{6}$ に等しい、という事実をすでにレオンハルト・オイラーが示していたので（バーゼル問題を参照）、これはルジャンドルが示したことと同値である。すなわち、アペリーの証明は テンプレート:Πテンプレート:Sup が無理数であることの別証明になっている。

証明

本節では、ニーベンの証明を紹介する。原論文は必要最低限の記述しかないが、ここではいくらか解説を加えている。円周率 テンプレート:Π は、正弦関数 sin x の正の零点の中で最小のものとする。証明は背理法による。すなわち テンプレート:Π が有理数であり　$\pi =\frac{a}{b}$（a, b は正の整数）と表せるものと仮定して、それから矛盾を導く。

自然数 n に対して、実関数 fテンプレート:Sub(x) を

$f_n(x)=\frac{1}{n!}{x}^n(a-bx{)}^n$

で定義する。さらに、

$F_n(x)=f_n(x)-f_n^{(2)}(x)+f_n^{(4)}(x)-\cdots +(-1{)}^n{f}_n^{(2n)}(x)$

とおく。ここで、fテンプレート:Sup は f の k 階微分を表す。

補題 1：Fテンプレート:Sub(0) は整数である。

証明：fテンプレート:Sub(x) の定義式を二項展開すると、

$f_n(x)=\frac{1}{n!}\{a^n{x}^n-(\genfrac{}{}{0ex}{}{n}{1})a^{n-1}b{x}^{n+1}+(\genfrac{}{}{0ex}{}{n}{2})a^{n-2}{b}^2{x}^{n+2}-\cdots +(-1{)}^n{b}^n{x}^{2n}\}$

fテンプレート:Subテンプレート:Sup(x) に x = 0 を代入することを考える。

k < n のときは、fテンプレート:Subテンプレート:Sup(x) の各項は全て1次以上だから、fテンプレート:Subテンプレート:Sup(0) = 0。

n ≤ k ≤ 2n のときは、x = 0 を代入する際に、1次以上の項は同様に 0 となるため、定数項のみが残り、

$f_n^{(k)}(0)=\frac{1}{n!}{\{(-1{)}^{k-n}(\genfrac{}{}{0ex}{}{n}{k-n})a^{2n-k}{b}^{k-n}{x}^k\}}^{(k)}=(-1{)}^{k-n}\frac{k!}{n!}(\genfrac{}{}{0ex}{}{n}{k-n})a^{2n-k}{b}^{k-n}$

となる。

n ≤ k ≤ 2n より $\frac{k!}{n!}$, aテンプレート:Sup, bテンプレート:Sup は整数であるから、fテンプレート:Subテンプレート:Sup(0) は整数である。

ゆえに、fテンプレート:Subテンプレート:Sup(0) の和・差である Fテンプレート:Sub(0) は整数である。

補題 2：Fテンプレート:Sub(テンプレート:Π) = Fテンプレート:Sub(0)

証明：$\pi =\frac{a}{b}$ より fテンプレート:Sub(テンプレート:Π − x) = fテンプレート:Sub(x) 、この両辺を k 階微分すると、連鎖律（合成関数の微分法則）より、

$(-1{)}^k{f}_n^{(k)}(\pi -x)=f_n^{(k)}(x)$

が（正確には数学的帰納法により）分かる。k = 0, 2, 4, …, 2n を代入して得られる式の総和を取ると、

$F_n(\pi -x)=F_n(x)$

を得る。x = 0 を代入すると、補題の式が得られる。

補題 3：$\underset{0}{\overset{\pi }{\int }}{f}_n(x)\sin xdx=2F_n(0)$

証明：deg fテンプレート:Sub = 2n より fテンプレート:Subテンプレート:Sup(x) = 0、ゆえに、

$F^{\prime }{\text{'}}_n(x)+F_n(x)=f_n(x)$

これと、積の微分法、三角関数の微分の公式（微分法#概要参照）を用いると、

$(F{\text{'}}_n(x)\sin x-F_n(x)\cos x{)}^{\prime }=f_n(x)\sin x$

を得る。微分積分学の基本定理より、

$\underset{0}{\overset{\pi }{\int }}{f}_n(x)\sin xdx=[F{\text{'}}_n(x)\sin x-F_n(x)\cos x{]}_0^{\pi }=F_n(\pi )+F_n(0)$

となる。最後の等式では、テンプレート:Π が正弦関数の零点であることを用いた。補題 2 より、これは 2Fテンプレート:Sub(0) に等しい。

結び： 0 < x < テンプレート:Π の範囲では fテンプレート:Sub(x) > 0 かつ sin x > 0 である（テンプレート:Π は正弦関数の正の零点のうち「最小の」ものであることに注意）。ゆえに、fテンプレート:Sub(x) sin x > 0, 補題 3 より Fテンプレート:Sub(0) > 0 である。次に、この Fテンプレート:Sub(0) を上から評価する。

$x(\pi -x)=-{(x-\frac{\pi }{2})}^2+{\left(\frac{\pi }{2}\right)}^2\le {\left(\frac{\pi }{2}\right)}^2$

より、

$f_n(x)=\frac{b^n}{n!}{\{x(\pi -x)\}}^n\le \frac{b^n}{n!}{\left(\frac{\pi }{2}\right)}^{2n}$

を得る。0 ≤ x ≤ テンプレート:Π で 0 ≤ sin x ≤ 1、補題 3 より、

$F_n(0)=\frac{1}{2}\underset{0}{\overset{\pi }{\int }}{f}_n(x)\sin xdx\le \frac{1}{2}\underset{0}{\overset{\pi }{\int }}\frac{b^n}{n!}{\left(\frac{\pi }{2}\right)}^{2n}\times 1dx=\frac{b^n}{n!}{\left(\frac{\pi }{2}\right)}^{2n+1}$

ここで、自然数 n は任意である。一般に、$\underset{n\to \mathrm{\infty }}{\lim }\frac{p^n}{n!}=0$ が成り立つ。したがって、十分大きな n に対して 0 < Fテンプレート:Sub(0) < 1 が成り立つ。これは補題 1 に矛盾する。（証明終）

カートライトの証明

ハロルド・ジェフリーズは、この証明法はテンプレート:仮リンクが1945年にケンブリッジ大学の試験問題として出したもので，彼女はそれをどこからとったのかを明らかにしていないと書いている（注：証明の詳細については英語版の記述を見られたい）。ただし積分変数を置き換えれば、この証明はG.H.Hardy と E.M.Wright の証明（後述）と一致する。

$\frac{\pi }{2}=\frac{b}{a}$ と置き、自然数 n に対し、

$I_n(x)=\underset{-1}{\overset{1}{\int }}(1-z^2{)}^n\cos xzdz$

と置く。このとき、$\frac{b^{2n+1}}{n!}{I}_n\left(\frac{\pi }{2}\right)$ は整数となる。また、十分大きな n に対し、$0<\frac{b^{2n+1}{I}_n\left(\frac{\pi }{2}\right)}{n!}<1$ が言える。これらは矛盾する。

L. Zhou と L. Markov の証明

ニーベン・インケリの定理より、テンプレート:Math が テンプレート:Math でない有理数ならば、テンプレート:Math は無理数である。テンプレート:Math は有理数であるから、テンプレート:Math は無理数である（したがって テンプレート:Math も無理数である）。

Zhou–Markov は テンプレート:Math が無理数であることの別の初等的な証明も与えている。

ニーベン・インケリの定理の証明を次に示す。

整数 テンプレート:Math に対して

$g_n(x)=\frac{(r^2{x}^2-x^4{)}^n}{n!}$

とおき

$\begin{array}{cc}{I}_n& =\underset{0}{\overset{r}{\int }}{g}_n(x)\sin (r-x)dx,\\ J_n& =\underset{0}{\overset{r}{\int }}x{g}_n(x)\cos (r-x)dx,\\ K_n& =\underset{0}{\overset{r}{\int }}{x}^2{g}_n(x)\sin (r-x)dx,\\ L_n& =\underset{0}{\overset{r}{\int }}{x}^3{g}_n(x)\cos (r-x)dx,\\ \end{array}$

とおく。テンプレート:Math のときの積分をすると

$\begin{array}{cc}{I}_0& =J_0=1-\cos r,\\ K_0& =r^2-2-2\cos r,\\ L_0& =3K_0,\\ \end{array}$

である。各積分を1回ずつ部分積分することにより、テンプレート:Math に対して次の漸化式を得る。

$\begin{array}{cc}{I}_n& =4L_{n-1}-2r^2{J}_{n-1},\\ J_n& =(4n+1)I_n-2r^2{K}_{n-1},\\ K_n& =-(4n+2)J_n+2r^2{L}_{n-1},\\ L_n& =(4n+3)K_n+2n{r}^2{I}_n-2r^4{K}_{n-1}.\\ \end{array}$

これらより、テンプレート:Math は、すべて

$\begin{array}{c}{u}_n(R)+v_n(R)\cos r\end{array}$

の形になる。ただし、テンプレート:Math と テンプレート:Math は整数係数の テンプレート:Math の多項式で、次数は高々 テンプレート:Math である。

$\begin{array}{c}{I}_m=J_m=K_m=L_m=0\\ \end{array}$

だと仮定すると

$\begin{array}{c}{I}_0=J_0=K_0=L_0=0\\ \end{array}$

である。ところが

$\begin{array}{c}2I_0+K_0=r^2\ne 0\\ \end{array}$

なので矛盾である。したがって、テンプレート:Math のうち少なくとも1つは、無限に多くのゼロでない項を持つ。それを テンプレート:Math とおく。

さて

$\begin{array}{c}R=r^2=\frac{a}{b}\ne 0\\ \end{array}$

が有理数で

$\begin{array}{c}\cos r=\frac{p}{q}\\ \end{array}$

も有理数だと仮定する。すると、テンプレート:Math は整数で、テンプレート:Math のとき限りなく小さくなる。したがって十分大きな テンプレート:Mvar に対して、テンプレート:Math となり、テンプレート:Math となる。これは矛盾である。ゆえに、ニーベン・インケリの定理が証明された。

G.H.Hardy と E.M.Wright の証明

正の整数をnとし、c_mを整数とするとき

$f(x)=\frac{x^n(1-x{)}^n}{n!}=\frac{1}{n!}\sum _{m=n}^{2n}{c}_m{x}^m$

とする。0<x<1において

$0<f(x)<\frac{1}{n!}$

となる。…(1)

πが有理数であると仮定し、${\pi }^2=\frac{a}{b}$（a,bは正の整数）とする。

$G(x)=b^n\sum _{k=0}^n(-1{)}^k{\pi }^{2n-2k}{f}^{(2k)}(x)$

とする。 m<nまたは2n<mのとき

$f^{(m)}(0)=0$

である。 n≦m≦2nのとき

$f^{(m)}(0)=\frac{m!c_m}{n!}=m(m-1)\cdot \cdot \cdot (n+1)c_m$

なので、整数である。 それゆえ、任意のmに対して $f^{(m)}(0)$ は整数である。 したがって G(0) は整数である。

f(x)=f(1-x)なので両辺を微分することにより

$f^{\prime }(x)=-f^{\prime }(1-x)$

$f^{″}(x)=f^{″}(1-x)$

$\cdot \cdot \cdot$

である。一般に

$f^{(m)}(x)=f^{(m)}(1-x)$

のとき

$f^{(m+1)}(x)=-f^{(m+1)}(1-x)$

$f^{(m+2)}(x)=f^{(m+2)}(1-x)$.

すなわち

$f^{(m)}(x)=(-1{)}^m{f}^{(m)}(1-x)$

である。 よって

$f^{(2m)}(x)=f^{(2m)}(1-x)$

なので

$\begin{array}{cc}G(1-x)& =b^n\sum _{k=0}^n(-1{)}^k{\pi }^{2n-2k}{f}^{(2k)}(1-x)\\ & =b^n\sum _{k=0}^n(-1{)}^k{\pi }^{2n-2k}{f}^{(2k)}(x)\\ & =G(x).\end{array}$

G(0)=G(1)なのでG(1)も整数である。また

$\begin{array}{cc}(G^{\prime }(x)\sin \pi x-\pi G(x)\cos \pi x{)}^{\prime }& =(G^{″}(x)+{\pi }^{2}G(x))\sin \pi x\\ & =b^n{\pi }^{2n+2}f(x)\sin \pi x\\ & ={\pi }^2{a}^n\sin \pi xf(x)\\ \end{array}$

となる。さらに

$\begin{array}{cc}\pi \underset{0}{\overset{1}{\int }}{a}^n\sin \pi xf(x)dx& ={\frac{G^{\prime }(x)\sin \pi x}{\pi }-G(x)\cos \pi x|}_0^1\\ & =G(0)+G(1)\\ \end{array}$

となり、これは整数である。(1)より十分にnが大きいとき

$0<\pi \underset{0}{\overset{1}{\int }}{a}^n\sin \pi xf(x)dx<\frac{\pi a^n}{n!}<1$

となる。 これは矛盾である。

ランベルトによる証明

有理数 テンプレート:Mvar に対する値 テンプレート:Math が テンプレート:Math または無理数であることから、その対偶を取れば、テンプレート:Math でない有理数 テンプレート:Mvar に対する値 テンプレート:Math は無理数であることがわかる。よって、テンプレート:Math は無理数である。

リンデマンの定理の系による証明

円周率の定義は、三角関数 テンプレート:Math が テンプレート:Math を取るような テンプレート:Math2 の最小値の2倍を用いるものとする。リンデマンの定理の系として、代数的数 テンプレート:Math に対する テンプレート:Math は超越数である。リンデマンの定理の系の対偶として、テンプレート:Math が代数的数であるとき、テンプレート:Mvar は テンプレート:Math か超越数である。円周率の定義とリンデマンの定理の系の対偶より テンプレート:Math は超越数であり、無理数である。

より進んだ結果と未解決問題

ルジャンドルは テンプレート:Math が無理数であることを示したが、現在では テンプレート:Mvar の累乗は全て無理数であることが知られている（実は円周率は超越数であり，（非零有理数をべき指数とする）超越数のべき乗も超越数になるので（非零有理数をべき指数とする）円周率のべき乗は超越数になる。そうして超越数は無理数である）。実際、ドイツのフェルディナント・フォン・リンデマンは、1882年に テンプレート:Mvar が超越数であることを示した。これは、さらに一般的なリンデマンの定理の特別な場合である。この定理は、円周率のみならず、ネイピア数 テンプレート:Mvar, 2の自然対数 テンプレート:Math, テンプレート:Math の正弦 テンプレート:Math などが超越数であることを導く、非常に強力なものである。また、テンプレート:仮リンクは テンプレート:Mvar と テンプレート:Math が テンプレート:Mathbf 上代数的独立であることを示した。この事実は、テンプレート:Mvar が無理数であることや超越数であることを内包している。

これらの進んだ結果が知られているにもかかわらず、円周率の性質が十分判明したとはいえない。例えば、その（任意の記数法において）小数展開の数字列が十分に「乱数的」であるといえるか（「真の乱数」による乱数列と、何か異なった性質がありはしないか）、例えば正規数であるか、という問題は（そうであろうとは一般に信じられてはいるが）いまだに未解決である。また、テンプレート:Πテンプレート:Sup や テンプレート:Π + e のような単純な定数についても、無理数であるかどうかも分かっていないようなものがある。

参考文献

• M. Aigner and G. M. Ziegler, Proofs from the Book, 3rd edition, Springer, 2003. ISBN 3540404600
  • 蟹江幸博訳『天書の証明』シュプリンガー・フェアラーク東京、2002年（2nd edition の訳）ISBN 443170986X
• P. Beckmann, History of Pi, 3rd edition, St. Martin's Press, 1971 ISBN 0312381859
  • 田尾陽一・清水韶光訳『テンプレート:Π の歴史』筑摩書房、2006年 ISBN 4480089853
• E. Hairer and G. Wanner, Analysis by Its History, Undergraduate Texts in Mathematics, Springer-Verlag, 1996 ISBN 0387945512
  • 蟹江幸博訳『解析教程』シュプリンガー東京、2006年（上巻）ISBN 4431712135（下巻）ISBN 4431712143
• H. Jeffreys, Scientific Inference, 3rd edition, Cambridge University Press, 1973 ISBN 0521084466
• 小平邦彦編『数学の学び方』岩波書店、1987年 ISBN 4000055119
• テンプレート:Cite book - 20～21頁に円周率の無理性の証明が掲載されている。

関連項目

• ネイピア数の無理性の証明
• [[円周率が22/7より小さいことの証明|円周率がテンプレート:Sfracより小さいことの証明]]