Narození |
465 př J.-C. Cyrene |
---|---|
Smrt |
398 př J.-C. Cyrene |
Aktivita | Matematik |
Theodore z Kyrény , ve starořečtině : Θεόδωρος ὁ Κυρηναῖος ( Cyrene , dnes v Libyi ,465 př J.-C. na 398 př J.-C.) je řecký matematik pythagorovské školy , známý svým příspěvkem k objevu iracionálních čísel .
O životě Theodora z Kyrény je známo jen málo. Víme, že se narodil a zemřel v Kyréně , ale že celý svůj život nestrávil ve svém rodném městě a často se zdržoval v Aténách . Předpokládá se, že byl žákem Protagora . Je možné, že byl mistrem v matematice Theaetetus z Atén , možná ze Sokrata , dokonce i z Platóna .
Kromě práce v matematice se zajímal o astronomii , hudbu a všechny obory ovlivňující vzdělávání. Byl spolehlivým Pytagorejcem a jedním z hlavních filozofů cyrénské školy. Cicero ho řadí mezi ateisty. Myslel si, že rozkoš a bolest neodpovídají ani Dobrému, ani Zlému, a že být šťastný, stačí vědět, jak být „moudrý“.
V oblasti matematiky, stejně jako Theaetetus, se zajímal o iracionální čísla , jak svědčí Platón v dialogu Theetetus ve 147 d. Theodore a současní matematici studovali několik případů nesouměřitelnosti od případu odpovídajícímu la , což předpokládá, že případ odpovídající la byl již znám. Ukázal, že druhé odmocniny jiných než čtvercových celých čísel až 17 (tj. 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15 a 17) byly iracionální čísla. O metodě, kterou použil, však nezbývá nic.
V roce 1941 si Jakob Heinrich Anderhub představil konstrukci spirály složené ze 16 pravoúhlých trojúhelníků, které dávají kořeny celých čísel od 2 do 17. Od té doby byla tato konstrukce pojmenována Theodorova spirála, ale nevíme, jestli jde o metodu používanou Theodorem z Kyrény.
Na začátku XX -tého století, Hieronymus Georg Zeuthen navrhl, že Theodore mohla použít na euklidovský algoritmus .
Avšak Nicolas Bourbaki píše:
„Souhlasíme, že na základě Platónova svědectví v jeho Theaetetus připisujeme Theodorovi z Kyrény demonstraci iracionality √ 3 , √ 5 ,„ atd. Až do √ 17 “, po níž by Theetetus buď získal obecný důkaz pro √ N (N = dokonalé jiné než čtvercové celé číslo), nebo v každém případě (pokud by byl Theodorův důkaz v zásadě obecně principiální) přistoupil ke klasifikaci určitých typů iracionálních. Nevíme, zda tyto první demonstrace iracionality probíhaly aritmeticky nebo geometricky. "