Китаб аль-джебр ва-ль-мукабала
«Краткая книга о восполнении и противопоставлении» (араб. كِتَابُ ٱلْمُخْتَصَرِ فِي حِسَابِ ٱلْجَبْرِ وَٱلْمُقَابَلَةِ) [kitaːbu‿l.muxtasˤari fiː ħisaːbi‿l.d͡ʒabri wa.l.muqaːbalati][1] — математический трактат Мухаммеда ибн Мусы аль-Хорезми (IX век), от названия которого произошёл термин алгебра. Также благодаря этой книге появился термин алгоритм.
Трактат аль-Хорезми — важная веха развития арифметики и классической алгебры, науки о решении уравнений. Он на столетия определил характер алгебры как практической науки без аксиоматической основы. В трактате аль-Хорезми систематизировал и изложил два известных ему выдающихся достижения индийских математиков — арифметику в позиционной десятичной системе счисления и решение квадратного уравнения[2]. Эти результаты были получены Брахмагуптой и его предшественниками не позднее VII века. Но поскольку Европа познакомилась с этими достижениями по латинскому переводу XII века книги аль-Хорезми, начало развития современной европейской математики оказалось связанным с его книгой и его именем.
В теоретической части своего трактата аль-Хорезми даёт классификацию уравнений 1-й и 2-й степени и выделяет шесть видов квадратного уравнения :
Такая сложная классификация объясняется требованием, чтобы в обеих частях уравнения стояли положительные коэффициенты, и при этом аль-Хорезми искал только положительные корни.
Охарактеризовав каждый вид уравнений и показав на примерах правила их решения, аль-Хорезми даёт геометрическое доказательство этих правил для трёх последних видов, когда решение не сводится к простому извлечению корня.
Для приведения квадратно канонических видов аль-Хорезми вводит два действия. Первое из них, аль-джабр, состоит в перенесении отрицательного члена из одной части в другую для получения в обеих частях положительных членов. Второе действие — аль-мукабала — состоит в приведении подобных членов в обеих частях уравнения. Кроме того, аль-Хорезми вводит правило умножения многочленов. Применение всех этих действий и введённых выше правил он показывает на примере 40 задач.