エウドクソスの生涯と功績を解説！取り尽くし法は積分の原型だった？【数学史6-17】

2024年4月11日2024年5月25日

当ページのリンクには広告が含まれています。

　古代ギリシャの数学者エウドクソスは、この時代の中で最も進んだ数学を後世に残しました。

　特に彼を有名にさせているのは「取り尽くし法」と「比例論」。

　取り尽くし法は、後の積分計算の発展に不可欠なものとなり、比例論は無理数の数学的理解を飛躍的に進歩させました。

　この記事では、エウドクソスの卓越した業績を、彼の生涯を通じて探ります。

この記事で主に扱っている時代と場所

時代	紀元前408年頃～紀元前355年頃
場所	ギリシャ

エウドクソスの生涯

　エウドクソス（Eudoxus ,B.C.408頃〜B.C.355頃）は、ヘレニズム以前のギリシャ数学者の中では最も独創的な発想力の持ち主として知られています。

エウドクソス（AIによるイメージ） — ＜図1＞　エウドクソス
（AIによるイメージ）

エウドクソスの年譜

B.C.408年頃

クニドス（現：トルコ）で生まれる

若い頃
アルキュタスに数学を学ぶ

　イタリアに赴き、主に幾何学を学んだ。

紀元前385年頃

アカデメイアで学ぶ

　プラトンの噂を聞き、アカデメイアへ入学を決意したものの、貧しかったため学校から7km離れた港町に住んだ。

その後

エジプトで天文学を深める

　16か月間、エジプトに滞在して天文学の研究を行った。

その後

　アカデメイアで教師を務める

　学生時代からプラトンに評価されており、メナイクモスやディノストラトスの指導にも携わった。

紀元前368年頃～紀元前365年頃

　取り尽くし法や比例論を考案する

　この約3年間が、エウドクソスの最も活躍した時期と考えられている。

紀元前366年

　クニドスに戻り、自身の学校を設立する。

紀元前355年頃

　死亡。

　クニドスで死亡したと考えられている。

エウドクソスの活動場所

　エウドクソスは、クニドスで生まれ育った後、プラトンのアカデメイアの噂を聞き、借金までしてアテネに移住します。
　そのため、アテネ郊外の港町ペイライエウスから毎日片道7kmの距離を通学しました。

　アカデメイアで学んだ後、エウドクソスは天文学の研究のためエジプトに渡ります。
　エジプトのヘリオポリスで16ヶ月間過ごしたエウドクソスは、アテネ、そして地元クニドスに戻り、自身が学んだことを周りに広めるために残りの人生を使いました。

功績：取り尽くし法を考案した

　エウドクソスの功績として最も有名なのが取り尽くし法で、無限小についてを独自の発想で言及しました。

積分の基礎となる考え方

　エウドクソスが考えた取り尽くし法は、以下のように表されます。

エウドクソスの取り尽くし法

　ある量からそれの半分以上を取り去り、その残りからその半分以上を取り去る。
　さらにこれを続けていけば、あらかじめ与えられたいかなる小さな量よりも小さい量が残る。

　曲線で囲まれた図形の内部を、ある基準よりも誤差が少なくなるように取り尽くします。

　試しに半径が$~1~$の円を取り尽くしてみましょう。

半径$~1~$の円の取り尽くし

　あらかじめ$~0.1~$という量を決め、半径$~1~$の円（面積は約$~3.14~$）を取り尽くす。

(1)　1回目の取り尽くしでは、円に内接する正六角形を取り去る。

　このとき、正六角形の面積は

\frac{1}{2}\cdot1\cdot1\cdot\sin{60^{\circ}}\times 6=\frac{3\sqrt{3}}{2}\fallingdotseq2.60

なので、残った部分の面積は約0.54。

(2)　2回目の取り尽くしでは、円に内接する正十二角形で取り去る。

　このとき、正十二角形の面積は

\frac{1}{2}\cdot1\cdot1\cdot\sin{30^{\circ}}\times 12=3

なので、残った部分の面積は約0.14。

(3)　3回目の取り尽くしでは、円に内接する正二十四角形で取り去る。

　このとき、正二十四角形の面積は

\frac{1}{2}\cdot1\cdot1\cdot\sin{15^{\circ}}\times 24=3(\sqrt{6}-\sqrt{2})\fallingdotseq 3.11

なので、残った部分の面積は約0.03。

(3)の段階で、あらかじめ決めた小さな量$~0.1~$を下回るまで取り尽くすことができた。

　現在、曲線で囲まれた図形の面積を求める際には積分を使っていますが、こちらも特定の軸に合わせて細かく取り尽くしていくという点で同じです。

　また、取り尽くし法は約100年後のアルキメデス（Archimedes , 紀元前287年頃～紀元前212年）が考えたものと言われがちですが、アルキメデスによれば、

アルキメデス

この方法はエウドクソスによるものだ！

（出典：Domenico Fetti, Public domain, via Wikimedia Commons）

とのことなので、取り尽くし法はエウドクソスによるものと考えてよいでしょう。

ゼノンのパラドックスにも対応済

　当時、無限小に関する議論をするにあたって避けられなかったのがゼノンのパラドックス。

　しかし、取り尽くし法の本質は

極めて小さい基準を決め、それよりも誤差が小さくなるまで分割作業を繰り返していく

ことにあり、「無限」という言葉を使わず、あくまで有限回の作業でできることで成り立っています。

　取り尽くし法の考え方は、19世紀の数学者オーギュスタン・ルイ・コーシー（Augustin Louis Cauchy , 1789年～1857年）やカール・ワイエルシュトラス（Carl Weierstrass , 1815年～1897年）が確立した、極限の厳密な考え方であるε-δ論法にもつながっています。

ε – δ 論法

　$~x~$を$~a~$に近づけたとき、$~f(x)~$が$~b~$に近づくこと（$~\displaystyle \lim_{x \to a}f(x)=b~$）を次のように表す。

　任意の $~\varepsilon > 0~$に対して、ある$~\delta > 0~$が存在して、

|x-a|<\delta \Longrightarrow |f(x)-b|< \varepsilon

　エウドクソスが取り尽くし法の中で述べた「あらかじめ与えられたいかなる小さな量」こそ、まさに$~\varepsilon~$のことなのです。

功績：比例論で無理数を扱った

　もう1つの大きな功績として、当時嫌われていた無理数を数の仲間に混ぜたことにあります。

無理数でも適用できる比例論

　エウドクソスは、次のように比を定義しました。

エウドクソスの比の定義

　4つの数量$~a~,~b~,~c~,~d~$に対して、与えられた整数$~m~,~n~$について、

\begin{cases} ma < nb &ならば~~~~mc < nd \\ ma = nb &ならば~~~~mc = nd \\ ma > nb &ならば~~~~mc > nd \end{cases}

のいずれかが必ず成り立つとき、$~\displaystyle \frac{a}{b}=\frac{c}{d}~$である。

　真ん中の場合で考えるとわかりやすく、

n:m=a:b ~~~~ ならば~~~~n:m=c:d

が成り立つなら、$~a:b=c:d~$が成り立つということを、エウドクソスは主張しています。

　実際、大きさの異なる正方形について、一辺と対角線の長さを比で表すことが可能になります。

一辺の長さが2倍となる正方形の対角線

　正方形において、一辺の長さを$~2~$倍すると、対角線の長さも$~2~$倍となる。

　この例では、無理数$~\sqrt{2}~$を$~2~$倍しています。

　当時、ピタゴラス教団の影響もあって扱いづらかった無理数でしたが、エウドクソスによって、他の数と同様に計算が可能であることがわかったのです。

　ただ、$~\sqrt{2}\times \sqrt{3}=\sqrt{6}~$のような数値計算は、先の時代を待つことになります。

ハイヤーム

無理数の数値計算は、一説によればアラビア生まれのようです。

（出典：The original uploader was Atilin at French Wikipedia., CC BY-SA 3.0, via Wikimedia Commons）

実数の稠密性と同等の定義

　エウドクソスの比例論は、19世紀のリヒャルト・デデキント（Richard Dedekind, 1831年〜1916年）が提示したデデキントの切断とほぼ同等の意味を持っていました。

デデキントの切断

　量の比$~\displaystyle \frac{b}{a}~$が、$~\displaystyle \frac{m}{n} \leqq \frac{b}{a} ~$を満たす有理数$~\displaystyle \frac{m}{n}~$の全体と、$~\displaystyle \frac{m}{n} > \frac{b}{a} ~$を満たす有理数$~\displaystyle \frac{m}{n}~$の全体に分けている。