Как решать уравнения 5 степени

9

Решение уравнений высших степеней

В общем случае уравнение, имеющее степень выше 4 , нельзя разрешить в радикалах. Но иногда мы все же можем найти корни многочлена, стоящего слева в уравнении высшей степени, если представим его в виде произведения многочленов в степени не более 4 -х. Решение таких уравнений базируется на разложении многочлена на множители, поэтому советуем вам повторить эту тему перед изучением данной статьи.

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

Уравнения высшей степени с целыми коэффициентами

Все уравнения, имеющие вид a n x n + a n — 1 x n — 1 + . . . + a 1 x + a 0 = 0 , мы можем привести к уравнению той же степени с помощью умножения обеих частей на a n n — 1 и осуществив замену переменной вида y = a n x :

a n x n + a n — 1 x n — 1 + . . . + a 1 x + a 0 = 0 a n n · x n + a n — 1 · a n n — 1 · x n — 1 + … + a 1 · ( a n ) n — 1 · x + a 0 · ( a n ) n — 1 = 0 y = a n x ⇒ y n + b n — 1 y n — 1 + … + b 1 y + b 0 = 0

Те коэффициенты, что получились в итоге, также будут целыми. Таким образом, нам нужно будет решить приведенное уравнение n-ной степени с целыми коэффициентами, имеющее вид x n + a n x n — 1 + … + a 1 x + a 0 = 0 .

Схема решения уравнения

Вычисляем целые корни уравнения. Если уравнение имеет целые корни, нужно искать их среди делителей свободного члена a 0 . Выпишем их и будем подставлять в исходное равенство по очереди, проверяя результат. Как только мы получили тождество и нашли один из корней уравнения, то можем записать его в виде x — x 1 · P n — 1 ( x ) = 0 . Здесь x 1 является корнем уравнения, а P n — 1 ( x ) представляет собой частное от деления x n + a n x n — 1 + … + a 1 x + a 0 на x — x 1 .

Подставляем остальные выписанные делители в P n — 1 ( x ) = 0 , начав с x 1 , поскольку корни могут повторяться. После получения тождества корень x 2 считается найденным, а уравнение может быть записано в виде ( x — x 1 ) ( x — x 2 ) · P n — 2 ( x ) = 0 .Здесь P n — 2 ( x ) будет частным от деления P n — 1 ( x ) на x — x 2 .

Продолжаем и дальше перебирать делители. Найдем все целые корни и обозначим их количество как m . После этого исходное уравнение можно представить как x — x 1 x — x 2 · … · x — x m · P n — m ( x ) = 0 . Здесь P n — m ( x ) является многочленом n — m -ной степени. Для подсчета удобно использовать схему Горнера.

Если у нас исходное уравнение имеет целые коэффициенты, мы не можем получить в итоге дробные корни.

У нас в итоге получилось уравнение P n — m ( x ) = 0 , корни которого могут быть найдены любым удобным способом. Они могут быть иррациональными или комплексными.

Покажем на конкретном примере, как применяется такая схема решения.

Условие: найдите решение уравнения x 4 + x 3 + 2 x 2 — x — 3 = 0 .

Решение

Начнем с нахождений целых корней.

У нас есть свободный член, равный минус трем. У него есть делители, равные 1 , — 1 , 3 и — 3 . Подставим их в исходное уравнение и посмотрим, какие из них дадут в итоге тождества.

При x , равном единице, мы получим 1 4 + 1 3 + 2 · 1 2 — 1 — 3 = 0 , значит, единица будет корнем данного уравнения.

Теперь выполним деления многочлена x 4 + x 3 + 2 x 2 — x — 3 на ( х — 1 ) в столбик:

Значит, x 4 + x 3 + 2 x 2 — x — 3 = x — 1 x 3 + 2 x 2 + 4 x + 3 .

Перебираем возможные делители дальше, но подставляем их в равенство x 3 + 2 x 2 + 4 x + 3 = 0 :

1 3 + 2 · 1 2 + 4 · 1 + 3 = 10 ≠ 0 ( — 1 ) 3 + 2 · ( — 1 ) 2 + 4 · — 1 + 3 = 0

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

Делим многочлен x 3 + 2 x 2 + 4 x + 3 на ( х + 1 ) в столбик:

x 4 + x 3 + 2 x 2 — x — 3 = ( x — 1 ) ( x 3 + 2 x 2 + 4 x + 3 ) = = ( x — 1 ) ( x + 1 ) ( x 2 + x + 3 )

Подставляем очередной делитель в равенство x 2 + x + 3 = 0 , начиная с — 1 :

— 1 2 + ( — 1 ) + 3 = 3 ≠ 0 3 2 + 3 + 3 = 15 ≠ 0 ( — 3 ) 2 + ( — 3 ) + 3 = 9 ≠ 0

Равенства, полученные в итоге, будут неверными, значит, у уравнения больше нет целых корней.

Оставшиеся корни будут корнями выражения x 2 + x + 3 .

D = 1 2 — 4 · 1 · 3 = — 11 < 0

Из этого следует, что у данного квадратного трехчлена нет действительных корней, но есть комплексно сопряженные: x = — 1 2 ± i 11 2 .

Уточним, что вместо деления в столбик можно применять схему Горнера. Это делается так: после того, как мы определили первый корень уравнения, заполняем таблицу.

В таблице коэффициентов мы сразу можем увидеть коэффициенты частного от деления многочленов, значит, x 4 + x 3 + 2 x 2 — x — 3 = x — 1 x 3 + 2 x 2 + 4 x + 3 .

После нахождения следующего корня, равного — 1 , мы получаем следующее:

Далее мы приходим к разложению x — 1 x + 1 x 2 + x + 3 = 0 . Потом, проверив оставшиеся делители равенства x 2 + x + 3 = 0 , вычисляем оставшиеся корни.

Ответ: х = — 1 , х = 1 , x = — 1 2 ± i 11 2 .

Условие: решите уравнение x 4 — x 3 — 5 x 2 + 12 = 0 .

Решение

У свободного члена есть делители 1 , — 1 , 2 , — 2 , 3 , — 3 , 4 , — 4 , 6 , — 6 , 12 , — 12 .

Проверяем их по порядку:

1 4 — 1 3 — 5 · 1 2 + 12 = 7 ≠ 0 ( — 1 ) 4 — ( — 1 ) 3 — 5 · ( — 1 ) 2 + 12 = 9 ≠ 0 2 4 · 2 3 — 5 · 2 2 + 12 = 0

Значит, x = 2 будет корнем уравнения. Разделим x 4 — x 3 — 5 x 2 + 12 на х — 2 , воспользовавшись схемой Горнера:

В итоге мы получим x — 2 ( x 3 + x 2 — 3 x — 6 ) = 0 .

Проверяем делители дальше, но уже для равенства x 3 + x 2 — 3 x — 6 = 0 , начиная с двойки.

2 3 + 2 2 — 3 · 2 — 6 = 0

Значит, 2 опять будет корнем. Разделим x 3 + x 2 — 3 x — 6 = 0 на x — 2 :

В итоге получим ( x — 2 ) 2 · ( x 2 + 3 x + 3 ) = 0 .

Проверка оставшихся делителей смысла не имеет, поскольку равенство x 2 + 3 x + 3 = 0 быстрее и удобнее решить с помощью дискриминанта.

Решим квадратное уравнение:

x 2 + 3 x + 3 = 0 D = 3 2 — 4 · 1 · 3 = — 3 < 0

Получаем комплексно сопряженную пару корней: x = — 3 2 ± i 3 2 .

Ответ: x = — 3 2 ± i 3 2 .

Условие: найдите для уравнения x 4 + 1 2 x 3 — 5 2 x — 3 = 0 действительные корни.

Решение

x 4 + 1 2 x 3 — 5 2 x — 3 = 0 2 x 4 + x 3 — 5 x — 6 = 0

Выполняем домножение 2 3 обеих частей уравнения:

2 x 4 + x 3 — 5 x — 6 = 0 2 4 · x 4 + 2 3 x 3 — 20 · 2 · x — 48 = 0

Заменяем переменные y = 2 x :

2 4 · x 4 + 2 3 x 3 — 20 · 2 · x — 48 = 0 y 4 + y 3 — 20 y — 48 = 0

В итоге у нас получилось стандартное уравнение 4 -й степени, которое можно решить по стандартной схеме. Проверим делители, разделим и получим в итоге, что оно имеет 2 действительных корня y = — 2 , y = 3 и два комплексных. Решение целиком здесь мы не будем приводить. В силу замены действительными корнями данного уравнения будут x = y 2 = — 2 2 = — 1 и x = y 2 = 3 2 .

Ответ: x 1 = — 1 , x 2 = 3 2

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

Решение уравнения 5 степени

Леонид, я правильно понимаю, что Ваш метод в любом случае не дает точного результата? Если дает – в какой форме он может быть выражен?
С уважением, Ник.

Что Вы имеете в виду, когда говорите "точный рез-тат"? Корень квадратный из 2, записанный в виде знака радикала со знаком плюс-минус, а под радикалом 2 — это и есть тот точный рез-тат, о котором Вы спрашиваете? Это действительно абс. точный рез-тат, но он задан в символической записи. Если же вы хотите его конкретизировать, узнать, сколько это будет, подсчитать, выразить численно, то есть, аппроксимировать, то это можно сделать лишь приближённо с заданной точностью. Другой точности при извлечении корней и решении уравнений просто не бывает, Вы же знаете. Другое дело, что возможна другая символическая запись корня из двух: 1,1 по ключу 2,1. Она тоже абс. точная. И она лучше первой тем, что её намного легче аппроксимировать, т. е. выразить численно, сразу на глаз сказать: это примерно 3/2, точнее 7/5, ещё точнее 17/12. Всё сказанное относится и уравнения любой степени. Я ответил на Ваш вопрос?

Да, ответили. И я готов разъяснить некоторые обстоятельства, которых Вы, видимо, не понимаете.
Леонид, когда от Вас требовали представить решение «в радикалах», это значило на самом деле – «точное решение». Потому что другого способа записывать иррациональные числа нет: или с помощью корней с рациональным показателем (т.н. «радикалов») – или просто буквой (например, «пи» или «е»). История науки содержит бездну способов приближенного итеративного (как у Вас) решения уравнений высших степеней; и некоторые из этих способов даже имеют критерий сходимости. Но все это уже только история.
Решение таких уравнений действительно является проблемой для современной математики, но только точные решения; приближенные методы – теперь удел вычислительной техники, деликатно именуемой «прикладной математикой». Ей, вычислительной технике, с головой хватает имеющихся итераций, в новых она не нуждается, проблем у нее нет.
Леонид, утаивая свое открытие (сколько, Вы говорите? Полвека?) от «воров», Вы, в результате, отняли его у человечества; и теперь оно лишь история… известная лишь читателям сайта. История, впрочем, весьма поучительная – так что Юрий Яесс уж совсем, уж на все 100% глубоко неправ: Вы попали по точно адресу.
С уважением, Ник.

О господи, Николай, Вы, как и все, не заметили "одной маленькой штучки" — она главная. Весь научный мир, как экспресс, как сверх-интеллектуальный локомотив, проносится МИМО ПРОСТОЙ ИСТИНЫ, не видит одной маленькой ошибки, вкравшейся ещё в античные циркульно-линеечные времена — я же всюду пишу об этом — ЭТО НЕВЕРНОЕ, ОШИБОЧНОЕ САМО ОПРЕДЕЛЕНИЕ РАДИКАЛА. Я же ДВАЖДЫ доказываю эту ошибочность в Гремучей смеси 3 ред: 1)это сам факт неразрешимости: в природе не бывает неразрешимостей, они невозможны по самой природе вещей: любая неразрешимость — это твоя собственная вкравшаяся ошибка понимания — это аксиома, 2)это "видимое ничто" — неправомерное ограничение понятия "радикал": ограничение произошло исключительно ИЗ-ЗА НЕУДОБСТВ АППРОКСИМАЦИИ НАСТОЯЩИХ, АДЕКВАТНЫХ ДЛЯ УРАВНЕНИЙ "БИСЕРНЫХ" или, если хотите, "ФРАКТАЛЬНЫХ" РАДИКАЛОВ, из-за того, что НЕ БЫЛА ИЗОБРЕТЕНА простая и искл. удобная КЛЮЧЕВАЯ СИМВОЛИКА. В них, в ней бывшие неразрешимые уравнения решаются настолько просто, что это может делать даже школьник, ученик 4 класса. Это решение ИМЕННО В РАДИКАЛАХ (в правильных, адекватных для уравнений бисерных радикалах), а вовсе НЕ ИТЕРАЦИИ: то, что Вы так запросто низводите открытые мной прекрасные высшие цепные дроби до уровня примитивных и совершенно неестественных для уравнений, чуждых им итераций, доказывает, что Яесс прав — никто не понимает главного, хотя я изо всех сил не устаю именно это главное миллион раз талдычить, освещать со всех возможных сторон во всех своих статьях. Люди не дураки — чувствуют ПО ЗАПАХУ, что здесь что-то невероятное, поэтому и читают и даже по 6 раз. Не дураки, но ленивые: ведь я то же самое писал ещё раньше в Гремучей смеси, в Задаче да Кои, Подъём на полочку и в др. статьях . В процессе написания Гремучей смеси и родилось прекрасное слово "БЛИЗНА" — неотличимо точная рабочая математическая пародия, заводящая в многовековый тупик неразрешимости науку и всё чел-во. На укор, что я столько лет скрываю от чел-ва столь прекрасную вещь я скажу: пока-жите мне ту лазейку, через которую простой человек, без столь необходимых в этом вопросе знакомств и связей, без нужных людей, может открыть миру свои до-стижения без их разворовывания и, главное, без неизбежного в таких случаях их перевирания, непонимания и извращения с заведением науки в новый, ещё более глубокий тупик? Я же пишу, что показал в Москве свои первые шаги — и у меня их разворовали и переврали, что практика разворовывания и перевирания ГИБЕЛЬНА, так как природа НАШПИГОВАНА БЛИЗНАМИ, и научное воровство ИХ НЕ ВИДИТ. Я же пишу, что только другая общественная формация, основанная на БИНОКУЛЯРНОЙ ФИНАНСОВОЙ СИСТЕМЕ, способна преодолеть этот барьер. О господи, до какой степени напрасно я всё это пишу, в то время как страну потрясают митинги, возникающие именно по этой самой причине! И Вы не учитываете, что я такой же человек как и Вы, со всеми как и у Вас повседневными делами, плюс постоянная война с органами, их наркобандитами и прочей несметной гм, гм — это отнимает уйму времени, а ПАРОДИКА — совершенно НОВАЯ ВЕЩЬ и по своему строению похожа на открытие шарообразности Земли: его невозможно осмыслить без целой цепочки других открытий, без связанного с ним Закона всемирного тяготения, без гелиоцентричности — но и здесь цепочка не заканчивается. Всё это открывается ПОСТЕПЕННО, НЕ ВДРУГ, поэтому упрекать меня нет оснований: я всю жизнь "работаю, работаю и работаю", даже во сне. Моя бабушка была швеёй-модельером и говорила: ни в коем случае нельзя показывать работу клиенту до её завершения. Трудно показывать свои результаты, когда они во многом далеки от завершения и моментально ассоциируются лишь превратно, на уровне всё тех же "итераций", а в остальном их завершение вообще "уплывает", удаляется и удаляется как горизонт.

Много слов, Леонид. Я понимаю дело. Я правильно понимаю, что Ваш метод решения уравнения (уравнений) не дает точного результата – а лишь приблизительный, пусть и как угодно точный? Тогда все сказанное мной выше сохраняет силу: этот метод бесполезен. Если же нет, и Вы можете предложить альтернативный способ записи иррациональных чисел – это другой вопрос. Я с самого начала спрашивал: в какой форме Вы это делаете? Для простоты возьмем уравнения «икс квадрат равен двум». Как Вы без радикалов запишете его решение? Возможно. я снова ошибаюсь, и Ваши идеи могут быть применимы иначе или в другой области математики. то скажите, каким образом.
Давайте исключим (или определим) математику, а об остальной философии можно и нужно говорить отдельно.
С уважением, Ник.

1,1 — точный корень кв. из 2. Не только арифметический, а сразу оба. Даже так. Основание в такой системе исчисления, в отличие от всех нам известных называет-ся "ключ". Здесь ключ равен 2,1. В этом месте у профессоров начинается ступор. Они не понимают выражения — система исчисления по иррациональному основанию: их этому не учили.
.
В случае икс в кубе = 2 . 1,1 — точный корень куб. из 2. Не только арифм., а сразу все 3 корня. Даже так. Ключ = 3,3.1. После этого профессора прекращают дальнейшую беседу.

MATH-krat-teor / Математика-методы решений / Методы решения уравнений высших степеней

Очевидно — корень уравнения

Очевидно — корень уравнения

II) Возвратные уравнения и к ним сводящиеся.

Уравнение называется возвратным, если в нем коэффициенты равноудаленные от концов совпадают, т.е. , ,

1) Возвратные уравнения четной степени.

т.к. — не является корнем уравнения, то разделим обе части уравнения на .

Пусть , , получим

;

Вернемся к замене.

или

корней нет

Ответ:

2) Возвратные уравнения нечетной степени.

Любое возвратное уравнение нечетной степени сводится к квадратному уравнению четной степени, т.к у любого возвратного ур–ия нечетной степени один из корней всегда равен –1

Очевидно — корень уравнения.

или

т.к — не является корнем уравнения, то разделим обе части

уравнения на

Пусть , , , получим

или или

корней нет

Ответ: , ,

III) Уравнения вида, где решаются как возвратные.

IV) Замена переменных по явным признакам.

V) В следующих уравнениях используется “идея однородности”.

Пусть , , тогда

1) если , тогда , тогда

решений нет

2) Разделим обе части уравнения на , получим

Решим последнее уравнение, как квадратное относительно , получим

;

;

Вернемся к замене.

или

корней нет

Ответ:

Пусть , , тогда

Найдем

Решая систему подстановкой, получим

или

корней нет ;

Ответ: ;

— не является корнем уравнения

Разделим обе части уравнения на , получим

Пусть , тогда

;

или

; ;

Ответ: ; ; ;

VI) Уравнения вида, где эффективно решать перемножением и , а затем делать замену.

VII) В уравнениях вида и в уравнениях к ним сводящимся, в знаменателях обоих дробей необходимо вынести х за скобки и сделать замену.

(1)

(2)

При переходе область определения уравнения сузилась на . Проверим, является ли корнем уравнения. Не является.

Пусть , , тогда

;

или

Ответ: ;

VIII) В уравнениях вида обе части уравнения делятся на

— не является корнем уравнения. Разделим на , получим

Пусть ; , тогда

;

или

Ответ: ;

IX) Выделение полного квадрата.

Пусть , тогда

;

Вернемся к замене.

или

корней нет

Ответ:

X) Решение уравнений с помощью формулы

или

корней нет

XI) Уравнения вида и к ним сводящиеся решаются при помощи замены

Пусть , тогда

или корней нет

;

Вернемся к замене.

или

Ответ: ;

XII) Решение уравнений относительно коэффициентов.

или

; — посторонний корень

корней нет

Ответ: ;

XIII) Метод разложения на простейшие дроби.

Ответ:

О теореме Абеля-Руффини без групп и теории Галуа

Поиск решения алгебраических уравнений оказал колоссальное влияние на развитие математики. Формула решения общего кубического уравнения впервые была получена итальянскими математиками 16-го века. Это событие ставшее первопричиной рассмотрения комплексных чисел, считается одним из поворотных моментов в истории математики. Судьбы Джероламо Кардано, Никколо Тартальи, Сципиона дель Ферро и их поисков решения кубического уравнения заслуживают отдельного романа со своими интригами, скандалами и расследованиями. Столь яркие истории достаточно редки в математике.

Начиная с 19-го века поиск формул для решения уравнений произвольных степеней положил начало теории групп и абстрактной алгебре, которые преобразили практически все разделы современной математики. Думаю, многие, кто интересовался историей и развитием алгебры, знают, что формулы для решения общего алгебраического уравнения степени выше четвертой не существует. Как сообщается, первое доказательство этого факта было дано итальянским математиком Паоло Руффини в самом конце восемнадцатого века, оно составляло около 500 страниц и все же содержало некоторые пробелы. Хотя отдельные математики, как Огюстен Коши, и признавали данное доказательство, но ввиду столь большого объема и сложности изложения, оно так и не было принято математическим сообществом. Считается, что первое полное доказательство дано норвежским математиком Нильсом Абелем и содержалось в двух работах, изданных в 1824 и 1826 годах. С тех пор оно носит название теоремы Абеля или теоремы Абеля-Руффини.

Если вы попытаетесь изучить это доказательство в его современном изложении, то окажется, что оно практически полность опирается на Теорию Галуа. Эварист Галуа был французским математиком 19-го века и современником Нильса Абеля. Помимо занятий математикой он вел активную политическую жизнь из-за чего несколько раз попадал в тюрьму. В возрасте всего двадцати лет был застрелен на дуэли, поводом для которой послужила любовная интрига, хотя есть предположения, что дуэль была подстроена его политическими противниками. Об этой истории написано достаточно много, кроме того, имеется перевод на русский язык его мемуаров и писем. Последнее письмо его другу Огюсту Шевалье было написано в ночь накануне дуэли, в нем он наспех излагает свои последние идеи. Несмотря на столь короткую жизнь, Эварист Галуа считается одним из родоначальников современной алгебры. Хотел бы заметить, что в популярном изложении создается некий романтический образ Галуа, как подростка-гения, который в одиночку, с нуля создал теорию групп и преобразил всю алгебру. Несомненно его идеи сыграли огромную роль, но если почитать его сочинения, то мы увидим, что он хорошо знал и опирался на знаменитые работы Лагранжа, Эйлера, Гаусса, Абеля, Якоби. Зачатки теории групп и перестановок появляются еще в работах Жозефа Луи Лагранжа по теории алгебраических уравнений, а также Карла Фридриха Гаусса в его знаменитых «Арифметических исследованиях». К тому же, теория Галуа в современном изложении была оформлена многими последующими математиками — Дедекиндом, Кронекером, Гильбертом, Артином и другими.

Мотивация данной статьи

Чуть менее года назад меня сильно увлекла статья об истории решения кубического уравнения и последующих безуспешных поисков формулы уравнения 5-й степени, длившихся почти триста лет. Сразу хочу отметить, что специального математического образования у меня нет и поэтому, попробовав прочесть современную версию доказательства теоремы Абеля-Руффини, я естественно ничего не понял. В моем сознании термины группа, кольцо и поле никак не ассоциировались с алгебраическими структурами. Но желание разобраться было столь велико, что я принялся за изучение курса высшей алгебры.

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

Дело в том, что практически все современные доказательства неразрешимости уравнений 5-й степени в радикалах сводятся к следующему. Рассматривается некоторое неприводимое уравнение, например x 5 -10x+2, после чего методами мат анализа определяется, что оно имеет три действительных и два комплексно-сопряженных корня. После чего заключается, что группой Галуа данного уравнения есть группа S₅, которая не является разрешимой, и следовательно данное уравнение неразрешимо в радикалах. Доказательство теоремы Абеля-Руффини о неразрешимости общего уравнения также сводится к неразрешимости группы S_n. Для меня данные доказательства были слишком абстрактными и оторванными от конкретных уравнений. Когда я пытался представить их в терминах элементарных алгебраических операций, чтобы понять в чем заключается главная причина неразрешимости уравнений, у меня ничего не получалось. Возможно для тех, кто занимается этим достаточно долго, эти вещи могут казаться интуитивно понятными.

Немного иной подход описан в книге Алексеева «Теорема Абеля в задачах и решениях», основанной на лекциях Владимира Арнольда, но в изложенном там доказательстве помимо теории групп используются элементы комплексного анализа и Римановых поверхностей. Я также находил похожие статьи, использующие топологические аргументы в виде комбинаций петель и коммутаторов, но мне хотелось найти что-то чисто алгебраическое.

Параллельно изучая историю математики и понимая, что современная формулировка и доказательство сильно отличаются от того, как излагали свои идеи Лагранж, Руффини, Абель и Галуа, я решил прочесть первоисточники. К сожалению, на русский или английский по этой теме переведены лишь сочинения Галуа и одна из работ Абеля.

После некоторых поисков я наткнулся на статью 1845 года французского математика Пьера Лорана Ванцеля, в которой он переработал и сильно упростил доказательство Абеля-Руффини, о чем он пишет во введении. В этой работе, он так же упоминает мемуары Галуа и отмечает, что они будут опубликованы в скором времени. Для заметки — работы Галуа были опубликованы лишь в 1846 году Жозефом Лиувиллем, спустя почти 15 лет после смерти Галуа. Кстати, Пьер Лоран Ванцель, также был первым, кто доказал неразрешимость трисекции угла и удвоения куба с помощью циркуля и линейки — знаменитых задач стоявших еще со времен античности. Доказательства Ванцеля были изложены без использования абстрактной алгебры и теории Галуа, поскольку на тот момент они еще не были разработаны. Хотя работа и была доступна лишь на французском, которого я до этого практически не знал, но ввиду специфической темы, небольшого размера (всего 7 страниц) и наличия гугл переводчика, я справился достаточно быстро. По моему субъективному мнению, его доказательство теоремы Абеля-Руффини является наиболее простым для понимания.

Уже позже я нашел пример подобного доказательства основанного на работе Руффини в книге Чеботарёва “Основы Теории Галуа”. Далее я постараюсь кратко изложить принцип решения уравнений в радикалах и идею доказательства неразрешимости уравнения 5-й степени.

Решения уравнений в радикалах

Для дальнейшего понимания, потребуются минимальные пререквизиты:

Формулы Виета — напомню, что коэффициенты произвольного уравнения являются элементарными симметрическими функциями от его корней, то есть функциями, которые не меняют своего значения при любых перестановках корней. Примеры: x₁ + x₂ + x₃, x₁x₂x₃, x₁x₂ + x₁x₃ + x₂x₃.

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

Первообразные корни n-й степени из единицы — комплексные величины не равные единице, но n-я степень которых, равна единице. Примеры: (-1) 2 = 1, (-1/2 + sqrt(-3)/2) 3 = 1, i 4 = 1 соответственно квадратный, кубический и биквадратный корни из единицы.

Основная теорема алгебры — гласит о том, что уравнение n-й степени с комплексными коэффициентами имеет ровно n комплексных корней с учетом кратности (корни могут быть одинаковые).

Первоначальная идея восходит к работе Жозефа Луи Лагранжа “Размышления о решении уравнений” 1770-1771 годов. Это достаточно объемное сочинение и я не нашел его перевода на русский или английский язык. Как указывается в разных источниках, в попытке найти формулу для уравнения 5-й степени, Лагранж проанализировал все имеющиеся к тому времени способы решения уравнений и выделил общий принцип, позволяющий решить уравнения 4-й и низших степеней. В этой же работе, изучая перестановки корней, он пришел к теореме, которая сейчас носит его имя. Принцип, открытый Лагранжем, заключался в том, чтобы найти выражения от корней заданного уравнения n-й степени, которые при всех возможных перестановках этих корней принимали n-1 значений, но в тоже время через них выражались первоначальные корни. На эти значения, можно составить уравнение n-1 степени и повторить операцию, тем самым сводя изначальное уравнение к цепочке уравнений меньших степеней, решив которые, можно получить корни первоначального уравнения. Рассмотрим один из примеров:

Пусть f(x) = x 4 + ax 3 + bx 2 + cx + d общее уравнение 4-й степени с произвольными коэффициентами a, b, c, d и x₁, x₂, x₃, x₄ его корни.

Напомним, что его коэффициенты — это элементарные симметрические функции от корней, в чем можно убедиться просто раскрыв скобки в выражении (x — x₁)(x -x₂)(x — x₃)(x — x₄):

Так как корни являются произвольными, то существует 4! = 24 различных вариантов их расположения, но можно составить выражение x₁x₂ + x₃x₄, которое принимает всего три разных значения при всех 24-х перестановках корней:

На эти три значения мы можем составить уже кубическое уравнение, корнями которого они и будут являться. Таким образом, мы сводим решение уравнения 4-й степени к уравнению 3-й степени. Для решения кубического уравнения мы можем воспользоваться резольвентой Лагранжа (y₁ + wy₂ + w 2 y₃) 3 , где w — это кубический корень из единицы. Данное выражение принимает всего два разных значения при всех возможных 3! = 6 перестановках. Оно будет сохранять значение при циклических перестановках и менять знак при любой транспозиции. Получим:

Теперь составим квадратное уравнение на z₁ и z₂:

z₁+z₂ и z₁z₂ — будут симметрическими функциями от корней нашего изначального уравнения f(x), следовательно, по теореме о симметрических многочленах, напрямую выражаться через коэффициенты a, b, c, d. Решив квадратное уравнение мы получим значения z₁, z₂. После чего, извлекая кубические корни из z₁, z₂, и складывая с коэффициентом b, сможем выразить y₁. Далее, c помощью y₁ и коэффициентов a, b, d, решив два квадратных уравнения, мы доберемся до корней x₁, x₂, x₃, x₄ изначального уравнения.

Данный пример показывает, что произвольное уравнение 4-й степени решается путем составления вспомогательных кубического и квадратных уравнений. Далее я приведу рассуждение, почему подобный прием невозможен для общего уравнения 5-й степени.

Неразрешимость уравнения 5-й степени

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

Пусть f(x) = x 5 + ax 4 + bx 3 + cx 2 + xd + e общее уравнение 5-й степени с произвольными коэффициентами a, b, c, d, e и x₁, x₂, x₃, x₄, x₅ его корни. Обозначим за y₁ первый радикал входящий в значение x₁ в порядке вычисления. Пусть y₁ n = p, где p будет какой-то симметрической функцией от корней и, следовательно, напрямую выражаться через коэффициенты a, b, c, d, e. Заметим, что y₁ уже не будет симметрической, а лишь рациональной функцией g от корней — g(x₁, x₂, x₃, x₄, x₅). Следовательно, g должно менять значение при перестановке любых двух корней. Тогда эти значения будут являться корнями уравнения y₁ n = p, которые имеют вид g, zg, z 2 g, z 3 g … z n-1 g, где z — первообразный корень n-й степени из единицы (z n =1). Рассмотрим произвольную транспозицию, например (x₁, x₂), тогда

если мы применим ее еще раз, то получим:

Из этого следует, что z 2 = 1, то есть z должен быть квадратным корнем из единицы (z = -1) и соответственно первый радикал y₁ будет квадратным. Поясним: так как корни являются произвольными, то g должно сохранять значение при любых четных перестановках корней и менять знак при нечетных. Теперь покажем, что значение функции g не будет меняться при циклической перестановке трех корней (x₁, x₂, x₃). Здесь стоит пояснить, что циклическая перестановка (x₁, x₂, x₃) четная и может быть представлена, как произведение транспозиций (x₁, x₂)(x₂, x₃). То есть, функция g не поменяет своего значения при данной перестановке. Еще заметим, что функция g не изменится при циклической перестановке пяти корней, так как она так же раскладывается в произведение четного количества транспозиций. Присоединяя радикал y₁ к выражениям от коэффициентов с помощью базовых арифметических операций, мы будем получать симметрические функции относительно всех циклов на трех и пяти корнях и вообще любых четных перестановок, но при перестановке содержащей нечетное количество транспозиций, y₁ будет менять знак. Дальнейшее присоединение квадратных радикалов не даст нам ничего нового. Теперь предположим, что мы пришли к радикалу, который меняет свое значение лишь при тройных циклах. Обозначим его y₂, тогда y₂ n = q, где q — это рациональная функция от коэффициентов a, b, c, d, e и радикала y₁.

В данном случае z 3 = 1, то есть z здесь будет кубическим корнем из единицы.

Теперь произведем циклическую перестановку 5-и корней

Так как z должен быть кубическим корнем из единицы, как мы выяснили ранее, то единственным вариантом будет z = 1 и g должна быть инвариантна при любой из этих циклических перестановок. Но тогда она должна быть инвариантна и при циклической перестановке x₃,x₂,x₅,x₁,x₄ -> x₂,x₅,x₁,x₄,x₃. Отсюда, одной транспозицией мы можем получить, что

но, выше мы уже видели, что

а из этого следует

что приводит нас к противоречию, так как мы предполагали, что g меняет значение при циклической перестановке трех корней (x₁, x₂, x₃).

Еще одним вариантом, было бы показать что все четные перестановки на пяти корнях порождаются тройными циклами, то есть, если есть тройные циклы, то никаких выражений от корней, которые бы сохраняли набор значений при всех четных перестановках, не существует. Если теперь перевести это на теоретико-групповой язык, то получается, что группа общего уравнения пятой степени есть симметрическая группа S₅, в которой существует 5! = 120 различных перестановок пяти корней. Далее, путем присоединения квадратного корня из дискриминанта, мы можем понизить ее до знакопеременной группы четных перестановок A₅, которая содержит 120/2 = 60 перестановок. Но A₅ является простой группой, в которой нет никаких нетривиальных нормальных подгрупп, которым бы соответствовали выражения от корней сохраняющие значения при определенных перестановках, из чего следует, что присоединение любых дополнительных радикалов не приблизит нас к решению.

Заключение

Поводом для написания данной статьи послужило желание структурировать свои мысли по этой теме и представить идеи о неразрешимости уравнений в радикалах без привлечения абстрактной алгебры и теории Галуа. По моему мнению, в подавляющем большинстве современных изложений теряется связь между областью, в которой происходит доказательство и конкретными уравнениями. Если у кого-то есть замечания, дополнения или ссылки на подобные элементарные изложения, буду рад услышать.