Творцы египетской и вавилонской математики остались безымянными. Греки сохранили имена своих мудрецов. Первое из них — имя Фалеса Милетского — является также первым именем, вошедшим в историю науки. Фалес жил в VI в. до н. э. в городе Милете на Малоазиатском побережье Эгейского моря. Одна дата из его жизни установлена твердо: в 585 г. до н. э. он предсказал солнечное затмение. Этот факт, кстати, неоспоримо свидетельствует о знакомстве Фалеса с культурой древних цивилизаций, ибо, чтобы установить периодичность затмений, необходим опыт десятков и сотен лет. Так как у Фалеса не было греческих предшественников, он мог заимствовать свои познания по астрономии только у ученых Востока.
Рис. 10.1. Равнобедренный треугольник
Фалес, как утверждают греки, дал миру первые математические доказательства. В числе доказанных им положений (теорем) называют следующие:
Диаметр делит круг на две равные части.
Углы при основании равнобедренного треугольника равны.
Два треугольника, у которых одинаковы стороны и прилежащие к ней углы, равны.
Кроме того, он первый дал построение круга, описанного вокруг прямоугольного треугольника (и в честь этого открытия, как говорят, принес в жертву быка).
Простейший характер указанных теорем, их интуитивная очевидность показывают, что Фалес полностью осознавал значение доказательства как такового. Эти теоремы, явно доказывались не потому, что были сомнения в их истинности, а с целью положить начало систематическому нахождению доказательств, разработать технику доказательства. Имея такую цель, естественно начинать с доказательства самых простых предложений.
Пусть треугольник ABC равнобедренный (рис. 10.1), т. е. сторона AB равна стороне BC. Разделим угол ABC линией BD на две равные части. Перегнем мысленно наш чертеж по линии BD. Так как угол ABD равен CBD, линия BA ляжет на линию BC, а так как длины отрезков AB и BC равны, точка A ляжет на точку C. Поскольку точка D остается на месте, углы BCD и BAD должны быть равны. Если раньше нам только казалось, что углы BCD и BAD одинаковы (так, вероятно, говорил своим согражданам Фалес), то теперь мы доказали, что эти углы необходимо и с абсолютной точностью должны быть равны (тогда говорили «подобны») друг другу, т. е. совмещаться при наложении.
Рис. 10.2. Построение окружности, описанной вокруг прямоугольного треугольника
Итак, несколько дополнительных точек и линий на чертеже, цепочка логических рассуждений — и в результате из простых и очевидных истин мы получаем истины далеко не простые и далеко не очевидные, в справедливости которых, однако, никто не может ни на минуту усомниться. Это стоит того, чтобы принести в жертву богам быка! Можно представить себе восторг, который испытали греки, совершив такое открытие. Они напали на золотую жилу и с усердием принялись ее разрабатывать. Уже во времена Пифагора (550 г. до н. э.) занятия математикой были очень распространены среди людей, обладавших досугом, и считались делом благородным, почетным и даже священным. Достижения и открытия, одно другого чудеснее, посыпались как из рога изобилия.