|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 積 ： [せき] 【名詞】 1. (gen) (math) product ・ 法 ： [ほう] 1. (n,n-suf) Act (law: the X Act)
取り尽くし法（、）は、与えられた図形の面積や体積を求める手法の1つで、その図形に内接する一連の多角形を描き、それらの面積を元の図形に収束させる方法である。積尽法、窄出法ともいう。また古代人の方法（）とも呼ばれる。列を正しく構築すれば、''n''角形の面積と元の図形の面積の差は ''n'' が大きくなるにつれて小さくなっていく。この差を恣意的に小さくすれば、その図形の面積は一連の数列で得られる面積によって「取り尽くされ」、とりうる値の下限が体系的に定まる〔Antiphon the Sophist The MacTutor History of Mathematics archive〕。この方法はアンティポンが起源だが、彼がどこまで明確に理解していたのかは不明である。厳密な理論付けをしたのはエウドクソスである。「取り尽くし法」という用語を最初に使ったのは、Grégoire de Saint-Vincent の ''Opus geometricum guadraturae circuli et sectionum coni''（1647年）である。 取り尽くし法には一般に背理法の一種を必要とする。これは、ある領域の面積を第2の領域の面積と比較することによって求めることに相当し、それを「取り尽くす」ことで真の面積に恣意的に近づけていく。第2の面積より真の面積が大きいことを前提とし、その前提が偽であることを証明する。次に、真の面積が第2の面積より小さいことを前提として、その前提も偽であることを証明する。 取り尽くし法は微分積分学の先駆けと言える。17世紀から19世紀に解析幾何学と厳密な微分積分学が発展し（特に極限に厳密な定義が与えられ）、取り尽くし法は問題の解法としては使われなくなった。 == エウクレイデスの使用結果 == エウクレイデスは『原論』第12巻で取り尽くし法を用いて以下の6個の命題を証明している。 ;命題2 :円の面積は直径の2乗に比例する。 ;命題5 :相等しい高さの三角錐の体積は互いに底面の三角形の面積に比例する。 ;命題10 :円錐の体積は同じ底面と同じ高さを持つ円柱の体積の3分の1である。 ;命題11 :同じ高さの円錐または円柱の体積はそれぞれ互いに底面の面積に比例する。 ;命題12 :相似な円錐または円柱の体積はそれぞれ互いに底面の直径の3乗に比例する。 ;命題18 :球の体積は直径の3乗に比例する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「取り尽くし法」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Method of exhaustion 」があります。 スポンサード リンク
|