Положение, согласно которому сумма квадратов сторон прямоугольного треугольника, прилежащих к прямому углу, равна квадрату третьей стороны – гипотенузы, было величайшим открытием Пифагора или его непосредственных учеников. Египтяне знали, что треугольник, стороны которого равны 3, 4 или 5, является прямоугольным, но, очевидно, греки первыми заметили, что 3^>2 + 4^>2 = 5^>2 и, исходя из этого предположения, открыли доказательство общей теоремы.

К несчастью для Пифагора, эта его теорема сразу же привела к открытию несоизмеримости, а это явление опровергало всю его философию. В прямоугольном равнобедренном треугольнике квадрат гипотенузы равен удвоенному квадрату любой из сторон. Предположим, что каждый катет равен одному дюйму; какова в таком случае длина гипотенузы? Допустим, что ее длина равна т/п дюймов. Тогда m^>2/n^>2 = 2. Если т и п имеют общий множитель, разделим их на него. В таком случае по крайней мере или т, или п должно быть нечетным. Но теперь учтем, что раз m^>2 = 2 n^>2, следовательно, m^>2 – четное и, стало быть, т — четное, a n – нечетное. В таком случае предположим, что т = 2 р. Тогда 4 р^>2 = 2 п^>2; следовательно, п^>2 = 2 р^>2, следовательно, п — четное, что противоречит допущению. Поэтому гипотенузу нельзя измерить дробным числом т/п. Это доказательство является по существу доказательством, которое приводится у Евклида в книге X[32].

Это доказательство говорит о том, что, какую бы единицу длины мы ни выбрали, существуют отрезки, которые не находятся в точном числовом отношении к этой единице, то есть нет таких двух целых чисел m и п, при которых рассматриваемый отрезок, взятый m раз, был бы равен единице длины, взятой п раз. Это положение привело греческих математиков к мысли, что геометрию следует развивать независимо от математики. Некоторые места в платоновских диалогах показывают, что в его время была принята независимая от арифметики трактовка геометрии; этот принцип получил свое завершение у Евклида. В книге II Евклид доказывает геометрически многое из того, что для нас естественнее было бы доказывать алгебраически, например, что (а + b)^>2 = а^>2 + 2аb + b^>2. Евклид счел этот способ необходимым именно благодаря трудностям, связанным с несоизмеримостью величин. То же самое наблюдается и в толковании Евклидом пропорции в книгах V и VI. Вся система Евклида превосходна в логическом отношении, и она предвосхитила математическую строгость выводов математиков XIX века. Поскольку адекватной арифметической теории несоизмеримых величин не существовало, метод Евклида был наилучшим из возможных в геометрии методов. Когда Декарт ввел координаты в геометрию, снова вернув тем самым арифметике верховенство, он сделал предположение, что разрешение проблемы несоизмеримости вполне возможно, хотя в его время такое решение еще не было найдено.

Влияние геометрии на философию и научный метод было глубоким. Геометрия в таком виде, в каком она установилась у греков, отправляется от аксиом, которые являются самоочевидными (или полагаются таковыми), и через дедуктивные рассуждения приходит к теоремам, которые весьма далеки от самоочевидности. При этом утверждают, что аксиомы и теоремы являются истинными применительно к действительному пространству, которое является чем-то данным в опыте. Поэтому кажется возможным, используя дедукцию, совершать открытия, относящиеся к действительному миру, исходя из того, что является самоочевидным. Подобная точка зрения оказала влияние как на Платона и Канта, так и на многих других философов, стоявших между ними. Когда Декларация независимости говорит: «Мы утверждаем, что эти истины самоочевидны», – она следует образцу Евклида. Распространенная в XVIII веке доктрина о естественных правах человека является поиском евклидовых аксиом в области политики