Функция четвертой степени

Не путать с Quantic .

Эта статья об одномерном случае. Для двумерного случая см. плоскую кривую четвертой степени .

«Биквадратичная функция» перенаправляется сюда. Чтобы узнать об использовании в информатике, см. Биквадратичная рациональная функция .

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

В алгебре функция квартики — это функция вида

$f(x)=ax^{4}+bx^{3}+cx^{2}+dx+e,$^а

где а не равно нулю,который определяется полиномом четвертой , степени называемым полиномом четвертой степени .

Уравнение четвертой степени , или уравнение четвертой степени, — это уравнение, приравнивающее нулю полином четвертой степени, вида

$ax^{4}+bx^{3}+cx^{2}+dx+e=0,$

где а ≠ 0 . Производная функции четвертой степени является кубической функцией .

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

$f(x)=ax^{4}+cx^{2}+e.$

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

Четвертая степень ( четвертый случай) — это высшая степень, при которой каждое полиномиальное уравнение может быть решено с помощью радикалов , согласно теореме Абеля-Руффини .

История

Лодовико Феррари приписывают открытие решения квартики в 1540 году, но поскольку это решение, как и все алгебраические решения квартики, требует решения кубики , оно не могло быть опубликовано немедленно. нахождения Решение квартики было опубликовано вместе с решением кубики наставником Феррари Джероламо Кардано в книге Ars Magna .

Советский историк И.Я. Депман ( ru ) утверждал, что еще раньше, в 1486 году, испанский математик Вальмес был сожжен на костре за утверждения о решении уравнения четвертой степени. Генеральный инквизитор Томас де Торквемада якобы сказал Вальмесу, что по воле Божией такое решение должно быть недоступно человеческому пониманию. Однако Петр Бекманн , популяризировавший эту историю Депмана на Западе, заявил, что она недостоверна, и намекнул, что она, возможно, была выдумана как советская антирелигиозная пропаганда. Версия этой истории Бекмана широко копировалась в нескольких книгах и на интернет-сайтах, обычно без его оговорок, а иногда и с причудливыми украшениями. Несколько попыток найти подтверждающие доказательства этой истории или даже существования Вальмеса потерпели неудачу.

Доказательство того, что четыре — это высшая степень общего многочлена, для которого могут быть найдены такие решения, было впервые дано в теореме Абеля-Руффини в 1824 году, доказав, что все попытки решения многочленов более высокого порядка будут тщетными. Записи, оставленные Эваристом Галуа перед смертью на дуэли в 1832 году, позже привели к созданию элегантной полной теории корней многочленов, одним из результатов которой стала эта теорема.

Приложения

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

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

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

В оптике задача Альхазена такова: « Дайте источник света и сферическое зеркало, найдите точку на зеркале, где свет будет отражаться в глаз наблюдателя ». Это приводит к уравнению четвертой степени.

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

Собственные значения 4×4 матрицы являются корнями многочлена четвертой степени, который является характеристическим многочленом матрицы.

Характеристическое уравнение линейного разностного уравнения четвертого порядка или дифференциального уравнения является уравнением четвертой степени. Примером может служить Тимошенко-Релея . теория изгиба балки

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

Точки перегиба

Полагая F и G — отдельные точки перегиба графика функции квартики, а H — пересечение секущей линии перегиба FG и квартики, расположенной ближе к G , чем к F , тогда G делит FH на золотое сечение :

${\frac {FG}{GH}}={\frac {1+{\sqrt {5}}}{2}}=\varphi \;({\text{the golden ratio}}).$

При этом площадь области между секущей линией и квартикой ниже секущей равна площади области между секущей линией и квартикой над секущей линией. Один из этих регионов разделен на субрегионы равной площади.

Решение

Природа корней

Учитывая общее уравнение четвертой степени

$ax^{4}+bx^{3}+cx^{2}+dx+e=0$

с действительными коэффициентами и a ≠ 0 характер его корней определяется главным образом знаком его дискриминанта

${\begin{aligned}\Delta ={}&256a^{3}e^{3}-192a^{2}bde^{2}-128a^{2}c^{2}e^{2}+144a^{2}cd^{2}e-27a^{2}d^{4}\\&+144ab^{2}ce^{2}-6ab^{2}d^{2}e-80abc^{2}de+18abcd^{3}+16ac^{4}e\\&-4ac^{3}d^{2}-27b^{4}e^{2}+18b^{3}cde-4b^{3}d^{3}-4b^{2}c^{3}e+b^{2}c^{2}d^{2}\end{aligned}}$

Это можно уточнить, рассмотрев знаки четырех других многочленов:

$P=8ac-3b^{2}$

такой, что П / 8 а ² – коэффициент второй степени соответствующей пониженной квартики (см. ниже );

$R=b^{3}+8da^{2}-4abc,$

такой, что Р / 8 а ³ – коэффициент первой степени соответствующей пониженной квартики;

$\Delta _{0}=c^{2}-3bd+12ae,$

что равно 0, если квартика имеет тройной корень; и

$D=64a^{3}e-16a^{2}c^{2}+16ab^{2}c-16a^{2}bd-3b^{4}$

что равно 0, если квартика имеет два двойных корня.

Возможные случаи природы корней следующие:

• Если ∆ < 0 , то уравнение имеет два различных действительных корня и два комплексно-сопряженных невещественных корня.
• Если ∆ > 0 , то либо все четыре корня уравнения вещественные, либо ни один из них не вещественный.
  • Если P < 0 и D < 0, то все четыре корня действительны и различны.
  • Если P > 0 или D > 0, то существуют две пары невещественных комплексно-сопряженных корней.
• Если ∆ = 0 , то (и только тогда) многочлен имеет кратный корень. Вот различные случаи, которые могут произойти:
  • Если P < 0 и D < 0 и ∆ ₀ ≠ 0 , существует действительный двойной корень и два вещественных простых корня.
  • Если D > 0 или ( P > 0 и ( D ≠ 0 или R ≠ 0)), существует действительный двойной корень и два комплексно-сопряженных корня.
  • Если ∆ ₀ = 0 и D ≠ 0, существуют тройной корень и простой корень, все вещественные.
  • Если Д = 0, то:
    • Если P < 0, имеется два действительных двойных корня.
    • Если P > 0 и R = 0, имеется два комплексно-сопряженных двойных корня.
    • Если ∆ ₀ = 0 , все четыре корня равны — б / 4 а

Есть некоторые случаи, которые вроде бы не охвачены, но на самом деле они не могут произойти. Например, ∆ ₀ > 0 , P = 0 и D ≤ 0 не является одним из случаев. Действительно, если ∆ ₀ > 0 и P = 0, то D > 0, поскольку $16a^{2}\Delta _{0}=3D+P^{2};$ поэтому такая комбинация невозможна.

Общая формула корней

Решение $x^{4}+ax^{3}+bx^{2}+cx+d=0$ выписано полностью. Эта формула слишком громоздка для общего использования; поэтому обычно используются другие методы или более простые формулы для особых случаев.

Четыре корня x ₁ , x ₂ , x ₃ и x ₄ для общего уравнения четвертой степени

$ax^{4}+bx^{3}+cx^{2}+dx+e=0\,$

с a ≠ 0 приведены в следующей формуле, которая выводится из формулы, приведенной в разделе, посвященном методу Феррари, путем обратной замены переменных (см. § Преобразование в пониженную квартику ) и использования формул для квадратных и кубических уравнений .

${\begin{aligned}x_{1,2}\ &=-{\frac {b}{4a}}-S\pm {\frac {1}{2}}{\sqrt {-4S^{2}-2p+{\frac {q}{S}}}}\\x_{3,4}\ &=-{\frac {b}{4a}}+S\pm {\frac {1}{2}}{\sqrt {-4S^{2}-2p-{\frac {q}{S}}}}\end{aligned}}$

где p и q — коэффициенты второй и первой степени соответственно в соответствующей пониженной квартике

${\begin{aligned}p&={\frac {8ac-3b^{2}}{8a^{2}}}\\q&={\frac {b^{3}-4abc+8a^{2}d}{8a^{3}}}\end{aligned}}$

и где

${\begin{aligned}S&={\frac {1}{2}}{\sqrt {-{\frac {2}{3}}\ p+{\frac {1}{3a}}\left(Q+{\frac {\Delta _{0}}{Q}}\right)}}\\Q&={\sqrt[{3}]{\frac {\Delta _{1}+{\sqrt {\Delta _{1}^{2}-4\Delta _{0}^{3}}}}{2}}}\end{aligned}}$

(если S = ​​0 или Q = 0 , см. § Особые случаи формулы ниже)

с

${\begin{aligned}\Delta _{0}&=c^{2}-3bd+12ae\\\Delta _{1}&=2c^{3}-9bcd+27b^{2}e+27ad^{2}-72ace\end{aligned}}$

и

$\Delta _{1}^{2}-4\Delta _{0}^{3}=-27\Delta \ ,$ где $\Delta$ является вышеупомянутым дискриминантом . Для выражения кубического корня для Q можно использовать любой из трех кубических корней в комплексной плоскости, хотя, если один из них действительный, это самый естественный и простой вариант. Математические выражения этих последних четырех членов очень похожи на выражения их кубических аналогов .

Особые случаи формулы

• Если $\Delta >0,$ ценность $Q$ является недействительным комплексным числом. В этом случае либо все корни невещественны, либо все они вещественны. В последнем случае значение $S$ также реальна, несмотря на то, что она выражена в терминах $Q;$ это casus нередуцируемая кубическая функция, расширенная до настоящего контекста квартики. Можно предпочесть выразить это чисто реальным способом, используя тригонометрические функции , следующим образом:

$S={\frac {1}{2}}{\sqrt {-{\frac {2}{3}}\ p+{\frac {2}{3a}}{\sqrt {\Delta _{0}}}\cos {\frac {\varphi }{3}}}}$

где

$\varphi =\arccos \left({\frac {\Delta _{1}}{2{\sqrt {\Delta _{0}^{3}}}}}\right).$

• Если $\Delta \neq 0$ и $\Delta _{0}=0,$ знак ${\sqrt {\Delta _{1}^{2}-4\Delta _{0}^{3}}}={\sqrt {\Delta _{1}^{2}}}$ должен быть выбран, чтобы иметь $Q\neq 0,$ это надо определить ${\sqrt {\Delta _{1}^{2}}}$ как $\Delta _{1},$ сохраняя знак $\Delta _{1}.$
• Если $S=0,$ то надо изменить выбор кубического корня в $Q$ чтобы иметь $S\neq 0.$ Это всегда возможно, за исключением случаев, когда квартика может быть учтена в $\left(x+{\tfrac {b}{4a}}\right)^{4}.$ Тогда результат будет правильным, но вводит в заблуждение, поскольку скрывает тот факт, что в этом случае кубический корень не нужен. На самом деле этот случай может возникнуть только в том случае, числитель если $q$ равно нулю, и в этом случае соответствующая пониженная квартика является биквадратичной; таким образом, ее можно решить методом, описанным ниже .
• Если $\Delta =0$ и $\Delta _{0}=0,$ и поэтому также $\Delta _{1}=0,$ не менее трех корней равны друг другу, причем корни являются рациональными функциями коэффициентов. Тройной корень $x_{0}$ является общим корнем квартики и ее второй производной $2(6ax^{2}+3bx+c);$ таким образом, это также единственный корень остатка от евклидова деления квартики на ее вторую производную, которая является линейным многочленом. Простой корень $x_{1}$ можно вывести из $x_{1}+3x_{0}=-b/a.$
• Если $\Delta =0$ и $\Delta _{0}\neq 0,$ приведенное выше выражение для корней правильно, но вводит в заблуждение, скрывая тот факт, что полином приводим и для представления корней не требуется кубический корень.

Более простые случаи

Приводимые квартики

Рассмотрим общую квартику

$Q(x)=a_{4}x^{4}+a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}.$

Его можно сократить , если Q ( x ) = R ( x ) × S ( x ) , где R ( x ) и S ( x ) непостоянные многочлены с рациональными коэффициентами (или, в более общем смысле, с коэффициентами из того же поля, что и коэффициенты Q ) ( x . ) Такая факторизация примет одну из двух форм:

$Q(x)=(x-x_{1})(b_{3}x^{3}+b_{2}x^{2}+b_{1}x+b_{0})$

или

$Q(x)=(c_{2}x^{2}+c_{1}x+c_{0})(d_{2}x^{2}+d_{1}x+d_{0}).$

В любом случае корни Q ( x ) являются корнями факторов, которые можно вычислить с помощью формул для корней квадратичной функции или кубической функции .

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

• если мы работаем над R (то есть, если коэффициенты ограничены действительными числами) (или, в более общем смысле, над некоторым реальным замкнутым полем ), то такая факторизация всегда существует;
• если мы работаем над Q (то есть, если коэффициенты ограничены рациональными числами), то существует алгоритм, позволяющий определить, является ли Q ( x ) приводимым, и, если да, то как выразить его в виде произведения многочленов меньшей степени.

Фактически, несколько методов решения уравнений четвертой степени ( метод Феррари , метод Декарта и, в меньшей степени, метод Эйлера ) основаны на нахождении таких факторизаций.

Биквадратное уравнение

Если a ₃ = a ₁ = 0, то функция

$Q(x)=a_{4}x^{4}+a_{2}x^{2}+a_{0}$

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

Пусть вспомогательная переменная z = x ² .Тогда Q ( x ) становится квадратичным q по z : q ( z ) = a ₄ z ² + а ₂ z + а ₀ . Пусть z ₊ и z ₋ корни q ( z ) . Тогда корни квартики Q ( x ) равны

${\begin{aligned}x_{1}&=+{\sqrt {z_{+}}},\\x_{2}&=-{\sqrt {z_{+}}},\\x_{3}&=+{\sqrt {z_{-}}},\\x_{4}&=-{\sqrt {z_{-}}}.\end{aligned}}$

Квазипалиндромное уравнение

Полином

$P(x)=a_{0}x^{4}+a_{1}x^{3}+a_{2}x^{2}+a_{1}mx+a_{0}m^{2}$

является почти палиндромом , так как P ( mx ) = х ⁴ / м ² П ( m / x ) (это палиндром, если m = 1 ). Замена переменных z = x + м / х в П ( х ) / х ² = 0 дает квадратное уравнение a ₀ z ² + а ₁ z + а ₂ - 2 ма ₀ знак равно 0 . Поскольку х ² − xz + m = 0 , уравнение четвертой степени P ( x ) = 0 можно решить, дважды применив квадратную формулу .

Методы решения

Преобразование в депрессивную квартику

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

Позволять

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

— общее уравнение четвертой степени, которое мы хотим решить.

Деление на 4 _x эквивалентное уравнение дает ⁴ + бх ³ + сх ² + dx + e = 0 , где b = а ₃ / а ₄ , с = а ₂ / а ₄ , d = а ₁ / а ₄ и е = a ₀ / a ₄ .Substituting y − b / 4 для x дает после перегруппировки членов уравнение y ⁴ + ру ² + qy + r = 0 ,где

${\begin{aligned}p&={\frac {8c-3b^{2}}{8}}={\frac {8a_{2}a_{4}-3{a_{3}}^{2}}{8{a_{4}}^{2}}}\\q&={\frac {b^{3}-4bc+8d}{8}}={\frac {{a_{3}}^{3}-4a_{2}a_{3}a_{4}+8a_{1}{a_{4}}^{2}}{8{a_{4}}^{3}}}\\r&={\frac {-3b^{4}+256e-64bd+16b^{2}c}{256}}={\frac {-3{a_{3}}^{4}+256a_{0}{a_{4}}^{3}-64a_{1}a_{3}{a_{4}}^{2}+16a_{2}{a_{3}}^{2}a_{4}}{256{a_{4}}^{4}}}.\end{aligned}}$

Если y ₀ является корнем этой пониженной квартики, то y ₀ − b / 4 (то есть y ₀ − a ₃ / 4 a ₄ ) является корнем исходной квартики, и каждый корень исходной квартики может быть получен с помощью этого процесса.

Решение Феррари

Как объяснялось в предыдущем разделе, мы можем начать с уравнения депрессивной четвертой степени

$y^{4}+py^{2}+qy+r=0.$

Эту депрессивную квартику можно решить с помощью метода, открытого Лодовико Феррари . Уравнение с депрессией можно переписать (в этом легко убедиться, расширив квадрат и перегруппировав все члены в левой части) как

$\left(y^{2}+{\frac {p}{2}}\right)^{2}=-qy-r+{\frac {p^{2}}{4}}.$

Затем мы вводим переменную m в множитель в левой части, добавляя 2 y ² м + вечер + м ² обеим сторонам. После перегруппировки коэффициентов при степени y в правой части это дает уравнение

$\left(y^{2}+{\frac {p}{2}}+m\right)^{2}=2my^{2}-qy+m^{2}+mp+{\frac {p^{2}}{4}}-r,$ ( 1 )

что эквивалентно исходному уравнению, какое бы значение ни было присвоено m .

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

$(-q)^{2}-4(2m)\left(m^{2}+pm+{\frac {p^{2}}{4}}-r\right)=0,\,$

который можно переписать как

$8m^{3}+8pm^{2}+(2p^{2}-8r)m-q^{2}=0.$ ( 1а )

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

$\left({\sqrt {2m}}y-{\frac {q}{2{\sqrt {2m}}}}\right)^{2}.$

Однако это вызывает деление на ноль, если m = 0 . Это означает, что q = 0 и, таким образом, подавленное уравнение является биквадратичным и может быть решено более простым методом (см. Выше). Это не было проблемой во времена Феррари, когда решались только явно заданные уравнения с числовыми коэффициентами. Таким образом, для получения общей формулы, которая всегда верна, необходимо выбрать корень кубического уравнения так, чтобы m ≠ 0 . Это всегда возможно, за исключением депрессивного уравнения y ⁴ = 0 .

Теперь, если m является корнем кубического уравнения, таким что m ≠ 0 , уравнение ( 1 ) принимает вид

$\left(y^{2}+{\frac {p}{2}}+m\right)^{2}=\left(y{\sqrt {2m}}-{\frac {q}{2{\sqrt {2m}}}}\right)^{2}.$

Это уравнение имеет вид M ² = Н ² , который можно переставить как M ² − Н ² знак равно 0 или ( M + N )( M - N ) знак равно 0 . Следовательно, уравнение ( 1 ) можно переписать как

$\left(y^{2}+{\frac {p}{2}}+m+{\sqrt {2m}}y-{\frac {q}{2{\sqrt {2m}}}}\right)\left(y^{2}+{\frac {p}{2}}+m-{\sqrt {2m}}y+{\frac {q}{2{\sqrt {2m}}}}\right)=0.$

Это уравнение легко решить, применив к каждому множителю квадратичную формулу . Решая их, мы можем записать четыре корня как

$y={\pm _{1}{\sqrt {2m}}\pm _{2}{\sqrt {-\left(2p+2m\pm _{1}{{\sqrt {2}}q \over {\sqrt {m}}}\right)}} \over 2},$

где ± ₁ и ± ₂ обозначают либо +, либо – . Поскольку два появления ± ₁ должны обозначать один и тот же знак, остается четыре возможности, по одной для каждого корня.

Следовательно, решения исходного уравнения четвертой степени имеют вид

$x=-{a_{3} \over 4a_{4}}+{\pm _{1}{\sqrt {2m}}\pm _{2}{\sqrt {-\left(2p+2m\pm _{1}{{\sqrt {2}}q \over {\sqrt {m}}}\right)}} \over 2}.$

Сравнение с приведенной выше общей формулой показывает, что √ 2 m = 2 S .

Решение Декарта

Декарт ввел в 1637 году метод нахождения корней многочлена четвертой степени путем разложения его на два квадратичных. Позволять

${\begin{aligned}x^{4}+bx^{3}+cx^{2}+dx+e&=(x^{2}+sx+t)(x^{2}+ux+v)\\&=x^{4}+(s+u)x^{3}+(t+v+su)x^{2}+(sv+tu)x+tv\end{aligned}}$

Приравнивая коэффициенты , это приводит к следующей системе уравнений:

$\left\{{\begin{array}{l}b=s+u\\c=t+v+su\\d=sv+tu\\e=tv\end{array}}\right.$

Это можно упростить, начав снова с депрессивной квартики y. ⁴ + ру ² + qy + r , который можно получить, заменив y − b /4 на x . Поскольку коэффициент при y ³ равно 0 , мы получаем s = − u и:

$\left\{{\begin{array}{l}p+u^{2}=t+v\\q=u(t-v)\\r=tv\end{array}}\right.$

Теперь можно исключить и t, и v, выполнив следующие действия:

${\begin{aligned}u^{2}(p+u^{2})^{2}-q^{2}&=u^{2}(t+v)^{2}-u^{2}(t-v)^{2}\\&=u^{2}[(t+v+(t-v))(t+v-(t-v))]\\&=u^{2}(2t)(2v)\\&=4u^{2}tv\\&=4u^{2}r\end{aligned}}$

Если мы положим U = u ² , то решение этого уравнения сводится к нахождению корней резольвентной кубики

$U^{3}+2pU^{2}+(p^{2}-4r)U-q^{2},$ ( 2 )

что делается в другом месте . Эта резольвентная кубическая единица эквивалентна приведенной выше резольвентной кубике (уравнение (1a)), как можно увидеть, подставив U = 2m.

Если u — квадратный корень из ненулевого корня этой резольвенты (такой ненулевой корень существует, за исключением квартики x ⁴ , что тривиально факторизуется),

$\left\{{\begin{array}{l}s=-u\\2t=p+u^{2}+q/u\\2v=p+u^{2}-q/u\end{array}}\right.$

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

Приведенное выше решение показывает, что многочлен четвертой степени с рациональными коэффициентами и нулевым коэффициентом при кубическом члене разлагается в квадратичные дроби с рациональными коэффициентами тогда и только тогда, когда либо резольвентная кубика ( 2 ) имеет ненулевой корень, который является квадратом рационального числа. или п ² − 4 r — квадрат рационального числа и q = 0 ; это можно легко проверить с помощью теста рационального корня .

Решение Эйлера

Вариант предыдущего метода принадлежит Эйлеру . В отличие от предыдущих методов, оба из которых используют некоторый корень резольвентной кубики, метод Эйлера использует их все. Рассмотрим депрессивную квартику x ⁴ + пикселей ² + qx + р . Заметьте, что если

• х ⁴ + пикселей ² + qx + r = ( x ² + sx + t )( х ² - sx + v ) ,
• r ₁ и r ₂ — корни x ² + сх + т ,
• r ₃ и r ₄ — корни x ² − sx + v ,

затем

• корни х ⁴ + пикселей ² + qx + r — это r ₁ , r ₂ , r ₃ и r ₄ ,
• р ₁ + р ₂ знак равно - s ,
• р ₃ + р ₄ знак равно s .

Следовательно, ( р ₁ + р ₂ )( р ₃ + р ₄ ) = - s ² . Другими словами, −( r ₁ + r ₂ )( r ₃ + r ₄ ) является одним из корней резольвентной кубики ( 2 ), и это предполагает, что корни этой кубики равны −( r ₁ + r ₂ )( р ₃ + р ₄ ) , -( р ₁ + р ₃ )( р ₂ + р ₄ ) и - ( р ₁ + р ₄ )( р ₂ + р ₃ ) . Это действительно так и следует из формул Виеты . Из формул Виеты, а также из того, что мы работаем с депрессивной квартикой, также следует, что r ₁ + r ₂ + r ₃ + r ₄ = 0 . (Конечно, это следует и из того, что r ₁ + r ₂ + r ₃ + r ₄ = − s + s .) Следовательно, если α , β и γ — корни резольвентной кубики, то числа r ₁ , r ₂ , r ₃ и r ₄ таковы, что

$\left\{{\begin{array}{l}r_{1}+r_{2}+r_{3}+r_{4}=0\\(r_{1}+r_{2})(r_{3}+r_{4})=-\alpha \\(r_{1}+r_{3})(r_{2}+r_{4})=-\beta \\(r_{1}+r_{4})(r_{2}+r_{3})=-\gamma {\text{.}}\end{array}}\right.$

Следствием первых двух уравнений является то, что r ₁ + r ₂ является квадратным корнем из α и что r ₃ + r ₄ является другим квадратным корнем из α . По той же причине,

• r ₁ + r ₃ — квадратный корень из β ,
• r ₂ + r ₄ — другой квадратный корень из β ,
• r ₁ + r ₄ — квадратный корень из γ ,
• r ₂ + r ₃ — другой квадратный корень из γ .

Следовательно, числа r ₁ , r ₂ , r ₃ и r ₄ таковы, что

$\left\{{\begin{array}{l}r_{1}+r_{2}+r_{3}+r_{4}=0\\r_{1}+r_{2}={\sqrt {\alpha }}\\r_{1}+r_{3}={\sqrt {\beta }}\\r_{1}+r_{4}={\sqrt {\gamma }}{\text{;}}\end{array}}\right.$

О знаке квадратных корней речь пойдет ниже. Единственное решение этой системы:

$\left\{{\begin{array}{l}r_{1}={\frac {{\sqrt {\alpha }}+{\sqrt {\beta }}+{\sqrt {\gamma }}}{2}}\\[2mm]r_{2}={\frac {{\sqrt {\alpha }}-{\sqrt {\beta }}-{\sqrt {\gamma }}}{2}}\\[2mm]r_{3}={\frac {-{\sqrt {\alpha }}+{\sqrt {\beta }}-{\sqrt {\gamma }}}{2}}\\[2mm]r_{4}={\frac {-{\sqrt {\alpha }}-{\sqrt {\beta }}+{\sqrt {\gamma }}}{2}}{\text{.}}\end{array}}\right.$

Поскольку, как правило, для каждого квадратного корня есть два варианта, может показаться, что это дает 8 (= 2 ³ ) вариантов для множества { r ₁ , r ₂ , r ₃ , r ₄ }, но на самом деле оно дает не более 2 таких выборов, поскольку следствием замены одного из квадратных корней на симметричный является то, что набор { р ₁ , р ₂ , р ₃ , р ₄ } становится набором {- р ₁ , - р ₂ , - р ₃ , - р ₄ }.

Чтобы определить правильный знак квадратных корней, нужно просто выбрать некоторый квадратный корень для каждого из чисел α , β и γ и использовать его для вычисления чисел r ₁ , r ₂ , r ₃ и r ₄ из предыдущие равенства. Затем вычисляется число √ α √ β √ γ . Поскольку α , β и γ являются корнями ( 2 ), следствием формул Виеты является то, что их произведение равно q ² и, следовательно, √ α √ β √ γ = ± q . Но простой расчет показывает, что

√ α √ β √ γ знак равно р ₁ р ₂ р ₃ + р ₁ р ₂ р ₄ + р ₁ р ₃ р ₄ + р ₂ р ₃ р ₄ .

Если это число равно − q , то выбор квадратных корней был удачным (опять же по формулам Виеты); в противном случае корнями многочлена будут - r ₁ , - r ₂ , - r ₃ и - r ₄ , которые являются числами, полученными, если один из квадратных корней заменить симметричным (или, что составляет то же самое, если каждый из трёх квадратных корней заменить симметричным).

Этот аргумент предлагает другой способ выбора квадратных корней:

• выберите любой квадратный корень √ α из α и любой квадратный корень √ β из β ;
• определим √ γ как $-{\frac {q}{{\sqrt {\alpha }}{\sqrt {\beta }}}}$.

Конечно, это не будет иметь смысла, если α или β равны 0 , но 0 является корнем ( 2 ) только тогда, когда q = 0 , то есть только тогда, когда мы имеем дело с биквадратным уравнением , и в этом случае имеет место гораздо более простой подход.

Решение с помощью резольвенты Лагранжа

Симметричная группа S ₄ на четырех элементах имеет четырехгруппу Клейна в качестве нормальной подгруппы . Это предполагает использование резольвентная куба , корни которой могут быть описаны по-разному как дискретное преобразование Фурье или Адамара матричное преобразование корней см. в разделе Резольвенты Лагранжа ; общий метод . Обозначим через xi _от , для i 0 до 3 , четыре корня x ⁴ + бх ³ + сх ² + дх + е . Если мы установим

${\begin{aligned}s_{0}&={\tfrac {1}{2}}(x_{0}+x_{1}+x_{2}+x_{3}),\\[4pt]s_{1}&={\tfrac {1}{2}}(x_{0}-x_{1}+x_{2}-x_{3}),\\[4pt]s_{2}&={\tfrac {1}{2}}(x_{0}+x_{1}-x_{2}-x_{3}),\\[4pt]s_{3}&={\tfrac {1}{2}}(x_{0}-x_{1}-x_{2}+x_{3}),\end{aligned}}$

тогда, поскольку преобразование является инволюцией, мы можем выразить корни через четыре s _i точно таким же образом. Поскольку мы знаем значение s ₀ = − b / 2 значения s1 _для , s2 _{, нам нужны} и s3 _только . Это корни многочлена

$(s^{2}-{s_{1}}^{2})(s^{2}-{s_{2}}^{2})(s^{2}-{s_{3}}^{2}).$

Заменяя s _i их значениями в терминах xi _, этот многочлен можно разложить в многочлен по s, которого являются симметричными полиномами по xi _. коэффициенты По фундаментальной теореме о симметричных многочленах эти коэффициенты могут быть выражены как многочлены от коэффициентов монической квартики. Если для упрощения предположим, что квартика подавлена, то есть b = 0 , это приведет к полиному

$s^{6}+2cs^{4}+(c^{2}-4e)s^{2}-d^{2}$ ( 3 )

Этот многочлен имеет шестую степень, но только третью степень по s. ² , и поэтому соответствующее уравнение разрешимо методом, описанным в статье о кубической функции . Подставив корни в выражение xi через _, s i _мы получим выражение для корней. В действительности мы получаем, по-видимому, несколько выражений, зависящих от нумерации корней кубического многочлена и знаков, присвоенных их квадратным корням. просто изменив нумерацию xi _. Все эти различные выражения можно вывести из одного из них ,

Эти выражения излишне сложны и включают кубические корни из единицы , которых можно избежать следующим образом. Если s — любой ненулевой корень из ( 3 ) и если мы установим

${\begin{aligned}F_{1}(x)&=x^{2}+sx+{\frac {c}{2}}+{\frac {s^{2}}{2}}-{\frac {d}{2s}}\\F_{2}(x)&=x^{2}-sx+{\frac {c}{2}}+{\frac {s^{2}}{2}}+{\frac {d}{2s}}\end{aligned}}$

затем

$F_{1}(x)\times F_{2}(x)=x^{4}+cx^{2}+dx+e.$

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

Это дает точно такую ​​же формулу для корней, как и та, что дает метод Декарта .

Решение с помощью алгебраической геометрии

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

Четыре корня депрессивной квартики x ⁴ + пикселей ² + qx + r = 0 также может быть выражено как координаты x пересечений двух квадратных уравнений y ² + py + qx + r = 0 и y − x ² = 0 , т.е. используя замену y = x ² То, что две квадратичные дроби пересекаются в четырех точках, является примером теоремы Безу . Явно, четыре точки — это ≔ _Pi ( x _i , x _i ² ) для четырех корней x _i квартики.

Эти четыре точки не лежат на одной прямой, поскольку лежат на неприводимой квадратичной системе y = x. ² и, таким образом, существует однопараметрическое семейство квадратичных уравнений ( пучок кривых ), проходящее через эти точки. Запись проективизации двух квадратичных уравнений в виде квадратичных форм от трех переменных:

${\begin{aligned}F_{1}(X,Y,Z)&:=Y^{2}+pYZ+qXZ+rZ^{2},\\F_{2}(X,Y,Z)&:=YZ-X^{2}\end{aligned}}$

пучок задается формами λF ₁ + µF ₂ для любой точки [ λ , µ ] на проективной прямой — другими словами, где λ и µ одновременно не равны нулю, и умножение квадратичной формы на константу не меняет ее квадратичная кривая нулей.

Этот карандаш содержит три приводимых квадрата, каждый из которых соответствует паре прямых, каждая из которых проходит через две из четырех точек, что можно сделать $\textstyle {\binom {4}{2}}$ = 6 разных способов. Обозначим их Q ₁ = L ₁₂ + L ₃₄ , Q ₂ = L ₁₃ + L ₂₄ и Q ₃ = L ₁₄ + L ₂₃ . Учитывая любые два из них, их пересечение имеет ровно четыре точки.

Приводимые квадратичные дроби, в свою очередь, можно определить, выразив квадратичную форму λF ₁ + µF ₂ как матрицу 3×3 : приводимые квадратичные дроби соответствуют сингулярности этой матрицы, что эквивалентно тому, что ее определитель равен нулю, а определитель равен нулю. однородный полином третьей степени по λ и µ и соответствует резольвентной кубике.

См. также

• Линейная функция – Линейная карта или полиномиальная функция первой степени.
• Квадратичная функция – Полиномиальная функция второй степени.
• Кубическая функция – Полиномиальная функция степени 3
• Квинтическая функция – Полиномиальная функция 5-й степени.

Примечания

^α Для целей этой статьи e используется как переменная, а не как обычное использование в качестве числа Эйлера (если не указано иное).

Дальнейшее чтение

• Карпентер, В. (1966). «О решении действительной квартики». Журнал «Математика» . 39 (1): 28–30. дои : 10.2307/2688990 . JSTOR   2688990 .
• Якуб, доктор медицины; Фрайденрайх, Г. (июль 2012 г.). «Решение уравнения четвертой степени». Математический вестник . 96 : 271–275. дои : 10.1017/s002555720000454x . S2CID   124512391 .

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

• Формула четвертой степени как четыре отдельных уравнения в PlanetMath .
• Достижение Феррари