Истина и красота: Всемирная история симметрии - [20]

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

Это правило привело к возникновению огромного числа различных случаев, которые в наши дни все рассматриваются как по сути дела единственный случай, если не считать знаков при числах. Омар различает четырнадцать различных типов кубических уравнений в зависимости от того, какие слагаемые появляются в каждой части уравнения. Его классификация кубических уравнений такова:

куб = квадрат + сторона + число,

куб = квадрат + число,

куб = сторона + число,

куб = число,

куб + квадрат = сторона + число,

куб + квадрат = число,

куб + сторона = квадрат + число,

куб + сторона = число,

куб + число = квадрат + сторона,

куб + число = квадрат,

куб + число = сторона,

куб + квадрат + сторона = число,

куб + квадрат + число = сторона,

куб + сторона + число = квадрат.

Каждое из указанных слагаемых должно иметь положительный численный коэффициент.

Вы, возможно, недоумеваете, почему в списке нет случаев типа

куб + квадрат = сторона.

Причина в том, что в этих случаях можно разделить обе части уравнения на неизвестное, в результате чего уравнение сведется к квадратному.

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

x³ + bx + c = ax².

(Поскольку нас не заботит положительность или отрицательность, мы бы, скорее всего, перенесли член из правой части в левую с изменением знака; получив таким образом уравнение x³ − ax² + bx + c = 0.)

Омар снабжает своих читателей инструкциями, состоящими в следующей последовательности шагов. (1) Проводим три отрезка с длинами c/b, √b и a так, чтобы образовался прямой угол. (2) Проводим полуокружность, диаметр которой — горизонтальный отрезок. Продолжаем вертикальные прямые до пересечения с ней. Если жирный вертикальный отрезок имеет длину d, добиваемся, чтобы отрезок жирной горизонтальной прямой имел длину cd/√b. (3) Проводим гиперболу (сплошная линия), асимптоты которой (те специальные прямые, к которым приближается гипербола) — серые прямые, проходящие через только что построенную точку. (4) Находим, где гипербола пересекает полуокружность. Тогда длины двух жирных отрезков, обозначенные как x, дают два (положительных) решения кубического уравнения.

Данное Омаром Хайямом решение кубического уравнения.

Подробности, как всегда, не так важны, как общий стиль. Выполняем ряд эвклидовых построений циркулем и линейкой, потом прибегаем к помощи гиперболы, потом еще немного эвклидовых построений — и готово.

Омар дает аналогичные конструкции для решения каждого из своих четырнадцати случаев и доказывает, что решения верны. В его анализе есть несколько дыр: при некоторых значениях коэффициентов a, b и c требуемые в его построении точки не существуют. В приведенном выше построении, например, гипербола может вообще не пересекать полуокружность. Но если отбросить эти придирки, он выполнил впечатляющую и очень систематическую работу.

Некоторые из образов в поэзии Омара являются математическими и, как представляется, содержат аллюзии на его собственные работы, в тоне возражений самому себе, который проходит через все его творчество:

Умом ощупал я все мирозданья звенья,

Постиг высокие людской души паренья,

И, несмотря на то, уверенно скажу:

Нет состояния блаженней опьяненья.

Одно особенно впечатляющее четверостишие звучит так:

Кто мы? Куклы на нитках, а кукольщик наш — небосвод.

Он в большом балагане своем представленье ведет.

Он сейчас на ковре бытия нас попрыгать заставит,

А потом в свой сундук одного за другим уберет.

Это напоминает знаменитую платоновскую аллегорию теней на стене пещеры и подходит равным образом для описания и символьных вычислений в алгебре, и человеческой натуры. Омар был талантливым летописцем и того и другого.

Глава 4 Ученый игрок

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