Феодор Киренский

Эта статья о математике Феодоре из Кирены, о философе Феодоре из Кирены см. Феодор из Кирены (философ)

Феодор Киренский
др.-греч. Θεόδωρος
Имя при рождении	др.-греч. Θεόδωρος
Дата рождения	465 до н. э.
Место рождения	Кирена, Ливия
Дата смерти	398 до н. э.
Место смерти	Кирена, Ливия
Род деятельности	математик
Ученики	Платон, Теэтет Афинский и Ледомант Фасосский

Феодор Киренский (Θεόδωρος ὁ Κυρηναῖος, лат. Theodorus; конец V – начало IV в. до н. э.) — древнегреческий математик, известный как учитель Платона, а также как персонаж диалогов Платона Теэтет, Софист, Политик.

В диалоге Теэтет упоминается некое доказательство несоизмеримости сторон квадратов, площади которых выражаются целыми неквадратными числами 3, 5, ... 17, со стороной единичного квадрата. (Доказательство для стороны квадрата удвоенной площади уже было придумано ранее пифагорейцами.)

Теэтет. Вот Феодор начертил нам нечто о площадях квадратов (περὶ δυνάμεων) и показал, что трёхфутовая и пятифутовая по длине несоизмеримы с однофутовой. Так, перебирая их одну за другой, он дошёл до семнадцатифутовой. Тут его что-то остановило.

Из этого текста можно понять, что доказательство Феодора работало для всех неквадратных чисел, меньших 17, и не работало для числа 17. По поводу того, каким могло быть это доказательство, историками математики было высказано несколько различных предположений. Согласно наиболее правдоподобному предположению Жана Итара (1961), оно было основано на пифагорейской теории чётных и нечётных чисел, в том числе — на теореме о том, что нечётное квадратное число за вычетом единицы делится на восемь треугольных чисел.

Доказательство Феодора было впоследствии заменено универсальным доказательством, основанным на общей теории делимости. Его автором считается Теэтет Афинский, ученик Феодора.

См. также

• Спираль Феодора

Литература

• Ван дер Варден. Пробуждающаяся наука. Математика древнего Египта, Вавилона и Греции. — М.: Наука, 1959. — 456 с.
• Паев М. Е. Решение двух античных проблем. Киев: Наук. думка, 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.