You are here

A Modern Vision of the Work of Cardano and Ferrari on Quartics - Different Strategies

Author(s): 
Harald Helfgott (University of Bristol) and Michel Helfgott (East Tennessee State University)

Problem VI asks to "find a number which is equal to its square root plus twice its cube root." Denoting the positive number by x6, we have to solve the equation x6= x3 + 2x2. Dividing by x2 we get the equivalent equation x4= x + 2, a quartic indeed. Cardano subtracts 1 from each side and reaches x4 - 1= x + 1, thus (x4 - 1)/(x + 1)= 1. Consequently x3 - x2+ x - 1= 1, that is to say x3 + x = x2 + 2. He ascertains that $$x=\root 3\of{\sqrt{83\over 108}+{47\over 54}}-\root 3\of{\sqrt{83\over 108}-{47\over 54}}+{1\over 3}$$is a solution, without providing the details. Let us check whether this is a solution, using for that purpose the Cardano-Tartaglia method.

Defining y = x-1/3 we reach the depressed cubic y3 = -(2/3)y+ 47/27. Keeping in mind that (u - v)3 = -3uv(u - v) + (u3 - v3), a solution of the form y = u - v will be found provided that the algebraic system -3uv= -2/3, u3 - v3= 47/27 has a solution. Indeed u3- (2/9u)3= 47/27, that is to say u6 - (47/27)u3 - 8/729 = 0. One solution of this equation is $$u^3 = {47\over 54} + {1\over 2}\sqrt{\left({47\over 27}\right)^2 + {32\over 729}},$$ thus $$u = \root 3\of {{47\over 54}+\sqrt{83\over 108}}.$$ Replacing this value of u in u3 - v3= 47/27 we get $$v=\root 3\of{-{47\over 54}+\sqrt{83\over 108}}.$$ Then $$y=u-v=\root 3\of{{47\over 54}+\sqrt{83\over 108}} - \root 3\of{-{47\over 54}+\sqrt{83\over 108}},$$ which in turn leads to $$x=\root 3\of{\sqrt{83\over 108} + {47\over 54}}-\root 3\of{\sqrt{83\over 108}-{47\over 54}}+{1\over 3}.$$The other two solutions of the cubic are complex numbers, no wonder that Cardano ignores them.

A natural question, addressed in Ars Magna, is what happens if we follow Ferrari's procedure: We start with (x2)2 = x + 2 and introduce a new variable b. We observe that (x2 + b)2 = 2bx2 + x + b2 + 2. In order to have a perfect square we need to impose the condition 1/4 = 2b(b2 + 2), equivalent to demanding that the discriminant of 2bx2 + x + b2 + 2 is zero. Thus b3 + 2b= 1/8. Cardano ascertains that $$b=\root 3\of{{1\over 16}+\sqrt{2,075\over 6,912}}-\root 3\of{-{1\over 16}+\sqrt{2,075\over 6,912}}$$is a solution. We would have to replace this value of b, call it b1, in (x2 + b)2= 2bx2 + x + b2 + 2 knowing beforehand that the expression to the right is also a perfect square. In other words, it is necessary to solve (x2 + b1)2 = 2b1(x+ 1/4b1)2 or, equivalently, the pair of quadratic equations $$x^2+b_1=\sqrt{2b_1}\left(x+{1\over 4b_1}\right), \qquad x^2+b_1=-\sqrt{2b_1}\left(x+{1\over 4b_1}\right).$$The solutions of the first quadratic are $$x=\sqrt{b_1\over 2} \pm\sqrt{{1\over 2\sqrt{2b_1}}-{b_1\over 2}}.$$

Using the decimal approximation 0.062379 to b1 we get x = 1.35321 and x = -0.999998. The first is a decimal approximation to the solution found before, while the other root is a decimal approximation to -1. But we are not interested in the latter because we are seeking only positive solutions to the problem (from the very beginning we ruled out the trivial solutions of the equation x6 = x3 + 2x2, namely 0 and -1). It should be noted that the quadratic equation \( x^2 +b_1 = -\sqrt{2b_1} \left( x+\frac{1}{4b_1} \right) \) has complex roots.

Problem VIII asks to "divide 6 into three proportional quantities the sum of the squares of the first and second of which is 4." Let x, y, z denote the quantities. Since x2 + y2= 4 we will have \( y = \sqrt{4 - x^2} \). But x + y + z = 6, consequently \( z = 6 - x - \sqrt{4 - x^2} \). Next Cardano ascertains that \( \left(6 - x - \sqrt{4 - x^2}\right) x = {4 - x^2} \), which is correct since x, y, z are proportional quantities. Then \( 6x - x^2 - x\sqrt{4 - x^2} = {4 - x^2} \), that is to say \( 6x - 4 = x\sqrt{4 - x^2} \). Squaring both sides we get x4 + 32x2 + 16 = 48x, which is equivalent to (x2 + 16)2 = 48x + 240.

For any b we have (x2 + 16 + b)2 = 2bx2 + 48x + b2 + 32b + 240. We need to have the discriminant equal to zero in order to make sure that the right hand side is a perfect square, thus 0= 482 - 8b(b2 + 32b + 240). This expression is equivalent to b3 + 32b2 + 240b = 288. Then Cardano uses the transformation c= b + 32/3 and reaches the equation c3 = (101 1/3)c + 420 20/27, with a real solution c. Therefore b = c - 32/3 is a real solution of the resolvent cubic. Actually, Cardano does not introduce a new variable explicitly. Finally we have (x2 + 16+ b)2 = 2b(x + 48/4b)2, which in turn leads to (x2 + 16+ b)= ±(2b)(x+ 12/b). Cardano only considers the equation with positive sign and writes it as x2 + 16 + b = √(2b)x+ √(b2 + 32b + 240), which is in agreement with x2 + 16 + b = √(2b)x+ √(2b)(12/b) because √(2b)(12/b) = √(288/b)= √[(b3 + 32b2 + 240b)/b] = √(b2 + 32b + 240). He leaves the task of finding b, and solving the above-mentioned quadratic equation, to the readers of Ars Magna.

An alternative path is to start with x4 = -32x2 + 48x - 16 and introduce a new variable z so that the expression on the right of (x2+ z)2 = (2z - 32)x2 + 48x + z2 - 16 is a perfect square. This can be accomplished by solving 0 = 482 - 4(2z - 32)(z2 -16), i.e. z3 - 16z2 - 16z - 32= 0. The usual approach to cubics leads to \( z \approx 17.0486 \), therefore $$(x^2+17.0486)^2 = 2.0972x^2+48x+274.655 = 2.0972\left(x+{48\over 2\cdot 2.0972}\right)^2, \quad {\rm or}\quad (x^2+17.0486)^2 = \left(\sqrt{2.0972}\left(x+{48\over 4.1944}\right)\right)^2.$$ Hence $$x^2+17.0486 = \sqrt{2.0972}\left(x+{48\over 4.1944}\right) \quad {\rm or} \quad x^2+ 17.0486 = -\sqrt{2.0972}\left(x+{48\over 4.1944}\right).$$ The first quadratic has the real solutions 0.943916 and 0.504855 while the second quadratic has complex solutions. Obviously, both real solutions are approximations.

Harald Helfgott (University of Bristol) and Michel Helfgott (East Tennessee State University), "A Modern Vision of the Work of Cardano and Ferrari on Quartics - Different Strategies," Convergence (February 2010), DOI:10.4169/loci003312