История естествознания в эпоху эллинизма и Римской империи

«Эфод» написан в форме письма Архимеда к Эратосфену. В нем Архимед приводит целую серию теорем, доказательства которых были им найдены сперва механическим методом (среди них содержится, между прочим, и теорема о квадратуре параболы). Во вступительной части письма Архимед пишет по этому поводу следующее: «Зная, что ты являешься… ученым человеком и по праву занимаешь выдающееся место в философии, а также при случае можешь оценить и математическую теорию, я счел нужным… изложить тебе некоторый особый метод, при помощи которого ты получишь возможность при помощи механики находить некоторые математические теоремы. Я уверен, что этот метод будет тебе ничуть не менее полезен и для доказательства самих теорем. Действительно, кое-что из того, что ранее было мною усмотрено при помощи механики, позднее было доказано также и геометрически, так как рассмотрение при помощи этого метода еще не является доказательством, однако получить при помощи этого метода некоторое предварительное представление об исследуемом, а затем найти и само доказательство гораздо удобнее, чем производить изыскания ничего не зная. Поэтому и относительно тех теорем о конусе и пирамиде, для которых Эвдокс первый нашел доказательство, а именно что всякий конус составляет третью часть цилиндра, а пирамида — третью часть призмы с тем же основанием и равной высотой, немалую долю заслуги я уделю и Демокриту, который первый высказал это положение относительно упомянутых фигур, хотя и без доказательства. И нам довелось найти публикуемые теперь теоремы тем же самым методом, как и предыдущие; поэтому я и решил написать об этом методе и обнародовать его, с одной стороны, для того, чтобы не оставались пустым звуком прежние мои упоминания о нем, а с другой — поскольку я убежден, что он может принести математике немалую пользу; я предполагаю, что некоторые современные нам или будущие математики смогут при помощи указанного метода найти и другие теоремы, которые нам еще не приходили в голову»[296].

Непосредственное отношение к теоретической механике имеет трактат Архимеда «О равновесии плоских фигур» (Περί επιπέδων ισορροπιών). Он состоит из двух частей. В первой части Архимед дает строго аксиоматический вывод закона равновесия рычага и определяет центры тяжести параллелограмма, треугольника и трапеции. Во второй части вычисляются центры тяжести параболического сегмента и параболической трапеции.

По поводу времени написания этого сочинения существуют различные мнения. Английский историк математики Т. Л. Хит, а у нас С. Я. Лурье считали, что первая часть трактата «О равновесии плоских фигур» относится к раннему периоду творчества Архимеда, когда он был занят проблемами центра тяжести и равновесия рычага[297]. Вторую часть трактата Хит относит к более позднему времени, когда уже была написана «Квадратура параболы». И. Н. Веселовский выражал свое несогласие с таким разделением трактата на два различных по времени создания сочинения и приводил по этому поводу ряд соображений, которые нам представляются достаточно вескими[298]. Вкратце эти соображения сводятся к следующему.

Как первая, так и вторая часть трактата резко отличаются по своему стилю от работ Архимеда раннего периода. Так, например, в «Квадратуре параболы» еще очень заметна механическая основа, на которой строится первое доказательство: говорится о рычагах, о подвешенных грузах, о равновесии, которое предполагается практически осуществимым, т. е. устойчивым, и т. д. Ничего этого нет в трактате «О равновесии плоских фигур». Он начинается с формулировки семи аксиом, из которых с помощью чистой дедукции выводится закон рычага. Вот эти аксиомы:

«1. Равные тяжести на равных длинах уравновешиваются, на неравных же длинах не уравновешиваются, но перевешивают тяжести па большей длине.

2. Если при равновесии тяжестей на каких-нибудь длинах к одной из тяжестей будет что-нибудь прибавлено, то они не будут уравновешиваться, но перевесит та тяжесть, к которой было прибавлено.

3. Точно так же если от одной из тяжестей будет отнято что-нибудь, то они не будут уравновешиваться, но перевесит та тяжесть, от которой не было отнято.

4. При совмещении друг с другом равных и подобных плоских фигур совместятся друг с другом и их центры тяжести.

5. У неравных же, но подобных фигур центры тяжести будут подобно же расположены. (Под подобным расположением точек в подобных фигурах мы подразумеваем такое, в котором прямые, проведенные из этих точек к вершинам равных углов, образуют равные углы с соответственными сторонами.)

6. Если величины уравновешиваются на каких-нибудь длинах, то на тех же самых длинах будут уравновешиваться и равные им.

7. Во всякой фигуре, периметр которой везде выпукл в одну и ту же сторону, центр тяжести должен находиться внутри фигуры»[299].