Funkcija četvrtog stepena

U matematici, funkcija četvrtog stepena (četverostepena funkcija) je matematička funkcija u obliku:

Grafik polinoma četvrtog stepena, sa 3 kritične tačke.

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

gdje je a ≠ 0
što je definisano četvrtim stepenom polinoma, 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:

$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 a ≠ 0.

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 limes jednak beskonačnosti kada argument ide u pozitivnu ili negativnu beskonačnost. Ako je:

a > 0 - funkcija raste u pozitivnu beskonačnost na oba kraja; te funkcija ima globalni minimum.

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

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 algebarskih rješenja četverostepene jednačine, potrebno je i da rješenja kubne jednačine budu nađena, ali to nije bilo moguće objaviti istovremeno. Rješenje četverostepene jednačine je objavljeno zajedno sa rješenjem kubne jednačine od strane Ferrarijevog mentora italijanskog polimata Girolama Cardana u knjizi Ars Magna (bos. Velika umjetnost) objavljenoj (1545).

Sovjetski historičar Ivan Jakovljevič Depman je tvrdio da je nešto ranije, 1486. godine španski matematičar Paolo Valmes bio 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 božija volja da takvo rješenje bude nedostupno ljudskom razumu. 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 bilo neuspješno.

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–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 Galoisa prije smrti nakon dvoboja iz 1832. kasnije su vodili ka elegantnoj kompletnoj teoriji korijena polinoma, od kojih je ova teorema bila samo jedan rezultat.

Primjena

Polinomi visokog 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, kao kod primjera pri računanju križanja dvije konične sekcije. Drugi primjer je zračno-praćenje prema kvartičnoj površini kao što je torus.

U Common Information Model-u (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č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

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

sa realnim koeficijentima i $a\neq 0,$ priroda njenih korijena je uglavnom određena znakom njene diskriminante:

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

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=64a^{3}e-16a^{2}c^{2}+16ab^{2}c-16a^{2}bd-3b^{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 <0$ 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 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.
• 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 < 0 i D < 0 i $\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 realna dupla korijena.
    • 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 koji nisu prikazani, 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

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.

Č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 Rješavanje faktoriranjem u kvadratike sa smjenom varijabli (pogledati #Pretvorba u deprimirane četverostepene funkcije) i korištenjem formula za kvadratne i kubne jednačine.

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

gdje su p i q koeficijenti drugog i prvog stepena respektivno u pridružene deprimirane četverostepene jednačine.

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

i gdje je:

${\begin{aligned}S&={\frac {1}{2}}{\sqrt {-{\frac {2}{3}}\ 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{aligned}}$

sa:

${\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 \,$ gdje je $\Delta$ 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 $\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 {-{\frac {2}{3}}\ 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 racionalne funkcije 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_{4}x^{4}+a_{3}x^{3}+a_{2}x^{2}+a_{1}x+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_{3}x^{3}+b_{2}x^{2}+b_{1}x+b_{0})$

ili:

$Q(x)=(c_{2}x^{2}+c_{1}x+c_{0})(d_{2}x^{2}+d_{1}x+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. Ovo implicira da je x₁=0 prvi korijen, b₃=a₄, b₂=a₃, b₁=a₂, b₀=a₁, 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. 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.

Jednom kada je korijen x₁ poznat, drugi faktor faktorizacije prve vrste je kvocijent Euklidove divizije od Q sa x-x₁. To je:

$a_{4}x^{3}+(a_{4}x_{1}+a_{3})x^{2}+(a_{4}x_{1}^{2}+a_{3}x_{1}+a_{2})x+a_{4}x_{1}^{3}+a_{3}x_{1}^{2}+a_{2}x_{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₄, i p dijeli podjednako a₀. 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 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 $a_{3}=a_{1}=0,\,$ onda bikvadratna funkcija

$Q(x)=a_{4}x^{4}+a_{2}x^{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_{4}z^{2}+a_{2}z+a_{0}.\,\!$

Pustimo $z_{+}\,$ i $z_{-}\,$ da budu korijeni od q. Tada su korijeni od naše četverostepene funkcije Q:

${\begin{aligned}x_{1}&=+{\sqrt {z_{+}}},\\x_{2}&=-{\sqrt {z_{+}}},\\x_{3}&=+{\sqrt {z_{-}}},\\x_{4}&=-{\sqrt {z_{-}}}.\end{aligned}}$

Kvazisimetrične jednačine

$a_{0}x^{4}+a_{1}x^{3}+a_{2}x^{2}+a_{1}mx+a_{0}m^{2}=0\,$

Koraci:

1. Podijeliti sa 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₄ daje ekvivalentnu jednačinu

$x^{4}+ax^{3}+bx^{2}+cx+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{aligned}p=&{\frac {8b-3a^{2}}{8}}&=&{\frac {8a_{2}a_{4}-3a_{3}^{2}}{8a_{4}^{2}}}\\q=&{\frac {a^{3}-4ab+8c}{8}}&=&{\frac {a_{3}^{3}-4a_{2}a_{3}a_{4}+8a_{1}a_{4}^{2}}{8a_{4}^{3}}}\\r=&{\frac {-3a^{4}+256d-64ca+16a^{2}b}{256}}&=&{\frac {-3a_{3}^{4}+256a_{0}a_{4}^{3}-64a_{1}a_{3}a_{4}^{2}+16a_{2}a_{3}^{2}a_{4}}{256a_{4}^{4}}}\end{aligned}}$

Ako su y₁, y₂, y₃, y₄ 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^{2}y+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 +2y)u^{2}-\beta u+(y^{2}+2y\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(2y+\alpha )(y^{2}+2y\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 +2y}}-{\frac {\beta }{2{\sqrt {\alpha +2y}}}}\right)^{2}.$

Ipak, ovo izaziva podjelu sa nulom ako je $\alpha +2y=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 +2y\not =0.$ Ovo je uvijek moguće osim ako važi: x⁴=0.

Sada, ako je y korijen kubne jednačine takav da je $\alpha +2y\not =0,$ jednačina (3) može biti napisana:

$\left(u^{2}+\alpha +y+u{\sqrt {\alpha +2y}}-{\frac {\beta }{2{\sqrt {\alpha +2y}}}}\right)\left(u^{2}+\alpha +y-u{\sqrt {\alpha +2y}}+{\frac {\beta }{2{\sqrt {\alpha +2y}}}}\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 +2y}}\pm _{2}{\sqrt {-\left(3\alpha +2y\pm _{1}{2\beta \over {\sqrt {\alpha +2y}}}\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 +2y}}\pm _{2}{\sqrt {-\left(3\alpha +2y\pm _{1}{2\beta \over {\sqrt {\alpha +2y}}}\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 ukloniti 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^{2}sq\\&=&4p^{2}d\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⁴, 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 S₄ 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{aligned}s_{0}&={\tfrac {1}{2}}(x_{0}+x_{1}+x_{2}+x_{3}),\\s_{1}&={\tfrac {1}{2}}(x_{0}-x_{1}+x_{2}-x_{3}),\\s_{2}&={\tfrac {1}{2}}(x_{0}+x_{1}-x_{2}-x_{3}),\\s_{3}&={\tfrac {1}{2}}(x_{0}-x_{1}-x_{2}+x_{3}),\end{aligned}}$

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₀ = -a/2, potrebno je znati samo vrijednosti za s₁, s₂ i s₃. 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², 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 (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 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 $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{aligned}F_{1}(X,Y,Z)&:=Y^{2}+pYZ+qXZ+rZ^{2},\\F_{2}(X,Y,Z)&:=YZ-X^{2}\end{aligned}}$

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×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.

Također pogledajte

• Linearna funkcija
• Kvadratna funkcija
• Kubna funkcija
• Polinom
• Newtonova metoda

Literatura

• Cardano, Gerolamo (1545), Ars magna or The Rules of Algebra, Dover (objavljeno 1993), ISBN 0-486-67811-3
• Faucette, William Mark (1996), "A Geometric Interpretation of the Solution of the General Quartic Polynomial", The American Mathematical Monthly, 103 (1): 51–57, doi:10.2307/2975214, CiteSeerX: 10.1.1.111.5574
• Nickalls, R. W. D. (2009). "The quartic equation: invariants and Euler's solution revealed" (PDF). Mathematical Gazette. 93: 66–75.
• Carpenter, W. (1966). "On the solution of the real quartic". Mathematics Magazine. 39: 28–30. doi:10.2307/2688990.
• Shmakov, S.L. (2011). "A Universal Method of Solving Quartic Equations" (PDF). International Journal of Pure and Applied Mathematics. 71: 251–259.

Vanjski linkovi

• Kvartična formula kao četiri jednostavne jednačine na PlanetMath-u
• Ferrarijevo postignuće
• Digitron za rješavanje kvartika (također rješava kubike i kvadratike) Arhivirano 8. 3. 2010. na Wayback Machine