Рис. 1
Рис. 2
Рис. 3
Рис. 4
Если рассматривать термин «теорема» так, как это описано выше, то жители Древней Месопотамии, Египта и Китая также имели свои теоремы. Однако начиная с Фалеса, древние греки начали использовать это слово в математическом значении: предполагалось, что теорема должна носить максимально обобщенный характер и подтверждаться доказательством.
Вернемся к одному из свойств, открытие которого приписывают Фалесу: диаметр делит круг пополам. Это утверждение могло бы показаться достаточно неоднозначным для ученого уровня Фалеса, ведь это очевидно. Как могло получиться так, что только в VI в. до н. э. люди пришли к такому очевидному выводу? Нет сомнений, что ученые Древнего Египта и Вавилона уже давно сделали это наблюдение.
Однако надо четко понимать, что имя ученого из Милета осталось в истории не только благодаря сделанному наблюдению, но прежде всего из-за сформулированного им доказательства. Фалес сформулировал эту теорему в общем виде – для любого круга! Чтобы сделать тот же вывод, ученые из древних Вавилона, Египта и Китая обращались к конкретным примерам. Нарисовав круг радиусом 3 и диаметр внутри него, они отмечали, что диаметр делит указанный круг пополам. Если одного примера не было достаточным для подтверждения данного факта, приводился второй, третий, четвертый примеры, если требовалось. Примеры приводились до того момента, пока не становилось очевидным, что это верно для любого подобного случая. Но никогда ранее не приводилось и не формулировалось обобщенное доказательство.
Фалес был в этом первооткрывателем. Он говорил о любом круге, независимо от его параметров. Он мог быть как гигантского размера, так и совсем крошечным, начерченный на горизонтальной, вертикальной или наклонной поверхности – совершенно не важно, какой конкретно круг. Всегда диаметр будет делить его на две равные половины.
Так, Фалес был первым, кто окончательно придал геометрическим фигурам статус абстрактных математических объектов. Этот этап в развитии по значению сопоставим с моментом, когда за две тысячи лет до этого в Месопотамии числа стали рассматриваться отдельно от исчисляемых объектов. Круг с этих пор перестает быть очертанием, сделанным на земле, глиняной табличке или папирусе, и перерастает в идею, абстрактную категорию, идеальную форму, реальные изображения которой отныне становятся не более чем условной иллюстрацией. С этих пор математические истины формулируются обобщенно, независимо от наличия конкретных примеров. Такие задачи древние греки теперь стали называть теоремами.
У Фалеса были многочисленные