「円周率の無理性の証明」の版間の差分

削除された内容追加された内容

インライン

2021年4月27日 (火) 14:10時点における版

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

歴史

→「円周率の歴史」も参照

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

\tan x={\cfrac {x}{1-{\cfrac {x^{2}}{3-{\cfrac {x^{2}}{5-{\cfrac {x^{2}}{\ddots \,}}}}}}}}

を用いて、初めて円周率の無理性を示した^[2]。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのルジャンドルは厳密な証明を与え、さらに $π$ ² も無理数であることを発見した。したがってルジャンドルは $π$ の無理性よりも強い結果を示した。

20世紀には、初等的な微分積分学の知識のみを用いた証明が発見された。そのうち最もよく知られたものは、カナダ出身のニーベンが1947年に発表した証明^[3]である。それ以前の1945年にも、イギリスのメアリー・カートライト（英語版）が似た証明を与えている。彼女はそれを公表しなかったが、後にジェフリーズの著書に収録された^[4]。1949年、日本の岩本義和は、ニーベンのアイデアを用いて $π$ ² が無理数であることの初等的な証明を与えた^[5]。

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}}$ に等しい、という事実をすでにオイラーが示していたので（バーゼル問題を参照）、これはルジャンドルが示したことと同値である。すなわち、アペリーの証明は $π$ ² が無理数であることの別証明になっている。

証明

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

自然数 n に対して、実関数 f_n(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^(k) は f の k 階微分を表す。

補題 1：F_n(0) は整数である。

証明：f_n(x) の定義式を二項展開すると、

f_{n}(x)={\frac {1}{n!}}\left\{a^{n}x^{n}-{\binom {n}{1}}a^{n-1}bx^{n+1}+{\binom {n}{2}}a^{n-2}b^{2}x^{n+2}-\cdots +(-1)^{n}b^{n}x^{2n}\right\}

f_n^(k)(x) に x = 0 を代入することを考える。

k < n のときは、f_n^(k)(x) の各項は全て1次以上だから、f_n^(k)(0) = 0。

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

f_{n}^{(k)}(0)={\frac {1}{n!}}\left\{(-1)^{k-n}{\binom {n}{k-n}}a^{2n-k}b^{k-n}x^{k}\right\}^{(k)}=(-1)^{k-n}{\frac {k!}{n!}}{\binom {n}{k-n}}a^{2n-k}b^{k-n}

となる。

n ≤ k ≤ 2n より ${\frac {k!}{n!}}$ , a^2n−k, b^k−n は整数であるから、f_n^(k)(0) は整数である。

ゆえに、f_n^(k)(0) の和・差である F_n(0) は整数である。

補題 2：F_n( $π$ ) = F_n(0)

証明： $\pi ={\frac {a}{b}}$ より f_n( $π$ − x) = f_n(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： $\int _{0}^{\pi }f_{n}(x)\sin x\,dx=2F_{n}(0)$

証明：deg f_n = 2n より f_n⁽²ⁿ⁺²⁾(x) = 0、ゆえに、

F''_{n}(x)+F_{n}(x)=f_{n}(x)

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

(F'_{n}(x)\sin x-F_{n}(x)\cos x)'=f_{n}(x)\sin x

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

\int _{0}^{\pi }f_{n}(x)\sin x\,dx={\bigg [}F'_{n}(x)\sin x-F_{n}(x)\cos x{\bigg ]}_{0}^{\pi }=F_{n}(\pi )+F_{n}(0)

となる。最後の等式では、 $π$ が正弦関数の零点であることを用いた。補題 2 より、これは 2F_n(0) に等しい。

結び： 0 < x < $π$ の範囲では f_n(x) > 0 かつ sin x > 0 である（ $π$ は正弦関数の正の零点のうち「最小の」ものであることに注意）。ゆえに、f_n(x) sin x > 0, 補題 3 より F_n(0) > 0 である。次に、この F_n(0) を上から評価する。

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

より、

f_{n}(x)={\frac {b^{n}}{n!}}\left\{x(\pi -x)\right\}^{n}\leq {\frac {b^{n}}{n!}}\left({\frac {\pi }{2}}\right)^{2n}

を得る。0 ≤ x ≤ $π$ で 0 ≤ sin x ≤ 1、補題 3 より、

F_{n}(0)={\frac {1}{2}}\int _{0}^{\pi }f_{n}(x)\sin x\,dx\leq {\frac {1}{2}}\int _{0}^{\pi }{\frac {b^{n}}{n!}}\left({\frac {\pi }{2}}\right)^{2n}\times 1\,dx={\frac {b^{n}}{n!}}\left({\frac {\pi }{2}}\right)^{2n+1}

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

Cartwright の証明

Harold Jeffreysは、この証明法はMary Cartwright が1945年にケンブリッジ大学の試験問題として出したもので，彼女はそれをどこからとったのかを明らかにしていないと書いている（注：証明の詳細については英語版の記述を見られたい）。

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

I_{n}(x)=\int _{-1}^{1}(1-z^{2})^{n}\cos xz\,dz

と置く。このとき、 ${\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 の証明

ニーベン・インケリの定理より、 $s 2$ が $0$ でない有理数ならば、 $cos s$ は無理数である。 $cos π = -1$ は有理数であるから、 $π 2 \neq 0$ は無理数である^[7]（したがって $π$ も無理数である）。

Zhou–Markov は $π$ が無理数であることの別の初等的な証明も与えている^[7]。

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

整数 $n \geq 0$ に対して

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

とおき

{\begin{aligned}I_{n}&=\int _{0}^{r}g_{n}(x)\sin(r-x)dx,\\J_{n}&=\int _{0}^{r}xg_{n}(x)\cos(r-x)dx,\\K_{n}&=\int _{0}^{r}x^{2}g_{n}(x)\sin(r-x)dx,\\L_{n}&=\int _{0}^{r}x^{3}g_{n}(x)\cos(r-x)dx,\\\end{aligned}}

とおく。 $n = 0$ のときの積分をすると

{\begin{aligned}I_{0}&=J_{0}=1-\cos r,\\K_{0}&=r^{2}-2-2\cos r,\\L_{0}&=3K_{0},\\\end{aligned}}

である。各積分を1回ずつ部分積分することにより、 $n > 0$ に対して次の漸化式を得る。

{\begin{aligned}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}+2nr^{2}I_{n}-2r^{4}K_{n-1}.\\\end{aligned}}

これらより、 $I n, J n, K n, L n$ は、すべて

{\begin{aligned}u_{n}(R)+v_{n}(R)\cos r\end{aligned}}

の形になる。ただし、 $u n (R)$ と $v n (R)$ は整数係数の $R = r 2$ の多項式で、次数は高々 $2 n + 1$ である。

{\begin{aligned}I_{m}=J_{m}=K_{m}=L_{m}=0\\\end{aligned}}

だと仮定すると

{\begin{aligned}I_{0}=J_{0}=K_{0}=L_{0}=0\\\end{aligned}}

である。ところが

{\begin{aligned}2I_{0}+K_{0}=r^{2}\neq 0\\\end{aligned}}

なので矛盾である。したがって、 $I n, J n, K n, L n$ のうち少なくとも1つは、無限に多くのゼロでない項を持つ。それを $M n$ とおく。

さて

{\begin{aligned}R=r^{2}={a \over b}\neq 0\\\end{aligned}}

が有理数で

{\begin{aligned}\cos r={p \over q}\\\end{aligned}}

も有理数だと仮定する。すると、 $qb 2 n + 1 M n$ は整数で、 $n \to \infty$ のとき限りなく小さくなる。したがって十分大きな $n$ に対して、 $qb 2 n + 1 M n = 0$ となり、 $M n = 0$ となる。これは矛盾である。ゆえに、ニーベン・インケリの定理が証明された。

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}={\tfrac {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)={\tfrac {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'(x)=-f'(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{aligned}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{aligned}}

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

{\begin{aligned}(G'(x)\sin \pi x-\pi G(x)\cos \pi x)'&=(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{aligned}}

となる。さらに

{\begin{aligned}\pi \int \limits _{0}^{1}a^{n}\sin \pi xf(x)\,dx&={{\tfrac {G'(x)\sin \pi x}{\pi }}-G(x)\cos \pi x{\Bigg \vert }\,}_{0}^{1}\\&=G(0)+G(1)\\\end{aligned}}

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

0<\pi \int \limits _{0}^{1}a^{n}\sin \pi xf(x)\,dx<{\tfrac {\pi a^{n}}{n!}}<1

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

ランベルトによる証明

有理数 $x$ に対する値 $y = tan x$ が $0$ または無理数であることから、 $0$ でない有理数 $y$ に対する値 $x = arctan y$ は無理数であることがわかる。よって、 $π = 4 arctan 1$ は無理数である^[7]。

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

ルジャンドルは $π 2$ が無理数であることを示したが、現在では $π$ の累乗は全て無理数であることが知られている（実は円周率は超越数であり，（非零有理数をべき指数とする）超越数のべき乗も超越数になるので（非零有理数をべき指数とする）円周率のべき乗は超越数になる。そうして超越数は無理数である）。実際、ドイツのリンデマンは、1882年に $π$ が超越数であることを示した。これは、さらに一般的なリンデマンの定理^[8]の特別な場合である。この定理は、円周率のみならず、ネイピア数 $e$ , 2の自然対数 $log 2$ , $1$ の正弦 $sin 1$ などが超越数であることを導く、非常に強力なものである。また、ネステレンコは $π$ と $e π$ が $Q$ 上代数的独立であることを示した^[9]。この事実は、 $π$ が無理数であることや超越数であることを内包している。

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

脚注

[脚注の使い方]

^ 小平邦彦は、晩年のエッセイの中で「最近初めて証明を読んだ」と記している（小平 p. 79）。『数学セミナー』2004年12月号の特集「知っているようで知らない証明に再挑戦」で「 $π$ の超越性」が取り上げられた。
^ 歴史については Beckmann 16章を参照。証明については Hairer & Wanner 1.6節を参照。ランベルトの原論文は Mémoires sur quelques propriétés remarquables des quantités transcendantes, circulaires et logarithmiques. Mémoires de l'Académie royale des sciences de Berlin, année 1761/1768, 265-322 pdf ファイル
^ Ivan Niven, A simple proof that π is irrational, Bulletin of the American Mathematical Society, 53 (1947), 509. 論文の PDF ファイル
^ Jeffreys p.268
^ Aigner & Ziegler 6章。原論文は Y. Iwamoto, A proof that $π$ ² is irrational, Journal of the Osaka Institute of Science and Technology 1 (1949), 147-148.
^ 初等教育においては、円周率の定義は「円周長の直径に対する比率」と学ぶ。この定義は初学者には受け入れ易いものの、現代数学の観点からは、曲線の長さの定義に依存しているという問題がある。そのため、現代数学においては、別の定義が採用されることが多い。円周率#定義も参照のこと。どの定義も結果的に同じ定数を定めることが従う。
^ ^a ^b ^c ^d L. Zhou and L. Markov, Recurrent Proofs of the Irrationality of Certain Trigonometric Values, arXiv:0911.1933.
^ 1885年にワイエルシュトラスが証明を簡潔にしたので、リンデマン–ワイエルシュトラスの定理とも呼ばれる。Beckmann 16章を参照。定理の主張と証明については塩川 2.7節を参照。
^ 塩川 p. 93.

参考文献

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
塩川宇賢『無理数と超越数』森北出版、1999年3月30日。ISBN 4-627-06091-2。 - 20～21頁に円周率の無理性の証明が掲載されている。

@@ 1行目: / 1行目: @@
 {{円周率}}
-'''円周率の無理性の証明'''（えんしゅうりつのむりせいのしょうめい）は、[[円周率]]が[[無理数]]であること、すなわち円周率の[[小数]]展開が無限に続き、しかも循環しないことの[[証明]]である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない<ref>[[小平邦彦]]は、晩年のエッセイの中で「最近初めて証明を読んだ」と記している（小平 p. 79）。『[[数学セミナー]]』2004年12月号の特集「知っているようで知らない証明に再挑戦」で「{{π}} の[[超越数|超越性]]」が取り上げられた。</ref>。知られている中で最も簡単な証明は、初等的な[[微分積分学]]のみを用いるものである。
+'''円周率の無理性の証明'''（えんしゅうりつのむりせいのしょうめい）は、[[円周率]]が[[無理数]]であること、すなわち円周率の[[小数]]展開が無限に続き、しかも循環しないことの[[証明 (数学)|証明]]である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない<ref>[[小平邦彦]]は、晩年のエッセイの中で「最近初めて証明を読んだ」と記している（小平 p. 79）。『[[数学セミナー]]』2004年12月号の特集「知っているようで知らない証明に再挑戦」で「{{π}} の[[超越数|超越性]]」が取り上げられた。</ref>。知られている中で最も簡単な証明は、初等的な[[微分積分学]]のみを用いるものである。
 == 歴史 ==