Funcție algebrică de gradul al patrulea
În algebră, o funcție de gradul al patrulea este o funcție algebrică de forma
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:
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 care prin schimbarea de variabilă poate fi redusă la funcția de gradul al doilea
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
modificareDescoperirea 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
modificareNatura rădăcinilor
modificareFiind dată ecuația de gradul al patrulea
cu coeficienți reali și a ≠ 0, natura rădăcinilor sale este determinată în principal de semnul discriminantului său:
Acest lucru poate fi rafinat luând în considerare semnele altor patru polinoame:
astfel încât este coeficientul de gradul al doilea al ecuației de gradul al treilea asociate;
astfel încât este coeficientul de gradul întâi al ecuației de gradul al treilea asociate;
care este 0 dacă ecuația de gradul al patrulea are o rădăcină triplă; și
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 ≠ 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 .
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 deci combinația nu este posibilă.
Formula generală a soluției
modificareCele patru rădăcini x1, x2, x3 și x4 ale ecuației de gradul al patrulea
cu a ≠ 0 sunt date de următoarea formulă, care este dedusă din metoda Ferrari prin schimbarea înapoi a variabilelor:
unde p și q sunt coeficienții de gradul al doilea și respectiv întâi în ecuația de gradul al treilea asociată
și unde
(dacă S = 0 sau Q = 0 apar cazuri particulare)
cu
și
- unde 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
modificare- ^ 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 () [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. (). „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. (). „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
modificare- 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ă
modificare- en Carpenter, W. (). „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.