2004/09/18 | 五次方程[Quintic Equation]
类别(∑〖数学〗) | 评论(0) | 阅读(236) | 发表于 11:14
Unlike quadratic, cubic, and quartic polynomials, the general quintic cannot be solved algebraically in terms of a finite number of additions, subtractions, multiplications, divisions, and root extractions, as rigorously demonstrated by Abel (Abel's impossibility theorem) and Galois. However, certain classes of quintic equations can be solved in this manner.

Irreducible quintic equations can be associated with a Galois group, which may be a symmetric group, metacyclic group, dihedral group,alternating group, or cyclic group, as illustrated above. Solvability of a quintic is then predicated by its corresponding group being a solvable group. An example of a quintic equation with solvable cyclic group is
(1)

which arises in the computation of

In the case of a solvable quintic, the roots can be found using the formulas of Malfatti (1771), who was the first to "solve" the quintic using a resolvent of sixth degree (Pierpont 1895).

The general quintic can be solved in terms of Jacobi theta functions, as was first done by Hermite in 1858. Kronecker subsequently obtained the same solution more simply, and Brioschi also derived the equation. To do so, reduce the general quintic
(2)

into Bring quintic form
(3)

Defining
(4)

(5)

(6)

where k is the elliptic modulus, the roots of the original quintic are then given by


(7)



(8)



(9)



(10)



(11)

where
(12)

is the inverse nome, which is expressible as a ratio of Jacobi theta functions.

Euler reduced the general quintic to
(13)

A quintic also can be algebraically reduced to principal quintic form
(14)

By solving a quartic, a quintic can be algebraically reduced to the Bring quintic form, as was first done by Jerrard. Runge (1885) and Cadenhad and Young found a parameterization of solvable quintics in the form
(15)

by showing that all irreducible solvable quintics with coefficients of , , and missing have the following form
(16)

where and are rational.

Spearman and Williams (1994) showed that an irreducible quintic of the form (15) having rational coefficients is solvable by radicals iff there exist rational numbers ,, and such that
(17)

(18)

(Spearman and Williams 1994). The roots are then
(19)

where
(20)

(21)

(22)

(23)

(24)

(25)

(26)

(27)

(28)

Felix Klein used a Tschirnhausen transformation to reduce the general quintic to the form
(29)

He then solved the related icosahedral equation
(30)

where Z is a function of radicals of a, b, and c. The solution of this equation can be given in terms of hypergeometric functions as
(31)

Another possible approach uses a series expansion, which gives one root (the first one in the list below) of the Bring quintic form. All five roots can be derived using differential equations (Cockle 1860, Harley 1862). Let
(32)

(33)

(34)

(35)

then the roots are
(36)

(37)

(38)

(39)

(40)

This technique gives closed form solutions in terms of hypergeometric functions in one variable for any polynomial equation which can be written in the form
(41)

Consider the quintic
(42)

where and and are complex numbers, which is related to de Moivre's quintic (Spearman and Williams 1994), and generalize it to
(43)

Expanding,




(44)

where
(45)

(46)

(47)

(48)

(49)

(50)

(Spearman and Williams 1994). The s satisfy
(51)

(52)

(53)



(54)

(Spearman and Williams 1994).
0

评论Comments

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