円周率が22/7より小さいことの証明

有名な数学的事実であるところの、円周率 が より小さいことの証明（えんしゅうりつが ぶんの よりちいさいことのしょうめい）は、古代ギリシアのアルキメデスに始まり、何通りも与えられている。本項では、そのうちの一つで、微分積分学の初等的なテクニックのみを用いる、近年に発見された証明を扱う。この証明は、その数学的な美およびディオファントス近似の理論との関係によって、現代数学においても注目されてきた。スティーヴン・ルーカスは、これを「 の近似に関する最も美しい結果の一つ」と呼び、ジュリアン・ハヴィルは、円周率の連分数近似の議論を終える際に「この結果に言及せざるを得ない」と述べた上で証明を示している。
もし円周率が に近いことを知っていれば、（ に近い）よりも小さいことは自明である。しかし、 を示すのは、 が に近いことを示すよりもずっと手間は小さい。この証明の評価方法は一般化され、円周率の値を計算する系統的な方法になっている。
背景.
 は、 の正則な連分数展開から得られる近似値の一つであり、また、表現が簡潔であることから の近似値として広く用いられている。 が よりも大きいことは、これらの値の十進法での小数展開
より分かる。
この近似値は古代より知られており、アルキメデスは紀元前3世紀に、 が円周を大きめに見積もった近似値であることを証明した。彼の証明は、円に外接する正九十六角形の周長の、円の直径に対する比が、 よりも小さいことを示すものであった。これ以前の証明は知られていないが、アルキメデス以前から、 は円周率の近似値として用いられていた形跡がある。
より精密な の近似値に、 がある。これも の連分数展開から得られる近似値であって、円周率よりわずかに大きい。
証明.
証明の概略は非常に簡潔に述べられる。
より、 は よりも小さい。
この積分の計算は、1968年のの最初の問題として出題された。
パトナムの競技会の他のほとんどの問題は、この問題よりも難しい。しかし、この競技会は、直接にはあまり知られていなくとも、実は非常によく知られたことに言及していると判明する問題を、しばしば呼び物にしている。この積分は、インド工科大学の入試問題に用いられたこともある。
積分の評価の詳細.
被積分関数の分母と分子が共に非負であることから、この積分の値が正であることは直ちに分かる。よって、あとはこの積分の値を、有理関数の標準的な積分の手順に従って求めればよい。
直ちに得られる円周率の評価.
Dalzell は1944年の論文で、この積分に言及し、被積分関数の分母に "x" = 1 を代入すると下からの評価が、"x" = 0 を代入すると上からの評価が得られると指摘した。すなわち、
であり、これより円周率 の評価として
を得る。十進小数で表現すると 3.1412… < < 3.1420… となる。これらの評価値の誤差は、0.015% 未満である。
より良い評価.
 のより良い上限としてよく知られた は、
として与えられる。この値は十進小数で表すと
であり、小数点以下6桁まで と一致する。被積分関数の分母に "x" = 1 を代入すると、積分値の下限
を得る。"x" = 0 を代入すると、積分値の上限として、上記の数の2倍を得るので、円周率の評価として
を得る。この評価は、十進小数として表すと 3.141 592 57… < < 3.141 592 74… であり、太文字で表した小数点以下6桁まで円周率と一致する。
一般化.
 や で示唆されているように、ここまでの議論は一般化される（ただし、どちらの文献も詳しい計算は含んでいない）。任意の正整数 "n" に対して
が成り立ち、第二の積分は
となって を含む式を得る。この式の最後の和は、ライプニッツの公式に現れる級数を有限で切ったものになっている。戻って第一の積分は
であり、第三の積分はこの2倍である。この値は、"n" が大きくなるにつれて急激に 0 に近付くので、ここで議論している方法が、 の近似値を求めるのに適していることが分かる。
これらの積分の計算
任意の整数 "k" ≥ 0 と "l" ≥ 2 に対して、
であるから、この変形を 2"n" 回繰り返すことにより
を得る。また、
である。ここに、第一の等式が成り立つのは "j" = 1, …, 3"n" − 1 の項が打ち消しあって消えるためであり、第二の等式では、第一の和において "j" = "j" + 1 とおいて "j" を改めて "j" としている。
これらの結果を用いて
を得る。
次に、任意の整数 "k", "l" ≥ 0 に対して、部分積分を "l" 回適用することにより、
を得る。特に、"k" = "l" = 4"n" とおけば
を得る。
(*) を 0 から 1 まで積分し、(**) と arctan 1 = を用いると、 を含んだ目的の積分値を得る。
例.
"n" = 1 の場合はすでに見た。"n" = 2 の場合は、
および
より
すなわち 3.141 592 31… < < 3.141 592 88… となり、 の近似値を小数点以下第6位まで得る。
同様に "n" = 3 の場合は、
および
より
すなわち 3.141 592 653 40… < < 3.141 592 653 86… となり、 の近似値を小数点以下第9位まで得る。
次に "n" = 4 の場合は、
および
より
すなわち 3.141 592 653 589 55… < < 3.141 592 653 589 95… となり、 の近似値を小数点以下第12位まで得る。