Четвертичная функция - Quartic function

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

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

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

В алгебра, а функция четвертой степени это функция формы

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

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

А уравнение четвертой степени, или уравнение четвертой степени, представляет собой уравнение, приравнивающее полином четвертой степени к нулю, вида

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

куда а ≠ 0.^[1]В производная функции квартики является кубическая функция.

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

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

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

Четвертая степень (квартика case) является наивысшей степенью такой, что каждое полиномиальное уравнение может быть решено с помощью радикалы.

История

Лодовико Феррари приписывают открытие решения квартики в 1540 году, но поскольку это решение, как и все алгебраические решения квартики, требует решения кубический быть найденным, его нельзя было опубликовать немедленно.^[2] Решение квартики было опубликовано вместе с решением кубической наставником Феррари. Джероламо Кардано в книге Арс Магна.^[3]

Советский историк И. Ю. Депман (RU ) утверждал, что еще раньше, в 1486 году, испанский математик Вальмес был сгорел на костре за утверждение, что решил уравнение четвертой степени.^[4] Генеральный инквизитор Томас де Торквемада якобы сказал Вальмесу, что это было волей Бога, чтобы такое решение было недоступно человеческому пониманию.^[5] тем не мение Beckmann, который популяризировал эту историю Депмана на Западе, сказал, что она ненадежна, и намекнул, что она, возможно, была придумана как советская антирелигиозная пропаганда.^[6] Версия этой истории Бекманна была широко скопирована в нескольких книгах и на интернет-сайтах, обычно без его оговорок, а иногда и с причудливыми украшениями. Несколько попыток найти подтверждающие доказательства этой истории или даже существования Валмеса потерпели неудачу.^[7]

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

Приложения

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

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

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

В оптике, Проблема Альхазена является "Имея источник света и сферическое зеркало, найдите на зеркале точку, в которой свет будет отражаться в глаза наблюдателя."Это приводит к уравнению четвертой степени.^[11][12][13]

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

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

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

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

Точки перегиба и золотое сечение

Сдача F и грамм быть отличным точки перегиба графика функции четвертой степени и позволяя ЧАС быть пересечением перегиба секущая линия FG и квартика, ближе к грамм чем F, тогда грамм разделяет FH в золотое сечение:^[15]

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

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

Решение

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

Учитывая общее уравнение квартики

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

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

${\displaystyle {\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}}}$

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

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

такой, что п/8а² - коэффициент второй степени ассоциированной депрессивной квартики (см. ниже );

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

такой, что р/8а³ - коэффициент первой степени ассоциированной вдавленной квартики;

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

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

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

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

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

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

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

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

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

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

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

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

${\displaystyle {\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}}}$

куда п и q - коэффициенты второй и первой степени соответственно в ассоциированная депрессивная квартика

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

и где

${\displaystyle {\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, видеть § Частные случаи формулы, ниже)

с

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

и

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

Частные случаи формулы

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

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

куда

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

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

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

Восстанавливаемые квартики

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

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

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

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

или же

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

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

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

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

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

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

Если а₃ = а₁ = 0 затем биквадратная функция

${\displaystyle Q(x)=a_{4}x^{4}+a_{2}x^{2}+a_{0}\,\!}$

определяет биквадратное уравнение, которую легко решить.

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

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

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

Полином

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

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

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

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

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

Позволять

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

- общее уравнение квартики, которое мы хотим решить.

Деление на а₄, дает эквивалентное уравнение Икс⁴ + bx³ + сх² + dx + е = 0, с б = а₃/а₄, c = а₂/а₄, d = а₁/а₄, и е = а₀/а₄.Замена у − б/4 за Икс дает после перегруппировки членов уравнение у⁴ + ру² + qy + р = 0,куда

${\displaystyle {\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}}}$

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

Решение Ferrari

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

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

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

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

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

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

(1)

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

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

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

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

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

(1а)

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

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

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

Сейчас если м является корнем кубического уравнения такой, что м ≠ 0, уравнение (1) становится

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

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

${\displaystyle \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.}$

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

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

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

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

${\displaystyle 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м = 2S.

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

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

${\displaystyle {\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}}}$

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

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

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

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

Теперь можно устранить оба т и v сделав следующее:

${\displaystyle {\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 = ты², то решение этого уравнения сводится к нахождению корней резольвентная кубическая

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

(2)

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

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

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

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

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

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

Вариант предыдущего метода обусловлен Эйлер.^[21][22] В отличие от предыдущих методов, оба из которых используют немного корень резольвентной кубики метод Эйлера использует их все. Рассмотрим депрессивную квартику Икс⁴ + px² + qx + р. Заметим, что если

• Икс⁴ + px² + qx + р = (Икс² + sx + т)(Икс² − sx + v),
• р₁ и р₂ корни Икс² + sx + т,
• р₃ и р₄ корни Икс² − sx + v,

тогда

• корни Икс⁴ + px² + qx + р находятся р₁, р₂, р₃, и р₄,
• р₁ + р₂ = −s,
• р₃ + р₄ = s.

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

${\displaystyle \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.}$

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

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

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

${\displaystyle \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.}$

Знак квадратного корня будет рассмотрен ниже. Единственное решение этой системы:

${\displaystyle \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³) выбор для набора {р₁, р₂, р₃, р₄}, но на самом деле обеспечивает не более 2 такой выбор, поскольку следствием замены одного из квадратных корней симметричным является то, что множество {р₁, р₂, р₃, р₄} становится набором {−р₁, −р₂, −р₃, −р₄}.

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

√α√β√γ = р₁р₂р₃ + р₁р₂р₄ + р₁р₃р₄ + р₂р₃р₄.

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

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

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

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

Решение резольвентой Лагранжа

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

${\displaystyle {\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_я точно так же. Поскольку мы знаем ценность s₀ = −б/2, нам нужны только значения для s₁, s₂ и s₃. Это корни многочлена

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

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

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

(3)

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

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

${\displaystyle {\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}}}$

тогда

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

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

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

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

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

Четыре корня депрессивной квартики Икс⁴ + px² + qx + р = 0 также может быть выражено как Икс координаты пересечения двух квадратных уравнений у² + ру + qx + р = 0 и у − Икс² = 0 т.е. используя замену у = Икс² что две квадраты пересекаются в четырех точках, является примером Теорема Безу. В явном виде четыре точки п_я ≔ (Икс_я, Икс_я²) для четырех корней Икс_я квартик.

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

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

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

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

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

Смотрите также

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

Рекомендации

1. Вайсштейн, Эрик В. «Уравнение четвертой степени». mathworld.wolfram.com. Получено 27 июля 2020.
2. О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Лодовико Феррари", Архив истории математики MacTutor, Сент-Эндрюсский университет.
3. Кардано, Джероламо (1993) [1545], Ars magna или Правила алгебры, Дувр, ISBN  0-486-67811-3
4. Депман (1954), Рассказы о математике Ленинград: Госдетиздат.
5. П. Бекманн (1971). История π. Макмиллан. п. 80.
6. П. Бекманн (1971). История π. Макмиллан. п. 191.
7. П. Золль (1989). "Письмо редактору". Американский математический ежемесячный журнал. 96 (8): 709–710. JSTOR  2324719.
8. Стюарт, Ян, Теория Галуа, третье издание (Chapman & Hall / CRC Mathematics, 2004)
9. "ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ: Первый курс кривых и поверхностей, стр. 36" (PDF). math.gatech.edu.
10. Вайсштейн, Эрик В. «Проблема скрещенных лестниц». mathworld.wolfram.com. Получено 27 июля 2020.
11. О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., «Абу Али аль-Хасан ибн аль-Хайтам», Архив истории математики MacTutor, Сент-Эндрюсский университет.
12. MacKay, R.J .; Олдфорд, Р. У. (август 2000 г.), "Научный метод, статистический метод и скорость света", Статистическая наука, 15 (3): 254–78, Дои:10.1214 / сс / 1009212817, МИСТЕР  1847825
13. Нойман, Питер М. (1998), "Размышления об отражении в сферическом зеркале", Американский математический ежемесячный журнал, 105 (6): 523–528, Дои:10.2307/2589403, JSTOR  2589403
14. Шабана А.А. (8 декабря 1995 г.). Теория вибрации: введение. Springer Science & Business Media. ISBN  978-0-387-94524-8.
15. Од, Х. Т. Р. (1949), "Заметки о кривых четвертой степени", Американский математический ежемесячный журнал, 56 (3): 165, Дои:10.2307/2305030, JSTOR  2305030
16. Рис, Э. Л. (1922). "Графическое обсуждение корней уравнения четвертой степени". Американский математический ежемесячник. 29 (2): 51–55. Дои:10.2307/2972804. JSTOR  2972804.
17. Лазард, Д. (1988). «Исключение квантора: оптимальное решение для двух классических примеров». Журнал символических вычислений. 5: 261–266. Дои:10.1016 / S0747-7171 (88) 80015-4.
18. http://planetmath.org/QuarticFormula, PlanetMath, формула четвертой степени, 21 октября 2012 г.
19. Декарт, Рене (1954) [1637], "Книга III: О построении задач твердого и суперсолидного тела", Геометрия Рене Декарта с факсимиле первого издания, Дувр, ISBN  0-486-60068-8, JFM  51.0020.07
20. Брукфилд, Г. (2007). "Факторизация многочленов четвертой степени: потерянное искусство" (PDF). Математический журнал. 80 (1): 67–70.
21. ван дер Варден, Бартель Леендерт (1991), «Теория Галуа: уравнения второй, третьей и четвертой степени», Алгебра, 1 (7-е изд.), Springer-Verlag, ISBN  0-387-97424-5, Zbl  0724.12001
22. Эйлер, Леонард (1984) [1765], «О новом методе решения уравнений четвертой степени», Элементы алгебры, Springer-Verlag, ISBN  978-1-4613-8511-0, Zbl  0557.01014
23. Фосетт, Уильям М. (1996), "Геометрическая интерпретация решения общего многочлена четвертой степени", Американский математический ежемесячный журнал, 103 (1): 51–57, Дои:10.2307/2975214, JSTOR  2975214, МИСТЕР  1369151

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

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

внешняя ссылка

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