Quartic function

This article is about the univariate quartic. For the bivariate quartic, see Quartic plane curve.
Graph of a polynomial of degree 4, with 3 critical points and four real roots (crossings of the x axis) (and thus no complex roots). If one or the other of the local minima were above the x axis, or if the local maximum were below it, or if there were no local maximum and one minimum below the x axis, there would only be two real roots (and two complex roots). If all three local extrema were above the x axis, or if there were no local maximum and one minimum above the x axis, there would be no real root (and four complex roots).

In algebra, a quartic function is a function of the form

f(x)=ax^4+bx^3+cx^2+dx+e,

where a is nonzero, which is defined by a polynomial of degree four, called quartic polynomial.

Sometimes the term biquadratic is used instead of quartic, but, usually, biquadratic function refers to a quadratic function of a square (or, equivalently, to the function defined by a quartic polynomial without terms of odd degree), having the form

f(x)=ax^4+cx^2+e.

A quartic equation, or equation of the fourth degree, is an equation that equates a quartic polynomial to zero, of the form

ax^4+bx^3+cx^2+dx+e=0 ,

where a ≠ 0.

The derivative of a quartic function is a cubic function.

Since a quartic function is defined by a polynomial of even degree, it has the same infinite limit when the argument goes to positive or negative infinity. If a is positive, then the function increases to positive infinity at both ends; and thus the function has a global minimum. Likewise, if a is negative, it decreases to negative infinity and has a global maximum. In both cases it may or may not have another local maximum and another local minimum.

The degree four (quartic case) is the highest degree such that every polynomial equation can be solved by radicals.

History

Lodovico Ferrari is credited with the discovery of the solution to the quartic in 1540, but since this solution, like all algebraic solutions of the quartic, requires the solution of a cubic to be found, it could not be published immediately.[1] The solution of the quartic was published together with that of the cubic by Ferrari's mentor Gerolamo Cardano in the book Ars Magna (1545).

The Soviet historian I. Y. Depman claimed that even earlier, in 1486, Spanish mathematician Valmes was burned at the stake for claiming to have solved the quartic equation.[2] Inquisitor General Tomás de Torquemada allegedly told Valmes that it was the will of God that such a solution be inaccessible to human understanding.[3] However Beckmann, who popularized this story of Depman in the West, said that it was unreliable and hinted that it may have been invented as Soviet antireligious propaganda.[4] Beckmann's version of this story has been widely copied in several books and internet sites, usually without his reservations and sometimes with fanciful embellishments. Several attempts to find corroborating evidence for this story, or even for the existence of Valmes, have failed.[5]

The proof that four is the highest degree of a general polynomial for which such solutions can be found was first given in the Abel–Ruffini theorem in 1824, proving that all attempts at solving the higher order polynomials would be futile. The notes left by Évariste Galois prior to dying in a duel in 1832 later led to an elegant complete theory of the roots of polynomials, of which this theorem was one result.[6]

Applications

Each coordinate of the intersection points of two conic sections is a solution of a quartic equation. The same is true for the intersection of a line and a torus. It follows that quartic equations often arise in computational geometry and all related fields such as computer graphics, computer-aided design, computer-aided manufacturing and optics. Here are example of other geometric problems whose solution amounts of solving a quartic equation.

In computer-aided manufacturing, the torus is a shape that is commonly associated with the endmill cutter. To calculate its location relative to a triangulated surface, the position of a horizontal torus on the Z-axis must be found where it is tangent to a fixed line, and this requires the solution of a general quartic equation to be calculated.

A quartic equation arises also in the process of solving the crossed ladders problem, in which the lengths of two crossed ladders, each based against one wall and leaning against another, are given along with the height at which they cross, and the distance between the walls is to be found.

In optics, Alhazen's problem is "Given a light source and a spherical mirror, find the point on the mirror where the light will be reflected to the eye of an observer." This leads to a quartic equation.[7][8][9]

Finding the distance of closest approach of two ellipses involves solving a quartic equation.

The eigenvalues of a 4×4 matrix are the roots of a quartic polynomial which is the characteristic polynomial of the matrix.

The characteristic equation of a fourth-order linear difference equation or differential equation is a quartic equation. An example arises in the Timoshenko-Rayleigh theory of beam bending.

Intersections between spheres, cylinders, or other quadrics can be found using quartic equations.

Inflection points and golden ratio

Letting F and G be the distinct inflection points of a quartic, and letting H be the intersection of the inflection secant line FG and the quartic, nearer to G than to F, then G divides FH into the golden section:[10]

\frac{FG}{GH}=\frac{1+\sqrt{5}}{2}= \text{the golden ratio}.

Moreover, the area of the region between the secant line and the quartic below the secant line equals the area of the region between the secant line and the quartic above the secant line. One of those regions is disjointed into sub-regions of equal area.

Solving a quartic equation

Nature of the roots

Given the general quartic equation

ax^4 + bx^3 + cx^2 + dx + e = 0

with real coefficients and a \ne 0, the nature of its roots is mainly determined by the sign of its discriminant

\begin{align} 
\Delta\ =\ &256 a^3 e^3 - 192 a^2 b d e^2 - 128 a^2 c^2 e^2 + 144 a^2 c d^2 e - 27 a^2 d^4 \\ 
&+ 144 a b^2 c e^2 - 6 a b^2 d^2 e - 80 a b c^2 d e + 18 a b c d^3 + 16 a c^4 e \\
&- 4 a c^3 d^2 - 27 b^4 e^2 + 18 b^3 c d e - 4 b^3 d^3 - 4 b^2 c^3 e + b^2 c^2 d^2
\end{align}

This may be refined by considering the signs of four other polynomials:

P = 8ac - 3b^2

such that \frac{P}{8a^2} is the second degree coefficient of the associated depressed quartic (see below);

Q= b^3+8da^2-4abc,

such that \frac{Q}{8a^3} is the first degree coefficient of the associated depressed quartic;

\Delta_0 = c^2 - 3bd + 12ae,

which is 0 if the quartic has a triple root; and

D = 64 a^3 e - 16 a^2 c^2 + 16 a b^2 c - 16 a^2 bd - 3 b^4

which is 0 if the quartic has two double roots.

The possible cases for the nature of the roots are as follows:[11]

There are some cases that do not seem to be covered, but they cannot occur. For example, \Delta > 0, P = 0 and D ≤ 0 is not one of the cases. However, if \Delta > 0 and P = 0 then D > 0 so this combination is not possible.

General formula for roots

Quartic formula written out in full. This formula is too unwieldy for general use; hence other methods, or simpler formulas for special cases, are generally used.[13]

The four roots x_1, x_2, x_3, x_4 for the general quartic equation

ax^4+bx^3+cx^2+dx+e=0 \,

with a ≠ 0 are given in the following formula, which is deduced from the one in the section Solving by factoring into quadratics by back changing the variables (see section Converting to a depressed quartic) and using the formulas for the quadratic and cubic equations.

\begin{align}
x_{1,2}\ &= -\frac{b}{4a} - S \pm \frac12\sqrt{-4S^2 - 2p + \frac{q}{S}}\\
x_{3,4}\ &= -\frac{b}{4a} + S \pm \frac12\sqrt{-4S^2 - 2p - \frac{q}{S}}
\end{align}

where p and q are the coefficients of the second and of the first degree respectively in the associated depressed quartic

\begin{align}
p &= \frac{8ac-3b^2}{8a^2}\\
q &= \frac{b^3 - 4abc + 8a^2d}{8a^3} 
\end{align}

and where

\begin{align}
S &= \frac{1}{2}\sqrt{-\frac23\ p+\frac{1}{3a}\left(Q + \frac{\Delta_0}{Q}\right)} \quad\qquad\ &\text{(if } S= 0 \text{, see Special cases of the formula, below)}\\
Q\ &=\ \sqrt[3]{\frac{\Delta_1 + \sqrt{\Delta_1^2 - 4\Delta_0^3}}{2}} &\text{(if } Q= 0 \text{, see Special cases of the formula, below)}
\end{align}

with

\begin{align}
\Delta_0 &= c^2 - 3bd + 12ae\\
\Delta_1 &= 2c^3 - 9bcd + 27b^2 e + 27ad^2 - 72ace
\end{align}

and

\Delta_1^2-4\Delta_0^3 = - 27 \Delta\ , where \Delta is the aforementioned discriminant. The mathematical expressions of these last four terms are very similar to those of their cubic counterparts.

Special cases of the formula

S = \frac{1}{2}\sqrt{-\frac23\ p+\frac{2}{3a}\sqrt{\Delta_0}\cos\frac{\phi}{3}}
where
\phi = \arccos\left(\frac{\Delta_1}{2\sqrt{\Delta_0^3}}\right).

Simpler cases

Reducible quartics

Consider the general quartic

Q(x) = a_4x^4+a_3x^3+a_2x^2+a_1x+a_0.

It is reducible if Q=RS, where R and S are non-constant polynomials with rational coefficients (or more generally with coefficients in the same field as the coefficients of Q). There are two ways to write such a factorization: either

Q(x) = (x-x_1)(b_3x^3+b_2x^2+b_1x+b_0)

or

Q(x) = (c_2x^2+c_1x+c_0)(d_2x^2+d_1x+d_0).

In either case, the roots of Q are the roots of the factors, which may be computed by solving quadratic or cubic equations.

Detecting such factorizations can be done by using the factor function of every computer algebra system. But, in many cases, it may be done by hand-written computation. In the preceding section, we have already seen that the polynomial is always reducible if its discriminant \Delta is zero (this is true for polynomials of every degree).

A very special case of the first case of factorization is when a0=0. This implies that x1=0 is a first root, b3=a4, b2=a3, b1=a2, b0=a1, and the other roots may be computed by solving a cubic equation.

If a_4+a_3+a_2+a_1+a_0=0, then Q(1)=0 and we have a factorization of the first kind with x1=1. Similarly, if a_4-a_3+a_2-a_1+a_0=0, then Q(-1)=0 and we have a factorization of the first kind with x1=-1.

Once a root x1 is known, the second factor of the factorization of the first kind is the quotient of the Euclidean division of Q by x-x1. It is

a_4x^3+(a_4x_1+a_3)x^2+(a_4x_1^2+a_3x_1+a_2)x+a_4x_1^3+a_3x_1^2+a_2x_1+a_1.

If a_0, a_1, a_2, a_3, a_4 are small integers a factorization of the first kind is easy to detect: if x_1=\frac{p}{q}\ , with p and q coprime integers, then q divides evenly a4, and p divides evenly a0. Thus, computing Q\left(\frac{p}{q}\right) for every possible values of p and q allows to find the rational roots, if any.

In the case of two quadratic factors or of large integer coefficients, the factorization is harder to compute, and, in general, it is better to use the factor function of a computer algebra system (see polynomial factorization for a description of the algorithms that are involved).

Biquadratic equations

If a_3=a_1=0,\, then the biquadratic function


Q(x) = a_4x^4+a_2x^2+a_0\,\!

defines a biquadratic equation, which is easy to solve.

Let z=x^2.\, Then Q becomes a quadratic q in z,\,


q(z) = a_4z^2+a_2z+a_0.\,\!

Let z_+\, and z_-\, be the roots of q. Then the roots of our quartic Q are


\begin{align}
x_1&=+\sqrt{z_+},
\\
x_2&=-\sqrt{z_+},
\\
x_3&=+\sqrt{z_-},
\\
x_4&=-\sqrt{z_-}.
\end{align}

Quasi-palindromic equation

The polynomial

P(x)=a_0x^4+a_1x^3+a_2x^2+a_1 m x+a_0 m^2

is almost palindromic, as

P(mx)=\frac{x^4}{m^2}P(\frac{m}{x})

(it is palindromic if m = 1).

The change of variables z = x + \frac{m}{x} in \frac{P(x)}{x^2}=0 produces the quadratic equation a_0z^2+a_1z +(a_2-2ma_0) =0. As x^2-xz+m=0, the quartic equation

P(x)=0

may be solved by applying the quadratic formula twice.

Solution methods

Converting to a depressed quartic

For solving purposes, it is generally better to convert the quartic into a depressed quartic by the following simple change of variable. All formulas are simpler and some methods work only in this case. The roots of the original quartic are easily recovered from that of the depressed quartic by the reverse change of variable.

Let

 a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0

be the general quartic equation we want to solve.

Dividing by a4, provides the equivalent equation

 x^4 + b x^3 + c x^2 + d x + e = 0,

with

b=\frac{a_3}{a_4},\quad c=\frac{a_2}{a_4},\quad d=\frac{a_1}{a_4},\quad e=\frac{a_0}{a_4}.

Substituting y - b/4 for x gives, after regrouping the terms, the equation

y^4+py^2+qy+r=0,

where

\begin{align}
p=&\frac{8c-3b^2}{8} &=&\frac{8a_2a_4-3a_3^2}{8a_4^2}\\
q=&\frac{b^3-4bc+8d}{8} &=&\frac{a_3^3-4a_2a_3a_4+8a_1a_4^2}{8a_4^3}\\
r=&\frac{-3b^4+256e-64bd+16b^2c}{256}&=&\frac{-3a_3^4+256a_0a_4^3-64a_1a_3a_4^2+16a_2a_3^2a_4}{256a_4^4}.
\end{align}

If y1, y2, y3, y4 are the roots of this depressed quartic, then the roots of the original quartic, x1, x2, x3, x4 are

 
x_i = y_i-\frac{b}{4} =y_i-\frac{a_3}{4a_4}, \text{ for } 1 \leq i \leq 4.

Ferrari's solution

As explained in the preceding section, we may start with the depressed quartic equation

 y^4 + p y^2 + q y + r = 0.

 

 

 

 

(1)

This depressed quartic can be solved by means of a method discovered by Lodovico Ferrari. The depressed equation may be rewritten (this is easily verified by expanding the square and regrouping all terms in the left-hand side)

 (y^2 + p)^2 = p y^2 + p^2- q y - r.

 

 

 

 

(2)

Then, we introduce a variable m into the factor on the left-hand side by adding  2y^2m+2p m + m^2 to both sides. After regrouping the coefficients of the power of y in the right-hand side, this gives the equation

 (y^2 + p + m)^2 = (p + 2 m) y^2 - q y + (m^2 + 2 m p + p^2 - r),

 

 

 

 

(3)

which is equivalent to the original equation, whichever value is given to m.

As the value of m may be arbitrarily chosen, we will choose it in order to get a perfect square in the right-hand side. This implies that the discriminant in y of this quadratic equation is zero, that is m is a root of the equation

 (-q)^2 - 4 (p + 2m) (m^2 + 2 m p + p^2 - r) = 0.\,

which may be rewritten

 m^3 + {5 \over 2} p m^2 + (2 p^2 - r) m + \left( {p^3 \over 2} - {p r \over 2} - {q^2 \over 8} \right) = 0.

 

 

 

 

(4)

This is the resolvent cubic of the quartic equation. The value of m may thus be obtained from the formulas provided in the article Cubic function.

When m is a root of equation (4), the right-hand side of equation (3) is the square

\left(y\sqrt{p + 2 m}-\frac{q}{2\sqrt{p + 2 m}}\right)^2.

However, this induces a division by zero if p + 2 m=0. This implies q=0, and thus that the depressed equation is bi-quadratic, and may be solved by an easier method (see above). This was not a problem at the time of Ferrari, when one solved only explicitly given equations with numeric coefficients. For a general formula that is always true, one thus needs to choose a root of the cubic equation such that p + 2 m \not=0. This is always possible except for the depressed equation x4=0.

Now, if m is a root of the cubic equation such that p + 2 m \not=0, equation (3) becomes

 (y^2 + p + m)^2 = \left(y\sqrt{p + 2 m}-\frac{q}{2\sqrt{p + 2 m}}\right)^2.

This equation is of the form  M^2 = N^2 , which can be rearranged as  M^2 - N^2 = 0, or (M + N)(M - N) = 0 .

Therefore equation (3) may be rewritten as

 \left(y^2 + p + m + y\sqrt{p + 2 m}-\frac{q}{2\sqrt{p + 2 m}}\right) \left(y^2 + p + m - y\sqrt{p + 2 m}+\frac{q}{2\sqrt{p + 2 m}}\right)=0.

This equation is easily solved by applying to each factor the formula for quadratic equations. Solving them we may write the four roots as

y={\pm_1\sqrt{p + 2 m} \pm_2 \sqrt{-\left(3p + 2m \pm_1 {2q \over \sqrt{p + 2 m}} \right)} \over 2},

where \pm_1 and \pm_2 denote either + or -. As the two occurrences of \pm_1 must denote the same sign, this leaves four possibilities, one for each root.

Therefore, the solutions of the original quartic equation are

x=-{a_3 \over 4a_4} + {\pm_1\sqrt{p + 2 m} \pm_2 \sqrt{-\left(3p + 2m \pm_1 {2q \over \sqrt{p + 2 m}} \right)} \over 2}.

A comparison with the general formula above shows that  {\sqrt{p + 2 m }} = 2S.

Descartes' solution

Descartes[14] introduced in 1637 the method of finding the roots of a quartic polynomial by factoring it into two quadratic ones, which do not need to have rational coefficients.[15] Let


  \begin{align}
   x^4 + bx^3 + cx^2 + dx + e & = (x^2 + sx + t)(x^2 + ux + v) \\
   & = x^4 + (s + u)x^3 + (t + v + su)x^2 + (sv + tu)x + tv
  \end{align}

By equating coefficients, this results in the following system of equations:


  \left\{\begin{array}{l}
   b = s + u \\
   c = t + v + su \\
   d = sv + tu \\
   e = tv
  \end{array}\right.

This can be simplified by starting again with the depressed quartic y4 + py2 + qy + r, which can be obtained by substituting y  b/4 for x. Since the coefficient of y3 is 0, we get s = u, and:


  \left\{\begin{array}{l}
   p + u^2 = t + v \\
   q = u (t - v) \\
   r = tv
  \end{array}\right.

One can now eliminate both t and v by doing the following:


  \begin{align}
   u^2(p + u^2)^2 - q^2 & = u^2(t + v)^2 - u^2(t - v)^2 \\
   & = u^2 [(t + v + (t - v))(t + v - (t - v))]\\
   & = u^2(2t)(2v) \\
   & = 4u^2tv \\
   & = 4u^2r
  \end{align}

If we set U = u2, then solving this equation becomes finding the roots of the resolvent cubic U3 + 2pU2 + (p2  4r)U  q2, which is done elsewhere. Then, if u is a square root of a non-zero root of this resolvent (such a non-zero root exists except for the quartic x4, which is trivially factored),


  \left\{\begin{array}{l}
  s = -u \\
 2t = p + u^2 + q/u \\
 2v = p + u^2 - q/u
  \end{array}\right.

The symmetries in this solution are as follows. There are three roots of the cubic, corresponding to the three ways that a quartic can be factored into two quadratics, and choosing positive or negative values of u for the square root of U merely exchanges the two quadratics with one another.

The above solution shows that the quartic polynomial with a zero coefficient on the cubic term is factorable into quadratics with rational coefficients if and only if either the resolvent cubic U3 + 2pU2 + (p2  4r)U  q2 has a non-zero root which is the square of a rational, or p2  4r is the square of rational and q = 0; this can readily be checked using the rational root test.

Solving by Lagrange resolvent

The symmetric group S4 on four elements has the Klein four-group as a normal subgroup. This suggests using a resolvent cubic whose roots may be variously described as a discrete Fourier transform or a Hadamard matrix transform of the roots; see Lagrange resolvents for the general method. Denote by xi, for i from 0 to 3, the four roots of

x^4 + bx^3 + cx^2 + dx + e = 0

If we set

 \begin{align}
s_0 &= \tfrac12(x_0 + x_1 + x_2 + x_3), \\
s_1 &= \tfrac12(x_0 - x_1 + x_2 - x_3), \\
s_2 &= \tfrac12(x_0 + x_1 - x_2 - x_3), \\
s_3 &= \tfrac12(x_0 - x_1 - x_2 + x_3),
\end{align}

then since the transformation is an involution we may express the roots in terms of the four si in exactly the same way. Since we know the value s0 = -b/2, we only need the values for s1, s2 and s3. These are the roots of the polynomial

(s^2 - s_1^2)(s^2-s_2^2)(s^2-s_3^2).

Substituting the si by their values in term of the xi, this polynomial may be expanded in a polynomial in s whose coefficients are symmetric polynomials in the xi. By the fundamental theorem of symmetric polynomials, these coefficients may be expressed as polynomials in the coefficients of the monic quartic. If, for simplification, we suppose that the quartic is depressed, that is b=0, this results in the polynomial

 {s}^{6}+2c\,{s}^{4}+({c}^{2}-4e)\,{s}^{2}-{d}^{2}

 

 

 

 

(5)

This polynomial is of degree six, but only of degree three in s2, and so the corresponding equation is solvable by the method described in the article Cubic function. By substituting the roots in the expression of the xi in terms of the si, we obtain expression for the roots. In fact we obtain, apparently, several expressions, depending on the numbering of the roots of the cubic polynomial and of the signs given to their square roots. All these different expressions may be deduced from one of them by simply changing the numbering of the xi.

These expressions are unnecessarily complicated, involving the cubic roots of unity, which can be avoided as follows. If s is any non-zero root of (5), and if we set

F_1 = {x}^{2}+sx+ \frac{c}{2} + \frac{s^2}{2} - \frac{d}{2s}
F_2 ={x}^{2}-sx+ \frac{c}{2} + \frac{s^2}{2} + \frac{d}{2s}

then

F_1 F_2 = x^4 + cx^2 + dx + e

We therefore can solve the quartic by solving for s and then solving for the roots of the two factors using the quadratic formula.

Note that this gives exactly the same formula for the roots as the preceding section.

Solving with algebraic geometry

An alternative solution using algebraic geometry is given in (Faucette 1996), and proceeds as follows (more detailed discussion in reference). In brief, one interprets the roots as the intersection of two quadratic curves, then finds the three reducible quadratic curves (pairs of lines) that pass through these points (this corresponds to the resolvent cubic, the pairs of lines being the Lagrange resolvents), and then use these linear equations to solve the quadratic.

The four roots of the depressed quartic x^4+px^2+qx+r=0 may also be expressed as the x coordinates of the intersections of the two quadratic equations y^2+py+qx+r=0, y-x^2=0; i.e., using the substitution y=x^2; that two quadratics intersect in four points is an instance of Bézout's theorem. Explicitly, the four points are P_i := (x_i,x_i^2) for the four roots x_i of the quartic.

These four points are not collinear because they lie on the irreducible quadratic y=x^2, and thus there is a 1-parameter family of quadratics (a pencil of curves) passing through these points. Writing the projectivization of the two quadratics as quadratic forms in three variables:

\begin{align}
F_1(X,Y,Z) &:= Y^2 + pYZ + qXZ + rZ^2,\\
F_2(X,Y,Z) &:= YZ - X^2
\end{align}

the pencil is given by the forms \lambda F_1 + \mu F_2 for any point [\lambda,\mu] in the projective line – in other words, where \lambda and \mu are not both zero, and multiplying a quadratic form by a constant does not change its quadratic curve of zeros.

This pencil contains three reducible quadratics, each corresponding to a pair of lines, each passing through two of the four points, which can be done \textstyle{\binom{4}{2} = 6} different ways. Denote these Q_1 = L_{12} + L_{34}, Q_2 = L_{13} + L_{24}, Q_3 = L_{14} + L_{23}. Given any two of these, their intersection is exactly the four points.

The reducible quadratics, in turn, may be determined by expressing the quadratic form \lambda F_1 + \mu F_2 as a 3×3 matrix: reducible quadratics correspond to this matrix being singular, which is equivalent to its determinant being zero, and the determinant is a homogeneous degree three polynomial in \lambda and \mu, and corresponds to the resolvent cubic.

See also

References

  1. O'Connor, John J.; Robertson, Edmund F., "Lodovico Ferrari", MacTutor History of Mathematics archive, University of St Andrews.
  2. Depman (1954), Rasskazy o matematike (in Russian), Leningrad: Gosdetizdat
  3. P. Beckmann (1971). A history of π. Macmillan. p. 80.
  4. P. Beckmann (1971). A history of π. Macmillan. p. 191.
  5. P. Zoll (1989). "Letter to the Editor". American Mathematical Monthly 96 (8): 709–710. JSTOR 2324719.
  6. Stewart, Ian, Galois Theory, Third Edition (Chapman & Hall/CRC Mathematics, 2004)
  7. O'Connor, John J.; Robertson, Edmund F., "Abu Ali al-Hasan ibn al-Haytham", MacTutor History of Mathematics archive, University of St Andrews.
  8. MacKay, R. J.; Oldford, R. W. (August 2000), "Scientific Method, Statistical Method and the Speed of Light", Statistical Science 15 (3): 254–78, doi:10.1214/ss/1009212817, MR 1847825
  9. Weisstein, Eric. "Alhazen's Billiard Problem". Mathworld. Retrieved 2008-09-24.
  10. Rinvold, R.A., "Fourth degree polynomials and the golden ratio", Mathematical Gazette 93, July 2009, 292–295.
  11. Rees, E. L. (1922). "Graphical Discussion of the Roots of a Quartic Equation". The American Mathematical Monthly 29 (2): 51–55. doi:10.2307/2972804.
  12. Lazard, D. (1988). "Quantifier elimination: Optimal solution for two classical examples". Journal of Symbolic Computation 5: 261–266. doi:10.1016/S0747-7171(88)80015-4.
  13. http://planetmath.org/QuarticFormula, PlanetMath, quartic formula, 21st October 2012
  14. Descartes, René (1954) [1637], "Book III: On the construction of solid and supersolid problems", The Geometry of Rene Descartes with a facsimile of the first edition, Dover, ISBN 0-486-60068-8, Zbl 51.0020.07
  15. Brookfield, G. (2007). "Factoring quartic polynomials: A lost art" (PDF). Mathematics Magazine 80 (1): 67–70.

Further reading

External links

This article is issued from Wikipedia - version of the Tuesday, April 26, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.