Арабский ученый Мухаммед ибн Муса ал-Хорезми (780–850) написал несколько сочинений по математике, которые в XII в. были переведены на латынь и на протяжении четырех столетий служили в Европе важнейшими учебными пособиями. Одно из них — «Арифметика» — донесло до европейцев десятичную систему счисления и правила (алгоритмы — от имени ал-Хорезми) выполнения четырех действий арифметики над числами, записанными по этой системе. Другое сочинение называлось «Книга об ал-джебр и ал-мукабала». Оно имело целью обучить искусству решения уравнений, которое необходимо, по словам автора, «в случаях наследования, раздела имущества, торговли и во всех деловых взаимоотношениях, а также при измерении земель, проведении каналов, геометрических вычислений и в других случаях...» «Ал-джебр» и «ал-мукабала» – два приема, которые ал-Хорезми использует для решения уравнений. Эти приемы он придумал не сам, они описываются и используются уже в «Арифметике» позднегреческого математика Диофанта (III в.), прославившегося своими методами решения целочисленных (диофантовых) уравнений. В той же «Арифметике» Диофанта встречаются и зачатки буквенной символики. Поэтому если считать кого-то родоначальником арифметической алгебры, то, очевидно, это будет Диофант. Однако в Европе об алгебраических приемах узнали впервые от ал-Хорезми, а труды Диофанта стали известны гораздо позже. Никакой специальной алгебраической символики, даже в зачаточном состоянии, у ал-Хорезми нет. Уравнения фигурируют в виде записи на естественном языке. Но мы для краткости опишем эти приемы и приведем пример, пользуясь современной символикой.
Ал-джебр — это перенесение вычитаемых членов из одной части уравнения в другую; ал-мукабала — вычитание из обеих частей уравнения одинакового члена. Эти приемы ал-Хорезми рассматривает как различные, ибо понятие об отрицательном числе у него отсутствует.
Возьмем для примера уравнение
7x - 11 = 5x - 3.
Применяя прием ал-джебр два раза — для вычитаемого 11 и для вычитаемого 3, получаем
7x + 3 = 5x + 11.
Теперь применим два раза прием ал-мукабала — для члена 3 и для члена 5х. Получаем
2x = 8.
Отсюда х = 4.
Итак, хотя ал-Хорезми не использует специального алгебраического языка, его книга содержит первые наметки алгебраического подхода. Европейцы по достоинству оценили этот подход и дали ему дальнейшее развитие. Само слово «алгебра» происходит от названия первого из приемов ал-Хорезми.
В первой половине XVI в. благодаря усилиям итальянских математиков в алгебре происходят крупные сдвиги, сопровождаемые весьма драматическими событиями. Профессор Болонского университета Сципион Даль Ферро (1465–1526) находит общее решение уравнения третьей степени
х3 + рх = q
при положительных р и q, но держит его в секрете, ибо оно представляет большую ценность на соревнованиях по решению задач, которые тогда широко практиковались в Италии. Перед смертью он открывает секрет своему ученику Фиоре. В 1535 г. Фиоре вызывает на соревнование талантливейшего математика Никколо Тарталью (1499–1557), который, зная, что Фиоре обладает способом решения кубического уравнения, прилагает максимум усилий и сам находит решение! Тарталья побеждает на соревновании, но также держит свое открытие в секрете. Наконец, на сцене появляется Джероламо Кардано (1501–1576). Он тщетно пытается найти алгоритм решения кубического уравнения и в 1539 г. обращается к Тарталье с просьбой поведать ему тайну. Взяв с Кардано «священную клятву» молчания, Тарталья частично и в не слишком вразумительной форме приоткрывает для него завесу. Кардано не удовлетворяется и прилагает усилия, чтобы ознакомиться с рукописью покойного Даль Ферро. Это ему удается, и в 1545 г. он публикует книгу, в которой сообщает алгоритм, сводящий решение кубического уравнения к радикалам («формула Кардано»). В этой же книге содержится еще одно открытие, сделанное учеником Кардано Луиджи (Лудовико) Феррари (1522–1565), а именно решение в радикалах уравнения четвертой степени. Тарталья обвиняет Кардано в нарушении клятвы, завязывается острая и продолжительная полемика. При таких обстоятельствах заявляет о своих первых существенных достижениях математика Нового времени.