無理数最新

ロゴス、アロゴス、ギリシア語の使用から見る、通約不能性(無理数）の発見の時期とその伝説

ピュタゴラス派によって無理数が発見され「万物が数である」という教義に反し、この発見がピュタゴラス派に衝撃を与え、スキャンダラスであり、秘密にされた。無理数を表す「アロゴス」は、もともと、言葉を表す「ロゴス」の否定形で「言ってはならぬ」であった。このことは、現代でも、さまざまな著作、雑誌等に書かれているが、ギリシア数学史の研究者でこう主張する者はほとんどいない。これら無理数に関する言葉の、古代ギリシア（ソクラテス以前）での使用例を見ていく。ある時点で、数学用語に変わっていくことがわかる。その時点は通約不能量の発見の時期を或る程度断定できるのでは。以下の資料はKnorr（ｐ５５注４７）,Fowler（ｐ１９１～１９３）この資料より、デモクリトス、テオドロス、おそらくピロラオスとリュシスは数学的な感覚で使用していた。他は本来の意味で使われている、このことからも、通約不能量というものが認識され始めたのはBC５世紀後半であると言える。なおプラトン、アリストテレスの時代には一般的な用語と数学的な意味での使い方が混在していた。

ギリシアでの数学用語
・λογο∫（比、有理）
・αλογο∫（比にならない、無比、無理）
・ρηο∫（比、有理）
・αρρηο∫（比にならない、無比、無理）
・συμμετρο∫（通約可能）、υσμμετρια（通約可能性）
・ασυμμετρο∫（通約不能）、ασυμμετρια（通約不能性）

原論での定義は
同じ尺度によって割り切れる量は通約できる（υμμετρο∫）量といわれ、いかなる共通な尺度をもちえない量は通約できない（αυμμετρο∫）量といわれる」

１．αλογο∫の使用例、この言葉は頻繁に使用されていた。もともとは「unreasoning」「unintelligent」という意味で使われていた。

例１、パルメニデス（DK２８A４５）「非理性的動物」
例２、ヘラクレイトス（DK２２A１６）「人間は理性的ではなく」
例３、デモクリトス（DK６８A３３）著作として「通約不能な線分と立体について」
例４、ピロラオス（DK４４B１１）what is false and ill belongs to the nature of the unbounded and the unintelligible and the irrational
　　　邦訳は「虚偽や嫉妬は無限なるもの、思考の対象にならぬもの、不合理なるものに属する」となっている

２．αρρηο∫（アレテー）ロゴスと同じように「言ってはならない」

例、リュシス（DK４６、４）リュシスが神を、irrational numberと呼んだ
注、「言ってはいけない」「無理数」両方の意味で使われているDK注（２）。Burkertによると現存する資料では、無理数としは最古の資料だそうですBurkert（ｐ４６１）ただし、この資料は偽作

３，υμμετρο∫（通約可能）、υμμετρια（通約可能性）。もともとは「suitable」「compatible」という意味でつかわれていた。
αυμμετρο∫（通約不能）、αυμμετρια（通約不能性）は「unsuitable」「uncompatible」という意味でつかわれていた。

例１、
アルクマイオン（DK２４B４）a suitable blending of earth generates yields health
エンペドクレス（DKA８６） perception requires the complementary of the effuences
エンペドクレス（DKA８５）a suitable blending of earth

例２、ヒッパソス（イアンブリコス「ピュタゴラス伝」）無理性と通約不能性についての教えを口外した（後述するように、これはイアンブリコスの資料により、真偽は疑問視されている）

例３、テオドロス（プラトン「ティアイトス」）通約的でないことを明らかに（証明）した。

デモクリトスのBC４６０年頃～BC４００頃、リュシスはペロポンネソス戦争（BC４３１～４０４）の時期にイタリアから出て、BC３８０年に死んだエパンダミノスの師となった。従って、現存する資料からは、「通約不能」「無理数」とうい意味で用いられたのはこの
二人が初めてである。従って、この二人の活躍したBC４４０～４３０頃「通約不能性」が認識されはじめたと推測できる。なお、テオドロスはBC４４０頃活躍（プラトン「ティアイトス」に文書資料として、初めて無理数が記録されている。書かれたのはBC３６８）
ピロラオスは、ソクラテス（BC４７０頃～BC３９９）とほぼ同世代。なお、以下のように、アリストテレス、プラトンには二つの意味で
用いられていた。

プラトン全集における使用頻度
・αλογο∫・・・・一般的な意味（言ってはならない等）３６回、数学的な意味で１０回
・ρηο∫・・・一般的的な意味（言葉で表せる、言明可能等）３回、数学的な意味７回
・αρρηο∫・・・・一般的な意味（言葉で表せない、言明不能等）３回、数学的な意味８回

資料、プロクロスの列伝（訳文は、「原論」日本語訳より）
①かれらについで、ピュタゴラス（Ηυθαγορα∫）がこの幾何学の研究を一つの自由教養（παιδεια　ελευθρα）の形に変換し、高所から（ανωθεν）この学問の諸原理を考察し、非物体的なしかたで（αυλω∫）純粋に知的に（νοερω∫）諸定理を研究した。
②無理量の問題と世界図形（τα　των　κοσμικων　σχηματα正多面体）の構成を発見したのは実に彼である。

プロクロスのギリシア語原文（GM１－１４８）
①επι　δε　τουτοι∫　Ηυθαγορα∫（ピュタゴラス）　την　αυτην　φιλοσοφιαν（研究）
　ει∫（続いて）　σχημα（形）παιδεια∫(教養）　ελευθερου(自由な）　μετεστησεν（あとに続いて）　ανωθε（高所）　τα∫　αρχα∫　αυτη∫　
επισκοπουμενο∫　και　αυλω∫（非物体的）　και　νοερω∫（知的に）　τα　θεωρηματα　
διερευνωμενο∫

②ο∫　δη　και　την　των　ανα　λογον　πραγματειαν（問題として取り上げる）　και　την　των
κοσμικων　σχημτων　συστασιν（正多面体）　　

イアンブリコス「共通なる数学的知識について」ギリシア語原文（Burkert　ｐ４１０より）
上記の資料のギリシア語原文（GM１－１４８）

①οτι　τοινυν　ουδε　εικη　　Ηυθαγορα∫（ピュタゴラス）　την　περι　τα　μαθηματα
（数学）　　φιλοσοφιαν（研究）　ει∫（続いて）　σχημα（形）παιδεια∫(教養）　ελευθερου
(自由な）　μετεστησεν（あとに続いて）　διερευνωμενο∫

プロクリス①は、イアンブリコス①をそのまま写した。従ってプロクロスはイアンブリコスを用いた事は明らか。VoghtとSachsによれば、エウデモスのものではなくイアンブリコスの追加で、②新プラトン主義者おそらくプロクロス自身の追加である。いずれにしても通約不能量の発見の資料にはなりえない（Fowler p292)。なお、イアンブリコスは、空想癖があり、アリストテレスをもとにしているが、色々なものを追加している。後のサイトで述べるが、アリストテレスの形而上学においてピュタゴラス派について述べていることに追加して、ピュタゴラスを幾何学者にしてしまっている。

以下はBurkertを参考にした
＊「非物質的に、知的に」の部分は、ペリパトリス派、プラトンおよびアカデメイア、特にプロクロスが好んだ（注釈　９、６３、１３７）従ってプロクロス挿入したかもしれない。さらに、ピュタゴラスまたはピュタゴラス派に関するアリストテレスの証言「ピュタゴラス派は数を存在事物だと説いている・・・あたかも物体がそうした存在する数どもからなるものであるかのように、彼らの諸々の定理を適用して」この部分は、アカデメイアのプラトン、スペウシッポス、クセノクラテスの学説とピュタゴラス派の学説を比較している箇所だが、ピュタゴラス派が非物体ではなく、物体的に描かれている、逆にアカデメイアは非物質的に描かれている。また、プラトンは国家（５２５～）「この学問は、魂を上方に導く力をもち・・・目に見えたり、手で触れたりできる物体の形を魂にさしだしても、けっして受け付けない（つまり非物体的）」。プルタルコス「食卓歓談集」（７１８D）「幾何学は、我々を、我々がしがみついている感覚の世界から引き離し、思惟によってとれえられるべき永遠のなもの（非物体的）へと向かわせる」
いずれにせよ、プロクロスはこれらのアカデメイアの伝統のもとに挿入したと考えられる。（プルタルコスはプラトン主義者）つまり非物体的はピュタゴラス派にはあてはまらない。

＊Voght（１９０８）とSachs（１９１７）の主張に対する有力な反論は、１９６２年までほとんどない。あってもすぐに論破された。従ってピュタゴラスが数学者であるとよく引用されるこの章句はエウデモスのものではなく、プロクロスが、イアンブリコスを空白を埋めるために、ほとんどそのまま書き写した。②は、推測だが、プロクロスが当時の大きな発見をピュタゴラスに帰したと思われる。特に無理量については、イアンブリコスが「秘密の暴露」「神の罰」について語っているところや、正多面体では「正十二面体を描いた」を語っているところから挿入したかも。エウデモスが無理数について述べていないようにおもわれる。何回も言うが、エウデモスが語るピュタゴラスと無理数の関係は資料的価値がない（エウデモスの「幾何学史」には記述がなかったように思える。次に述べる注釈の分析も傍証になる。

＊プロクロスがエウデモスの名を挙げている部分（番号は注釈のページ）。またプロクロスはピュタゴラスについて述べることはなく、すべてピュタゴラス派としている。
①角についての３つの意見があるが、ペリパトリスのエウデモスは「角について」という本を書き（１２５）
②「対頂角は等しい」これはエウデモスの言うところによれば、タレスによって初めて発見された（２９９）
③（垂線の作図について）エウデモスの言うところによれば、オイノビデスのものである（３５２）
④エウデモスは「幾何学史」においてこの定理（一辺とその両端の角が等しい三角形は合同である）をタレスのものとしている（３５２）
⑤エウデモスとその弟子は「面積あてはめ」をピュタゴラス派のムーサ（神の名）としている（４１９）

プロクロスが無理数についてのべている部分はエウデモスの名はない。つまりエウデモスを引用していないと思われる。
①もし無限がなかったなら、すべての量は通約可能であり、言明できないもの、無理性なものはなくなってしまう（６）
②無理性に関する命題（６０）
③上記のピュタゴラスの部分（６５）
④アポロニウスは「不規則な無理量について」という本をまとめた（７４）

通約不能量（無理数）の発見をピュタゴラス派とする伝説は次のものである。（ピュタゴラスではない）
これらの資料から、「無理数」（アロゴス、アレテー）「言ってはいけない」（アロゴス、アレテー）の二重の意味の物語が現在でも
数学史の書物で語られている。しかし、これらは、ピュタゴラスから、約千年後の著作である、信憑性には欠ける。「イアンブリコスの混乱した伝説は、通約不能量の理論の初期の歴史に関するいかなる主張に対しても希薄な根拠にしかならない」（Knorr、ｐ２２）

イアンブリコスによるものは次の三つの部分にある（DK18-4）イアンブリコスは３世紀の人

①ヒッパソスについては次のように伝えられている。この人はピュタゴラス　派のひとりであったが、秘密をもらして、最初に１２の五角形からできた球　（正十二面体）を描いたことから、不敬虔のゆえに海で溺死した。そして、これを発見した者としてヒッパソスは名声をえているが、このような発見はか　の人（ピュタゴラス）によるものであるという。彼らは、ピュタゴラスをこのようなしかたで語り、名前で呼ぶことはない秘密がもらされた後は、この学問は（ギリシア全土）で発達し（当時の数学者たちの中でも）とくに抜きんでた二人の者がその第一人者として認められていた。すなわち、キュレのテオドロスとキオスのヒッポクラテスである。しかしながら、ピュタゴラス派の人たちによれば、以下のような次第で幾何学が明るみにでたのだという。すなわち、ピュタゴラスのだれかがその財産を失って、このような不幸がおきたために、幾何学で金を儲けることが彼には許されたのだということである。

②とにかく、教義にあずかるに値しない人たちに、最初に通約性と非通約性の本質をもらした人は、ひどく忌み嫌われて、共同生活や共同食事から締め出されたばかりではなく、人びとは、かつては仲間であったこの人が人間たちとの生からもはや離れてしまったと考えて、彼の墓を作りさえしたのである。

③また、ある人たちの言うところでは、神霊もまたピュタゴラスの教えを出版した人たちに憤ったという。というのも２０の頂点をもつ図形の構成を公にした人は不敬虔な者として海で溺死したからだということである。これは立体とよばれる図形の一つである正十二面体を球に内接させるという意味である。
④しかし、このような不運に遭ったのは、無理数と非通約性についての教えを口外した人たちであるともいう。

注、パッポスのソースは④である(Fischler p66）

注、資料から言えること
ヒッパソスは、正二体面を描いた、そして溺死した。ことだけである。ヒッパソスを無理数の発見者とすることはできない。

①「パッポス「原論第１０巻注釈」はアラビア語で現存する。（Fowler p295-296）

「無理量の理論はその起源をピュタゴラス派にもっている。それはアテナイのティアイトスのよって大いに発展させられた。ティアイトスは数学の他の部門と同様に、この部門で証明を与えたまさに尊敬すべき有能な人であった。彼は人間のうちで最も天分の与えられた人であった。そしてすぐれた熱心さをもって諸所の学問の真理を追求することに没頭した。これはプラトンがティアイトスの名をつけた著作において証言したとおりである。上述の無理量の正確な分類やこの理論に基づく諸命題の厳密な証明に関しても、その大部分はこの数学者がなしとげたものである。そして後代になって、数学において最高の天分をもったアポロニオスが多くの努力と苦心の結果、ティアイトスの発見にさらに多くの著しい理論を付け加えた。そして、ティアイトスは長さにおいて通訳可能な平方根と通約不能なものとに分類した。そして無理線分の種類をその平均によって分類し、幾何平均に対しては中項線分を、算術平均に対しては二項線分を、調和平均に対しては余線分を付与した。これは、ペリパトス派のエウデモスが述べているところである」

注、ヒッパソスは５世紀前半の人、この記述が史実に基づいているとすると、ヒッパソスは、古代の資料における数学者として言及されている最初のピュタゴラス派の人ということになる。(Fischler p64）

　推測であるが、まず、リュシスは「神は口にできない（言ってはいけない）数」と定義した。こらは「言ってはいけない」「無理数」の両方を意味する。また、リュシスの手紙「君はだれにでも愛知の営みを教えているそうですが・・・これはピュタゴラス由無しとされた振る舞いです。・・・君は、教えを秘めておかなかった。それでもし君が心を改めるならうれしく思います。さもなくば、君は死んでしまったことになる。なぜといって、聖俗についての、この人の教戒を心にだけ留めおき、魂がゆめにも清められていない者らとは、智慧の善きことどもをともにしないのが神意にかなうのです。」（ｖｐ７５）「あなたは公の席で哲学を講じておられるそうだが、これはピュタゴラスが適当ではないと考えておられたことです。・・・あの方は覚え書きを、家族以外に決して譲り渡してはならぬと言明した」（DL４２）。そして、プルタルコス（１世紀）の言葉「（ピュタゴラス派では）、難解で神秘的な幾何学の進歩の秘密を、それに値しない者が漏らした時、彼らは次のように言った。神は、広くいきわったている災難で罰すると、その者を威嚇したと」（英雄伝「ヌマ」)。言葉の二重の意味（リシュス）。秘密の厳守とその暴露（リシュスの手紙、これに、幾何学の進歩は無理数のことで、値しない者が漏らした（プルタルコスとリュシスの手紙）、神罰（プルタルコスとリュシスの手紙）海で溺れたを挿入して、これらの伝説が、形成さていったのではないか。Burkertは、「アレテーの二つの意味、比にならない、言ってはならないを同一視して、無理数の秘とをその暴露の物語を作り上げるのはいかにたやすい一歩だった」