Почему уравнение пятой степени нельзя решить формулой

Формулы для уравнения пятой степени нет не потому, что математики не справились, — а потому, что её существование логически невозможно.

Корни уравнения связаны скрытыми симметриями. Если эти симметрии устроены слишком сложно, никакая формула из корней и арифметики до ответа не дотянется.

Лестница формул

С квадратным уравнением $ax^2 + bx + c = 0$ знаком каждый школьник:

$$x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$$

В ней есть всё, что мы зовём «формулой в радикалах»: коэффициенты, четыре арифметических действия и извлечение корня. Менее известно, что похожие формулы существуют и для уравнений третьей степени (формула Кардано, XVI век) и четвёртой (формула Феррари). Они громоздкие, но они есть.

Естественно было ждать, что и для пятой степени формула рано или поздно отыщется. Лучшие математики искали её триста лет — и не находили.

Сенсация: формулы нет и быть не может

В 1824 году молодой норвежец Нильс Абель доказал ошеломительное: общей формулы для уравнения пятой степени (и любой степени выше) в радикалах не существует. Это утверждение принципиально иного рода. Раньше спрашивали «как решить?», а теперь доказали «решить таким способом нельзя». Это была теорема о невозможности.

Подчеркнём важное: речь о формуле в радикалах — выражении из коэффициентов через $+$, $-$, $\times$, $\div$ и корни $\sqrt{\ }$, $\sqrt[3]{\ }$ и так далее. Конкретные уравнения пятой степени решать, конечно, можно — численно, с любой точностью. Нет именно универсальной формулы-рецепта.

Гениальная идея Галуа: симметрия корней

Почему же на пятой степени всё ломается? Глубочайший ответ дал француз Эварист Галуа, погибший на дуэли в 21 год. Он связал решаемость уравнения с симметрией его корней.

Представьте, что у уравнения есть несколько корней. Их можно переставлять местами. Но не как угодно: корни связаны между собой алгебраическими соотношениями (например, по теореме Виета их сумма и произведение выражаются через коэффициенты). Допустимыми считаются только те перестановки, которые сохраняют все такие соотношения. Совокупность этих «разрешённых перестановок» образует объект, который Галуа назвал группой уравнения.

Что такое группа симметрий

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

Гениальное прозрение Галуа: уравнение решается в радикалах тогда и только тогда, когда его группа симметрий устроена достаточно «просто» — её можно разобрать на простейшие коммутативные кусочки (математики говорят: группа разрешима).

Где ломается пятая степень

Дальше — момент истины. Для уравнений до четвёртой степени группы симметрий маленькие и «послушные», они разбираются на простые слои. А вот у общего уравнения пятой степени группа симметрий — это все перестановки пяти объектов (их $5! = 120$). И внутри неё прячется особая подгруппа, которую нельзя разложить на коммутативные части. Она «неразрешима».

Если перевести соответствие Галуа на человеческий язык: «слишком запутанная симметрия корней» означает «нет формулы в радикалах». Структура задачи сама ставит непреодолимую стену. Не математики оказались бессильны — бессильна сама идея формулы из корней против такой симметрии.

Рождение новой математики

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

Получился один из самых поучительных сюжетов в истории науки. Вопрос «как решить уравнение пятой степени?» не нашёл ответа — зато попытка на него ответить породила инструмент, оказавшийся в тысячу раз ценнее искомой формулы.

# Формулы нет, но КОНКРЕТНОЕ уравнение решается численно.
# Ищем корень x^5 - x - 1 = 0 делением отрезка пополам.
def f(x):
    return x**5 - x - 1

a, b = 1.0, 2.0   # f(1) = -1 < 0, f(2) = 29 > 0 — корень между ними
for _ in range(60):
    m = (a + b) / 2
    if f(a) * f(m) <= 0:
        b = m
    else:
        a = m
print("Корень примерно:", round((a + b) / 2, 10))

Главный урок

История уравнения пятой степени учит редкой для математики вещи: иногда самый честный ответ — «так нельзя, и вот почему». Доказательство невозможности бывает глубже любого решения. А Абель и Галуа, оба погибшие совсем молодыми, оставили после себя не формулу, а целую ветвь математики, выросшую из одного упрямого вопроса.