Резольвента алгебраического уравнения

Резольвента алгебраического уравнения $f(x)=0$ степени $n$ — это алгебраическое уравнение $g(y)=0$ с коэффициентами, рационально зависящими от коэффициентов $f(x)$, такое, что знание корней этого уравнения позволяет решить исходное уравнение путём решения более простых уравнений (то есть таких, что их степень не больше $n$).

Также резольвентой называют само рациональное выражение $y=y(x_{1},x_{2},\dots ,x_{n})$, то есть зависимость корней резольвенты как уравнения $g(y)=0$ от корней исходного уравнения.

Резольвенты уравнений низших степеней от одной переменной

Неформально, идея получения резольвент алгебраических уравнений, согласно Лагранжу, состоит в следующем. Составим некоторое, желательно как можно более простое, алгебраическое выражение от корней исходного уравнения со следующими свойствами:

• число различных значений выражения при всевозможных перестановках корней было бы меньше степени исходного уравнения;
• элементарные симметрические многочлены от значений выражения были бы функциями элементарных симметрических многочленов от корней исходного уравнения. Тогда коэффициенты уравнения, корнями которого являются найденные значения выражения, рационально выражаются, согласно соотношениям Виета, через коэффициенты исходного уравнения;
• получившаяся система уравнений с неизвестными - корнями исходного уравнения - приводилась бы к линейной и была бы совместной.

Таким образом, последовательность действий:

1. найти соответствующее выражение от корней;
2. вычислить коэффициенты уравнения-резольвенты, корнями которого являются значения найденного выражения, через коэффициенты исходного;
3. найти корни резольвенты;
4. наконец, восстановить корни исходного уравнения по найденным корням резольвенты.

Согласно теории циклических расширений, решение в радикалах общего алгебраического уравнения возможно до его степени не выше четвёртой. Ниже приводятся примеры резольвент алгебраических уравнений второй, третей и четвёртой степени от одной переменной, и показано (без привлечения общей теории и только элементарными вычислениями), как получить сами резольвенты и на их основании общее решение соответствующих уравнений.

Резольвента квадратного уравнения

Вывод по выражению для корней

Дано квадратное уравнение:

$ax^{2}+bx+c=0$

Найдём линейную резольвенту. Запишем простейшее нетривиальное равенство, не меняющееся при перестановке $x_{1}$ и $x_{2}$ местами

$(x_{1}-x_{2})^{2}=y_{1}$

или

$(x_{1}+x_{2})^{2}-4x_{1}x_{2}=y_{1}$.

Учитывая $x_{1}+x_{2}=-b/a$, $x_{1}x_{2}=c/a$,

$(b/a)^{2}-4c/a=y_{1}$,

и $y_{1}$ будет корнем резольвенты - линейного уравнения

$a^{2}y-b^{2}+4ca=0\qquad \qquad \qquad \qquad (1.1)$

Решим систему

${\begin{cases}(x_{1}-x_{2})^{2}=y_{1}\\x_{1}+x_{2}=-b/a\\\end{cases}}$

Выберем знак $+$ при извлечении квадратного корня, тогда её решение

${\begin{aligned}x_{1}&=({\sqrt {y_{1}}}-b/a)/2\\x_{2}&=(-{\sqrt {y_{1}}}-b/a)/2\\\end{aligned}}\qquad \qquad \qquad \qquad (1.2)$

Выбор другого знака перед корнем меняет решения местами. Отметим здесь, что замена знаков перед квадратным корнем эквивалентна вычислению комплекснозначной функции квадратный корень, всегда имеющей два (кроме аргумента, равного нулю) различных значения, например $\ {\sqrt {i}}_{1,2}=\left(e^{\frac {\pi i}{4}},e^{\frac {5\pi i}{4}}\right)=\left({\frac {\sqrt {2}}{2}}(1+i),-{\frac {\sqrt {2}}{2}}(1+i)\right)$.

Резольвента кубического уравнения

Дано приведённое кубическое уравнение, обычно его записывают в виде

$x^{3}+3px+2q=0\quad \quad \quad \quad \quad \quad (2.1)$

Прямой вывод

Запишем тождество

$(a+b)^{3}-3ab(a+b)-a^{3}-b^{3}=0\quad \quad \quad \quad \quad \quad (2.2)$

Тогда, по построению

$x_{1}=a+b\quad \quad \quad \quad \quad \quad (2.3)$

будет корнем уравнения

$x^{3}-3abx-a^{3}-b^{3}=0\quad \quad \quad \quad \quad \quad (2.4)$

Найдём остальные корни (2.4). По следствию из теоремы Безу (2.2) делится на двучлен $x-(a+b)$ без остатка. Поделим:

$x^{3}-3abx-a^{3}-b^{3}=(x-(a+b))(x^{2}+(a+b)x+a^{2}-ab+b^{2})$

и найдём корни второго сомножителя

$x^{2}+(a+b)x+a^{2}-ab+b^{2}=0$

с помощью резольвенты (1.1):

$y_{1}=(a+b)^{2}-4(a^{2}-ab+b^{2})=-3(a-b)^{2}$,

и согласно (1.2)

${\begin{aligned}x_{2}=\rho a+\rho ^{2}b\\x_{3}=\rho ^{2}a+\rho b\\\end{aligned}}\quad \quad \quad \quad \quad \quad (2.5)$,

где $\rho ={\frac {-1+i{\sqrt {3}}}{2}}$ — первообразный кубический корень из единицы, его свойства:

$\rho ^{2}={\frac {-1-i{\sqrt {3}}}{2}}$, $\rho ^{2}+\rho =-1$, $\rho ^{3}=1$, $(\rho ^{2})^{3}=1$, $\rho ^{4}=\rho \quad \quad \quad \quad \quad \quad (2.6)$.

Итак, (2.4) мы решать умеем, осталось привести (2.1) к виду (2.4). Чтобы корни у уравнений (2.1) и (2.4) совпали, у них должны быть одинаковые коэффициенты при степенях $x$ и свободные члены. Если будут найдены $a$ и $b$ как выражения от $p$ и $q$, то решения (2.1) также будут известны. Приравняв коэффициенты, получим систему:

${\begin{cases}p=-ab\\2q=-a^{3}-b^{3}\\\end{cases}}\quad \quad \quad \quad \quad \quad (2.7)$

Возведя в куб первое уравнение (2.7), получим затем квадратное уравнение относительно $a^{3}$ и $b^{3}$

$y^{2}+2qy-p^{3}=0\quad \quad \quad \quad \quad \qquad (2.8)$,

которое и будет резольвентой для уравнения (2.1). Её корни

$y_{1,2}=-q\pm {\sqrt {q^{2}+p^{3}}}$.

Возвращаясь к исходной переменной ($a={\sqrt[{3}]{y_{1}}}$ ; $b={\sqrt[{3}]{y_{2}}}$), из (2.3), (2.5) находим все корни (2.1):

$x_{1}={\sqrt[{3}]{-q+{\sqrt {q^{2}+p^{3}}}}}+{\sqrt[{3}]{-q-{\sqrt {q^{2}+p^{3}}}}}$

$x_{2}=\rho {\sqrt[{3}]{-q+{\sqrt {q^{2}+p^{3}}}}}+\rho ^{2}{\sqrt[{3}]{-q-{\sqrt {q^{2}+p^{3}}}}}$

$x_{3}=\rho ^{2}{\sqrt[{3}]{-q+{\sqrt {q^{2}+p^{3}}}}}+\rho {\sqrt[{3}]{-q-{\sqrt {q^{2}+p^{3}}}}}$

При вычислении двух кубических корней нужно выбирать такое одно из трёх значений комплекснозначной функции кубический корень, чтобы удовлетворялось первое из соотношений (2.7). Во всех трёх решениях это выбранное для каждого корня значение должно быть одинаковым.

Вывод по выражению для корней

Пусть нам неизвестно о существовании резольвенты (2.8). Отыщем её по выражению для корней. Найдём выражение, принимающее два значения при $3!=6$ перестановках корней исходного уравнения (2.1). Рассмотрим:

$\left(x_{1}+\rho x_{2}+\rho ^{2}x_{3}\right)^{3}\quad \quad \quad \quad \quad \quad (2.9)$,

Из (2.6) следуют свойства выражения (2.9) под степенью:

$x_{1}+\rho x_{2}+\rho ^{2}x_{3}=\rho \left(x_{2}+\rho x_{3}+\rho ^{2}x_{1}\right)=\rho ^{2}\left(x_{3}+\rho x_{1}+\rho ^{2}x_{2}\right)\quad (2.10)$,

и при возведении в куб все три дают одно и то же, то есть значение (2.9) не меняется при цикле $(123)$. Транспозиция $(1)(23)$ даёт другое выражение, таким образом из шести возможных перестановок всего две уникальных, положим:

${\begin{aligned}y_{1}=\left({\frac {x_{1}+\rho x_{2}+\rho ^{2}x_{3}}{3}}\right)^{3}\\y_{2}=\left({\frac {x_{1}+\rho x_{3}+\rho ^{2}x_{2}}{3}}\right)^{3}\end{aligned}}\quad \quad \quad \quad \quad \quad (2.11)$,

где ${\frac {1}{3}}$ - нормирующий множитель. Вычисления сумм и произведений через коэффициенты исходного уравнения дают нам коэффициенты резольвенты (2.8):

${\begin{aligned}y_{1}+y_{2}&=-2q\quad \quad \quad \quad \quad (2.12)\\y_{1}y_{2}&=-p^{3}\quad \quad \quad \quad \quad (2.13)\end{aligned}}$

Вычисление

Обозначим

${\begin{aligned}R&=x_{1}x_{2}^{2}+x_{1}^{2}x_{3}+x_{2}x_{3}^{2}\\S&=x_{1}^{2}x_{2}+x_{1}x_{3}^{2}+x_{2}^{2}x_{3}\end{aligned}}\quad \quad \quad \quad \quad (2.14)$

Вычислим кубы (2.11), используя равенства (2.10) для первого выражения и аналогичные для второго (вместо вычисления куба перемножаем три выражения (2.10)). Получим:

$27y_{1}=x_{1}^{3}+x_{2}^{3}+x_{3}^{3}+3\rho ^{2}R+3\rho S+6x_{1}x_{2}x_{3}$

$27y_{2}=x_{1}^{3}+x_{2}^{3}+x_{3}^{3}+3\rho ^{2}S+3\rho R+6x_{1}x_{2}x_{3}$

В соответствии с тождествами Ньютона:

${\begin{aligned}x_{1}^{3}+x_{2}^{3}+x_{3}^{3}+6x_{1}x_{2}x_{3}&=\ e_{1}^{3}-3e_{2}e_{1}+3e_{3}+6e_{3}&=\\9e_{3}&=-18q\end{aligned}}\quad \quad \quad \quad \quad (2.15)$

где $e_{1}=x_{1}+x_{2}+x_{3}=0$; $e_{2}=x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}=3p$; $e_{3}=x_{1}x_{2}x_{3}=-2q$, тогда

${\begin{aligned}9y_{1}&=\rho ^{2}R+\rho S-6q\\9y_{2}&=\rho ^{2}S+\rho R-6q\end{aligned}}\quad \quad \quad \quad \quad (2.16)$

Докажем равенство (2.12). Сложим (2.16) :

${\begin{aligned}9(y_{1}+y_{2})&=(\rho ^{2}+\rho )R+(\rho ^{2}+\rho )S-12q\\&=-(R+S+12q)\end{aligned}}$

где использовано (2.6). Вычислим $R+S$:

${\begin{aligned}R+S&=x_{1}x_{2}(x_{1}+x_{2})+x_{1}x_{3}(x_{1}+x_{3})+x_{2}x_{3}(x_{2}+x_{3})\\&=(x_{1}+x_{2}+x_{3})(x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3})-3x_{1}x_{2}x_{3}\\&=e_{1}e_{2}-3e_{3}=6q\end{aligned}}$

или

$y_{1}+y_{2}={\frac {-(6q+12q)}{9}}=-2q$.

Вывести (2.13) несколько сложнее. Перемножим (2.16):

${\begin{aligned}3^{4}y_{1}y_{2}&=(\rho ^{2}R+\rho S-6q)(\rho ^{2}S+\rho R-6q)\\&=(\rho ^{2}R+\rho S)(\rho ^{2}S+\rho R)-6q(\rho ^{2}+\rho )(R+S)+36q^{2}\\&=(\rho ^{2}+\rho )RS+R^{2}+S^{2}+6q(R+S)+36q^{2}\\&=-RS+(R+S)^{2}-2RS+6q(R+S)+36q^{2}\\&=36q^{2}+36q^{2}+36q^{2}-3RS\\&=108q^{2}-3RS\end{aligned}}$

Осталось найти $RS$. Из (2.14) после перемножения:

$RS=x_{1}x_{2}x_{3}(x_{1}^{3}+x_{2}^{3}+x_{3}^{3})+3x_{1}^{2}x_{2}^{2}x_{3}^{2}+T\quad \quad \quad \quad \quad (2.17)$,

где первые слагаемые уже мы знаем, а $T=x_{1}^{3}x_{2}^{3}+x_{1}^{3}x_{3}^{3}+x_{2}^{3}x_{3}^{3}$ вычислим отдельно:

$T=x_{1}^{3}x_{2}^{3}x_{3}^{3}\left({\frac {1}{x_{1}^{3}}}+{\frac {1}{x_{2}^{3}}}+{\frac {1}{x_{3}^{3}}}\right)$

Выражение в скобках - это сумма кубов корней уравнения (2.1), где произведена замена $x$ на ${\frac {1}{x'}}$:

$2qx'^{3}+3px'^{2}+1=0$.

Элементарные симметрические многочлены для него: $e_{1}'=-{\frac {3p}{2q}}$, $e_{2}'=0$, $e_{3}'=-{\frac {1}{2q}}$. Из тождеств Ньютона

$x_{1}'^{3}+x_{2}'^{3}+x_{2}'^{3}=e_{1}'^{3}+3e_{3}'$

получим

${\begin{aligned}T&=e_{3}^{3}(e_{1}'^{3}+3e_{3}')\\&=-8q^{3}\left(\left(-{\frac {3p}{2q}}\right)^{3}-{\frac {3}{2q}}\right)\\&=27p^{3}+12q^{2}\end{aligned}}\quad \quad \quad \quad \quad (2.18)$

Теперь (2.17) вычислено:

${\begin{aligned}RS&=e_{3}\cdot 3e_{3}+3e_{3}^{2}+T\\&=12q^{2}+12q^{2}+27p^{3}+12q^{2}\\&=36q^{2}+27p^{3}\end{aligned}}$

Окончательно

$3^{4}y_{1}y_{2}=108q^{2}-3(36q^{2}+27p^{3})=-3^{4}p^{3}$,

и (2.13) доказано.

Далее можно решать получившуюся систему:

${\begin{aligned}{\begin{cases}\left({\frac {x_{1}+\rho x_{2}+\rho ^{2}x_{3}}{3}}\right)^{3}&=y_{1}\\\left({\frac {x_{1}+\rho x_{3}+\rho ^{2}x_{2}}{3}}\right)^{3}&=y_{2}\\x_{1}+x_{2}+x_{3}&=0\end{cases}}\end{aligned}}\quad \quad \quad \quad \quad \quad (2.19)$.

Извлекая кубические корни из правых частей (2.19), имеем систему линейных уравнений:

${\begin{aligned}{\begin{cases}x_{1}+\rho x_{2}+\rho ^{2}x_{3}&=3{\sqrt[{3}]{y_{1}}}\\x_{1}+\rho ^{2}x_{2}+\rho x_{3}&=3{\sqrt[{3}]{y_{2}}}\\x_{1}+x_{2}+x_{3}&=0\end{cases}}\end{aligned}}\quad \quad \quad \quad \quad \quad (2.20)$.

Складывая все 3 уравнения, из (2.6) сразу получаем корень $x_{1}$, затем умножая первое уравнение на $\rho ^{2}$, а второе на $\rho$, и сложим все три - получим $x_{2}$. После наоборот - первое на $\rho$, а второе на $\rho ^{2}$ и сложим все три - получим $x_{3}$. Итого, все корни уравнения (2.1):

${\begin{aligned}x_{1}&={\sqrt[{3}]{y_{1}}}+{\sqrt[{3}]{y_{2}}}\\x_{2}&=\rho {\sqrt[{3}]{y_{1}}}+\rho ^{2}{\sqrt[{3}]{y_{2}}}\\x_{3}&=\rho ^{2}{\sqrt[{3}]{y_{1}}}+\rho {\sqrt[{3}]{y_{2}}}\\\end{aligned}}$.

Здесь также необходимо правильно выбрать значения кубических корней. По формулам Виета легко проверяется, что

$3p=x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}=-3{\sqrt[{3}]{y_{1}}}{\sqrt[{3}]{y_{2}}}$

потому нужно выбрать такие значения, чтобы

${\sqrt[{3}]{y_{1}}}{\sqrt[{3}]{y_{2}}}=-p$.

Теперь получим те же (2.11), предполагая, что резольвента (2.8) нам известна. Так как $a^{3}=y_{1}$, $b^{3}=y_{2}$, то решим систему

${\begin{aligned}{\begin{cases}x_{1}&=a+b\\x_{2}&=\rho a+\rho ^{2}b\\x_{3}&=\rho ^{2}a+\rho b\\\end{cases}}\end{aligned}}$

относительно $a$ и $b$. Опять сложим три уравнения, умножая второе на $\rho$ и третье на $\rho ^{2}$, а затем сложим их, умножая второе на $\rho ^{2}$ и третье на $\rho$. Сразу получим

${\begin{aligned}b={\frac {x_{1}+\rho x_{2}+\rho ^{2}x_{3}}{3}}\\a={\frac {x_{1}+\rho ^{2}x_{2}+\rho x_{3}}{3}}\\\end{aligned}}$,

то есть, фактически первые два решения (2.20); и тут же выписывается искомое выражение (2.9).

Резольвента уравнения четвёртой степени

Пусть имеется приведённое уравнение четвёртой степени:

$x^{4}+ax^{2}+bx+c=0\quad \quad \quad \quad \quad \quad (3.1)$

Прямой вывод

Представим уравнение (3.1) в виде произведения двух квадратных трёхчленов:

$(x^{2}+p_{1}x+q_{1})(x^{2}+p_{2}x+q_{2})=0$

Перемножим трёхчлены и приравняем коэффициенты при одинаковых степенях $x$ . Получим систему уравнений:

${\begin{cases}p_{1}+p_{2}=0\\q_{1}+q_{2}+p_{1}p_{2}=a\\p_{1}q_{2}+p_{2}q_{1}=b\\q_{1}q_{2}=c\\\end{cases}}\quad \quad \quad \quad \quad \quad (3.2)$

Из первого уравнения (3.2) обозначим

$p=p_{1}=-p_{2}$

Уравнение запишется так:

$(x^{2}+px+q_{1})(x^{2}-px+q_{2})=0$

Используя последнее обозначение, из второго и четвёртого уравнений (3.2) получим для $q_{1},q_{2}$ квадратное уравнение:

$Q^{2}-(a+p^{2})Q+c=0$

Его корни:

$q_{1,2}={\frac {1}{2}}\left(a+p^{2}\pm {\sqrt {(p^{2}+a)^{2}-4c}}\right)\quad \quad (3.3)$

Из третьего уравнения системы (3.2)

$p(q_{2}-q_{1})=b\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad (3.4)$

Возведя последнее в квадрат и подставив в него разность $(q_{2}-q_{1})^{2}=(p^{2}+a)^{2}-4c$ из (3.3), получим

$p^{2}((p^{2}+a)^{2}-4c)=b^{2}$

Обозначив $y=-p^{2}$, получим кубическое уравнение относительно $y$, которое и будет резольвентой:

$y^{3}-2ay^{2}+(a^{2}-4c)y+b^{2}=0\quad \quad \quad \quad \quad \quad \quad \quad \quad (3.5)$

Заметим, что последнее уравнение является резольвентой также и для исходного (3.1), в котором $b$ заменено на $-b$. Кроме того, можно было бы заменять $y=p^{2}$, но с минусом удобнее для дальнейшего решения.

Вывод по выражению для корней

Получим резольвенту (3.5) по заданным соотношениям для её корней. Составим выражение

$(x_{1}+x_{2})(x_{3}+x_{4})$.

При всевозможных перестановках переменных $x_{i}$ в $x_{j},i,j=1,2,3,4$ получаем всего три разных выражения для $y$:

$y_{1}=(x_{1}+x_{2})(x_{3}+x_{4})$

$y_{2}=(x_{1}+x_{3})(x_{2}+x_{4})\quad \quad \quad \quad \quad \quad (3.6)$

$y_{3}=(x_{1}+x_{4})(x_{2}+x_{3})$

Трём значением соответствует кубическое уравнение, корнями которого они являются. Чтобы его найти, нужно вычислить коэффициенты при степенях $y$ через коэффициенты исходного уравнения (3.1). Сосчитать их неожиданно проще, чем для резольвенты кубического уравнения:

$y_{1}+y_{2}+y_{3}=2a$

$y_{1}y_{2}+y_{2}y_{3}+y_{1}y_{3}=a^{2}-4c\quad \quad \quad \quad \quad \quad (3.7)$

$y_{1}y_{2}y_{3}=-b^{2}$

Вычисление

Первое равенство (3.7):

$y_{1}+y_{2}+y_{3}=2(x_{1}x_{2}+x_{1}x_{3}+x_{1}x_{4}+x_{2}x_{3}+x_{2}x_{4}+x_{3}x_{4})=2a$

Для вычисления второго перепишем (3.6) в виде:

$y_{1}=a-x_{1}x_{2}-x_{3}x_{4}$

$y_{2}=a-x_{1}x_{3}-x_{2}x_{4}$

$y_{3}=a-x_{1}x_{4}-x_{2}x_{3}$

Найдём $y_{1}y_{2}$:

$y_{1}y_{2}=(a-x_{1}x_{2}-x_{3}x_{4})(a-x_{1}x_{3}-x_{2}x_{4})=a^{2}-a(a-x_{1}x_{4}-x_{2}x_{3})+x_{1}^{2}x_{2}x_{3}+x_{2}^{2}x_{1}x_{4}+x_{3}^{2}x_{1}x_{4}+x_{4}^{2}x_{2}x_{3}$

Аналогично

$y_{1}y_{3}=a^{2}-a(a-x_{1}x_{3}-x_{2}x_{4})+x_{1}^{2}x_{2}x_{4}+x_{2}^{2}x_{1}x_{3}+x_{3}^{2}x_{2}x_{4}+x_{4}^{2}x_{1}x_{3}$

$y_{2}y_{3}=a^{2}-a(a-x_{1}x_{2}-x_{3}x_{4})+x_{1}^{2}x_{3}x_{4}+x_{2}^{2}x_{3}x_{4}+x_{3}^{2}x_{1}x_{2}+x_{4}^{2}x_{1}x_{2}$

Складывая последние три равенства, получим:

$y_{1}y_{2}+y_{2}y_{3}+y_{1}y_{3}=3a^{2}-a(y_{1}+y_{2}+y_{3})+$

$x_{1}(x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4})+x_{2}(x_{1}x_{2}x_{4}+x_{1}x_{2}x_{3}+x_{2}x_{3}x_{4})+$

$x_{3}(x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4}+x_{1}x_{2}x_{3})+x_{4}(x_{2}x_{3}x_{4}+x_{1}x_{3}x_{4}+x_{1}x_{2}x_{4})=$

$3a^{2}-2a^{2}-x_{1}(b+x_{2}x_{3}x_{4})-x_{2}(b+x_{1}x_{3}x_{4})-x_{3}(b+x_{1}x_{2}x_{4})-x_{4}(b+x_{1}x_{2}x_{3})=$

$a^{2}-b(x_{1}+x_{2}+x_{3}+x_{4})-4x_{1}x_{2}x_{3}x_{4}=a^{2}-4c$

И третье равенство (3.7):

$y_{1}y_{2}y_{3}=(x_{1}+x_{2})(x_{3}+x_{4})(x_{1}+x_{3})(x_{2}+x_{4})(x_{1}+x_{4})(x_{2}+x_{3})=$

$-(x_{1}+x_{2})^{2}(x_{2}+x_{4})^{2}(x_{2}+x_{3})^{2}=$

$-((x_{1}x_{2}+x_{2}^{2}+x_{1}x_{4}+x_{2}x_{4})(x_{2}+x_{3}))^{2}=$

$-(x_{2}^{2}x_{1}+x_{2}^{3}+x_{2}^{2}x_{3}+x_{2}^{2}x_{4}+x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4})^{2}=$

$-(x_{2}^{2}(x_{1}+x_{2}+x_{3}+x_{4})-b)^{2}=-b^{2}$.

В вычислениях использовано тождество $x_{1}+x_{2}+x_{3}+x_{4}=0$.

Дальнейшее решение

Далее можно действовать двумя способами:

Первый способ

Основная статья: Уравнение четвёртой степени § Решение Феррари

Три корня кубического уравнения (3.5) соответствуют трем наборам чисел $p,q_{1},q_{2}$, которые получаются, если, тремя способами переставляя 4 корня исходного уравнения (3.1), представить его в виде произведения двух квадратных трёхчленов. Поэтому при решении резольвенты (3.5) достаточно выбрать один из корней $y$, при другом выборе корня соответствующие 4 решения уравнения (3.1) будут перестановками решений полученного.

Решив резольвенту (например, по формуле Кардано), выберем любой корень, пусть $y_{1}$.

Теперь нужно вернуться к $p=\pm {\sqrt {-y_{1}}}$ , выбрав любой знак перед квадратным корнем, а затем найти $q_{1},q_{2}$ , выбрав такие знаки перед корнями у решений (3.3), чтобы удовлетворялось равенство (3.4). После не составляет труда найти 4 корня двух трёхчленов. Окончательно:

$x_{1},_{2}=(-p\pm {\sqrt {p^{2}-4q_{1}}})/2$

$x_{3},_{4}=(p\pm {\sqrt {p^{2}-4q_{2}}})/2$,

где $p$ соответствует $q_{1}$ (первый трехчлен), а $-p$ соответствует $q_{2}$ (второй трехчлен).

Второй способ

Основная статья: Уравнение четвёртой степени § Решение Декарта — Эйлера

При решении требуются все 3 корня резольвенты (3.5), пусть они найдены.

Выберем соответствие корня резольвенты $y_{1}$ корням $x_{1},x_{2}$ первого трёхчлена и $x_{3},x_{4}$ второго. Аналогично $y_{2}$ корням $x_{1},x_{3}$ первого трёхчлена и $x_{2},x_{4}$ второго; $y_{3}$ корням $x_{1},x_{4}$ первого трёхчлена и $x_{2},x_{3}$ второго. Тогда для $y_{1}$ имеет место:

$-p^{2}=y_{1}$

По формулам Виета для первого и второго трехчленов соответственно:

$-p=x_{1}+x_{2}$, $p=x_{3}+x_{4}$,

тогда

$y_{1}=-p^{2}=(x_{1}+x_{2})(x_{3}+x_{4})$.

Проделав то же самое для корней $y_{2},y_{3}$ (для каждого будет своё $p$ ), снова получим систему (3.6). Уравнение (соотношение Виета для коэффициента исходного уравнения при $x^{3}$ )

$x_{1}+x_{2}+x_{3}+x_{4}=0\quad \quad \quad \quad \quad \quad \quad \quad \quad (3.8)$

замыкает систему (3.6). Подстановка из (3.8) в три уравнения (3.6) сразу приводит к системе

${\begin{cases}{\begin{aligned}&(x_{3}+x_{4})^{2}=-y_{1}\\&(x_{2}+x_{4})^{2}=-y_{2}\\&(x_{2}+x_{3})^{2}=-y_{3}\\&x_{1}+x_{2}+x_{3}+x_{4}=0\\\end{aligned}}\end{cases}}$

При её решении возникает трудность при выборе знака при извлечении квадратного корня. Можно было бы проверить знак равенства

$p{\sqrt {(p^{2}+a)^{2}-4c}}=b$,

которое получалось в прямом выводе резольвенты (при возведении последнего равенства в квадрат добавились лишние корни с противоположными знаками), последовательно для $p=\pm {\sqrt {-y_{1}}},p=\pm {\sqrt {-y_{2}}},p=\pm {\sqrt {-y_{3}}}$ , но поступим проще. Выберем любой знак при извлечении квадратного корня, например $-$, и запишем систему, обозначив ${\sqrt {-y_{1}}}=u$ , ${\sqrt {-y_{2}}}=v$, ${\sqrt {-y_{3}}}=w$:

${\begin{cases}{\begin{aligned}&x_{3}+x_{4}=-u\\&x_{2}+x_{4}=-v\\&x_{2}+x_{3}=-w\\&x_{1}+x_{2}+x_{3}+x_{4}=0\\\end{aligned}}\end{cases}}$

Это - система линейных уравнений; просто решается подстановкой. Её решение:

${\begin{aligned}x_{1}&=(-u-v-w)/2\\x_{2}&=(-u+v+w)/2\\x_{3}&=(u-v+w)/2\\x_{4}&=(u+v-w)/2\\\end{aligned}}\quad \quad \quad \quad \quad \quad (3.9)$

Заметим, что однократная смена знака любого из слагаемых $u$, либо $v$ либо $w$ переводит решение $\mathbf {x}$ в решение $-\mathbf {x}$ и обратно (например, замена $u$ на $-u$ переводит $(x_{1},x_{2},x_{3},x_{4})$ в $(-x_{2},-x_{1},-x_{4},-x_{3})$). Поэтому, если выбор знаков окажется неверен, то достаточно сменить знак у любого одного слагаемого в решении, и оно станет верным. По соотношениям корней $x_{i}$ с коэффициентами резольвенты нельзя сказать о верном выборе знака, так как она является резольвентой двух уравнений. Значит, надо искать соотношение между корнями и коэффициентами исходного, и в нём должен участвовать коэффициент $b$. Запишем соотношение Виета для него:

$x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4}=-b$

Подставив сюда выражения (3.9), получим

$uvw=b\quad \quad \quad \quad \quad \quad (3.10)$,

Вычисление

Из (3.8) и (3.9)

${\begin{aligned}b&=-(x_{1}x_{2}(x_{3}+x_{4})+(x_{1}+x_{2})x_{3}x_{4})\\&=u(x_{3}x_{4}-x_{1}x_{2})\\&={\frac {u}{4}}\left(u^{2}-(v-w)^{2}-(u^{2}-(v+w)^{2})\right)\\&={\frac {u}{4}}\left(u^{2}-v^{2}+2vw-w^{2}-u^{2}+v^{2}+w^{2}+2vw\right)\\&=4uvw/4=uvw\end{aligned}}$

что означает проверку

${\sqrt {-y_{1}}}{\sqrt {-y_{2}}}{\sqrt {-y_{3}}}=b$,

и если знак окажется неверным, заменим например ${\sqrt {-y_{1}}}$ на $-{\sqrt {-y_{1}}}$. Для получения окончательного решения вычислим (3.9) с выбранными знаками.

Литература

• М.М. Постников. Теория Галуа. - М.: Изд-во Факториал Пресс, 2003. ISBN 5-88688-063-1
• Калужнин Л.А., Сущанский В.И. Преобразования и перестановки: пер с укр. - М.: Наука, 1979
• Прасолов В.В., Соловьёв Ю.П. Эллиптические функции и алгебраические уравнения. - М.: Изд-во Факториал, 1997. ISBN 5-88688-018-6