Иэн Стюарт - Истина и красота. Всемирная история симметрии.
Хасан позднее попытался подсидеть вышестоящего чиновника и лишился своей синекуры, а Омар тихо и спокойно жил как прежде и даже получил назначение в комиссию по реформированию календаря. Персидский календарь основывался на движении Солнца, и наступление первого дня нового года нередко переносилось, что создавало большие неудобства. Работа очень подходила квалифицированному математику, и Омар применил свои математические и астрономические знания для вычисления наступления нового года в любой наперед заданный год.
Примерно в то же время он написал «Рубайят», или «Рубай», что довольно приблизительно переводится как «четверостишия». Это форма лирической поэзии. Рубай состоят из четырех строк, рифмующихся определенным образом — точнее говоря, одним из двух возможных способов[11]. «Рубай» Омара Хайяма были собранием таких стихов. Один из них ясно указывает на его деятельность по реформированию календаря:
Дни — волны рек в минутном серебре,
Песка пустыни в тающей игре.
Живи Сегодня. А Вчера и Завтра
Не так нужны в земном календаре.
Рубай Омара носили отчетливо нерелигиозный характер. Многие из них восхваляют вино и его действие на человека. Имеются и дерзкие и лукавые посвящения вину:
Дал Нишапур нам жизнь иль Вавилон,
Льет кубок сладость или горек он? —
По капле пей немую влагу Жизни!
И жизнь по капле высохнет, как сон.
Некоторые другие стихи высмеивают религиозные верования. Интересно, что думал султан о человеке, которому он выплачивал неплохое жалованье, и какие мысли приходили в голову имаму по поводу плодов приобретенного у него образования?..
Тем временем впавший в немилость Хасан, которому пришлось уехать из Нишапура, связался с шайкой бандитов и, пользуясь преимуществом своего образования, сделался их главарем. В 1090 году эти бандиты под предводительством Хасана захватили замок Аламут в горах Эльбурз, что прямо к югу от Каспийского моря. Они терроризировали всю область, и Хасан приобрел недобрую славу как Старец Горы. Его приспешники, известные как ассасины, или гашишины (из-за их пристрастия к гашишу — сильному наркотику, получаемому из конопли), построили шесть горных укреплений, из которых они совершали вылазки с целью убийства видных религиозных и политических деятелей. От этого их прозвища и происходит слово «assassin», то есть убийца. Таким образом, Хасан и сам смог стать богатым и знаменитым, как и подобало ученику Моваффака, хотя на тот момент он не был расположен делиться достигнутым со старыми друзьями.
Пока Омар занимался вычислением астрономических таблиц и методами решения кубических уравнений, Низам продолжал свою политическую карьеру, пока, по злой иронии изощренной судьбы, его не убили бандиты Хасана. Омар дожил до 76 лет и умер, как передают, в 1123 году. Хасан умер на следующий год в возрасте 84 лет. Ассасины продолжали сеять политическое опустошение, пока их не сокрушили монголы, в 1256 году захватившие Аламут.
Вернемся к математике Омара. Около 350 года до Р.Х. греческий математик Менехм открыл специальные кривые, известные как конические сечения, которые, как полагают исследователи, он использовал для решения задачи об удвоении куба. Архимед развил теорию этих кривых, а Аполлоний Пергский систематизировал и обобщил эту тему в своей книге «Конические сечения». Что особенно интересовало Омара Хайяма — это открытие греками того факта, что конические сечения можно применить к решению определенных кубических уравнений.
Конические сечения называются так потому, что их можно получить, пересекая конус плоскостью. Точнее говоря — двойной конус, похожий на два рожка мороженого, соединенных своими острыми концами. Одинарный конус образован набором отрезков прямых линий, которые все пересекаются в одной точке и проходят через определенную окружность — «основание» конуса. Но в греческой геометрии прямолинейный отрезок всегда можно продолжить неограниченно далеко, и в результате получается двойной конус.
Три основных типа конических сечений — это эллипс, парабола и гипербола. Эллипс представляет собой замкнутую овальную кривую, которая возникает, когда секущая плоскость проходит только через одну половину двойного конуса. (Окружность является частным случаем эллипса и получается, когда секущая плоскость в точности перпендикулярна оси конуса.) Гипербола состоит из двух симметрично расположенных незамкнутых кривых, которые в принципе уходят на бесконечность; она возникает, когда секущая плоскость проходит через обе половины двойного конуса. Парабола является переходной формой — это одна незамкнутая кривая, получающаяся, когда секущая плоскость параллельна какой-либо из прямых, лежащих на поверхности конуса.
На большом расстоянии от вершины конуса кривые, составляющие гиперболу, проходят все ближе и ближе к двум прямым линиям, которые параллельны тем прямым, где конус пересекла бы параллельная плоскость, проходящая через вершину. Эти прямые называются асимптотами.
Конические сечения.
Греческие геометры широко изучали конические сечения, и в этом и состоит их основной вклад в прогресс за рамками тех идей, что были зафиксированы Эвклидом. Эти кривые жизненно важны и в современной математике, но по причинам, сильно отличным от тех, что двигали греками. С алгебраической точки зрения они представляют собой следующие по степени простоты кривые после прямых линий. Они важны и в прикладной науке. Орбиты планет в Солнечной системе являются эллипсами, как это заключил Кеплер на основе наблюдений Тихо Браге за Марсом. Эллиптичность орбит послужила одним из соображений, которые привели Ньютона к формулировке его знаменитого «закона обратных квадратов» для гравитации. Это в свою очередь позволило понять, что целый ряд аспектов нашей вселенной ясно проявляет математические закономерности. Это радикально отразилось на астрономии, поскольку движения планет стали поддаваться вычислениям.
Большинство сохранившихся математических работ Омара посвящены теории уравнений. Он рассматривал решения двух типов. Первые, в духе Диофанта, он называл алгебраическими решениями в целых числах; пожалуй, больше подошло бы прилагательное «арифметические». Решения второго вида он называл геометрическими, под чем он понимал, что решение можно построить геометрическими средствами в терминах конкретных длин, площадей или объемов.
Свободно пользуясь коническими сечениями, Омар разработал геометрические решения для всех кубических уравнений и разъяснил их в своей книге «Алгебра», законченной в 1079 году. Поскольку отрицательные числа в то время еще не получили права на существование, уравнения приходилось каждый раз устраивать таким образом, чтобы все слагаемые оказывались положительными.
Это правило привело к возникновению огромного числа различных случаев, которые в наши дни все рассматриваются как по сути дела единственный случай, если не считать знаков при числах. Омар различает четырнадцать различных типов кубических уравнений в зависимости от того, какие слагаемые появляются в каждой части уравнения. Его классификация кубических уравнений такова:
куб = квадрат + сторона + число,
куб = квадрат + число,
куб = сторона + число,
куб = число,
куб + квадрат = сторона + число,
куб + квадрат = число,
куб + сторона = квадрат + число,
куб + сторона = число,
куб + число = квадрат + сторона,
куб + число = квадрат,
куб + число = сторона,
куб + квадрат + сторона = число,
куб + квадрат + число = сторона,
куб + сторона + число = квадрат.
Каждое из указанных слагаемых должно иметь положительный численный коэффициент.
Вы, возможно, недоумеваете, почему в списке нет случаев типа
куб + квадрат = сторона.
Причина в том, что в этих случаях можно разделить обе части уравнения на неизвестное, в результате чего уравнение сведется к квадратному.
Омар изобрел свои решения не полностью самостоятельно, а основываясь на предшествующих греческих методах решения различных типов кубических уравнений с использованием конических сечений. Он систематически развил эти идеи и решил такими методами все четырнадцать типов кубических уравнений. Предшествующие математики, как он заметил, нашли решения в ряде случаев, но все их методы были очень специальными и каждый случай требовал отдельного построения; до Омара никто не изучал весь охват возможных случаев, не говоря уж о том, чтобы дать их решения. «Я же, напротив, никогда не ослабевал в своем желании сделать известными, притом со всей точностью, все возможные случаи и в каждом из них провести различие между возможным и невозможным». Под «невозможным» он понимал отсутствие положительного решения. Чтобы получить представление о его работе, приведем его решение случая «куб, некоторые стороны и некоторые числа равны некоторым квадратам», что мы бы записали как
