Quadratic, cubic and quartic equations

It is often claimed that the Babylonians (about 400 BC) were the first to solve quadratic equations. This is an over simplification, for the Babylonians had no notion of 'equation'. What they did develop was an algorithmic approach to solving problems which, in our terminology, would give rise to a quadratic equation. The method is essentially one of completing the square. However all Babylonian problems had answers which were positive (more accurately unsigned) quantities since the usual answer was a length.

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,x2x, x^{2} and numbers.
  1. Squares equal to roots.
  2. Squares equal to numbers.
  3. Roots equal to numbers.
  4. Squares and roots equal to numbers, e.g. x2+10x=39x^{2} + 10x = 39.
  5. Squares and numbers equal to roots, e.g. x2+21=10xx^{2} + 21 = 10x.
  6. Roots and numbers equal to squares, e.g. 3x+4=x23x + 4 = x^{2}.
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 published in 1145 which is the first book published in Europe to give the complete solution of the quadratic equation.

A new phase of mathematics began in Italy around 1500. In 1494 the first edition of Summa de arithmetica, geometrica, proportioni et proportionalita , now known as the Suma, appeared. It was written by Luca Pacioli although it is quite hard to find the author's name on the book, Fra Luca appearing in small print but not on the title page. In many ways the book is more a summary of knowledge at the time and makes no major advances. The notation and setting out of calculations is almost modern in style:

hoc est 78.
In our notation
(6 + √10)
(18 - √90) =
(108-√3240 + √3240 - √900)
which is 78.
The last term in the answer 90 is an early misprint and should be 900 but the margin was too narrow so the printer missed out the final 0!

Pacioli does not discuss cubic equations but does discuss quartics. He says that, in our notation, x4=a+bx2x^{4} = a + bx^{2} can be solved by quadratic methods but x4+ax2=bx^{4} + ax^{2} = b and x4+a=bx2x^{4} + a = bx^{2} 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=nx^{3} + mx = n. In fact this is all that is required.
For, given the general cubic y3by2+cyd=0y^{3} - by^{2} + cy - d = 0, put y=x+13by = x + \large\frac{1}{3}\normalsize b to get

x3+mx=nx^{3} + mx = n where m=c13b2,n=d16bc+227b3m = c - \large\frac{1}{3}\normalsize b^{2}, n = d - \large\frac{1}{6}\normalsize bc + \large\frac{2}{27}\normalsize b^{3}.
However, without the Hindu's knowledge of negative numbers, dal Ferro would not have been able to use his solution of the one case to solve all cubic equations. Remarkably, dal Ferro solved this cubic equation around 1515 but kept his work a complete secret until just before his death, in 1526, when he revealed his method to his student Antonio Fior.

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=nx^{3} + mx^{2} = 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=nx^{3} + 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 (1539). Cardan invited Tartaglia to visit him and, after much persuasion, made him divulge the secret of his solution of the cubic equation. This Tartaglia did, having made Cardan promise to keep it secret until Tartaglia had published it himself. Cardan did not keep his promise. In 1545 he published Ars Magna the first Latin treatise on algebra.
Here, in modern notation, is Cardan's solution of x3+mx=nx^{3} + mx = n.

Notice that (ab)3+3ab(ab)=a3b3(a - b)^{3} + 3ab(a - b) = a^{3} - b^{3}
so if aa and bb satisfy 3ab=m3ab = m and a3b3=na^{3} - b^{3} = n then aba - b is a solution of x3+mx=nx^{3} + mx = n.
But now b=m/3ab = m/3a so a3m327a3/normalsize=na^3 - \Large\frac{m^3 }{27a^3}/normalsize = n,
i.e. a6na3127m3=0a^{6} - na^{3} - \large\frac{1}{27}\normalsize m^{3} = 0.
This is a quadratic equation in a3a^{3}, so solve for a3a^{3} using the usual formula for a quadratic.
Now aa is found by taking cube roots and bb can be found in a similar way (or using b=m/3ab=m/3a).
Then x=abx = a - b is the solution to the cubic.
Cardan noticed something strange when he applied his formula to certain cubics. When solving x3=15x+4x^{3} = 15x + 4 he obtained an expression involving √-121. Cardan knew that you could not take the square root of a negative number yet he also knew that x=4x = 4 was a solution to the equation. He wrote to Tartaglia on 4 August 1539 in an attempt to clear up the difficulty. Tartaglia certainly did not understand. In Ars Magna Cardan gives a calculation with 'complex numbers' to solve a similar problem but he really did not understand his own calculation which he says is as subtle as it is useless.

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=0x^{4} + px^{2} + qx + r = 0. First complete the square to obtain
x4+2px2+p2=px2qxr+p2x^{4} + 2px^{2} + p^{2} = px^{2} - qx - r + p^{2}
(x2+p)2=px2qxr+p2(x^{2} + p)^{2} = px^{2} - qx - r + p^{2}
Now the clever bit. For any yy we have
(x2+p+y)2=px2qxr+p2+2y(x2+p)+y2(x^{2} + p + y)^{2} = px^{2} - qx - r + p^{2} + 2y(x^{2} + p) + y^{2}
=(p+2y)x2qx+(p2r+2py+y2)= (p + 2y)x^{2} - qx + (p^{2} - r + 2py + y^{2}) (*)
Now the right hand side is a quadratic in xx and we can choose yy so that it is a perfect square. This is done by making the discriminant zero, in this case
(q)24(p+2y)(p2r+2py+y2)=0(-q)^{2} -4(p + 2y)(p^{2} - r + 2py + y^{2}) = 0.
Rewrite this last equation as
(q24p3+4pr)+(16p2+8r)y20py28y3=0(q^{2} - 4p^{3} + 4 pr) + (-16p^{2} + 8r)y - 20 py^{2} - 8y^{3} = 0
to see that it is a cubic in yy.

Now we know how to solve cubics, so solve for yy. With this value of yy the right hand side of (*) is a perfect square so, taking the square root of both sides, we obtain a quadratic in xx. 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=dx = b, x = c, x = d are solutions of a cubic then the cubic is
(xb)(xc)(xd)=0(x - b)(x - c)(x - d) = 0.
Harriot also had a nice method for solving cubics. Consider the cubic
x3+3b2x=2c3x^{3} + 3b^{2}x = 2c^{3}
Put e2b2e\Large\frac{e^2 - b^2 }{e}. Then
e62c3e3=b6e^{6} - 2c^{3}e^{3} = b^{6}
which is a quadratic in e3e^{3}, and so can be solved for e3e^{3} to get
e3=c3+(b6+c6)e^{3} = c^{3} +√(b^{6} + c^{6}).
e3(e32c3)=b6e^{3}(e^{3} - 2c^{3}) = b^{6} so that b6e3\Large\frac{b^6}{e^3} =c3+(b6+c6)= -c^{3} +√(b^{6} + c^{6}).
Now x=ex = e - b2e\Large\frac{b^2}{e} and both ee and b2e\Large\frac{b^2}{e} are cube roots of expressions given above.

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.

References (show)

  1. A R Amir-Moéz, Khayyam, al-Biruni, Gauss, Archimedes, and quartic equations, Texas J. Sci. 46 (3) (1994), 241-257.
  2. A E Berriman, The Babylonian quadratic equation, Math. Gaz. 40 (1956), 185-192.
  3. J N Crossley, The Emergence of Number (Singapore, 1987).
  4. R Franci and T Rigatelli, Storia della teoria delle equazioni algebriche (Milan, 1979).
  5. R Franci and T Rigatelli, Towards a history of algebra from Leonardo of Pisa to Luca Pacioli, Janus 72 (1985), 17-85.
  6. S Gandz, Studies in Babylonian mathematics. III. Isoperimetric problems and the origin of the quadratic equations, Isis 32 (1940), 101-115.
  7. J P Hogendijk, Sharaf al-Din al-Tusi on the number of positive roots of cubic equations, Historia Mathematica 16 (1) (1989), 69-85.
  8. B Hughes, The earliest correct algebraic solutions of cubic equations, Vita mathematica (Washington, DC, 1996), 107-112.
  9. C Romo Santos, Cardano's 'Ars magna' and the solutions of cubic and quartic equations (Spanish), Rev. Acad. Canaria Cienc. 7 (1) (1995), 187-201.
  10. P Schultz,Tartaglia, Archimedes and cubic equations, Austral. Math. Soc. Gaz. 11 (4) (1984), 81-84.
  11. G S Smirnova, Geometric solution of the cubic equations in Raffaele Bombelli's 'Algebra' (Russian), Istor. Metodol. Estestv. Nauk 36 (1989), 123-129.
  12. P D Yardley, Graphical solution of the cubic equation developed from the work of Omar Khayyam, Bull. Inst. Math. Appl. 26 (5-6) (1990), 122-125.

Additional Resources (show)

Other websites about Quadratic etc equations:

  1. University of Virginia USA

Written by J J O'Connor and E F Robertson
Last Update February 1996