キュレネのテオドロス

キュレネのテオドロス（ギリシャ語: Θεόδωρος ὁ Κυρηναῖος Theódōros ho Kyrēnaîos、英: Theodorus of Cyrene、fl. c. 紀元前450年）は、古代ギリシアの数学者。プラトンの『テアイテトス』『ソピステス』『ポリティコス』に登場する。「テオドロスの螺旋」の功績で知られる。 テオドロスの生涯については、先述のプラトンの記述以外ではほとんど語られていない。彼は、北アメリカの植民地キュレネに生まれ、キュレネとアテネで物事を教えた。『テアイテトス』の中で老いを嘆いており、彼の全盛期が紀元前5世紀半ばであったことを示している。 幾何学を学ぶ以前にソフィストのプロタゴラスに師事していたことが『テアイテトス』に書かれている。テオドロスの生徒にテアイテトスがいた。ディオゲネス・ラエルティオスの様な古代の伝記作者の中で繰り返された疑わしき伝承では、プラトンもキュレネでテオドロスに師事したとされる。 プルタルコスによれば、テオドロスはデルポイの神殿の聖職者でもあり、アルキビアデスや（多くは三十人政権と関連のある）他のソクラテスの仲間とともに、饗宴において秘密を広めたとして告発された。 テオドロスの功績はただ一つの定理のみ知られているが、それは『テアイテトス』の文学的文脈によってもたらされており、歴史的に正確だとも架空だとも議論されてきた。記述内では、彼の生徒テアイテトスは、3から17までの自然数の平方根が無理数であるという定理をテオドロスに帰した。 Theodorus here was drawing some figures for us in illustration of roots, showing that squares containing three square feet and five square feet are not commensurable in length with the unit of the foot, and so, selecting each one in its turn up to the square containing seventeen square feet and at that he stopped. 2の平方根については、言及がない。またテオドロスの証明法は不明のままとなっている。さらに引用文の中の "up to" (μέχρι) が17を含んでいるのかどうかすらも知られていない。ハーディとライト（Wright）とクノール（Knorr）は、最終的には、 x 2 = n y 2 {\displaystyle x^{2}=ny^{2}} が整数の範囲で解ける且つ n {\displaystyle n} が奇数ならば、1と n {\displaystyle n} は8を法として合同であるという定理から導かれた証明であるということを提案した。 自然数の遇奇に着目に限定した考察では、17の平方根の無理数性の証明は、出典にあるように、偶奇を考察する1つの体系で、不可能であると示されているが、より強い自然公理の体系で偶奇の計算により証明可能かどうかは未解決である。 ツォイテン（英語版）によって考えられた可能性は、テオドロスは現在ユークリッドの互除法と呼ばれる、エウクレイデスの原論の命題X.2にある方法を用いた証明である。現代では、連分数展開が無限であることによる無理数性の証明にあたる。無理数である平方根の連分数は循環（英語版）する。19の場合、循環節の長さは6で、これは19以下のどの自然数の平方根の循環節よりも長い。 √17の循環は長さ1である（√18の無理数性は√2の無理数性より導かれる）。 現在テオドロスの螺旋と呼ばれる図形は斜辺が√2, √3, √4, …,となる直角三角形を繋げたものである。√17を超えると、三角形は重なり始める。フィリップ・デイヴィス は、内挿によって、螺旋を連続的にした。彼は、テオドロスの証明法を解き明かす試みの歴史について論じており、書籍「Spirals: From Theodorus to Chaos」やフィクションの「Thomas Gray」シリーズでこの問題に触れている。 テアイテトスはより一般的な無理数性の理論を確立しており、非平方数の平方根の無理であるという理論は、同名のプラトンの書籍や原論の欄外古注（英語版）にも見ることができる。 古代ギリシアの数学者の年表（英語版） プラトンの対話篇の話者の一覧（英語版） 二次の無理数（英語版） ウィルバー・クノール（英語版） ^ a b c d Nails, Debra (2002). The People of Plato: A Prosopography of Plato and Other Socratics. Indianapolis: Hackett. pp. 281-2. ISBN 9780872205642. https://archive.org/details/peopleplatoproso00nail  ^ c.f. Plato, Theaetetus, 189a ^ Diogenes Laërtius 3.6 ^ Plato. Cratylus, Theaetetus, Sophist, Statesman. p. 174d. https://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.01.0172%3Atext%3DTheaet.%3Apage%3D147 August 5, 2010閲覧。  ^ Hardy, G. H.; Wright, E. M. (1979). An Introduction to the Theory of Numbers. Oxford. pp. 42–44. ISBN 0-19-853171-0. https://archive.org/details/introductiontoth00hard/page/42  ^ Knorr, Wilbur (1975). The Evolution of the Euclidean Elements. D. Reidel. ISBN 90-277-0509-7  ^ Pambuccian, Victor (2016), “The arithmetic of the even and the odd”, Review of Symbolic Logic 9 (2): 359–369, doi:10.1017/S1755020315000386 . ^ Menn, Stephen; Pambuccian, Victor (2016), “Addenda et corrigenda to "The arithmetic of the even and the odd"”, Review of Symbolic Logic 9 (3): 638–640, doi:10.1017/S1755020316000204 . ^ Schacht, Celia (2018), “Another arithmetic of the even and the odd”, Review of Symbolic Logic 11 (3): 604–608, doi:10.1017/S1755020318000047 . ^ Heath, Thomas (1981). A History of Greek Mathematics. 1. Dover. p. 206. ISBN 0-486-24073-8  Gow, James (1884). A Short History of Greek Mathematics. University press. p. 85. https://archive.org/details/bub_gb_9d8DAAAAMAAJ  Choike, James R. (1980). “Theodorus' Irrationality Proofs”. The Two-Year College Mathematics Journal.