Феодор Кіренський
Феодор Кіренський (Θεόδωρος ὁ Κυρηναῖος, лат. Theodorus; кінець V — початок IV ст. до н. е.) — давньогрецький математик, відомий як учитель Платона, а також як персонаж діалогів Платона Теетет, Софіст, Політик.
У діалозі Теетет згадується деяке доведення несумірності сторін квадратів, площі яких виражаються цілими неквадратними числами 3, 5, … 17, із стороною одиничного квадрата. (Доведення для сторони квадрата подвійної площі вже було придумано раніше піфагорійцями.)
Теетет. Ось Феодор накреслив нам щось про площі квадратів (περὶ δυνάμεων) і показав, що трифутова і п'ятифутова по довжині несумірні з однофутовою. Так, перебираючи їх одну за одною, він дійшов до семнадцатіфутової. Тут його щось зупинило.
З цього тексту можна зрозуміти, що доведення Феодора працювало для всіх неквадратних чисел, менших 17, і не працювало для числа 17. З приводу того, яким могло бути це доведення, істориками математики було висловлено кілька різних припущень. Згідно з найбільш правдоподібним припущенням Жана Ітара (1961), воно було засноване на піфагорійскій теорії парних і непарних чисел, в тому числі — на теоремі про те, що непарне квадратне число за вирахуванням одиниці ділиться на вісім трикутних чисел.
Доведення Феодора було згодом замінене універсальним доведенням, заснованим на загальній теорії подільності. Його автором вважається Теетет Афінський, учень Феодора.
Література
- Ван дер Варден Б. Л. Пробуждающаяся наука: Математика древнего Египта, Вавилона и Греции. Пер. И. Н. Веселовского. М.: Физматгиз, 1959.
- Паев М. Е. Решение двух античных проблем. Киев: Наук. думка, 1987.
- Фрагменты ранних греческих философов. Часть 1: От эпических космогоний до возникновения атомистики, Изд. А. В. Лебедев. М.: Наука, 1989, с. 431–432.
- Щетников А. И. Вторая книга «Начал» Евклида: её математическое содержание и структура. Историко-математические исследования, 12(47), 2008, с. 166–187.
- Artmann B. A proof for Theodorus’ theorem by drawing diagrams. J. Geom., 49, 1994, p. 3-35.
- Giacardi L. On Theodorus of Cyrene's problem. Arch. Internat. Hist. Sci., 27, 1977, p. 231–236.
- Itard J. Lex livres arithmetiqués d'Euclide. Paris: Hermann, 1961.
- Knorr W. R. The evolution of the Euclidean Elements. A study of the theory of incommensurable magnitudes and its significance for Greek geometry. Dordrecht a. o.: Reidel, 1975.
- McCabe R. L. Theodorus’ irrationality proofs. Math. Mag., 49, 1976, p. 201–203.