Читать книгу Века сквозь математику, или Как математики раз за разом мир вертели онлайн

Почему Фалес считается отцом математики? Считается, что Фалес первый применил в математике доказательства. Откуда это известно? В V веке нашей эры великий математик Прокл Диадох сочинил очень известный «Комментарий к первой книге "Начал" Евклида». Случилось это примерно 1200 лет спустя после того, как жил Фалес. В этом комментарии написано, что за 900 лет до Прокла (т.е. все равно не при жизни Фалеса) ученик Аристотеля Евдем письменно утверждал, что Фалес доказал следующие факты:

Первый доказал, что диаметр делит круг на равные части.

Доказал      равенство      углов      при      основании      равнобедренного треугольника.

Равенство треугольников по стороне и двум углам.

Текст Евдема до нас не дошел, и сами доказательства до нас не дошли (мы не имеем никакого понятия о том, какие они были), но раз так утверждается в письменном источнике Проклом (который, предположительно, видел-таки письменный источник, написанный Евдемом, у которого тоже были какие-то основания для подобного заявления) – то вот считается вот так.

Не надо воспринимать историю математики как математику. Тут почти не бывает (и в определенной степени не может быть) строгих доказательств исторических фактов.

/*По поводу исторических доказательств в истории математики сохранился также еще один анекдот. Андрей Николаевич Колмогоров, один из великих математиков 20 века, сначала хотел быть историком. И как-то раз, выступая на научном семинаре сделал доклад, полностью обосновав и доказав свою точку зрения. Руководитель семинара Колмогорова очень хвалил, но сказал, что для достоверности каждый исторический факт должен быть подтвержден несколькими разными доказательствами. Так и закончилась карьера Колмогорова-историка: он решил уйти в науку, где для доказательства истинности одного доказательства достаточно!*/

Фалес был великим мыслителем, и прославился не только математическими открытиями. Кроме вышеперечисленных фактов он доказал, что вертикальные углы равны и в каком-то виде знаменитую теорему Фалеса – скорее всего только прямую; первый описал круг вокруг прямоугольного треугольника и скорее всего, первый же доказал, что угол, опирающийся на диаметр – прямой.