Любой симметрический многочлен выражается через элементарные симметрические. Поэтому любой симметрический многочлен от корней полинома выражается через его коэффициенты. Так мы решаем квадратное уравнение — сумма корней x_1+x_2 уже симметрическая, а разность x_1-x_2 при их перестановке меняет знак, так что (x_1-x_2)^2 тоже выражается через коэффициенты исходного уравнения. Остаётся извлечь корень и восстановить x_1 и x_2 по их сумме и разности.

Так же, но чуть более сложно решается кубическое уравнение — берутся уже три линейные комбинации корней,
S=x_1+x_2+x_3,
A=x_1+w x_2+ w^2 x_3,
B=x_1+w^2 x_2 + w x_3,
где w=exp(2πi/3) — корень кубический из единицы.

Тогда S уже симметрический, а A и B при циклической перестановке корней умножатся на w и на w^2 соответственно. Поэтому A^3 и B^3 сохраняются при циклической перестановке корней. А транспозиция меняет их местами — то есть они ведут себя как корни квадратного уравнения, коэффициенты которого (равные -(A^3+B^3) и A^3*B^3) являются уже полностью симметрическими многочленами от x_1,x_2,x_3.

Остаётся "открутить всё назад":
-решить квадратное уравнение, чтобы найти A^3 и B^3,
- извлечь кубические корни, найдя A и B,
- и решить систему из трёх линейных уравнений на три неизвестных.

И если последить, то здесь как раз возникает последовательность разрешимости группы Sym_3 перестановок трёх корней, и это дорога к теории Галуа — но это меня унесло в сторону, а байка, собственно, и не об этом.

Да, для полноты, пара ссылок —
- Э. Б. Винберг, "Курс алгебры", глава 3, параграф 9, с. 145;
- D. Cox, "Galois theory", chapter 1 "Cubic equations".

А хочу я рассказать о третьем, ещё менее популярном способе решать и упрощать уравнения, о преобразованиях Чирнгауза. Да, если что — Чирнгауз вот этот:
http://www-history.mcs.st-andrews.ac.uk/Biographies/Tschirnhaus.html
https://en.wikipedia.org/wiki/Ehrenfried_Walther_von_Tschirnhaus

Правда, почему-то преобразования иногда называют Чирнгауза, а иногда Чирнгаузена — см.
http://mathworld.wolfram.com/TschirnhausenTransformation.html или http://mi.mathnet.ru/uzku407 ;
так и в комментариях Витушкина к 13-й проблеме Гильберта:

И откуда взялось это "ен", я не знаю.

Так вот. Пусть у нас есть уравнение P(x)=0 какой-то степени k. И многочлен y=Q(x) меньшей степени.
Тогда можно взять корни x_1,...,x_k многочлена P, и построить новый многочлен R(y) с корнями y_1,...,y_k, получающимися как y_j=Q(x_j).

И может быть, новое уравнение R(y)=0 будет проще старого, а тогда, найдя y_j, мы придём к задаче решения уравнений меньшей степени Q(x)=y_j.

Например, так решается квадратное уравнение
x^2+px+q=0:
мы делаем замену y=x+p/2, после чего приходим к более простому уравнению
y^2-(p^2/4 - q)=0,
которое и решаем извлечением квадратного корня — после чего возвращаемся к исходной переменной.

Для кубического уравнения линейной заменой можно убить только коэффициент при x^2. Но что, если мы рассмотрим многочлены Q и второй степени тоже?

Оказывается, тогда можно обнулить и коэффициент при x. И получится уравнение y^3+c=0, которое решается простым извлечением кубического корня!

И сделать это достаточно просто. Действительно, коэффициенты многочлена с корнями в y_i находятся по теореме Виета. Соответственно, нам нужно, чтобы сумма, и сумма попарных произведений y_i равнялась бы нулю.

А это то же самое, что попросить, чтобы сумма y_i и сумма квадратов y_i равнялась бы нулю.
Уравнение на сумму — линейное уравнение на коэффициенты, на сумму квадратов — квадратное.

Уравнение на сумму — линейное уравнение на коэффициенты, на сумму квадратов — квадратное.
И ещё остаётся одна "неважная" степень свободы: можно все y_i одновременно умножить на константу. Чтобы её убрать, проще всего зафиксировать у многочлена Q какой-нибудь один коэффициент — проще всего сказать, что мы будем искать многочлен y=Q(x) в виде Q(x)=x+b_0+b_2 x^2.
И тогда условие на сумму позволяет линейно выразить b_0 через b_2, а условие на сумму квадратов становится квадратным уравнением на оставшийся неизвестный коэффициент.

Решив его — мы сводим исходное уравнение к уравнению вида y^3+c=0, решаем его, и затем "возвращаемся обратно", решая квадратные уравнения Q(x_i)=y_i.

===
Если попытаться решить уравнение 4-й степени тем же преобразованием "в лоб", то получится система из линейного уравнения (сумма y_i нулевая), квадратного (сумма квадратов y_i), и кубического (сумма кубов). И если всё выражать "в лоб", то будет уравнение 1*2*3=6-й степени на коэффициенты преобразования. Свести уравнение 4-й степени к уравнению 6-й не выглядит победой...

Но можно сделать так — прибить только коэффициенты при y и при y^3. И нахождение такого Q будет только кубическим уравнением, которое мы уже научились решать.
Собственно, раз у нас только два уравнения — хватит даже квадратного многочлена Q,
y=Q(x)= x+ b_0+ b_2 x^2.
Тогда линейное условие позволяет выразить b_0 через b_2, а условие на сумму произведений y_i по три (увы, тут упрощения уже нет, и придётся повозиться) — становится кубическим уравнением на оставшуюся переменную.

После такого преобразования, раз мы прибили коэффициенты при y и при y^3 — остаётся биквадратное уравнение!

А его уже можно решить — ну и дальше вернуться обратно.

===
Для уравнения 5-й степени ничего такого, естественно, не проходит: обнуление коэффициентов при y^4, y^3,..., y^1 это уже уравнения 1, 2, 3, 4 степени соответственно — и в итоге получается уравнение 24-й степени, которое никак не решить.

Но можно привести уравнение к виду y^5+ay+1=0.

Действительно: когда мы задаём y=Q(x)=b_4 x^4 + ... + b_1 x + b_0, то у нас пять неизвестных коэффициентов; их можно все одновременно умножать на константу, так что пока зафиксируем, например, b_1=1.
Условие обнуления суммы y_i — линейное условие на коэффициенты. Поэтому остаётся 3 неизвестных коэффициента.

Остаётся обнулить сумму квадратов и сумму кубов. Если идти "в лоб", то получится уравнение 6-й степени, с которым не очень-то поработаешь. Но!