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

Мы специально задержались на рассмотрении трактата «Квадратура параболы», чтобы показать различие между механическим и геометрическим методами доказательства, которыми пользовался Архимед. В последующих письмах к Досифею (два письма «О шаре и цилиндре», затем «О коноидах и сфероидах» и «О спиралях») мы уже не находим механического метода, зато геометрический метод подвергается им значительному усовершенствованию. А именно, в отличие от метода исчерпывания Эвдокса (примером которого может служить процедура, примененная Архимедом в «Квадратуре параболы») усовершенствованный метод Архимеда состоял в том, что подлежащая определению величина заключалась между двумя интегральными суммами, разность которых могла быть сделана меньше любой наперед заданной величины. Искомая величина находилась при этом как общий предел обеих сумм при безграничном увеличении числа слагаемых, что было эквивалентно задаче о вычислении определенного интеграла. При определении поверхности шара, при нахождении объема сегментов параболоида и гиперболоида, а также эллипсоида вращения Архимед, по сути дела, вычислял интегралы:

Этим же методом Архимед решал и более трудные задачи — определения длин дуг и площадей ряда кривых поверхностей.

Трудно сказать, осознавал ли Архимед, что в каждой из рассмотренных им задач речь шла об одном и том же математическом понятии — понятии определенного интеграла. Во всяком случае, у него еще не было средств, чтобы дать общее определение интеграла.

Наряду с методами вычисления площадей и объемов Архимед разработал метод определения касательной к кривой, который можно считать предвосхищением дифференциального исчисления, поскольку он фактически сводится к нахождению производной. По каким-то причинам этот метод фигурирует только в письме «О спиралях», где он применяется для определения касательной к спирали ρ = αφ (так называемая Архимедова спираль), однако рассуждения Архимеда имеют общий характер и применимы к любой дифференцируемой кривой. Тем же методом Архимед пользуется для нахождения экстремальных значений алгебраических выражений, которые могут быть выражены в виде геометрических кривых. В частности, пользуясь современной терминологией, можно сказать, что он провел полное исследование существования положительных корней кубического уравнения определенного вида. Проблема определения экстремальных значений сводится Архимедом к проблеме нахождения касательной к соответствующей кривой.

Математические методы Архимеда оказали громадное влияние на развитие математики нового времени. Упомянем работы таких математиков XVII столетия, как Лука Валерио («Три книги о центре тяжести», 1604), Григорий Сен-Венсан («Геометрический труд о квадратуре круга и конических сечений», опубликован в 1647 г.), Пауль Гульдин (четыре книги «О центре тяжести», 1635–1641), Бонавентура Кавальери («Геометрия, развитая новым способом при помощи неделимых непрерывного», 1635; а также продолжение этого труда — «Шесть геометрических этюдов», 1647), Эванджелиста Торричелли («Геометрические труды», 1644) и другие. Во всех этих работах использовались и развивались процедуры, применявшиеся для решения аналогичных задач Архимедом, и тем самым подготавливалась великая революция в математике, выразившаяся в создании анализа бесконечно малых в трудах Ньютона и Лейбница. Можно только согласиться с И. Н. Веселовским, назвавшим Архимеда «ведущим математиком XVII в.»[294].

Переход к чисто геометрическим доказательствам не означал, что Архимед перестал признавать эвристическую ценность метода, основанного на механических аналогиях. Это ясно следует из его позднего, сравнительно недавно найденного сочинения, получившего наименование «Эфод»[295] (его полное греческое заглавие таково: Περί τών μηχανικών ϑεορημα τών προς Έρατοσϑένην ίφοδος). Рукопись этого сочинения была обнаружена в одном из иерусалимских монастырей приват-доцентом Петербургского университета, греком по национальности, Пападопуло Керамевсом, который увидел, что под текстов какого-то духовного содержания на пергаменте заметен другой, значительно более старый текст. Этот палимпсест был тщательно изучен в 1906–1908 гг. известным датским филологом И. Л. Хейбергом, установившим, что первоначальный текст содержит значительную часть трактата «О плавающих телах», а также «Эфод», ранее известный лишь по отдельным цитатам в «Метрике» Герона. Обнаружение и прочтение столь замечательного пергамента принадлежит, бесспорно, к числу значительнейших открытий классической филологии нашего века.