Quadratic, cubic and quartic equations
|Algebra index||History Topics Index|
In about 300 BC Euclid developed a geometrical approach which, although later mathematicians used it to solve quadratic equations, amounted to finding a length which in our notation was the root of a quadratic equation. Euclid had no notion of equation, coefficients etc. but worked with purely geometrical quantities.
Hindu mathematicians took the Babylonian methods further so that Brahmagupta (598-665 AD) gives an, almost modern, method which admits negative quantities. He also used abbreviations for the unknown, usually the initial letter of a colour was used, and sometimes several different unknowns occur in a single problem.
The Arabs did not know about the advances of the Hindus so they had neither negative quantities nor abbreviations for their unknowns. However al-Khwarizmi (c 800) gave a classification of different types of quadratics (although only numerical examples of each). The different types arise since al-Khwarizmi had no zero or negatives. He has six chapters each devoted to a different type of equation, the equations being made up of three types of quantities namely: roots, squares of roots and numbers i.e. x, x2 and numbers.
- Squares equal to roots.
- Squares equal to numbers.
- Roots equal to numbers.
- Squares and roots equal to numbers, e.g. x2 + 10x = 39.
- Squares and numbers equal to roots, e.g. x2 + 21 = 10x.
- Roots and numbers equal to squares, e.g. 3x + 4 = x2.
Al-Khwarizmi gives the rule for solving each type of equation, essentially the familiar quadratic formula given for a numerical example in each case, and then a proof for each example which is a geometrical completing the square.
Abraham bar Hiyya Ha-Nasi, often known by the Latin name Savasorda, is famed for his book Liber embadorum
A new phase of mathematics began in Italy around 1500. In 1494 the first edition of Summa de arithmetica, geometrica, proportioni et proportionalita
hoc est 78.
(18 - √90) =
(108-√3240 + √3240 - √900)
which is 78.
Pacioli does not discuss cubic equations but does discuss quartics. He says that, in our notation, x4 = a + bx2 can be solved by quadratic methods but x4 + ax2 = b and x4 + a = bx2 are impossible at the present state of science.
Scipione dal Ferro (1465-1526) held the Chair of Arithmetic and Geometry at the University of Bologna and certainly must have met Pacioli who lectured at Bologna in 1501-2. Dal Ferro is credited with solving cubic equations algebraically but the picture is somewhat more complicated. The problem was to find the roots by adding, subtracting, multiplying, dividing and taking roots of expressions in the coefficients. We believe that dal Ferro could only solve cubic equation of the form x3 + mx = n. In fact this is all that is required.
x3 + mx = n where m = c - b2/3, n = d - bc/3 + 2b3/27.
Fior was a mediocre mathematician and far less good at keeping secrets than dal Ferro. Soon rumours started to circulate in Bologna that the cubic equation had been solved. Nicolo of Brescia, known as Tartaglia meaning 'the stammerer', prompted by the rumours managed to solve equations of the form x3 + mx2 = n and made no secret of his discovery.
Fior challenged Tartaglia to a public contest: the rules being that each gave the other 30 problems with 40 or 50 days in which to solve them, the winner being the one to solve most but a small prize was also offered for each problem. Tartaglia solved all Fior's problems in the space of 2 hours, for all the problems Fior had set were of the form x3 + mx = n as he believed Tartaglia would be unable to solve this type. However only 8 days before the problems were to be collected, Tartaglia had found the general method for all types of cubics.
News of Tartaglia's victory reached Girolamo Cardan in Milan where he was preparing to publish Practica Arithmeticae
Notice that (a - b)3 + 3ab(a - b) = a3 - b3
so if a and b satisfy 3ab = m and a3 - b3 = n then a - b is a solution of x3 + mx = n.
But now b = m/3a so a3 - m3/27a3 = n,
i.e. a6 - na3 - m3/27 = 0.
This is a quadratic equation in a3, so solve for a3 using the usual formula for a quadratic.
Now a is found by taking cube roots and b can be found in a similar way (or using b=m/3a).
Then x = a - b is the solution to the cubic.
After Tartaglia had shown Cardan how to solve cubics, Cardan encouraged his own student, Lodovico Ferrari, to examine quartic equations. Ferrari managed to solve the quartic with perhaps the most elegant of all the methods that were found to solve this type of problem. Cardan published all 20 cases of quartic equations in Ars Magna. Here, again in modern notation, is Ferrari's solution of the case: x4 + px2 + qx + r = 0. First complete the square to obtain
(x2 + p)2 = px2 - qx - r + p2
= (p + 2y)x2 - qx + (p2 - r + 2py + y2) (*)
Now we know how to solve cubics, so solve for y. With this value of y the right hand side of (*) is a perfect square so, taking the square root of both sides, we obtain a quadratic in x. Solve this quadratic and we have the required solution to the quartic equation.
The irreducible case of the cubic, namely the case where Cardan's formula leads to the square root of negative numbers, was studied in detail by Rafael Bombelli in 1572 in his work Algebra.
In the years after Cardan's Ars Magna many mathematicians contributed to the solution of cubic and quartic equations. Viète, Harriot, Tschirnhaus, Euler, Bezout and Descartes all devised methods. Tschirnhaus's methods were extended by the Swedish mathematician E S Bring near the end of the 18th Century.
Thomas Harriot made several contributions. One of the most elementary to us, yet showing a marked improvement in understanding, was the observation that if x = b, x = c, x = d are solutions of a cubic then the cubic is
Leibniz wrote a letter to Huygens in March 1673. In it he made many contributions to the understanding of cubic equations. Perhaps the most striking is a direct verification of the Cardan-Tartaglia formula. This Leibniz did by reconstructing the cubic from its three roots (as given by the formula) as Harriot claimed in general. Nobody before Leibniz seems to have thought of this direct method of verification. It was the first true algebraic proof of the formula, all previous proofs being geometrical in nature.
List of References (12 books/articles)
Other Web sites
- University of Virginia USA
|History Topics Index||Algebra index|
|Main index||Biographies Index|
|JOC/EFR © February 1996|
|School of Mathematics and Statistics
University of St Andrews, Scotland