1.2 Поворотный пункт в истории античной математики

Как ни велики заслуги пифагорейцев в развитии содержания и систематизации геометрии и арифметики, однако все они не могут сравниться со сделанным ими же открытием несоизмеримых величин. Это открытие явилось поворотным пунктом в истории античной математики.

По поводу этого открытия Аристотель говорил, что Пифагор показал, что если бы диагональ квадрата была бы соизмерима с его стороной, то четное равнялось бы нечетному.

Это замечание Аристотеля ясно показывает, что при доказательстве несоизмеримости диагонали квадрата с его стороной Пифагор использовал метод от противного.

В конце V века до н.э. Феодор из Кирены установил, что несоизмеримость диагонали квадрата с его стороной не является исключением. Он показал, что стороны квадратов, площади которых равны 3, 5, 6, …, 17 несоизмеримы со стороной единичного квадрата. Пифагор учил, что сущность всех вещей есть число; число - сами вещи; гармония чисел - гармония самих вещей. Аристотель говорил, что у пифагорейцев числа принимались за начало и в качестве материи и в качестве [выражения для] их состояния и свойств.

Открытие несоизмеримых величин сначала “вызвало удивление" (Аристотель). Это естественно: до открытия Пифагора древнегреческие математики считали, что любые два отрезка имеют общую меру, хотя, может быть, и очень малую. Когда, однако, пифагорейцы убедились, что доказательство существования несоизмеримых величин безупречно, они поняли, что их философия оказалась в затруднительном положении.

Пифагорейцы знали только положительные целые и дробные числа. Следуя своей философской установке, они, по сути дела, считали, что каждая вещь может быть охарактеризована положительным целым или дробным числом, которое “выражает сущность” этой вещи. На деле это означало, что геометрия строилась на базе арифметики. Открытие несоизмеримых отрезков знаменовало, поэтому начало кризиса пифагорейской философии и методологических основ развиваемой ими системы математики. После обнаружения существования несоизмеримых величин перед пифагорейцами открылись две возможности. Можно было попытаться расширить понятие числа за счет присоединения к рациональным числам чисел иррациональных, охарактеризовать несоизмеримые величины числами иной природы и таким образом восстановить силу философского принципа “все есть число".

Однако этот путь столь естественный и простой с современной точки зрения, для пифагорейцев был закрыт. В этом случае надо было построить достаточно строгую арифметическую теорию действительных чисел, что при уровне пифагорейской математики было делом невыполнимым. Поэтому надо было идти по другому пути - по пути определенного пересмотра исходных принципов, например, принять, что геометрические объекты являются величинами более общей природы, чем дробные и целые числа, и пытаться строить всю математику не на арифметической, а на геометрической основе. Именно этот второй путь и избрали пифагорейцы, а вслед за ними большинство древнегреческих математиков, вплоть до Архимеда и Аполлония.