Русская Википедия:Casus irreducibilis

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Casus irreducibilis (Шаблон:Tr) — это случай, который может возникнуть при решении кубического уравнения с целыми коэффициентами, когда корни выражаются радикалами. А именно, если кубический многочлен является неприводимым над рациональными числами и имеет три вещественных корня, то для выражения корней через радикалы нужно вводить комплексно-значные выражения, даже если результирующие значения выражений вещественны. Это было доказано Пьером Ванцелем в 1843Шаблон:Sfn.

Дискриминант формулы Кардано

Можно определить, попадает ли заданный кубический многочлен под случай casus irreducibilis, используя дискриминант D из формулы КарданоШаблон:SfnШаблон:Sfn . Пусть кубическое уравнение задано как

<math>ax^3+bx^2+cx+d=0.\,</math>

Дискриминант Шаблон:Math, возникающий в алгебраическом решении, задаётся формулой

<math> D = 18abcd -4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2. \,</math>
  • Если <math>D < 0</math>, то многочлен имеет два комплексных корня, так что этот случай не попадает под casus irreducibilis.
  • Если <math>D = 0</math>, то существует три вещественных корня, два из них равны и могут быть найдены с помощью алгоритма Евклида и формулы для квадратного уравнения. Все корни вещественны и выражаются вещественными радикалами. Многочлен не является неприводимым.
  • Если <math>D > 0</math>, то существуют три различных корня. Либо существует рациональный корень, который можно найти с помощью теоремы о рациональных корнях, и в этом случае кубический многочлен можно разложить на линейный и квадратный многочлены, корни второго можно найти с помощью формулы корней квадратного уравнения. Либо такого разложения нет, так что многочлен попадает под casus irreducibilis — все корни вещественны, но требуются комплексные числа для выражения корней в радикалах.

Формальное утверждение и доказательство

Более общо, предположим, что F является Шаблон:Не переведено 5 и p(x) ∈ F[x] — кубический многочлен, неприводимый над F, но имеющий три вещественных корня (корни в Шаблон:Не переведено 5 поля F). Тогда casus irreducibilis утверждает, что невозможно найти любое решение уравнения p(x) = 0 в вещественных радикалах.

Чтобы доказать этоШаблон:Sfn, заметим, что дискриминант Шаблон:Math положителен. Образуем расширение поля <math>F(\sqrt{D})</math>. Поскольку это будет либо Шаблон:Math, либо квадратичное расширение поля Шаблон:Math (в зависимости от того, является ли Шаблон:Math квадратом в поле Шаблон:Math), <math>p(x)</math> остаётся неприводимым в нём. Следовательно, группа Галуа <math>p(x)</math> над <math>F(\sqrt{D})</math> является циклической группой <math>C_3</math>. Предположим, что уравнение <math>p(x) = 0</math> может быть решено в вещественных радикалах. Тогда <math>p(x)</math> можно разбить на башню циклических расширений

<math> F\sub F(\sqrt{D})\sub F(\sqrt{D}, \sqrt[p_1]{\alpha_1}) \sub\cdots \sub K\sub K(\sqrt[3]{\alpha})</math>

На конечном уровне башни, <math>p(x)</math> является неприводимым в предпоследнем поле Шаблон:Math, но разложим в Шаблон:Math для некоторого Шаблон:Math. Но это расширение циклического поля, а потому должно содержать примитивный корень из единицы.

Однако не существует примитивного корня третьей степени из единицы в вещественно замкнутом поле. На самом деле, предположим, что ω является примитивным корнем третьей степени из единицы. Тогда, по аксиомам, определяющим упорядоченное поле, ω, ω2 и 1 все положительны. Однако, если ω2>ω, возведение в куб даст 1>1, противоречие. Противоречие получим и в случае ω>ω2.

Решение в невещественных радикалах

Решение Кардано

Уравнение <math>ax^3 + bx^2 + cx + d = 0</math> может быть сведено к приведённому трёхчлену путём деления на <math>a</math> и подстановкой <math>x = t - \tfrac{b}{3a}</math> (Преобразование Чирнгауза), что даёт уравнение <math>t^3 + pt + q = 0</math>, где

<math>p=\frac{3ac-b^2}{3a^2}</math>
<math>q=\frac{2b^3-9abc+27a^2d}{27a^3}.</math>

Тогда, независимо от числа вещественных корней, согласно методу Кардано три корня задаются уравнением

<math> t_k = \omega_k \sqrt[3]{-{q\over 2}+ \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}} + \omega_k^2 \sqrt[3]{-{q\over 2}- \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}}</math>,

где <math> \omega_k</math> (k=1, 2, 3) является кубическим корнем из 1 (<math>\omega_1 = 1</math>, <math>\omega_2 = -\frac{1}{2} + \frac{\sqrt{3}}{2}i</math>, и <math>\omega_3 = -\frac{1}{2} - \frac{\sqrt{3}}{2}i</math>, где Шаблон:Math является мнимой единицей). Если подкоренные выражения под корнем куба не вещественно, кубические корни выражаются радикалами, которые определяются парой комплексных сопряжённых кубических корней, в то время как в случае, когда они вещественны, эти кубические корни определены вещественными кубическими корнями.

Casus irreducibilis возникает, когда ни один из корней не является рациональным и когда все три корня различны и вещественны. Случай, когда все три вещественных корня различны, возникают тогда и только тогда, когда <math>\tfrac{q^2}{4} + \tfrac{p^3}{27} < 0</math>. В этом случае по формуле Кардано сначала берётся квадратный корень из отрицательного числа, что даёт мнимое число, а затем берётся кубический корень из комплексного числа (этот кубический корень не может быть получен в виде <math>\alpha + \beta i</math> с явным выражением в вещественных корнях для Шаблон:Math и Шаблон:Math, поскольку попытка выразить таким образом требует решения исходного кубического уравнения). Заметим, что даже в приводимом случае, в котором один из трёх корней является рациональным, а потому многочлен может быть разложен с помощью деления многочленов столбиком, формула Кардано (необязательно в этом случае) выражает этот корень (и другие) в терминах невещественных радикалов.

Пример

Приведённое кубическое уравнение

<math>x^3-3x+1=0</math>

неприводимо, поскольку, если бы его можно было разложить, существовал бы линейный множитель, дающий рациональное решение, в то время как по теореме о рациональных корнях нет рационального корня. Поскольку дискриминант многочлена положителен, уравнение имеет три вещественных корня, так что это пример casus irreducibilis. Формула Кардано даёт эти три вещественных корня

<math> t_k = \omega_k \sqrt[3]{-{1\over 2}+ \sqrtШаблон:-3\over 4}+ \omega_k^2 \sqrt[3]{-{1\over 2}- \sqrtШаблон:-3\over 4}</math>

для k=1, 2, 3. Это решение в радикалах использует мнимое число <math>\sqrtШаблон:-3\over 4</math>, а потому и кубические корни сопряжённых комплексных чисел.

Неалгебраическое решение в терминах вещественных величин

В то время как случай casus irreducibilis не может быть Шаблон:Не переведено 5 в терминах вещественных величин, решение можно найти тригонометрическиШаблон:Sfn. А именно, приведённое кубическое уравнение <math>t^3+pt+q=0 </math> имеет решения

<math>t_k=2\sqrt{-\frac{p}{3}}\cos\left(\frac{1}{3}\arccos\left(\frac{3q}{2p}\sqrt{\frac{-3}{p}}\right)-k\frac{2\pi}{3}\right) \quad </math> для <math>\quad k=0,1,2 \,.</math>

Эти решения выражаются в терминах вещественных чисел тогда и только тогда, когда <math>{q^{2}\over 4}+{p^{3}\over 27} < 0</math> — то есть тогда и только тогда, когда существуют три вещественных корня. По формуле сначала вычисляется некоторый угол, потом этот угол делится на три, а затем вычисляется косинус полученного угла и, в конце концов, умножается на нормирующий множитель.

Связь с трисекцией угла

Различие между приводимыми и неприводимыми случаями с тремя вещественными корнями связан с возможностью или невозможностью разделить угол с рациональным синусом или косинусом на три равные части с помощью классического построения с помощью циркуля и линейки. Если известно, что косинус угла Шаблон:Math имеет определённое рациональное значение, то треть этого угла имеет косинус, являющийся одним из трёх корней уравнения

<math> 4x^3 - 3x - \cos (\theta) = 0.</math>

Подобным же образом, если известно, что синус угла Шаблон:Math имеет определённое рациональное значение, то треть этого угла имеет синус, являющийся одним из трёх корней уравнения

<math> -4y^3 + 3y - \sin (\theta) = 0.</math>

В обоих случаях, если по теореме о рациональных корнях можно получить рациональный корень уравнения, Шаблон:Mvar или Шаблон:Mvar минус этот корень может быть выделен из многочлена в левой части уравнения, оставляя квадратное уравнение, которое может быть решено для получения оставшихся двух корней. Тогда все эти корни получаются классическим построением, поскольку могут быть выражены через квадратные корни, так что <math>\cos(\tfrac{\Theta}{3})</math> или <math>\sin(\tfrac{\Theta}{3})</math> построимы, а тогда построимым является и соответствующий угол <math>\tfrac{\Theta}{3}</math>. С другой стороны, если теорема о рациональных корнях показывает, что рациональных корней нет, то получаем casus irreducibilis, <math>\cos(\tfrac{\Theta}{3})</math> или <math>\sin(\tfrac{\Theta}{3})</math> не могут быть построены, угол <math>\tfrac{\Theta}{3}</math> построить нельзя, и нельзя получить трисекцию угла Шаблон:Math классическими методами.

Обобщение

Casus irreducibilis можно обобщить на более высокие степени многочленов следующим образом. Пусть p ∈ F[x] — неприводимый многочлен, который разлагается в формальном вещественном расширении R поля F (то есть p имеет только вещественные корни). Предположим, что p имеет корень в <math>K\subseteq R</math>, которое является расширением F радикалами. Тогда степень p является степенью числа 2, и его поле разложения является повторным квадратным расширением поля FШаблон:SfnШаблон:Sfn.

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

Casus irreducibilis для Шаблон:Не переведено 5 обсуждается в статье Даммита[1]

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend

Ссылки

Шаблон:Rq

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ David S. Dummit Solving Solvable Quintics Шаблон:Wayback, стр. 17
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Casus_irreducibilis&oldid=8610697