Разрешимость уравнения в квадратных радикалах

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

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

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

Заключение

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

VMath

Инструменты сайта

Основное

Навигация

Информация

Действия

Содержание

Вспомогательная страница к разделу ПОЛИНОМ

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

Можно ли выразить корни полинома $ f(x)=a_<0>x^n+a_1x^+\dots+a_n $ с комплексными коэффициентами $ a_<0>,a_1,\dots,a_n $ в виде «хороших» функций от этих коэффициентов? Вспомним, что для корней квадратного уравнения существует общая формула вычисления корней: $$x^2+ax+b=0 \ \Rightarrow \ \lambda_<1,2>=\frac<-a\pm \sqrt> <2>\ . $$ Эта формула включает в себя элементарные алгебраические операции $ +,- ,\times, \div $ и операцию извлечения квадратного корня. По аналогии можно сформулировать и общую задачу.

Задача. Найти выражения корней полинома степени $ n > 2 $ в виде функций его коэффициентов; при этом функции должны представлять конечную комбинацию элементарных алгебраических операций и операций извлечения корней произвольных (целых) степеней.

Поставленная задача называется задачей о разрешимости уравнения в радикалах 1) .

Оказывается, что любое уравнение третьей или четвертой степени разрешимо в радикалах. Перед тем, как изложить способы их решения, сделаем два упрощения. Первое из них заключается в том, что уравнение $ f_<>(x)=0 $ делится на старший коэффициент полинома $ f_<>(x) $.

Полином называется нормализованным, если его старший коэффициент равен $ 1_<> $. Операция деления полинома на его старший коэффициент называется нормализацией полинома.

Очевидно, что нормализованный полином имеет те же корни (и в тех же кратностях ), что и исходный. Для простоты обозначений, будем считать, что полином уже нормализован: $$ f(x)=x^n+a_1x^+\dots+a_n \, .$$

Второе упрощение заключается в замене переменной (подстановке): $ x=y +\alpha $. Ее результатом будет новый полином той же степени, что и исходный, относительно переменной $ y $: $ F(y)\equiv f(y+\alpha) $. Корни нового полинома связаны (cм. преобразование 2 ☞ ЗДЕСЬ ) с корнями старого по формуле $ \lambda_j = \Lambda_j+\alpha $; так что, найдя корни одного полинома, легко установим и корни другого. Подберем теперь параметр $ \alpha $ так, чтобы обратить в нуль коэффициент при $ y^ $ в полиноме $ F(y) $. Используя формулу бинома Ньютона, получаем $$ \begin f(x)&=&x^n+a_1x^+a_2x^+\dots+a_n= \\ &=&(y+\alpha)^n +a_1(y+\alpha)^+a_2(y+\alpha)^+\dots+a_n = \\ &=&y^n + C_n^1 \alpha y^ +C_n^2 \alpha^2 y^+\dots+ \alpha^n + \\ & & \ \qquad + a_1y^+a_1 C_^1 \alpha y^+\dots +a_1\alpha^ + \\ & & \quad \qquad \qquad +a_2y^ + \dots + a_n. \end $$ Понятно, что если положить $ \alpha= — a_1/n $, то коэффициент при $ y^ $ исчезнет. Для простоты обозначений будем считать, что полином уже предварительно подвергнут такому преобразованию: $ f(x)=x^n+a_2x^+\dots+a_n $.

Уравнение третьей степени: формула Кардано

Рассмотрим уравнение третьей степени: $$ x^3+p\,x+q=0 $$ Сделаем в этом уравнении замену переменной: $ x=u+v $, введя две неизвестные $ u_<> $ и $ v_<> $; получим: $$ u^3+v^3+3\,uv(u+v)+p(u+v)+q=0 \ . $$ Сгруппируем: $$ u^3+v^3+(3\,uv+p)(u+v)+q=0 \ . $$ Подчиним теперь неизвестные $ u_<> $ и $ v_<> $ условию $$ 3\,uv+p=0 \ \iff \ uv=-\frac

<3>\ . $$ Тогда предыдущее уравнение приведется к виду $$u^3+v^3=-q \ . $$ Итак, для определения неизвестных величин $ u_<> $ и $ v_<> $ мы получили систему уравнений $$ u^3+v^3=-q,\ uv=-\frac

<3>. $$ Возведя последнее уравнение в куб, получим $$ u^3v^3=-\frac <27>\ . $$ Два полученных равенства, связывающие $ u^ <3>$ и $ v^ <3>$, позволяет утверждать, что эти величины являются решениями квадратного уравнения: $$t^2+q\,t- \frac<27>=0 \ .$$

Выражение $$ \Delta = \frac<4>+\frac <27>$$ называется дискриминантом кубического уравнения.

Решив квадратное уравнение, получим: $$ u^3=-\frac<2>+ \sqrt<\Delta>,\ v^3=-\frac<2>— \sqrt <\Delta>\ . $$ В итоге имеем формулу для решений уравнения: $$ x=u+v=\sqrt[3]<-\frac<2>+\sqrt<\frac<4>+\frac<27>>>+ \sqrt[3]<-\frac<2>-\sqrt<\frac<4>+\frac<27>>> \ ; $$ она называется формулой Кардано.

Исторические заметки об открытии метода решения кубического уравнения ☞ ЗДЕСЬ.

Формула Кардано не очень удобна для практических вычислений. Дело в том, что корень кубический из комплексного числа принимает три различных значения. Решение же, представленное формулой Кардано, имеет в правой части комбинацию из двух кубических корней. Таким образом, получаем 9 всевозможных комбинаций из значений корней кубических. С другой стороны, основная теорема высшей алгебры утверждает, что кубическое уравнение должно иметь только три решения. Для того, чтобы установить соответствие между значениями $ u_<> $ и $ v_<> $, обратимся к условию $ uv=-p/3 $ . Согласно этому условию, задание значений для $ u_<> $ позволит однозначно восстановить $ v_<> $. Пусть $$ u_1=\sqrt[3]<-\frac<2>+\sqrt<\frac<4>+\frac<27>>> $$ какое-то одно из трех возможных значений корня кубического. Два оставшихся значения корня кубического получаются домножением $ u_1 $ на корни кубические из единицы (см. ☞ ЗДЕСЬ ): $$u_2=u_1\varepsilon_1, \ u_3=u_1\varepsilon_2 $$ при $$\varepsilon_1=\cos \frac<2\pi> <3>+ <\mathbf i>\sin \frac<2\pi><3>= -\frac<1><2>+ <\mathbf i>\frac<\sqrt<3>> <2>\ u \ \varepsilon_2=\cos \frac<4\pi> <3>+ <\mathbf i>\sin \frac<4\pi><3>= -\frac<1><2>— <\mathbf i>\frac< \sqrt<3>> < 2>\ . $$ Если теперь взять $$ v_1=-\frac

<3u_1>\ , $$ то решения кубического уравнения можно выразить в виде комбинаций $ u_1 $ и $ v_1 $: $$ \begin \lambda_1&=&u_1+v_1, \\ \lambda_2&=&u_2+v_2=u_2-\frac<\displaystyle p><\displaystyle 3u_2>=u_1\varepsilon_1-\frac<\displaystyle p> <\displaystyle 3u_1\varepsilon_1>=u_1\varepsilon_1-\frac<\displaystyle p\varepsilon_2><\displaystyle 3u_1>=u_1\varepsilon_1+v_1\varepsilon_2,\\ \lambda_3&=&u_3+v_3=u_1\varepsilon_2+v_1\varepsilon_1 \ . \end $$ Окончательно получаем формулы для вычисления корней: $$ \left\< \begin \lambda_1&=&u_1+v_1, \\ \lambda_2&=&-\frac<\scriptstyle 1><\scriptstyle 2>(u_1+v_1) + <\mathbf i>\frac<\scriptstyle \sqrt<3>> <\scriptstyle 2>(u_1-v_1),\\ \lambda_3&=&-\frac<\scriptstyle 1><\scriptstyle 2>(u_1+v_1) — <\mathbf i>\frac<\scriptstyle \sqrt<3>> <\scriptstyle 2>(u_1-v_1), \end \right. $$ где $ u_ <1>$ — одно из значений корня кубического, а $ v_ <1>$ связано с ним соотношением $ v_1=-p/(3u_1) $.

Пример [1]. Решить уравнение $ x^3-6<\mathbf i>\,x^2-10\,x+8 <\mathbf i>=0 $.

Решение. Подстановка $ x=y+2 <\mathbf i>$ приводит уравнение к виду $$y^3+2\,y+4 <\mathbf i>=0 \ , $$ т.е. $ p=2,\,q=4 <\mathbf i>$. Далее $$\Delta=-\frac<100> <27>\ \Rightarrow \ \sqrt <\Delta>= \pm \frac<10 <\mathbf i>><3\sqrt<3>> \ \Rightarrow \ u_1=\sqrt[3]<\left(-2 + \frac<10><3\sqrt<3>> \right)<\mathbf i>> \ . $$ Одно из значений последнего корня: $$u_1=-<\mathbf i>\, \sqrt[3]<-2 + \frac<10><3\sqrt<3>>> \ , $$ это выражение можно упростить, если повезет заметить, что подкоренное выражение равно $ \left(-1+1/<\sqrt<3>>\right)^3 $: $$u_1=<\mathbf i>\left(1-\frac<1><\sqrt<3>>\right)\ \Rightarrow \ v_1=-\frac

<3u_1>= <\mathbf i>\left(1+\frac<1><\sqrt<3>>\right) \ . $$ Получаем: $$\mu_1=2\, <\mathbf i>,\ \mu_2=1- <\mathbf i>,\ \mu_3=-1- <\mathbf i>\ .$$ Значения корней исходного уравнения получатся «сдвигом» на $ 2 <\mathbf i>$.

Анализ формулы Кардано для полиномов с вещественными коэффициентами

Пусть коэффициенты $ p^<> $ и $ q^<> $ уравнения $ x^<3>+p\,x+q=0 $ вещественны. Тогда и дискриминант $$ \Delta = \frac<4>+\frac <27>$$ этого уравнения — тоже вещественное число. В зависимости от знака этого числа, уравнение будет иметь разное число вещественных корней.

I. Пусть $ \Delta>0 $. Тогда $ \sqrt <\Delta>$ является числом вещественным, и мы будем считать его положительным. В формуле для $ u_1=\sqrt[3]<-q/2+\sqrt<\Delta>> $ в качестве значения кубического корня возьмем единственное его вещественное значение: $$ u_1 \in \mathbb R \ \Rightarrow \ v_1 \in \mathbb R \ .$$

Согласно формулам $$ \begin \lambda_1&=&u_1+v_1, \\ \lambda_2&=&u_2+v_2=u_2-\frac<\displaystyle p><\displaystyle 3u_2>=u_1\varepsilon_1-\frac<\displaystyle p> <\displaystyle 3u_1\varepsilon_1>=u_1\varepsilon_1-\frac<\displaystyle p\varepsilon_2><\displaystyle 3u_1>=u_1\varepsilon_1+v_1\varepsilon_2,\\ \lambda_3&=&u_3+v_3=u_1\varepsilon_2+v_1\varepsilon_1 \ . \end $$ получим: корень $ \lambda_ <1>$ уравнения веществен, а $ \lambda_ <2>$ и $ \lambda_ <3>$ — мнимы и комплексно-сопряжены.

Пример. Решить уравнение $$ x^3-\frac<1> <2>\, x-\frac<1> <2>=0 . $$

Решение. Здесь $$p=-\frac<1><2>,\ q=-\frac<1><2>,\ \Delta=\frac<25><432>,\ u_1=\sqrt[3]<\frac<1><4>+\frac<5 \sqrt<3>><36>> \ , \ v_1=\sqrt[3]<\frac<1><4>-\frac<5 \sqrt<3>><36>> \ . $$ Единственный вещественный корень должен получаться в виде суммы чисел $ u_ <1>$ и $ v_ <1>$ — «сильно» иррациональных, судя по внешнему виду. Тем не менее, этот корень очевиден: $ \lambda = 1 $.

Объяснить эту кажущуюся несуразность можно если заметить, что выражения под кубическими корнями в $ u_ <1>$ и $ v_ <1>$ представимы в виде кубов: $$\frac<1><4>+\frac<5 \sqrt<3>><36>=\left(\frac<1> <2>+\frac<\sqrt<3>> <6>\right)^3 ,\quad \frac<1><4>-\frac<5 \sqrt<3>><36>=\left(\frac<1> <2>-\frac<\sqrt<3>> <6>\right)^3 \ .$$ Тогда и два оставшихся корня $ -1/2 \pm 1/2 \, \mathbf i $ получаются из общих формул. ♦

II. Пусть $ \Delta=0 $. Формулы для корней дают $$ \lambda_1=2 \sqrt[3] <-q/2>\ , \ \lambda_2= \sqrt[3] , \ , \lambda_3= \sqrt[3] \ , $$ т.е. уравнение имеет кратный корень кратности $ 2_<> $ если $ q\ne 0 $ и кратности $ 3_<> $ если $ q=0 $.

III. Пусть $ \Delta ♦

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

Пример [2]. Решить уравнение $ x^3-3\,x+1=0 $.

Решение. Здесь $ \Delta=-\frac<3> <4>$ и $ u_1=\sqrt[3]<-\frac<1> <2>+ \frac<\sqrt<3>><2>\, \mathbf i> $. $$\sqrt[3]<-\frac<1> <2>+ \frac<\sqrt<3>><2>\, \mathbf i>= \alpha+ \mathbf i\, \beta \ \Rightarrow \ 4\, \alpha^3-3\, \alpha +\frac<1> <2>=0 \ . $$ Умножив последнее уравнение на $ 2_<> $ и сделав в нем замену переменной $ A = 2\alpha $ мы придем к уравнению $$A^3-3\, A +1 =0 \ , $$ т.е. вернемся к исходному уравнению!

Вывод: все корни полинома вещественны, но в радикалах их можно представить только с помощью мнимых чисел. ♦

Как разрешить этот парадокс?

Как получить вещественный вид для корней полинома? На помощь приходит альтернативный алгебраическому способ извлечения корня кубического из комплексного числа: способ, основанный на представлении этого числа в тригонометрической форме.

Теорема. В случае $ \Delta ♦

Пример. Решить уравнение из предыдущего примера: $ x^3-3\,x+1=0 $.

Решение. Здесь $ p=-3, q=1 $ и $ \displaystyle \varphi = \operatorname \left(- \frac<1> <2>\right) =\frac<2\,\pi> <3>$.

Ответ. $$ 2 \cos \frac<2\pi> <9>\approx 1.53208 \ ,\quad 2 \cos \frac<8\pi> <9>\approx -1.87938\ , \quad 2 \cos \frac <-4\pi> <9>\approx 0.34729 \ . $$ Проверка может быть выполнена применением формулы приведения для степени косинуса, приведенной ☞ ЗДЕСЬ.

Пример. Решить уравнение $ x^3-6\,x+3=0 $.

Решение. Здесь $ p=-6, q=3 $ и $ \displaystyle \varphi = \operatorname \left(- \frac<3><4\sqrt<2>> \right) \approx 2.1297861 $.

Ответ. $ \approx 2.145103,\ \approx -2.669079,\ \approx 0.523976 $.

Уравнение четвертой степени

рассмотрим в виде: $$ x^4+p\,x^2+q\,x+r=0 , $$ перепишем его в виде $$x^4=-p\,x^2-q\,x-r $$ и прибавим к обеим частям $ x^2t+t^2/4 $, где $ t $ — новая неизвестная: $$ x^4+x^2t+t^2/4=(t-p)\,x^2-q\,x +(t^2/4-r) \ . $$ Левая часть получившегося уравнения является полным квадратом: $$ \left(x^2+t/2 \right)^2 =(t-p)\,x^2-q\,x+(t^2/4-r) \ . $$ Подберем теперь значение $ t $ так, чтобы и правая часть стала полным квадратом.

Теорема. Для того, чтобы квадратный полином $ Ay^2+By+C $ был квадратом полинома первой степени, необходимо и достаточно, чтобы его дискриминант $ B^2-4\,AC $ был равен нулю.

Доказательство. Необходимость. Если $ Ay^2+By+C\equiv (ky+ \ell)^2 $, то $ A=k^2,\, B=2\,k\ell,\, C=\ell^2 $ и тогда очевидно $ B^2-4\,AC=0 $.

Применяя этот результат к правой части полученного уравнения, находим условие на параметр $ t $, при котором это выражение станет полным квадратом: $$ q^2-4\,(t-p)(t^2/4-r)=0\ \iff \ t^3-p\,t^2-4\,r\,t+(4\,pr-q^2)=0 $$ Это уравнение называется резольвентой Феррари для уравнения $ x^4+p\,x^2+q\,x+r=0 $.

Поскольку резольвента Феррари является уравнением кубическим, то его можно разрешить в радикалах по методу изложенному ВЫШЕ. Обозначим через $ t_1 $ какой-то из его корней. При этом значении $ t $ правая часть уравнения $$ \left(x^2+t/2 \right)^2 =(t-p)\,x^2-q\,x+(t^2/4-r) \ . $$ будет полным квадратом: $$ (t_1-p)\,x^2-q\,x+(t_1^2/4-r) \equiv \left(Kx+L \right)^2 \quad npu \quad \ K= \sqrt,\, L= -\frac<2\sqrt> \ . $$ Следовательно, уравнение это уравнение приобретает вид: $$ \left(x^2+ t_1/2 \right)^2 = \left(Kx+L \right)^2 $$ и разлагается на два квадратных: $$ x^2+t_1/2 =Kx+L \quad u \quad x^2+t_1/2 =-Kx-L \ . $$ Последние, по их решении, и дают четыре значения корней уравнения четвертой степени.

Если обозначить корни этих квадратных уравнений через $ x_1,x_2 $ и, соответственно, $ x_3,x_4 $, то они будут связаны с корнем $ t_ <1>$ резольвенты Феррари равенством $ t_1=x_1x_2+x_3x_4 $. В самом деле, это равенство следует из двух формул Виета: $ x_1x_2=t_1/2-L,\, x_3x_4=t_1/2+L $. Остальные корни резольвенты получаются в результате перестановок $ t_2=x_1x_3+x_2x_4,\, t_3=x_1x_4+x_2x_3 $.

Пример [2]. Решить уравнение $ x^4+4\,x-1=0 $ .

Решение. Здесь $ p=0,\,q=4,r=-1 $ и резольвента Феррари имеет вид $$t^3+4\,t-16=0 \ .$$ Последнее уравнение имеет корень $ t_1=2 $. Следовательно, исходное уравнение можно переписать в виде: $$ (x^2+1)^2 =\left(\sqrt<2>x- \sqrt<2>\right)^2 \ . $$ Оно распадается на два квадратных: $$ x^2+1=\sqrt<2>\, x- \sqrt <2>\ u \ x^2+1=-\sqrt<2>\, x + \sqrt <2>\ . $$

Преобразование Чирнгауза

Успех, достигнутый в решении уравнений третьей и четвертой степени побудил исследователей искать подобные формулы для уравнений высших степеней. Методология подхода была очевидна: свести решение уравнения $ n_<> $-й степени к решению уравнения $ (n-1)_<> $-й степени. Одну из возможных вариаций этого подхода поясним на примере.

Пример. Решить уравнение $ x^3+6\,x-2=0 $.

Решение. Обозначим неизвестные корни полинома $ f(x)=x^3+6\,x-2 $ через $ \lambda_1,\lambda_2, \lambda_3 $. Построим полином $ F_<>(y) $, корнями которого являются величины $$ \mu_j=\lambda_j^2+2\, \lambda_j+4 . $$ Выражение $$F(y)= (y-\mu_1)(y-\mu_2)(y-\mu_3)$$ является симметрическим полиномом относительно $ \lambda_1,\lambda_2 $ и $ \lambda_ <3>$. Следовательно, по теореме Гаусса о симметрических полиномах, коэффициенты $ F_<>(y) $ должны полиномиально выражаться через коэффициенты $ f_<>(x) $, т.е. быть числами целыми. Опуская промежуточные выкладки, приведем окончательный результат: $$F(y)\equiv y^3-108 .$$ Корни этого полинома легко определить: $$ \mu_1=3\sqrt[3]<4>,\ \mu_2= 3\sqrt[3] <4>\left(-\frac<1> <2>+\mathbf i \frac<\sqrt<3>> <2>\right),\ \mu_3= 3\sqrt[3]<4>\left(-\frac<1> <2>-\mathbf i \frac<\sqrt<3>> <2>\right) \ . $$ Теперь находим $ \lambda_ $ из квадратных уравнений $$\sqrt[3] <4>— \sqrt[3]<2>,\ -2-\sqrt[3] <4>+ \sqrt[3]<2>,\ $$ $$ \frac<1><2>\left(-\sqrt[3] <4>+ \sqrt[3]<2>\right) + \mathbf i \frac<\sqrt<3>> <2>\left(\sqrt[3] <4>+ \sqrt[3]<2>\right),\ -2 + \frac<1><2>\left(\sqrt[3] <4>— \sqrt[3]<2>\right) — \mathbf i \frac<\sqrt<3>> <2>\left(\sqrt[3] <4>+ \sqrt[3]<2>\right),\ $$ $$ \frac<1><2>\left(-\sqrt[3] <4>+ \sqrt[3]<2>\right) — \mathbf i \frac<\sqrt<3>> <2>\left(\sqrt[3] <4>+ \sqrt[3]<2>\right),\ -2 + \frac<1><2>\left(\sqrt[3] <4>— \sqrt[3]<2>\right) + \mathbf i \frac<\sqrt<3>> <2>\left(\sqrt[3] <4>+ \sqrt[3]<2>\right). $$ Подстановкой в исходное уравнение выделяем истинные его корни.

Подобное преобразование полинома $ f_<>(x) $ в полином $ F_<>(y) $ той же степени, имеющий корнями числа $ g(\lambda_1),\dots, g(\lambda_n) $ при произвольном полиноме $ g(x)\in \mathbb A[x] $, называется преобразованием Чирнгауза.

Биографические заметки о Чирнгаузе ☞ ЗДЕСЬ.

Задача. Найти такое преобразование Чирнгауза, которое преобразует исходный полином к виду $ y^n-a $. Корни последнего, очевидно, выражаются в радикалах. Если при этом, $ \deg g ♦

Следующий способ нахождения преобразования Чирнгауза является развитием метода Безу вычисления результанта.

Найдем остатки от деления $ x^kg(x) $ на $ f_<>(x) $ $$ g_k(x) = b_+b_x+\dots +b_x^+b_x^ \quad npu \quad k\in\ <0,1,\dots,n-1\>$$ (здесь изменен порядок нумерации коэффициентов по сравнению с тем, что указан при изложении ☞ метода Безу ) и составим матрицу из коэффициентов: $$ B=[b_]_^ \ . $$

Теорема [Эрмит]. Имеем:

Доказательство. Равенства $$y=g(x),\, xy=g(x)x,\, \dots, x^y=g(x)x^ \ ,$$ при подстановке корня $ \lambda_j $ полинома $ f(x) $ переходят в $$y=g_0(\lambda_j),\,\lambda_jy=g_1(\lambda_j),\dots, \lambda_j^y=g_(\lambda_j) \ .$$ Рассмотрим получившиеся уравнения как линейную однородную систему относительно столбца неизвестных $$X=[1,\lambda_j,\dots,\lambda_j^]^ <\top>\ . $$ Поскольку эта система имеет нетривиальное решение, то (на основании следствия к теореме Кронекера-Капелли ) определитель ее матрицы должен обращаться в нуль. ♦

Пример. Решить предыдущий пример по методу Эрмита.

Решение. Имеем $$g_0(x)\equiv g(x)=-1+x+x^2, \ g_1(x)=-3+x+x^2, \ g_2(x)=-3-x+x^2 $$ и, следовательно, $$F(y)=(-1)^3\left| \begin -1-y & 1 & 1 \\ -3 & 1-y & 1 \\ -3 & -1 & 1-y \end\right|=y^3-y^2+6\,y-4 \ . $$

Будем решать теперь вторую из сформулированных выше подзадач: подобрать преобразование Чирнгауза таким образом, чтобы обнулить как можно большее число коэффициентов у полинома $ F_<>(y) $.

Пример. Для полинома $ f(x)=x^3+a_1x^2+a_2x+a_3 \in \mathbb C[x] $ подобрать преобразование Чирнгауза вида $ y=x^2+b_1x+b_2\in \mathbb C[x] $ так, чтобы получившийся в результате преобразования полином имел вид $ F(y)=y^3+c_3 $.

Найти преобразование Чирнгауза, позволяющее решить в радикалах уравнение $ x^3+a_1x^2+\frac<1><3>\, a_1^2x+a_3=0 $.

Статья не закончена!

Разрешимость в радикалах

Успех достигнутый в решении уравнений третьей и четвертой степени побудил исследователей искать подобные формулы для уравнений высших степеней. Методология подхода очевидна из предыдущих пунктов: свести решение уравнения $ n_<> $-й степени к решению уравнения $ (n-1) $-й степени. Однако, несмотря на почти трехвековые усилия лучших математиков мира, решить уравнение пятой степени не удавалось. Наконец, в начале XIX века был получен отрицательный результат.

Теорема [Руффини, Абель]. Уравнение степени выше четвертой в общем случае неразрешимо в радикалах.

Пример. Уравнение $ x^5-4\, x -2=0 $ неразрешимо в радикалах.

Установить разрешимо или нет данное конкретное уравнение в радикалах возможно с помощью теории, развитой французским математиком Галуа.

Пример. Уравнение $ x^5+x+1=0 $ разрешимо в радикалах, поскольку $ x^5+x+1\equiv (x^2+x+1)(x^3-x^2+1) $.

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

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

Задачи

Источники

[1]. Журавский А.М. Сборник задач по высшей алгебре. М.-Л.ГТТИ. 1933

[2]. Uspensky J.V. Theory of Equations. New York. McGraw-Hill. 1948

[3]. Калинина Е.А., Утешев А.Ю. Теория исключения: Учеб. пособие. СПб.: НИИ Химии СПбГУ, 2002. 72 с.

Учебно-методическое пособие Нижний Новгород 2013 Печатается по решению редакционно-издательского совета нгпу им. Козьмы Минина Глуздов В. А. Числовые многочлены

Главная > Учебно-методическое пособие

§4. Составные алгебраические расширения числовых полей, их строение (обзор)

В этом параграфе без доказательства приводятся необходимые для дальнейшего сведения.

Определение. Составное расширение F(α, α, …,α) числового поля F называют алгебраическим , если все числа α, α, …,α C алгебраичны над F.

Утверждение 1 . Если α алгебраично над F. α алгебраично над F(α) и т.д., α алгебраично над F(α, α, …,α) , то составное расширение F(α, α, …,α) является алгебраическим.

Комментарий . В Утверждении 1 число α уже алгебраично над F. Но числа α, …,α могут не быть алгебраическими над полем F! Утверждение фиксирует наличие чисел β, …,β C , алгебраичных над F, которые — вместе с α — обеспечивают равенство

F(α, α, …,α) = F(α, β, …,β) (1)

Равенство (1) — это формализованная редакция Утверждения 1.

Утверждение 2. Всякое составное алгебраическое расширение числового поля является простым.

Формализованная версия Утверждения 2 выглядит так:

F(α, α, …,α) — алгебраическое α C алгебраическое над F F(α, α, …,α) = F(α) (2)

Простота составного алгебраичексого расширения, установленная Утверждением 2 (формулой (2)), позволяет говорить о степени [F(α, α, …,α) ׃ F)] составного (как простого) алгебраического расширения (см. последнее определение §3).

Теорема. Степень составного алгебраического расширения F(α, α, …,α) числового поля F находится по формуле:

[F(α, α, …,α) ׃ F)] = [F(α, α, …,α) ׃ F(α, α, …,α)][F(α, α, …,α) ׃ F(α, α, …,α)] … [F(α) ׃ F)] (3)

Комментарий. Формула (3) легко запоминается, если каждое соотношения вида [U׃V] в левой и правой частях (3) формально заменить дробью (формула (3) «превращается в тождество»).

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

Применим наработанный аппарат расширения числовых полей к частному случаю — квадратичным расширениям.

Определение . Простое алгебраическое расширение F(α) поля F называется квадратичным (квадратическим), если выполняется одно из двух (эквивалентных — см. (19), §3) условий

(degα = 2) ([F(α)׃F] = 2) (1)

Из определения следует, что простое квадратичное расширение F(α) числового поля F, будучи интерпретировано как векторное пространство над F, имеет следующее строение (см. (14) §3):

F(α) = F> (2)

Определение . Составное алгебраическое расширение F(α, α, …,α) поля F называют квадратичным (квадратическим), если таковым является каждое простое расширение в цепочке (11) §1:

F → F(α) → (F(α))( α)→ … → ( F(α, α, …,α)) )( α ) (3)

Помним (см. (10) §1), что в цепочке (3)

( F(α, α, …,α)) )( α ) = F(α, α, …,α) (4)

Найдем степень составного квадратического расширения [F(α, α, …,α) ׃ F)]. Для этого воспользуемся формулой (3) §4. В этой формуле значение каждого сомножителя в правой части — на основании второго равенства (1) и содержания, вложенного в элементы цепочки (2) — равно 2. Отсюда

[F(α, α, …,α) ׃ F)] = 2 (5)

Интерпретирум в удобном для нас виде строение простого квадратического расширения F(α). По определению — первое равенство (1) — минимальный многочлен числа α — это квадратный трехчлен из F[x]. Будем считать этот многочлен нормированным и неполным, т.е. имеющим вид х — a, где a F. Следовательно, число α равно одному из значений кавадратного радикала :

α = (6)

Итак, если F(α) — простое квадратичное расширение поля F, то его строение, на основании (6), можно считать заданным формулой:

F(α) = F(), a F, F (7)

Определение . Говорят, что число α выражается в квадратных радикалах через числа a , a , ….. , a , a , если α представлено через эти числа только с использованием четырех арифметических операций и опреации извлечения квадратного корня . Если указанные числа задают алгебраическое уравнение

aх + aх + ….. + aх + a = 0 (8)

а α — его корень, то говорят, что корень α уравнения (8) выражен в квадратных радикалах.

Установим теперь связь между понятиями «выражаться в квадратных радикалах» и «составное квадратическое расширение поля» применительно к алгебраическому уравнению. Обозначим через F составное расширение поля Q коэффициентами уравнения (8):

F = Q(a, a, …. a, a) (9)

Расширение (9) называют областью рациональности уравнения (8). Формула (8) §1 указывает на то, что область рациональности алгебраического уравнения состоит из чисел (и только из них!), получаемых применением арифметических операций к коэффициентам этого уравнения . Обозначим через α корень уравнения (8), выражаемый в квадратных радикалах. Исполнение операций над числами a, a, …. a, a, имеющее результатом число α, поддается упорядочению — расположению в последовательность. Для удобства обозначим эту последовательность операций через S. В последовательности S присутствует t операций извлечения квадратного корня. После исполнения первой операции извлечения квадратного корня получается некоторое число α = , где а F. Т.е., извлечение квадратного корня выводит (потенциально) в простое квадратичное расширение F(α). Аналогично, арифметические операции из S, следующие за первым извлечением квадратного корня, т.е. арифметические операции, совершаемяее над числами из F(α), не выводят из F(α), а извлечение второго квадратного корня из последовательности S выводит в простое — по отношению к F(α) — квадратичное расширение (F(α))(α) или, что то же самое, в составное — по отношению к F — квадратичное расширение F(α,α). Продолжая цепочку таких же рассуждений, мы, после применения последней — t-й в S — операции извлечения квадратного корня, — а затем и оставшихся из S арифметических операций, — получим, что число α принадлежит некоторому составному квадратическому расширению поля F: α F(α, α, …,α). Таким образом, если число α выражается в квадратных радикалах через коэффициенты уравнения (8), то этот корень находится в некотором составном квадратичном расширении области рациональности этого уравнения. Верно и обратное утверждение (не проверяем). В результате удается сформулировать следующий вывод, являющий собой искомую связь между понятиями «выражаться в квадратных радикалах» и «составное квадратическое расширение поля»

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

§6. Критерий разрешимости в квадратных радикалах кубических уравнений

Редуцируем результаты §5 к кубическим уравнениям.

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

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

x + ax + ax + a = 0, а, a, a, a C (1)

Пусть, далее, α, α, α — его корни

Необходимость . Пусть теперь один из этих корней, например α, лежит в области рациональности уравнения (1):

α F = Q(a, a, a) (2)

Соотношение (2) указывает на (формальную) выразимость α в квадратных радикалах. Далее, поскольку α — корень многочлена в левой части (1), то (1) можно переписать так:

(х — α)( x + Аx + А) = 0 (3)

где — на основании (2):

А, А F (4)

Уравнение (3) указывает на то, что два оставшихся корня αи α исходного уравнения (1) являются корнями квадратного трехчлена x + Аx + А и поэтому выражаются в квадратных радикалах через коэффициенты исходного уравнения.

Мы показали выразимость всех корней уравнения (1) в квадратных радикалах. Необходимость доказана.

Достаточность . Пусть кубическое уравнение (1) разрешимо в квадратных радикалах. Логически возможны два случая: 1. хотя бы один из корней уравнения лежит в его области рациональности и 2. ни один из корней уравнения (1) не лежит в его области рациональности:

α, α, α F (5)

В первом случае теорема считается доказанной. Остается рассмотреть случай 2 и доказать невозможность его реализации.

Итак, пусть имеет место (5). Согласно Выводу §5 каждый из корней α, α, α лежит в некотором (своем) составном квадратическом расширении области рациональности F уравнения (1). Обозначим эти расширения соответственно через S, S, S. Степень каждого из этих расширений — на основании (5) — больше 1 . Упорядочим эти степени по величине и пусть, для определенности:

[S ׃ F] ≤ [S ׃ F] ≤ [S ׃ F] (6)

Возьмем теперь корень α уравнения (1) и подвергнем анализу его взаимоотношение с составным квадратичным расширением S, в котором лежит этот корень. При этом мы фиксируем статус минимальности расширения S, т.е. считаем, что S — наименьшее составное квадратичное расширение для α. Иными словами, если представить S в виде:

S = F(β, …, β, β) = (F(β, …, β))(β), (7)

α F(β, …, β, β) α F(β, …, β) (8)

Замечание . Без ограничения общности дискурса, мы считаем, что статусом минимальности обладают и расширения S, S.

Поскольку α S, то из (7) усматриваем, что α может быть представлен в виде (см. (2) §5):

α = u + v β, u, v F(β, …, β) (9)

Положим в левой части (1) х = α и выполним предписанные действия. Контекст наших рассуждений указывает на то, что выполнение означенных действии происходит в пределах расширения S , а значит результат выполнения этих действий есть число из S. Итак, при х = α левая часть (1) — по аналогии с (9) — принимает вид:

A + B β = 0, A, B F(β, …, β) (10)

Если B ≠ 0, то из (10) следует, что β = — F(β, …, β), а значит, согласно (9), α F(β, …, β) и мы вступаем в противоречие со вторым соотношением (8). Таким образом, тот факт, что α — корень уравнения (1), имеет следствием B = 0, а значит (см. (10)) и A = 0:

α — корень уравнения (1) A = B = 0 (11)

Теперь, отталкиваясь от формулы (9), задающей корень α исходного уравнения (1), сами построим число α, «сопряженное» корню α: α = u — v β. Внесем α в левую часть уравнения (1) и, выполнив предписанные действия, получим:

x + a α + a α + a = A — B β (12)

где A и B — те же, что и в (10). Но тогда, в силу (11), правая часть (12) обращается в нуль, т.е., α — корень исходного уравнения (1), отличный от α, а потому совпадающий с α или α. Пусть, для определенности, α = α = u — v β. Теперь, зная два корня — α и α — уравнения (1), мы воспользуемся одной из формул Виета, чтобы найти третий корень α: а = -(α + α + α). Отсюда, с учетом выражений для α и α, находим α и по виду α, с учетом (9), устанавливаем квадратичное расширение, которому принадлежит α:

α = — (а+ 2u) F(β, …, β) (13)

Согласно статусу минимальности квадратического расширения S, которому принадлежит α (см. Замечание после формулы (8)), соотношение (13) указывает на справедливость включения S F(β, …, β), имеющего следствием подчиненность степеней расширений (размерности векторных пространств):

[S: F] ≤ [F(β, …, β):F] = 2 область рациональности рационального кубического уравнения совпадает с полем Q . Следовательно, для рассматриваемого случая сформулированный выше критерий выступает в следующей редакции:

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

§6. Геометрические задачи на построение циркулем и линейкой. Алгебраический признак разрешимости задач на построение. Примеры неразрешимых задач на построение.

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

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

2. Заданы элементы некотрой искомой геометрической фигуры или элементы некоторого искомого отношения между фигурами. Требуется, используя только циркуль и линейку, построить искомую фигуру или искомое отношение между фигурами.

Все геометрические задачи на построение распадаются на два класса: имеющее решение — разрешимые при помощи циркуля и линейки и не имеющие решения — неразрешимые при помощи циркуля и линейки. Если для отнесения задачи на построение к первому классу достаточно ее решить , то для отнесения ее ко второму классу не решить ее явно недостаточно : нужны инструменты обоснования отсутствия решений в принципе! И здесь на помощь приходит алгебра, а именно — теория квадратичных расширений числовых полей. Использование теории квадратичных расширений числовых полей в теории геометрических построений с помощью циркуля и линейки основано на переводе геометрических задач на язык алгебры. Происходит это при помощи соеобразного «словаря перевода» геометрических текстов (понятий, задач и пр.) в алгебраические следующим образом. Базовые геометрические фигуры плоскости — отрезки и углы — заменяются их числовыми эквивалентами: отрезки — их длинами, углы — их радианными мерами. В итоге алгебраический эквивалент геометрической задачи на построение часто предстает некоторым алгебраическим уравнением , коэффициентами которого являются числовые эквиваленты фигур, задающих условие геометрической задачи, а корень этого уравнения — числовым эквивалентом искомой — требующей построения — геометрической фигурой. При этом оказывается справедливой следующая теорема (доказывается в теории геометрических построений):

Теорема. Пусть дана геометрическая задача на построение. Обозначим эту задачу через Р (англ. Problem). В задаче Р требуется построить при помощи циркуля и линейки фигуру F (англ. Figure). Алгебраическим эквивалентом геометрической задачи Р является алгебраическое уравнение AE (англ. Algebraic Equation), корень которого α — числовой эквивалент искомой на построение фигуры F. В этой терминологии задача на построение Р разрешима (фигура F стоится с помощью циркуля и линейки) тогда и только тогда, когда корень α уравнения AE выражается в квадратных радикалах.

Содержание теоремы хорошо просматривается на следующей схеме:

Проиллюстрируем действие этой теоремы на некоторых классических примерах.

Задача об удвоении куба. Дан куб с ребром а. Требуется с помощью циркуля и линейки построить куб удвоенного объема (задача P ).

Решение . Мы исходим из того, что куб задан (известен, построен), если задано его ребро. Ребро заданного куба принимаем за масштабную единицу измерения, т.е., полагаем а = 1. Таким образом, в численном выражении объем заданного куба равен 1. Следовательно, объем искомого куба равен 2. Обозначим ребро искомого куба через х. Таким образом, х — это отрезок, который надлежит построить. Для простоты считаем, что х выражает и длину искомого ребра. Тогда, по условию задачи, число х удовлетворяет уравнению ( уравнение AE )

x = 2 (1)

Уравнение (1) — рациональное и не имеет рациональных корней . Согласно последней теореме §5 это уравнение неразрешимо в квадратных радикаклах, Тогда, на основании вышесформулированной теоремы, задача обудвоении куба неразрешима при помощи циркуля и линейки.

Задача о трисекции угла . Заданный угол требуется разделить на три равные части (построить этого угла)при помощи циркуля и линейки (задача P ).

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

Итак, пусть задан угол α. Сделаем обно замечание . С точки зрения геометрических построений угол α и cosα — взаимозаменяемы: если известен один объект, строится другой и наоборот (см. рисунок).

Пусть φ = — искомый угол. Воспользуемся теперь сделанным выше замечанием и вместо углов будем оперировать их косинусами. Известные тригонометрические формулы кратных аргументов дают:

cosα = cos3φ = 4cosφ – 3cosφ (2)

Положим теперь cosα = (известная величина) и cosφ = (искомая, неизвестная величина). В этих обозначениях равкенство (2) примет вид:

4х – 3х – b = 0 (3)

Итак, искомая величина х является корнем уравнения (3) ( уравнение AE ). Конкретизируем теперь исходную задачу, а именно, возмем угол α = . Тогда cos = , откуда, с учетом принятых обозначений, b = 1 и уравнение (3) принимает вид:

4х – 3х – 1 = 0 (4)

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

1. Курош А.Г. Курс высшей алгебры. 18 изд. Стереотип. – СПб.: Издательство «Лань», 2011 (2004,1968, 1971, 1975). рекомендовано

2. Винберг Э. Б. Курс алгебры.- М.: Издательство «Факториал Пресс», 2002. – 544 с.

1. Куликов Л.Я. Алгебра и теория чисел. Учебное пособие для студентов физ.-мат. специальностей, пед. Институтов.- М.; Просвещение, 1993.