2004/09/17 | 四次方程[Quartic Equation]
类别(∑〖数学〗) | 评论(1) | 阅读(148) | 发表于 14:24
A general quartic equation (also called a biquadratic equation) is a fourth-order polynomial equation of the form
(1)

Ferrari was the first to develop an algebraic technique for solving the general quartic, which was stolen and published in Cardano's Ars Magna in 1545 (Boyer and Merzbach 1991, p. 283). Mathematica[u] can solve quartic equations exactly using the built-in command [u]Solve[a4 x^4 + a3 x^3 + a2 x^2 + a1 x + a0 == 0, x]. The solution can also be expressed in terms of Mathematica[u] algebraic root objects by first issuing [u]SetOptions[Roots, Quartics->False].
The roots of this equation satisfy Vièta's formulas:
(2)

(3)

(4)

(5)

where the denominators on the right side are all . Writing the quartic in the standard form
(6)

the properties of the symmetric polynomials appearing in Vièta's theorem then give
(7)

(8)

(9)

(10)

Eliminating p, q, and r, respectively, gives the relations
(11)

(12)

(13)

as well as their cyclic permutations.
Ferrari was the first to develop an algebraic technique for solving the general quartic. He applied his technique (which was stolen and published by Cardano ) to the equation
(14)

(Smith 1994, p. 207).
The term can be eliminated from the general quartic (1) by making a substitution of the form
(15)

so

(16)

Letting so
(17)

then gives the standard form
(18)

where
(19)

(20)

(21)

The quartic can be solved by writing it in a general form that would allow it to be algebraically factorable and then finding the condition to put it in this form. The equation that must be solved to make it factorable is called the resolvent cubic. To do this, note that the quartic will be factorable if it can be written as the difference of two squared terms,
(22)

It turns out that a factorization of this form can be obtained by adding and subtracting (where u is for now an arbitrary quantity, but which will be specified shortly) to equation (6) to obtain
(23)

This equation can be rewritten
(24)

(Birkhoff and Mac Lane 1965). Note that the first term is immediately a perfect square with
(25)

and the second term will be a perfect square if u is chosen to that the square can be completed in
(26)

This means we want
(27)

which requires that
(28)

or
(29)

This is the resolvent cubic.

Since an analytic solution to the cubic is known, we can immediately solve algebraically for one of the three solution of equation (29), say , and plugging equation (29) into equation (26) then gives
(30)

with
(31)

Q therefore is linear in x and P is quadratic in x, so each term and is quadratic and can be solved using the quadratic formula, thus giving all four solutions to the original quartic.
Explicitly, plugging p, q, and r back into (29) gives

(32)

This can be simplified by making the substitution
(33)

which gives the resolvent cubic equation
(34)

Let be a real root of (34), then the four roots of the original quartic are given by the roots of the equation
(35)

which are
(36)

(37)

(38)

(39)

where
(40)

(41)

(42)

(Abramowitz and Stegun 1972, p. 17; Beyer 1987, p. 12).

Another approach to solving the quartic (6) defines
(43)

(44)

(45)

where the second forms follow from
(46)

and defining
(47)

(48)

This equation can be written in terms of the original coefficients p, q, and r as
(49)

The roots of this cubic equation then give ,,and , and the equations (43) to (45) can be solved for the four roots of the original quartic (Faucette 1996).

0

评论Comments

日志分类
首页[1408]
∑〖数学〗[349]
Ω〖物理〗[357]
¤〖天文〗[343]
℃〖化学〗[359]