требуемые для образования формы. Пифагор, очевидно, полагал, что мир состоит из атомов, что тела построены из молекул, состоящих в свою очередь из атомов, упорядоченных в различные формы. Таким образом, он надеялся сделать арифметику научной основой в физике, так же как и в эстетике.
Положение, согласно которому сумма квадратов сторон прямоугольного треугольника, прилежащих к прямому углу, равна квадрату третьей стороны – гипотенузы, было величайшим открытием Пифагора или его непосредственных учеников. Египтяне знали, что треугольник, стороны которого равны 3, 4 или 5, является прямоугольным, но, очевидно, греки первыми заметили, что 32 + 42 = 52 и, исходя из этого предположения, открыли доказательство общей теоремы.
К несчастью для Пифагора, эта его теорема сразу же привела к открытию несоизмеримости, а это явление опровергало всю его философию. В прямоугольном равнобедренном треугольнике квадрат гипотенузы равен удвоенному квадрату любой из сторон. Предположим, что каждый катет равен одному дюйму; какова в таком случае длина гипотенузы? Допустим, что ее длина равна т/n дюймов. Тогда m²/n² = 2. Если т и n имеют общий множитель, разделим их на него. В таком случае по крайней мере или т, или n должно быть нечетным. Но теперь учтем, что раз m² = 2 n², следовательно, m² – четное и, стало быть, т – четное, a n – нечетное. В таком случае предположим, что т = 2 р. Тогда 4 р² = 2 п²; следовательно, п² = 2 р², следовательно, n – четное, что противоречит допущению. Поэтому гипотенузу нельзя измерить дробным числом т/п. Это доказательство является, по существу, доказательством, которое приводится у Евклида в книге X[32].
Это доказательство говорит о том, что, какую бы единицу длины мы ни выбрали, существуют отрезки, которые не находятся в точном числовом отношении к этой единице, то есть что нет таких двух целых чисел m и n, при которых рассматриваемый отрезок, взятый m раз, был бы равен единице длины, взятой n раз. Это положение привело греческих математиков к мысли, что геометрию следует развивать независимо от математики. Некоторые места в платоновских диалогах показывают, что в его время была принята независимая от арифметики трактовка геометрии; этот принцип получил свое завершение у Евклида. В книге II Евклид доказывает геометрически многое из того, что для нас естественнее было бы доказывать алгебраически, например, что (а + b)² = а² + 2аb + b². Евклид счел этот способ необходимым именно благодаря трудностям, связанным с несоизмеримостью величин. То же самое наблюдается и в толковании Евклидом пропорции в книгах V и VI. Вся система Евклида превосходна в логическом отношении, и она предвосхитила математическую строгость выводов математиков XIX века. Поскольку адекватной арифметической теории несоизмеримых величин не существовало, метод Евклида был наилучшим из возможных в геометрии методов. Когда Декарт ввел координаты в геометрию, снова вернув тем самым арифметике верховенство, он сделал предположение,
Однако это доказательство не принадлежит самому Евклиду. См.:
