Меню Главная Случайная статья Настройки Casus irreducibilis: различия между версиями Материал из https://ru.wikipedia.org Casus irreducibilis (лат. «неприводимый случай») — это ситуация, которая может возникнуть при решении кубического уравнения с целыми коэффициентами, когда корни выражаются через радикалы. Если кубический многочлен неприводим над рациональными числами и имеет три вещественных корня, то для выражения корней через радикалы необходимо использовать комплексно-значные выражения, даже если конечные значения выражений остаются вещественными. Это было доказано Пьером Ванцелем в 1843 году [1]. Содержание 1 Дискриминант формулы Кардано 2 Формальное утверждение и доказательство 3 Решение в невещественных радикалах 3.1 Решение Кардано 3.2 Пример 4 Неалгебраическое решение в терминах вещественных величин 5 Связь с трисекцией угла 6 Обобщение 7 Примечания 8 Литература 9 Ссылки Дискриминант формулы Кардано Можно определить, попадает ли заданный кубический многочлен под случай casus irreducibilis, используя дискриминант D из формулы Кардано[1][2] . Пусть кубическое уравнение задано как ${\displaystyle ax^{3}+bx^{2}+cx+d=0.\,}$ Дискриминант D, возникающий в алгебраическом решении, задаётся формулой ${\displaystyle D=18abcd-4b^{3}d+b^{2}c^{2}-4ac^{3}-27a^{2}d^{2}.\,}$ Если ${\displaystyle D<0}$, то многочлен имеет два комплексных корня, так что этот случай не попадает под casus irreducibilis. Если ${\displaystyle D=0}$, то существует три вещественных корня, два из них равны и могут быть найдены с помощью алгоритма Евклида и формулы для квадратного уравнения. Все корни вещественны и выражаются вещественными радикалами. Многочлен не является неприводимым. Если ${\displaystyle D>0}$, то существуют три различных корня. Либо существует рациональный корень, который можно найти с помощью теоремы о рациональных корнях, и в этом случае кубический многочлен можно разложить на линейный и квадратный многочлены, корни второго можно найти с помощью формулы корней квадратного уравнения. Либо такого разложения нет, так что многочлен попадает под casus irreducibilis — все корни вещественны, но требуются комплексные числа для выражения корней в радикалах. Формальное утверждение и доказательство Более общо, предположим, что F является формальным вещественным полем и p(x) F[x] — кубический многочлен, неприводимый над F, но имеющий три вещественных корня (корни в вещественном замыкании поля F). Тогда casus irreducibilis утверждает, что невозможно найти любое решение уравнения p(x) = 0 в вещественных радикалах. Чтобы доказать это[3], заметим, что дискриминант ${\displaystyle F\subset F({\sqrt {D}})\subset F({\sqrt {D}},{\sqrt[{p_{1}}]{\alpha _{1}}})\subset \cdots \subset K\subset K({\sqrt[{3}]{\alpha }})}$ На конечном уровне башни, ${\displaystyle p(x)}$ является неприводимым в предпоследнем поле Однако не существует примитивного корня третьей степени из единицы в вещественно замкнутом поле. На самом деле, предположим, что является примитивным корнем третьей степени из единицы. Тогда, по аксиомам, определяющим упорядоченное поле, , 2 и 1 все положительны. Однако, если 2>, возведение в куб даст 1>1, противоречие. Противоречие получим и в случае >2. Решение в невещественных радикалах Решение Кардано Уравнение ${\displaystyle ax^{3}+bx^{2}+cx+d=0}$ может быть сведено к приведённому трёхчлену путём деления на ${\displaystyle a}$ и подстановкой ${\displaystyle x=t-{\tfrac {b}{3a}}}$ (Преобразование Чирнгауза), что даёт уравнение ${\displaystyle t^{3}+pt+q=0}$, где ${\displaystyle p={\frac {3ac-b^{2}}{3a^{2}}}}$ ${\displaystyle q={\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}.}$ Тогда, независимо от числа вещественных корней, согласно методу Кардано три корня задаются уравнением ${\displaystyle 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}}}}}}$, где ${\displaystyle \omega _{k}}$ (k=1, 2, 3) является кубическим корнем из 1 (${\displaystyle \omega _{1}=1}$, ${\displaystyle \omega _{2}=-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i}$, и ${\displaystyle \omega _{3}=-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i}$, где Casus irreducibilis возникает, когда ни один из корней не является рациональным и когда все три корня различны и вещественны. Случай, когда все три вещественных корня различны, возникают тогда и только тогда, когда ${\displaystyle {\tfrac {q^{2}}{4}}+{\tfrac {p^{3}}{27}}<0}$. В этом случае по формуле Кардано сначала берётся квадратный корень из отрицательного числа, что даёт мнимое число, а затем берётся кубический корень из комплексного числа (этот кубический корень не может быть получен в виде ${\displaystyle \alpha +\beta i}$ с явным выражением в вещественных корнях для Пример Приведённое кубическое уравнение ${\displaystyle x^{3}-3x+1=0}$ неприводимо, поскольку, если бы его можно было разложить, существовал бы линейный множитель, дающий рациональное решение, в то время как по теореме о рациональных корнях нет рационального корня. Поскольку дискриминант многочлена положителен, уравнение имеет три вещественных корня, так что это пример casus irreducibilis. Формула Кардано даёт эти три вещественных корня ${\displaystyle 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}}}}}$ для k=1, 2, 3. Это решение в радикалах использует мнимое число ${\displaystyle {\sqrt {-3 \over 4}}}$, а потому и кубические корни сопряжённых комплексных чисел. Неалгебраическое решение в терминах вещественных величин В то время как случай casus irreducibilis не может быть решён в радикалах[англ.] в терминах вещественных величин, решение можно найти тригонометрически[4]. А именно, приведённое кубическое уравнение ${\displaystyle t^{3}+pt+q=0}$ имеет решения ${\displaystyle 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 }$ для ${\displaystyle \quad k=0,1,2\,.}$ Эти решения выражаются в терминах вещественных чисел тогда и только тогда, когда ${\displaystyle {q^{2} \over 4}+{p^{3} \over 27}<0}$ — то есть тогда и только тогда, когда существуют три вещественных корня. По формуле сначала вычисляется некоторый угол, потом этот угол делится на три, а затем вычисляется косинус полученного угла и, в конце концов, умножается на нормирующий множитель. Связь с трисекцией угла Различие между приводимыми и неприводимыми случаями с тремя вещественными корнями связан с возможностью или невозможностью разделить угол с рациональным синусом или косинусом на три равные части с помощью классического построения с помощью циркуля и линейки. Если известно, что косинус угла ${\displaystyle 4x^{3}-3x-\cos(\theta )=0.}$ Подобным же образом, если известно, что синус угла ${\displaystyle -4y^{3}+3y-\sin(\theta )=0.}$ В обоих случаях, если по теореме о рациональных корнях можно получить рациональный корень уравнения, Обобщение Casus irreducibilis можно обобщить на более высокие степени многочленов следующим образом. Пусть p  F[x] — неприводимый многочлен, который разлагается в формальном вещественном расширении R поля F (то есть p имеет только вещественные корни). Предположим, что p имеет корень в ${\displaystyle K\subseteq R}$, которое является расширением F радикалами. Тогда степень p является степенью числа 2, и его поле разложения является повторным квадратным расширением поля F[5][6]. Тогда для любого неприводимого многочлена, степень которого не является степенью 2 и все корни которого вещественны, корни нельзя выразить чисто в терминах вещественных радикалов. Более того, если степень многочлена является степенью 2 и все корни вещественны, то при наличии корня, который можно выразить в вещественных радикалах, его можно выразить в терминах квадратных корней и никаких корней большей степени, что верно и для других корней. Так что корни такого многочлена построимы классически. Casus irreducibilis для функции пятой степени[англ.] обсуждается в статье Даммита[7] Примечания Cox, 2012, с. 15, Theorem 1.3.1. Badiru, Omitaomu, 1952, pp. 2-22. van der Waerden, 1949, с. 180. Cox, 2012, с. 18–19 Section 1.3B Trigonometric Solution of the Cubic. Cox, 2012, с. 222 Theorem 8.6.5. Isaacs, 1985, с. 571–572. David S. Dummit Solving Solvable Quintics Архивная копия от 7 марта 2012 на Wayback Machine, стр. 17 Литература Pierre Wantzel. Classification des nombres incommensurables d’origine algbrique (фр.) // Nouvelles Annales de Mathmatiques. — 1843. — Vol. 2. — P. 117–127. B.L. van der Waerden. Modern Algebra. — Frederick Ungar Publ. Co., 1949. — С. 180. Б.Л. ван дер Варден. Алгебра. — М.: «Мир», 1976. Постников М.М. Теория Галуа. — М.: «Факториал Пресс», 2003. David A. Cox. Section 1.3B Trigonometric Solution of the Cubic // Galois Theory. — Wiley-Interscience, 2012. — (Pure and applied mathematics). — ISBN 0-471-43419-1. Adedeji B. Badiru, Olufemi A. Omitaomu. Handbook of Industrial Engineering Equations, Formulas, and Calculations / Adedeji B. Badiru. — CRC Press, 1952. — (Industrial Innovation Series). — ISBN 978-1-4200-7627-1. David A. Cox. Galois Theory. — 2nd. — John Wiley & Sons, 2012. — (Pure and Applied Mathematics). — ISBN 978-1-118-07205-9. — doi:10.1002/9781118218457.. См., в частности, секцию 1.3 Cubic Equations over the Real Numbers (стр. 15–22) и секцию 8.6 The Casus Irreducibilis (стр. 220–227). Bartel Leendert van der Waerden. Modern Algebra I. — Springer, 2003. — ISBN 978-0-387-40624-4. I. M. Isaacs. Solution of polynomials by real radicals // American Mathematical Monthly. — 1985. — Октябрь (т. 92, вып. 8). Ссылки casus irreducibilis (англ.) на сайте PlanetMath.