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.

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:

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

gdje je a ≠ 0.

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

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 uredi

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.[1] 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.[2] Veliki inkvizitor Tomás de Torquemada navodno je rekao Valmesu da je božija volja da takvo rješenje bude nedostupno ljudskom razumu.[3] 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.[4] 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.[5]

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.[6]

Primjena uredi

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 uredi

Priroda korijena uredi

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:[7]

  • 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.[8]
  • 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 koji nisu prikazani, 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 uredi

 
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.[9]

Č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 ova zadnja četiri termina su veoma slični sa onima od njihovih kubnih partnera.

Specijalni slučajevi formule uredi

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 uredi

Reducibilne četverostepene funkcije uredi

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

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 uredi

 

Koraci:

  1. Podijeliti sa x 2.
  2. Koristiti smjenu varijabli: z = x + m/x.

Pretvorba u deprimirane četverostepene uredi

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 uredi

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 uredi

Moguće je riješiti četverostepenu jednačinu faktoriziranjem iste u proizvod dva kvadratika.[10] 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 ukloniti 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 uredi

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 uredi

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

Također pogledajte uredi

Reference uredi

  1. ^ O'Connor, John J.; Robertson, Edmund F., "Lodovico Ferrari", MacTutor History of Mathematics archive, University of St Andrews CS1 održavanje: nepreporučeni parametar (link).
  2. ^ Depman (1954), Rasskazy o matematike (jezik: Russian), Leningrad: GosdetizdatCS1 održavanje: nepoznati jezik (link)
  3. ^ P. Beckmann (1971). A history of π. Macmillan. str. 80.
  4. ^ P. Beckmann (1971). A history of π. Macmillan. str. 191.
  5. ^ P. Zoll (1989). "Letter to the Editor". American Mathematical Monthly. 96 (8): 709–710. JSTOR 2324719.
  6. ^ Stewart, Ian, Galois Theory, Third Edition (Chapman & Hall/CRC Mathematics, 2004)
  7. ^ Rees, E. L. (1922). "Graphical Discussion of the Roots of a Quartic Equation". The American Mathematical Monthly. 29 (2): 51–55. doi:10.2307/2972804.
  8. ^ doi:10.1016/S0747-7171(88)80015-4
  9. ^ http://planetmath.org/QuarticFormula, PlanetMath, quartic formula, 21st October 2012
  10. ^ Brookfield, G. (2007). "Factoring quartic polynomials: A lost art". Mathematics Magazine. 80 (1): 67–70.

Literatura uredi

Vanjski linkovi uredi