Выбрать главу

Евдокс, бесспорно, был великим математиком. Развивая достижения Архита и Теэтета в области теории пропорции, он построил общую теорию отношений, основанную на новом определении величины. Если раньше теоремы теории отношений приходилось доказывать отдельно для чисел, отрезков и площадей, то понятие величины, введенное Евдоксом, включало в себя как числа, так и любые непрерывные величины. Это понятие определялось с помощью общих аксиом равенства и неравенства, к которым Евдокс добавил аксиому, теперь обычно именуемую аксиомой Архимеда: «Две величины находятся между собой в определенном отношении, если любая из них, взятая кратна, может превзойти другую». Исходя из этих аксиом, Евдокс разработал безупречно строгую теорию отношений, изложенную Евклидом в V книге «Начал». Глубина этой теории была по-настоящему оценена лишь во второй половине XIX в. я. э., когда трудами Дедекинда и других математиков были созданы основы современной теории вещественных чисел.

Другим важнейшим вкладом Евдокса в математику была разработка так называемого «метода исчерпывания», заложившего основы теории пределов и подготовившего почву для позднейшего развития математического анализа. В основе «метода исчерпывания» лежит следующее положение: если от какой-либо величины отнять половину или более, затем ту же операцию проделать с остатком, и так поступать дальше и дальше, то через конечное число действий можно дойти до такой величины, которая будет меньше любого наперед заданного числа. С помощью этого метода Евдокс впервые строго доказал, что площади двух кругов относятся как квадраты их диаметров (само это положение было известно еще Гиппократу Хиосскому); далее, что объем пирамиды равен 1/3 объема призмы с теми же основанием и высотой и что объем конуса равен 1/3 объема цилиндра с теми же основаниями и высотой. Два последних положения, как мы видели выше, древние приписывали Демокриту, который, однако, не дал им строгого обоснования. В дальнейшем «метод исчерпывания» был развит Архимедом. В «Началах» Евклида он изложен в XII книге.

Для истории астрономии значение Евдокса было, пожалуй еще более значительным. Фактически его можно считать создателем античной теоретической астрономии как самостоятельной науки, ни в какой степени не зависевшей от космологических спекуляций досократиков.

Любопытно, что подлинное величие Евдокса-астронома было оценено историками науки лишь в XIX в. Это объяснялось в первую очередь тем, что все сочинения Евдокса оказались безнадежно утерянными, а свидетельства древних авторов (например, комментатора Аристотеля Симпликия), в которых сообщалось о его достижениях, страдали отрывочностью и нечеткостью. В результате исследований, проводившихся учеными на протяжении нескольких поколений, выдающийся итальянский астроном Д. В. Скиапарелли (1835—1910) смог дать реконструкцию теории Евдокса, которая до сих пор принимается большинством историков астрономии. В настоящее время астрономическая теория Евдокса предстаёт перед нами примерно в следующем виде.

Существует предание, что инициатором создания теории Евдокса был Платон. Уже с давних времен среди греческих мыслителей господствовало убеждение, что космос должен иметь сферическую форму. Это убеждение подкреплялось широко распространенным мнением, что наиболее совершенным геометрическим телом является сфера (шар), подобно тому как наиболее совершенной плоской геометрической фигурой считался круг. По этим причинам казалось вполне естественным предположить, что в сферическом космосе все небесные тела движутся по круговым орбитам. Это предположение, однако, оказывалось непосредственно справедливым лишь для неподвижных звезд. Уже орбиты Солнца и Луны обнаруживали существенные отклонения от строго круговой формы, а что касается планет, то их движения относительно неподвижных звезд состояли из ряда прямых и обратных перемещений, причем их видимые траектории описывали на небесном своде причудливые завитки и петли. И вот Платон будто бы поставил перед своими учениками задачу — представить движения небесных тел в виде комбинаций равномерных круговых движений. Эта задача была блестяще решена Евдоксом.