Al-Karaji

Work

Al-Karaji wrote on mathematics and engineering. Some consider him to be merely reworking the ideas of others (he was influenced by Diophantus) but most regard him as more original, in particular for the beginnings of freeing algebra from geometry. Among historians, his most widely studied work is his algebra book al-fakhri fi al-jabr wa al-muqabala, which survives from the medieval era in at least four copies.

He expounded the basic principles of hydrology and this book reveals his profound knowledge of this science and has been described as the oldest extant text in this field.

He systematically studied the algebra of exponents, and was the first to define the rules for monomials like x, x², x³ and their reciprocals in the cases of multiplication and division. However, since for example the product of a square and a cube would be expressed, in words rather than in numbers, as a square-cube, the numerical property of adding exponents was not clear.

His work on algebra and polynomials gave the rules for arithmetic operations for adding, subtracting and multiplying polynomials; though he was restricted to dividing polynomials by monomials.

F. Woepcke was the first historian to realise the importance of al-Karaji's work.

Al-Karaji gave an early formulation of the binomial coefficients and the explicit description of Pascal's triangle. He is also presumed to have discovered the binomial theorem.

In a now lost work known only from subsequent quotation by al-Samaw'al, Al-Karaji introduced the idea of argument by mathematical induction. As Katz says

Another important idea introduced by al-Karaji and continued by al-Samaw'al and others was that of an inductive argument for dealing with certain arithmetic sequences. Thus al-Karaji used such an argument to prove the result on the sums of integral cubes already known to Aryabhata [...] Al-Karaji did not, however, state a general result for arbitrary n. He stated his theorem for the particular integer 10 [...] His proof, nevertheless, was clearly designed to be extendable to any other integer. [...] Al-Karaji's argument includes in essence the two basic components of a modern argument by induction, namely the truth of the statement for n = 1 (1 = 1³) and the deriving of the truth for n = k from that of n = k - 1. Of course, this second component is not explicit since, in some sense, al-Karaji's argument is in reverse; this is, he starts from n = 10 and goes down to 1 rather than proceeding upward. Nevertheless, his argument in al-Fakhri is the earliest extant proof of the sum formula for integral cubes.