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

有名な数学的事実であるところの、円周率 π22/7 より小さいことの証明(えんしゅうりつが 7 ぶんの 22 よりちいさいことのしょうめい)は、古代ギリシアアルキメデスに始まり、何通りも与えられている。本項では、そのうちの一つで、微分積分学の初等的なテクニックのみを用いる、近年に発見された証明を扱う。この証明は、その数学的な美およびディオファントス近似の理論との関係によって、現代数学においても注目されてきた。スティーヴン・ルーカスは、これを「π の近似に関する最も美しい結果の一つ」と呼び[1]、ジュリアン・ハヴィルは、円周率の連分数近似の議論を終える際に「この結果に言及せざるを得ない」と述べた上で証明を示している[2]

もし円周率が 3.14159 に近いことを知っていれば、22/73.142857 に近い)よりも小さいことは自明である。しかし、π < 22/7 を示すのは、π3.14159 に近いことを示すよりもずっと手間は小さい。この証明の評価方法は一般化され、円周率の値を計算する系統的な方法になっている。

背景

22/7 は、π の正則な連分数展開から得られる近似値の一つであり、また、表現が簡潔であることから π の近似値として広く用いられている。22/7π よりも大きいことは、これらの値の十進法での小数展開

より分かる。

この近似値は古代より知られており、アルキメデス紀元前3世紀に、22/7 が円周を大きめに見積もった近似値であることを証明した[注釈 1]。彼の証明は、円に外接する正九十六角形の周長の、円の直径に対する比が、22/7 よりも小さいことを示すものであった[注釈 1]。これ以前の証明は知られていないが、アルキメデス以前から、22/7 は円周率の近似値として用いられていた形跡がある。

より精密な π の近似値に、355/113 がある。これも π の連分数展開から得られる近似値であって、円周率よりわずかに大きい。

証明

証明の概略は非常に簡潔に述べられる。

より、π22/7 よりも小さい。

この積分の計算は、1968年ウィリアム・ローウェル・パトナム数学競技会英語版の最初の問題として出題された[4]。 パトナムの競技会の他のほとんどの問題は、この問題よりも難しい。しかし、この競技会は、直接にはあまり知られていなくとも、実は非常によく知られたことに言及していると判明する問題を、しばしば呼び物にしている。この積分は、インド工科大学の入試問題に用いられたこともある[5]

積分の評価の詳細

被積分関数の分母と分子が共に非負であることから、この積分の値が正であることは直ちに分かる。よって、あとはこの積分の値を、有理関数の標準的な積分の手順に従って求めればよい。

直ちに得られる円周率の評価

Dalzell は1944年の論文で、この積分に言及し、被積分関数の分母に x = 1 を代入すると下からの評価が、x = 0 を代入すると上からの評価が得られると指摘した[6]。すなわち、

であり、これより円周率 π の評価として

を得る。十進小数で表現すると 3.1412… < π < 3.1420… となる。これらの評価値の誤差は、0.015% 未満である。

より良い評価

π のより良い上限としてよく知られた 355/113 は、

として与えられる[1]。この値は十進小数で表すと

であり、小数点以下6桁まで π と一致する。被積分関数の分母に x = 1 を代入すると、積分値の下限

を得る。x = 0 を代入すると、積分値の上限として、上記の数の2倍を得るので、円周率の評価として

を得る。この評価は、十進小数として表すと 3.141592 57… < π < 3.141592 74… であり、太文字で表した小数点以下6桁まで円周率と一致する。

一般化

Backhouse (1995)[7]Lucas (2005) で示唆されているように、ここまでの議論は一般化される(ただし、どちらの文献も詳しい計算は含んでいない)。任意の正整数 n に対して

が成り立ち、第二の積分は

となって π を含む式を得る。この式の最後の和は、ライプニッツの公式に現れる級数を有限で切ったものになっている。戻って第一の積分は

であり、第三の積分はこの2倍である。この値は、n が大きくなるにつれて急激に 0 に近付くので、ここで議論している方法が、π の近似値を求めるのに適していることが分かる。

n = 1 の場合はすでに見た。n = 2 の場合は、

および

より

すなわち 3.141592 31… < π < 3.141592 88… となり、π の近似値を小数点以下第6位まで得る。

同様に n = 3 の場合は、

および

より

すなわち 3.141592653 40… < π < 3.141592653 86… となり、π の近似値を小数点以下第9位まで得る。

次に n = 4 の場合は、

および

より

すなわち 3.141592653589 55… < π < 3.141592653589 95… となり、π の近似値を小数点以下第12位まで得る。

脚注

注釈

  1. ^ a b 「円の計算」命題三:任意の円の周はその直径の3倍よりも大きく、その超過分は直径の 1/7 よりは小さく、10/71 よりは大きい(3+10/71 < π < 3+1/7[3]

出典

  1. ^ a b Lucas, Stephen (2005), “Integral proofs that 355/113 > π, Australian Mathematical Society Gazette 32 (4): 263--266, MR2176249, Zbl 1181.11077, http://www.austms.org.au/Publ/Gazette/2005/Sep05/Lucas.pdf 
  2. ^ Havil, Julian (2003), Gamma. Exploring Euler's Constant, Princeton, NJ: Princeton University Press, p. 96, ISBN 0-691-09983-9, MR1968276, Zbl 1023.11001 
  3. ^ アルキメデス (1972, pp. 484–487).
  4. ^ Alexanderson, Gerald L.; Klosinski, Leonard F.; Larson, Loren C. (editors) (1985), The William Lowell Putnam Mathematical Competition: Problems and Solutions: 1965--1984, Washington, D.C.: The Mathematical Association of America, ISBN 0-88385-463-5, Zbl 0584.00003, https://books.google.co.jp/books?id=HNLRgSGZrWMC&pg=PA9&dq=December-7-1968+Putnam+Mathematical-Competition&ei=DZCfR4iRJJu4sgPRu-CwCg&sig=u4-SIYyVtV3rbwN-p56c42BGUKw&redir_esc=y&hl=ja 
  5. ^ IIT Joint Entrance Exam, 15ページの第38問
  6. ^ Dalzell, D. P. (1944), “On 22/7”, Journal of the London Mathematical Society 19: 133--134, MR0013425, Zbl 0060.15306 .
  7. ^ Backhouse, Nigel (July 1995), “Note 79.36, Pancake functions and approximations to π, The Mathematical Gazette 79 (485): 371--374, JSTOR 3618318, https://jstor.org/stable/3618318 

関連文献

関連項目

外部リンク