Kvadratinė lygtis

Kvadratinė lygtis su realiaisiais koeficientais

Kvadratinė lygtis $a{x}^2+bx+c=0$ pakeičiama lygtimi $x^2+px+q=0,$ padalinus lygtį $a{x}^2+bx+c=0$ iš koeficiento a.

Duota kvadratinė lygtis:

$x^2+px+q=0.(1)$

Ją perrašome taip:

${(x+\frac{p}{2})}^2+(q-\frac{p^2}{4})=0.$

Čia ${(x+\frac{p}{2})}^2=x^2+px+\frac{p^2}{4}.$

Todėl:

${(x+\frac{p}{2})}^2=-(q-\frac{p^2}{4}),$

${(x+\frac{p}{2})}^2=\frac{p^2}{4}-q,$

$x+\frac{p}{2}=\pm \sqrt{\frac{p^2}{4}-q},$

$x=-\frac{p}{2}\pm \sqrt{\frac{p^2}{4}-q},$

$x=-\frac{p}{2}\pm \sqrt{\frac{1}{4}\cdot (p^2-4q)},$

$x=-\frac{p}{2}\pm \frac{1}{2}\cdot \sqrt{p^2-4q},$

$x=\frac{-p\pm \sqrt{p^2-4q}}{2}.$

$x_1=\frac{-p+\sqrt{p^2-4q}}{2};x_2=\frac{-p-\sqrt{p^2-4q}}{2}.$

Kai lygties $x^2+px+q=0$ diskriminantas $D=p^2-4q$ daugiau už nulį (D>0). tai lygtis (1) turi dvi realiąsias šaknis. Kai lygties (1) diskriminantas lygus nuliui (D=0), tai lygtis (1) turi dvi vienodas realiąsias šaknis. Kai lygties (1) diskriminantas yra mažesnis už nulį (D<0), tai (1) lygtis turi dvi kompleksines jungtines šaknis.

• Pavyzdis. Rasti sprendinius lygties

$x^2-8x+25=0.$

Sprendimas.

$D=b^2-4ac=(-8{)}^2-4\cdot 1\cdot 25=64-100=-36=36i^2,$

$x_1=\frac{-b+\sqrt{D}}{2}=\frac{-(-8)+\sqrt{36i^2}}{2}=\frac{8+6i}{2}=4+3i,$

$x_2=\frac{-b-\sqrt{D}}{2}=\frac{-(-8)-\sqrt{36i^2}}{2}=\frac{8-6i}{2}=4-3i.$

Patikriname, kad

$(4+3i{)}^2-8(4+3i)+25=0,$

$16+2\cdot 4\cdot 3i+(3i{)}^2-32-24i+25=0,$

$16+24i-9-32-24i+25=0,$

$16-41+25=0$

ir

$(4-3i{)}^2-8(4-3i)+25=0,$

$16-2\cdot 4\cdot 3i+(-3i{)}^2-32+24i+25=0,$

$16-24i-9-32+24i+25=0,$

$16-41+25=0.$

Bet kokio laipsnio lygties su realiaisiais koeficientais išskaidymas paprasčiausiais daugikliais

Tegu duota n-to laipsnio lygtis

$b_0{x}^n+b_1{x}^{n-1}+b_2{x}^{n-2}+...+x{b}_{n-1}+b_n=0.$

Padaliję šią lygtį iš koeficiento $b_0$ gausime redukuotą n-to laipsnio lygtį:

$x^n+a_1{x}^{n-1}+a_2{x}^{n-2}+...+x{a}_{n-1}+a_n=0;(2)$

čia $a_1=\frac{b_1}{b_0},a_2=\frac{b_2}{b_0},...,a_{n-1}=\frac{b_{n-1}}{b_0},a_n=\frac{b_n}{b_0}.$

Jei (2) lygties laipsnis n yra nelyginis skaičius, tai (2) lygtis turi bent vieną realiąją šaknį. Iš tiesų, padaliję (2) lygtį iš $x^{n-1}$ gausime:

$x+a_1+\frac{a_2}{x}+\frac{a_3}{x^2}+...+\frac{a_{n-1}}{x^{n-2}}+\frac{a_n}{x^{n-1}}=0.(3)$

Kai x reikšmė teigiama ir labai didelė ($x\to \mathrm{\infty }$), tai (3) lygties polinomas

$f(x)=x+a_1+\frac{a_2}{x}+\frac{a_3}{x^2}+...+\frac{a_{n-1}}{x^{n-2}}+\frac{a_n}{x^{n-1}}(4)$

yra teigiamas realusis skaičius. O kai x reikšmė neigiama, bet jos modulis yra labai didelis ($x\to -\mathrm{\infty }$), tai (4) polinomas yra neigiamas realusis skaičius. Kadangi (4) polinomas f(x) yra tolydi funkcija, tai tarp šių neigiamos ir teigiamos reikšmių yra toks taškas $x_1,$ kuriame $f(x_1)=0,$ t. y. polinomas f(x) turi bent vieną realiąją šaknį.

Polinomą su realiaisiais koeficientais

$f(x)=x^n+a_1{x}^{n-1}+a_2{x}^{n-2}+...+x{a}_{n-1}+a_n(5)$

galima išskaidyti neskaidžiais daugikliais realiųjų skaičių kūne šitaip:

$f(x)=x^n+a_1{x}^{n-1}+a_2{x}^{n-2}+...+x{a}_{n-1}+a_n=$

$=(x-x_1{)}^{{\alpha }_1}(x-x_2{)}^{{\alpha }_2}(x-x_3{)}^{{\alpha }_3}...(x-x_s{)}^{{\alpha }_s}(x^2+p_{1}x+q_1{)}^{{\lambda }_1}(x^2+p_{2}x+q_2{)}^{{\lambda }_2}(x^2+p_{3}x+q_3{)}^{{\lambda }_3}...(x^2+p_{t}x+q_t{)}^{{\lambda }_t}.(6)$

Čia $x_1,x_2,x_3,...,x_s$ yra polinomo (6) šaknys, kurių kartotinumas atitinkamai yra ${\alpha }_1,{\alpha }_2,{\alpha }_3,...,{\alpha }_s.$ Kvadratiniai polinomai $x^2+p_{k}x+q_k$ su $k=1,2,3,...,t,$ neturi realiųjų šaknų, o ${\lambda }_1,{\lambda }_2,{\lambda }_3,...,{\lambda }_t$ yra šių kvadratinių polinomų atitinkamas laipsnis, kuris gali būti 0 arba natūralusis skaičius.

Iš aukščiau žinome, kad kvadratinių trinarių $x^2+p_{k}x+q_k$ neturinčių realiųjų šaknų diskriminantas yra neigiamas skaičius (D<0) ir kad jų šaknys yra kompleksiniai jungtiniai skaičiai. Kad tuo įsitikinti tarkime, kad polinomo $x^2+px+q$ viena šaknis yra $x_0=u+iv,$ o kita $\overline{x_0}=u-iv.$ Tada polinomą $x^2+px+q$ galima išskaidyti tokia sandauga:

$x^2+px+q=(x-x_0)(x-\overline{x_0})=(x-u-iv)(x-u+iv)=(x-u{)}^2-(iv{)}^2=x-2ux+u^2+v^2.(7)$

Pažymėję $p=-2u$ ir $q=u^2+v^2,$ gavome, kad polinomo $x^2+px+q$ koeficientai yra realieji skaičiai ir kad šis kvadratinis polinomas turi dvi jungtines kompleksines šaknis $x_0=u+iv$ ir $\overline{x_0}=u-iv.$

Iš to galima padaryti išvada, kad (5) polinomas n-to laipsnio su realiaisiais koeficientais visada turi arba visas realiąsias šaknis, arba, jei jo laipsnis yra nelyginis skaičius, bent vieną realiąją šaknį, o kitas kompleksines jungtines šaknis. Arba, jei (5) polinomo laipsnis yra lyginis skaičius, turi dalį realiųjų šaknų ir dalį kompleksinių jungtinių šaknų, arba turi vien tik kompleksines jungtines šaknis.

Bet kuriuo atveju n-to laipsnio polinomas f(x) turi n šaknų, jei skaičiuot visas realiąsias šaknis ir visas kompleksines jungtines šaknis tiek kartų koks yra tų šaknų kartotinumas.

Dabar galime (6) polinomą [kompleksinių skaičių kūne] išskaidyti tiesiniais (pirmo laipsnio) daugikliais, pažymėję kiekvieno polinomo $x^2+p_{k}x+q_k$ ($k=1,2,3,...,t$) jungtines kompleksines šaknis per $y_k=u_k+i{v}_k$ ir $\overline{y_k}=u_k-i{v}_k$ ($k=1,2,3,...,t$). Tada šis kvadratinis polinomas užrašomas taip:

$x^2+p_{k}x+q_k=(x-y_k)(x-\overline{y_k}).$

O (6) polinomas f(x) su realiaisiais koeficientais išskaidomas ir užrašomas taip:

$f(x)=x^n+a_1{x}^{n-1}+a_2{x}^{n-2}+...+x{a}_{n-1}+a_n=$

$=(x-x_1{)}^{{\alpha }_1}(x-x_2{)}^{{\alpha }_2}(x-x_3{)}^{{\alpha }_3}...(x-x_s{)}^{{\alpha }_s}(x^2+p_{1}x+q_1{)}^{{\lambda }_1}(x^2+p_{2}x+q_2{)}^{{\lambda }_2}(x^2+p_{3}x+q_3{)}^{{\lambda }_3}...(x^2+p_{t}x+q_t{)}^{{\lambda }_t}=$

$=(x-x_1{)}^{{\alpha }_1}(x-x_2{)}^{{\alpha }_2}(x-x_3{)}^{{\alpha }_3}...(x-x_s{)}^{{\alpha }_s}(x-y_1{)}^{{\lambda }_1}(x-\overline{y_1}{)}^{{\lambda }_1}(x-y_2{)}^{{\lambda }_2}(x-\overline{y_2}{)}^{{\lambda }_2}(x-y_3{)}^{{\lambda }_3}(x-\overline{y_3}{)}^{{\lambda }_3}...(x-y_t{)}^{{\lambda }_t}(x-\overline{y_t}{)}^{{\lambda }_t}.(8)$

Čia $x_1,x_2,x_3,...,x_s$ yra polinomo (8) realiosios šaknys, kurių kartotinumas atitinkamai yra ${\alpha }_1,{\alpha }_2,{\alpha }_3,...,{\alpha }_s.$ O $y_1,\overline{y_1},y_2,\overline{y_2},...,y_t,\overline{y_t}$ yra kompleksinės polinomo (8) šaknys, kurių kartotinumas atitinkamai yra ${\lambda }_1,{\lambda }_1,{\lambda }_2,{\lambda }_2,...,{\lambda }_t,{\lambda }_t.$

Be to, ${\alpha }_1+{\alpha }_2+{\alpha }_3+...+{\alpha }_s+2{\lambda }_1+2{\lambda }_2+2{\lambda }_3+...+2{\lambda }_t=n.$ T. y. visų (8) polinomo f(x) tiesinių daugiklių laipsnių suma lygi (8) polinomo f(x) laipsniui n.

Kvadratinė lygtis su kompleksiniais koeficientais

Kvadratinė lygtis su kompleksiniais koeficientais niekada neturi šaknų, kurios būtų kompleksiniai jungtiniai skaičiai (žiūrėti (7) išskaidymą). Taip pat kvadratinė lygtis su kompleksiniais koeficientais niekada neturi dviejų realiųjų šaknų, nes dauginant tiesinius daugiklius $(x-x_1)(x-x_2)$ (kur $x_1$ ir $x_2$ realiosios šaknys kvadratinės lygties $x^2+px+q$), kuriuose yra tik realiejie skaičiai ($x_1$ ir $x_2$), niekada nebus gauti iš realiųjų skaičių kompleksiniai skaičiai (p ir q). Nes nėra tokių realiųjų skaičių, kuriuos sudauginus gautųsi kompleksinis skaičius.

• Pavyzdys. Išspręsti lygtį

$x^2-3x+(3-i)=0.$

Pasinaudoję formule

$x_{1,2}=\frac{-p\pm \sqrt{p^2-4q}}{2},$ gauname:

$x_{1,2}=\frac{-(-3)\pm \sqrt{3^2-4(3-i)}}{2}=\frac{3}{2}\pm \frac{1}{2}\sqrt{9-12+4i}=\frac{3}{2}\pm \frac{1}{2}\sqrt{-3+4i}.$

Pasinaudosime šaknies traukimo formule

$\sqrt{a_1+a_{2}i}=\pm (\sqrt{\frac{a_1+\sqrt{a_1^2+a_2^2}}{2}}+i\sqrt{\frac{-a_1+\sqrt{a_1^2+a_2^2}}{2}}),\text{kai}{a}_2>0.$

Tada

$\sqrt{-3+4i}=\pm (\sqrt{\frac{-3+\sqrt{(-3{)}^2+4^2}}{2}}+i\sqrt{\frac{-(-3)+\sqrt{(-3{)}^2+4^2}}{2}})=$

$=\pm (\sqrt{\frac{-3+\sqrt{9+16}}{2}}+i\sqrt{\frac{3+\sqrt{9+16}}{2}})=$

$=\pm (\sqrt{\frac{-3+\sqrt{25}}{2}}+i\sqrt{\frac{3+\sqrt{25}}{2}})=\pm (\sqrt{\frac{-3+5}{2}}+i\sqrt{\frac{3+5}{2}})=$

$=\pm (\sqrt{\frac{2}{2}}+i\sqrt{\frac{8}{2}})=\pm (\sqrt{1}+i\sqrt{4})=\pm (1+2i).$

Patikriname:

$(1+2i{)}^2=1+2\cdot 2i+(2i{)}^2=1+4i-4=-3+4i.$

Įstatę $\pm (1+2i)$ vietoje $\sqrt{-3+4i},$ gauname:

$x_{1,2}=\frac{3}{2}\pm \frac{1}{2}\sqrt{-3+4i}=\frac{3}{2}\pm \frac{1}{2}(1+2i);$

$x_1=\frac{3}{2}+\frac{1}{2}(1+2i)=\frac{3}{2}+\frac{1}{2}+i=\frac{4}{2}+i=2+i;$

$x_2=\frac{3}{2}-\frac{1}{2}(1+2i)=\frac{3}{2}-\frac{1}{2}-i=\frac{2}{2}-i=1-i.$

Patikriname:

$x^2-3x+(3-i)=0,$

$(2+i{)}^2-3(2+i)+(3-i)=0,$

$4+4i+i^2-6-3i+(3-i)=0,$

$4+4i-1-6-3i+3-i=0,$

$7+4i-7-3i-i=0;$

$(1-i{)}^2-3(1-i)+(3-i)=0,$

$1-2i+i^2-3+3i+(3-i)=0,$

$1-2i-1-3+3i+3-i=0,$

$-2i+3i-i=0.$

Kvadratinė lygtis su kompleksiniais koeficientais gali turėti vieną šaknį realiąją, o kitą kompleksinę. Tokia lygtis, pavyzdžiui, yra ši:

$(x-1)(x-i)=x^2-x-ix+i=x^2-(1+i)x+i=0;$

čia $x_1=1,x_2=i.$

Bet kokio laipsnio lygtis su kompleksiniais koeficientais

Tegu turime n-to laipsnio lygtį

$x^n+a_1{x}^{n-1}+a_2{x}^{n-2}+...+a_{n-1}x+a_n=0,(9)$

kurios paskutinis koeficientas (laisvasis narys) $a_n$ yra kompleksinis skaičius, o visi kiti (9) lygties koeficientai yra realieji skaičiai. Tada išeina, kad (9) lygtis turi bent vieną kompleksinę šaknį (nes dauginant realiuosius skaičius negalima gaut kompleksinio skaičiaus). Pažymėkime tą kompleksinę šaknį $x_1.$ Jei įstatysime $x_1$ šaknį į (9) lygties polinomą be laisvojo nario $a_n,$ tai gausime

$f_1(x_1)=x_1^n+a_1{x}_1^{n-1}+a_2{x}_1^{n-2}+...+a_{n-1}{x}_1=-a_n.(10)$

O jeigu įstatysime į polinomą

$f_1(x)=x^n+a_1{x}^{n-1}+a_2{x}^{n-2}+...+a_{n-1}x(11)$

vietoje x, skaičiaus $x_1$ jungtinį kompleksinį skaičių $\overline{x_1},$ tai, pagal jungtinių kompleksinių skaičių savybes, gausime

$f_1(\overline{x_1})=\stackrel{n}{\stackrel{‾}{x_1}}+a_1\stackrel{n-1}{\overline{x_1}}+a_2\stackrel{n-2}{\overline{x_1}}+...+a_{n-1}\overline{x_1}=-\overline{a_n}.(12)$

Iš (12) akivaizdu, kad $\overline{x_1}$ nėra lygties (9) šaknis, nes

$-\overline{a_n}+a_n\ne 0.(13)$

Bet jeigu paskutinį (9) lygties kompleksinį koeficientą $a_n$ pakeisime jam jungtiniu kompleksiniu koeficientu $\overline{a_n},$ tai $\overline{x_1}$ bus (9) lygties šaknimi. Ši taisyklė galioja ir kai visi (9) lygties koeficientai yra kompleksiniai skaičiai, ir kai tik dalis (9) lygties koeficientų yra kompleksiniai skaičiai. Tai yra, jeigu

$x_1^n+a_1{x}_1^{n-1}+a_2{x}_1^{n-2}+...+a_{n-1}{x}_1+a_n=0,(14)$

tai

$\stackrel{n}{\stackrel{‾}{x_1}}+\overline{a_1}\cdot \stackrel{n-1}{\overline{x_1}}+\overline{a_2}\cdot \stackrel{n-2}{\overline{x_1}}+...+\overline{a_{n-1}}\cdot \overline{x_1}+\overline{a_n}=0.(15)$

Šis rezultatas išpaukia iš jungtinių kompleksinių skaičių savybių, kaip parašyta žemiau.

Jeigu skaičius $\alpha$ kokiu nors budu išreikštas per kompleksinius skaičius ${\beta }_1,{\beta }_2,...,{\beta }_n$ taikant sudėtį, daugybą, atimtį ir dalybą, tai pakeičiant visus skaičius ${\beta }_k$ į jiems jungtinius (pakeičiant ${\beta }_k$ į $\overline{{\beta }_k}$), mes gausime skaičių jungtinį skaičiui $\alpha$ (gausime $\bar{\alpha }$).

Savaime aišku, kompleksinis skaičius lygus nuliui tada ir tik tada, kai jo jungtinis skaičius lygus nuliui.

Realieji skaičiai yra patys sau jungtiniai.

Todėl, jei (9) lygtis turi bent vieną kompleksinį koeficientą, ji turi ir bent vieną kompleksinę šaknį. Ir bendru atveju (9) lygtis su visais ar dalim kompleksinių koeficientų (kai kita dalis lygties (9) koeficientų yra realieji skaičiai) gali neturėti jungtinių kompleksinių šaknų, o tik atskiras (nejungtines) kompleksines šaknis ir realiąsias šaknis. Taipogi lygtis (9) su visais ar dalim kompleksinių koeficientų gali turėti ir nejungtines kompleksines šaknis, ir jungtines kompleksines šaknis, ir realiąsias šaknis.

Pastebėsime, kad jei (9) lygties laisvasis narys $a_n$ yra kompleksinis skaičius, o visi kiti jos koeficientai yra realieji skaičiai, tai (9) lygtis neturi jungtinių kompleksinių sprendinių ir neturi nei vieno realiojo sprendinio (nes keliant laipsniu realųjį sprendinį [jei tarsim, kad toks yra] ir visus laipsnius, padaugintus iš realiųjų koeficientų, sudedant negausime $-a_n$ kompleksinio skaičiaus). Tada visi tokios lygties sprendiniai (šaknys) yra nejungtiniai kompleksiniai skaičiai.

Bet kuriuo atveju n-to laipsnio polinomas

$f(x)=x^n+a_1{x}^{n-1}+a_2{x}^{n-2}+...+x{a}_{n-1}+a_n(16)$

su kompleksiniais koeficientais turi n šaknų. Žinoma, (16) polinomas gali turėti tik vieną kompleksinę šaknį, o visos kitos šaknys gali būti realieji skaičiai. Nes, pavyzdžiui, įmanomas toks (16) polinomo išskaidymas (pirmo laipsnio daugikliais), kai n=4:

$f(x)=x^4+a_1{x}^3+a_2{x}^2+x{a}_3+a_4=(x-x_1)(x-x_2)(x-x_3)(x-y_4);(17)$

čia $x_1,x_2,x_3$ yra realiosios (17) polinomo f(x) šaknys, o $y_4$ yra kompleksinė (17) polinomo f(x) šaknis.

Polinomų šaknų išreiškimas per tų polinomų koeficientus

Tiktai kvadratinės lygties, kūbinės lygties ir ketvirto laipsnio lygties šaknis (sprendinius) galima išreikšti per tų lygčių koeficientus. Algebroje yra įrodyta, kad penkto laipsnio ir aukštesnių laipsnių lygčių šaknis negalima išreikšti per savo koeficientus, taikant įvairaus laipsnio šaknis (sakoma, negalima išreikšti šaknis (sprendinius) per radikalus), kaip tai daroma su antro, trečio ir ketvirto laipsnio lygtimis.

Bet yra apytikslių bet kokio laipsnio polinomų šaknų radimo metodų, taikant kuriuos galima rasti šaknis bet kokiu norimu tikslumu. Šie metodai pagrinde taikomi polinomams su realiaisiais koeficientais ir randa tik realiąsias šaknis (nes jų dažniausiai ir reikia). Kompleksinių šaknų radimo metodai yra griozdiški.