Skaitinis ir algebrinis šaknų ieškojimas
Sprendžiant daugianarių lygtis, labai svarbu suprasti skirtumą tarp tikslių algebrinių sprendinių ir skaitinių artinių. Tiesinės lygtys (1 laipsnio) yra lengvai išsprendžiamos tiesioginiu būdu, tačiau aukštesnio laipsnio daugianariams algebriniai metodai greitai tampa neefektyvūs. Remiantis Abelio-Ruffini teorema, penktojo ir aukštesnio laipsnio daugianarių lygtys apskritai neturi bendrų sprendinių radikalais. Net ir žemesnio laipsnio lygtims (pavyzdžiui, kvadratinėms ar kubinėms) tikslios formulės gali prarasti skaitinį tikslumą, jei koeficientai yra labai skirtingų dydžių arba sudėtingi.
Ši skaičiuoklė naudoja skaitinius metodus, leidžiančius rasti visas realiąsias ir kompleksines šaknis daugianariams, kurių laipsnis yra nuo 1 iki 20. Skaitinis artinys leidžia rasti sprendinius net ir tais atvejais, kai analitinis sprendimas yra neįmanomas. Norint įvertinti gautų rezultatų patikimumą, kiekvienai šakniai yra apskaičiuojama normalizuota liekana, rodanti, kaip tiksliai gauta reikšmė tenkina pradinę lygtį.
Ehrlich–Aberth iteracijos metodas
Kai daugianario laipsnis yra didesnis už 1, tiesioginis tiesinis sprendimas netaikomas. Tokiais atvejais skaičiuoklė naudoja Ehrlich–Aberth iteracijos metodą. Šis algoritmas vienu metu ieško visų daugianario šaknų kompleksinėje plokštumoje, o ne po vieną, kaip tai daroma taikant kai kuriuos kitus metodus.
Procesas vyksta šiais etapais:
- Sutrapinimas į standartinę formą: visi įvesties nariai surenkami ir sutraukiami į standartinę formą.
- Normalizavimas: kiekvienas daugianario koeficientas yra padalijamas iš vyriausiojo koeficiento.
- Mastelio keitimas: šaknų paieškos mastelis pakeičiamas dydžiu R, kad pradiniai spėjimai išliktų stabiliame diapazone. Tai apsaugo nuo perpildymo ar tikslumo praradimo skaičiavimų metu.
- Iteravimas: pradedant nuo deterministinių kompleksinių spėjimų rinkinių, visi šaknų spėjimai yra tikslinami vienu metu. Kiekviename žingsnyje naudojamas Hornerio metodas, kuris leidžia efektyviai įvertinti daugianario ir jo išvestinės reikšmes konkrečiuose taškuose. Iteracijos tęsiamos tol, kol pataisa tampa mažesnė už nustatytą tolerancijos ribą.
- Verifikavimas: kiekviena gauta šaknis įstatoma atgal į pradinį daugianarį, kad būtų apskaičiuota normalizuota liekana.
Šaknų jautrumas ir kartotinumas
Skaitiniam šaknų ieškojimui didelę įtaką turi daugianario koeficientų jautrumas. Kartotinėse šaknyse tiek pats daugianaris, tiek jo išvestinė yra lygūs nuliui. Dėl šios priežasties korekcijos žingsnis iteracijų metu tampa mažiau stabilus.
Esant kartotinėms arba labai arti viena kitos esančioms šaknims, net ir nežymūs koeficientų pokyčiai gali lemti didelius pačių šaknų reikšmių pasikeitimus arba priversti vieną kartotinę šaknį išsiskirti į kelias gretimas šaknis kompleksinėje plokštumoje. Skaičiuoklė sugrupuoja šaknis ir nurodo jų kartotinumą tik tada, kai jų skaitinės reikšmės sutampa labai glaudžiai. Jei aptinkamas padidėjęs jautrumas, vartotojui rodomas įspėjimas: „Šaknys rastos, tačiau dėl kartotinių arba arti viena kitos esančių šaknų kai kurie rodomi skaitmenys yra jautrūs nedideliems koeficientų pokyčiams.“.
Hornerio metodas ir liekanų tikrinimas
Efektyviam daugianario $P(x)$ ir jo išvestinės $P'(x)$ apskaičiavimui Ehrlich–Aberth algoritmo iteracijose naudojamas Hornerio metodas. Šis metodas sumažina reikalingų daugybos operacijų skaičių, todėl sumažėja ir suapvalinimo klaidų kaupimasis.
Norint įsitikinti, kad gauta reikšmė r yra tikra šaknis, atliekamas skaitinis patikrinimas. Kadangi kompiuteriniai skaičiavimai atliekami su baigtiniu tikslumu, reikšmė $P(r)$ retai būna tiksliai lygi nuliui. Todėl skaičiuojama normalizuota liekana – nuo mastelio nepriklausomas rodiklis, rodantis paklaidos dydį santykyje su koeficientų dydžiu. Maža normalizuota liekana patvirtina, kad gautas skaitinis artinys yra patikimas.
Geometrinis vaizdavimas kompleksinėje plokštumoje
Daugianario šaknys gali būti realieji skaičiai arba kompleksiniai skaičiai, susidedantys iš realiosios ir tariamosios dalies (a + bi). Geometriškai šios šaknys yra vaizduojamos dvimatėje erdvėje – kompleksinėje plokštumoje, kur horizontali ašis žymi realiąją dalį, o vertikali ašis – tariamąją dalį.
Vizualus šaknų išsidėstymas leidžia greitai įvertinti sistemos stabilumą, simetriją (pavyzdžiui, realiuosius koeficientus turinčių daugianarių kompleksinės šaknys visada pasirodo jungtinėmis poromis a ± bi) ir jų atstumą nuo koordinačių pradžios taško.
Naudojimo taisyklės ir apribojimai
Kad skaičiuoklė veiktų korektiškai, įvestis turi atitikti šias taisykles:
- Laipsnio ribos: daugianario laipsnis turi būti nuo 1 iki 20.
- Koeficientų rėžiai: koeficientai turi būti bedimensiniai realieji skaičiai, kurių absoliutinė reikšmė neviršija 1e100 (|koeficientas| ≤ 1e100). Trupmenos (pavyzdžiui, 3/4) yra leidžiamos, tačiau vardiklyje negali būti 0.
- Įvesties ilgis: įvesties tekstas turi būti trumpesnis nei 600 simbolių.
- Formatas: reiškinys turi būti išskleistas (be skliaustų) ir naudoti tik vieną kintamąjį. Neleidžiama naudoti neigiamų ar trupmeninių laipsnių.
- Tikslumas: rodomų skaitmenų po kablelio nustatymas turi būti nuo 4 iki 12. Didesnis skaitmenų skaičius sugriežtina algoritmo stabdymo kriterijų, tačiau negali atkurti tikslumo, kuris buvo prarastas pradiniuose koeficientuose.
Duomenų apdorojimas ir privatumas
Visi skaičiavimai ir įvesti daugianariai yra apdorojami lokaliai, tiesiogiai vartotojo interneto naršyklėje. Įvesti duomenys ir skaičiavimų rezultatai niekada nėra siunčiami į jokius išorinius serverius, todėl užtikrinamas visiškas duomenų lokalumas.
Dažniausiai užduodami klausimai (DUK)
Ar šios šaknys yra tikslios?
Ne. Išskyrus tiesinę lygtį, rodomos šaknys yra skaitiniai artiniai. Didesnio nei 4 laipsnio lygtys neturi bendros radikalų formulės, o net ir žemesnio laipsnio formulės gali prarasti tikslumą esant sudėtingiems koeficientams. Naudokite liekaną ir jautrumo įspėjimą artinio kokybei įvertinti; naudokite kvadratinių lygčių skaičiuoklę, kai jums reikia tikslių trupmenų ar radikalų 2-ojo laipsnio lygčiai.
Ką galiu įvesti?
Naudokite realiuosius, bedimensinius koeficientus ir vieną kintamąjį su sveikųjų skaičių laipsniais iki 20. Reiškinys jau turi būti išskleistas, tačiau nariai gali būti nesurikiuoti arba būti abiejose lygybės ženklo pusėse. Koeficientų sąrašas pateikiamas nuo aukščiausio laipsnio iki laisvojo nario, jame turi būti įrašyti nuliai trūkstamiems laipsniams.
Kaip randamos aukštesnio laipsnio šaknys?
Skaičiuoklė pradeda nuo kelių deterministinių kompleksinių spėjimų rinkinių ir vienu metu tikslina kiekvieną spėjimą naudodama Ehrlich–Aberth algoritmą. Hornerio metodas efektyviai įvertina daugianarį ir jo išvestinę, o kiekviena gauta šaknis yra įstatoma atgal į pradinį daugianarį, kad būtų atliktas nuo mastelio nepriklausomas liekanos patikrinimas.
Kodėl kartotinės šaknys yra mažiau stabilios?
Kartotinėje šaknyje tiek daugianaris, tiek jo išvestinė yra lygūs nuliui. Tai susilpnina korekcijos žingsnį, todėl nežymūs koeficientų pokyčiai gali padalyti vieną kartotinę šaknį į kelias gretimas šaknis. Skaičiuoklė sugrupuoja šaknis tik tada, kai jų skaitinės reikšmės labai sutampa, ir išlaiko matomą kartotinumą.