取り尽くし法

取り尽くし法（とりつくしほう、英: method of exhaustion、羅: methodus exaustionibus）は、与えられた図形の面積や体積を求める手法の1つで、その図形に内接する一連の多角形を描き、それらの面積を元の図形に収束させる方法である。積尽法^[1][2]、搾出法^[2][3]ともいう。また古代人の方法^[4][5]（仏: méthode des anciens）とも呼ばれる。

概要

列を正しく構築すれば、n角形の面積と元の図形の面積の差は n が大きくなるにつれて小さくなっていく。この差を恣意的に小さくすれば、その図形の面積は一連の数列で得られる面積によって「取り尽くされ」、とりうる値の下限が体系的に定まる^[6]。この方法はアンティポンが起源だが、彼がどこまで明確に理解していたのかは不明である。厳密な理論付けをしたのはエウドクソスである。「取り尽くし法」という用語を最初に使ったのは、Grégoire de Saint-Vincent の Opus geometricum guadraturae circuli et sectionum coni（1647年）である。 取り尽くし法には一般に背理法の一種を必要とする。これは、ある領域の面積を第2の領域の面積と比較することによって求めることに相当し、それを「取り尽くす」ことで真の面積に恣意的に近づけていく。第2の面積より真の面積が大きいことを前提とし、その前提が偽であることを証明する。次に、真の面積が第2の面積より小さいことを前提として、その前提も偽であることを証明する。

取り尽くし法は微分積分学の先駆けと言える。17世紀から19世紀に解析幾何学と厳密な微分積分学が発展し（特に極限に厳密な定義が与えられ）、取り尽くし法は問題の解法としては使われなくなった。

エウクレイデスの使用結果

エウクレイデスは『原論』第12巻で取り尽くし法を用いて以下の6個の命題を証明している^[7]。

命題2

円の面積は直径の2乗に比例する。

命題5

相等しい高さの三角錐の体積は互いに底面の三角形の面積に比例する。

命題10

円錐の体積は同じ底面と同じ高さを持つ円柱の体積の3分の1である。

命題11

同じ高さの円錐または円柱の体積はそれぞれ互いに底面の面積に比例する。

命題12

相似な円錐または円柱の体積はそれぞれ互いに底面の直径の3乗に比例する。

命題18

球の体積は直径の3乗に比例する。

アルキメデスの使用結果

アルキメデスは取り尽くし法を使って円の面積を計算した

アルキメデスは、取り尽くし法を使って円の面積を計算した。円に正多角形を内接させ、その正多角形の辺の数を増やしていったのである。この正多角形の面積を円の半径を1辺とする正方形の面積で割ると、その商は辺の数を増やすにつれてπに近づく。このことから半径 r の円の面積が πr² であることを証明し、πは円周と直径の比率と定義した。付随して、円周の長さと正96角形の内接正多角形と外接正多角形の外周の長さから、3+10/71 < π < 3 + 1/7 という式を導き出した。

アルキメデスは取り尽くし法を使い、他にも以下のような結果を得ている^[8]。

• 直線と放物線に囲まれた部分の面積は、その直線の線分を底辺として放物線に内接して高さが最大の三角形の面積の4/3である（放物線の求積）。
• 楕円の面積は、その長軸と短軸と同じ長さの辺で囲まれる長方形の面積に比例する。
• 球の体積は、底辺がその球の同じ半径で高さが球の半径と等しい円錐の体積の4倍である。
• 高さと直径が等しい円柱の体積は、同じ直径の球の体積の3/2である。
• 螺旋と直線で囲まれた部分の面積は、その線分と同じ直径の円の面積の1/3である。
• アルキメデスは取り尽くし法を幾何級数の評価にも利用した。

定積分の計算

取り尽くし法の新たな形式^[9]を使い、任意の連続関数の定積分を次のように定式化できる。

${\displaystyle \int \limits _{a}^{b}{f(x)\,dx=\left({b-a}\right)}\sum \limits _{n=1}^{\infty }{\sum \limits _{m=1}^{2^{n}-1}{\left({-1}\right)^{m+1}}}2^{-n}f(a+m\left({b-a}\right)/2^{n}).}$

この式は、基本的な不定積分がない場合に便利である。また、積分法を教える際にも役立つ。

関連項目

• 台形公式

脚注・出典

1. 仲田紀夫『無限の不思議：その先に何がある!?』講談社、1992年12月。ISBN 4-06-132945-6。
2. 矢野健太郎「数学と技術 (2)」『照明学会雑誌』第60巻第10号、1976年、546頁、doi:10.2150/jieij1917.60.10_546。
3. 近藤洋逸「第６章　ギリシャの数学　-アテネ時代-」『数学の誕生 : 古代数学史入門』現代数学社、1977年6月10日、145頁。「エウドクソス …（中略）… は無限操作に訴えることなしに求積する方法, 後に"搾出法"(method of exhaustion)とか"取りつくし法"と呼ばれた方法を案出したのである.」
4. ヴィクター・J.カッツ 著、上野健爾、三浦伸夫他 訳「第１章　古代の数学」『カッツ数学の歴史』共立出版、2005年6月30日、27頁。ISBN 4-320-01765-X。「平面図形を扱う最終成果の一部は, 円と弧と弦で囲まれた弓型の面積を扱う公式である. …（中略）… 公式が紀元前３世紀のエジプトのパピルスに見られ, 後世のある著述家が「古代人」の方法としてこれに言及している.」
5. 原亨吉「パスカルの数学論文についてのノート(1)A.D.D.S.への手紙およびホイゲンスへの手紙をめぐって.運動学的な観点から.」『Gallia』第5巻、1960年、70頁。
6. Antiphon the Sophist The MacTutor History of Mathematics archive
7. 『ユークリッド原論』中村幸四郎・伊東俊太郎・寺阪英孝・池田美恵訳・解説（縮刷版）、共立出版、1996年6月25日。ISBN 4-320-01513-4。
8. Smith, David E (1958). History of Mathematics. New York: Dover Publications. ISBN 0-486-20430-8
9. “PlanetMath: Derivation of a definite integral formula using the method of exhaustion.”. 2006年5月22日閲覧。