Квинтическая функция

График многочлена пятой степени с тремя действительными нулями (корнями) и четырьмя критическими точками .

В математике функция квинтики — это функция вида

$g(x)=ax^{5}+bx^{4}+cx^{3}+dx^{2}+ex+f,\,$

где a , b , c , d , e и f — члены поля , обычно это рациональные числа , действительные числа или комплексные числа , а a не равно нулю. Другими словами, функция пятой степени определяется полиномом степени пятой .

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

Полагая g ( x ) = 0 и предполагая a ≠ 0, получаем уравнение пятой степени вида:

$ax^{5}+bx^{4}+cx^{3}+dx^{2}+ex+f=0.\,$

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

Нахождение корней уравнения пятой степени

Поиск корней (нулей) заданного многочлена был важной математической проблемой.

Решение линейных , квадратных , кубических и четвертых уравнений в терминах радикалов и элементарных арифметических операций над коэффициентами всегда можно осуществить, независимо от того, рациональны ли корни или иррациональны, вещественны или комплексны; существуют формулы, дающие искомые решения. Однако не существует алгебраического выражения (т. е. в терминах радикалов) решений общих уравнений пятой степени над рациональными числами; это утверждение известно как теорема Абеля-Руффини , впервые утвержденная в 1799 году и полностью доказанная в 1824 году. Этот результат справедлив и для уравнений более высокой степени. Примером квинтики, корни которой не могут быть выражены через радикалы, является x ⁵ - Икс + 1 знак равно 0 .

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

Разрешимые квинтики

Некоторые уравнения пятой степени можно решить в радикалах. полиномом К ним относятся уравнения пятой степени, определяемые приводимым , например x ⁵ − х ⁴ − х + 1 = ( х ² + 1)( х + 1)( х - 1) ² . Например, было показано что

$x^{5}-x-r=0$

имеет решения в радикалах тогда и только тогда, когда оно имеет целочисленное решение или r имеет одно из значений ±15, ±22440 или ±2759640, и в этих случаях многочлен приводим.

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

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

Учитывая уравнение

$ax^{5}+bx^{4}+cx^{3}+dx^{2}+ex+f=0,$

преобразование Чирнхауза x = y − b / 5 a , что понижает квинтику (т. е. удаляет член четвертой степени), дает уравнение

$y^{5}+py^{3}+qy^{2}+ry+s=0$,

где

${\begin{aligned}p&={\frac {5ac-2b^{2}}{5a^{2}}}\\q&={\frac {25a^{2}d-15abc+4b^{3}}{25a^{3}}}\\r&={\frac {125a^{3}e-50a^{2}bd+15ab^{2}c-3b^{4}}{125a^{4}}}\\s&={\frac {3125a^{4}f-625a^{3}be+125a^{2}b^{2}d-25ab^{3}c+4b^{5}}{3125a^{5}}}\end{aligned}}$

Обе квинтики разрешимы радикалами тогда и только тогда, когда либо они факторизуемы в уравнениях младших степеней с рациональными коэффициентами, либо в многочлене P ² − 1024 z Δ , названный Резольвента Кэли имеет рациональный корень в z , где

${\begin{aligned}P={}&z^{3}-z^{2}(20r+3p^{2})-z(8p^{2}r-16pq^{2}-240r^{2}+400sq-3p^{4})\\&-p^{6}+28p^{4}r-16p^{3}q^{2}-176p^{2}r^{2}-80p^{2}sq+224prq^{2}-64q^{4}\\&+4000ps^{2}+320r^{3}-1600rsq\end{aligned}}$

и

${\begin{aligned}\Delta ={}&-128p^{2}r^{4}+3125s^{4}-72p^{4}qrs+560p^{2}qr^{2}s+16p^{4}r^{3}+256r^{5}+108p^{5}s^{2}\\&-1600qr^{3}s+144pq^{2}r^{3}-900p^{3}rs^{2}+2000pr^{2}s^{2}-3750pqs^{3}+825p^{2}q^{2}s^{2}\\&+2250q^{2}rs^{2}+108q^{5}s-27q^{4}r^{2}-630pq^{3}rs+16p^{3}q^{3}s-4p^{3}q^{2}r^{2}.\end{aligned}}$

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

В 1888 году Джордж Пакстон Янг описал, как решить разрешимое уравнение пятой степени, не приводя явной формулы; в 2004 году Дэниел Лазард написал трехстраничную формулу.

Бринга-

Существует несколько параметрических представлений разрешимых квинтик вида x ⁵ + ax + b = 0 , называемая формой Бринга–Джеррарда .

Во второй половине XIX века Джон Стюарт Глэшан, Джордж Пакстон Янг и Карл Рунге дали такую ​​параметризацию: неприводимую квинтику с рациональными коэффициентами в форме Бринга – Джеррарда.разрешима тогда и только тогда, когда либо a = 0 , либо можно записать

$x^{5}+{\frac {5\mu ^{4}(4\nu +3)}{\nu ^{2}+1}}x+{\frac {4\mu ^{5}(2\nu +1)(4\nu +3)}{\nu ^{2}+1}}=0$

где µ и ν рациональны.

В 1994 году Блэр Спирман и Кеннет С. Уильямс предложили альтернативу:

$x^{5}+{\frac {5e^{4}(4c+3)}{c^{2}+1}}x+{\frac {-4e^{5}(2c-11)}{c^{2}+1}}=0.$

Взаимосвязь между параметризациями 1885 и 1994 годов можно увидеть, определив выражение

$b={\frac {4}{5}}\left(a+20\pm 2{\sqrt {(20-a)(5+a)}}\right)$

где а = 5(4 н + 3) / н ² + 1 . Использование отрицательного случая квадратного корня дает после масштабирования переменных первую параметризацию, а положительный случай дает вторую.

Замена c = − м / л ⁵ , и = 1 / l в параметризации Спирмена-Вильямса позволяет не исключать частный случай a = 0 , что дает следующий результат:

Если a и b — рациональные числа, уравнение x ⁵ + ax + b = 0 разрешима в радикалах, если либо ее левая часть представляет собой произведение многочленов степени меньше 5 с рациональными коэффициентами, либо существуют два рациональных числа l и m такие, что

$a={\frac {5l(3l^{5}-4m)}{m^{2}+l^{10}}}\qquad b={\frac {4(11l^{5}+2m)}{m^{2}+l^{10}}}.$

Корни разрешимой квинтики

Полиномиальное уравнение разрешимо в радикалах, если его группа Галуа является разрешимой группой . В случае неприводимых квинтик группа Галуа является подгруппой симметрической группы S5 _F5 всех перестановок пятиэлементного множества, которая разрешима тогда и только тогда, когда она является подгруппой порядка _группы 20 , порожденной циклическими перестановками (1 2 3 4 5) и (1 2 4 3) .

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

${\frac {{\sqrt {-10-2{\sqrt {5}}}}+{\sqrt {5}}-1}{4}}.$

Фактически, все четыре примитивных корня пятой степени из единицы можно получить, соответствующим образом изменив знаки квадратных корней; а именно, выражение

${\frac {\alpha {\sqrt {-10-2\beta {\sqrt {5}}}}+\beta {\sqrt {5}}-1}{4}},$

где $\alpha ,\beta \in \{-1,1\}$, дает четыре различных примитивных корня пятой степени из единицы.

Отсюда следует, что для записи всех корней разрешимой квинтики могут потребоваться четыре разных квадратных корня. Даже для первого корня, содержащего не более двух квадратных корней, выражение решений через радикалы обычно весьма сложно. Однако, когда квадратный корень не требуется, форма первого решения может быть довольно простой, как для уравнения x ⁵ - 5 х ⁴ + 30 х ³ − 50 х ² + 55 x − 21 = 0 , для которого единственным действительным решением является

$x=1+{\sqrt[{5}]{2}}-\left({\sqrt[{5}]{2}}\right)^{2}+\left({\sqrt[{5}]{2}}\right)^{3}-\left({\sqrt[{5}]{2}}\right)^{4}.$

Примером более сложного (хотя и достаточно маленького, чтобы его можно было написать здесь) решения является уникальный действительный корень x. ⁵ - 5 Икс + 12 знак равно 0 . Пусть a = √ 2 φ ⁻¹ , b = √ 2 φ и c = ⁴ √ 5 , где φ = 1+ √ 5/2 – золотое это сечение . Тогда единственное действительное решение x = −1,84208... имеет вид

$-cx={\sqrt[{5}]{(a+c)^{2}(b-c)}}+{\sqrt[{5}]{(-a+c)(b-c)^{2}}}+{\sqrt[{5}]{(a+c)(b+c)^{2}}}-{\sqrt[{5}]{(-a+c)^{2}(b+c)}}\,,$

или, что то же самое, с помощью

$x={\sqrt[{5}]{y_{1}}}+{\sqrt[{5}]{y_{2}}}+{\sqrt[{5}]{y_{3}}}+{\sqrt[{5}]{y_{4}}}\,,$

где yi _— четыре корня уравнения четвертой степени

$y^{4}+4y^{3}+{\frac {4}{5}}y^{2}-{\frac {8}{5^{3}}}y-{\frac {1}{5^{5}}}=0\,.$

В более общем смысле, если уравнение P ( x ) = 0 простой степени p с рациональными коэффициентами разрешимо в радикалах, то можно определить вспомогательное уравнение Q ( y ) = 0 степени p – 1 , также с рациональными коэффициентами, такое, что каждый корень P представляет собой сумму корней p -й степени корней Q . Эти корни p -й степени были введены Жозефом-Луи Лагранжем , а их произведения на p обычно называют резольвентами Лагранжа . Вычисление Q и его корней можно использовать для решения P ( x ) = 0 . Однако эти корни p -го порядка не могут быть вычислены независимо (это обеспечило бы p ^{р –1} корни вместо р ). Таким образом, правильное решение должно выразить все эти p -корни через один из них. Теория Галуа показывает, что это всегда теоретически возможно, даже если полученная формула может оказаться слишком большой, чтобы ее можно было использовать.

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

$x^{5}+5ax^{3}+5a^{2}x+b=0\,,$

где вспомогательное уравнение имеет два нулевых корня и путем их факторизации сводится к квадратному уравнению

$y^{2}+by-a^{5}=0\,,$

такие, что пять корней квинтики де Муавра имеют вид

$x_{k}=\omega ^{k}{\sqrt[{5}]{y_{i}}}-{\frac {a}{\omega ^{k}{\sqrt[{5}]{y_{i}}}}},$

где yi _— любой корень вспомогательного квадратного уравнения, а ω — любой из четырёх примитивных корней пятой степени из единицы . Это можно легко обобщить для построения разрешимого септика и других нечетных степеней, не обязательно простых.

квинтики

Существует бесконечно много разрешимых квинтик в форме Бринга-Джеррарда, которые были параметризованы в предыдущем разделе.

С точностью до масштабирования переменной существует ровно пять разрешимых квинтик формы $x^{5}+ax^{2}+b$, которые (где s — коэффициент масштабирования):

$x^{5}-2s^{3}x^{2}-{\frac {s^{5}}{5}}$

$x^{5}-100s^{3}x^{2}-1000s^{5}$

$x^{5}-5s^{3}x^{2}-3s^{5}$

$x^{5}-5s^{3}x^{2}+15s^{5}$

$x^{5}-25s^{3}x^{2}-300s^{5}$

Пакстон Янг (1888) привел ряд примеров разрешимых квинтик:

$x^{5}-10x^{3}-20x^{2}-1505x-7412$
$x^{5}+{\frac {625}{4}}x+3750$
$x^{5}-{\frac {22}{5}}x^{3}-{\frac {11}{25}}x^{2}+{\frac {462}{125}}x+{\frac {979}{3125}}$
$x^{5}+20x^{3}+20x^{2}+30x+10$	$~\qquad ~$ Корень: ${\sqrt[{5}]{2}}-{\sqrt[{5}]{2}}^{2}+{\sqrt[{5}]{2}}^{3}-{\sqrt[{5}]{2}}^{4}$
$x^{5}-20x^{3}+250x-400$
$x^{5}-5x^{3}+{\frac {85}{8}}x-{\frac {13}{2}}$
$x^{5}+{\frac {20}{17}}x+{\frac {21}{17}}$
$x^{5}-{\frac {4}{13}}x+{\frac {29}{65}}$
$x^{5}+{\frac {10}{13}}x+{\frac {3}{13}}$
$x^{5}+110(5x^{3}+60x^{2}+800x+8320)$
$x^{5}-20x^{3}-80x^{2}-150x-656$
$x^{5}-40x^{3}+160x^{2}+1000x-5888$
$x^{5}-50x^{3}-600x^{2}-2000x-11200$
$x^{5}+110(5x^{3}+20x^{2}-360x+800)$
$x^{5}-20x^{3}+170x+208$

Можно построить бесконечную последовательность разрешимых квинтик, корни которой представляют собой суммы корней n-й степени из единицы , где n = 10 k + 1 является простым числом:

$x^{5}+x^{4}-4x^{3}-3x^{2}+3x+1$		Корни: $2\cos \left({\frac {2k\pi }{11}}\right)$
$x^{5}+x^{4}-12x^{3}-21x^{2}+x+5$		Корень: $\sum _{k=0}^{5}e^{\frac {2i\pi 6^{k}}{31}}$
$x^{5}+x^{4}-16x^{3}+5x^{2}+21x-9$		Корень: $\sum _{k=0}^{7}e^{\frac {2i\pi 3^{k}}{41}}$
$x^{5}+x^{4}-24x^{3}-17x^{2}+41x-13$	$~\qquad ~$	Корень: $\sum _{k=0}^{11}e^{\frac {2i\pi (21)^{k}}{61}}$
$x^{5}+x^{4}-28x^{3}+37x^{2}+25x+1$		Корень: $\sum _{k=0}^{13}e^{\frac {2i\pi (23)^{k}}{71}}$

Существуют также два параметризованных семейства разрешимых квинтик:Квинтика Кондо-Брумера,

$x^{5}+(a-3)\,x^{4}+(-a+b+3)\,x^{3}+(a^{2}-a-1-2b)\,x^{2}+b\,x+a=0$

и семья в зависимости от параметров $a,\ell ,m$

$x^{5}-5\,p\left(2\,x^{3}+a\,x^{2}+b\,x\right)-p\,c=0$

где

$p={\tfrac {1}{4}}\left[\,\ell ^{2}(4m^{2}+a^{2})-m^{2}\,\right]\;,$

$b=\ell \,(4m^{2}+a^{2})-5p-2m^{2}\;,$

$c={\tfrac {1}{2}}\left[\,b(a+4m)-p(a-4m)-a^{2}m\,\right]\;.$

Неприводимый случай

Аналогично кубическим уравнениям существуют разрешимые квинтики, которые имеют пять действительных корней, все решения которых в радикалах включают корни комплексных чисел. Это casus нередуцируемый для квинтики, о котором говорится в «Даммите». Действительно, если у неприводимой квинтики все корни действительны, ни один корень не может быть выражен чисто через вещественные радикалы (как это верно для всех полиномиальных степеней, не являющихся степенями 2).

За пределами радикалов

Около 1835 года Джеррард продемонстрировал, что квинтики можно решать с помощью ультрарадикалов (также известных как радикалы Приведения), уникального реального корня t. ⁵ + t - a знак равно 0 для действительных чисел a . В 1858 году Чарльз Эрмит показал, что радикал Бринга можно охарактеризовать с помощью тета-функций Якоби и связанных с ними эллиптических модулярных функций , используя подход, аналогичный более известному подходу решения кубических уравнений с помощью тригонометрических функций . Примерно в то же время Леопольд Кронекер , используя теорию групп , разработал более простой способ вывода результата Эрмита, как и Франческо Бриоски . Позже Феликс Кляйн придумал метод, который связывает симметрии икосаэдра , теории Галуа и эллиптических модулярных функций, фигурирующих в решении Эрмита, давая объяснение, почему они вообще должны появляться, и разработал собственное решение в терминах обобщенных гипергеометрических функций . Подобные явления происходят в степени 7 ( септические уравнения ) и 11 , как это изучалось Кляйном и обсуждалось в разделе «Икосаэдральная симметрия § Связанные геометрии» .

Решение с помощью радикалов Bring

Основная статья: Принесите радикализм

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

$x^{5}+a_{4}x^{4}+a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}=0\,$

к нормальной форме Бринга–Джеррарда x ⁵ - Икс + т знак равно 0 .

Корни этого уравнения не могут быть выражены через радикалы. Однако в 1858 году Чарльз Эрмит опубликовал первое известное решение этого уравнения в терминах эллиптических функций . Примерно в то же время Франческо Бриоски и Леопольд Кронекер пришли к эквивалентным решениям.

см . в разделе «Принесите радикал» Подробную информацию об этих и некоторых связанных с ними решениях .

Приложение к небесной механике

Решение местоположения лагранжевых точек астрономической орбиты, на которой массы обоих объектов не пренебрежимо малы, включает в себя решение квинтики.

Точнее, положения L ₂ и L ₁ являются решениями следующих уравнений, где гравитационные силы двух масс на третью (например, Солнца и Земли на таких спутниках, как Гайя и космический телескоп Джеймса Уэбба на L ₂ и SOHO в точке L ₁ ) обеспечивают центростремительную силу спутника, необходимую для нахождения на синхронной орбите с Землей вокруг Солнца:

${\frac {GmM_{S}}{(R\pm r)^{2}}}\pm {\frac {GmM_{E}}{r^{2}}}=m\omega ^{2}(R\pm r)$

Знак ± соответствует L ₂ и L ₁ соответственно; G — гравитационная постоянная , ω — угловая скорость , r — от спутника до Земли, R — расстояние от Солнца до Земли (то есть полуось орбиты Земли), а m , ME _{расстояние} и MS _— большая соответствующие массы спутника, Земли и Солнца .

Использование третьего закона Кеплера $\omega ^{2}={\frac {4\pi ^{2}}{P^{2}}}={\frac {G(M_{S}+M_{E})}{R^{3}}}$ и перестановка всех членов дает квинтику

$ar^{5}+br^{4}+cr^{3}+dr^{2}+er+f=0$

с:

${\begin{aligned}&a=\pm (M_{S}+M_{E}),\\&b=+(M_{S}+M_{E})3R,\\&c=\pm (M_{S}+M_{E})3R^{2},\\&d=+(M_{E}\mp M_{E})R^{3}\ (thus\ d=0\ for\ L_{2}),\\&e=\pm M_{E}2R^{4},\\&f=\mp M_{E}R^{5}\end{aligned}}$ .

Решение этих двух квинтик дает r = 1,501 x 10. ⁹ м для L ₂ и r = 1,491 х 10 ⁹ м для L ₁ . Точки Лагранжа Солнца и Земли L ₂ и L ₁ обычно принимают за 1,5 миллиона км от Земли.

Если масса меньшего объекта ( ME ₁ ) намного меньше массы большего объекта ( MS ₎ , то уравнение пятой степени можно значительно уменьшить, и L _и L ₂ находятся примерно на радиусе сферы Хилла , предоставлено:

$r\approx R{\sqrt[{3}]{\frac {M_{E}}{3M_{S}}}}$

Это также дает r = 1,5 x 10. ⁹ м для спутников L ₁ и L ₂ в системе Солнце-Земля.

См. также

• Секстическое уравнение
• Септическая функция
• Теория уравнений

Ссылки

• Шарль Эрмит, «О разрешении уравнения пятой степени», Œuvres de Charles Hermite , 2 :5–21, Готье-Виллар, 1908.
• Кляйн, Феликс (1888). Лекции по икосаэдру и решению уравнений пятой степени . Перевод Морриса, Джорджа Гэвина. Трюбнера и Ко ISBN  0-486-49528-0 .
• Леопольд Кронекер, «О разрешении уравнения пятой степени, отрывок из письма, адресованного М. Эрмиту», Comptes Rendus de l'Académie des Sciences , 46 :1:1150–1152 1858.
• Блэр Спирман и Кеннет С. Уильямс, «Характеристика разрешимых квинтик x ⁵ + ax + b , American Mathematical Monthly , 101 : 986–992 (1994).
• Ян Стюарт, Теория Галуа, 2-е издание, Чепмен и Холл, 1989. ISBN   0-412-34550-1 . Обсуждает теорию Галуа в целом, включая доказательство неразрешимости общей квинтики.
• Йорг Беверсдорф , Теория Галуа для начинающих: историческая перспектива , Американское математическое общество, 2006. ISBN   0-8218-3817-2 . Глава 8 ( Решение уравнений пятой степени в Wayback Machine (архивировано 31 марта 2010 г.)) дает описание решения разрешимых квинтик x. ⁵ + сх + д .
• Виктор С. Адамчик и Дэвид Дж. Джеффри, «Полиномиальные преобразования Чирнхауса, Бринга и Джеррарда», Бюллетень ACM SIGSAM , Vol. 37, № 3, сентябрь 2003 г., стр. 90–94.
• Эренфрид Вальтер фон Чирнхаус, «Метод удаления всех промежуточных членов из данного уравнения», Бюллетень ACM SIGSAM , Vol. 37, № 1, март 2003 г., стр. 1–3.
• Лазард, Дэниел (2004). «Решение квинтик в радикалах». У Олафа Арнфинна Лаудаля ; Рагни Пиене (ред.). Наследие Нильса Хенрика Абеля . Берлин. стр. 207–225. ISBN  3-540-43826-2 . Архивировано из оригинала 6 января 2005 года. {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
• Тот, Габор (2002), Конечные группы Мёбиуса, минимальные погружения сфер и модули

Внешние ссылки

• Mathworld - Quintic Equation – более подробная информация о методах решения Quintic.
• Решение разрешимых квинтик - метод решения разрешимых квинтик, предложенный Дэвидом С. Даммитом.
• Метод удаления всех промежуточных членов из данного уравнения - недавний английский перевод статьи Чирнхауса 1683 года.
• Брюс Бартлетт: Квинтик, икосаэдр и эллиптические кривые , уведомления AMS (апрель 2024 г.)