Багдаде.
Важнейшим трудом Хорезми, давшим мощный толчок к развитию математики, стала книга «Китаб аль-джебр валь-мукабала» («Книга о восстановлении и противопоставлении»). Часть ее названия «аль- джебр» впоследствии трансформировалась в столь знакомое нам со школьной скамьи слово «алгебра». Даже само имя аль-Хорезми, претерпев изменения при переводе на латынь, тоже в конце концов стало всем знакомым термином «алгоритм». «Книга о восстановлении и противопоставлении» получила свое название от основных действий, которые автор использовал при решении математических уравнений. Трактат этот был написан по заказу аль-Мамуна, а выбор автора свидетельствует о том, что уже к моменту начала работы над книгой Хорезми смело можно было назвать одним из самых выдающихся ученых своего времени. Не удивительно, что книга имеет посвящение аль-Мамуну.
«Книга о восстановлении и противопоставлении» в основном посвящена решению уравнений первой и второй степени и применению математических законов на практике. Вот, к примеру, цитата, хорошо демонстрирующая практическую направленность книги: «Наиболее легкие и полезные навыки арифметики, например, то, что постоянно требуется человеку в делах наследования, получения наследства, раздела имущества, судебных разбирательствах, торговых отношениях или при измерении земельных участков, рытье каналов, геометрических вычислениях, а также в других случаях». Не удивительно, что неизвестное в уравнении автор называет «вещью», а его квадрат – «имуществом».
Вначале своей книги Хорезми дает определение натуральным числам и рассматривает десятичную систему исчисления: «Когда я поразмыслил над тем, что люди в основном пытаются найти в результате вычислений, я понял, что это всегда некое число. Также я отметил, что каждое число состоит из разрядов и может быть разделено на разряды. Более того, я обнаружил, что каждое число от 1 до 9 может быть выражено одной цифрой. Далее десятки удваиваются и утраиваются, также, как ранее единицы. Так появляются «двадцать», «тридцать» и так далее до ста. Затем, подобно единицам и десяткам, удваиваются и утраиваются сотни до тысячи;… и так далее до последнего предела исчисления».
Конечно, современному человеку, с раннего детства знакомому с десятичной системой, подобные объяснения могут показаться наивными, но во времена Хорезми далеко не для всех эта система была так очевидна. Кроме того, в данном случае ценность представляет не само объяснение, а обобщение, которое делает автор.
Далее Хорезми пишет о методах решения различных уравнений. Он приводит все уравнения к одной из шести стандартных форм:
– квадраты равны корням:
– квадраты равны числам:
– корни равны числам:
– квадраты и корни равны числам:
– квадраты и числа равны корням:
– корни и числа равны квадратам:
Приведение уравнений автор предлагает осуществлять методами «аль-джебр» и «валь-мукабала» (восстановления и противопоставления). Под восстановлением он понимает перенесение вычитаемых членов из одной части уравнения в другую, под противопоставлением – сокращение в обеих частях уравнения равных членов.
Например, рассмотрим уравнение:
После операции восстановления, уравнение примет вид:
Теперь, применив противопоставление, получаем:
Для уравнений вида
при этом он указывает, что решение невозможно, если
Конечно же, в наше время такие преобразования откровением не являются. Кроме того, на первый взгляд, человеку, хоть чуть-чуть знакомому с математикой, процедура восстановления вообще в ряде случаев покажется бессмысленной. Но тут нужно учитывать несколько обстоятельств. Нельзя забывать о том, что все свои вычисления Хорезми проводил в словесной форме, без использования математических знаков. Естественно, что это серьезно усложняло сам процесс вычислений и математических преобразований. Что же касается приема «восстановление», то его введение, скорее всего, продиктовано двумя факторами. Математики времен Хорезми не признавали существование отрицательных величин. «Восстановление» позволяло привести уравнение к такому виду, чтобы обе его части были положительными. Кроме того, с помощью этого приема уравнения можно было привести к одному из шести канонических видов, алгоритм решения которых заранее известен. Таким образом, можно сказать, что, предложив свои алгебраические методы решения уравнений, Хорезми смог свести большинство задач к некоей стандартной форме, абстрагируясь от конкретных условий.
Затем математик знакомит читателя с алгоритмами решения уравнений, приведенных к стандартному виду. Решать подобные задачи умели еще древнегреческие ученые. Но они делали это исключительно с помощью геометрических методов. Одна из основных заслуг Хорезми состоит в том, что он в своей работе впервые стал пользоваться исключительно алгебраическими методами, приводя геометрические решения уравнений только для доказательства правильности своих вычислений.
Далее Хорезми рассматривает возможность применения арифметических действий к алгебраическим выражениям. Например, он демонстрирует, каким образом следует умножать выражение типа: (
Следующая часть «Книги о восстановлении и противопоставлении» содержит примеры использования методов, изложенных выше, для вычисления площадей и объемов геометрических фигур и тел.
Заключительный раздел книги еще раз подчеркивает ее практическую направленность. В нем рассматриваются сложные исламские законы наследования имущества. Правда, с точки же зрения математики этот раздел особого интереса не представляет, так как используемые в нем расчеты редко выходят за рамки линейных уравнений.
К числу достоинств «Книги о восстановлении и противопоставлении» следует отнести и более точное, чем у предшествующих авторов, определение числа я. Так Архимед для определения значения этой константы пользовался отношением: 22/7 (3,1429). Индусы использовали еще более грубое приближение: v10 (3,1623). Хорезми использует гораздо более точное значение числа
Помимо «Китаб аль-джебр валь-мукабала» до наших дней дошли сведения еще о нескольких трудах Хорезми. Так, он написал трактат об индо-арабских цифрах. В этой работе Хорезми описывает индусскую систему исчисления, основанную на использовании цифр 1, 2, 3, 4, 5, 6, 7, 8, 9 и 0. Вероятно, именно Хорезми впервые использовал ноль в качестве обозначающего разряд символа. Оригинальный текст этой книги был утерян, и она дошла до нас в латинском переводе «Algoritmi de numero Indorum». Именно благодаря этому переводу имя Хорезми и превратилось, как мы уже упоминали, в термин «алгоритм».