The Compendious Book on Calculation by Completion and Balancing
The Compendious Book on Calculation by Completion and Balancing (الكتاب المختصر في حساب الجبر والمقابلة, al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wal-Muqābalah; Liber Algebræ et Almucabola), also known as al-Jabr (Arabic: الجبر), is an Arabic mathematical treatise on algebra written in Baghdad around 820 CE by the Persian polymath Muḥammad ibn Mūsā al-Khwārizmī. It was a landmark work in the history of mathematics, establishing algebra as an independent discipline. Al-Jabr provided an exhaustive account of solving for the positive roots of polynomial equations up to the second degree. It was the first text to teach elementary algebra, and the first to teach algebra for its own sake. It also introduced the fundamental concept of "reduction" and "balancing" (which the term al-jabr originally referred to), the transposition of subtracted terms to the other side of an equation, i.e. the cancellation of like terms on opposite sides of the equation. Mathematics historian Victor J. Katz regards Al-Jabr as the first true algebra text that is still extant. Translated into Latin by Robert of Chester in 1145, it was used until the sixteenth century as the principal mathematical textbook of European universities. Several authors have also published texts under this name, including Abū Ḥanīfa al-Dīnawarī, Abū Kāmil Shujā ibn Aslam, Abū Muḥammad al-ʿAdlī, Abū Yūsuf al-Miṣṣīṣī, 'Abd al-Hamīd ibn Turk, Sind ibn ʿAlī, Sahl ibn Bišr, and Šarafaddīn al-Ṭūsī. R. Rashed and Angela Armstrong write: Al-Khwarizmi's text can be seen to be distinct not only from the Babylonian tablets, but also from the Diophantus' Arithmetica. It no longer concerns a series of problems to be resolved, but an exposition which starts with primitive terms in which the combinations must give all possible prototypes for equations, which henceforward explicitly constitute the true object of study. On the other hand, the idea of an equation for its own sake appears from the beginning and, one could say, in a generic manner, insofar as it does not simply emerge in the course of solving a problem, but is specifically called on to define an infinite class of problems.