Funkcija četvrtog stepena

U matematici, **funkcija četvrtog stepena** (četverostepena funkcija) je matematička funkcija u obliku:
:f(x)=ax^4+bx^3+cx^2+dx+e,
gdje je  što je definisano četvrtim stepenom polinoma, koji se zove **četverostepeni polinom**.

Ponekad pojam **bikvadratna** se koristi umjesto *četverostepena*, ali, često, **bikvadratna funkcija** podrazumijeva kvadratnu funkciju kvadrata (ili, ekvivalentno, funkciju definisanu četverostepenim polinomom bez uslova neparnog stepena, tj. gde je b=0 i d=0), koja ima oblik:
:f(x)=ax^4+cx^2+e.

**Četverostepena jednačina**, ili jednačina četvrtog stepena, je polinom četvrtog stepena koji je jednak nuli, sa oblikom:
:ax^4+bx^3+cx^2+dx+e=0,
gdje je .

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

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

Pošto je četverostepena funkcija definisana polinomom jednakog stepena, ima jednak limes beskonačnosti kada argument ide u pozitivnu ili negativnu beskonačnost. Ako je:
:  - funkcija raste u pozitivnu beskonačnost na oba kraja; te funkcija ima globalni minimum.  
:  - 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 je 1540. kreditiran za otkriće rješenja za četverostepenu jednačinu, ali od ovog rješenja, kao sva algebarska rješenja četverostepene jednačine, zahtjevaju rješenja kubne jednačine da budu nađena, nije bilo moguće objaviti istovremeno. Rješenje četverostepene jednačine je objavljeno zajedno sa rješenjem kubne jednačine od strane Ferrarijevog mentora Gerolamo Cardano-a u knjizi *[[Ars Magna (Gerolamo Cardano)|Ars Magna]]* (1545).

Sovjetski historičar I. Y. Depman je tvrdio da je ranije, 1486, španski matematičar Valmes spaljen na lomači zbog tvrdnje da je riješio četverostepenu jednačinu. Veliki inkvizitor Tomás de Torquemada navodno je rekao Valmesu da je to bila Božija volja da takvo rješenje bude nedostupno za ljudski razum. 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. 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 propalo.

Dokaz da je četiri najveći stepen općeg polinoma za koje se mogu naći rješenja može biti nađeno da je prvi put dato u Abel–Ruffini teoremi iz 1824. godine, dokazujući da svi pokušaje pri rješavanju višeg reda polinoma bivaju uzaludni. Napomene ostavljene od strane Évariste Galois prije smrti u duelu iz 1832. kasnije su vodili ka elegantnoj kompletnoj teoriji korijena polinoma, od kojih je ova teorema bila samo jedan rezultat.

## Aplikacije
Polinomi visokih stepena se često javljaju u problemima koji uključuju optimizaciju i ponekad se desi da su ovi polinomi četverostepeni, ali ovo je slučajnost.

Četverostepene funkcije se često javljaju u računarskoj grafici, naprimjer za računanje križanja dvije konične sekcije. Drugi primjer je zračno-praćenje prema kvartičnoj površini kao što je tori.

I CIM-u, Torus je čest oblik povezan sa endmill rezačem. Za proračun njegove lokacije u odnosu na trostranu površinu, pozicija horizontalnog torusa na Z-osi mora se nalaziti gdje je to tangenta prema nepokretnoj liniji, i ovo zahtijeva rješenje opće kvartične jednačine za proračunavanje. Preko 10% računarskog vremena u CAM sistemu 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
:ax^4 + bx^3 + cx^2 + dx + e = 0
sa realnim koeficijentima i a \ne 0, priroda njenih korijena je uglavnom određena znakom njene diskriminante: 
:\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}  
Ovo može biti dotjerano s obzirom na znakove tri ostala polinoma:
:P = 8ac - 3b^2
tako da je \tfrac{P}{8a^2} dvostepeni koeficijent povezanih deprimiranih četverostepenih funkcija (pogledati ispod);
:\Delta_0 = c^2 - 3bd + 12ae
što je jednako 0 ako četverostepena funkcija ima trostruki korijen; i:
:D = 64 a^3 e - 16 a^2 c^2 + 16 a b^2 c - 16 a^2 bd - 3 b^4
što je jednako 0 ako četverostepena funkcija ima dva kvadratna korijena.

Mogući slučajevi za prirodu korijena su prema slijedećem:

* Ako je \Delta   tada jednačina ima dva realna korijena i dva konjugovano kompleksna korijena.
* Ako je \Delta > 0  tada su četiri korijena jednačine svi realni ili svi kompleksni.
** Ako je *P*  0 ili *D* > 0 postoje dva para konjugovano kompleksnih korijena.
* Ako je \Delta = 0  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* \scriptstyle \Delta_0 ≠ 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 \scriptstyle \Delta_0 = 0 i *D* ≠ 0, postoji trostruki korijen i jednostavni korijen, svi realni.
** Ako je *D* = 0, onda:
***Ako je *P*  0, postoje dva konjugovano kompleksna dupla korijena.
***Ako je\scriptstyle \Delta_0 = 0, sva četiri korijena su jednaka -\tfrac{b}{4a}.

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

### Opće (generalne) formule za korijene

Četiri korijena (x_1, x_2, x_3, x_4) za opću četverostepenu jednačinu:
:ax^4+bx^3+cx^2+dx+e=0 \,
sa *a* ≠ 0 datim u slijedećoj formuli, koja je izvedena iz jedne formule u odjeljku  sa smjenom varijabli (pogledati #Pretvorba u deprimirane četverostepene funkcije) i korištenjem formula za kvadratne i kubne jednačine.
:\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}

gdje su *p* i *q* koeficijenti drugog i prvog stepena respektivno u pridružene deprimirane četverostepene jednačine.
:\begin{align}
p &= \frac{8ac-3b^2}{8a^2}\\
q &= \frac{b^3 - 4abc + 8a^2d}{8a^3} 
\end{align}
i gdje je:
:\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} 
sa:
:\begin{align}
\Delta_0 &= c^2 - 3bd + 12ae\\
\Delta_1 &= 2c^3 - 9bcd + 27b^2 e + 27ad^2 - 72ace
\end{align}
i:
:\Delta_1^2-4\Delta_0^3 = - 27 \Delta\, gdje je \Delta ranije spomenuta *diskriminanta*. Matematički izrazi ovih zadnjih četiri termina su veoma slični sa onima od njihovih kubnih partnera.

#### Specijalni slučajevi formule

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

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

Ako je S = 0, onda se mora izmijeniti izbor kubnog korijena u Q zbog S \neq 0. Ovo je uvijek moguće osim ako se 4-stepena jednačina može faktorizirati u \left(x+\tfrac{b}{4a}\right)^4. 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 q jednak nuli, i povezana deprimirana funkcija bikvadratna; to ipak može biti riješeno po metodi opisanoj ispod.

Ako su \Delta = 0 i \Delta_0 = 0, a time i \Delta_1 = 0, najmanje tri korijena su jednaka, i korijeni su racionalnefunkcije koeficijenata.

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

### Jednostavniji slučajevi

#### Reducibilne četverostepene funkcije
Uzimajući u obzir opće četverostepene funkcije:
:Q(x) = a_4x^4+a_3x^3+a_2x^2+a_1x+a_0.
Reducibilno je ako je *Q*=*RS*, gdje su *R* i *S* nekonstantni polinomi sa racionalnim koeficijentima (ili općenitije sa koeficijentima u istom polju kao koeficijenti od *Q*). Postoje dva načina pisanja poput faktorizacije: Ili:
:Q(x) = (x-x_1)(b_3x^3+b_2x^2+b_1x+b_0)
ili:
:Q(x) = (c_2x^2+c_1x+c_0)(d_2x^2+d_1x+d_0).
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 \Delta jednaka nuli (ovo je istinito za polinome svakog stepena).

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

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

Jednom kada je korijen *x*1 poznat, drugi faktor faktorizacije prve vrste je kvocijent Euklidove divizije od *Q* sa *x*-*x*1. To je:
: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.

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

U slučaju dva kvadratična fatora 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 a_3=a_1=0,\, onda **bikvadratna funkcija**

:
Q(x) = a_4x^4+a_2x^2+a_0\,\!

definira **bikvadratnu jednačinu**, koja je lahka za rješavanje.

Pustimo z=x^2.\, Tada *Q* postaje kvadratik *q* u z,\,
:
q(z) = a_4z^2+a_2z+a_0.\,\!

Pustimo z_+\, i z_-\, da budu korijeni od *q*. Tada su korijeni od naše četverostepene funkcije *Q*:
:
\begin{align}
x_1&=+\sqrt{z_+},
\\
x_2&=-\sqrt{z_+},
\\
x_3&=+\sqrt{z_-},
\\
x_4&=-\sqrt{z_-}.
\end{align}


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

Koraci:
# Podijeliti sex *x* 2.
# 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
: a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 \qquad\qquad(1')
bude opća četverostepena jednačina koja se treba riješiti.

Dijeljenje sa *a*4 daje ekvivalentnu jednačinu
: x^4 + a x^3 + b x^2 + c x + d = 0, 
sa:
: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}.
Smjenom *x* sa y-\frac{a_3}{4a_4} daje, nakon jednostavne regrupacije, jednačinu:
:y^4+py^2+qy+r=0,
gdje je:
:\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}


Ako su *y*1, *y*2, *y*3, *y*4 korijeni ove *deprimirane četverostepene jednačine*, onda korijeni od originalne jednačine su: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}.

### Ferrarijevo rješenje

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

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):
: (u^2 + \alpha)^2 = \alpha u^2 + \alpha^2- \beta u - \gamma. \qquad \qquad (2) 

Onda, predstavlja se varijabla *y* u faktoru na lijevoj strani dodavanjem  2u^2y+2\alpha y + y^2  na obje strane. Nakon pregrupisavanja koeficijenata od vrijednosti *u* na desnoj strani, ovo daje jednačinu: 
: (u^2 + \alpha + y)^2 = (\alpha + 2 y) u^2 - \beta u + (y^2 + 2 y \alpha + \alpha^2 - \gamma), \qquad \qquad (3)\,
š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:
: (-\beta)^2 - 4 (2 y + \alpha) (y^2 + 2 y \alpha + \alpha^2 - \gamma) = 0.\,
koja se može napisati i kao:
: 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) 
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:
:\left(u\sqrt{\alpha + 2 y}-\frac{\beta}{2\sqrt{\alpha + 2 y}}\right)^2.
Ipak, ovo izaziva podjelu sa nulom ako je \alpha + 2 y=0. Ovo implicira \beta=0, 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 \alpha + 2 y \not=0. Ovo je uvijek moguće osim ako važi: *x*4=0.

Sada, ako je *y* korijen kubne jednačine takav da je \alpha + 2 y \not=0, jednačina (3) može biti napisana:
:  \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,
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:
: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},
gdje \pm_1 i \pm_2 bivaju + ili -. Pošto dvije pojave \pm_1 moraju označavati isti znak, ovo ostavlja četiri mogućnosti, po jednu za svaki korijen.

Stoga rješenja iz originalne četverostepene jednadžbe su:
: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')

### Rješavanje faktoriziranjem u kvadratike
Moguće je riješiti četverostepenu jednačinu faktoriziranjem iste u proizvod dva kvadratika. Puštajući

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

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

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

Sada je lahko eliminirati i s i q radeći slijedeće:
:
  \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}
 

Ako se postavi da je: P = p^2, onda ova jednačina se pretvara u razloženu kubnu jednačinu:
:P^3 + 2bP^2 + (b^2 - 4d)P - c^2 = 0\,
š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*4, koje je trivijalno faktorizirano),
:
  \begin{array}{lcl}
  r & = & -p \\
 2s & = & b + p^2 + c/p \\
 2q & = & b + p^2 - c/p
  \end{array}
 

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 p za kvadratni korijen od P 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 P^3 + 2bP^2 + (b^2 - 4d)P - c^2\, ima ne-nulte korijene što je kvadrat racionalne, ili b^2-4d 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 S4 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**i*, za *i* od 0 do 3, četiri korijena od:
:x^4 + ax^3 + bx^2 + cx + d = 0\qquad (1)
Ako se postavi:
: \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}
onda pošto je transformacija involucija, mogu se izraziti korijeni u smislu četiri *s**i* na upravo isti način. Pošto je poznata vrijednost *s*0 = -*a*/2, potrebno je znati samo vrijednosti za *s*1, *s*2 i *s*3. Ovo su korijeni polinoma:
:(s^2 - s_1^2)(s^2-s_2^2)(s^2-s_3^2).\qquad (2)
Smjenom *s**i* sa njihovim vrijednostima od *x**i*, ovaj polinom može biti proširen u polinom *s* čiji koeficijenti su simetrični polinomi u *x**i*. Prema fundamentalnoj teoremi 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:
:{s}^{6}+2b\,{s}^{4}+({b}^{2}-4d)\,{s}^{2}-{c}^{2}\qquad(3)
Ovaj polinom je šestog stepena, ali samo stepena tri u *s*2, i tako je odgovarajuća jednačina rješiva metodom opisanom u članku Kubna funkcija. Smjenom korijena u prikazu *x**i* u smislu *s**i*, 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**i*.

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: 
:F_1 = {x}^{2}+sx+ \frac{b}{2} + \frac{s^2}{2} - \frac{c}{2s}
:F_2 ={x}^{2}-sx+ \frac{b}{2} + \frac{s^2}{2} + \frac{c}{2s}
onda:
:F_1 F_2 = x^4 + bx^2 + cx + d
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 , i prihodi slijedećim redoslijedom (više detalja u referenci). Ukratko, interpretiraju se korijeni kao presjek dvije kvadratne krivulje, pa se traže tri reducibilnekvadratne 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 x^4+px^2+qx+r=0 mogu također biti izražena kao *x* koordinate presjeka dvije kvadratne jednačine y^2+py+qx+r=0, y-x^2=0; npr. koristeći smjenu y=x^2; te dva kvadratična presjeka u četiri tačke je instanca Bézoutove teoreme. Eksplicitno, četiri tačke su P_i := (x_i,x_i^2) za četiri korijena x_i četverostepene funkcije.

Ove četiri tačke nisu kolinearne jer leže na nesvodljivim (ireducibilnim) kvadratima y=x^2, 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:
:\begin{align}
F_1(X,Y,Z) &:= Y^2 + pYZ + qXZ + rZ^2,\\
F_2(X,Y,Z) &:= YZ - X^2
\end{align}
*olovka* je data oblicima \lambda F_1 + \mu F_2 za bilo koju tačku [\lambda,\mu] u projektivnoj liniji – drugim riječima, gdje nisu \lambda i \mu 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 \textstyle{\binom{4}{2} = 6} različitih načina. Označavajući ove Q_1 = L_{12} + L_{34}, Q_2 = L_{13} + L_{24}, Q_3 = L_{14} + L_{23}. 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 \lambda F_1 + \mu F_2 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 \lambda i \mu, i odgovara rezolventnom kubiku.

## Povezano
*Linearna funkcija
*Kvadratna funkcija
*Kubna funkcija
*Polinom
*Newtonova metoda

## Reference

## Literatura
*
* 
* 
* 
* 

## Vanjske veze
*
*Ferrari's achievement
*Calculator for solving Quartics (also solves Cubics and Quadratics)