x2 + x = 12, аль-Хорезми рисует квадрат, который должен представлять x2 (левый рисунок). Чтобы прибавить к этому корень x, он пририсовывает к квадрату четыре прямоугольника, каждый со сторонами x и (средний рисунок). Получившаяся фигура наводит на мысль «завершить квадрат», присоединив сюда же четыре «уголка» – маленькие квадратики со стороной и площадью Так что он добавляет к левой части уравнения (правый рисунок). По правилу аль-джебр он должен также прибавить и к правой части уравнения то, в результате чего справа становится Теперь
Извлечем квадратный корень из обеих частей уравнения и получим
так что x = 3. Сегодня мы взяли бы еще отрицательный квадратный корень, и получили второе решение, x = –4. Отрицательные числа уже начинали появляться в трудах ученых периода аль-Хорезми, но сам он их не упоминает.
Такой подход был бы понятен и вавилонянам, и грекам, поскольку они и сами в свое время занимались примерно тем же. На самом деле существуют сомнения относительно того, был ли аль-Хорезми знаком с «Началами» Евклида. По идее, должен был быть знаком, поскольку аль-Хаджжадж – другой ученый из «Дома мудрости» – перевел Евклида на арабский, когда аль-Хорезми был молодым человеком. Но с другой стороны, основной задачей «Дома мудрости» был именно перевод, и его работники не были обязаны читать труды, переведенные их коллегами. Некоторые историки утверждают, что геометрия аль-Хорезми по стилю не соответствует Евклидовой, и это свидетельствует о том, что ученый не был знаком с оригиналом. Но, я повторяю, «Алгебра» – популярная книга о математике, так что она и не должна была бы следовать аксиоматическому стилю Евклида, даже если бы сам аль-Хорезми знал Евклида назубок. Во всяком случае идея достраивания квадрата восходит еще к вавилонянам и позаимствовать ее можно было из множества разных источников.
Почему же тогда многие историки считают именно аль-Хорезми отцом алгебры? Особенно с учетом того, что он не использует никаких символов? И у него имеется сильный конкурент, грек Диофант. В его «Арифметике» – серии книг о решении уравнений в натуральных или рациональных числах, написанной около 250 г., – символы используются. Один из ответов состоит в том, что главной областью интересов Диофанта была теория чисел да и символы его были, по существу, простыми сокращениями. Однако более глубокий ответ, который мне кажется и более убедительным, заключается в том, что аль-Хорезми часто, хотя и не всегда, приводит универсальные методы решения, тогда как его предшественники, как правило, брали пример с конкретными числами и решали его. Читателю оставалось самому выводить общее правило. Так что результат приведенного выше геометрического решения мог бы выглядеть примерно так: «Возьмите 1, поделите на 2, получится возведите ее в квадрат, получится затем добавьте по к каждой стороне», – и читатель должен будет сам догадаться, что общее правило состоит в том, чтобы заменить первоначальную 1 половинкой коэффициента при x, возвести результат в квадрат, прибавить результат к обеим сторонам уравнения и т. д. Конечно, при обучении преподаватель разъяснил бы решение на таком уровне обобщения и закрепил результат, заставив ученика прорешать множество других примеров.
Иногда аль-Хорезми, кажется, делает ровно то же самое, но, как правило, он подробнее описывает применяемые правила. Так что более глубокая причина того, что именно ему приписывают изобретение алгебры, состоит в том, что он сосредоточился на общих правилах манипулирования алгебраическими выражениями, нежели на конкретных числах, которые они представляют. К примеру, он дает правила раскрытия скобок при их перемножении
(a + bx) (c + dx)
в терминах квадрата x2, корня x и чисел. Мы бы записали это правило символически как
ac + (ad + bc) x + (bd) x2,
и именно это он говорит, словесно, без использования конкретных чисел для a, b, c или d. Он рассказывает читателям, как нужно манипулировать общими выражениями в числах, корнях и квадратах. Эти выражения рассматриваются не как зашифрованные версии какого-то неизвестного числа, но как новый тип математического объекта, выражения с которым можно просчитывать, даже если реальные числа вам неизвестны. Именно этот шаг к абстракции – если мы примем его как таковой – лежит в основе утверждения о том, что аль-Хорезми изобрел алгебру. В «Арифметике» ничего подобного нет.
Другие темы в его книге более прозаичны: там можно найти правила вычисления площадей и объемов таких фигур, как прямоугольник, круг, цилиндр, конус и шар. Здесь аль-Хорезми следует тем же путем, каким двигались математики в индийских и еврейских текстах, и ничего похожего на Архимеда или Евклида вы там не найдете. Заканчивается книга более приземленными вещами: подробным разбором исламских правил наследования имущества, требующих разделения его в разных пропорциях; ничего более сложного с математической точки зрения, чем решение линейных уравнений и арифметика, в этом разделе не встречается.
Важнейшим трудом аль-Хорезми как на момент написания, так и на протяжении еще нескольких столетий была «Книга об индийском счете», давшая нам, как уже отмечалось, слово «алгоритм». Фраза Dixit Algorismi – «Так говорил аль-Хорезми» – была весьма убедительным аргументом в любом математическом диспуте. Учитель сказал: внимайте его словам.
Под индийским счетом подразумеваются, безусловно, ранние варианты десятичной системы записи чисел, в которой любое число может быть записано как последовательность десяти символов – 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Как видно из названия книги, аль-Хорезми признавал первенство индийских математиков в этом вопросе, но его влияние в средневековой Европе было настолько велико, что такую систему исчисления стали называть арабской (иногда ее называли еще индо-арабской системой, что тоже несправедливо по отношению к индусам). Основной вклад арабского мира в эту систему – изобретение собственных символов для обозначения цифр, похожих на индийские, но все же отличных от них, а также распространение этой системы записи и побуждение к ее использованию. Символы же для обозначения десяти цифр не раз менялись с течением времени, и разные регионы современного мира до сих пор пользуются разными их вариантами.
Сегодня алгоритм – это пошаговая процедура вычисления какой-то конкретной величины или получения какого-то конкретного результата с гарантией того, что по получении нужного результата процесс остановится. «Пробуй все числа в случайном порядке, пока какое-нибудь не подойдет» – не алгоритм: если в результате будет получен ответ, это верная процедура, но с тем же успехом процесс может продолжаться вечно и ни к чему не привести. Чтобы описать один из ранних примеров алгоритма, вспомним, что простое число не имеет других делителей, кроме его самого и единицы. Вот первые несколько простых чисел: 2, 3, 5, 7, 11, 13. Любое другое натуральное число больше 1 называется составным. К примеру, 6 – составное число, потому что 6 = 2 × 3. Число 1 считается особым и называется единицей в этом контексте. Решето Эратосфена, придуманное около 250 г. до н. э., представляет собой алгоритм нахождения всех простых чисел вплоть до какого-то конкретного предела. Начните с того, что выпишите все положительные целые числа вплоть до заданного предела. Удалите из списка все числа, кратные 2, кроме 2, затем все числа, кратные следующему оставшемуся числу 3, кроме самого числа 3, затем проделайте то же самое для следующего уцелевшего числа 5 и т. д. После числа шагов, не превышающего заданного предела, процесс завершается: в списке остается ровно то, что нужно: все простые числа до заданного предела.
Алгоритмы в современной жизни приобрели принципиальное значение, потому что компьютеры – это машины, исполняющие алгоритмы. Алгоритмы выкладывают в интернет смешные видео с котиками, рассчитывают ваш кредитный рейтинг, решают, какие книги можно попытаться продать вам, осуществляют миллиарды биржевых сделок с валютой и акциями каждую секунду и пытаются украсть у вас пароль от онлайн-банка. Как ни забавно, из всех работ аль-Хорезми подробнее всего об алгоритмах рассказывается не в трактате «Об индийском счете», хотя любой метод арифметического счета, естественно, представляет собой алгоритм. Больше всего алгоритмов в его алгебраической книге, которая вошла в историю тем, что в ней излагаются общие процедуры решения уравнений. Эти процедуры являются алгоритмами, и именно это делает их такими важными.
Аль-Хорезми писал не только о математике, но также о географии и астрономии. Его «Китаб сурад аль-ард» («Книга описания Земли») 833 г. дополняет предыдущий классический труд на эту тему – «Географию» Птолемея, написанную около 150 г. Это своего рода набор «сделай сам» для атласа известного на тот момент мира: контуры континентов на трех различных типах координатной решетки с указаниями, где на них следует поместить основные города и другие значительные детали. Кроме того, в книге обсуждаются базовые принципы составления карт. В труде аль-Хорезми список локаций расширен до 2402 объектов, а некоторые данные Птолемея были исправлены; в частности, аль-Хорезми снизил завышенную Птолемеем оценку длины Средиземного моря. Кроме того, если Птолемей показывал Атлантический и Индийский океаны как моря, окруженные со всех сторон сушей, то аль-Хорезми не стал их ограничивать.
Книга «Зидж аль-Синдхинд» («Астрономические таблицы Синдхинда»), датируемая примерно 820 г., содержит более сотни астрономических таблиц, взятых в основном из трудов индийских астрономов. Среди них имеются таблицы движения Солнца, Луны и пяти планет, а также таблицы тригонометрических функций. Считается, что аль-Хорезми писал также о сферической тригонометрии, очень важной для навигации. «Рисала фи истихрадж таких аль-яхуд» («Определение эры евреев и об их праздниках») рассказывает о еврейском календаре и анализирует Метонов цикл – 19-летний период, очень близкий к общему кратному солнечного года и лунного месяца. Вследствие этого солнечный и лунный календари, которые со временем постепенно расходятся, вновь почти выравниваются каждые 19 лет. Этот цикл назван в честь Метона Афинского, который описал его в 432 г. до н. э.