Теорема Абеля — Руффини¶

Теорема Абеля — Руффини — это фундаментальное утверждение в теории алгебраических уравнений, которое гласит, что общее алгебраическое уравнение степени пять и выше неразрешимо в радикалах. Иными словами, не существует общей формулы, выражающей корни такого уравнения через его коэффициенты с помощью конечного числа операций сложения, вычитания, умножения, деления, возведения в степень и извлечения корня (радикалов). Теорема названа в честь итальянского математика Паоло Руффини, опубликовавшего первое (хотя и неполное) доказательство в 1799 году, и норвежского математика Нильса Хенрика Абеля, который в 1824 году дал строгое и полное доказательство.

¶История

¶Предыстория: решение уравнений низших степеней

К началу XVI века математики умели решать в радикалах уравнения первых трёх степеней. В 1545 году в книге Джероламо Кардано «Ars Magna» были опубликованы формулы для решения кубических уравнений (формула Кардано) и уравнений четвёртой степени (метод Феррари). Эти успехи породили надежду на то, что аналогичные формулы существуют и для уравнений пятой и более высоких степеней. Однако на протяжении следующих двух с половиной столетий все попытки найти общее решение для уравнений пятой степени оканчивались неудачей.

¶Работа Паоло Руффини (1799–1813)

Итальянский математик Паоло Руффини первым предпринял систематическую попытку доказать неразрешимость общего уравнения пятой степени. В 1799 году он опубликовал книгу «Teoria generale delle equazioni, in cui si dimostra impossibile la soluzione algebraica delle equazioni generali di grado superiore al quarto» («Общая теория уравнений, в которой доказывается невозможность алгебраического решения общих уравнений степени выше четвёртой»). Его доказательство опиралось на теорию перестановок (предшественницу теории групп) и утверждало, что не существует формулы, выражающей корни через радикалы, которая бы работала для всех уравнений пятой степени.

Доказательство Руффини было новаторским, но содержало логический пробел. Он не смог строго обосновать, что любой радикал в гипотетической формуле должен быть выражен через рациональные функции корней. Тем не менее, его работа заложила основы для дальнейших исследований. Современники, включая ведущих математиков того времени (например, Жозефа Луи Лагранжа), отнеслись к доказательству Руффини скептически, отчасти из-за его сложности и неполноты.

¶Доказательство Нильса Хенрика Абеля (1824)

Норвежский математик Нильс Хенрик Абель, независимо от Руффини, в 1824 году опубликовал мемуар «Mémoire sur les équations algébriques, où l’on démontre l’impossibilité de la résolution de l’équation générale du cinquième degré» («Мемуар об алгебраических уравнениях, в котором доказывается невозможность решения общего уравнения пятой степени»). Абель не только восполнил пробел в доказательстве Руффини, но и придал ему строгую и элегантную форму.

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

¶Обобщение Эвариста Галуа (1830-е)

Окончательное и наиболее глубокое объяснение теоремы Абеля — Руффини было дано французским математиком Эваристом Галуа. Он создал теорию, названную впоследствии теорией Галуа, которая связывает разрешимость алгебраического уравнения в радикалах со свойствами его группы Галуа (группы автоморфизмов поля разложения). Галуа доказал, что уравнение разрешимо в радикалах тогда и только тогда, когда его группа Галуа является разрешимой группой.

Для общего уравнения степени n, где n ≥ 5, группа Галуа является симметрической группой Sₙ, которая не является разрешимой (так как её коммутант — знакопеременная группа Aₙ — является простой неабелевой группой для n ≥ 5). Таким образом, теорема Абеля — Руффини является частным случаем общей теории Галуа. Теория Галуа не только дала окончательное доказательство, но и позволила понять, почему уравнения низших степеней (n ≤ 4) разрешимы: их группы Галуа (S₂, S₃, S₄) являются разрешимыми.

¶Формулировка

Существует несколько эквивалентных формулировок теоремы.

Классическая формулировка: Не существует формулы, выражающей корни общего алгебраического уравнения степени n ≥ 5 через его коэффициенты с помощью конечного числа операций сложения, вычитания, умножения, деления, возведения в степень и извлечения корня (радикалов).

Формулировка в терминах теории Галуа: Уравнение f(x) = 0, где f(x) — многочлен степени n с комплексными коэффициентами, разрешимо в радикалах тогда и только тогда, когда его группа Галуа является разрешимой группой. Для общего уравнения степени n ≥ 5 группа Галуа изоморфна симметрической группе Sₙ, которая не является разрешимой. Следовательно, общее уравнение степени n ≥ 5 неразрешимо в радикалах.

¶Следствия и значение

¶Неразрешимость в радикалах vs. неразрешимость вообще

Теорема Абеля — Руффини утверждает именно неразрешимость в радикалах, а не отсутствие решений как таковых. Уравнения пятой степени и выше имеют корни (в комплексной области, согласно основной теореме алгебры, их ровно n с учётом кратности), но эти корни, как правило, не могут быть выражены через коэффициенты с помощью радикалов. Для их нахождения используются численные методы (например, метод Ньютона), а также специальные функции (например, тета-функции или эллиптические функции).

¶Примеры неразрешимых уравнений

Простейшим примером уравнения пятой степени, неразрешимого в радикалах, является уравнение x⁵ − x − 1 = 0. Его группа Галуа — S₅, поэтому оно неразрешимо в радикалах. Другим известным примером является уравнение x⁵ − 6x + 3 = 0.

¶Разрешимые уравнения высших степеней

Теорема не утверждает, что все уравнения степени n ≥ 5 неразрешимы. Существуют уравнения, которые, несмотря на высокую степень, разрешимы в радикалах. Например, уравнение x⁵ − 1 = 0 (корни пятой степени из единицы) разрешимо, так как его группа Галуа — циклическая группа, которая является разрешимой. Аналогично, уравнения вида xⁿ − a = 0 разрешимы для любого n. Критерий разрешимости в радикалах для конкретного уравнения даётся теорией Галуа: необходимо и достаточно, чтобы его группа Галуа была разрешимой.

¶Влияние на развитие математики

Теорема Абеля — Руффини и её обобщение в теории Галуа стали поворотным моментом в истории алгебры. Они показали, что не все алгебраические задачи могут быть решены с помощью элементарных операций, и стимулировали развитие теории групп, теории полей и теории Галуа. Эти разделы математики нашли широкое применение в других областях, включая криптографию, теорию кодирования и физику.

¶Критика и ограничения

Теорема Абеля — Руффини не является «отрицательным» результатом в смысле бесполезности. Она чётко определяет границы применимости алгебраических методов и указывает на необходимость использования других подходов (численных, аналитических) для решения уравнений высоких степеней. В своё время доказательство Абеля было встречено с недоверием, но впоследствии было признано одним из величайших достижений математики XIX века. Теория Галуа, хотя и дала полное объяснение, долгое время оставалась непонятой современниками из-за своей абстрактности и была опубликована лишь после смерти Галуа.

¶Интересные факты

• Нильс Хенрик Абель умер от туберкулёза в 26 лет, не дожив до признания своих работ. Его доказательство было опубликовано за счёт автора в небольшом тираже и оставалось малоизвестным до тех пор, пока не было замечено Карлом Густавом Якобом Якоби и Огюстеном Луи Коши.
• Паоло Руффини, будучи врачом, занимался математикой в свободное время. Его доказательство, хотя и неполное, содержало многие идеи, которые впоследствии развил Абель.
• Теорема Абеля — Руффини часто упоминается в популярной культуре как пример математического результата, который «доказывает невозможность» чего-либо, что интуитивно кажется возможным.

¶Источники

• Абель, Н. Х. «Mémoire sur les équations algébriques, où l’on démontre l’impossibilité de la résolution de l’équation générale du cinquième degré». 1824.
• Руффини, П. «Teoria generale delle equazioni, in cui si dimostra impossibile la soluzione algebraica delle equazioni generali di grado superiore al quarto». 1799.
• Галуа, Э. «Œuvres mathématiques d’Évariste Galois». 1846.
• Ван дер Варден, Б. Л. «Алгебра». 1976.
• Постников, М. М. «Теория Галуа». 1963.