Феодор Киренский (Θεόδωρος ὁ Κυρηναῖος, лат. 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.