取り尽くし法のソースを表示

'''取り尽くし法'''（とりつくしほう、{{lang-en-short|method of exhaustion}}、{{lang-la-short|methodus exaustionibus}}）は、与えられた[[図形]]の[[面積]]や[[体積]]を求める手法の1つで、その図形に[[内接図形|内接]]する一連の[[多角形]]を描き、それらの[[面積]]を元の[[図形]]に[[収束]]させる方法である。'''積尽法'''<ref>{{Cite book|和書|title=無限の不思議：その先に何がある!?|date=1992年12月|publisher=講談社|author=仲田紀夫|isbn=4-06-132945-6|author-link=仲田紀夫}}</ref><ref name="yano">{{Cite journal|和書|author=矢野健太郎|author-link=矢野健太郎 (数学者)|year=1976|title=数学と技術 (2)|url=https://doi.org/10.2150/jieij1917.60.10_546|journal=照明学会雑誌|volume=60|issue=10|page=546|doi=10.2150/jieij1917.60.10_546}}</ref>、'''搾出法'''<ref name="yano" /><ref>{{Cite book|和書|title=数学の誕生 : 古代数学史入門|publisher=現代数学社|page=145|author=近藤洋逸|author-link=近藤洋逸|date=1977年6月10日|quote=エウドクソス …（中略）… は無限操作に訴えることなしに求積する方法, 後に"搾出法"(method of exhaustion)とか"取りつくし法"と呼ばれた方法を案出したのである.|chapter=第６章　ギリシャの数学　-アテネ時代-}}</ref>ともいう。また'''古代人の方法'''<ref>{{Cite book|和書|title=カッツ数学の歴史|date=2005年6月30日|publisher=共立出版|page=27|author=ヴィクター・J.カッツ|translator=上野健爾、三浦伸夫他|isbn=4-320-01765-X|quote=平面図形を扱う最終成果の一部は, 円と弧と弦で囲まれた弓型の面積を扱う公式である. …（中略）… 公式が紀元前３世紀のエジプトのパピルスに見られ, 後世のある著述家が「古代人」の方法としてこれに言及している.|chapter=第１章　古代の数学}}</ref><ref>{{Cite journal|和書|author=原亨吉|author-link=原亨吉|year=1960|title=パスカルの数学論文についてのノート(1)A.D.D.S.への手紙およびホイゲンスへの手紙をめぐって.運動学的な観点から.|url=https://hdl.handle.net/11094/3953|journal=Gallia|volume=5|page=70}}</ref>（{{lang-fr-short|méthode des anciens}}）とも呼ばれる。

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

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

== エウクレイデスの使用結果 ==
[[エウクレイデス]]は『[[原論]]』第12巻で取り尽くし法を用いて以下の6個の命題を証明している<ref>{{Cite book|和書|others=[[中村幸四郎]]・[[伊東俊太郎]]・[[寺阪英孝]]・[[池田美恵]]訳・解説|date=1996-06-25|title=ユークリッド原論|edition=縮刷版|publisher=共立出版|isbn=4-320-01513-4}}</ref>。
;命題2
:円の面積は直径の2乗に比例する。
;命題5
:相等しい高さの三角錐の体積は互いに底面の三角形の面積に比例する。
;命題10
:円錐の体積は同じ底面と同じ高さを持つ円柱の体積の3分の1である。
;命題11
:同じ高さの円錐または円柱の体積はそれぞれ互いに底面の面積に比例する。
;命題12
:相似な円錐または円柱の体積はそれぞれ互いに底面の直径の3乗に比例する。
;命題18
:球の体積は直径の3乗に比例する。

== アルキメデスの使用結果 ==
[[ファイル:Archimedes pi.svg|thumb|right|300px|アルキメデスは取り尽くし法を使って円の面積を計算した]]

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

アルキメデスは取り尽くし法を使い、他にも以下のような結果を得ている<ref>{{cite book | last = Smith | first = David E | year = 1958 | title = History of Mathematics | publisher = Dover Publications | location = New York | isbn = 0-486-20430-8}}</ref>。

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

== 定積分の計算 ==
取り尽くし法の新たな形式<ref>{{cite web |url= http://planetmath.org/encyclopedia/ExampleOfMethodOfExhaustion.html |title=PlanetMath: Derivation of a definite integral formula using the method of exhaustion. |accessdate=2006-05-22}}</ref>を使い、任意の連続関数の定積分を次のように定式化できる。

:<math>\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 ).</math>

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

== 関連項目 ==
* [[台形公式]]

== 脚注・出典 ==
{{Reflist}}

{{DEFAULTSORT:とりつくしほう}}
[[Category:体積]]
[[Category:ユークリッド幾何学]]
[[Category:微分積分学]]
[[Category:数学史]]
[[Category:数学に関する記事]]