Cubic_equations

Solving a cubic equation amounts to finding the roots of a cubic function.

Contents 1 History 2 Roots of a cubic function 2.1 The nature of the roots 2.2 Cardano\'s method 2.3 Lagrange resolvents 2.4 Factorization 2.5 Root-finding formula 2.6 Solution in terms of Chebyshev radicals 2.6.1 The case of a cubic equation with real coefficients 3 Derivative 4 Bipartite cubics 5 See also 6 Notes 7 References 8 External links

History

Cubic equations were known to the ancient Indians and ancient Greeks since the 5th century BC, and even earlier to the ancient Egyptians, who dealt with the problem of doubling the cube, and attempted to solve it using compass and straightedge constructions.Guilbeau (1930).

"The Egyptians considered the solution impossible, but the Greeks came nearer to a solution."

Hippocrates, Menaechmus and Archimedes are believed to have come close to solving this problem using intersecting conic sections, though historians such as Reviel Netz dispute whether the Greeks were thinking about cubic equations or just problems that can lead to cubic equations.

Two-dimensional graph of a cubic, the polynomial $f(x)=2x^3\; -\; 3x^2\; -\; 3x\; +\; 2$

In the 11th century, the Persian poet-mathematician Omar Khayyám (1048–1131) made significant progress in the theory of cubic equations. In an early paper he wrote regarding cubic equations, he discovered that a cubic equation can have more than one solution, that it cannot be solved using earlier compass and straightedge constructions, and found a geometric solution which could be used to get a numerical answer by consulting trigonometric tables. In his later work, the Treatise on Demonstration of Problems of Algebra, he wrote a complete classification of cubic equations with general geometric solutions found by means of intersecting conic sections.J. J. O\'Connor and E. F. Robertson (1999), Omar Khayyam, MacTutor History of Mathematics archive.

"Khayyam himself seems to have been the first to conceive a general theory of cubic equations."

Guilbeau (1930).

"Omar Al Hay of Chorassan, about 1079 AD did most to elevate to a method the solution of the algebraic equations by intersecting conics."

In the early 16th century, the Italian mathematician Scipione del Ferro (1465-1526) found a method for solving a class of cubic equations, namely those of the form x³ + mx = n. In fact, all cubic equations can be reduced to this form if we allow m and n to be negative, but negative numbers were not known at that time. Del Ferro kept his achievement secret until just before his death, when he told his student Antonio Fiore about it.

In 1530, Niccolò Tartaglia (1500-1557) received two problems in cubic equations from Zuanne da Coi and announced that he could solve them. He was soon challenged by Fiore, which led to a famous contest between the two. Each contestant had to put up a certain amount of money and to propose a number of problems for his rival to solve. Whoever solved more problems within 30 days would get all the money.

Tartaglia received questions in the form x³ + mx = n, for which he had worked out a general method. Fiore received questions in the form x³ + mx² = n, which proved to be too difficult for him to solve, and Tartaglia won the contest.

Later, Tartaglia was persuaded by Gerolamo Cardano (1501-1576) to reveal his secret for solving cubic equations. In 1539, Tartaglia did so only on the condition that Cardano would never reveal it and that if he did reveal a book about cubics, that he would give Tartaglia time to publish. Some years later, Cardano learned about Ferro\'s prior work and published Ferro\'s method in his book Ars Magna in 1545, meaning Cardano gave Tartaglia 6 years to publish his results (with credit given to Tartaglia for an independent solution). Cardano\'s promise with Tartaglia stated that he not publish Tartaglia\'s work, and Cardano felt he was publishing del Ferro\'s, so as to get around the promise. Nevertheless, this led to a challenge to Cardano by Tartaglia, which Cardano denied. The challenge was eventually accepted by Cardano\'s student Lodovico Ferrari (1522-1565). Ferrari did better than Tartaglia in the competition, and Tartaglia lost both his prestige and income Katz, Victor. A History of Mathematics. pp. 220. Boston: Addison Wesley, 2004..

Cardano noticed that Tartaglia\'s method sometimes required him to extract the square root of a negative number. He even included a calculation with these complex numbers in Ars Magna, but he did not really understand it. Rafael Bombelli studied this issue in detail and is therefore often considered as the discoverer of complex numbers.

Roots of a cubic function

The nature of the roots

Every cubic equation with real coefficients has at least one solution x among the real numbers; this is a consequence of the intermediate value theorem. We can distinguish several possible cases using the discriminant,

$\backslash Delta\; =\; 4b^3d\; -\; b^2c^2\; +\; 4ac^3\; -\; 18abcd\; +\; 27a^2d^2.\; \backslash ,$

The following cases need to be considered.

• If Δ < 0, then the equation has three distinct real roots.
• If Δ > 0, then the equation has one real root and a pair of complex conjugate roots.
• If Δ = 0, then (at least) two roots coincide. It may be that the equation has a double real root and another distinct single real root; alternatively, all three roots coincide yielding a triple real root. A possible way to decide between these subcases is to compute the resultant of the cubic and its second derivative: a triple root exists if and only if this resultant vanishes.

See also: multiplicity of a root of a polynomial

Cardano\'s method

The solutions can be found with the following method due to Scipione del Ferro and Tartaglia, published by Gerolamo Cardano in 1545.

We first divide the standard equation by the leading coefficient to arrive at an equation of the form

$x^3\; +\; ax^2\; +\; bx\; +c\; =\; 0.\; \backslash qquad\; (1)$

The substitution $x\; =\; t\; -\; a/3$ eliminates the quadratic term; in fact, we get the equation

$t^3\; +\; pt\; +\; q\; =\; 0,\; \backslash quad\backslash mbox\{where\; \}\; p\; =\; b\; -\; \backslash frac\{a^2\}3\; \backslash quad\backslash mbox\{and\}\backslash quad\; q\; =\; c\; +\; \backslash frac\{2a^3-9ab\}\{27\}.\; \backslash qquad\; (2)$

This is called the depressed cubic. A simple and elegant way of solving the depressed cubic is due to Thomas Harriot (1560 – 1621): substituting $t=y-\{p\backslash over\; 3y\}$ into it and multiplying both sides by $y^3$ yields, after much cancellation, $y^6+q\; y^3-\{p^3\backslash over\; 27\}=0$. Described below is the original, somewhat long-winded method of Cardano and Tartaglia, which still dominates the textbooks today.

Suppose that we can find numbers u and v such that

$u^3-v^3\; =\; q\; \backslash quad\backslash mbox\{and\}\backslash quad\; uv\; =\; -\backslash frac\{p\}\{3\}.\; \backslash quad\; (3)$

A solution to our equation is then given by

$t\; =\; v\; -\; u,\; \backslash ,$

as can be checked by directly substituting this value for t in (2), as a consequence of the third order binomial identity

$(v-u)^3+3uv(v-u)+(u^3-v^3)=0\; \backslash \; .$

The system (3) can be solved by solving the second equation for v, which gives

$v\; =\; \backslash frac\{p\}\{3u\}.$

Substituting this into the first equation in (3) yields

$u^3\; -\; \backslash frac\{p^3\}\{27u^3\}\; =\; q.$

Moving the q to the other side and multiplying by 27u³ yields

$27u^6\; -\; 27qu^3\; -\; p^3\; =\; 0\backslash ,.$

This can be seen as a quadratic equation for u³. If we solve this equation, we find that

$u^\{3\}=\{q\backslash over\; 2\}\backslash pm\; \backslash sqrt\{\{q^\{2\}\backslash over\; 4\}+\{p^\{3\}\backslash over\; 27\}\}$

$u=\backslash sqrt[3]\{\{q\backslash over\; 2\}\backslash pm\; \backslash sqrt\{\{q^\{2\}\backslash over\; 4\}+\{p^\{3\}\backslash over\; 27\}\}\}.\; \backslash quad\; (4)$

Since t = v − u, t = x + a/3, and v = p/3u, we find

$x=-\backslash frac\{p\}\{3u\}+u-\{a\backslash over\; 3\}.$

Note that there are six possibilities in computing u with (4), since there are two solutions to the square root ($\backslash pm$), and three complex solutions to the cubic root — the principal root and the principal root multiplied by $\backslash tfrac\{-1\}\{2\}\; \backslash pm\; i\backslash tfrac\{\backslash sqrt\{3\}\}\{2\}$. However, the sign of the square root (plus or minus) does not affect the final resulting x, although care must be taken in two special cases to avoid divisions by zero. First, if p = 0, then one should choose the positive square root so that u does not equal zero, i.e., $u\; =\; +\backslash sqrt[3]\{q\}$. Second, if p = q = 0, then we have the triple real root x = −a/3.

In summary, for the cubic equation

$x^3\; +\; ax^2\; +\; bx\; +c\; =\; 0\backslash$

the solutions for x are given by

$x=-\backslash frac\{p\}\{3u\}+u-\{a\backslash over\; 3\}$

where

$p\; =\; b\; -\; \backslash frac\{a^2\}3$

$q\; =\; c\; +\; \backslash frac\{2a^3-9ab\}\{27\}$

$u=\backslash sqrt[3]\{-\{q\backslash over\; 2\}\backslash pm\; \backslash sqrt\{\{q^\{2\}\backslash over\; 4\}+\{p^\{3\}\backslash over\; 27\}\}\}.$

Although this method is simple and elegant, it fails for the case of three real roots, e.g. when:

For this case a different method (e.g. goniometrical) has to be used.

Lagrange resolvents

The symmetric group S₃ has the cyclic group of order three as a normal subgroup, which suggests making use of the discrete Fourier transform of the roots, an idea due to Lagrange. Suppose that r₀, r₁ and r₂ are the roots of equation (1), and define $\backslash zeta\; =\; (-1+i\backslash sqrt\{3\})/2$, so that ζ is a primitive third root of unity. We now set

$s\_0\; =\; r\_0\; +\; r\_1\; +\; r\_2,\backslash ,$

$s\_1\; =\; r\_0\; +\; \backslash zeta\; r\_1\; +\; \backslash zeta^2\; r\_2,\backslash ,$

$s\_2\; =\; r\_0\; +\; \backslash zeta^2\; r\_1\; +\; \backslash zeta\; r\_2.\backslash ,$

The roots may then be recovered from the three s_i by inverting the above linear transformation, giving

$r\_0\; =\; (s\_0\; +\; s\_1\; +\; s\_2)/3,\backslash ,$

$r\_1\; =\; (s\_0\; +\; \backslash zeta^2\; s\_1\; +\; \backslash zeta\; s\_2)/3,\backslash ,$

$r\_2\; =\; (s\_0\; +\; \backslash zeta\; s\_1\; +\; \backslash zeta^2\; s\_2)/3.\backslash ,$

We already know the value s₀ = −a, so we only need to seek values for the other two. However, if we take the cubes, a cyclic permutation leaves the cubes invariant, and a transposition of two roots exchanges s₁³ and s₂³, hence the polynomial

$(z-s\_1^3)(z-s\_2^3)\; \backslash qquad\; (5)$

is invariant under permutations of the roots, and so has coefficients expressible in terms of (1). Using calculations involving symmetric functions or alternatively field extensions, we can calculate (5) to be

$\{z\}^\{2\}+\; \backslash left(\; -9\backslash ,ba+2\backslash ,\{a\}^\{3\}+27\backslash ,c\; \backslash right)\; z+\; \backslash left(\; \{a\}^\{2\}-3\backslash ,b\backslash right)^\{3\}.$

The roots of this quadratic equation are

$\backslash frac92\backslash ,ab-\{a\}^\{3\}-\; \backslash frac\{27\}\{2\}\backslash ,c\; \backslash pm\; \backslash frac\{1\}\{2\}\backslash ,\backslash sqrt\{D\},$

where D is the discriminant. Taking cube roots give us s₁ and s₂, from which we can recover the roots r_i of (1).

Factorization

If r is any root of (1), then we may factor using r to obtain

$\backslash left\; (x-r\backslash right\; )\backslash left\; (x^2+(a+r)x+b+ar+r^2\; \backslash right\; )\; =\; x^3+ax^2+bx+c.$

Hence if we know one root we can find the other two by solving a quadratic equation, giving

$\backslash frac12\; \backslash left(-a-r\; \backslash pm\; \backslash sqrt\{-3r^2-2ar+a^2-4b\}\backslash right)$

for the other two roots.

Root-finding formula

The formula for finding the roots of a cubic function is fairly complicated. Therefore, it is common to use the rational root test or a numerical solution instead.

If we have

$f(x)\; =\; ax^3\; +\; bx^2\; +\; cx\; +\; d\; =\; a(x\; -\; x\_1)(x\; -\; x\_2)(x\; -\; x\_3),\backslash ,$

let

$q\; =\; \backslash frac\{3ac-b^2\}\{9a^2\}$

and

$r\; =\; \backslash frac\{9abc\; -\; 27a^2d\; -\; 2b^3\}\{54a^3\}.$

Now, let

$s\; =\; \backslash sqrt[3]\{r\; +\; \backslash sqrt\{q^3+r^2\}\}$

and

$t\; =\; \backslash sqrt[3]\{r\; -\; \backslash sqrt\{q^3+r^2\}\}.$

The solutions are

$x\_1\; =\; s+t-\backslash frac\{b\}\{3a\},$

$x\_2=-\backslash frac\{1\}\{2\}(s+t)-\backslash frac\{b\}\{3a\}+\backslash frac\{\backslash sqrt\{3\}\}\{2\}(s-t)i,$

$x\_3=-\backslash frac\{1\}\{2\}(s+t)-\backslash frac\{b\}\{3a\}-\backslash frac\{\backslash sqrt\{3\}\}\{2\}(s-t)i.$

$q^3+r^2$ is the discriminant, if it is less than 0 then all three solutions are real and unequal and the roots can then be expressed by trigonometric functions (trigonometric cosine).

Solution in terms of Chebyshev radicals

If we have a cubic equation which is already in depressed form, we may write it as $\backslash ,x^3\; -\; 3px\; -\; q\; =\; 0$. Substituting $x\; =\; \backslash sqrt\{p\}\; z$ we obtain $z^3\; -\; 3z\; -\; p^\{-\backslash frac\{3\}\{2\}\}q\; =\; 0$ or equivalently

$z^3\; -\; 3z\; =\; p^\{-\backslash frac\{3\}\{2\}\}q\; \backslash \; .$

From this we obtain solutions to our original equation in terms of the Chebyshev cube root $C\_\{1\backslash over3\}$ as

$r\_0\; =\; \backslash sqrt\{p\}\backslash ,C\_\{1\backslash over3\}(p^\{-\backslash frac\{3\}\{2\}\}q),\backslash ,$

$r\_1\; =\; -\backslash sqrt\{p\}\backslash ,C\_\{1\backslash over3\}(-p^\{-\backslash frac\{3\}\{2\}\}q),\backslash ,$

$r\_2\; =\; -r\_0\; -\; r\_1\; \backslash \; .$

If now we start from a general equation

$x^3\; +\; ax^2\; +\; bx\; +c\; =\; 0\; \backslash qquad\; (1)$

and reduce it to the depressed form under the substitution x = t − a/3, we have $\backslash ,\; p\; =\; (a^2-3b)/9$ and $\backslash ,\; q\; =\; -(2a^3-9ab+27c)/27$, leading to

$t\_\{a;b;c\}\; =\; p^\{-\backslash frac\{3\}\{2\}\}q\; =\; -\backslash frac\{2a^3-9ab+27c\}\{(a^2-3b)^\{3/2\}\}.$

This gives us the solutions to (1) as

$r\_0\; =\; \backslash sqrt\{p\}\backslash ,C\_\{1\backslash over3\}(t\_\{a;b;c\})-\{a\backslash over\; 3\}\; ,\backslash ,$

$r\_1\; =\; -\backslash sqrt\{p\}\backslash ,C\_\{1\backslash over3\}(-t\_\{a;b;c\})-\{a\backslash over\; 3\},\backslash ,$

$r\_2\; =\; -r\_0\; -\; r\_1\; -\; a\; \backslash \; .$

The case of a cubic equation with real coefficients

Suppose the coefficients of (1) are real. If s is the quantity q/r from the section on real roots, then s = t²; hence 0 < s < 4 is equivalent to −2 < t < 2, and in this case we have a polynomial with three distinct real roots, expressed in terms of a real function of a real variable, quite unlike the situation when using cube roots. If s > 4 then either t > 2 and $C\_\{1\backslash over3\}(t)$ is the sole real root, or t < −2 and $-C\_\{1\backslash over3\}(-t)$ is the sole real root. If s < 0 then the reduction to Chebyshev polynomial form has given a t which is a pure imaginary number; in this case $iC\_\{1\backslash over3\}(-it)-iC\_\{1\backslash over3\}(it)$ is the sole real root. We are now evaluating a real root by means of a function of a purely imaginary argument; however we can avoid this by using the function

$S\_\{1\backslash over3\}(t)\; =\; iC\_\{1\backslash over3\}(-it)-iC\_\{1\backslash over3\}(it)\; =\; 2\; \backslash operatorname\{sinh\}\backslash left(\backslash operatorname\{arcsinh\}\backslash left(\{t\backslash over2\}\backslash right)/3\backslash right),\backslash ,$

which is a real function of a real variable with no singularities along the real axis. If a polynomial can be reduced to the form $x^3\; +\; 3x\; -t$ with real t, this is a convenient way to solve for its roots.

Derivative

The derivative $f\backslash \text{'}(x)=3ax^2+2bx+c\backslash ,$ will yield $x=\backslash frac\{-b\; \backslash pm\; \backslash sqrt\; \{b^2-3ac\backslash \; \}\}\{3a\}$ when $f\backslash \text{'}(x)=0\backslash ,$. Bearing its resemblance to the quadratic formula, this formula can be used to find the critical points of a cubic function. It turns out that, if $b^2-3ac\; >\; 0\backslash ,$, then the cubic function will have two critical points — a local maximum and a local minimum; if $b^2-3ac\; =\; 0\backslash ,$, then there is one critical point, and it will yield the inflection point; and if , then there are no critical points.

Bipartite cubics

The graph of

$y^2\; =\; x(x-a)(x-b)\backslash ,$

where is called a bipartite cubic. This is from the theory of elliptic curves.

You can graph a bipartite cubic on a graphing device by graphing the function

$f(x)\; =\; \backslash sqrt\{x(x-a)(x-b)\}\backslash ,$

corresponding to the upper half of the bipartite cubic. It is defined on

$(0,a)\; \backslash cup\; (b,+\backslash infty).\backslash ,$

See also

• Linear equation
• Quartic equation
• Quintic equation
• Newton\'s method
• spline (mathematics)

Notes

References

• W. S. Anglin; & J. Lambek (1995). "Mathematics in the Renaissance", in The heritage of Thales, Ch. 24. Springers.
• Lucye Guilbeau (1930). "The History of the Solution of the Cubic Equation", Mathematics News Letter 5 (4), p. 8-12.
• R.W.D. Nickalls (1993). A new approach to solving the cubic: Cardan\'s solution revealed, The Mathematical Gazette, 77:354–359.

External links

• Tartaglia\'s work (and poetry) on the solution of the Cubic Equation at Convergence
• Cubic Equation Solver.
• Quadratic, cubic and quartic equations on MacTutor archive.
• Cubic Formula on PlanetMath
• Cardano solution calculator as java applet at some local site. Only takes natural coefficients.
• Graphic explorer for cubic functions With interactive animation, slider controls for coefficients
• On Solution of Cubic Equations at Holistic Numerical Methods Institute
• Dave Auckly, Solving the quartic with a pencil American Math Monthly 114:1 (2007) 29--39
• "Cubic Equation" by Eric W. Weisstein, The Wolfram Demonstrations Project, 2007.

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia