Funcție algebrică de gradul al patrulea

În algebră, o funcție de gradul al patrulea este o funcție algebrică de forma

Graficul unui polinom de gradul al 4-lea, cu 3 puncte critice și 4 rădăcini reale (intersecții cu axa x) (ca urmare nu există rădăcini complexe). Dacă unul sau altul dintre minimele locale se aflau deasupra axei x sau dacă maximul local se afla sub aceasta, sau dacă nu existau un maxim local și un minim sub axa x, ar exista doar 2 rădăcini reale (și două rădăcini complexe). Dacă toate cele 3 extreme locale ar fi deasupra axei x sau dacă nu ar exista un maxim local și un minim deasupra axei x, nu ar exista nicio rădăcină reală (ci 4 rădăcini complexe). Același raționament se aplică invers polinomului cu un coeficient al termenului la puterea a patra negativ.

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

unde a nu este zero, definită de un polinom de gradul patru. Coeficienții $a, b, c, d, e$ pot fi numere raționale, reale, complexe, sau din orice alt domeniu al matematicii.

O ecuație de gradul al patrulea^[1] este o ecuație care egalează un polinom de gradul patru cu zero:

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

unde a ≠ 0.^[2] Derivata unei funcții algebrice de gradul al patrulea este o funcție algebrică de gradul al treilea.

Termenul de funcție bipătratică^[3] se referă la o funcție de gradul al patrulea la care termenii la puterile impare lipsesc, adică de forma $f(x)=ax^{4}+cx^{2}+e,$ care prin schimbarea de variabilă $y=x^{2}$ poate fi redusă la funcția de gradul al doilea $f(y)=ay^{2}+cy+e.$

Deoarece o funcție de gradul al patrulea este definită de un polinom de grad par, are aceeași limită infinită atunci când argumentul tinde la infinitul pozitiv sau negativ. Dacă a este pozitiv, atunci funcția crește la infinit la ambele capete; și astfel funcția are un minim global. La fel, dacă a este negativ, ea scade la infinit și are un maxim global. În ambele cazuri poate avea sau nu un alt maxim local și un alt minim local.

Gradul patru este cel mai mare grad pentru care o ecuație polinomială mai poate fi rezolvată în general prin radicali.

Istoric

Descoperirea metodei de rezolvare a unei ecuații de gradul al patrulea este atribuită lui Lodovico Ferrari în 1540, dar, din moment ce această metodă necesita rezolvarea în prealabil a unei ecuații de gradul al treilea, metodă necunoscută la acea dată, nu a putut fi publicată imediat.^[4] Soluția rezolvării ecuației de gradul al patrulea a fost publicată împreună cu cea a celei de gradul al treilea de către mentorul lui Ferrari, Girolamo Cardano în cartea Ars Magna.^[5]

Demonstrația că patru este cel mai înalt grad al unui polinom pentru care se pot calcula soluții în general a fost dată pentru prima dată în teorema Abel–Ruffini în 1824, demonstrând că toate încercările de a rezolva polinoamele de ordin superior ar fi inutile. Însemnările lăsate de Évariste Galois înainte de a muri într-un duel în 1832 au dus mai târziu la o teorie completă a rădăcinilor polinoamelor, din care a rezultat această teoremă.^[6]

Soluția

Natura rădăcinilor

Fiind dată ecuația de gradul al patrulea

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

cu coeficienți reali și $a \neq 0$ , natura rădăcinilor sale este determinată în principal de semnul discriminantului său:

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

Acest lucru poate fi rafinat luând în considerare semnele altor patru polinoame:

P=8ac-3b^{2}

astfel încât ${\frac {P}{8a^{2}}}$ este coeficientul de gradul al doilea al ecuației de gradul al treilea asociate;

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

astfel încât ${\frac {R}{8a^{3}}}$ este coeficientul de gradul întâi al ecuației de gradul al treilea asociate;

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

care este 0 dacă ecuația de gradul al patrulea are o rădăcină triplă; și

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

care este 0 dacă ecuația de gradul al patrulea are două rădăcini duble.

Cazurile posibile pentru natura rădăcinilor sunt următoarele:^[7]

Dacă $∆ < 0$ atunci există două rădăcini reale distincte și două rădăcini complexe conjugate.
Dacă ∆ > 0 atunci sau toate cele patru rădăcini ale ecuației sunt reale, sau niciuna.
- Dacă $P$ < 0 and $D$ < 0 atunci toate cele patru rădăcini ale ecuației sunt reale și distincte.
- Dacă $P$ > 0 or $D$ > 0 atunci există două perechi de rădăcini complexe conjugate.^[8]
Dacă ∆ = 0 atunci (și doar atunci) polinomul are rădăcini multiple. Cazurile posibile sunt:
- Dacă $P$ < 0 și $D$ < 0 și $∆ 0 \neq 0$ , există o rădăcină dublă reală și două rădăcini simple reale.
- Dacă $D$ > 0 sau ( $P$ > 0 și ( $D$ ≠ 0 sau $R$ ≠ 0)), există o rădăcină dublă reală și două rădăcini complexe conjugate.
- Dacă $∆ 0 = 0$ and $D$ ≠ 0, există o rădăcină triplă și o rădăcină simplă, toate reale.
- Dacă D = 0, atunci:
  - Dacă $P$ < 0, există două rădăcini duble reale.
  - Dacă $P$ > 0 and $R$ = 0, există două rădăcini duble complexe conjugate.
  - Dacă $∆ 0 = 0$ , toate patru rădăcunile sunt egale cu $-{\frac {b}{4a}}$ .

Există unele cazuri care nu par a fi acoperite, dar nu pot apărea. De exemplu, $∆ 0 > 0$ , $P$ = 0 și $D$ ≤ 0 nu este unul din cazuri. De fapt, dacă $∆ 0 > 0$ și $P$ = 0 atunci $D$ > 0, deoarece $16a^{2}\Delta _{0}=3D+P^{2};$ deci combinația nu este posibilă.

Formula generală a soluției

Cele patru rădăcini $x 1$ , $x 2$ , $x 3$ și $x 4$ ale ecuației de gradul al patrulea

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

cu $a$ ≠ 0 sunt date de următoarea formulă, care este dedusă din metoda Ferrari prin schimbarea înapoi a variabilelor:

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

unde $p$ și $q$ sunt coeficienții de gradul al doilea și respectiv întâi în ecuația de gradul al treilea asociată

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

și unde

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

(dacă $S = 0$ sau $Q = 0$ apar cazuri particulare)

cu

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

și

\Delta _{1}^{2}-4\Delta _{0}^{3}=-27\Delta \ ,

unde

\Delta

este discriminantul menționat mai sus. Pentru expresiile rădăcinilor cubice ale Q, se poate folosi oricare dintre cele trei rădăcini cubice din planul complex, deși dacă una dintre ele este reală, aceasta este cea mai naturală și cea mai simplă alegere. Expresiile matematice ale acestor ultimi patru termeni sunt foarte asemănătoare cu cele ale omologilor din ecuația de gradul al treilea.

Note

^ Răileanu, Dicționar…, p. 110
^ en Eric W. Weisstein, Quartic Equation la MathWorld.
^ Răileanu, Dicționar…, p. 109
^ en O'Connor, John J.; Robertson, Edmund F., „Lodovico Ferrari”, MacTutor History of Mathematics archive, University of St Andrews .
^ en Cardano, Gerolamo (1993) [1545], Ars magna or The Rules of Algebra , Dover, ISBN 0-486-67811-3
^ Stewart, Ian, Galois Theory, Third Edition (Chapman & Hall/CRC Mathematics, 2004)
^ en Rees, E. L. (1922). „Graphical Discussion of the Roots of a Quartic Equation”. The American Mathematical Monthly. 29 (2): 51–55. doi:10.2307/2972804. JSTOR 2972804.
^ en Lazard, D. (1988). „Quantifier elimination: Optimal solution for two classical examples”. Journal of Symbolic Computation. 5 (1–2): 261–266. doi:10.1016/S0747-7171(88)80015-4.

Bibliografie

Brândușa Răileanu, Dicționar român–englez de termeni matematici și tehnici, București: Ed. MTTLC, 2016, ISBN: 978-606-760-040-7

Lectură suplimentară

en Carpenter, W. (1966). „On the solution of the real quartic”. Mathematics Magazine. 39 (1): 28–30. doi:10.2307/2688990. JSTOR 2688990.
en Yacoub,M.D.; Fraidenraich, G. (iulie 2012). „A solution to the quartic equation”. Mathematical Gazette. 96: 271–275. doi:10.1017/s002555720000454x.

Legături externe

Portal Matematică

en Quartic formula as four single equations la PlanetMath
en Ferrari's achievement

[1] Răileanu, Dicționar…, p. 110

[2] Eric W. Weisstein, Quartic Equation la MathWorld.

[3] Răileanu, Dicționar…, p. 109

[4] O'Connor, John J.; Robertson, Edmund F., „Lodovico Ferrari”, MacTutor History of Mathematics archive, University of St Andrews .

[5] Cardano, Gerolamo (1993) [1545], Ars magna or The Rules of Algebra , Dover, ISBN 0-486-67811-3

[6] Stewart, Ian, Galois Theory, Third Edition (Chapman & Hall/CRC Mathematics, 2004)

[7] Rees, E. L. (1922). „Graphical Discussion of the Roots of a Quartic Equation”. The American Mathematical Monthly. 29 (2): 51–55. doi:10.2307/2972804. JSTOR 2972804.

[8] Lazard, D. (1988). „Quantifier elimination: Optimal solution for two classical examples”. Journal of Symbolic Computation. 5 (1–2): 261–266. doi:10.1016/S0747-7171(88)80015-4.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]