Аннотация: ТРАКТАТ ДОСТОЧТИМОГО МУДРЕЦА ГИЙАС АД-ДИНА`ОМАРА АЛ-ХАЙЙАМИ АН-НАЙСАБУРИ, да освятит Аллах его драгоценную душу, О ДОКАЗАТЕЛЬСТВАХ ЗАДАЧ АЛГЕБРЫ И АЛМУКАБАЛЫ
ТРАКТАТЫ
ПЕРЕВОД
ТРАКТАТ ДОСТОЧТИМОГО МУДРЕЦА ГИЙАС АД-ДИНА (la)
`ОМАРА АЛ-ХАЙЙАМИ АН-НАЙСАБУРИ, да освятит Аллах
его драгоценную душу,
О ДОКАЗАТЕЛЬСТВАХ ЗАДАЧ
АЛГЕБРЫ И АЛМУКАБАЛЫ1
|| Во имя Аллаха милостивого, милосердного. (1б)
Хвала Аллаху, господину миров, и благословение всем его пророкам.
Один из поучительных вопросов, необходимый в разделе философии, называемом математикой2 , это искусство алгебры и алмукабалы, имеющее своей целью определение неизвестных, как числовых, так и измеримых3 . В нем встречается необходимость в некоторых очень сложных видах предложений, в решении которых потерпело неудачу большинство этим занимавшихся. Что касается древних, то до нас не дошло сочинение, в котором они рассматривали бы этот вопрос: может быть, они искали решение и изучали этот вопрос, но не смогли преодолеть трудностей, или их исследования не требовали рассмотрения этого вопроса, или, наконец, их труды по этому вопросу не были переведены на наш язык4 . Что касается позднейших, то среди них ал-Махани5 предложил проанализировать предпосылку, принятую Архимедом6 в четвертом предложении второй книги его "Книги о шаре и цилиндре"7 , при помощи алгебры8 . Он пришел к уравнению, содержащему кубы, квадраты и числа, которое ему не удалось решить, несмотря на то что он долго размышлял о нем. Поэтому считалось, что это решение невозможно, пока не явился Абу Джа'фар ал-Хазин9, решивший это уравнение при помощи конических сечений10 . После него некоторые из этих видов были нужны многим геометрам, и один геометр решал один из этих видов, а другой - другой. Но никто из них не говорил ничего ни о перечислении этих видов, ни об изложении случаев каждого вида, ни об их доказательствах, за исключением двух видов, которые я укажу.
Я же, напротив, всегда горячо стремился к тому, чтобы исследовать все эти виды и различить среди этих видов возможные и невозможные случаи, основываясь на доказательствах, так как я знал, насколько настоятельна необходимость в них в трудностях задач. Но я был лишен возможности систематически заниматься этим делом и даже не мог сосредоточиться на размышлении о нем из-за мешавших мне превратностей судьбы. Мы были свидетелями гибели ученых, от которых осталась малочисленная, но многострадальная кучка людей. Суровости судьбы в эти времена препятствуют им всецело отдаться совершенствованию (2а) и углублению своей науки. Большая часть || из тех, кто в настоящее время имеет вид ученых, одевают истину ложью, не выходя в науке за пределы подделки и притворяясь знающими. Тот запас знаний, которым они обладают, они используют лишь для низменных плотских целей. И если они встречают человека, отличающегося тем, что он ищет истину и любит правду, старается отвергнуть ложь и лицемерие и отказаться от хвастовства и обмана, они делают его предметом своего презрения и насмешек11 . Аллах помогает нам во всех случаях, он наше прибежище.
Поскольку всевышний Аллах даровал мне благо, я хочу посвятить себя его сиятельству [нашему славному и несравненному господину, судье судей имаму господину Абу-Тахиру12 , да продолжит Аллах его возвышение и повергнет тех, кто питает против него зависть и вражду]13 . Я отчаялся увидеть столь совершенного во всех практических и теоретических качествах человека, сочетающего в себе и проницательность в науках и твердость в действиях и усилиях делать добро всем людям. Его присутствие расширило мою грудь, его общество возвысило мою славу, мое дело выросло от его света и моя спина укрепилась от его щедрот и благодеяний. Благодаря моему приближению к его высокой резиденции я почувствовал себя обязанным восполнить то, что я потерял из-за превратностей судьбы, и кратко изложить то, что я изучил до мозга костей из философских вопросов. И я начал с перечисления этих видов алгебраических предложений, так как математические науки более всего заслуживают предпочтения. Я ухватился за веревку помощи всевышнего Аллаха, надеясь, что он дарует мне успех в доведении до конца размышлений как по этому вопросу, так и по вопросу, которым занимались передо мной в науках более важных, чем другие. Я опираюсь на его прочную поддержку, потому что он господин исполнения молитв и к нему нужно прибегать [во всех случаях].
Я утверждаю, что искусство алгебры и алмукабалы есть научное искусство, предмет которого составляют абсолютное число и измеримые величины14 , являющиеся неизвестными, но отнесенные к какой-нибудь известной вещи, по которой их можно определить. Эта вещь есть или количество или отношение, не связанное ни с чем другим. В это ты должен глубоко вникнуть. Цель этого искусства состоит в нахождении соотношений, связывающих его предмет с указанными данными. Совершенство этого искусства состоит в знании методов изучения, посредством которых можно постигнуть способ определения упомянутых неизвестных, || как числовых, так и геометрических. (2б)
Величин, т.е. непрерывных количеств, имеется четыре вида: линия, поверхность, тело и время, как это изложено кратко в "Категориях"15 и подробно в "Первой философии"16 . Некоторые рассматривают место как подразделение поверхности, подчиненное роду непрерывного [количества], но исследование опровергает это мнение и подтверждает, что место есть поверхность в некотором положении и обстоятельствах, определение которых - вне нашего предмета17 . Время не принято считать предметом алгебраических задач, но если бы это было сделано, это было бы допустимо.
Обычно алгебраисты18 называют неизвестную, которую хотят определить, вещью19 , ее произведение на себя - квадратом20 , произведение ее квадрата на нее - кубом21, произведение ее квадрата на себя - квадрато-квадратом22, произведение ее куба на ее квадрат - квадрато-кубом23, произведение ее куба на себя - кубо-кубом24 и так далее сколько угодно25. Из книги Евклида26 "Начала"27 известно, что все эти степени пропорциональны, т.е. единица относится к корню, как корень к квадрату и как квадрат к кубу28; следовательно, число относится к корням, как корни к квадратам, как квадрат к кубам [и как кубы] к квадрато-квадратам и так далее сколько угодно.
Следует знать, что этот трактат может быть понят только теми, кто хорошо знает книги Евклида "Начала" и "Данные"29, так же как две книги сочинения Аполлония30 "Конические сечения"31. Тот, для кого один из этих путей к знанию закрыт, не сможет проложить путь к его изучению. Мне с трудом удалось ограничиться в этом трактате ссылками только на три названные мной сочинения.
Алгебраические решения производятся при помощи уравнения, т.е., как это хорошо известно, приравнения одних степеней другим. Если алгебраист пользуется квадрато-квадратом в вопросах измерения, то это следует понимать метафорически, а не в прямом смысле, так как нелепо, чтобы квадрато-квадрат принадлежал к числу величин. К величинам относится прежде (3а) всего || одно измерение, т.е. корень или сторона по отношению к своему квадрату. Затем два измерения, т.е. плоская фигура32; квадрат также относится к величинам, так как является плоской фигурой, [имеющей форму] квадрата. И, наконец, три измерения, т.е. тело; куб также относится к величинам, так как он является телом, ограниченным шестью квадратами. Так как других измерений нет, к величинам не могут относиться ни квадрато-квадрат, ни, тем более, высшие степени33. Если же говорят, что квадрато-квадрат относится к величинам, то это говорится о том, что измеримы некоторые его части, а не о том, что он сам измерим, - между этими двумя вещами - большая разница34. Квадрато-квадрат не относится к величинам ни по своей сущности, ни по акциденции35, как, например, четное и нечетное, относящиеся к величинам по акциденции в соответствии с числом, разрывающим непрерывность величин четным или нечетным образом.
В сочинениях алгебраистов из уравнений, содержащих эти четыре геометрических количества, т.е. абсолютные числа, стороны, квадраты и кубы, приводятся три уравнения, содержащие числа, стороны и квадраты36. Мы же предложим методы определения неизвестной в уравнении, содержащем все четыре степени, о которых мы сказали, что только они относятся к измеримым количествам, а именно: число, вещь, квадрат и куб37.
То, что можно доказать при помощи свойств круга38, т.е. книг Евклида "Начала" и "Данные", доказывается чрезвычайно просто. То, что можно доказать только при помощи конических сечений, доказывается, как в двух книгах "Конических сечений". Доказательство этих видов в том случае, когда предмет задачи есть абсолютное число, невозможно ни для нас, ни для кого из тех, кто владеет этим искусством39. Может быть, кто-нибудь из тех, кто придет после нас, узнает это для случая, когда имеется не только три первых степени, а именно число, вещь и квадрат. Для того, что доказывается при помощи сочинений Евклида, я укажу и числовое доказательство. И знай, что доказательство геометрическим способом отделяется от числового доказательства, когда предметом задачи является число, а не измеримая величина. Ты ведь знаешь, что Евклид, доказав в пятой [книге] (3б) своего сочинения некоторые предложения || о пропорциональности величин, затем доказывает те же самые предложения о пропорциональности в седьмой [книге], когда их предметом является число40.
Уравнения, содержащие эти четыре степени, бывают либо простые, либо сложные. Простых уравнений имеется шесть видов:
1) число равно корню;
2) число равно квадрату;
3) число равно кубу;
4) корни равны квадрату;
5) квадраты равны кубу;
6) корни равны кубу41.
Три из этих видов упоминаются в сочинениях алгебраистов42. Они говорят: вещь относится к квадрату, как квадрат к кубу, отсюда необходимо следует, что уравнение, содержащее квадрат и куб, равносильно уравнению, содержащему вещь и квадрат43. Точно так же число относится к квадрату, как корень к кубу, но они не доказали этого геометрически. Если число равно кубу, то в случае числовой задачи его ребро может быть найдено только посредством последовательного подбора44, а в случае геометрической задачи - только при помощи конических сечений45.
Сложные уравнения бывают тройные и четверные. Видов тройных уравнений двенадцать, [три] первые из которых суть:
1) квадрат и корни равны числу;
2) квадрат и число равны корням;
3) корни и число равны квадрату46.
Эти три вида упоминаются в сочинениях алгебраистов и доказываются там геометрическим, а не числовым способом47.
Вторые три вида суть:
1) куб и квадраты равны корням;
2) куб и корни равны квадратам;
3) корни и квадраты равны кубу48.
Алгебраисты говорят, что три вторых вида пропорциональны трем первым, каждый - своему соответственному, т.е. уравнение: куб и корни равны квадратам - равносильно уравнению: квадрат и число равны корням49, - и также по отношению к двум другим. Но они не доказали этого, когда предметы задач суть измеримые количества. Для случая, когда предмет задач есть число, это ясно из трактата "Начала". Я же докажу это и в геометрическом случае.
Остальные шесть видов из двенадцати суть:
1) куб и корни равны || числу; (4а)
2) куб и число равны корням;
3) число и корни равны кубу;
4) куб и квадраты равны числу;
5) куб и число равны квадратам;
6) число и квадраты равны кубу50.
Ни один из этих видов не имеется в сочинениях алгебраистов, за исключением отдельного исследования одного из них51. Я же их исследую и докажу геометрическим способом, но не числовым. Доказательство этих шести видов возможно только при помощи свойств конических сечений.
Что касается сложных четверных уравнений, то их имеется две разновидности: во-первых, те, в которых три степени равны одной степени. Это четыре вида:
1) куб, квадраты и корни равны числу;
2) куб, квадраты и число равны корням;
3) куб, корни и число равны квадратам;
4) куб равен корням, квадратам и числу52.
Вторая разновидность содержит те [виды], в которых две степени равны двум степеням. Этих видов три:
1) куб и квадраты равны корням и числу;
2) куб и корни равны квадратам и числу;
3) куб и число равны корням и квадратам53.
Таковы 7 четверных видов. У нас нет другого способа для их исследования, кроме геометрического. Частный случай одного из [этих видов], который я укажу, был нужен одному из наших предшественников54. Доказательство этих видов может быть произведено только при помощи свойств конических сечений.
Теперь рассмотрим один за другим все эти двадцать пять видов и, если пожелает Аллах, докажем их.
Первый простой вид: корень равен числу. Здесь корень известен поневоле, что одинаково и для числа и для величин.
Второй вид: число равно квадрату. Здесь известен числовой квадрат, равный известному числу. Его корень может быть найден числовым способом только посредством последовательного подбора, а не по закону искусства. Мы не будем по этому вопросу (4б) обращать внимание на то, что говорят || те из мужей этого искусства, которые держатся другого мнения. У индийцев имеются методы нахождения сторон квадратов и ребер кубов, основанные на небольшом последовательном подборе и на знании квадратов девяти цифр, т.е. квадрата одного, двух, трех и т. д., а также произведений одной из них на другую, т.е. произведения двух на три [и т.д.]55. Нам принадлежит трактат о доказательстве правильности этих методов и того, что они действительно приводят к цели. Кроме того, мы увеличили число видов, т.е. мы показали, как определять основания квадрато-квадратов, квадрато-кубов, кубо-кубов и так далее сколько угодно, чего раньше не было56. Доказательства, которые я даю по этому вопросу, - числовые доказательства, основанные на числовых книгах "Стихий"57.
Рис.1 (стр.74)
Геометрическое доказательство второго вида следующее: предположим, что линия АВ дана и равна данному числу и что АС равна единице и перпендикулярна АВ. Дополним плоскую фигуру AD58. Известно, что мера плоской фигуры AD есть данное число. Построим квадрат, равный фигуре AD, как показал Евклид в 14-м предложении II книги своего сочинения59; пусть это будет квадрат Е. Квадрат Е будет, таким образом, равен данному числу и будет известен, и его сторона также будет известна. Обрати внимание на доказательство, которое дал Евклид. Это и есть искомое.
Всякий раз, когда в этом трактате мы будем говорить: число равно плоской фигуре, мы будем понимать под числом прямоугольную фигуру, одна из сторон которой есть единица, а другая - линия, мера которой равна данному числу, так что каждая доля этой меры равна второй стороне, т.е. той, которую мы приняли за единицу60
(5а)
Рис.2 стр.75
Третий вид: число равно кубу. Если предмет задачи - число - будет известен куб этого числа. Нет другого средства найти его ребро, кроме последовательного подбора. Это относится и ко всем числовым степеням, как квадрато-квадрат, квадрато-куб, кубо-куб, о чем мы говорили выше.
В || геометрическом доказательстве предположим, что квадрат AD есть квадрат единицы, т.е. АВ равна BD и каждая из этих двух сторон равна единице. Далее восставим к плоскости AD в точке В перпендикуляр ВС, как это показал Евклид в XI книге его сочинения61, и сделаем этот перпендикуляр равным данному числу. Дополним тело ABCDEGH62. Известно, что мера этого тела равна данному числу. Далее построим куб, равный этому телу. Однако построение этого куба производится только с помощью свойств [конических] сечений. Поэтому мы отложим это до тех пор, пока не приведем предварительных предложений, относящихся к этим свойствам.
Всякий раз, когда мы будем говорить: число равно телу, мы будем понимать под числом тело с параллельными гранями и прямыми углами, имеющее основанием квадрат единицы и высоту, равную данному числу.
Четвертый вид: квадрат равен пяти своим корням. Здесь число корней есть корень из квадрата. Числовое доказательство состоит в том, что корень, умноженный на самого себя, образует квадрат и что тот же корень, умноженный на пять, равным образом образует квадрат, поэтому он равен пяти. Геометрическое доказательство аналогично: предполагают, что плоская фигура [имеющая форму] квадрата, равна пяти своим сторонам.
Пятый вид: вещи равны кубу. Если эта задача числовая, очевидно, что этот вид равносилен виду: число равно квадрату. Например, в силу указанной выше пропорции [сказать, что] четыре корня равны кубу - все равно, что сказать: число четыре равно квадрату.
Рис.3 стр.76
В геометрическом доказательстве предположим, что мера куба ABCDE равна четырем его ребрам, и пусть его ребро будет АВ. Тогда его ребро АВ, умноженное на четыре, образует куб ABCDE, и в то же время его ребро, умноженное на свой квадрат, т.е. квадрат АС, образует куб: поэтому квадрат АС равен четырем.
Шестой вид: квадраты равны кубу. Это || то же, что число равно корню.
Числовое доказательство состоит в том, что число относится к корню как квадраты к кубу, как это показано в VIII [книге] "Начал"63.
В геометрическом доказательстве предположим, что куб ABCDE равен числу своих квадратов, например равен двум квадратам. Квадрат его ребра есть АС. Поэтому плоская фигура АС, умноженная на два, образует куб ABCDE, и в то же время умноженная на BD, т.е. на свою сторону, она образует куб ABCDE. Поэтому BD, т.е. ребро куба, равно двум. Это и есть искомое.
Всякий раз, когда мы будем говорить в этом трактате: квадраты куба, мы будем понимать под этим выражением квадраты его ребер.
Изложив простые виды, рассмотрим теперь три первых из двенадцати тройных видов.
Первый вид из них: квадрат и десять корней равны числу тридцать девять. Умножь половину [числа] корней на себя. Прибавь это произведение к числу и вычти из корня из этой суммы половину [числа] корней. Остаток есть корень квадрата64.
Числовая задача нуждается в двух условиях: во-первых, число корней должно быть четным, чтобы у него была половина, во-вторых, чтобы квадрат половины [числа] корней и число вместе образовали бы квадратное число. В противном случае эта задача в числовом случае невозможна. В геометрическом случае здесь нет невозможных задач.
Рис.4 стр.77
Числовое доказательство этого просто, если представить себе геометрическое доказательство. Вот это [геометрическое доказательство]: предположим, что квадрат АС вместе с десятью своими корнями равен числу тридцать девять, а десять его корней являются плоской фигурой СЕ. Поэтому линия DE равна десяти. Разделим ее пополам в точке G. Тогда, так как линия DE разделена пополам в точке G и к ней прибавлена в ее направлении АD, произведение ЕА на АD, равное плоской фигуре BE65, вместе с квадратом DG равно квадрату GA66. Но квадрат DG, являющийся половиной [числа] корней, известен, и плоская фигура BE, || являющаяся данным числом, также известна. Поэтому [квадрат] GA известен и линия GA известна. Тогда мы отнимаем от нее GD, и остаток АD известен67.
рис.5 стр.77
Другое доказательство этого. Предположим, что ABCD - квадрат. Продолжим ВА до Е и сделаем ЕА равной четверти [числа] корней, т.е. двум с половиной. Продолжим DА до G, сделав GA равной четверти [числа] корней. Продолжим таким же образом линии изо всех углов квадрата и дополним плоскую фигуру HF. Она будет квадратом, так как GE - квадрат, АС - квадрат и СЕ - квадрат, как доказано в VI [книге "Начал"]68. Каждый из четырех квадратов в углах большого квадрата равен квадрату двух с половиной, т.е. их сумма равна двадцати пяти или квадрату половины [числа] корней. Плоская фигура GB равна двум с половиной корня квадрата АС, так как GA равна двум с половиной. Поэтому эти четыре фигуры вместе равны десяти корням квадрата АС. Но, по предположению, квадрат АС вместе с десятью его корнями равен числу 39. Поэтому квадрат HF равен 64. Берется корень из этого и отнимается от него 5. Остается АВ69.
Предположим еще, что дана линия АВ, равная 10, и ищется квадрат, который, будучи сложен с произведением своей стороны на АВ, равнялся бы данному числу. Предположим, что данное число есть плоская фигура Е с параллельными сторонами и прямыми углами, как мы говорили выше. Приложим к линии АВ плоскую фигуру с параллельными сторонами, равную фигуре Е с избытком в виде квадрата, как это показал Евклид в VI [книге] "Начал"70. Пусть это будет плоская фигура BD, а избыточный квадрат будет AD; сторона АС этого квадрата будет известна, как это показано в "Данных"71.
Рис.6 стр.78
Второй вид из них: квадрат и число равны корням. В этом (6б) случае необходимо, чтобы число не было бы больше || квадрата половины [числа] корней, в противном случае задача невозможна. Когда число равно квадрату половины [числа] корней, половина [числа] корней сама равна корню квадрата. Когда число меньше, отнимают его от квадрата половины [числа] корней, берут корень из остатка и складывают с половиной [числа] корней или отнимают от нее. Сумма при сложении и остаток при вычитании есть корень квадрата72.
Числовое доказательство этого представляется его геометрическим доказательством. Предположим, что к квадрату ABCD приложена [плоская фигура] ED, являющаяся числом со стороны AD. Поэтому плоская фигура ЕС равна, например, 10 сторонам73 квадрата АС и, следовательно, ЕВ равна 10. В первом случае АВ равна половине ЕВ, во втором больше ее половины, а в третьем меньше ее половины. В первом случае АВ равна 5, а во втором и третьем случаях разделим ЕВ в точке G таким образом, что линия ЕВ разделена в точке G пополам, а в точке А - на две неравные части. Поэтому плоская фигура на ЕА и АВ вместе с квадратом GA равна квадрату GB, как это доказано во II [книге] "Стихий"74. Плоская фигура на ЕА и АВ, равная данному числу, известна. Поэтому, когда ее отнимают от квадрата [линии] GB, являющейся половиной [числа] корней, в остатке получается известный квадрат GA. В третьем случае, отнимая GA от GB, а во втором случае прибавляя ее к ней, получают в виде [суммы] или разности АВ. Это и есть искомое.
Рис.7 стр.79
Если хочешь, можешь доказать это и другими способами, но мы ограничимся этим, чтобы избежать многословия. Предположим, что данная линия АВ равна десяти и требуется отнять от нее такую линию, что, если умножить ее на АВ, произведение будет равно квадрату этой линии вместе с другой плоской фигурой, не большей квадрата половины АВ, т.е. вместе с данным числом, являющимся плоской фигурой Е. Таким образом, мы хотим отнять от АВ такую линию, квадрат || которой вместе с фигурой Е (7а) был бы равен произведению АВ на эту линию. Поэтому приложим к известной линии АВ плоскую фигуру, равную известной фигуре [Е] с недостатком в виде квадрата, что возможно, так как фигура Е не больше, чем квадрат половины АВ, как это показал Евклид в VI [книге] "Стихий"75. Пусть это будет фигура AG, а недостающий квадрат - фигура CD. Тогда сторона СВ будет известна, как это доказано в "Данных"76. Это и есть то, что мы хотели доказать.
Рис.8 стр.79
Этим показано, что у этого вида имеются различные случаи77, среди которых имеется невозможный78. Ты можешь узнать условия его разрешимости в числах, подобно тому, как мы объяснили в случае первого вида.
Третий вид: число и корни равны квадрату. Прибавляют квадрат половины [числа] корней к числу, берут корень из этой суммы и прибавляют половину [числа] корней, и то, что получается, есть корень квадрата79.
Доказательство. Пусть квадрат АВСН равен пяти своим корням и числу шесть. Отнимем от него число, являющееся плоской фигурой AD. Остается фигура ЕС, т.е. корни, число которых пять. Поэтому линия ЕВ равна пяти. Разделим ее пополам в точке G. Таким образом, линия ЕВ будет разделена на две равные части в точке G и в то же время к ней прибавлена ЕА в ее направлении. Тогда плоская фигура на ВА и АЕ, т.е. [известная] фигура AD, вместе с известным квадратом EG равна квадрату GA80. Поэтому квадрат GA и [сама] GA известны. Но GB известна. Следовательно, и АВ известна.
Рис.9 стр.80
Для этого имеются доказательства другими способами; потрудись над этим сам.
Предположим также, что линия BE равна [числу] корней и что требуется найти такой квадрат и его сторону, чтобы он был равен данному числу его сторон вместе с данным числом. Пусть данное число есть плоская фигура [F1], а Н - квадрат, равный этой фигуре. Построим квадрат, равный квадрату Н вместе с квадратом [линии] EK, равной половине числа сторон. Пусть это будет квадрат G. Сделаем KC равной стороне G и дополним квадрат ABCD. Квадрат ABCD и есть искомое.
Рис.10 стр.80
(7б) Этим показано, что в этом || третьем виде, так же как и в первом виде, нет невозможного в отличие от второго вида, в котором имеется как невозможное, так и разнообразие случаев, чего нет в этих двух видах.
Докажем теперь, что вторые три из этих видов пропорциональны первым трем видам.
Первый вид из них: куб и квадраты равны корням81. Построим куб ABCDE, продолжим AB в ее направлении до G, сделаем AG равной числу квадратов и дополним тело AGHFCD на продолжении куба АЕ, как это делается обычно. Тело AF будет равно числу квадратов, и тело BF, равное кубу вместе с данным числом квадратов, будет равно данному числу корней. Построим [плоскую фигуру] К, равную данному числу корней: корень - это ребро куба, т.е. AD. Поэтому плоская фигура К, умноженная на AD, будет равна данному числу ребер. Плоская фигура НВ, умноженная на AD, образует ее куб вместе с данным числом квадратов. Но два тела - тело BF и тело, построенное на К и имеющее высотой АD, - равны. Следовательно, их основания будут обратно пропорциональны их высотам82, и так как их высоты равны, их основания необходимо также равны. Но основание НВ равно квадрату СВ вместе с [плоской фигурой] НА, которая равна такому числу корней, каково данное число квадратов. Поэтому K, являющаяся данным числом корней, равна квадрату и такому числу корней, каково данное число квадратов. Это и есть то, что мы хотели [доказать].
Рис.11 стр.81
Вот пример этого рода: куб и три квадрата равны десяти корням; это то же, что квадрат и три корня равны числу десять.
Второй вид из них: куб вместе с двумя корнями равен трем квадратам. Это то же, что квадрат || вместе с двумя равен трем корням. (8a)
Рис.12 стр.81
Доказательство. Построим куб ABCDE, который вместе с двумя его корнями равен трем квадратам. Построим далее квадрат, равный H, и [линию] К, равную трем. Тогда произведение H на К равно трем квадратам куба АЕ. Построим на AС плоскую фигуру, равную двум, и дополним тело AGCFD; оно будет равно числу корней. Но когда умножают линию GB на квадрат AC, получают тело BF; но тело AF равно числу ребер; следовательно, тело BF будет равно кубу [c] тем, что равно числу его ребер. Поэтому тело BF будет равно числу его квадратов. Линия GB, подобно тому как это показано в предыдущем предложении, равна трем. Плоская фигура ВL равна квадрату и числу два. Следовательно, квадрат и число два равны трем корням, так как фигура ВL есть произведение АВ на три. Это и есть то, что мы хотели доказать.
Третий вид из них: куб равен квадрату и трем корням. Это то же, что: квадрат равен корню и числу три.
Рис.13 стр.82
Построим куб АВСDЕ, равный своему квадрату с тремя своими ребрами. Отнимем от линии АВ, являющейся ребром куба, линию АG, равную числу квадратов, т.е. единицу, и дополним тело АGFНС; тогда тело АGFНС будет равно данному числу квадратов. Поэтому остается тело GЕ, равное данному числу ребер. Одно из этих тел относится к другому, как основание [GС к основанию] GL, как это было показано в XI [книге] "Начал", так как их высоты равны. Но плоская фигура GС равна одному (8б) корню || квадрата CВ, и фигура GL есть число корней, т.е. три. Поэтому квадрат СВ будет равен одному корню с числом три.
Это и есть то, что мы хотели [доказать].
Пока ты не понял этих доказательств, проведенных этим способом, искусство [алгебры] не будет [для тебя] научным, хотя этот метод доказательства и содержит некоторые трудности.
Теперь, после изложения тех видов [уравнений], которые могут быть доказаны при помощи свойств круга, т.е. при помощи книги Евклида, займемся рассмотрением тех видов, доказательство которых может быть дано только при помощи конических сечений. Это 14 видов: [один простой] число равно кубу, 6 оставшихся тройных и 7 четверных.
Предпошлем этому рассмотрению несколько предложений, основанных на сочинении "Конические сечения", для того чтобы подготовить изучающего, а также для того чтобы этот наш трактат не нуждался в более чем в трех указанных сочинениях, а именно в двух сочинениях Евклида "Начала" и "Данные" и в двух книгах сочинения "Конические сечения".
Мы хотим найти две линии между двумя другими линиями таким образом, чтобы эти четыре линии были пропорциональны83. Пусть АВ и ВС - две прямые линии; расположим их так, чтобы они заключали прямой угол В. Построим параболу84, вершина которой85 - точка В, а стрела86 и прямая сторона87 - ВС. Это будет парабола BDE, известная по положению, так как ее вершина и стрела известны по положению, а ее прямая сторона известна по величине88. Она касается линии ВА, так как угол В прямой и, следовательно, равен координатному углу, как это доказано в 33-м предложении книги "Конических сечений"89. Подобным же образом мы построим вторую параболу, вершина которой точка В, а стрела и прямая сторона - АВ, которая будет параболой BDG, как это показал Аполлоний в 56-м предложении ( 9а) I книги90. || Парабола BDG будет касаться линии ВС. Поэтому эти две параболы необходимо пересекутся. Пусть они пересекаются в точке D. Тогда точка D будет известна по положению, так как эти две параболы известны по положению. Опустим из точки D два перпендикуляра DH, DF на ВС, АВ. Они будут известны по величине, как это показано в "Данных"91. Я утверждаю, что четыре линии АВ, ВН, BF, ВС пропорциональны.
Рис.14 стр.83
Доказательство. Квадрат HD равен произведению ВН на ВС, так как линия DH - координатная линия параболы BDE92. Следовательно, ВС относится к HD, равной BF, как BF к НВ. Линия DF - координатная линия параболы ВDG.
Поэтому квадрат DF, равной ВН, равен произведению ВА на BF. Следовательно, BF относится к ВН, как ВН к ВА. Поэтому эти четыре линии непрерывно пропорциональны и линия DH известна по величине, так как она проведена из точки, известной по положению, к линии, известной по положению, под углом, известным по величине. Подобным же образом DF также известна по величине. Отсюда следует, что две линии ВН, BF известны по величине. Но они средние пропорциональные между двумя линиями АВ, ВС, т.е. АВ относится к ВН, как ВН к BF и как BF к ВС Это и есть то, что мы хотели доказать93.
Рис.15 стр.83
Даны квадрат ABCD, являющийся основанием тела ABCDE с параллельными гранями и прямыми углами, и квадрат МН, и мы хотим построить на основании МН тело с параллельными гранями и прямыми углами, равное данному телу ABCDE. Пусть АВ относится к MG, как MG к К, и АВ относится к К, как GF к BD. Проведем GF перпендикулярно плоской фигуре МН в точке G и дополним тело MGFH. Я утверждаю, что это тело равно (9б) данному || телу.
Доказательство. Квадрат AС относится к квадрату МH, как АВ к К. Поэтому квадрат АС относится к квадрату EGH, как GF, высота [тела] MFH, к DE, высоте тела BE94. Поэтому эти два тела равны, так как их основания обратно пропорциональны их высотам, как это показано в XI [книге] "Начал"95.
Всякий раз, когда мы будем говорить "тело", это будет обозначать тело с параллельными гранями и прямыми углами, так же как всякий раз, когда мы говорим "плоская фигура", это обозначает плоскую фигуру с параллельными сторонами и прямыми углами.
[Дано] тело ABCD, основание АС которого - квадрат, и мы хотим построить тело, основание которого является квадратом, а высота равна данной [линии] EF и которое равно данному телу ACD. Пусть EF относится к BD, как АВ к K, и возьмем между АВ и К среднюю пропорциональную линию EL. Проведем EL перпендикулярно [линии] EF и дополним [плоскую фигуру]. Далее проведем ЕН перпендикулярно [плоской фигуре] FL и равную EL и дополним тело HEF[L]. Я утверждаю, что тело F, основание которого - квадрат HL, а высота - данная [линия] EF, равно данному телу D.
Рис.16 стр.84
Доказательство. Квадрат АС относится к квадрату HL, как АВ к K. Поэтому квадрат АС относится к квадрату HL, как EF к К96. Так как основания этих двух тел обратно пропорциональны высотам, эти тела равны. Это то, что мы хотели доказать.
После этого перейдем к третьему виду из простых: куб равен числу.(10a) || Положим число равным телу ABCD, основание которого квадрат единицы, как мы об этом говорили, так что его длина равна данному числу. Мы хотим построить равный ему куб.
Рис.17 стр.85
Возьмем между двумя линиями АВ, BD две средние пропорциональные. Тогда, как мы показали, они будут известны по величине97. Это будут [линии] Е, G. Проведем НF, равную линии Е, и построим на ней куб FHKL. Тогда этот куб и его ребро будут известны по величине. Я утверждаю, что этот куб равен телу D.
Рис.18 стр.85
Доказательство. Квадрат АС находится с квадратом FK в двойном отношении АВ к НК, а двойное отношение АВ к НК равно отношению АВ к G, первой к третьей из четырех линий и, следовательно, равно отношению НК, являющейся второй, к BD, являющейся четвертой98. Поэтому основания [FK, АС] куба L и тела D обратно пропорциональны их высотам [НК, BD]. Отсюда следует, что эти тела равны. Это и есть то, что мы хотели доказать.
После этого займемся шестью оставшимися тройными видами. Первый вид: куб и его ребра равны числу. Положим [линию] АВ равной стороне квадрата, равного числу корней, тем самым она дана.
Построим способом, указанным нами выше99, тело, основание которого равно квадрату АВ, а высота равна ВС и которое равно данному числу, и сделаем ВС перпендикулярной АВ. Известно, что у нас понимается под телесным числом: это тело, основание которого - квадрат единицы, а высота равна данному числу, т.е. линии, отношение которой к стороне основания тела равно отношению данного числа к единице. Продолжим АВ до G и построим параболу, вершина которой есть точка В, стрела - (10б) BG, а прямая сторона-АВ. Это будет || парабола HBD. Она известна по положению, как мы это показали выше100, и касается линии ВС. Построим на ВС полукруг: он необходимо пересечет параболу. Пусть он пересекает ее в D. Опустим из D, которая, как мы знаем, будет известна по положению, два перпендикуляра DG, DE на BG, ВС. Они будут известны по положению и величине. Так как линия DG - координатная линия параболы, ее квадрат равен произведению BG на АВ; следовательно, АВ будет относиться к DG, равной BE, как BE к ED, равной СВ. Но BE относится к ED, как ED к ЕС. Поэтому четыре линии АВ, BE, ED, ЕС пропорциональны и квадрат АВ, являющейся первой, относится к квадрату BE, являющейся второй, как АЕ, являющаяся второй, к ЕС, являющейся четвертой. Тогда тело, основание которого есть квадрат АВ, а высота ЕС, равно кубу BE, так как их высоты обратно пропорциональны их основаниям. Прибавим к ним обоим тело, основание которого есть квадрат АВ, а высота - ЕВ. Куб BE вместе с этим телом будет [равен телу], основание которого есть квадрат АВ, а высота - ЕВ, которое мы положили равным данному числу. Но тело, основание которого есть квадрат АВ, равный числу корней, а высота - ЕВ, являющаяся ребром куба, будет равно данному числу ребер куба ЕВ. Следовательно, куб ЕВ вместе с данным числом его ребер равен данному числу101. Это и есть искомое.
У этого вида нет многообразия случаев и невозможных задач102. Он был решен при помощи свойств круга и параболы.
Второй вид из шести тройных видов: куб и число равны ребрам. Предположим, что [линия] АВ есть сторона квадрата, равного (11а) числу || корней, и построим равное данному числу тело, основание которого есть квадрат АВ. Пусть высота этого тела будет ВС и пусть она будет перпендикулярна АВ. Построим параболу, вершина которой - точка В, стрела имеет направление АВ и прямая сторона есть АВ. Это будет [парабола] АВ, известная по положению. Далее построим гиперболу103, вершина которой - точка С, стрела имеет направление ВС, а обе стороны, прямая и поперечная104, равны ВС. Это будет [гипербола] ECG. Она будет известна по положению, как это показал Аполлоний в 58-м предложении I книги105. Эти два конических сечения или пересекаются, или не пересекаются. Если они не пересекаются, задача невозможна. Но если они пересекаются, касаясь в одной точке или пересекаясь в двух точках, эта точка будет известна по положению. Пусть они пересекаются в точке Е. Опустим из Е два перпендикляра ЕF, ЕН на линии BF, ВН. Эти два перпендикуляра необходимо известны по положению и величине. Линия EF есть координатная линия [гиперболы], и, следовательно, квадрат EF относится к произведению BF на FC, как прямая сторона к поперечной стороне, как это показал Аполлоний в 20-м предложении 1 книги106. Но [прямая] и поперечная стороны равны, поэтому квадрат EF будет равен произведению BF на FC. Отсюда следует, что BF относится к FE, как FE к FC. С другой стороны, квадрат ЕН, равной BF, равен произведению ВН на ВА, как это доказано в 12-м предложении I книги сочинения "Конические сечения"107, следовательно, АВ относится к BF. как BF к ВН и как ВН, равная EF, к FC. Поэтому эти четыре линии пропорциональны и квадрат АВ, являющейся первой, относится к квадрату BF, являющейся второй, как BF, являющаяся второй, к FC, являющейся четвертой. Таким образом, куб BF равен телу, основание которого есть квадрат АВ, а высота - CF. Прибавим к ним обоим тело, основание которого есть квадрат АВ а высота - ВС, которое мы сделали равным данному числу. Тогда куб BF вместе с данным числом будет равен телу, основание которого есть квадрат АВ, а высота - BF, т.е. число ребер куба108.
Рис.19 стр.87
Рис.20 стр.87
|| Этим показано, что у этого вида (11б) имеется многообразие случаев, а среди задач этого вида имеются невозможные109. Он был решен при помощи свойств двух конических сечений - параболы и гиперболы.
Третий вид: куб равен ребрам и числу. Положим [линию] АВ равной стороне квадрата, равного числу ребер, и построим равное данному числу тело, основание которого есть квадрат АВ. Пусть высота этого тела будет ВС и пусть она будет перпендикулярна АВ. Затем продолжим АВ и ВС в их направлениях и построим параболу, вершина которой - точка В, стрела имеет направление АВ, а прямая сторона которой есть АВ. Это будет [парабола] DBE; она будет известна по положению и будет касаться линии ВН в соответствии с тем, что показал Аполлоний в 33-м предложении I книги110. Затем построим другое коническое сечение, гиперболу, вершина которой - точка В, стрела имеет направление ВС, а обе стороны, прямая и поперечная, равны ВС. Это будет гипербола GBE, Она будет известна по положению и будет касаться линии АВ. Эти два конических сечения необходимо пересекутся. Пусть они пересекаются в точке Е. Эта точка также известна по положению. Опустим из точки Е два перпендикуляра EF, ЕН. Они будут известны и по положению и по величине. Линия ЕН - координатная линия [гиперболы], и, как показано выше, ее квадрат будет равен произведению СН и ВН. Поэтому СН будет относиться к ЕН, как ЕН к НВ. Но ЕН, равная BF, относится к НВ, равной EF, которая есть ордината другого конического сечения, как EF к АВ, являющейся прямой стороной параболы. Эти четыре линии пропорциональны: АВ относится к НВ, как НВ к BF и как BF к СН, и квадрат АВ, являющейся первой, относится к квадрату НВ, являющейся второй, как НВ, являющаяся второй, к СН, являющейся || четвертой. Следовательно, куб НВ будет равен телу, основание которого есть квадрат АВ, а высота - СН, так как их высоты обратно пропорциональны их основаниям. Но это тело равно телу, основание которого есть квадрат АВ, а высота ВС, которое мы сделали равным данному числу вместе с телом, основание которого есть квадрат АВ, а высота ВН, равная данному числу ребер куба ВН. Поэтому куб ВН равен данному числу вместе с данным числом его ребер. Это и есть искомое111.
Рис.21 стр.88
Этим показано, что у этого вида нет многообразия случаев и что в его задачах нет ничего невозможного112. Он был решен при помощи свойств параболы и гиперболы.
Четвертый вид из шести тройных видов: куб и квадраты равны числу. Положим линию АВ равной числу квадратов и построим куб, равный данному числу. Пусть ребро этого куба будет Н. Продолжим АВ прямо и сделаем BF равной Н. Дополним квадрат BFDC и проведем через точку D гиперболу, которую не встречают [линии] ВС и BF113. Это будет гипербола EDN, как это известно в силу 4 и 5-го предложений II книги и 59-го предложения I книги114. Гипербола EDN будет известна по положению, так как точка D известна по положению и линии ВС, BF известны по положению. Построим параболу, вершина которой - точка А, стрела - AF, а прямая сторона - ВС. Это будет парабола АК. Тогда парабола АК известна по положению, и эти два конических сечения [необходимо] пересекутся. Пусть они пересекаются в точке Е. Тогда Е будет известна по положению. Опустим из этой точки перпендикуляры EG, EL на линии AF, ВС. Они будут известны по положению и величине. Я утверждаю, что невозможно, || чтобы парабола AEK пересекала гиперболу (12б) EDN в такой точке, что перпендикуляр, опущенный из этой точки на линию AF, падает на [точку] F или за ней. Пусть, если возможно, он упадет на F; тогда его квадрат будет равен произведению AF на FB, равную ВС, но этот перпендикуляр равен перпендикуляру DF, поэтому квадрат FD будет равен произведению AF на FB, а с другой стороны, он будет равен произведению BF на себя, что нелепо; поэтому перпендикуляр не может упасть на F. И точно так же он не может упасть за F, так как тогда этот перпендикуляр был бы меньше FD, что еще более нелепо. Поэтому перпендикуляр необходимо упадет на точку между А и F, как это имеет место для EG.
Квадрат EG равен произведению AG на ВС, поэтому AG относится к EG, как EG к ВС, и плоская фигура ЕВ равна фигуре DB, как это доказано в 8-м предложении II книги "Конических сечений"115, и EG относится к ВС, как ВС к BG. Поэтому четыре линии AG, EG, ВС, BG пропорциональны. Следовательно, квадрат BG, являющейся четвертой, относится к квадрату ВС, являющейся третьей, как ВС, являющаяся третьей, к AG, являющейся первой. Куб ВС, который мы сделали равным данному числу, будет равен телу, основание которого есть квадрат BG, а высота -AG. Но это тело, основание которого есть квадрат BG, а высота - AG, равно кубу BG вместе с телом, основание которого есть квадрат BG, а высота - АВ. Но тело, основание которого есть [квадрат BG], а высота - АВ, равно данному числу квадратов. Следовательно, куб вместе с данным числом квадратов равен данному числу. Это и есть то, что мы хотели доказать116.
В этом виде нет многообразия случаев и среди его задач нет невозможных117. Он был решен при помощи свойств параболы и гиперболы.
(13а) || Пятый вид из шести остававшихся тройных видов: куб и число равны квадратам. Предположим, что [линия] АС равна числу квадратов, и построим куб, равный данному числу. Пусть ребро этого куба будет H. Линия H может быть либо равна линии АС, либо же быть больше ее или меньше. Если H равна АС, задача невозможна, так как тогда ребро искомого куба будет необходимо либо равно H, либо же меньше или больше. Если они равны, произведение AС на квадрат этого ребра будет равно кубу H, тогда это число будет равно числу квадратов без того, чтобы добавить к нему куб. Если искомое ребро меньше H, произведение АС на квадрат этого ребра будет меньше данного числа, и тогда число квадратов будет меньше данного [числа] без того, чтобы что-нибудь к нему добавить, и, наконец, если ребро больше H, его куб будет больше произведения AС на его квадрат, без того, чтобы добавить к нему число.
Рис.22 стр.90
Если, далее, H больше АС, эти три случая тем более невозможны. Поэтому необходимо, чтобы H была меньше АС, иначе задача будет невозможной.
Поэтому отложим на AС [линию] ВС, равную H. Линия ВС будет либо равна АВ, либо же больше ее или меньше. Пусть она на первом чертеже равна, на втором - больше ее, а на третьем - меньше. Дополним на этих трех чертежах квадрат DС и проведем через точку D гиперболу, которую не встречают [линии] АС, СЕ. Это будет на первом чертеже DG, на втором и третьем - DF. Построим затем параболу, вершина которой - точка A, стрела - AС, а прямая сторона - ВС. Это будет на первом чертеже AF, на втором - AL, а на третьем - AК. Эти два конических сечения будут известны по положению. На первом чертеже парабола пройдет через точку D, так как квадрат DB равен произведению АВ на ВС и D расположена на дуге параболы. Она пересечет [гиперболу] еще в другой точке, что ты можешь определить при небольшом размышлении. На втором чертеже точка D будет расположена вне параболы, так как квадрат DB здесь будет больше произведения АВ на ВС. Поэтому, если эти два конических сечения встретятся в другой точке, || касаясь или пересекаясь, перпендикуляр, (13б) опущенный из этой точки [на АС], необходимо упадет между точками А и В, и задача возможна; в противном случае она невозможна. На это касание или пересечение не обратил внимания досточтимый геометр Абу-л-Джуд118, который решил, что если ВС больше АВ, то задача невозможна, и упустил этот случай. Этот вид есть тот из шести видов, в познании которого оказался бессильным ал-Махани. На третьем чертеже точка D расположена внутри параболы, так что два конических сечения пересекаются в двух точках.
Во всех этих случаях опустим из точки встречи перпендикуляр на АВ. Пусть это будет на втором чертеже FG. Точно так же опустим из этой точки другой перпендикуляр на СЕ; это будет FK. Плоская фигура FC будет равна плоской фигуре DC, и поэтому GC будет относиться к ВС, как ВС и FG. Но FG - координатная линия параболы AFL и ее квадрат равен произведению AG на ВС; поэтому ВС относится к FG, как FG к GA. Тогда эти четыре линии пропорциональны, GC относится к СВ, как СВ к FG и как FG к GA. Поэтому квадрат GC, являющейся первой, будет относиться к квадрату ВС, являющейся второй, как ВС, являющаяся второй, к GA, являющейся четвертой, и, следовательно, куб ВС, равный данному числу, будет равен телу, основание которого есть квадрат GC, а высота - GA. Прибавим к обоим куб GC. Тогда куб GC вместе с данным числом будет равен телу, основание которого есть квадрат GC, а высота АС и которое равно данному числу квадратов. Это и есть искомое119. Аналогичны этому два остальных случая, причем в третьем случае необходимо получаются два куба, так как каждый из перпендикуляров отсечет от СА ребро куба, как мы это только что доказали.
Этим показано, что у этого вида имеется || многообразие случаев и [среди его задач] имеются невозможные120. Он был решен при помощи свойств параболы и гиперболы.
Шестой вид из шести остававшихся тройных видов: куб равен квадратам и числу.
Предположим, что линия АВ равна числу квадратов, и построим равное данному числу тело, высота которого есть АВ, а основание - квадрат. Пусть сторона этого основания будет ВС и пусть она перпендикулярна АВ. Дополним плоскую фигуру DB и проведем через точку С известную по положению гиперболу, которую не встречают [линии] АВ, AD. Это будет гипербола CEG. Построим другое коническое сечение, параболу, вершина которой - точка В, стрела имеет направление АВ, а прямая сторона - АВ. Это будет [парабола] ВЕН. Эти два конических сечения необходимо пересекаются. Пусть они пересекаются в точке Е. Тогда Е известна по положению. Опустим из этой точки два перпендикуляра EF, ЕК на АВ, AD. Плоская фигура ЕА будет равна [плоской фигуре] СА, и АК будет относиться к ВС, как АВ к ЕК. Поэтому их квадраты также будут пропорциональны. Но квадрат ЕК равен произведению КВ на АВ, так как ЕК есть координатная линия параболы ВЕН, и, следовательно, квадрат АВ будет относиться к квадрату ЕК, как АВ к ВК. Поэтому || квадрат ВС будет относиться к квадрату АК, как ВК к АВ, и тело, основание которого есть квадрат ВС, а высота - АВ, равно телу, основание которого есть квадрат АК, а высота - КВ, так как основания и высоты этих тел обратно пропорциональны. Добавим к ним обоим тело, основание которого есть квадрат АК, а высота - АВ, тогда куб АК будет равен телу, основание которого есть квадрат ВС, а высота - АВ, и которое мы сделали равным данному числу вместе с телом, основание которого есть квадрат АК, а высота - АВ и которое равно данному числу квадратов. Таким образом, куб АВ будет равен данному числу квадратов вместе с данным числом121.
(14б)
Рис.23 стр.92
В этом виде нет многообразия случаев и среди его задач нет невозможных122. Он был решен при помощи свойств параболы и гиперболы.
Изложив тройные виды, перейдем к рассмотрению [четырех] четверных видов, каждый из которых состоит в равенстве трех [членов] одному [члену]. Первый вид из четырех четверных: куб, квадраты и ребра равны числу.
Положим [линию] BE равной стороне квадрата, равного данному числу ребер, и построим тело, основание которого есть квадрат BE и которое равно данному числу. Пусть его высота будет ВС и пусть она перпендикулярна BE. Поместим BD, равную данному числу квадратов, на продолжении ВС и построим на DC как на диаметре полукруг DGC. Дополним плоскую фигуру ВК и проведем через точку С123 гиперболу, которую не встречают линии BE, ЕК. Она пересечет круг в точке С, так как она пересекает СК, касательную к кругу; тогда гипербола необходимо пересечет круг во второй точке. Пусть они пересекаются в G. Тогда G будет известна по положению, так как круг и гипербола известны по положению. Опустим из G || два перпендикуляра GF на GA.
(15а)
Рис.24 стр.93
Плоская фигура GE будет равна плоской фигуре BK. Если отнять от обеих частей общую часть EL, останется плоская фигура GB, равная плоской фигуре LK. Поэтому GL будет относиться к LC, как ЕВ к BL, так как ЕВ равно FL, и их квадраты также будут пропорциональны. Но квадрат GL относится к квадрату LC, как DL[к LC], по причине [свойств] круга. Поэтому квадрат ЕВ будет относиться к квадрату BL, как DL к LC, и тело, основание которого есть квадрат ЕВ, а высота - LC, равно телу, основание которого есть квадрат BL, а высота - DL. Но это последнее тело равно кубу BL вместе с телом, основание которого есть квадрат BL, а высота - BD и которое равно данному числу квадратов. Добавим к обоим тело, основание которого есть квадрат BE, а высота - BL и которое равно числу корней. Тогда тело, имеющее основанием квадрат ЕВ, а высотой ВС, и которое мы сделали равным данному числу, равно кубу BL вместе с данным числом его ребер и данным числом его квадратов. Это и есть то, что мы хотели доказать124.
Рис.25 стр.93
В этом виде нет многообразия случаев и среди его задач нет невозможных125. Он был решен при помощи свойств гиперболы и круга.
Второй вид из четырех четверных видов: куб, квадраты и число равны ребрам.
Положим [линию] АВ равной стороне квадрата, равного числу ребер, а ВС равной данному числу квадратов и перпендикулярной АВ. Построим тело, основание которого есть квадрат АВ, и которое равно данному числу, и пусть его высота (15б) BD || находится на продолжении ВС. Дополнив плоскую фигуру BE, проведем через точку D гиперболу, которою не встречают [линии] АВ, АЕ. Это будет гипербола GDH. Построим затем другую гиперболу, вершина которой - точка D, стрела - на продолжении BD, а прямая и поперечная стороны равны каждая DC. Пусть это будет [гипербола] FDH. Эта гипербола необходимо пересечет первую в D. Тогда, если возможно, чтобы эти две гиперболы встретились еще в одной точке, задача возможна, в противном случае она невозможна. [Эта встреча в виде касания или пересечения в двух точках основана на IV книге "Конических сечений", но мы обещали ссылаться только на две книги этого сочинения. Во всяком случае это нисколько не вредит [нам], так как, если только эти две гиперболы встречаются, то безразлично, происходит ли это при касании или пересечении. Пойми это]126. Таким образом, встреча может быть касанием или пересечением; при этом если одна из этих гипербол пересекает другую в точке, отличной от D, то она необходимо пересекает ее в двух точках.
Во всяком случае опустим из точки пересечения или встречи, какой бы она ни была, - пусть это будет точка Н, - два перпендикуляра НМ, KHL. Они будут известны по положению и величине, так как точка Н известна по положению. Тогда плоская фигура АН равна плоской фигуре AD. Отнимем их общую часть ЕМ, остается MD, которая равна ЕН. Затем прибавим к обеим DH; тогда ML равно EL, и стороны, так же как квадраты сторон этих поверхностей, будут обратно пропорциональны. Поэтому квадрат АВ будет относиться к квадрату BL, как квадрат НL к квадрату LD; но квадрат HL относится к квадрату LD, как CL к LD, как мы это уже показывали несколько раз. Поэтому квадрат АВ будет относиться к квадрату BL, как CL к LD, и тело, высота которого есть LD, а основание - квадрат АВ, равно телу, основание которого есть квадрат BL, а высота LС. Но это последнее тело равно кубу BL вместе с телом, основание которого есть квадрат BL, а высота ВС и которое равно данному числу квадратов. Добавим к обоим тело, основание которого есть квадрат АВ, а высота BD и которое мы сделали равным данному числу. Таким образом, куб BL вместе с данным числом квадратов и данным числом будет равен телу, основание которого есть квадрат АВ, а высота - BL, которое равно данному числу ребер куба BL. Это и есть то, что мы хотели доказать127.
Тем самым показано, что у этого вида имеется многообразие случаев: [иногда] в его задачах находят два ребра двух кубов, а часто в его задачах имеется || невозможное128. Этот вид был решен при помощи свойств двух гипербол. Это то, что мы хотели показать. (16a)
Третий вид из четырех четверных: куб, ребра и число равны квадратам.
Рис.26 стр.95
Предположим, что линия BE есть данное число квадратов, а ВС - сторона квадрата, равного числу ребер, и ВС перпендикулярна BE. Построим равное данному числу тело, основание которого есть квадрат ВС. Пусть высота АВ этого тела находится на продолжении BE. Построим на АЕ полукруг AGE.
Точка С будет находиться либо внутри круга, либо на его окружности, либо вне круга.
Пусть сначала она находится внутри круга. Продолжим ВС в ее направлении до пересечения с кругом в точке G; дополним плоскую фигуру АС и построим на GC плоскую фигуру, равную фигуре АС. Это будет СН. Точка Н будет известна по положению, так как фигура СН известна по величине, ее углы также известны по величине, а линия GC известна по положению и величине. И она может находиться внутри круга, или на его окружности, или вне его. Пусть сначала она находится внутри круга. Проведем через точку Н гиперболу, которую не встречают [линии] GC, GМ. В этом положении она необходимо пересечет круг в двух точках. Пусть они пересекаются в точках L и N, они будут известны по положению. Опустим из этих точек перпендикуляры LK, NP на АЕ и из точки L перпендикуляр LF на BG. Плоская фигура LC будет равна фигуре СН, а СН равна СА. Прибавим к обеим частям СК. Получим, что DK равна FK, поэтому стороны, а также квадраты сторон этих двух плоских фигур обратно пропорциональны. Но квадрат LK относится к квадрату KА, как ЕК к КА в силу [свойств] круга. Поэтому квадрат ВС необходимо относится к квадрату ВК, как ЕК к КА; поэтому тело, основание которого есть квадрат ВС, а высота - КА, равно телу, основание которого есть квадрат ВК, а высота - КЕ. Но первое из этих двух тел равно данному числу ребер куба (16б) ВК вместе с данным числом, || Прибавим с той и другой стороны куб ВК. Тогда тело, основание которого есть квадрат ВК, а высота BE, равное данному числу квадратов куба ВК, будет равно кубу ВК вместе с данным числом его ребер и данным числом. То же относится к кубу ВР в силу такого же доказательства. Это в том случае, когда точки С, H находятся внутри круга.
Если мы построим гиперболу в том случае, когда Н находится вне круга, она может встретить круг, касаясь или пересекая его [это тот случай этого вида, который упоминался Абу-л-Джудом в решении задачи, о которой мы сейчас будем говорить]129, и это приводит к тому, о чем мы уже говорили. Но если гипербола не встречает круга, мы всегда можем построить плоскую фигуру на линии меньшей или, в другом случае, большей, чем GC. Тогда, если гипербола не встречает круга, задача невозможна. Доказательство ее невозможности состоит в обращении того, что мы сказали.
Когда С находится на окружности или вне круга, мы продолжим CG в ее направлении и построим плоскую фигуру, один из углов которой находится в точке С, и, если провести через угол, противоположный углу С, гиперболу указанным выше способом, она встретит круг, касаясь или пересекая его. Это узнают посредством легкого сравнения, которое я опустил, предоставляя его в качестве упражнения читателям этого трактата, так как тот, кто не будет достаточно силен, чтобы найти это самому, не поймет ничего в этом трактате, основанном на трех указанных сочинениях.
Мы докажем невозможность невозможных случаев этого вида путем обращения доказательства, указанного нами для возможных случаев. Для этого установим сначала, что ребро куба должно необходимо быть меньше ЕВ, являющейся данным числом квадратов, так как если бы ребро куба было бы равно числу квадратов, этот куб был бы равен данному числу квадратов без добавления чего-либо другого - числа или ребер, а если ребро куба было бы больше числа квадратов, куб сам был бы больше данного тела квадратов без добавления чего-либо другого. Этим доказано, что ребро куба должно быть меньше BE. Поэтому (17а) отнимем от BE равную ему часть, - || пусть это будет ВР, - и восставим в Р перпендикуляр до окружности круга. Затем обратим указанное нами доказательство. Этим будет доказано, что вершина перпендикуляра будет находиться на дуге гиперболы, о которой мы сказали, что она не может пересекаться с кругом. Но это невозможно.
Однако я придерживаюсь мнения, что эти испытания могут быть трудны для некоторых из читателей этого трактата, вследствие чего мы отбросим все предыдущее и предложим правило, не нуждающееся в таком испытании. Оно состоит в построении на произвольной линии, взятой на продолжении ВС, каково бы ни было положение точки С, вне или внутри круга, плоской фигуры, один из углов которой находится в точке С, и равной ей плоской фигуры АС, стороны которой будут необходимо известны по величине и положению и в проведении через вершину, противоположную углу гиперболы, которую не встречают [линии] GC, СМ, последняя из которых является перпендикуляром [к GC] в точке С. Тогда, если гипербола встретит круг, касаясь или пересекая его, задача возможна, в противном же случае она невозможна. Доказательство невозможности будет такое же, как я указал выше130.
Геометр, который нуждался в этом виде, решал его, но не доказывал многообразия случаев, и ему не приходило в голову, что иногда решение невозможно, как мы это показали. Итак, заметьте это и заметьте особенно последнее правило, относящееся к построению этого вида, а также различие между возможными и невозможными случаями131. Этот вид был решен при помощи свойств круга и гиперболы; это и есть то, что мы хотели доказать. Задача этого вида, которая была нужна одному из позднейших ученых, состоит в том, что требуется разделить десять на две части таким образом, что сумма квадратов обеих частей вместе с частным от деления большей части на меньшую равна семидесяти двум. Он положил одну из этих двух частей равной вещи, а другую - десяти без вещи, как это принято у алгебраистов при подобных делениях. Это || приводится [алгебраическими] действиями (17б) к [уравнению]: куб вместе с числом пять и тринадцатью с половиной его ребрами равен десяти квадратам. В этом примере точки С, Н находятся внутри круга132. Этот ученый решил эту задачу, которая не поддавалась усилиям нескольких ученых Ирака, в числе которых был Абу Сахл ал-Кухи133. Но даже автору этого решения, несмотря на его ученость и величину заслуг в математике, не пришло в голову это многообразие случаев, а также то, что среди задач этого вида имеются невозможные. Этим ученым был Абу-л-Джуд или аш-Шанни134.
Четвертый вид из четырех четверных уравнений: число, ребра и квадраты равны кубу.
Предположим, что BE есть сторона квадрата, равного числу ребер, и построим равное данному числу тело, основание которого есть квадрат BE. Пусть высота этого тела будет АВ и пусть она будет перпендикулярна BE. Предположим, что ВС равна числу квадратов и находится на продолжении АВ, и дополним [плоскую фигуру] АЕ. [Отложим] на продолжении BE [линию] ЕМ и построим па этой линии ЕМ, являющейся данной, плоскую фигуру, равную АЕ. Пусть это будет плоская фигура ЕН. Точка H тогда будет известна по положению. Проведем через Н гиперболу, которую не встречают [линии] ЕМ, ES, это будет [гипербола] HFК. Она будет известна по положению. Затем построим вторую гиперболу, вершина которой есть точка С, стрела - на продолжении ВС, а прямая и поперечная стороны равны каждая АС. Это будет гипербола LCF. Она будет известна по положению и необходимо пересечет гиперболу HFK. Пусть они пересекаются в точке F. Тогда F будет известна по положению. Опустим из F два перпендикуляра FG, FN на ВС, ВМ. Они будут известны по величине и положению и [плоская фигура] FE будет равна ЕН, которая равна ЕА. Прибавим к обеим EN. Тогда AS будет равна FB. Стороны этих плоских фигур и их квадраты будут обратно пропорциональны. Но квадрат FN относится к квадрату AN, как NC к AN, как мы уже показывали несколько раз, в силу [свойств] гиперболы LCF. Следовательно, квадрат BE будет относиться к квадрату BN, как NC к NA, и тело, основание которого есть квадрат BE, а высота - AN, будет равно телу, основание которого есть квадрат BN, а высота - CN. Но первое из этих тел (18а) равно телу, || основание которого есть квадрат BN, а высота - АВ, и которое мы сделали равным [данному] числу, вместе с телом, основание которого есть квадрат BE, а высота - BN и которое равно данному числу ребер куба BN. Прибавим к обоим тело, основание которого есть квадрат BN, а высота - ВС и которое равно данному числу квадратов куба BN. Тогда куб BN необходимо будет равен данному числу его квадратов вместе с данным числом его ребер и данным числом. Это и есть то, что мы хотели доказать135.
Рис.27 стр.98
У этого вида нет многообразия случаев и среди его задач [нет] невозможных136.
Изложив четыре четверных вида, рассмотрим три вида, каждый из которых состоит из двух членов, равных двум [членам].