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

Можно полагать, что теми же методами решались в это время и задачи суммирования некоторых сходящихся рядов. Мы знаем теперь, что уже древние вавилоняне умели суммировать не только арифметическую и геометрическую прогрессии, но и ряд а²+(2а)² + (3а)² +... Как я доказываю в другом месте, суммирование рядов 1+ 2 + 3 + ... и 1² + 2² + 3² + ... производилось в это время наглядным геометрическим путем (фиг. 2 и табл. 3). Если принять за 1 каждый из квадратов, изображенных на фиг. 2, то книзу от ломаной линии находятся: в верхнем ряду 1 квадрат, во втором 2, в третьем 3 и т. д., т. е. перед нами сумма 1+ 2 + 3... + n. Над ломаной линией находится как раз такой же величины фигура, а обе они вместе представляют собою прямоугольник со сторонами п и п + 1. Площадь всего прямоугольника п(п+1), а каждой из сту-{18}пенчатых фигур n(n+1)/2. Такова сумма ряда 1 + 2 + 3...+ n. Точно так же на прилагаемой таблице изображена ступенчатая пирамида. Если принять за 1 каждый куб, из которых она составлена, то в верхнем слое 1 такой куб, во втором слое, имеющем в два раза бóльшую ширину и длину, 2´2 таких куба, в третьем слое, имеющем в три раза большую ширину и длину, 3´3 таких куба, а всего 1² + 2² + 3² ... + п. Если сложить три такие ступенчатые пирамиды способом, изображенным на табл. 3b и 3с, то получим: а) параллелепипед со сторонами п, п и п + 1, к которому сверху добавлено еще б) ступенчатое тело, имеющее высотой 1, а основанием ступенчатую фигуру, изображенную на фиг. 2. Площадь ее, как мы видим, равна n(n+1)/2. Итак, объем всего этого тела

n²(n+1)+n(n+1)/2=(2n³+3n²+n)/2,

а объем каждой ступенчатой пирамиды, т. е. сумма ряда 1² + 2² + 3²... + n, в три раза меньше, или (2n³ + 3n² + n)/6.

Из знаменитого парадокса Зенона (середина V в. до н. э.) можно сделать вывод, что уже его противники занимались суммированием ряда — ¹/₂ + ¹/₄ + ¹/₈ ..., и ставили вопрос о том, что получится, если продолжать это суммирование до бесконечности. Содержащееся у Евклида решение этой задачи для «сколь-угодно большого» числа членов заставляет предположить, что его предшественники-атомисты делали вывод, что при продолжении этого ряда до его конца мы придем к такому результату, когда разность между 1 и суммой членов этого ряда равна одному неделимому; а так как в мире чувств одной неделимой при сложении с конечным числом можно пренебречь, то в мире чувств сумму членов этого ряда можно считать равной 1. Точно так же из архимедова суммирования рядов a + 2a + 3a + 4a... и а² + (2а)² + (3а)²... и связанного с ним предельного перехода (см. стр. 149 и сл.) можно, кажется, сделать вывод, что его предшественники-атомисты изучали эту сумму и для случая, {19} когда число членов п сверхчувственно велико; тогда в формуле S_n = ((na)² + na)/2 членом первой степени можно пренебречь по сравнению с квадратом, и мы получим S_n = (na)²/2 в формуле

S_n = (2(na)³ + 3(na)² + na)/6;

квадратным членом и членом первой степени можно подобным же образом пренебречь по сравнению с кубичным,и мы получим

S_n = (na)³/3,

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

Мы не можем здесь останавливаться на спорах, разгоревшихся в V в. по вопросу об этом методе примитивного интегрирования. Укажу только, что наиболее последовательной и продуманной математической системой, построенной на этом принципе чрезвычайно малых частиц, была система Демокрита из Абдеры, жившего во второй половине V в., и его последователей-атомистов.

Не следует смешивать атомизм как физическое учение с математической теорией атомистов. Атом представляет собою, по мнению Демокрита, сплошную частицу массы самой различной формы; внутри нее отсутствует пустота, и она абсолютно тверда; поэтому атом нельзя разрезать или разделить никаким инструментом, но потенциально, в воображении, его можно, конечно, делить. Атомы вовсе не должны обязательно быть чрезвычайно малыми. Между атомами находятся промежутки пустоты. Эти физические атомы можно (только в уме, в воображении, теоретически) разделить на неделимые частицы —{20} амеры. Эти амеры имеют минимальное протяжение, лишены формы, не имеют верха, низа, переда, зада и т. д.; амеры неделимы даже в воображении. На этих-то амерах и строится математическая теория атомистов.

Руководясь своеобразным методом неделимых, Демокрит, как впоследствии указывал Архимед, нашел, что объем пирамиды равен трети произведения основания на высоту. Можно быть уверенным, что он знал уже, указанные выше формулы для отношений площади круга к его окружности (она известна его современнику Гиппократу из Хиоса) и объема шара к его поверхности (формула для поверхности шара ему не была еще известна, ее впервые открыл Архимед).

Этот способ интегрирования, разумеется, не был достаточно строгим с математической точка зрения и при недостаточно осторожном пользовании им мог приводить к грубым ошибкам. Возьмем такой пример: пусть треугольник, согласно указанному принципу атомистов, состоит из тесно приложенных друг к другу прямых, параллельных одному из катетов. Каждая такая прямая пересечёт другой катет и гипотенузу в точке. Если весь треугольник состоит из таких прямых, то этот катет и гипотенуза будут состоять из точек. Но ясно, что таких точек одинаковое число и на катете и на гипотенузе, ибо число их равно числу параллельных прямых. Выходит, что катет равен гипотенузе. Враги атомистов выдвигали целый ряд таких возражений; многие из них атомисты опровергали весьма убедительно; в других случаях это было труднее.

Атомистическое учение, по которому первоосновой всей природы являются атомы — мельчайшие неделимые частицы материи, движущиеся по законам необходимости, без всякого вмешательства каких бы то ни было высших сил и без всякой предустановленной цели, казалось идеологам аграрной аристократии верхом безбожия и анархизма. К началу IV в. афинская демократия потерпела поражение; началась общая умственная реакция, и аристократическая идеология стала господствующей. Бесконечные по числу и в принципе равноценные между собою атомы, носящиеся в пространстве и образующие мир в силу общих и равных для всех законов, давали как бы идеологическое обоснование демократическому государству с его {21} многочисленными и в принципе равноценными между собою гражданами, управляющими государством на основании общих и равных для всех законов. В эпоху, когда во главе государств становятся отдельные сильные индивидуумы, опирающиеся на наиболее богатых и влиятельных граждан и управляющие государствами по своему усмотрению, такое учение стало рассматриваться как вредное и антигосударственное. Платон, создавший первоосновы для идеалистической философии эллинистической эпохи, не только вел в своих произведениях ожесточенную борьбу с материализмом, но и скупал, где только мог произведения Демокрита и сжигал их. Ученик Платона Аристотель написал целый ряд произведений по философии естествознания, основная цель которых — опровержение материализма и прежде всего демокритова атомизма. Результатом этой энергичной деятельности было то что произведения Демокрита стали редкими и малодоступными. Широкие круги читающей публики знали о них лишь понаслышке со слов идеалистических философов; читались они только в узком кругу последователей Демокрита и близких к атомистам эпикурейцев.

Особенно легкой и убедительной была борьба с атомистами в области математики, ибо здесь предпосылки атомистов действительно «не обладали необходимой в математике очевидностью» и приводили иногда к ошибочным выводам. Последним словом в математике V в. было открытие иррациональных, несоизмеримых величин, тогда как с точки зрения атомистической математики никаких несоизмеримых величин существовать не может, ибо неделимое является общей мерой всех величин. Доводы, выставленные математиками идеалистического лагеря, казались неопровержимыми, и математика атомистов быстро вышла из моды и была предана забвению.

Новая математика выросла на фоне яростной, ожесточенной борьбы с материализмом; поэтому способы аргументации в ней были совершенно иными, чем в математике V в. Математик этого времени не видит уже в читателе своего друга и ученика, безусловно доверяющего ему, которого он хочет ввести в самые сокровенные методы нахождения и доказательства математических решений. Нет, математик этой эпохи смотрит на читателя, как на насто-{22}роженного противника, готового ухватиться за всякую ошибку, за всякое произвольное или плохо сформулированное утверждение автора. Меньше всего этот автор расположен делиться с читателем секретами своего производства — как он дошел до той или иной мысли, откуда он взял то или иное решение; до этого читателю не должно быть дела. Важно путем цепи силлогизмов загнать читателя в угол и заставить его — хочет он этого или не хочет — признать, что предлагаемое ему решение, откуда бы автор его ни взял, единственно возможное и правильное.

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

Так же поступает и античный математик. Я, говорит он, утверждаю, что величина А равна В. Вы, конечно, мне не верите и думаете, что А больше или меньше В. Допустим на минуту, что А больше В (argumentum а contrario — доказательство от противного). Сделав такое допущение, мы делаем из него цепь логических выводов и в результате приходим к невозможному, нелепому выводу, например, к пропорции, в которой левое отношение больше единицы, а правое — меньше, к треугольнику, у которого катет больше гипотенузы, и т. д. Теперь я допускаю, что А меньше В. Это допущение также приводит к абсурду. Эти абсурдные выводы могли получиться только потому, что сделанное допущение не верно. Значит, А не может быть ни больше В, ни меньше В. Итак, остается один вывод, что А равно В, а это и требовалось доказать. Такой способ аргументации называется reductio ad absurdum (приведение к нелепости).

Влияние адвокатской практики и красноречия софистов дало важные положительные результаты: аргументация стала более строгой, основанной на правильных {23} и точных, научно безукоризненных определениях. Математика перестала быть связанной с определенной философской, моральной или политической системой: ее выводы стали общеобязательными для всех людей.

Тем не менее способ reductio ad absurdum, этот способ доказательства, делающий излишними какие бы то ни было «недостаточно очевидные» предпосылки, вроде предпосылки о существовании неделимых частиц, и приводящий к неопровержимым выводам, имеет два существенных недостатка.

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

Во-вторых, этот метод скорее огорашивает читателя, чем развивает его ум. Читатель не знает, откуда взято это свалившееся, как снег на голову, решение и откуда он сам возьмет такое решение в других случаях. Он не получает сколько-нибудь отчетливой картины взаимосвязи между отдельными истинами.

В ряде своих частей эта новая геометрия по существу мало чем отличалась от математики Vв.: те же постулаты, основанные якобы на очевидности, те же теоремы, те же следствия из этих теорем. Но всякого рода расчеты величины тех или иных линий, фигур и тел под влиянием идеалистической философии изгоняются из геометрии в учебники прикладной арифметики — логистики; геометрия теперь учит только об отношениях различных величин, а не об измерении их.

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

1. Перестановка средних членов — permutando.

Если

a : b = c : d,

то

а : с = b : d.

2. Переворачивание — convertendo.

Если

a : b = c : d,

то

b : a = d : c.

3. Образование суммы — componendo.

Если

a : b = c : d,

то

(a+b) : b = (c+d) : d.

4. Образование разности — dividendo.

Если

a : b = c : d,

то

(a—b) : b = (c—d) : d.

5. Ut omnes ad omnes, ita unus ad unum (как все [предыдущие] ко всем [последующим], так один [предыдущий] к одному [последующему]).

Если

а : b = c : d = e : f = g : h,

то

а : b = (а + с + е + g) : (b + d + f + h).

Резкое расхождение между старой и новой математикой начиналось там, где старая математика принуждена была постулировать неделимые, чрезвычайно малые элементы. Здесь-то новая математика и прибегает к reductio ad absurdum.

При этом математики IV и III вв. положили в основу своих рассуждений не демокритово разложение на элементы, каждый из которых чрезвычайно мал, а своеобразный метод, примененный софистом Антифонтом, последователем Демокрита, жившим во второй половине V в. Средневековый еврейский ученый XV в. Альфонсо в своей {25} книге «О квадратуре круга» 1 сообщает об этом методе следующее:

«Антифонт вписывал в круг прямолинейную фигуру (имеется в виду правильный многоугольник. — С. Л.), после чего он делил пополам каждую дугу, прилегающую к каждой из сторон фигуры. Затем он соединял концы каждой дуги хордой. Он не переставал поступать так с каждой из дуг, пока не приходил к выводу, что путем деления он достиг тех частиц, из которых состоят как прямая, так и окружность круга. Однако, как сказал Аристотель, это находится в противоречии с основными положениями геометрии, так как, согласно этим основным положениям, линия не состоит из точек и величины могут быть делимы до бесконечности».

Итак Антифонт наивно полагал, как впоследствии, в конце XII в., Скалигер (см. стр. 247), что путем последовательного удвоения числа сторон вписанного многоугольника можно в конце концов дойти до окружности круга и точно определить длину окружности или площадь круга. Конечно, здесь речь не могла идти о нахождении приближенной длины круга путем вычерчивания многоугольника, который на глаз совпадет с окружностью. Антифонт говорит о том, что удваивание должно продолжаться до тех пор, пока исследователь не дойдет «до тех минимальных частиц, из которых состоят как прямая, так и окружность», а ему не могло не быть ясно, что эти частицы лежали далеко за пределами того, что достигается зрением.

Какой же критерий мог быть у исследователя, для того чтобы утверждать, что он после ряда последовательных вычислений уже достиг этих частиц? Мне кажется, что вероятнее всего следующее: он удваивал число сторон не только вписанного, но и описанного многоугольника и продолжал эту операцию до тех пор, пока не обнаруживалось, что периметры (или площади) одноименных вписанных и описанных многоугольников оказывались равными друг другу1; это должно было служить доказательством того, что исследователь достиг того многоугольника, каж-{26}дая сторона которого является частицей окружности и который, следовательно, полностью совпадает с кругом. Если это мое предположение верно, то нововведение, внесенное впоследствии Архимедом в метод исчерпания, заключавшееся в том, что для кривой берутся не только нижняя, но и верхняя границы, состоящие из отрезков прямых линий, было не его выдумкой, а только развитием наивного софистического приема Антифонта.

Однако, до Архимеда эта процедура нахождения верхней и нижней границ, по-видимому, не нашла применения. У Антифонта было заимствовано только последовательное удвоение числа сторон вписанного многоугольника с целью, как он выражался, «исчерпать» или «израсходовать» (δαπανν) все пространство внутри круга. Вместо суммирования элементов, каждый из которых был меньше любого конечного числа (как поступал Демокрит), теперь вслед за Антифонтом суммируют элементы, из которых первый — конечная, вовсе не малая величина, а дальнейшие уменьшаются по определенному принципу, пока не становятся в конце концов меньше любого конечного числа (обычно каждый последующий элемент меньше предыдущего в два или «более чем в два» раза). Далее доказывают путем reductio ad absurdum, что площадь, ограниченная кривой, не больше и не меньше определенной величины, причем для доказательства второй части такой теоремы не прибегают к описанному многоугольнику, а просто переворачивают пропорцию, полученную при доказательстве первой части.

Фиг. 3

Для примера рассмотрим вкратце содержащееся в «Началах» Евклида (кн. XII, предл. 2) доказательство того, что площади кругов относятся, как квадраты их диаметров. В основу своего доказательства Евклид кладет предл. 1, кн. X: «Если даны две неравные величины и если мы от большей из них отнимем половину или более, чем половину, и от полученного остатка половину или более, чем половину, и будем продолжать этот процесс и дальше, то в остатке получится величина, которая меньше, чем меньшая из данных величин». Доказательство этой вспомогательной теоремы хотя и не является доказательством от противного в прямом смысле слова, но все же представляет собою типичный обход атомистического доказательства, когда {27} окончательный результат заранее известен. Автор исходит из основной аксиомы этой новой геометрии: всякая величина, будучи складываема сама с собой, раньше или позже станет больше любой заданной конечной величины. Пусть дана (фиг. 3) величина АВ:

Фиг. 4

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

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

На основании этой леммы Евклид и доказывает (фиг. 4) основную теорему.

Пусть даны два круга: ABCD и EZHG. Надо доказать, что

ABCD : EZHG = BD² : ZG², {28}

Пусть это неверно, тогда

BD² : ZG² = ABCD : S,

где S либо меньше, либо больше EZHG.

Допустим сперва, что S меньше EZHG. Впишем в круг EZHG квадрат. Площадь его равна половине квадрата, описанного вокруг круга EZHG, а значит она больше половины площади круга. Построим на каждой стороне вписанного квадрата равнобедренный треугольник с вершиной на круге. Площадь этого треугольника равна половине площади прямоугольника, построенного на той же стороне квадрата, как указано на чертеже. А значит его площадь больше половины площади кругового сегмента. Площадь же четырех таких треугольников, построенных на всех четырех сторонах, больше половины всей разницы между площадью круга и площадью вписанного квадрата. Если на каждой из сторон образовавшегося вписанного многоугольника опять построим таким же образом по треугольнику, снова прибавится площадь, которая больше половины оставшейся разницы между площадью круга и площадью вписанного многоугольника. На основании указанного выше предл. 1 книги Х эту процедуру можно продолжать до тех пор, пока разница между вписанным многоугольником и окружностью не станет меньше, чем разница между S и окружностью. Тогда окажется, что этот вписанный многоугольник О₂ больше, чем S. Теперь в круг ABCD впишем многоугольник О₁, подобный многоугольнику О₂. Площади подобных многоугольников относятся, как квадраты диаметров описанных вокруг них кругов, поэтому

(1)

O₁ : O₂ = BD² : ZG²

Но мы допустили, что

(2)

окр. ABCD : S = BD² : ZG²,

откуда

(3)

O₁ : O₂ = окр. ABCD : S,

или, переставляя средние члены пропорции (permutando),

(4)

O₁ : окр. ABCD = О₂ : S.

{29}

Но O₁, площадь многоугольника, меньше ABCD, площади описанной вокруг него окружности, а O₂, как мы только что показали, больше S. Итак, знаменатель левого отношения <1, а правого >1, что абсурдно. Значит S не может быть, как мы предположили, меньше EZHG.

Теперь предположим, что S больше EZHG.

Тогда, оборачивая (convertendo) пропорцию (2), получим

(5)

S : ABCD = ZG² : BD²

Пусть

(6)

S : ABCD = EZHG : x,

или, permutando,

S : EZHG = ABCD : x.

Поскольку, согласно предположению, S > EZHG, очевидно, x < ABCD. Но из (5) и (6)

ZG² : BD² = EZHG : x.

Откуда, согласно (1),

О₂ : O₁ = EZHG : x,

permutando,

O₂ : EZHG = O₁ : x.

На основании доказанного выше, площадь многоугольника при многократном удвоении числа сторон может быть сделана больше любого x (если x<ABCD, а это доказано). Итак O₂<EZHG, а O₁>x, что также невозможно.

Значит S не больше и не меньше, чем EZHG, а следовательно, оно равно EZHG, что и требовалось доказать.

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

Не трудно убедиться в огромных принципиальных преимуществах этого нового метода. Здесь впервые в ос-{30}нову инфинитезимальных выкладок кладется понятие континуума; вместо совокупности недоступных чувствам «неделимых», т. е. вместо метафизической по существу предпосылки, исследователь орудует с рядом конечных величин, уменьшающихся непрерывно по определенному закону. Излишне говорить, какое огромное влияние оказал этот новый метод на нынешнюю математику. Но адвокатский способ изложения и сокрытие от читателя евристической процедуры, приведшей к решению, имели результатом то, что только исключительно даровитый читатель мог понять, что речь идет о переменной величине, все более и более приближающейся к пределу. Понятия «предел» античная математика вообще не вводила, и пропасть между последним из взятых конечных членов ряда и пределом благодаря приему reductio ad absurdum, оставалась ничем не заполненной. Новый метод не обогатил геометрию ни одной новой истиной; для строгого доказательства каждого из положений, доказанных нестрогим путем математики атомистов, снова и снова повторялась длинная и скучная процедура исчерпания.

Вся эта большая работа в области геометрии, проделанная математиками идеалистических философских школ в IV в. и базирующаяся в свою очередь на математике атомистов V в., была подытожена и систематически изложена в «Началах» (Στοιχεΐα) Евклида. В труде Евклида было мало оригинального; в области теоретически-методологической он базировался главным образом на исследованиях Евдокса. Но книга его отличалась исключительной четкостью, строгостью и обстоятельностью; все, что было существенного в трудах предшественников Евклида, было здесь собрано. Вот почему книга Евклида быстро вытеснила все геометрические «Начала», бывшие в ходу до него; когда, например, Архимед ссылается на «Начала», не называя автора, он всегда имеет в виду Евклида. Подобно тому как Гомер стал поэтом par excellence и когда говорили просто «поэт» (ό ποιητής) всегда имели в виду Гомера, так и выражение ό στοιχειωτής, «творец Начал», стало означать Евклида. В книге Евклида были, если угодно, и философская направленность и художественная законченность: ее конечной целью и результатом было исследование правильных многогранников, игравших такую {31} видную роль в платоновском учении об идеях, изложенном в «Тимее».

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

Такими задачами были — не говоря о квадратуре круга, которая не может быть разрешена и при помощи уравнений высших степеней с конечным числом членов — удвоение куба («делосская» задача) и трисекция угла, наиболее модные вопросы в геометрии второй половины V в. Все попытки разрешить эти задачи при помощи применявшихся до тех пор так называемых плоских (επίπεδοι) геометрических мест (кругов и прямых) не приводили ни к какому результату. Для решения этих задач идут двумя путями: с одной стороны, по пути изобретения геометрических инструментов, более сложных, чем циркуль, с другой — в связи с развитием стереометрии — по пути объемных (στερεοί) геометрических мест, т. е. вместо пересечений линий (прямых с окружностями) ищут пересечения поверхностей (плоскостей с цилиндрами, конусами и шарами) и таким путем приходят к нахождению и пересечению кривых второго порядка.

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

Таблица 4. Архимед. Один из античных бюстов, считавшихся

изображением Архимеда

Геометры античности ввели в обращение целый ряд таких приборов. Здесь я остановлюсь только на одном приборе, изобретенном другом Архимеда Эратосфеном для нахождения двух средних пропорциональных (μεσότητες) между двумя данными величинами, ибо к этой задаче сводится уже упомянутая задача удвоения куба. В самом деле, задача удвоения куба сводится к геометрическому реше-{32}нию уравнения