Эллинистическая Греция в годы детства 8 страница

Фиг. 16

точках Е₁, Е₂, Е₃,..., Е_n. Проводим ряд прямых QR₁, QR₂, QR₃, ..., QR_n до пересечения с вертикалью qE.

Теперь, как и в первоначальном доказательстве, уравновесим треугольник EqQ грузом, подвешенным в точке А. Но в отличие от первого, «атомистического» доказательства, во-первых, Архимед не говорит ничего о том, что грузы P₁, P₂, р₃,..., подвешенные в А, представляют собою перенесенные на новое место элементы параболического сегмента qR_мQ и что именно каждый элемент параболического сегмента по перенесении в A уравновешивает {110} соответствующий элемент треугольника QqE; во-вторых, теперь эти грузы P₁, P₂, P₃,... уравновешивают не «линии» в треугольнике, т. е. элементы бесконечно малой ширины, а элементы треугольника некоторой произвольно взятой конечной ширины — трапеции ЕО₁, Е₁О₂ и т. д., оставшиеся на своих местах; разумеется, про себя Архимед все время представляет себе P₁, P₂, P₃..., как те же, но перенесенные на новое место элементы параболы, но из соображений строгости он об этом говорить не может. Теперь p₁, Р₂, Р₃, просто некоторые грузы, которые, будучи подвешены в точке А, соответственно уравновесят оставшиеся на своих местах трапеции EO₁, Е₁О₂ и т. д.

Не трудно видеть, что вследствие этого доказательство Архимеда лишилось наглядности и получило характер некоего фокуса. Поскольку сам «фокусник» все время лишь видоизменяет «атомистическое» доказательство, он может быть спокоен, что в конце концов придет к желанному результату. Итак, в непосредственной наглядной убедительности уже нет нужды; поэтому теперь нет уже надобности брать за коромысло весов AQ медиану; теперь он берет за коромысло другую прямую.

Как и в первоначальном доказательстве [стр. 79, уравнения (1), (2), (3), (4)], Архимед исходит из уравнений

OA : OH₁ = QO : OH₁ = Qq : qO₁ = E₁O₁ : O₁R₁,

но так как прямую O₁R₁ он не имеет уже права считать элементом параболического сегмента, а O₁E₁ — элементом треугольника, то он, исходя из того, что площади трапеций EO₁ и FO₁, имеющих равные высоты, пропорциональны суммам их оснований, а, значит, и основаниям Е₁О₁ и O₁R₁, заменяет прежние бесконечно малые элементы E₁O₁ и O₁R₁ конечными элементами — трапециями ЕО₁ и FO₁:

ОА : ОН₁ = трап. EO₁ : трап. FO₁.

Так как ОА и OH₁ — плечи рычага, то отсюда видно что трапеция FO₁ при перенесении ее так, чтобы ее центр тяжести находился на одной вертикали с А, уравновесит трапецию ЕО₁, центр тяжести которой будет перенесен на вертикаль, проходящую через Н₁; в действительности {111} же, ее центр тяжести лежит где-то между вертикалями ОЕ и Н₁Е₁ и в точке А она уравновешивается грузом Р₁. Итак, в действительности правое плечо меньше, чем ОН₁, а для того, чтобы трапеция FO₁ уравновесила, находясь в конце левого плеча, трапецию ЕО_1, правое плечо приходится увеличить; следовательно,

(1)

трап. FO₁ > P₁.

Таким же образом получим:

(2)

трап. F₁O₂ > Р₂; трап. F₂O₃ > Р₃;...

Но прямые Е₁О₁ и O₁R₁ являются основаниями не только трапеций ЕО₁ и FO₁, но и трапеций E₁O₂ и R₁O₂. Очевидно, и их площади пропорциональны их основаниям, т. е.

ОА : ОН₁ = трап. E₁O₂: трап. R₁O₂.

Отсюда видно, что трапеция R₁О₂ при перенесении ее так, чтобы центр тяжести попал в A, уравновесит трапецию E₁O₂, центр тяжести которой будет перенесен на вертикаль, проходящую через H₁; в действительности же, ее центр тяжести лежит где-то между вертикалями Н₁Е₁ и Н₂Е₂ и в точке А она уравновесится грузом Р₂. Итак, в действительности правое плечо больше, чем ОН₁, а для того чтобы трапеция R₁O₂ уравновесила, находясь в конце левого плеча, трапецию ЕО₁, правое плечо приходится уменьшить; следовательно,

(3)

трап. R₁O₂ < Р₂.

Сопоставляя (2) с (3), получим

(4)

трап. F₁O₂> P2 >трапеции R₁O₂.

Точно так же докажем, что

трап. F₂O₃ > р₃ > трап. R₂O₃ и т. д.

Но P₁, Р_2, р₃,... уравновешивают последовательные элементы треугольника EqQ, а Р₁+P₂+P₃+... весь тре-{112}угольник EqQ; следовательно, как это доказано в сочинении «О равновесии плоских тел»,

P₁ + P₂ + P₃ +...= ¹/₃ΔEqQ.

Складывая почленно приведенные выше неравенства, получим

трап. FO₁ + трап. F₁O₂ + трап. F₂O₃ >

¹/₃ треуг. EqQ > трап. R₁O₂ + трап. R₂O₃

+ трап. R₃O₄ +...

После этого Архимед по разобранному выше рецепту очень обстоятельно доказывает, что разность между суммой в левой части уравнения и суммой в правой части уравнения может быть сделана сколь угодно малой: каждая из трапеций, заштрихованных на нашем чертеже вертикальными штрихами, сдвигается так, чтобы она прилегала к прямой qQ; получается, что их сумма (т. е. искомая равность между двумя суммами объемлющих и объемлемых трапеций) равна площади треугольника qQF, а эта площадь может быть сделана сколь угодно малой при разделении Qq на достаточно большое число частей. Затем уже по шаблону доказывается, что площадь параболического сегмента, лежащая между этими двумя суммами, не может быть ни больше, ни меньше ¹/₃ площади треугольника qQE, а следовательно, она равна ей.

Необходимо отметить, что различная штриховка чертежа применена нами, а не Архимедом; он вообще ни словом не дает понять, что сумма площадей трапеций в левой части уравнения — это площадь ломаной, объемлющей параболический сегмент, а сумма площадей трапеций в правой части уравнения — это площадь ломаной, вписанной в параболический сегмент, и что по мере увеличения числа зубцов обе эти ломаные стремятся к общему пределу — к параболическому сегменту. Даже такие намеки на метод атомистов казались недостаточно строгими и противоречили хорошему тону в математике, который требовал, чтобы ученый не подводил ученика к решению и не уяснял ему общие приемы нахождения решения, а при {113} помощи ряда чудодейственных манипуляций, неизвестно откуда пришедших ему в голову, но зато вполне строгих, принуждал принять его выводы, как логически неизбежные.

Выставленное Архимедом в предисловии к этому сочинению программное утверждение, что он не пользуется «вряд ли допустимыми» предпосылками атомистов, а кладет в основу указанную выше (стр. 107—108) предпосылку, принятую всеми корифеями математики, Архимед, таким образом, полностью оправдывает; при окончательном доказательстве того, что площадь сегмента не больше и не меньше ¹/₃ ΔEqQ (предл. 16), он умышленно ссылается на эту предпосылку в ее канонической форме и лишь затем подвергает ее преобразованию: «Излишек площади сегмента над ¹/₃ΔEqQ, будучи многократно прибавляем к самому себе, может быть сделан больше EqQ. Поэтому можно найти такую часть треугольника EqQ, которая будет меньше, чем указанный излишек площади сегмента над ¹/₃ ΔEqQ.»

Если таким образом Архимед тщательно вытравил все следы метода атомистов из своей работы, то у него все же не могло быть уверенности в том, что его нововведение — «механический» метод решения, основанный на законе рычага, — будет благосклонно принят официальной математикой. А так как он не хотел ради пропаганды нового метода ставить под удар свое новое открытие, которым он, как мы видели, гордился, то он в этом же сочинении дает и другой вывод площади параболического сегмента, основанный на чисто геометрических предпосылках.

На основании выведенных Архимедом во вспомогательных леммах зависимостей в параболе он доказывает, что если мы впишем в параболический сегмент треугольник, вершина которого совпадает с вершиной параболического сегмента, а затем на каждой из сторон этого треугольника построим снова треугольник, вершина которого совпадает с вершиной сегмента, ограниченного этой стороной треугольника, и будем продолжать этот процесс и дальше, то каждый новый треугольник равен ¹/₈ предыдущего а {114} следовательно, площадь всех фигур, построенных на первом треугольнике, равна ¹/₄ площади этого треугольника, площадь всех фигур, построенных на этих фигурах, равна ¹/₄ площади этих фигур и т. д. Далее Архимед должен был бы доказать, что сумма членов бесконечно убывающей прогрессии

l + ¹/₄ + (¹/₄)² + (¹/₄)³ + ... = ⁴/₃.

Но такое доказательство требовало в то время применения атомистического метода (см. стр. 19). Он идет обходным путем, доказывая, что сумма любого числа членов этой прогрессии отличается от ⁴/₃ не больше чем на ¹/₃ последнего члена.

Он доказывает это положение (в переводе на наши обозначения) так: пусть мы имеем ряд членов А, В, С, D,... Z где каждый последующий равен ¹/₄ предыдущего.

Тогда

(1)

B + C + D +...Z + ¹/₃B + ¹/₃C + ¹/₃D +...+ ¹/₃Z = ⁴/₃B + ⁴/₃C +⁴/₃D +...+ ⁴/₃Z.

Но ⁴/₃B = ¹/₃A;

⁴/₃C = ¹/₃B;

⁴/₃D = ¹/₃C

и т. д., откуда

(2)

B + C + D +...+ Z + ¹/₃B + ¹/₃C + ¹/₃D +...+ ¹/₃Z = ¹/₃A + ¹/₃B + ¹/₃C +...+ ¹/₃Y.

Отнимая от обеих частей уравнения общие члены

¹/₃B + ¹/₃C + ¹/₃D +...+ ¹/₃Y, {115}

получим

(3)

B + C + D +...+ Z + ¹/₃Z = ¹/₃A,

или, прибавляя к обеим частям уравнения по A,

A + B + C + D +...+ Z + ¹/₃Z = ⁴/₃A.

Если А=1, B=¹/₄, С=(¹/₄)² и т. д., то получим

l + ¹/₄ + (¹/₄)² + (¹/₄)³ +...+ ¹/₃(¹/₄)ⁿ = ⁴/₃.

Совершенно ясно, что такое изысканное, искусственное решение можно найти, только зная заранее результат.

Теперь с нашей точки зрения остается только констатировать что ¹/₃Z или ¹/₃(¹/₄)ⁿ при достаточном увеличении числа членов прогрессии может быть сделано меньше любой данной величины, чтобы придти к заключению, что сумма членов этой прогрессии равна ⁴/₃. Архимед принужден идти другим, хорошо уже нам известным шаблонным путем, предполагая сначала, что эта сумма больше, а затем, что она меньше ⁴/₃ на любую заданную величину, и приводя читателя в обоих случаях к абсурду.

Перейдем теперь к сочинению «О шаре и цилиндре», вышедшему, как мы говорили уже, вслед за сочинением «О квадратуре параболы». И эта книга начинается с ряда аксиом, определений и лемм. Так как Архимеду придется рассматривать круг, круговой сектор и поверхности вращения как пределы фигур и тел, ограниченных прямыми линиями и плоскостями, то ему приходится дать определение фигур, выпуклых в одну сторону, и постулировать, что прямая — кратчайшее расстояние между двумя точками, а из выпуклых фигур объемлемая всегда короче объемлющей; поэтому периметр многоугольника, описанного вокруг круга, больше окружности, а вписанного — меньше. Как мы уже отмечали, рассмотрение двух рядов переменных величин — верхнего и нижнего, — стремящихся к одному и тому же пределу (в частном случае, вписанного в круг и описанного многоугольника), и сбли-{116}жение их между собой, так чтобы разница стала сколько угодной малой, представляет собой собственное нововведение Архимеда, основанное на развитии мысли софиста Антифонта; его непосредственные предшественники всегда имели дело только с одной величиной, стремящейся к пределу. Для этой цели Архимед доказывает, что если даны две неравные величины, сколько угодно близкие друг к другу, то всегда можно найти такие два отрезка прямой, чтобы отношение большего к меньшему было меньшим, чем отношение этих величин. Повторяя затем вывод первой части приведенного выше (стр. 27) предл. 2 кн. XII Евклида о том, что разность между площадью вписанного многоугольника и круга при достаточном увеличении числа сторон многоугольника может быть сделана меньше любой заданной величины, он не довольствуется ссылкой на Евклида, а дополняет эту теорему другой, показывающей, что и разность между площадями вписанного и описанного многоугольников может быть сделана меньше любой заданной величины.

Затем Архимед переходит к определению боковой поверхности цилиндра и конуса. Методом атомистов эти задачи решались чрезвычайно просто. Поскольку окружность основания рассматривалась как многоугольник с очень большим числом сторон, каждая из которых равнялась неделимому, боковая поверхность цилиндра оказывалась совокупностью чрезвычайно узких прямоугольников, а боковая поверхность конуса — чрезвычайно узких треугольников. Боковая поверхность призмы равна произведению периметра основания на высоту, а боковая поверхность пирамиды — половине произведения периметра основания на образующую; эти же формулы без дальнейших доказательств применялись к цилиндру и к конусу. Для Архимеда эта процедура атомистов была, разумеется, неприемлема, он заменяет ее списыванием и вписыванием в цилиндр (resp. конус) призм (resp. пирамид) с последовательным увеличением числа сторон основания до тех пор, пока разность между вписанной и описанной фигурами не станет меньше любой заданной величины. Результат заранее известен, и автору необходимо только путем reductio ad absurdum доказать, что искомая поверхность не может быть ни больше, ни меньше {117} этой величины. При этом, выражаясь языком нынешней алгебры, формуле для боковой поверхности конуса πrl придается вид π(Örl)², т. е. она рассматривается как равновеликая площади круга, радиус которого есть средняя пропорциональная между радиусом основания конуса r и образующей l. Так же и формула для боковой поверхности усеченного конуса у Архимеда соответствует нашей формуле π[Ö(r₁+r₂)l]².

Приведем первую часть доказательства для боковой поверхности конуса как один из наиболее типичных примеров архимедова reductio ad absurdum (в наших обозначениях).

Пусть площадь основания конуса есть R, его радиус r, образующая l, средняя пропорциональная между r и l пусть равна m. Пусть M площадь круга с радиусом m, а S боковая поверхность конуса. Надо доказать, что S = М.

Пусть S не равно М, тогда оно либо больше, либо меньше М. Пусть S>M.

Вокруг окружности М опишем и в окружность М впишем подобные друг другу многоугольники так, чтобы отношение между их площадями было меньше отношения S:M. Вокруг окружности R опишем и в окружность R впишем многоугольники, подобные первым двум, а вокруг конуса — пирамиды, имеющие эти многоугольники основанием. Пусть площадь многоугольника, описанного вокруг R, равна R₁, а описанного вокруг М равна М₁, пусть площадь многоугольника, вписанного в R, равна R₂, a вписанного в М равна М₂; пусть боковая поверхность описанной пирамиды равна S₁. Тогда

R₁ : M₁ = r² : m² = r : l = R₁ : S₁,

откуда

M₁ = S₁.

Но по условию

M₁ : M₂ < S : M,

а значит, и подавно

S₁ : M₂ < S : M. {118}

Но это невозможно: S₁ > S, а M₂ < М; следовательно первое отношение имеет больший числитель и меньший знаменатель, чем второе; поэтому оно не меньше а больше второго. Итак, неравенство S > M невозможно.

Сходным же способом Архимед доказывает, что и S < M невозможно; значит S = M, что и требовалось доказать.

Важнейшими основными теоремами в этом сочинении являются теоремы о поверхности и объеме шара и шарового сегмента. Интегрирование, к которому здесь косвенным образом прибегает Архимед, является поразительной демонстрацией его гения, ибо оно соответствует в наших обозначениях интегрированию

к которому Архимед фактически приходит путем нахождения предела суммы ряда

sin^p/_n + sin^2p/_n + sin^3p/_n +...,

где 2п — число сторон многоугольника, стремящееся к ¥.1

Но перейдем к этому исключительно изящному решению Архимеда. Здесь приведем только его решение для шара, ибо его решение для шарового сегмента в принципе тождественно с этим решением.

Фиг. 17

Архимед вписывает в круг правильный многоугольник с четным числом сторон 2п и проводит вспомогательные линии, указанные на фиг. 17. Затем он вращает весь чертеж, как вокруг оси, вокруг диаметра AG. Не трудно видеть, что от вращения многоугольника получатся следующие тела: два конуса ABb и GFf и ряд усеченных кону-{119}сов BbCc, CcDd и т. д., а от вращения круга — шар. Прямые Bb, Cc, Dd и т. д. параллельны между собой, как параллельны между собой и прямые bC, cD, dE и т. д. Из подобия треугольников АbВ и ABG получаем

Bb : bA = GB : BA.

Но (также из подобия треугольников)

Bb : bA = bb : bK = Cg : gK :... = fj : jG.

Ut omnes ad omnes, ita unus ad unum (см. стр. 25, п. 5), т. е.

(Bb + bb + Cg + gc +...+ Fj + jf)/(Ab + bK + Kg + gL +...+ Nj + jG) = GB : BA,

или, поскольку Bb + bb = Bb, Cg + gc = Cc и т. д.

(Bb + Cc + Dd +...+ Ff) : AG = GB : BA.

(1)

Но поверхность тела, получаемого от вращения многоугольника, согласно выведенным Архимедом формулам, соответствующим (см. стр. 118) prl для боковой поверхности каждого конуса и p(r₁+r₂)l для боковой поверхности каждого усеченного конуса, будет суммой следующих поверхностей:

конуса Abb = p×AB×Bb1, {120}

усеч. конуса BbCc=p×BC(Bb+Cg)=pAB(Bb+Cg),

усеч. конуса CcDd=p×CD(Cg+DO)=pAB(Cg+DO) и т. д.,

конуса FfG=p×FG×Fj=p×AB×Fj.

Складывая, находим, что искомая поверхность равна

(2)

p×AB(2Bb + 2Cg) + 2DO +...+ 2Fj) =

= p×AB(Bb + Cc + Dd +...+ Ff).

Но в силу пропорции (1)

AB(Bb + Cc + Dd + Ff) = GB×AG,

откуда поверхность искомого тела равна p×GB×AG, а следовательно, она меньше pAG² (или 4 pr²).

Теперь Архимед описывает вокруг круга многоугольник и, рассуждая таким же образом, доказывает, что поверхность подобного разобранному выше тела вращения уже не вписанного, а описанного вокруг шара, больше p×AG² (или 4 pr²). Поскольку выше было доказано,

Фиг. 18

что разность между поверхностями этих тел может быть сделана меньше любой заданной величины, Архимед по знакомому уже нам шаблону доказывает reductione ad absurdum, что поверхность шара не может быть ни больше ни меньше p·AG², а следовательно, равна этой величине (т. е. 4pr²).

Вычисление объема шара основано на лемме, дающей формулу для объема тела, составленного из двух конусов с общим основанием; тело это Архимед называет «телесным ромбом» (фиг. 18). Архимед доказывает, что объем телес-{121}ного ромба ОАВа равен объему конуса ЕА₁a₁, площадь основания которого (круг с радиусом А₁О₁) равна боковой поверхности ОАа одного из конусов, образующих телесный ромб, а высота которого ЕО₁ равна перпендикуляру BD, опущенному из вершины второго из конусов, образующих телесный ромб ВАа, на образующую первого конуса.

Мы приводим здесь полностью это доказательство Архимеда, чтобы показать, к каким громоздким геометрическим процедурам ему приходилось прибегать для того, чтобы выразить на языке геометрии то, что мы без всякого труда проделываем при помощи алгебраических преобразований (см. стр. 14); в дальнейшем мы этого делать не будем, а будем переводить решения Архимеда на язык нашей алгебры. Данная задача с нашей точки зрения сводится к доказательству, что объем телесного ромба равен (p×Oa·AC·BD)/3.

Мы бы доказывали это так:

Объем конуса ОАа равен (p·aC²·OC)/3.

Объем конуса АВа равен (p·aC²·CB)/3.

Объем всего тела равен (p·aC²/3)(OC+CB) = (p·aC·aC·OB)/3.

Но из подобия треугольников ОаС и OBD (ÐBOD — общий; оба прямоугольные) имеем

Oa : aC = OB : BD,

откуда

aC ·OB = Oa : BD,

следовательно,

(p·aC·aC·OB)/3 = (p·aC·Oa·BD)/3,

что и требовалось доказать.

Но сложение ОС+СВ на языке геометрии осмысляется тем путем, что строится третий вспомогательный конус MM₁L с основанием (круг радиуса МР), равным основанию телесного ромба (кругу радиуса АС), и с высотой PL, равной ОС+СВ, т. е. всей высоте телесного ромба OВ. Затем доказывается весьма громоздким путем, что этот {122} вспомогательный конус равновелик сумме конусов с высотами ОС и СВ, т. е. телесному ромбу.

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

(1)

(ромб ОАВа) : (конус АВа) = ОВ : СВ.

Поскольку объемы конусов с равными основаниями относятся, как высоты,

(2)

(конус MM₁L) : (конус АВа) = PL : СВ.

Но PL по построению равно ОВ; значит, в этих двух пропорциях равны три члена; следовательно, равны и четвертые, т. е.

(3)

(ромб ОАВа) = (конус LMM₁).

Далее, Аа=ММ₁, а боковая поверхность конуса ОАа равна площади основания конуса ЕА₁а₁, следовательно,

(осн. конуса ЕА₁а₁) : (осн. конуса LMM₁) =

= (бок. поверхн. конуса ОАа) : (осн. конуса ОАа) =

= Оа : аС = OВ : BD = LP : EO₁.

Получается, что в конусах EA₁a₁ и LMM₁ площади оснований обратно пропорциональны высотам ЕО₁ иLP, а следовательно, эти конусы равновелики. Но, согласно (3), объем конуса MM₁L равен объему ромба ОАВа; значит, и ромб ОАВа равен по объему конусу ЕА₁а₁, что и требовалось доказать.

Доказав эту теорему, Архимед может уже перейти к теореме об объеме шара (фиг. 19). Как было показано на фиг. 17, он вращает вписанный в круг многоугольник ABCDEFG вокруг оси AG. Радиусами, проведенными иа центра, круг разбивается на секторы АОВ, ВОС, COD и т. д., и изучаются тела, получающиеся от вращения треугольника, вписанного в каждый сектор. От вращения треугольников АВО и OFG получаются телесные ромбы, от вращения остальных треугольников, например ВОС, получаются тела с поверхностью усеченного конуса. {123} Если мы этот усеченный конус достроим до полного конуса с вершиной в V, то объем тела, получающегося от вращения Δ BOC, будет равен разности между объемом телесного ромба VCOc и телесного ромба VBOb (фиг. 20).