Приведем одно полезное равенство. Пусть x
1, x
2 - корни первого квадратного уравнения, а x
3, x
4 - корни второго. Тогда по теореме Виета
x1x2 = t0/2 - h, x3x4 = t0/2 + h.
Сложив эти два равенства, получим выражение для вспомогательной переменной t
0 через корни исходного уравнения:
t0 = x1x2 + x3x4.
Рассмотрим на примерах решения уравнений 4 порядка методом Феррари.
Примеры решения уравнений четвертого порядка методом Феррари
Пример 1.
Решить уравнение x
4 + 2x
3 - 6x
2 - 5x + 2 = 0.
Решение.
Для исходного уравнения a=2, b=-6, c=-5, d=2. Выделим полный квадрат в левой части уравнения
x4 + 2x3 - 6x2 - 5x + 2 = (x2 + x + t/2)2 - x2 - tx - t2/4 - tx2 - 6x2 - 5x + 2 =
 (x2 + x + t/2)2 - [(t+7)x2 + (t+5)x + t2/4 - 2].
Приравняем к нулю дискриминант выражения в квадратных скобках D = (t+5)
2- 4(t+7)(t
2/4 - 2) = 0.
После раскрытия скобок получаем t
3 + 6t
2 - 18t - 81 = 0. Целочисленные решения этого уравнения надо искать среди делителей свободного члена -81: ±1, ±3,... .
Непосредственной подстановкой убеждаемся, что t = -3 является решением кубического уравнения. Следовательно, многочлен в квадратных скобках при t=-3 представляет собой полный квадрат:
4x2 + 2x + 1/4 = (2x+1/2)2.
Таким образом, получаем
x4 + 2x3 - 6x2 - 5x + 2 = 0 <=>(2x+1/2)2 = 0.
Раскладывая на множители последнее уравнение и приравнивая множители к нулю, получим два квадратных уравнения
x2 - x - 2 = 0 или x2 + 3x - 1 = 0.
Решения этих квадратных уравнений дадут нам 4 действительных корня исходного уравнения:
x1 = -1, x2 = 2, x3,4 = (-3±√13)/2.
Ответ: (-3-√13)/2, -1, (-3+√13)/2, 2.
Пример 2.
Решить уравнение x
4 - 2x
3 + 4x
2 - 2x + 3 = 0.
Решение.
Для исходного уравнения a=-2, b=4, c=-2, d=3. Выделим полный квадрат в левой части уравнения
x4 - 2x3 + 4x2 - 2x + 3 = (x2 - x + t/2)2 - x2 + tx - t2/4 + tx2 + 4x2 - 2x + 3 =
 (x2 - x + t/2)2 - [(t-3)x2 + (-t+2)x + t2/4 - 3].
Приравняем к нулю дискриминант выражения в квадратных скобках D = (-t+2)
2 - 4(t-3)(t
2/4 - 3) = 0.
После раскрытия скобок получаем t
3 - 4t
2 - 8t + 32 = 0. Целочисленные решения этого уравнения надо искать среди делителей свободного члена 32: ±1, ±2, ±4,... .
Легко видеть, что t
0 = 4 является решением кубического уравнения. Следовательно, многочлен в квадратных скобках при t=4 представляет собой полный квадрат:
x2 - 2x + 1 = (x - 1)2.
Таким образом, получаем
x4 - 2x3 + 4x2 - 2x + 3 = 0 <=> (x2 - x + 2)2 - (x-1)2 = 0 <=> (x2 - 2x + 3)(x2 + 1) = 0.
Приравнивая множители к нулю, получим два квадратных уравнения
x2 - 2x + 3 = 0 или x2 + 1 = 0.
Решения этих квадратных уравнений дадут нам 4 комплексных корня исходного уравнения:
x1,2 = 1±i√2, x3,4 = ±i.
Ответ: 1-i√2, 1+i√2, -i, i.
Пример 3.
Решить уравнение x
4 - 2x
3 - 10x
2 + 24x - 24 = 0.
Решение.
Для исходного уравнения a=-2, b=-10, c=24, d=-24. Выделим полный квадрат в левой части уравнения
x4 - 2x3 - 10x2 + 24x - 24 = (x2 - x + t/2)2 - x2 + tx - t2/4 - tx2 - 10x2 + 24x - 24 =
 (x2 - x + t/2)2 - [(t+11)x2 - (t+24)x + t2/4 + 24].
Приравняем к нулю дискриминант выражения в квадратных скобках D = (t+24)
2- 4(t+11)(t
2/4 + 24) = 0.
После раскрытия скобок получаем t
3 + 10t
2 + 48t + 480 = 0.
Легко убедиться простой подстановкой, что t = -10 является решением кубического уравнения. Следовательно, многочлен в квадратных скобках при t=-10 представляет собой полный квадрат:
x2 - 14x + 49 = (x - 7)2.
Таким образом, получаем
x4 - 2x3 - 10x2 + 24x - 24 = 0 <=> (x2 - x - 5)2 - (x-7)2 = 0 <=> (x2 - 2x + 2)(x2 - 12) = 0.
Приравнивая множители к нулю, получим два квадратных уравнения
x2 - 2x + 2 = 0 или x2 - 12 = 0.
Решения этих квадратных уравнений дадут нам 4 корня исходного уравнения: 2 комплексных и 2 дейстительных.
x1,2 = 1±i, x3,4 = ±2√3.
Ответ: 1-i, 1+i, -2√3, 2√3.
Пример 4.
Решить уравнение x
4 + 4x - 1 = 0.
Решение.
Для исходного уравнения a=0, b=0, c=4, d=-1. Выделим полный квадрат в левой части уравнения
x4 + 4x - 1 = (x2 + t/2)2 - x2t - t2/4 + 4x - 1 =
 (x2 + t/2)2 - [tx2 - 4x + t2/4 + 1].
Приравняем к нулю дискриминант выражения в квадратных скобках D = 4
2- 4t(t
2/4 + 1) = 0.
После раскрытия скобок и деления на 4 обеих частей равенства получаем t
3 + 4t -16 = 0. Целочисленные решения этого уравнения надо искать среди делителей свободного члена -16.
Непосредственной подстановкой убеждаемся, что t = 2 является решением кубического уравнения. Следовательно, многочлен в квадратных скобках при t=2 представляет собой полный квадрат:
2x2 - 4x + 2 = (√2x-√2)2.
Таким образом, получаем
x4 + 4x - 1 = 0 <=> (x2 + 1)2 - (√2x-√2)2 = 0
<=> (x2 - √2x + 1 + √2)(x2 + √2x + 1 - √2) = 0.
Приравнивая множители к нулю, получим два квадратных уравнения
x2 - √2x + 1 + √2 = 0 или x2 + √2x + 1 - √2 = 0.
Решения этих квадратных уравнений дадут нам 4 корня исходного уравнения: 2 комплексных и 2 дейстительных.
Ответ: