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

Феодор Киренский (, конец V – начало IV в. до н. э.) —древнегреческий математик, известный как учитель Платона, а также какперсонаж диалогов Платона Теэтет, Софист, Политик.
 В диалоге Теэтет упоминается некое доказательство несоизмеримостисторон квадратов, площади которых выражаются целыми неквадратнымичислами 3, 5, ... 17, со стороной единичного квадрата. (Доказательстводля стороны квадрата удвоенной площади уже было придумано ранеепифагорейцами.)
 \beginquoteТеэтет. Вот Феодор начертил нам нечто о площадях квадратов ипоказал, что трёхфутовая и пятифутовая по длине несоизмеримы соднофутовой. Так, перебирая их одну за другой, он дошёл досемнадцатифутовой. Тут его что-то остановило.\endquote
 Из этого текста можно понять, что доказательство Феодора работало длявсех неквадратных чисел, меньших 17, и не работало для числа 17. Поповоду того, каким могло быть это доказательство, историками математикибыло высказано несколько различных предположений. Согласно наиболееправдоподобному предположению Жана Итара (1961), оно было основано напифагорейской теории чётных и нечётных чисел, в том числе — на теоремео том, что нечётное квадратное число за вычетом единицы делится навосемь треугольных чисел.
 Доказательство Феодора было впоследствии заменено универсальнымдоказательством, основанным на общей теории делимости. Его авторомсчитается Теэтет Афинский, ученик Феодора.