Свободно пользуясь коническими сечениями, Омар разработал геометрические решения для всех кубических уравнений и разъяснил их в своей книге «Алгебра», законченной в 1079 году. Поскольку отрицательные числа в то время еще не получили права на существование, уравнения приходилось каждый раз устраивать таким образом, чтобы все слагаемые оказывались положительными.
Это правило привело к возникновению огромного числа различных случаев, которые в наши дни все рассматриваются как по сути дела единственный случай, если не считать знаков при числах. Омар различает четырнадцать различных типов кубических уравнений в зависимости от того, какие слагаемые появляются в каждой части уравнения. Его классификация кубических уравнений такова:
…
куб = квадрат + сторона + число,
куб = квадрат + число,
куб = сторона + число,
куб = число,
куб + квадрат = сторона + число,
куб + квадрат = число,
куб + сторона = квадрат + число,
куб + сторона = число,
куб + число = квадрат + сторона,
куб + число = квадрат,
куб + число = сторона,
куб + квадрат + сторона = число,
куб + квадрат + число = сторона,
куб + сторона + число = квадрат.
Каждое из указанных слагаемых должно иметь положительный численный коэффициент.
Вы, возможно, недоумеваете, почему в списке нет случаев типа
…
куб + квадрат = сторона.
Причина в том, что в этих случаях можно разделить обе части уравнения на неизвестное, в результате чего уравнение сведется к квадратному.
Омар изобрел свои решения не полностью самостоятельно, а основываясь на предшествующих греческих методах решения различных типов кубических уравнений с использованием конических сечений. Он систематически развил эти идеи и решил такими методами все четырнадцать типов кубических уравнений. Предшествующие математики, как он заметил, нашли решения в ряде случаев, но все их методы были очень специальными и каждый случай требовал отдельного построения; до Омара никто не изучал весь охват возможных случаев, не говоря уж о том, чтобы дать их решения. «Я же, напротив, никогда не ослабевал в своем желании сделать известными, притом со всей точностью, все возможные случаи и в каждом из них провести различие между возможным и невозможным». Под «невозможным» он понимал отсутствие положительного решения. Чтобы получить представление о его работе, приведем его решение случая «куб, некоторые стороны и некоторые числа равны некоторым квадратам», что мы бы записали как
…
x + bx + c = ax.
(Поскольку нас не заботит положительность или отрицательность, мы бы, скорее всего, перенесли член из правой части в левую с изменением знака; получив таким образом уравнение x ? ax + bx + c = 0.)
Омар снабжает своих читателей инструкциями, состоящими в следующей последовательности шагов. (1) Проводим три отрезка с длинами c/b, vb и a так, чтобы образовался прямой угол. (2) Проводим полуокружность, диаметр которой — горизонтальный отрезок. Продолжаем вертикальные прямые до пересечения с ней. Если жирный вертикальный отрезок имеет длину d, добиваемся, чтобы отрезок жирной горизонтальной прямой имел длину cd/vb. (3) Проводим гиперболу (сплошная линия), асимптоты которой (те специальные прямые, к которым приближается гипербола) — серые прямые, проходящие через только что построенную точку. (4) Находим, где гипербола пересекает полуокружность. Тогда длины двух жирных отрезков, обозначенные как x, дают два (положительных) решения кубического уравнения.
…
Данное Омаром Хайямом решение кубического уравнения.
Подробности, как всегда, не так важны, как общий стиль. Выполняем ряд эвклидовых построений циркулем и линейкой, потом прибегаем к помощи гиперболы, потом еще немного эвклидовых построений — и готово.
Омар дает аналогичные конструкции для решения каждого из своих четырнадцати случаев и доказывает, что решения верны. В его анализе есть несколько дыр: при некоторых значениях коэффициентов a, b и c требуемые в его построении точки не существуют. В приведенном выше построении, например, гипербола может вообще не пересекать полуокружность. Но если отбросить эти придирки, он выполнил впечатляющую и очень систематическую работу.
Некоторые из образов в поэзии Омара являются математическими и, как представляется, содержат аллюзии на его собственные работы, в тоне возражений самому себе, который проходит через все его творчество:
Умом ощупал я все мирозданья звенья,
Постиг высокие людской души паренья,
И, несмотря на то, уверенно скажу:
Нет состояния блаженней опьяненья.
Одно особенно впечатляющее четверостишие звучит так:
Кто мы? Куклы на нитках, а кукольщик наш — небосвод.
Он в большом балагане своем представленье ведет.
Он сейчас на ковре бытия нас попрыгать заставит,
А потом в свой сундук одного за другим уберет.
Это напоминает знаменитую платоновскую аллегорию теней на стене пещеры и подходит равным образом для описания и символьных вычислений в алгебре, и человеческой натуры. Омар был талантливым летописцем и того и другого.
Глава 4
Ученый игрок
«Клянусь святым Евангелием Господа нашего и как истинный человек чести не только никогда не публиковать ваши открытия, если вы мне доверите их, но да будет моя вера истинного христианина вам порукой, что я зашифрую их так, чтобы после моей смерти никто не смог их понять». Этот торжественный обет был, как говорят, дан в 1539 году.