Как составить кубическое уравнение по его корням

Решение кубических уравнений

Здесь мы рассматриваем решение кубических уравнений вида
(1) .
Далее считаем, что – это действительные числа.

Если исходное уравнение имеет вид:
(2) ,
то разделив его на , получаем уравнение вида (1) с коэффициентами
.

Уравнение (1) имеет три корня: , и . Один из корней всегда действительный. Действительный корень мы обозначаем как . Корни и могут быть либо действительными, либо комплексно сопряженными. Действительные корни могут быть кратными. Например, если , то и – это двукратные корни (или корни кратности 2), а – простой корень.

Если известен один корень

Пусть нам известен один корень кубического уравнения (1). Обозначим известный корень как . Тогда разделив уравнение (1) на , получим квадратное уравнение. Решая квадратное уравнение, найдем еще два корня и .

Для доказательства воспользуемся тем, что кубический многочлен можно представить в виде:
.
Тогда, разделив (1) на , получаем квадратное уравнение.

Примеры деления многочленов представлены на странице
“Деление и умножение многочлена на многочлен уголком и столбиком”.
Решение квадратных уравнений рассмотрено на странице
“Корни квадратного уравнения”.

Если один из корней – целый

Если исходное уравнение имеет вид:
(2) ,
и его коэффициенты , , , – целые числа, то можно попытаться найти целый корень. Если это уравнение имеет целый корень, то он является делителем коэффициента . Метод поиска целых корней заключается в том, что мы находим все делители числа и проверяем, выполняется ли для них уравнение (2). Если уравнение (2) выполняется, то мы нашли его корень. Обозначим его как . Далее делим уравнение (2) на . Получаем квадратное уравнение. Решая его, находим еще два корня.

Поиск рациональных корней

Если в уравнении (2) , , , – целые числа, причем , и целых корней нет, то можно попытаться найти рациональные корни, то есть корни вида , где и – целые.

Для этого умножим уравнение (2) на и сделаем подстановку :
;
(3) .
Далее ищем целые корни уравнения (3) среди делителей свободного члена .

Если мы нашли целый корень уравнения (3), то, возвращаясь к переменной , получаем рациональный корень уравнения (2):
.

Формулы Кардано и Виета для решения кубического уравнения

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

Рассмотрим кубическое уравнение:
(1) .
Сделаем подстановку:
.
После этого уравнение приводится к неполному или приведенному виду:
(4) ,
где
(5) ; .

Формула Кардано для неполного (приведенного) кубического уравнения имеет вид:
;
;
;
;
.
По формуле Кардано, мы находим три корня величины . Затем, используя формулу , находим значения величины .

После разделения кубических корней величины , формула Кардано принимает следующий вид:
(6) , ,
где
(7) ; ; ;
(8) .

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

При имеем:
; ; .
В этом случае мы имеем два кратных действительных корня. Если , то мы имеем три кратных корня.

При мы имеем три действительных корня. При этом и – комплексные. Поэтому решение приводится к тригонометрической форме, которая имеет название формулы Виета:
(9) ;
(10) ,
где
(11) ; .

Примеры решений по формулам Кардано и Виета

Решить кубические уравнения:
;
.

Использованная литература:
И.Н. Бронштейн, К.А. Семендяев, Справочник по математике для инженеров и учащихся втузов, «Лань», 2009.
Г. Корн, Справочник по математике для научных работников и инженеров, 2012.

Автор: Олег Одинцов . Опубликовано: 30-04-2016 Изменено: 02-10-2016

Решение кубических уравнений

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

Решение двучленного кубического уравнения вида A x 3 + B = 0

Кубическое уравнение, содержащее двучлен, имеет вид A x 3 + B = 0 . Его необходимо приводить к x 3 + B A = 0 с помощью деления на А , отличного от нуля. После чего можно применять формулу сокращенного умножения суммы кубов. Получаем, что

x 3 + B A = 0 x + B A 3 x 2 — B A 3 x + B A 2 3 = 0

Результат первой скобки примет вид x = — B A 3 , а квадратный трехчлен — x 2 — B A 3 x + B A 2 3 , причем только с комплексными корнями.

Найти корни кубического уравнения 2 x 3 — 3 = 0 .

Решение

Необходимо найти х из уравнения. Запишем:

2 x 3 — 3 = 0 x 3 — 3 2 = 0

Необходимо применить формулу сокращенного умножения. Тогда получим, что

x 3 — 3 2 = 0 x — 3 3 2 6 x 2 + 3 3 2 6 x + 9 2 3 = 0

Раскроем первую скобку и получим x = 3 3 2 6 . Вторая скобка не имеет действительных корней, потому как дискриминант меньше нуля.

Ответ: x = 3 3 2 6 .

Решение возвратного кубического уравнения вида A x 3 + B x 2 + B x + A = 0

Вид квадратного уравнения — A x 3 + B x 2 + B x + A = 0 , где значения А и В являются коэффициентами. Необходимо произвести группировку. Получим, что

A x 3 + B x 2 + B x + A = A x 3 + 1 + B x 2 + x = = A x + 1 x 2 — x + 1 + B x x + 1 = x + 1 A x 2 + x B — A + A

Корень уравнения равен х = — 1 , тогда для получения корней квадратного трехчлена A x 2 + x B — A + A необходимо задействовать через нахождение дискриминанта.

Решить уравнение вида 5 x 3 — 8 x 2 — 8 x + 5 = 0 .

Решение

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

5 x 3 — 8 x 2 — 8 x + 5 = 5 x 3 + 1 — 8 x 2 + x = = 5 x + 1 x 2 — x + 1 — 8 x x + 1 = x + 1 5 x 2 — 5 x + 5 — 8 x = = x + 1 5 x 2 — 13 x + 5 = 0

Если х = — 1 является корнем уравнения, тогда необходимо найти корни заданного трехчлена 5 x 2 — 13 x + 5 :

5 x 2 — 13 x + 5 = 0 D = ( — 13 ) 2 — 4 · 5 · 5 = 69 x 1 = 13 + 69 2 · 5 = 13 10 + 69 10 x 2 = 13 — 69 2 · 5 = 13 10 — 69 10

Ответ:

x 1 = 13 10 + 69 10 x 2 = 13 10 — 69 10 x 3 = — 1

Решение кубических уравнений с рациональными корнями

Если х = 0 , то он является корнем уравнения вида A x 3 + B x 2 + C x + D = 0 . При свободном члене D = 0 уравнение принимает вид A x 3 + B x 2 + C x = 0 . При вынесении х за скобки получим, что уравнение изменится. При решении через дискриминант или Виета оно примет вид x A x 2 + B x + C = 0 .

Найти корни заданного уравнения 3 x 3 + 4 x 2 + 2 x = 0 .

Решение

3 x 3 + 4 x 2 + 2 x = 0 x 3 x 2 + 4 x + 2 = 0

Х = 0 – это корень уравнения. Следует найти корни квадратного трехчлена вида 3 x 2 + 4 x + 2 . Для этого необходимо приравнять к нулю и продолжить решение при помощи дискриминанта. Получим, что

D = 4 2 — 4 · 3 · 2 = — 8 . Так как его значение отрицательное, то корней трехчлена нет.

Ответ: х = 0 .

Когда коэффициенты уравнения A x 3 + B x 2 + C x + D = 0 целые, то в ответе можно получить иррациональные корни. Если A ≠ 1 , тогда при умножении на A 2 обеих частей уравнения проводится замена переменных, то есть у = А х :

A x 3 + B x 2 + C x + D = 0 A 3 · x 3 + B · A 2 · x 2 + C · A · A · x + D · A 2 = 0 y = A · x ⇒ y 3 + B · y 2 + C · A · y + D · A 2

Приходим к виду кубического уравнения. Корни могут быть целыми или рациональными. Чтобы получить тождественное равенство, необходимо произвести подстановку делителей в полученное уравнение. Тогда полученный y 1 будет являться корнем. Значит и корнем исходного уравнения вида x 1 = y 1 A . Необходимо произвести деление многочлена A x 3 + B x 2 + C x + D на x — x 1 . Тогда сможем найти корни квадратного трехчлена.

Найти корни заданного уравнения 2 x 3 — 11 x 2 + 12 x + 9 = 0 .

Решение

Необходимо произвести преобразование с помощью умножения на 2 2 обеих частей, причем с заменой переменной типа у = 2 х . Получаем, что

2 x 3 — 11 x 2 + 12 x + 9 = 0 2 3 x 3 — 11 · 2 2 x 2 + 24 · 2 x + 36 = 0 y = 2 x ⇒ y 3 — 11 y 2 + 24 y + 36 = 0

Свободный член равняется 36 , тогда необходимо зафиксировать все его делители:

± 1 , ± 2 , ± 3 , ± 4 , ± 6 , ± 9 , ± 12 , ± 36

Необходимо произвести подстановку y 3 — 11 y 2 + 24 y + 36 = 0 , чтобы получить тождество вида

1 3 — 11 · 1 2 + 24 · 1 + 36 = 50 ≠ 0 ( — 1 ) 3 — 11 · ( — 1 ) 2 + 24 · ( — 1 ) + 36 = 0

Отсюда видим, что у = — 1 – это корень. Значит, x = y 2 = — 1 2 .

Далее следует деление 2 x 3 — 11 x 2 + 12 x + 9 на x + 1 2 при помощи схемы Горнера:

2 x 3 — 11 x 2 + 12 x + 9 = x + 1 2 2 x 2 — 12 x + 18 = = 2 x + 1 2 x 2 — 6 x + 9

После чего необходимо найти корни квадратного уравнения вида x 2 — 6 x + 9 . Имеем, что уравнение следует привести к виду x 2 — 6 x + 9 = x — 3 2 , где х = 3 будет его корнем.

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

Алгоритм можно применять для возвратных уравнений. Видно, что — 1 – это его корень, значит, левая часть может быть поделена на х + 1 . Только тогда можно будет найти корни квадратного трехчлена. При отсутствии рациональных корней применяются другие способы решения для разложения многочлена на множители.

Решение кубических уравнений по формуле Кардано

Нахождение кубических корней возможно при помощи формулы Кардано. При A 0 x 3 + A 1 x 2 + A 2 x + A 3 = 0 необходимо найти B 1 = A 1 A 0 , B 2 = A 2 A 0 , B 3 = A 3 A 0 .

После чего p = — B 1 2 3 + B 2 и q = 2 B 1 3 27 — B 1 B 2 3 + B 3 .

Полученные p и q в формулу Кардано. Получим, что

y = — q 2 + q 2 4 + p 3 27 3 + — q 2 — q 2 4 + p 3 27 3

Подбор кубических корней должен удовлетворять на выходе значению — p 3 . Тогда корни исходного уравнения x = y — B 1 3 . Рассмотрим решение предыдущего примера, используя формулу Кардано.

Найти корни заданного уравнения 2 x 3 — 11 x 2 + 12 x + 9 = 0 .

Решение

Видно, что A 0 = 2 , A 1 = — 11 , A 2 = 12 , A 3 = 9 .

Необходимо найти B 1 = A 1 A 0 = — 11 2 , B 2 = A 2 A 0 = 12 2 = 6 , B 3 = A 3 A 0 = 9 2 .

Отсюда следует, что

p = — B 1 2 3 + B 2 = — — 11 2 2 3 + 6 = — 121 12 + 6 = — 49 12 q = 2 B 1 3 27 — B 1 B 2 3 + B 3 = 2 · — 11 2 3 27 — — 11 2 · 6 3 + 9 2 = 343 108

Производим подстановку в формулу Кордано и получим

y = — q 2 + q 2 4 + p 3 27 3 + — q 2 — — q 2 4 + p 3 27 3 = = — 343 216 + 343 2 4 · 108 2 — 49 3 27 · 12 3 3 + — 343 216 — 343 2 4 · 108 2 — 49 3 27 · 12 3 3 = = — 343 216 3 + — 343 216 3

— 343 216 3 имеет три значения. Рассмотрим их ниже.

— 343 216 3 = 7 6 cos π + 2 π · k 3 + i · sin π + 2 π · k 3 , k = 0 , 1 , 2

Если k = 0 , тогда — 343 216 3 = 7 6 cos π 3 + i · sin π 3 = 7 6 1 2 + i · 3 2

Если k = 1 , тогда — 343 216 3 = 7 6 cosπ + i · sinπ = — 7 6

Если k = 2 , тогда — 343 216 3 = 7 6 cos 5 π 3 + i · sin 5 π 3 = 7 6 1 2 — i · 3 2

Необходимо произвести разбиение по парам, тогда получим — p 3 = 49 36 .

Тогда получим пары: 7 6 1 2 + i · 3 2 и 7 6 1 2 — i · 3 2 , — 7 6 и — 7 6 , 7 6 1 2 — i · 3 2 и 7 6 1 2 + i · 3 2 .

Преобразуем при помощи формулы Кордано:

y 1 = — 343 216 3 + — 343 216 3 = = 7 6 1 2 + i · 3 2 + 7 6 1 2 — i · 3 2 = 7 6 1 4 + 3 4 = 7 6 y 2 = — 343 216 3 + — 343 216 3 = — 7 6 + — 7 6 = — 14 6 y 3 = — 343 216 3 + — 343 216 3 = = 7 6 1 2 — i · 3 2 + 7 6 1 2 + i · 3 2 = 7 6 1 4 + 3 4 = 7 6

x 1 = y 1 — B 1 3 = 7 6 + 11 6 = 3 x 2 = y 2 — B 1 3 = — 14 6 + 11 6 = — 1 2 x 3 = y 3 — B 1 3 = 7 6 + 11 6 = 3

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

При решении кубических уравнений можно встретить сведение к решению уравнений 4 степени методом Феррари.

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

Историческая справка

Поиск решения алгебраических уравнений оказал колоссальное влияние на развитие математики. Формула решения общего кубического уравнения впервые была получена итальянскими математиками 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₅ является простой группой, в которой нет никаких нетривиальных нормальных подгрупп, которым бы соответствовали выражения от корней сохраняющие значения при определенных перестановках, из чего следует, что присоединение любых дополнительных радикалов не приблизит нас к решению.

Заключение

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