Перегляд вихідного коду сторінки Рівняння четвертого степеня

[[Файл:X**4-0.5*x**3-5*x**2+2*x+4.svg|thumb|300px|Графік функції <math>y=x^4-0,5x^3-5x^2+2x+4\,\quad</math>]]

У [[математика|математиці]] '''рівняння четвертого степеня''' є результатом прирівнювання [[многочлен]]а [[Четвертий степінь|четвертого степеня]] до нуля. Воно має такий загальний вигляд

: <math>\ ax^4+bx^3+cx^2+dx+e=0,</math>
де <math>\ a\ne 0.</math>

Рівняння четвертого степеня є рівнянням найвищого степеня, що дозволяє подання загального [[Розв'язність в радикалах|розв'язку у радикалах]].

== Історія ==
[[Файл:ArsMagna (cropped).jpg|thumb|200px|Лодовіко Феррарі]]
Рівняння четвертого степеня було вперше розглянуто [[математик]]ами [[Індія|Індії]] між [[400 до н. е.|400 до н.&nbsp;е.]] і [[200|200 н.&nbsp;е.]]

[[Лодовіко Феррарі]] першим відкрив розв'язок рівнянь четвертого степеня ([[1540]]), проте його робота мала один недолік: він спирався на розв'язок [[кубічне рівняння|кубічного рівняння]], який належав [[Нікколо Тарталья|Нікколо Тартальї]]. Тарталья просив не опубліковувати його, допоки він не надрукує власну книжку<ref>{{Cite web|url=http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Ferrari.html|title=Ferrari biography|website=www-groups.dcs.st-and.ac.uk|accessdate=2016-10-15|archive-date=2009-10-29|archive-url=https://web.archive.org/web/20091029221201/http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Ferrari.html}}</ref>. Проте згодом, цей розв'язок було опубліковано разом із розв'язком кубічного рівняння його наставником [[Джироламо Кардано]] у книзі «[[Ars Magna (Джироламо Кардано)|Ars Magna]]» ([[1545]]).

Розв'язок рівнянь вищих степенів (від п'ятого) у загальному випадку не можна подати в радикалах. Але недоведеність цього факту протягом деякого часу підбурювала вчених шукати такі розв'язки. [[1824]] року було опубліковано [[Абеля-Руффіні теорема|теорему Абеля-Руффіні]], яка доводила неможливість подати корені рівнянь вищих степенів через радикали у загальному випадку<ref>Stewart, Ian, ''Galois Theory, Third Edition'' (Chapman & Hall/CRC Mathematics, [[2004]])</ref>.

== Застосування ==

Поліноми високих степенів часто виникають у проблемах математичних [[Оптимізація|методів оптимізації]], де, зокрема, доводиться розглядати поліноми четвертого степеня, хоча і не дуже часто.

Рівняння четвертого степеня часто виникають у комп'ютерній графіці і при обчисленні [[рей-трейсинг]]у (обтікання променів) проти [[тор (геометрія)|торичних]] поверхонь, а також поверхонь четвертого порядку і [[Лінійчата поверхня|лінійчастих поверхонь]]<ref>[http://www.mandelbrot-dazibao.com/Quartics/Quartics.htm]</ref>.

Іншою типовою задачею, у процесі розв'язання якої виникає рівняння четвертого степеня, є пошук перетину двох еліпсів, заданих неканонічно.

Досить часто виникає потреба розв'язувати рівняння четвертого степеня у задачах, які полягають у пошуку умов стійкості [[динамічні системи|динамічних систем]]. Це пов'язано з тим, що потрібно шукати власні значення [[матриця монодромії|матриць монодромії]] вищезгаданих систем, що у випадку матриць 4 на 4 рівнозначно розв'язанню деякого рівняння четвертого степеня.

Програмна версія стійкого розв'язку рівняння четвертого степеня наведена у Graphics Gems<ref>{{Cite web|url=http://www.acm.org/pubs/tog/GraphicsGems/gems.html#gemsv|title=ACM TOG|website=ACM Transactions on Graphics (TOG)|accessdate=2016-10-15}}</ref>.

== Розв'язання рівняння четвертого степеня ==

=== Окремі випадки ===

==== Нульовий вільний член ====
Якщо <math>\ a_4=0,</math> то один з коренів <math>\ x=0,</math> а інші можна знайти, поділивши все рівняння на <span style="vertical-align:-10%;"><math>x,\quad</math></span> після чого отримавши [[кубічне рівняння]],
: <math>a_0x^3+a_1x^2+a_2x+a_3=0\quad</math>
розв'язати його і знайти решту коренів.

==== Очевидні корені: 1 та −1 ====
Згідно з [[теорема Вієта|теоремою Вієта]], рівняння <math>\ a_0x^4+a_1x^3+a_2x^2+a_3x+a_4=0</math>
* має корінь 1, якщо <math>\ a_0+a_1+a_2+a_3+a_4=0.</math> Поділивши його на <math>\ (x-1)</math>, отримавши [[кубічне рівняння]], продовжити шукати корені.
* має корінь -1, якщо <math>\ a_0-a_1+a_2-a_3+a_4=0.</math> Тоді, його можна поділити на <math>\ (x+1)</math>, і розв'язати кубічне рівняння.

==== Біквадратні рівняння ====
[[Файл:X**4-5*x**2+4.svg|thumb|300px|Графік функції <math>y=x^4-5x^2+4\,\quad</math>. Поліном четвертого степеня, що стоїть у правій частині, є біквадратичним і має симетричні корені: 1 і −1, 2 і −2.]]

Рівняння четвертого степеня, у якому ''a''<sub>3</sub> і ''a''<sub>1</sub> дорівнюють нулю, набуває вигляду:
: <math>\ a_0x^4+a_2x^2+a_4=0</math>

Його називають [[біквадратне рівняння|біквадратним рівнянням]] і застосувавши заміну <math>\ z=x^2</math>, перетворимо його на [[квадратне рівняння]]
: <math>\ a_0z^2+a_2z+a_4=0</math>

яке має корені:
: <math>\ z={{-a_2\pm\sqrt{a_2^2-4a_0a_4}} \over {2a_0}}</math>

Використавши обидва значення змінної ''z'', отримаємо чотири корені x вихідного рівняння:
: <math>\ x_1=+\sqrt{z_1}</math>
: <math>\ x_2=-\sqrt{z_1}</math>
: <math>\ x_3=+\sqrt{z_2}</math>
: <math>\ x_4=-\sqrt{z_2}</math>

Якщо серед знайдених чисел ''z'' є [[від'ємні числа|від'ємні]] або [[комплексні числа]], то деякі з коренів вихідного рівняння будуть комплексними.

==== Квазісиметричні рівняння ====
Загальний вигляд рівняння:

<math>\ x^4+a_1x^3+a_2x^2+a_3x+m^2=0</math>, де <math>\ m = a_3/a_1</math>. Це рівняння можна розв'язати таким способом:

Поділимо обидві частини рівняння на <math>\ x^2</math>, отримаємо

<math>\ x^2+a_1x+a_2+a_3/x+m^2/x^2=0</math>

<math>\ (x^2+m^2/x^2)+a_1(x+m/x)+a_2=0</math>

після цього виконаємо заміну:

<math>\ z=x + m/x.</math>

Отримаємо:

<math>\ z^2+a_1z+(a_2-2m)=0.</math>

Розв'язком цього рівняння є 2 корені <math>\ z_1, z_2.</math>

Корені початкового рівняння можна дістати, розв'язавши рівняння:

<math>\ x^2 - z_1 x+m=0.</math>

та

<math>\ x^2 - z_2 x+m=0.</math>

Квазісиметричні рівняння четвертого степеня задовольняють таким умовам (вони випливають з [[формула Вієта|формули Вієта]]): нехай <math>x_1\quad</math>, <math>x_2\quad</math>, і <math>x_3\quad</math>,<math>x_4\quad</math>&nbsp;— корені рівняння, тоді:
* <math>x_1x_2=m\quad</math>;
* <math>x_3x_4=m\quad</math>;
* <math>x_1x_2x_3x_4=m^2\quad</math>.

=== Загальний випадок, метод Феррарі ===
{{main|Метод Феррарі}}

==== Канонізація рівняння ====
Нехай потрібно розв'язати рівняння четвертого степеня
: <math> A x^4 + B x^3 + C x^2 + D x + E = 0 \qquad\qquad (1')</math>

Спочатку позбавимося члена ''x''<sup>3</sup>. Для цього поділимо обидві частини на ''A'' і зробимо підстановку
: <math> x = u - {B \over 4 A} \quad</math>.

Перепозначивши коефіцієнти при ''u'' отримаємо рівняння
: <math> u^4 + \alpha u^2 + \beta u + \gamma = 0 \qquad\qquad (1)</math>
яке називається '''канонічним рівнянням четвертого степеня'''.

Якщо <math>\beta=0\quad</math>, то ми отримаємо [[біквадратне рівняння]], яке легко розв'язується.

==== Розв'язок Феррарі ====
Замість ''u''<sup>4</sup> виділимо повний квадрат (''u''<sup>2</sup>&nbsp;+&nbsp;α)<sup>2</sup>, отримаємо
: <math> (u^2 + \alpha)^2= \alpha u^2 + \alpha^2 - \beta u - \gamma . \qquad\qquad (2)</math>

Введемо нову змінну ''y'' для утворення повного квадрата у в лівій частині (2), отримаємо
: <math> (u^2 + \alpha + y)^2 = (\alpha + 2 y) u^2 - \beta u + (y^2 + 2 y \alpha + \alpha^2 - \gamma). \qquad\qquad (3)</math>

Виберемо змінну ''y'' так, щоб у правій частині рівності (3) утворився повний квадрат. Це станеться, якщо в правій частині [[дискримінант квадратного рівняння]] відносно u дорівнюватиме нулю:
: <math>\ (-\beta)^2 - 4 (2 y + \alpha) (y^2 + 2 y \alpha + \alpha^2 - \gamma) = 0.</math>
Потрібно розв'язати це рівняння щодо параметра ''y''. Звівши множники, отримаємо [[кубічне рівняння]]:
: <math> y^3 + {5 \over 2} \alpha y^2 + (2 \alpha^2 - \gamma) y + \left( {\alpha^3 \over 2} - {\alpha \gamma \over 2} - {\beta^2 \over 8} \right) = 0. \qquad\qquad (4)</math>

===== Розв'язання похідного кубічного рівняння =====
Рівняння (4) є похідним кубічним рівнянням від рівняння четвертого степеня. Зробивши заміну
: <math> y = v - {5 \over 6} \alpha.</math>

Та перепозначивши його коефіцієнти, отримаємо канонічне кубічне рівняння:
: <math> v^3 + P v + Q = 0. \qquad\qquad (5)</math>

Нас задовольнить будь-який розв'язок рівняння (5).
: Позначимо: <math>U=\sqrt[3]{-{Q\over 2}\pm \sqrt{{Q^{2}\over 4}+{P^{3}\over 27}}}\quad</math>
:: (взято з [[кубічне рівняння]]),
візьмемо такий розв'язок кубічного рівняння (4):
: <math>y = - {5 \over 6} \alpha - {P\over 3U} + U \qquad\qquad (6)</math>

===== Видобування кореня з обох частин і завершення розв'язування =====
Підставивши повний квадрат в праву частину, отримаємо повні квадрати з обох боків:
: <math>(u^2 + \alpha + y)^2 = \left( \left(\sqrt{\alpha + 2 y}\right)u - {\beta \over 2\sqrt{\alpha + 2 y}} \right)^2 \qquad\qquad (7)</math>.
:: Зауваження: Якщо ''β'' ≠ 0 тоді ''α'' + 2''y'' ≠ 0. А якщо ''β'' = 0, то ми отримаємо біквадратне рівняння, що було розглянуте вище.

Отже:
: <math>u^2 + \alpha + y = \pm\left( \left(\sqrt{\alpha + 2 y}\right)u - {\beta \over 2\sqrt{\alpha + 2 y}} \right) \qquad\qquad (7')</math>.
Зведемо подібні доданки при u:
: <math>u^2 + \left(\mp_s \sqrt{\alpha + 2 y}\right)u + \left( \alpha + y \pm_s {\beta \over 2\sqrt{\alpha + 2 y}} \right) = 0 \qquad\qquad (8)</math>.
:: Зауваження: Знаки <math>\ \pm_s, \mp_s</math> є величинами залежними.

Рівняння (8) є [[квадратне рівняння|квадратним рівнянням]] щодо ''u''. Його розв'язок має вигляд
: <math>u={\pm_s\sqrt{\alpha + 2 y} \pm_t \sqrt{-\left(3\alpha + 2y \pm_s {2\beta \over \sqrt{\alpha + 2 y}} \right)} \over 2}.</math>

Розв'язок вихідного рівняння має вигляд:
: <math>x=-{B \over 4A} + {\pm_s\sqrt{\alpha + 2 y} \pm_t \sqrt{-\left(3\alpha + 2y \pm_s {2\beta \over \sqrt{\alpha + 2 y}} \right)} \over 2}. \qquad\qquad (8')</math>
:: Зауваження: Два знаки <math>\ \pm_s</math> отримані з рівняння (7') є залежними, тому є однаковими, а знак <math>\ \pm_t</math>&nbsp;— незалежний від них.

=== Інші методи ===

==== Метод невизначених коефіцієнтів ====

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

Розглянемо інше розв'язання, яке базується на [[Метод невизначених коефіцієнтів|методі невизначених коефіцієнтів]]. Ідея полягає у тому, що потрібно розкласти поліном четвертого степеня у добуток [[квадратне рівняння|квадратичних]] поліномів. Нехай

: <math>
  \begin{array}{lcl}
   0 = x^4 + bx^3 + cx^2 + dx + e & = & (x^2 + px + q)(x^2 + rx + s) \\
   & = & x^4 + (p + r)x^3 + (q + s + pr)x^2 + (ps + qr)x + qs
  \end{array}
 \quad</math>

Прирівняємо коефіцієнти при однакових степенях ''x'':
: <math>
  \begin{array}{lcl}
   b & = & p + r \\
   c & = & q + s + pr \\
   d & = & ps + qr \\
   e & = & qs
  \end{array}
 \quad</math>

Цю систему важче розв'язати, ніж здається, проте якщо почати з [[рівняння четвертого степеня#перетворення до канонічного рівняння четвертого степеня|канонічного рівняння четвертого степеня]], де <math>b = 0\quad</math>, ми отримаємо <math>r = -p\quad</math>, і:
: <math>
  \begin{array}{lcl}
   c + p^2 & = & s + q \\
   d/p & = & s - q \\
   e & = & sq
  \end{array}
 \quad</math>

Тепер можна легко виключити <math>s\quad</math> і <math>q\quad</math>:
: <math>
  \begin{array}{lcl}
   (c + p^2)^2 - (d/p)^2 & = & (s + q)^2 - (s - q)^2 \\
   & = & 4sq \\
   & = & 4e
  \end{array}
 \quad</math>

Якщо ми позначимо <math>P = p^2\quad</math>, то це рівняння перетвориться у [[кубічне рівняння]]:
: <math>P^3 + 2cP^2 + (c^2 - 4e)P - d^2 = 0\,\quad</math>
Нехай ми отримали <math>p\quad</math>, тоді:
: <math>
  \begin{array}{lcl}
  r & = & -p \\
 2s & = & c + p^2 + d/p \\
 2q & = & c + p^2 - d/p
  \end{array}
 \quad</math>

Підставивши отримані параметри p, q, r, s у квадратичні поліноми і розв'язавши їх, ми отримаємо розв'язок вихідного рівняння четвертого степеня. Якщо початкове рівняння було неканонічним, то треба здійснити зворотну заміну.

==== Чисельний (неаналітичний) розв'язок ====

Досить ефективним у розв'язанні рівнянь четвертого степеня є [[метод парабол (математика)|метод парабол]], що знаходить не лише дійсні (на відміну від [[метод бісекцій|методу бісекцій]]), але й комплексні значення коренів, до того ж цей метод без особливих труднощів розв'язує також рівняння з комплексними коефіцієнтами. Розглянемо цей метод.

Нехай заданий поліном <math>f(x)=a_0x^4+a_1x^3+a_2x^2+a_3x+a_4\quad</math>, корені якого треба знайти.

Знайдемо один з цих коренів. Візьмемо три довільні (початкові) точки <math>x_{-1}, x_0, x_1\quad</math> з [[комплексна площина|комплексної площини]], єдина вимога: вони мають бути всі різними, а також різним має бути значення полінома у цих точках (часто беруть точки −1, 0, 1). Розглянемо такі 3 точки: <math>(x_{-1},f(x_{-1})), (x_0,f(x_0)), (x_1,f(x_1))\quad</math>. Оскільки через будь-які 3 точки з різними [[абсциса]]ми можна провести параболу (яка, щоправда, може вироджуватися у пряму), то проведемо цю параболу. Нехай її рівняння має вигляд <math>ax^2+bx+c\quad</math>. Прирівнявши це рівняння до нуля, ми отримаємо корені <math>z_1, z_2\quad</math> (які, взагалі кажучи, є комплексними числами, а тому завжди існують). Візьмемо за <math>x_2\quad</math> те з чисел <math>z_1, z_2\quad</math>, яке найменше відрізняється (за [[модуль|модулем]]) від <math>x_1\quad</math>. Надалі розглядатимемо трійку чисел <math>x_0, x_1, x_2\quad</math>. І так далі. Варто сказати, що послідовність <math>(x_n)\quad</math> досить швидко збігається до одного з коренів: відшукання кореня із точністю у 10 значущих цифр може бути досягнуто за 20 кроків.

Після того, як ми знайшли один з коренів (позначимо його через <math>\overline{x}\quad</math>), слід поділити весь поліном на двочлен <math>x-\overline{x}\quad</math>. Після цього ми отримаємо кубічний поліном, для якого також можна знайти один з коренів методом парабол. Після відповідного ділення ми отримаємо квадратичний поліном, після розв'язання якого ми отримаємо решту коренів початкового рівняння.

Внаслідок універсальності цього методу, його можна застосовувати не тільки для розв'язання рівнянь четвертого степеня, а й для рівнянь вищих степенів.

== Див. також ==

* [[Біквадратне рівняння]]
* [[Четвертий степінь]]
* [[Поліном]]
* [[Дискримінант]]
* [[Лодовіко Феррарі]]
* [[Джироламо Кардано]]

== Примітки ==
{{примітки}}

== Джерела ==
* [http://members.tripod.com/l_ferrari/quartic_equation.htm This is what Ferrari is recognized to have achieved] {{ref-en}}
* {{MathWorld|urlname=QuarticEquation}}
* {{PlanetMath|urlname=QuarticFormula}}

{{Поліноміальні рівняння (список)}}
{{Криві}}
{{Добра стаття}}
[[Категорія:Многочлени]]
[[Категорія:Елементарна математика]]
[[Категорія:Рівняння]]