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

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), koja ima oblik:

Četverostepena jednačina, ili jednačina četvrtog stepena, je polinom četvrtog stepena koji je jednak nuli, sa oblikom:

gdje je .

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

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 (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

sa realnim koeficijentima i  priroda njenih korijena je uglavnom određena znakom njene diskriminante: 
 
Ovo može biti dotjerano s obzirom na znakove tri ostala polinoma:

tako da je  dvostepeni koeficijent povezanih deprimiranih četverostepenih funkcija (pogledati ispod);

što je jednako 0 ako četverostepena funkcija ima trostruki korijen; i:

što je jednako 0 ako četverostepena funkcija ima dva kvadratna korijena.

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

 Ako je   tada jednačina ima dva realna korijena i dva konjugovano kompleksna korijena.
 Ako je   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   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  ≠ 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  = 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 = 0, sva četiri korijena su jednaka .

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

Opće (generalne) formule za korijene

Četiri korijena () za opću četverostepenu jednačinu:

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.

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

i gdje je:
 
sa:

i:
 gdje je  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  korištenje  može se dokazati nepogodnim, pošto je vrijednost iste sada kompleksni broj. Ipak, ako su sva četiri korijena realna, vrijednost  je također realna, i bilo bi jednostavnije prikazati ga uz pomoć trigonometrijskih funkcija, kako slijedi:

gdje je:

Ako je  i  znak od   mora biti odabran da ima  što znači da treba definirati  kao  ostavljajući znak od 

Ako je  onda se mora izmijeniti izbor kubnog korijena u  zbog  Ovo je uvijek moguće osim ako se 4-stepena jednačina može faktorizirati u  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  jednak nuli, i povezana deprimirana funkcija bikvadratna; to ipak može biti riješeno po metodi opisanoj ispod.

Ako su  i  a time i  najmanje tri korijena su jednaka, i korijeni su racionalne funkcije koeficijenata.

Ako su  i  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:

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:

ili:

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  jednaka nuli (ovo je istinito za polinome svakog stepena).

Veoma poseban slučaj prvog slučaja faktorizacije je kada je a0=0. Ovo implicira da je x1=0 prvi korijen, b3=a4, b2=a3, b1=a2, b0=a1, a ostali korijeni mogu biti izračunati rješavanjem kubne jednačine.

Ako je  onda  i ima se faktorizacija prve vrste sa x1=1. Jednako, ako  onda  i ima se faktorizacija prve vrste sa x1=-1.

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

Ako su  mali cijeli brojevi, faktorizacija prve vrste je lahka za pronaći: ako  sa p i q koprimiranim cijelim brojevima, onda q dijeli podjednako a4, i p dijeli podjednako a0. Tako, računanje  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  onda bikvadratna funkcija

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

Pustimo  Tada Q postaje kvadratik q u 

Pustimo  i  da budu korijeni od q. Tada su korijeni od naše četverostepene funkcije Q:

Kvazisimetrične jednačine 
 

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

bude opća četverostepena jednačina koja se treba riješiti.

Dijeljenje sa a4 daje ekvivalentnu jednačinu

sa:

Smjenom x sa  daje, nakon jednostavne regrupacije, jednačinu:

gdje je:

Ako su y1, y2, y3, y4 korijeni ove deprimirane četverostepene jednačine, onda korijeni od originalne jednačine su:

Ferrarijevo rješenje

Kako je objašnjeno u prethodnoj sekciji, počinjemo sa deprimiranom četverostepenom jednačinom:

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):

Onda, predstavlja se varijabla y u faktoru na lijevoj strani dodavanjem  na obje strane. Nakon pregrupisavanja koeficijenata od vrijednosti u na desnoj strani, ovo daje jednačinu: 

š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:

koja se može napisati i kao:

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:

Ipak, ovo izaziva podjelu sa nulom ako je  Ovo implicira  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  Ovo je uvijek moguće osim ako važi: x4=0.

Sada, ako je y korijen kubne jednačine takav da je  jednačina (3) može biti napisana:
 
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:

gdje  i  bivaju + ili -. Pošto dvije pojave  moraju označavati isti znak, ovo ostavlja četiri mogućnosti, po jednu za svaki korijen.

Stoga rješenja iz originalne četverostepene jednadžbe su:

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

Izjednačavanjem koeficijenata, ovo rezultira u slijedeći set simultanih jednadžbi:

Ovo može biti pojednostavljeno počinjanjem ispočetka sa deprimiranom četverostepenom funkcijom gdje je , što može biti dobiveno smjenom  za , kasnije , i:

Sada je lahko eliminirati i  i  radeći slijedeće:

Ako se postavi da je: , onda ova jednačina se pretvara u razloženu kubnu jednačinu:

š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 x4, koje je trivijalno faktorizirano),

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  za kvadratni korijen od  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  ima ne-nulte korijene što je kvadrat racionalne, ili  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 xi, za i od 0 do 3, četiri korijena od:

Ako se postavi:

onda pošto je transformacija involucija, mogu se izraziti korijeni u smislu četiri si na upravo isti način. Pošto je poznata vrijednost s0 = -a/2, potrebno je znati samo vrijednosti za s1, s2 i s3. Ovo su korijeni polinoma:

Smjenom si sa njihovim vrijednostima od xi, ovaj polinom može biti proširen u polinom s čiji koeficijenti su simetrični polinomi u xi. 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:

Ovaj polinom je šestog stepena, ali samo stepena tri u s2, i tako je odgovarajuća jednačina rješiva metodom opisanom u članku Kubna funkcija. Smjenom korijena u prikazu xi u smislu si, 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 xi.

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: 

onda:

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 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  mogu također biti izražena kao x koordinate presjeka dvije kvadratne jednačine   npr. koristeći smjenu  te dva kvadratična presjeka u četiri tačke je instanca Bézoutove teoreme. Eksplicitno, četiri tačke su  za četiri korijena  četverostepene funkcije.

Ove četiri tačke nisu kolinearne jer leže na nesvodljivim (ireducibilnim) kvadratima  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:

olovka je data oblicima  za bilo koju tačku  u projektivnoj liniji – drugim riječima, gdje nisu  i  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  različitih načina. Označavajući ove    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  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  i  i odgovara rezolventnom kubiku.

Povezano 
Linearna funkcija
Kvadratna funkcija
Kubna funkcija
Polinom
Newtonova metoda

Reference

Literatura

Vanjski linkovi 

Ferrari's achievement
Calculator for solving Quartics (also solves Cubics and Quadratics)

Elementarna algebra
Jednačine
Polinomi