Algebra&Geometry / modules 3-4 / lect02
.pdfЛекция 2. Формула Кардано
1. Решение уравнения третьей степени
Решение уравнения третьей степени x3 + ax2 + bx + c = 0, a; b; c 2 C, мы начинаем с преобразования левой части с помощью замены переменной x := x ¡ a=3. Тогда
³ |
a |
´ |
3 |
³ |
a |
´ |
2 |
³ |
a |
´ |
a2 |
|
ba 2a3 |
|||
x ¡ |
3 |
|
|
+ a x ¡ |
3 |
|
|
+ b x ¡ |
3 |
+ c = x3 + µb ¡ |
3 |
¶x + c ¡ |
3 |
+ |
27 |
= x3 + px + q: |
Уравнение x3 +px+q = 0 имеет три корня и пусть x0 один из них. Рассмотрим многочлен f(u) = u2 ¡x0u¡p=3, где u переменная. У этого многочлена есть два корня ® и ¯. По теореме Виета ® + ¯ = x0 и ®¯ = ¡p=3. Следовательно,
(® + ¯)3 + p(® + ¯) + q = 0
или
®3 + ¯3 + (3®¯ + p)(® + ¯) + q = ®3 + ¯3 + q = 0:
Таким образом,
®3 + ¯3 = ¡q и ®3¯3 = ¡p3=27:
Из этих двух равенств вытекает, что числа ®3 и ¯3 являются корнями квадратного уравнения z2 +qz¡p3=27 = 0. Поэтому
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
+ r |
q2 |
p3 |
p |
|
|
||
®3 |
= ¡ |
|
|
+ |
|
; ¯ = ¡ |
|
; а x0 |
= ® + ¯: |
|
2 |
4 |
27 |
3® |
Эта формула для корней уравнения третьей степени называется формулой Кардано.
Замечание. Выбор корня x0 не имеет значения, поскольку числа ® и ¯ зависят лишь от коэффициентов уравнения x3 + px + q = 0, а не от его корней.
Замечание. Знак „+\ перед корнем из комплексного числа
q2 + p3
4 27
особого |
3смысла не имеет: мы выбираем один из квадратных корней, прибавляем к нему ¡q=2 и объявляем, что |
|||||||
это ® . Теперь три кубических корня из числа |
|
|
|
|
|
|
||
|
g = ¡2 |
+ r |
|
|
|
|
|
|
|
|
4 |
+ 27 |
|
||||
|
|
q |
|
|
q2 |
|
p3 |
позволяют построить нам три корня исходного уравнения.
Определение 1. Число q2=4 + p3=27 называется дискриминантом многочлена x3 + px + q.
Пример. Рассмотрим уравнение x3 + 3i x + 2 = 0. Здесь p = 3i и q = 2. Следовательно
p p
®3 = ¡1 + 1 ¡ i = ¡1 + 4 2(cos(¼=8) ¡ i sin(¼=8)) ¼ 0:098684113 ¡ 0:4550898607 i ¼
¼ 0:4656665497(cos(77:76509980±) ¡ i sin(77:76509980±)):
Таким образом,
®1 ¼ 0:7751010897(cos(25:92169993±) ¡ i sin(25:92169993±)) ¼ 0:6971199379 ¡ 0:3388295904 i; ®2 ¼ 0:7751010897(cos(94:07830007±) + i sin(94:07830007±)) ¼ ¡0:05512493631 + 0:7731383710 i; ®3 ¼ 0:7751010897(cos(214:0783001±) + i sin(214:0783001±)) ¼ ¡0:6419950023 ¡ 0:4343087798 i:
Соответственно
¯1 = ¡i=®1 ¼ 0:5639812113 ¡ 1:160354816 i; ¯2 = ¡i=®2 ¼ ¡1:286887353 + 0:09175535202 i; ¯3 = ¡i=®3 ¼ 0:7229061411 + 1:068599465 i
и
x1 = ®1 + ¯1 ¼ 1:261101149 ¡ 1:499184406 i; x2 = ®2 + ¯2 ¼ ¡1:342012289 + 0:8648937230 i; x3 = ®3 + ¯3 ¼ 0:0809111388 + 0:6342906852 i:
1
2
2.Вещественные уравнения третьей степени
Вэтом разделе мы обсудим как комплексная формула Кардано дает вещественные корни вещественного уравнения третьей степени.
Рассмотрим график функции y = x3 +px+q. Если p > 0, то производная y0 = 3x2 +p положительна и функция
возрастает, т.е. уравнение имеет ровно один вещественный корень. В этом случае дискриминант положителен.
|
Если p < 0, то положим s := |
¡p > 0. Здесь функция возрастает в интервале (¡1; ¡ s=3), убывает в |
||||||||||||||||||||||||||||||||||||||||||||||||||||
интервале ( |
¡ |
s=3 |
; |
|
s=3) и возрастает в интервале ( |
|
|
s=3 |
; |
1 |
). Наш многочлен имеет три вещественных корня |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
p |
|||||||||
|
|
y( |
|
s=3) > 0 |
и |
y( |
s=3) < 0 |
, т.е. если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
только если p |
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
¡p |
|
p |
|
|
2s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2s |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
+ q > 0 и ¡ |
|
|
|
|
r |
|
|
+ q < 0: |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
3 |
|
3 |
3 |
||||||||||||||||||||||||||||||||||
Это означает, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
2s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4s3 |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
jqj < |
|
|
|
r |
|
|
|
или q2 < |
|
|
|
|
или d < 0: |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
3 |
27 |
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Если d > 0, тогда число g = ¡q=2 + d вещественно. Пусть h вещественный корень кубический из g, тогда |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
единственный вещественный корень нашего многочлена равен h ¡ p=3h. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Если d < 0, то положим c = p |
¡d |
и g = ¡q=2 + c i. Тогда |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q2 |
|
q2 |
|
|
p3 |
|
|
|
|
|
p3 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
jgj2 |
= |
|
|
|
¡ |
|
|
¡ |
|
|
= ¡ |
|
: |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
4 |
27 |
27 |
||||||||||||||||||||||||||||
(Напомним, что в этом случае p < 0.) Пусть h = |
|
|
|
|
|
и ' = arg(g)=3. Тогда ® = h(cos(') + i sin(')) корень |
||||||||||||||||||||||||||||||||||||||||||||||||
p2¡ |
p=3 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
кубический из g, а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
¯ = ¡p=3® = 3h =3® = h(cos(') ¡ i sin(')): |
|||||||||||||||||||||||||||||||||||||||||
Следовательно, число ® + ¯ вещественно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
2 |
Если3 d = 0,2то p < 0, и найдется такое положительное число c, что q = §2c3, а p = ¡3c2. Но тогда многочлен |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
x |
¡ 3c x § 2c |
разлагается на множители: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 ¡ 3c3x § 2c2 = (x ¨ c)2(x § 2c);
т.е. уравнение x2 ¡ 3c3x § 2c2 = 0 имеет три вещественных корня, два их которых совпадают.