Izvorni kôd stranice Funkcija četvrtog stepena

{{dobar članak}}
[[Datoteka:Polynomialdeg4.svg|thumb|right|233px|Grafik polinoma četvrtog stepena, sa 3 kritične tačke.]]
U [[matematika|matematici]], '''funkcija četvrtog stepena''' (četverostepena funkcija) je matematička [[Funkcija (matematika)|funkcija]] u obliku:
:<math>f(x)=ax^4+bx^3+cx^2+dx+e,</math>
gdje je {{nowrap|''a'' ≠ 0}} <br>što je definisano četvrtim stepenom [[polinom]]a, koji se zove '''četverostepeni polinom'''.

Ponekad pojam '''bikvadratna''' se koristi umjesto ''četverostepena''. Međutim, često se pd pojmom '''bikvadratna funkcija''' podrazumijeva kvadratna funkcija kvadrata kao i funkcija definisana četverostepenim polinomom bez uslova neparnog stepena, koja ima oblik:
:<math>f(x)=ax^4+cx^2+e.</math>

'''Četverostepena jednačina''', ili jednačina četvrtog stepena, je polinom četvrtog stepena koji je jednak [[Nula|nuli]], sa oblikom:
:<math>ax^4+bx^3+cx^2+dx+e=0,</math>
gdje je {{nowrap|''a'' ≠ 0}}.

Izvod četverostepene funkcije je kubna (trostepena) funkcija, tj.:

<math>f'(x)=y'=4ax^3+3bx^2+2cx+d.</math>

Pošto je četverostepena funkcija definisana polinomom jednakog stepena, ima [[limes]] jednak beskonačnosti kada argument ide u pozitivnu ili negativnu beskonačnost. Ako je:
: {{nowrap|'''a > 0'''}} - funkcija raste u pozitivnu beskonačnost na oba kraja; te funkcija ima globalni minimum.  
: {{nowrap|'''a < 0'''}} - funkcija opada u negativnu beskonačnost i ima globalni maksimum.

U oba slučaja može imati, ali ne uvijek, još jedan lokalni maksimum i još jedan lokalni minimum.

Četvrti stepen (''četverostepeni'' slučaj) je najveći stepen tako da se svaka polinomska jednačina može riješiti korijenima.

==Historija==
[[Lodovico Ferrari|Lodovicu Ferrariju]] je 1540. godine priznata zasluga za otkriće rješenja za četverostepenu jednačinu. 
Međutim, od ovog rješenja kao i svih [[Algebra|algebarskih]] rješenja četverostepene jednačine, potrebno je i da rješenja [[Kubna jednačina|kubne jednačine]] budu nađena, ali to nije bilo moguće objaviti istovremeno.<ref>{{MacTutor|id=Ferrari|title=Lodovico Ferrari}}</ref> Rješenje četverostepene jednačine je objavljeno zajedno sa rješenjem kubne jednačine od strane Ferrarijevog mentora italijanskog [[polimat]]a [[Girolamo Cardano|Girolama Cardana]] u knjizi ''[[Ars Magna (Girolamo Cardano)|Ars Magna]]'' (bos. Velika umjetnost) objavljenoj (1545).

[[Sovjetski savez|Sovjetski]] historičar [[Ivan Jakovljevič Depman]] je tvrdio da je nešto ranije, 1486. godine [[Španija|španski]] matematičar [[Paolo Valmes]] bio spaljen na lomači zbog tvrdnje da je riješio četverostepenu jednačinu.<ref>{{citation|last=Depman|title=Rasskazy o matematike|publisher=Gosdetizdat|year=1954|place=Leningrad|language=Russian}}</ref> Veliki inkvizitor [[Tomás de Torquemada]] navodno je rekao Valmesu da je [[Bog|božija]] volja da takvo rješenje bude nedostupno ljudskom [[razum]]u.<ref>{{cite book |author=P. Beckmann |title=A history of π |publisher=Macmillan |year=1971 |page=80 |url=http://books.google.com/books?id=TB6jzz3ZDTEC&pg=PA80}}</ref> Ipak Beckmann, koji je popularizirao ovu priču Depmana na zapadu, rekao je da je bilo nepouzdano i nagovijestio da je to možda bilo izmišljeno kao Sovjetska protivreligijska propaganda.<ref>{{cite book |author=P. Beckmann |title=A history of π |publisher=Macmillan |year=1971 |page=191 |url=http://books.google.com/books?id=TB6jzz3ZDTEC&pg=PA80}}</ref> Beckmannova verzija ove priče je bila naširoko kopirana u nekoliko knjiga i web-sajtova, često bez njegovih ograđivanja i ponekad sa maštovitim ukrasima. Nekoliko pokušaja da se nađe potkrepljujući dokaz za ovu priču, ili čak za postojanje Valmesa, je bilo neuspješno.<ref>{{cite journal|author=P. Zoll | title=Letter to the Editor |url=https://archive.org/details/sim_american-mathematical-monthly_1989-10_96_8/page/709 |journal=American Mathematical Monthly |volume=96 |issue=8 |year=1989 |pages=709–710 |jstor=2324719}}</ref>

Dokaz da je četiri najveći stepen općeg polinoma za koje se mogu naći rješenja može biti nađeno je prvi put dato u [[Abel–Ruffini theorem|Abel–Ruffinijevoj teoremi]] iz 1824. godine. Sa ovom teoremom je dokazano da su svi pokušaji pri rješavanju polinoma višeg reda uzaludni. Napomene ostavljene od strane [[Évariste Galois]]a prije smrti nakon dvoboja iz 1832. kasnije su vodili ka elegantnoj kompletnoj teoriji korijena polinoma, od kojih je ova teorema bila samo jedan rezultat.<ref>Stewart, Ian, ''Galois Theory, Third Edition'' (Chapman & Hall/CRC Mathematics, 2004)</ref>

== Primjena ==
Polinomi visokog stepena se često javljaju u problemima koji uključuju [[Optimizacija (matematika)|optimizaciju]] i ponekad se desi da su ovi polinomi četverostepeni, ali ovo je slučajnost.

Četverostepene funkcije se često javljaju u [[Računarska grafika|računarskoj grafici]], kao kod primjera pri računanju križanja dvije [[Konus|konične]] sekcije. Drugi primjer je zračno-praćenje prema kvartičnoj površini kao što je [[torus]].

U [[Common Information Model]]-u ([[Bosanski jezik|bos]]. Zajedničkom informacionom modelu), Torus je čest oblik povezan sa "endmill" rezačem. Za proračun njegove lokacije u odnosu na trostranu površinu, mjesto horizontalnog torusa na Z-osi mora se nalaziti gdje je tangenta u odnosu prema nepokretnoj liniji. Sve ovo zahtijeva rješenje opće kvartične jednačine za proračunavanje. Preko 10% računarskog vremena u sistemu [[Računarska podrška u proizvodnji|Računarske podrške u proizvodnji]] (CAM) može biti korišteno samo za računanje rješenja za milione četverostepenih jednačina.

==Rješavanje četverostepene jednačine==

===Priroda korijena===
Za datu standardnu četverostepenu jednačinu
:<math>ax^4 + bx^3 + cx^2 + dx + e = 0</math>
sa realnim koeficijentima i <math>a \ne 0,</math> priroda njenih korijena je uglavnom određena znakom njene diskriminante: 
:<math>\begin{align} 
\Delta\ =\ &256 a^3 e^3 - 192 a^2 b d e^2 - 128 a^2 c^2 e^2 + 144 a^2 c d^2 e - 27 a^2 d^4 \\ 
&+ 144 a b^2 c e^2 - 6 a b^2 d^2 e - 80 a b c^2 d e + 18 a b c d^3 + 16 a c^4 e \\
&- 4 a c^3 d^2 - 27 b^4 e^2 + 18 b^3 c d e - 4 b^3 d^3 - 4 b^2 c^3 e + b^2 c^2 d^2
\end{align} </math> 
Ovo može biti dotjerano s obzirom na znakove tri ostala polinoma:
:<math>P = 8ac - 3b^2</math>
tako da je <math>\tfrac{P}{8a^2}</math> dvostepeni koeficijent povezanih deprimiranih četverostepenih funkcija (pogledati [[#Pretvorba u deprimirane četverostepene funkcije|ispod]]);
:<math>\Delta_0 = c^2 - 3bd + 12ae</math>
što je jednako 0 ako četverostepena funkcija ima trostruki korijen; i:
:<math>D = 64 a^3 e - 16 a^2 c^2 + 16 a b^2 c - 16 a^2 bd - 3 b^4</math>
što je jednako 0 ako četverostepena funkcija ima dva [[Kvadratni korijen|kvadratna korijena]].

Mogući slučajevi za prirodu korijena su prema slijedećem:<ref>{{cite journal|first= E. L.|last=Rees|title=Graphical Discussion of the Roots of a Quartic Equation|journal = The American Mathematical Monthly|volume=29|issue=2|year=1922|pages=51–55|url=http://www.jstor.org/stable/2972804|doi=10.2307/2972804}}</ref>

* Ako je <math>\Delta < 0</math>  tada jednačina ima dva [[Realan broj|realna]] korijena i dva [[Konjugovano kompleksan broj|konjugovano kompleksna]] korijena.
* Ako je <math>\Delta > 0</math>  tada su četiri korijena jednačine svi realni ili svi kompleksni.
** Ako je ''P'' < 0 i ''D'' < 0 tada su sva četiri korijena realna i različita.
** Ako je ''P'' > 0 ili ''D'' > 0 postoje dva para konjugovano kompleksnih korijena.<ref>{{cite doi|10.1016/S0747-7171(88)80015-4|noedit}}</ref>
* Ako je <math>\Delta = 0</math>  tada ili polinom ima višestruki korijen, ili je kvadrat kvadratne jednačine. Postoji nekoliko različitih slučajeva koji se mogu pojaviti:
** Ako je ''P'' < 0 i ''D'' < 0 i <math>\scriptstyle \Delta_0</math> ≠ 0, postoji realni dupli korijen i dva realna jednostavna korijena.
** Ako je (''P'' > 0 i ''D'' ≠ 0) or ''P'' > 0, postoji realni dupli korijen i dva konjugovano kompleksna korijena.
** Ako je <math>\scriptstyle \Delta_0</math> = 0 i ''D'' ≠ 0, postoji trostruki korijen i jednostavni korijen, svi realni.
** Ako je ''D'' = 0, onda:
***Ako je ''P'' < 0, postoje dva realna dupla korijena.
***Ako je ''P'' > 0, postoje dva konjugovano kompleksna dupla korijena.
***Ako je<math>\scriptstyle \Delta_0</math> = 0, sva četiri korijena su jednaka <math>-\tfrac{b}{4a}</math>.

Postoji nekoliko slučajeva koji nisu prikazani, ali se mogu pojaviti. Naprimjer <math>\scriptstyle \Delta</math> > 0, ''P'' = 0 i ''D'' ≤ 0 nije jedan od slučajeva. Ipak ako je <math>\scriptstyle \Delta</math> > 0 i ''P'' = 0, onda ''D'' > 0 tako da ova kombinacija nije moguća.

===Opće (generalne) formule za korijene===
[[Datoteka:Quartic Formula.svg|thumb|600px|Kvartična formula zapisana u punom obliku. Ova formula je previše nezgrapna za opću upotrebu, stoga druge metode ili jednostavnije formule se uglavnom koriste.<ref>http://planetmath.org/QuarticFormula, PlanetMath, quartic formula, 21st October 2012</ref>]]

Četiri korijena (<math>x_1, x_2, x_3, x_4</math>) za opću četverostepenu jednačinu:
:<math>ax^4+bx^3+cx^2+dx+e=0 \,</math>
sa ''a'' ≠ 0 datim u slijedećoj formuli, koja je izvedena iz jedne formule u odjeljku [[Korisnik:Munjanes/Pijesak#Rješavanje faktoriranjem u kvadratike|Rješavanje faktoriranjem u kvadratike]] sa smjenom varijabli (pogledati [[#Pretvorba u deprimirane četverostepene funkcije]]) i korištenjem formula za kvadratne i kubne jednačine.
:<math>\begin{align}
x_{1,2}\ &= -\frac{b}{4a} - S \pm \frac12\sqrt{-4S^2 - 2p + \frac{q}{S}}\\
x_{3,4}\ &= -\frac{b}{4a} + S \pm \frac12\sqrt{-4S^2 - 2p - \frac{q}{S}}
\end{align}</math>

gdje su ''p'' i ''q'' koeficijenti drugog i prvog stepena respektivno u pridružene deprimirane četverostepene jednačine.
:<math>\begin{align}
p &= \frac{8ac-3b^2}{8a^2}\\
q &= \frac{b^3 - 4abc + 8a^2d}{8a^3} 
\end{align}</math>
i gdje je:
:<math>\begin{align}
S &= \frac{1}{2}\sqrt{-\frac23\ p+\frac{1}{3a}\left(Q + \frac{\Delta_0}{Q}\right)} \quad\qquad\ &\text{(if } S= 0 \text{, pogledati Specijalne slučajeve formule, ispod)}\\
Q\ &=\ \sqrt[3]{\frac{\Delta_1 + \sqrt{\Delta_1^2 - 4\Delta_0^3}}{2}} &\text{(if } Q= 0 \text{, pogledati Specijalne slučajeve formule, ispod)}
\end{align}</math> 
sa:
:<math>\begin{align}
\Delta_0 &= c^2 - 3bd + 12ae\\
\Delta_1 &= 2c^3 - 9bcd + 27b^2 e + 27ad^2 - 72ace
\end{align}</math>
i:
:<math>\Delta_1^2-4\Delta_0^3 = - 27 \Delta\,</math> gdje je <math>\Delta</math> ranije spomenuta ''diskriminanta''. Matematički izrazi ova zadnja četiri termina su veoma slični sa onima od njihovih kubnih partnera.

====Specijalni slučajevi formule====

Ako je <math>\Delta > 0,</math> korištenje <math>Q</math> može se dokazati nepogodnim, pošto je vrijednost iste sada kompleksni broj. Ipak, ako su sva četiri korijena realna, vrijednost <math>S</math> je također realna, i bilo bi jednostavnije prikazati ga uz pomoć [[Trigonometrijska funkcija|trigonometrijskih funkcija]], kako slijedi:
:<math>S = \frac{1}{2}\sqrt{-\frac23\ p+\frac{2}{3a}\sqrt{\Delta_0}\cos\frac{\phi}{3}}</math>
gdje je:
:<math>\phi = \arccos\left(\frac{\Delta_1}{2\sqrt{\Delta_0^3}}\right).</math>

Ako je <math>\Delta \neq 0</math> i <math>\Delta_0 = 0,</math> znak od <math>\sqrt{\Delta_1^2 - 4 \Delta_0^3}=\sqrt{\Delta_1^2} </math>  mora biti odabran da ima <math>Q \neq 0,</math> što znači da treba definirati <math>\sqrt{\Delta_1^2}</math> kao <math>\Delta_1,</math> ostavljajući znak od <math>\Delta_1.</math>

Ako je <math>S = 0,</math> onda se mora izmijeniti izbor kubnog korijena u <math>Q</math> zbog <math>S \neq 0.</math> Ovo je uvijek moguće osim ako se 4-stepena jednačina može faktorizirati u <math>\left(x+\tfrac{b}{4a}\right)^4.</math> Rezultat je onda tačan, ali dovodi u zabludu skrivajući činjenicu da kubni korijen nije potreban u ovom slučaju. Ustvari, ovaj slučaj se može pojaviti samo ako je numerator od <math>q</math> jednak nuli, i povezana deprimirana funkcija bikvadratna; to ipak može biti riješeno po metodi opisanoj [[#Bikvadratne jednačine|ispod]].

Ako su <math>\Delta = 0</math> i <math>\Delta_0 = 0,</math> a time i <math>\Delta_1 = 0,</math> najmanje tri korijena su jednaka, i korijeni su racionalne[[rational function| ]]<nowiki/>funkcije koeficijenata.

Ako su <math>\Delta=0</math> i <math> \Delta_0 \neq 0,</math> izraz iznad za korijene je tačan ali zbunjujući, skrivajući činjenicu da je [[Reducibilni polinom|polinom reducibilan]] i nije potreban kubni korijen da predstavi korijene.

===Jednostavniji slučajevi===

====Reducibilne četverostepene funkcije====
Uzimajući u obzir opće četverostepene funkcije:
:<math>Q(x) = a_4x^4+a_3x^3+a_2x^2+a_1x+a_0.</math>
Reducibilno je ako je ''Q''=''RS'', gdje su ''R'' i ''S'' nekonstantni polinomi sa [[Racionalni polinomski koeficijent|racionalnim koeficijentima]] (ili općenitije sa koeficijentima u istom polju kao koeficijenti od ''Q''). Postoje dva načina pisanja poput faktorizacije: Ili:
:<math>Q(x) = (x-x_1)(b_3x^3+b_2x^2+b_1x+b_0)</math>
ili:
:<math>Q(x) = (c_2x^2+c_1x+c_0)(d_2x^2+d_1x+d_0).</math>
U oba slučaja, korijeni od ''Q'' su korijeni faktora, koji mogu biti izračunati rješavanjem kvadratnih ili kubnih jednačina.

Pronalaženje takvih faktorizacija može biti obavljeno korištenjem ''factor'' funkcije na svakom računarskom algebarskom sistemu. Ali, u više slučajeva, može biti obavljeno ručnim računanjem. U prethodnoj sekciji, moguće je vidjeti da je polinom uvijek reducibilan ako je njegova diskriminanta <math>\Delta</math> jednaka nuli (ovo je istinito za polinome svakog stepena).

Veoma poseban slučaj prvog slučaja faktorizacije je kada je ''a''<sub>0</sub>=0. Ovo implicira da je ''x''<sub>1</sub>=0 prvi korijen, ''b''<sub>3</sub>=''a<sub>4</sub>, ''b''<sub>2</sub>=''a<sub>3</sub>, ''b''<sub>1</sub>=''a<sub>2</sub>, ''b''<sub>0</sub>=''a<sub>1</sub>, a ostali korijeni mogu biti izračunati rješavanjem kubne jednačine.

Ako je <math>a_4+a_3+a_2+a_1+a_0=0,</math> onda <math>Q(1)=0</math> i ima se faktorizacija prve vrste sa ''x''<sub>1</sub>=1. Jednako, ako <math>a_4-a_3+a_2-a_1+a_0=0,</math> onda <math>Q(-1)=0</math> i ima se faktorizacija prve vrste sa ''x''<sub>1</sub>=-1.

Jednom kada je korijen ''x''<sub>1</sub> poznat, drugi faktor faktorizacije prve vrste je kvocijent Euklidove divizije od ''Q'' sa ''x''-''x''<sub>1</sub>. To je:
:<math>a_4x^3+(a_4x_1+a_3)x^2+(a_4x_1^2+a_3x_1+a_2)x+a_4x_1^3+a_3x_1^2+a_2x_1+a_1.</math>

Ako su <math>a_0, a_1, a_2, a_3, a_4</math> mali cijeli brojevi, faktorizacija prve vrste je lahka za pronaći: ako <math>x_1=\frac{p}{q}\,</math> sa ''p'' i ''q'' koprimiranim cijelim brojevima, onda ''q'' dijeli podjednako ''a''<sub>4</sub>, i ''p'' dijeli podjednako ''a''<sub>0</sub>. Tako, računanje <math>Q\left(\frac{p}{q}\right)</math> za sve moguće vrijednosti ''p'' i ''q'' dopušta nalaženje racionalnih korijena, ako postoje.

U slučaju dva kvadratična faktora ili koeficijenta velikog cijelog broja, faktorizacija je teža za izračunati, i općenito, bolje je koristiti ''factor'' funkciju na računarskom algebarskom sistemu.

====Bikvadratne jednačine====
Ako je <math>a_3=a_1=0,\,</math> onda '''bikvadratna funkcija'''
<!--The \,\! below is to format this as PNG instead of HTML. Please do not remove it-->
:<math>
Q(x) = a_4x^4+a_2x^2+a_0\,\!
</math>
definira '''bikvadratnu jednačinu''', koja je lahka za rješavanje.

Pustimo <math>z=x^2.\,</math> Tada ''Q'' postaje kvadratik ''q'' u <math>z,\,</math>
:<math>
q(z) = a_4z^2+a_2z+a_0.\,\!
</math>
Pustimo <math>z_+\,</math> i <math>z_-\,</math> da budu korijeni od ''q''. Tada su korijeni od naše četverostepene funkcije ''Q'':
:<math>
\begin{align}
x_1&=+\sqrt{z_+},
\\
x_2&=-\sqrt{z_+},
\\
x_3&=+\sqrt{z_-},
\\
x_4&=-\sqrt{z_-}.
\end{align}
</math>

==== Kvazisimetrične jednačine ====
: <math>a_0x^4+a_1x^3+a_2x^2+a_1 m x+a_0 m^2=0 \,</math>

Koraci:
# Podijeliti sa ''x''<sup> 2</sup>.
# Koristiti smjenu varijabli: ''z'' = ''x'' + ''m''/''x''.

===Pretvorba u deprimirane četverostepene===
U svrhu rješavanja, generalno je bolje pretvoriti četverostepenu funkciju u ''deprimiranu četverostepenu funkciju'' slijeđenjem jednostavne smjene varijabli. Sve formule su jednostavnije i neke metode rade samo u ovom slučaju. Korijeni originalne četverostepene funkcije se jednostavno vraćaju od deprimirane četverostepene funkcije povratnom smjenom varijabli.

Pustimo da
:<math> a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 \qquad\qquad(1')</math>
bude opća četverostepena jednačina koja se treba riješiti.

Dijeljenje sa ''a''<sub>4</sub> daje ekvivalentnu jednačinu
:<math> x^4 + a x^3 + b x^2 + c x + d = 0, </math>
sa:
:<math>a=\frac{a_3}{a_4},\quad b=\frac{a_2}{a_4},\quad c=\frac{a_1}{a_4},\quad d=\frac{a_0}{a_4}.</math>
Smjenom ''x'' sa <math>y-\frac{a_3}{4a_4}</math> daje, nakon jednostavne regrupacije, jednačinu:
:<math>y^4+py^2+qy+r=0,</math>
gdje je:
:<math>\begin{align}
p=&\frac{8b-3a^2}{8} &=&\frac{8a_2a_4-3a_3^2}{8a_4^2}\\
q=&\frac{a^3-4ab+8c}{8} &=&\frac{a_3^3-4a_2a_3a_4+8a_1a_4^2}{8a_4^3}\\
r=&\frac{-3a^4+256d-64ca+16a^2b}{256}&=&\frac{-3a_3^4+256a_0a_4^3-64a_1a_3a_4^2+16a_2a_3^2a_4}{256a_4^4}
\end{align}
</math>

Ako su ''y''<sub>1</sub>, ''y''<sub>2</sub>, ''y''<sub>3</sub>, ''y''<sub>4</sub> korijeni ove ''deprimirane četverostepene jednačine'', onda korijeni od originalne jednačine su:<math>y_1-\frac{a}{4}=y_1-\frac{a_3}{4a_4},\; y_2-\frac{a}{4}=y_2-\frac{a_3}{4a_4},\;y_3-\frac{a}{4}=y_3-\frac{a_3}{4a_4},\;y_4-\frac{a}{4}=y_4-\frac{a_3}{4a_4}.</math>

===Ferrarijevo rješenje===

Kako je objašnjeno u prethodnoj sekciji, počinjemo sa ''deprimiranom četverostepenom jednačinom:''
:<math> u^4 + \alpha u^2 + \beta u + \gamma = 0. \qquad \qquad (1) </math>

Ova deprimirana jednačina može biti riješena u smislu metode otkrivene od strane [[Lodovico Ferrari]]. deprimirana jednačina može biti ponovo napisana (ovo se lahko provjerava proširivanjem kvadrata i pregrupisanjem svih faktora na lijevoj strani):
:<math> (u^2 + \alpha)^2 = \alpha u^2 + \alpha^2- \beta u - \gamma. \qquad \qquad (2) </math>

Onda, predstavlja se varijabla ''y'' u faktoru na lijevoj strani dodavanjem <math> 2u^2y+2\alpha y + y^2 </math> na obje strane. Nakon pregrupisavanja koeficijenata od vrijednosti ''u'' na desnoj strani, ovo daje jednačinu: 
:<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>
što je ekvivalentno originalnoj jednačini, bilo koja vrijednost da je data za ''y''.

Kako vrijednost ''y'' može biti proizvoljno izabrana, bira se s ciljem da se dobije savršen kvadrat na desnoj strani. Ovo implicira da je diskriminanta od ''u'' ove četverostepene jednačine jednaka nuli, tj. ''y'' je korijen jednačine:
:<math> (-\beta)^2 - 4 (2 y + \alpha) (y^2 + 2 y \alpha + \alpha^2 - \gamma) = 0.\,</math>
koja se može napisati i kao:
:<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>
Vrijednost od ''y'' može tako biti dobijena iz formula prikazanih u članku [[Kubna jednačina]].

Kada je ''y'' korijen jednačine (4), jednačina na desnoj strani (3) je korijen od:
:<math>\left(u\sqrt{\alpha + 2 y}-\frac{\beta}{2\sqrt{\alpha + 2 y}}\right)^2.</math>
Ipak, ovo izaziva podjelu sa nulom ako je <math>\alpha + 2 y=0.</math> Ovo implicira <math>\beta=0,</math> i s tim da je deprimirana jednačina bikvadratna, i može biti riješena jednostavnijom metodom (pogledati iznad). Ovo nije bio problem za vrijeme Ferrarija, kada se rješavalo samo eksplicitno sa brojnim koeficijentima. Za generalne formule koje su uvijek tačne, potrebno je odabrati korijen kubne jednačine takav da je <math>\alpha + 2 y \not=0.</math> Ovo je uvijek moguće osim ako važi: ''x''<sup>4</sup>=0.

Sada, ako je ''y'' korijen kubne jednačine takav da je <math>\alpha + 2 y \not=0,</math> jednačina (3) može biti napisana:
: <math> \left(u^2 + \alpha + y+u\sqrt{\alpha + 2 y}-\frac{\beta}{2\sqrt{\alpha + 2 y}}\right) \left(u^2 + \alpha + y - u\sqrt{\alpha + 2 y}+\frac{\beta}{2\sqrt{\alpha + 2 y}}\right)=0,</math>
i jednačinu je lahko riješiti primjenom formule za kvadratne jednačine za svaki faktor. Rješavanjem njih mogu se napisati četiri korijena kao:
:<math>u={\pm_1\sqrt{\alpha + 2 y} \pm_2 \sqrt{-\left(3\alpha + 2y \pm_1 {2\beta \over \sqrt{\alpha + 2 y}} \right)} \over 2},</math>
gdje <math>\pm_1</math> i <math>\pm_2</math> bivaju + ili -. Pošto dvije pojave <math>\pm_1</math> moraju označavati isti znak, ovo ostavlja četiri mogućnosti, po jednu za svaki korijen.

Stoga rješenja iz originalne četverostepene jednadžbe su:
:<math>x=-{a_3 \over 4a_4} + {\pm_1\sqrt{\alpha + 2 y} \pm_2 \sqrt{-\left(3\alpha + 2y \pm_1 {2\beta \over \sqrt{\alpha + 2 y}} \right)} \over 2}. \qquad\qquad (8')</math>

===Rješavanje faktoriziranjem u kvadratike===
Moguće je riješiti četverostepenu jednačinu faktoriziranjem iste u proizvod dva kvadratika.<ref name=Brookfield>{{cite journal |author=Brookfield, G. |title=Factoring quartic polynomials: A lost art |url=https://archive.org/details/sim_mathematics-magazine_2007-02_80_1/page/67 |journal=Mathematics Magazine |volume=80 |issue=1 |year=2007 |pages=67–70}}</ref> Puštajući

:<math>
  \begin{array}{lcl}
   0 = x^4 + ax^3 + bx^2 + cx + d & = & (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}
 </math>

Izjednačavanjem koeficijenata, ovo rezultira u slijedeći set simultanih jednadžbi:
:<math>
  \begin{array}{lcl}
   a & = & p + r \\
   b & = & q + s + pr \\
   c & = & ps + qr \\
   d & = & qs
  \end{array}
 </math>

Ovo može biti pojednostavljeno počinjanjem ispočetka sa deprimiranom četverostepenom funkcijom gdje je <math>a = 0</math>, što može biti dobiveno smjenom <math>(x - a/4)</math> za <math>x</math>, kasnije <math>r = -p</math>, i:
:<math>
  \begin{array}{lcl}
   b + p^2 & = & s + q \\
   c & = & (s - q) p \\
   d & = & sq
  \end{array}
 </math>

Sada je lahko ukloniti i <math>s</math> i <math>q</math> radeći slijedeće:
:<math>
  \begin{array}{lcl}
   p^2(b + p^2)^2 - c^2 & = & p^2(s + q)^2 - p^2(s - q)^2 \\
   & = & 4p^2sq \\
   & = & 4p^2d
  \end{array}
 </math>

Ako se postavi da je: <math>P = p^2</math>, onda ova jednačina se pretvara u razloženu kubnu jednačinu:
:<math>P^3 + 2bP^2 + (b^2 - 4d)P - c^2 = 0\,</math>
što je riješeno na drugom mjestu. Dalje, ako je ''p'' kvadratni korijen ne-nultog korijena ovog razložitelja (takva nula korijena ne postoji, osim za četverostepenu funkciju ''x''<sup>4</sup>, koje je trivijalno faktorizirano),
:<math>
  \begin{array}{lcl}
  r & = & -p \\
 2s & = & b + p^2 + c/p \\
 2q & = & b + p^2 - c/p
  \end{array}
 </math>

[[Simetrija u matematici|Simetričnosti]] u ovom rješenju je lahko zapaziti. Postoje tri korijena kubne jednačine, odgovarajuće u tri načina da quartic može biti faktorisane u dvije kvadratike, i birajući pozitivne ili negativne vrijednosti od <math>p</math> za kvadratni korijen od <math>P</math> prosto razmjenjuje dvije kvadratike međusobno.

Rješenje iznad pokazuje da je četverostepeni polinom sa nultim koeficijentom na kubnom stepenu moguć za faktoriziranje u kvadratike sa racionalnim koeficijentima [[ako i samo ako]] rezolvent kubne jednačine <math>P^3 + 2bP^2 + (b^2 - 4d)P - c^2\,</math> ima ne-nulte korijene što je kvadrat racionalne, ili <math>b^2-4d</math> je kvadrat racionalne i ''c ''= 0; to se lahko može provjeriti pomoću racionalnog testa korijena.

===Rješavanje pomoću Lagrange-ovog rezolventa===
Simetrična grupa S<sub>4</sub> sa četiri elementa ima Klein četvero-grupu kao normalnu podgrupu. Ovo nalaže korištenje rezolventnog kubika čiji korijeni mogu biti različito opisani kao diskretna [[Fourierova transformacija]] ili [[Hadamard matrična transformacija]] korijena. Označeno sa ''x''<sub>''i''</sub>, za ''i'' od 0 do 3, četiri korijena od:
:<math>x^4 + ax^3 + bx^2 + cx + d = 0\qquad (1)</math>
Ako se postavi:
:<math> \begin{align}
s_0 &= \tfrac12(x_0 + x_1 + x_2 + x_3), \\
s_1 &= \tfrac12(x_0 - x_1 + x_2 - x_3), \\
s_2 &= \tfrac12(x_0 + x_1 - x_2 - x_3), \\
s_3 &= \tfrac12(x_0 - x_1 - x_2 + x_3),
\end{align}</math>
onda pošto je transformacija involucija, mogu se izraziti korijeni u smislu četiri ''s''<sub>''i''</sub> na upravo isti način. Pošto je poznata vrijednost ''s''<sub>0</sub> = -''a''/2, potrebno je znati samo vrijednosti za ''s''<sub>1</sub>, ''s''<sub>2</sub> i ''s''<sub>3</sub>. Ovo su korijeni polinoma:
:<math>(s^2 - s_1^2)(s^2-s_2^2)(s^2-s_3^2).\qquad (2)</math>
Smjenom ''s''<sub>''i''</sub> sa njihovim vrijednostima od ''x''<sub>''i''</sub>, ovaj polinom može biti proširen u polinom ''s'' čiji koeficijenti su simetrični polinomi u ''x''<sub>''i''</sub>. Prema fundamentalnoj teoremi [[Simetrični polinomi|simetričnih polinoma]], ovi koeficijenti se mogu izraziti kao polinomi u koeficijentima mono-četverostepenih jednačina. Ako, radi pojednostavljenja, pretpostavimo da je četverostepena jednačina deprimirana, tj. ''a''=0, ovo rezultira u polinom:
:<math>{s}^{6}+2b\,{s}^{4}+({b}^{2}-4d)\,{s}^{2}-{c}^{2}\qquad(3)</math>
Ovaj polinom je šestog stepena, ali samo stepena tri u ''s''<sup>2</sup>, i tako je odgovarajuća jednačina rješiva metodom opisanom u članku [[Kubna funkcija]]. Smjenom korijena u prikazu ''x''<sub>''i''</sub> u smislu ''s''<sub>''i''</sub>, dobiva se izraz za korijene. U principu dobiva se, očigledno, nekoliko izraza, zavisno od numeracije korijena kubnog polinoma i od znakova datih za njihov kvadratni korijen. Svi ovi različiti izrazi mogu biti zakljuleni iz jednog od njih jednostavnim izmjenama numeracije od ''x''<sub>''i''</sub>.

Ovi izrazi su bezuslovno komplikovani, uključujući kubne korijene jedinstva, koji mogu biti zaobiđeni prema slijedećem. Ako je ''s'' bilo koji ne-nulti korijen od (3), i ako se postavi: 
:<math>F_1 = {x}^{2}+sx+ \frac{b}{2} + \frac{s^2}{2} - \frac{c}{2s}</math>
:<math>F_2 ={x}^{2}-sx+ \frac{b}{2} + \frac{s^2}{2} + \frac{c}{2s}</math>
onda:
:<math>F_1 F_2 = x^4 + bx^2 + cx + d</math>
Moguće je riješiti četverostepenu jednačinu rješavanjem za ''s,'' a zatim za korijene dva faktora koristeći kvadratnu formulu.

Napomena: Ovo daje updavo istu formulu za korijene kao i prethodna sekcija.

===Rješavanje sa algebarskom geometrijom===
Alternativno rješenje korištenjem algebarske geometrije je dato u {{Harv|Faucette|1996}}, i prihodi slijedećim redoslijedom (više detalja u referenci). Ukratko, interpretiraju se korijeni kao presjek dvije kvadratne krivulje, pa se traže tri reducibilne[[degenerate conic| ]]<nowiki/>kvadratne krivulje (par linija) koje prolaze kroz ove tačke (ovo odgovara razloženom kubiku, parovima linija što je Lagrangeov rezolvent), a zatim koriste ove linearne jednačine za rješavanje kvadratne.

Četiri korijena deprimirane četverostepene jednačine <math>x^4+px^2+qx+r=0</math> mogu također biti izražena kao ''x'' koordinate presjeka dvije kvadratne jednačine <math>y^2+py+qx+r=0,</math> <math>y-x^2=0;</math> npr. koristeći smjenu <math>y=x^2;</math> te dva kvadratična presjeka u četiri tačke je instanca [[Bézoutova teorema|Bézoutove teoreme]]. Eksplicitno, četiri tačke su <math>P_i := (x_i,x_i^2)</math> za četiri korijena <math>x_i</math> četverostepene funkcije.

Ove četiri tačke nisu kolinearne jer leže na nesvodljivim (ireducibilnim) kvadratima <math>y=x^2,</math> i na taj način postoji 1-parametarska familija kvadratika (olovka krivulja) koja prolazi kroz ove tačke. Pišući projektivizaciju dvije kvadratike kao kvadratnu formu u tri varijable:
:<math>\begin{align}
F_1(X,Y,Z) &:= Y^2 + pYZ + qXZ + rZ^2,\\
F_2(X,Y,Z) &:= YZ - X^2
\end{align}</math>
''olovka'' je data oblicima <math>\lambda F_1 + \mu F_2</math> za bilo koju tačku <math>[\lambda,\mu]</math> u projektivnoj liniji – drugim riječima, gdje nisu <math>\lambda</math> i <math>\mu</math> oba nula, i multipliciranjem kvadratne forme konstantom ne mijenja kvadratnu krivulju u nulama.

Olovka sadrži tri reducibilne kvadratike, svaka odgovara paru linija, svaka prolazeći kroz dvije od četiri tačke, što se može uraditi sa <math>\textstyle{\binom{4}{2} = 6}</math> različitih načina. Označavajući ove <math>Q_1 = L_{12} + L_{34},</math> <math>Q_2 = L_{13} + L_{24},</math> <math>Q_3 = L_{14} + L_{23}.</math> Kada su date dvije ove, njihov presjek je tačno u četiri tačke.

Reducibilne kvadratike, zauzvrat, mogu biti opisane izražavajući kvadratnu formu <math>\lambda F_1 + \mu F_2</math> kao matricu 3&times;3: reducibilne kvadratike odgovaraju ovoj singularnoj matrici, koja je ekvivalentna svojoj determinanti koja je jednaka nuli, i determinanta je homogenog stepena tri polinoma u <math>\lambda</math> i <math>\mu,</math> i odgovara rezolventnom kubiku.

== Također pogledajte ==
*[[Linearna funkcija]]
*[[Kvadratna funkcija]]
*[[Kubna funkcija]]
*[[Polinom]]
*[[Newtonova metoda]]

== Reference ==
{{refspisak|2}}

== Literatura ==
*{{Citation | last = Cardano | first = Gerolamo | author-link = Gerolamo Cardano | publication-date = 1993 | year = 1545 | title = Ars magna or The Rules of Algebra | publisher = Dover | isbn = 0-486-67811-3 | url-access = registration | url = https://archive.org/details/arsmagnaorruleso0000card }}
* {{ Citation | title = A Geometric Interpretation of the Solution of the General Quartic Polynomial | first = William Mark | last = Faucette | journal = [[The American Mathematical Monthly]] |volume = 103 |issue = 1 |year = 1996 | pages = 51–57 | doi=10.2307/2975214 |id = {{citeseerx|10.1.1.111.5574}} }}
* {{cite journal |author=Nickalls, R. W. D. |title=The quartic equation: invariants and Euler's solution revealed |journal=[[Mathematical Gazette]] |volume=93 |year=2009 |pages=66–75 |url=http://www.nickalls.org/dick/papers/maths/quartic2009.pdf}}
* {{cite journal |author=Carpenter, W. |title=On the solution of the real quartic |url=https://archive.org/details/sim_mathematics-magazine_1966-01_39_1/page/28 |journal=[[Mathematics Magazine]] |volume=39 |year=1966 |pages=28–30 |doi=10.2307/2688990}}
* {{cite journal |author= Shmakov, S.L.|title=A Universal Method of Solving Quartic Equations |journal=[[International Journal of Pure and Applied Mathematics]] |volume=71 |year=2011 |pages=251–259 |url=http://www.ijpam.eu/contents/2011-71-2/7/7.pdf}}

== Vanjski linkovi ==
*{{PlanetMath | urlname = QuarticFormula | title = Kvartična formula kao četiri jednostavne jednačine}}
*[http://members.tripod.com/l_ferrari/quartic_equation.htm Ferrarijevo postignuće]
*[http://www.freewebs.com/brianjs/ultimateequationsolver.htm Digitron za rješavanje kvartika (također rješava kubike i kvadratike)] {{Webarchive|url=https://web.archive.org/web/20100308110647/http://www.freewebs.com/brianjs/ultimateequationsolver.htm |date=8. 3. 2010 }}

[[Kategorija:Elementarna algebra]]
[[Kategorija:Jednačine]]
[[Kategorija:Polinomi]]