Professional Documents
Culture Documents
TMP 6817-Paper1473520488
TMP 6817-Paper1473520488
TMP 6817-Paper1473520488
II.
III.
IV.
V.
Introduction
A. The cubic and quartic in history
B.
The quadratic equation
Solution to the cubic
Solution to the quartic
Examples
Conclusion
I. Introduction
A. Historical background
The solution of the cubic and quartic equations is important in the history of
mathematics for several reasons. First, it was the first major advance by modern man
since the time of the ancient Greeks. It was the first mathematical formula unknown to
the ancients. Second, it forced mathematicians to take both complex numbers and
negative numbers seriously. And, more importantly, it led to the study of the theory of
equations, culminating in the nineteenth century in the proof of the insolvability of the
quintic.
There are a number of key figures in the triumph of the cubic and quartic formulas.
Omar Khayyam (1048-1123) used intersections of conics to give geometric
constructions of roots of cubics. Leonardo of Pisa (Fibonacci) (c1180-1245) had an
approximation formula for certain forms of the cubic. About 1515, Scipione del Ferro
(d1526) discovered a method for finding the roots of several forms of the cubic and
shared these secrets with some of his students. Antonio Ma Flor, one of these students,
challenged mathematicians, in 1535, to a problem-solving contest involving the cubic.
Niccolo Fontana (Tartaglia, 'the stammerer') (c1500-1557) answered the call and
found the general solution. Giralamo Cardano (1501-1576), published the secret
formula in his treatise Ars Magna (The Great Art, or The Rules of Algebra), in 1535,
with due credit to Tartaglia.
The quartic formula was discovered by Lodovici Ferrari (1522-1565) in 1540. A
similar formula was found by Rene Descartes (1596-1650) around the same time.
For hundreds of years, mathematicians sought some generalization of the classical
formulas that would give the roots of any polynomial. Finally, P. Ruffini (1765-1822),
in 1799, and Niels Henrik Abel (1802-1829), in 1824, proved that no such formula
exists for the general quintic. Evariste Galois (1811-1832) was able to determine
precisely those polynomials whose roots can be found (and, in so doing, founded the
theory of groups).
B. The quadratic equation
The solution of the quadratic equation: ax2 + bx + c = 0 is familiar to every student of
intermediate algebra:
x1, x2 =
b b 2 4ac
2a
with the discriminant = {+, two real roots; -, two complex roots; 0, one double root}
and with the properties:
b ;
c.
x1 + x2 =
II.
x1 x2 =
The solution to the cubic: ax3 + bx2 + cx + d = 0 will be patterned after the quadratic
formula. Assume: a =1. The discriminant = (x1 x2 )2 (x1 x3 )2 (x2 x3 )2 = {+, three real
roots; -, two complex roots; 0, multiple roots}.
Step 1. Let
b
x= y .
3
y 3 + py + q = 0
p =c
Step 2. Let y = z p
3z
b3
3
() ()
2
bc 2b 3
+
.
3 27
p
=0
3
z 3 + q z3
q
z3 =
2
p then: y = z + z
y2 = z1 + 2 z2
y3 = 2 z1 + z2
z1z2 = ,
1
1
2
3
3
2
1
3
= + i , complex cube root of unity, with identities: =1; 1+ + = 0 .
2
2
= 4 p 3 27q 2.
y1 + y2 + y3 = 0 ; y1 y2 + y2 y3 + y3 y1 = p ; y1 y2 y3 = q
Choose:
Case 1.
p2 q2
+
9 4
=0
z1 = z2 = 3
y1 = z1 + z2 = 3 4q ;
q
2
y2 = z1 + 2 z2 = (1)z1 = 3
q ;
2
y3 = y2 .
q
z1, z2 =
2
Case 2. < 0 .
p
3
y1 = z1 + z2 ;
Case 3. > 0 .
q
+
2
y2 , y3 =
1
(z1 + z2 ) i (z1 z2 ) 3
2
2
Reduced equation: y 3 + py + q = 0
p < 0.
p
2n ,
yn = 2 cos +
3
3
III.
A. Ferrari
Let x = y b
4
Add:
(1*)
n = 0, 1, 2.
x 4 + bx3 + cx2 + dx + e = 0.
y + py + qy + r = 0,
4
y2 z +
or y = py 2 qy r.
z 2 to both sides:
4
2 z
y +
2
z2
= (z p)y 2 qy +
y + z = (my +k ).
= (my+ k )2 ;
m, k to be determined.
2
In (*1), RHS is quadratic in y2. It is a perfect square if discriminant is zero, ie:
z2
, or (*2)
z 3 pz 2 4rz + 4 pr q 2 = 0,
q 2 4(z p ) r = 0
4
Ex. 1.
y 4 + 3 y 2 2 y + 3 = 0.
(*2) becomes:
2
2
2
z 3 3z 2 12 z + 32 = 0, which has root: z = 4. Thus: ( y + 2 ) = y + 2 y + 1 = ( y + 1)
y 2 + 2 = +(y +1)
y 2 + 2 = (y +1)
1
3
y = i
2
2
1
11 .
y = i
2
2
B.
y 4 + py 2 + qy + r = 0.
Factor: (*3)
m+nk2
= p m+n =
k (n m) = q
p+k2
+ (kn km)y + mn
mn = r
2m = p + k 2 q / k
2n = p + k 2 + q / k
4r = 2n2m = p + k 2 +
q
2 q ,
p + k
k
k
(k ) + 2 p(k ) + (p 4r)k
2 3
or:
2 2
q 2 = 0.
(*4)
Ex. 2. y 4 3 y 2 + 6 y 2 = 0
) ( )
3
2
k 2 6 k 2 +17k 2 36 = 0 with root k 2 = 4. Thus:
)(
y 4 3 y 2 + 6 y 2 = y + 2 y 1 y 2 + 2 y + 2
y1 = 1 + 2 ;
y2 = 1 2 ;
y4 =1 i .
y3 =1 + i ;
IV. Examples
x 3 + 7 x 2 + 11x + 5 = 0
Ex. 1.
b = 7, c = 11, d = 5
= 4 p 3 27q 2 = 0
q
q 4
y1 = 3 4q =
y2 = y3 = 3 =
2 3
3
p = 6;q = 9
x3 6x 9 = 0
Ex. 2.
x= y
b 2 16
= ;
3 3
multiple roots:
p =c
x = y
b
3
= 1323
q=d
x1 = 5 ,
bc 2b 3 128
+
=
3 27 27
x2 = x3 = 1
x1 = z1 + z2 = 3; x , x = 1 (z1 + z2 ) i (z1 z2 ) 3 = 1 3i 3
2 3
2
2
2
2 x3 5x 2 x + 6 = 0
x 5 x 1 x + 3 = 0 b = 5 ,c = 1 ,d = 3
2
2
2
2
= 225
Ex. 3.
16
p=
31
77
,q =
12
54
3/ 2
q 3
1
= cos1
3
2 p
7;
11;
y1 =
y2 =
6
6
y3 =
b =1,c = 0, d = 2
= 0.89102
2
;
3
p
2n
yn = 2 cos +
3
3
3
b
x1 = y1 = 2; x2 = 1; x3 = .
3
2
x3 + x 2 2 = 0
Ex. 4. (Curio):
= 4 p 3 27q 2 =
p =c
3
b2
1
= ; q = d bc + 2b = 52
3
3
3 27
27
212
27
;
;
q
p3 q 2 1 3
1
z1, z2 = 3
+
= 2615 3 y1 = z1 + z2 = 3 2615 3 +3 2615 3
2 27 27 3
3
1
i 3
1
i
3
y2 , y3 = (z1 + z 2 )
(z1 z2 ) = 3 26+15 3 +3 2615 3 3 26+15 3 3 2615 3
2
2
6
1;
1
x = y
x1 = 3 26+15 3 +3 2615 3 1
3
3
1 3
i 3 3
3
x2 , x3 = 26+15 3 + 3 2615 3 + 2
26+15 3 2615 3
6
V.
Conclusion
Beachy, J and Blair, W, 1966. Abstract Algebra, 2nd ed, Prospect Hts, IL:
Waveland Press, Inc., p396-403.
Fraleigh, J, 1999. Abstract Algebra, 6th ed, Reading, MA: Addison-Wesley,
p488-94.
Rotman, J, 2000. Abstract Algebra, 2nd ed, Upper Saddle River, NJ: PrenticeHall, p345-63.
Sullivan, M, 2002. Algebra & Trigonometry, 6th ed, Upper Saddle River, NJ:
Prentice-Hall, p370.
Uspensky, JV, 1948. Theory of Equations, NY: McGraw-Hill Book Co., p82-98.