Читать онлайн «История естествознания в эпоху эллинизма и Римской империи». Страница 74

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

Основная идея геометрического доказательства для той же задачи состоит в следующем. Снова рассматривается параболический сегмент, в который вписан треугольник αβγ. Площадь этого треугольника обозначим буквой A и, положим K=4/3 A. Площадь сегмента может быть либо равна K, либо не равна K. В последнем случае она может быть либо больше K, либо меньше K. Архимед

показывает, что оба этих предположения приводят к абсурду. Делается это следующим образом.

Разделив основание сегмента на четыре равные части (рис. 2), проведем вертикальные отрезки εζ || δβ || ηϑ и построим на сторонах αβ и βγ треугольники αζβ и γβϑ. Нетрудно показать (и Архимед это делает), что суммарная площадь этих двух треугольников будет в четыре раза меньше A. Аналогичным образом, разделив αγ на восемь равных частей, построим на отрезках αζ, ζβ, βϑ и ϑγ четыре треугольника, суммарная площадь которых будет равна одной шестнадцатой A. Продолжая эту процедуру nраз, мы найдем, что площадь вписанного в сегмент многоугольника, ограниченного снизу основанием αγ, а сверху — ломаной линией, состоящей из 2n+1 отрезков, будет выражаться суммой членов геометрической прогрессии

A + A/4 + A/42 +… +A/4n

Мы сразу видим, что при n — > ∞ эта сумма будет иметь своим пределом выражение:

A/(1–1/4) =4/3 A =K

Однако в эпоху Архимеда с бесконечными рядами еще не умели оперировать, поэтому Архимед ограничивается рассмотрением ряда с конечным числом членов и показывает, что разность между Kи суммой этого ряда будет равна одной трети последнего члена ряда (т. е. в наших обозначениях 1/3 * A/4n). Ясно, что, увеличивая число членов ряда, мы можем эту разность сделать меньше любой наперед заданной величины. С другой стороны, эта разность представляет собой площадь остающихся мелких сегментов, на которую площадь параболического сегмента αζβϑγ превосходит площадь вписанного в этот сегмент многоугольника, построенного указанным выше образом из последовательно уменьшающихся треугольников. Отсюда следует, что площадь параболического сегмента αζβϑγ не может превосходить Kна конечную величину, ибо тогда получилось бы, что площадь вписанного многоугольника, выражающаяся суммой (3), могла бы стать больше K, что, как мы видели, не может иметь еста. Очевидно, что и Kне может превосходить площадь параболического сегмента αζβϑγ на конечную величину, ибо тогда площадь вписанного многоугольника сможет стать больше площади αζβϑγ, что также абсурдно. Следовательно, площадь параболического сегмента αζβϑγ равна K = 4/3 A.

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

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

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

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

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

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

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