Peržiūrėti šaltinį Kubinės lygties sprendimas be kompleksinių skaičių


:https://www.journals.vu.lt/LMR/article/view/14970/13988


:Yra įrodyta, kad kubinės ir ketvirto laipsnio lygtys gali būti išspręstos be kompleksinių skaičių ir išvestinių panaudojimo (randami tik realieji sprendiniai). Bus pateikti atitinkami algoritmai.

==Kubinės lygtys==

:Bendra forma kubinės lygties yra 
:<math>ax^3 +bx^2 +cx +d=0 \quad (a\neq 0).\quad (1)</math>
:Padalinus šią lygtį iš <math>a\neq 0,</math> gaunama lygtis, taip pat vadinama bendros formos:
:<math>x^3 +bx^2 +cx +d=0.\quad (2)</math>
:(2) lygtis gali būti perdaryta/suprastina įvedus naują kintamąjį ''y'', kad <math>x=y+k.</math> Skaičius ''k'' pasirenkamas taip, kad (2) lygtis neturėtų antro laipsnio nario (<math>bx^2</math>). Iš tikro, po įstatymo <math>x=y+k,</math> tiktai iš <math>x^3</math> ir <math>bx^2</math> gaunamas ''y'' kvadratas (padaugintas iš konstantos).
:<math>x^3 +bx^2 +cx +d=0.\quad (2)</math>
:<math>(y+k)^3 +b(y+k)^2 +c(y+k) +d=0,</math>
:<math>(y^3 +3y^2k +3yk^2 +k^3) +b(y^2+2yk +k^2) +c(y+k) +d=0,</math>
:<math>(y^3 +3yk^2 +k^3)+ [3y^2k +by^2] +b(2yk +k^2) +c(y+k) +d=0.</math>
:Igriko kvadratas išnyks, kai <math>[3y^2k +by^2]=0</math> arba <math>3k+b=0.</math> Tada <math>k=-b/3.</math>
:Tai galima gauti ir taip:
:<math>x^3 +bx^2=x^2(x+b)=(y+k)^2 (y+k+b)=(y^2+2yk +k^2)(y+k+b);</math>
:sandaugoje <math>(y^2+2yk +k^2)(y+k+b)</math> tik <math>ky^2 +by^2+2y^2 k=3ky^2+by^2</math> turi <math>y^2.</math> Todėl <math>y^2</math> išnyks, jeigu <math>3k+b=0,</math> t. y. jeigu <math>k=-b/3.</math>
:Gauta lygtis vadinama redukuota (nežinomasis vėl yra ''x''):
:<math>x^3 +px +q=0.\quad (3)</math>

==Sprendinių skaičius==

:Kubinė lygtis (3) visada turi bent vieną sprendinį. Funkcija <math>f(x)=x^3 +px +q</math> yra teigiamai su pakankamai dideliais ''x'' ir neigiama su dideliais neigiamais ''x''. Todėl f(x) funkcijos grafikas kerta ''Ox'' ašį. 
:Kubinė lygtis gali turėti vieną, du ar trys sprendinius – pavyzdžiui, lygtys
:<math>(x-1)^3=0, \quad (x-1)^2 (x-2)=0, \quad (x-1)(x-2)(x-3)=0</math>
:turi atitinkamai sprendinius <math>\{1 \}, \;\; \{1, \; 2 \}, \;\; \{1, \; 2, \; 3 \}.</math>
:Daugiau nei 3 sprendinius kubinė lygtis negali turėti. Tarkim, kad lygtis (3) turi sprendinį <math>\alpha.</math> Tai reiškia, kad <math>\alpha^3 +p\alpha +q=0.</math> Dabar (3) lygtį lengva išskaidyti (faktorizuoti) 
:<math>x^3 +px +q=x^3 +px +q -\alpha^3 -p\alpha -q=x^3 -\alpha^3 +px -p\alpha=(x-\alpha)(x^2 +x\alpha +\alpha^2 +p).</math>
:Taigi kitus sprendinius lygties (3) rasime išsprenę kvadratinę lygtį (nuo nežinomojo x)
:<math>x^2 +x\alpha +\alpha^2 +p=0. \quad (4)</math>
:Lygtis (4) gali turėti 0 arba 1, arba 2 sprendinius, kurie nėra <math>\alpha.</math> Šie sprendiniai taip pat bus sprendiniais (3) lygties.
:[<math>x^3 +px +q=0. \quad (3)</math>]
:Matome, kad žinant bent vieną (3) lygties spreninį, galima rasti visus kitus (3) lygties sprendinius iš (4) lygties. Štai kodėl labai lengva spręsti kubinę lygtį, kuri turi racionalų sprendinį. Beje, galima lengvai surasti bet kokio laipsnio lygties sprendinius, kai jos koeficientai yra racionalieji skaičiai. Pavyzdžiui, jeigu lygties koeficientai yra sveikieji skaičiai ir pirmas koeficientas yra 1 (tokią formą galima suteikti bet kokiai lygčiai su racionaliais koeficientais), tada racionalieji sprendiniai gali būti tik sveikieji skaičiai – teigiami ir neigiami dalikliai laisvojo nario (kubinėje lygtyje (3) laisvasis narys yra ''q''; [http://mathworld.wolfram.com/CubicFormula.html žr. čia]). Todėl apsimoka sprendžiant bet kokią lygtį su racionaliaisiais koeficientais, pradėti lygties sprendimą nuo racionaliųjų sprendinių ieškojimo.

==Atvejis, kai p>0.==

:Kubinė lygtis (3) gali būti toliau suprastinta, padarius koeficiento <math>p\neq 0</math> modulį lygų 3 (kai p=0, tada lygtis (3) tampa <math>x^3=-q,</math> turinti sprendinį <math>x=-\sqrt[3]{q}</math>).
:Vėl mes panaudojame paprastą, tiesinį keitinį <math>x=ky</math> ir tinkamai parinksime ''k''. Mūsų (3) lygtis konvertuojama į
:<math>k^3 y^3 +pky +q=0, \quad  y^3 +py/k^2 +q/k^3=0.</math>
:Atveju <math>p>0,</math> pasirenkame ''k'' taip:
:<math>p/k^2 =3, \;\; p/3=k^2, \;\; k=\sqrt{p/3}.</math>
:Todėl su tokiu ''k'', koeficientas prie ''y'' tampa lygus 3.
:<math>x=ky=\sqrt{p/3} \; y,</math>
:<math>q/k^3=q/(\sqrt{p/3})^3=\frac{q}{\sqrt{p^3/(3\cdot 9)}}=\frac{3q}{p\sqrt{p/3}}=\frac{3\sqrt{3}q}{p\sqrt{p}}.</math>
:Pažymėkime 
:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{p}}.</math>
:Tada mes turime lygtį (gautą iš lygties <math>y^3 +py/k^2 +q/k^3=0</math>):
:<math>y^3 +py/k^2 +q/k^3=0,</math>
:<math>y^3 +3y -2m=0, \quad (5)</math>
:kurioje <math>p/k^2 =3, \;\; \frac{3\sqrt{3}q}{p\sqrt{p}}=-2m.</math>
:Dabar mes bandysime rasti sprendinius, parinkę keitinį <math>y=z-1/z:</math>
:<math>(z-1/z)^3 +3(z-1/z) -2m=0,</math>
:<math>(z^3-3z^2\cdot 1/z +3z\cdot 1/z^2 -1/z^3) +3(z-1/z) -2m=0,</math>
:<math>(z^3-3z +3/z -1/z^3) +3z-3/z -2m=0,</math>
:<math>(z^3 -1/z^3) -2m=0,</math>
:<math>z^3 -1/z^3 -2m=0, \quad |\cdot z^3</math>
:<math>z^6 -1 -2mz^3=0,</math>
:<math>z^6 -2mz^3=1,</math>
:<math>z^6 -2mz^3 +m^2=1+m^2,</math>
:<math>(z^3 -m)^2 =1+m^2,</math>
:<math>z^3 -m =\pm \sqrt{1+m^2},</math>
:<math>z^3 =m\pm \sqrt{1+m^2},</math>
:<math>z =\sqrt[3]{m\pm \sqrt{1+m^2}}.</math>
:Abi šios ''z'' reikšmės duoda tą patį sprendinį (5) lygties.

:<math>y=z-1/z =\sqrt[3]{m+ \sqrt{1+m^2}} -\frac{1}{\sqrt[3]{m+ \sqrt{1+m^2}}}=</math>
:<math>=\sqrt[3]{m+ \sqrt{1+m^2}} -\frac{\sqrt[3]{m- \sqrt{1+m^2}}}{\sqrt[3]{m+ \sqrt{1+m^2}} \cdot \sqrt[3]{m- \sqrt{1+m^2}}}= \sqrt[3]{m+ \sqrt{1+m^2}} -\frac{\sqrt[3]{m- \sqrt{1+m^2}}}{\sqrt[3]{m^2- (\sqrt{1+m^2})^2}}=</math>
:<math>= \sqrt[3]{m+ \sqrt{1+m^2}} -\frac{\sqrt[3]{m- \sqrt{1+m^2}}}{\sqrt[3]{m^2- (1+m^2)}}= \sqrt[3]{m+ \sqrt{1+m^2}} -\frac{\sqrt[3]{m- \sqrt{1+m^2}}}{-1}=</math>
:<math>= \sqrt[3]{m+ \sqrt{1+m^2}} +\sqrt[3]{m- \sqrt{1+m^2}};</math>


:<math>y=z-1/z =\sqrt[3]{m- \sqrt{1+m^2}} -\frac{1}{\sqrt[3]{m- \sqrt{1+m^2}}}=</math>
:<math>=\sqrt[3]{m- \sqrt{1+m^2}} -\frac{\sqrt[3]{m+ \sqrt{1+m^2}}}{\sqrt[3]{m+ \sqrt{1+m^2}} \cdot \sqrt[3]{m- \sqrt{1+m^2}}}= \sqrt[3]{m- \sqrt{1+m^2}} -\frac{\sqrt[3]{m+ \sqrt{1+m^2}}}{\sqrt[3]{m^2- (\sqrt{1+m^2})^2}}=</math>
:<math>= \sqrt[3]{m- \sqrt{1+m^2}} -\frac{\sqrt[3]{m+ \sqrt{1+m^2}}}{\sqrt[3]{m^2- (1+m^2)}}= \sqrt[3]{m- \sqrt{1+m^2}} -\frac{\sqrt[3]{m+ \sqrt{1+m^2}}}{-1}=</math>
:<math>= \sqrt[3]{m- \sqrt{1+m^2}} +\sqrt[3]{m +\sqrt{1+m^2}}.</math>


:Taigi, abiais atvejais (su dviem skirtingom z reikšmėm) gavome tą patį sprendinį
:<math>y= \sqrt[3]{m+ \sqrt{1+m^2}} +\sqrt[3]{m- \sqrt{1+m^2}}.</math>
:Tai skiriasi nuo sprendinio iš PDF failo, kuris yra toks:
:<math>y= \sqrt[3]{\sqrt{m^2 +1} +m} +\sqrt[3]{\sqrt{m^2 +1} -m}.</math>

:Įsitikinkime, kad (5) lygtis neturiu daugiau sprendinių. Pagal (4) lygtį (iš (5) lygties), dabar turime:
:[<math>x^2 +x\alpha +\alpha^2 +p=0. \quad (4)</math>]
:[<math>y^3 +3y -2m=0, \quad (5)</math>]
:<math>y^2 +y\alpha +\alpha^2 +3=0, \quad (5.1)</math>
:kur 
:<math>\alpha= \sqrt[3]{m+ \sqrt{1+m^2}} +\sqrt[3]{m- \sqrt{1+m^2}}.</math>
:Diskriminantas (5.1) lygties lygus
:<math>D=\alpha^2 - 4(\alpha^2 +3)= -3\alpha^2 -12 <0.</math>
:Kadangi diskriminantas neigiamas, (5) lygtis daugiau sprendinių neturi. Todėl (3) lygtis, atveju p>0, turi tik vieną sprendinį. Mes rasime jį perėję nuo ''y'' prie <math>x=y\sqrt{p/3}.</math>

:Rasime kam lygus ''x'' (kuris yra sprendinys (3) lygties).
:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{p}}.</math>
:<math>y= \sqrt[3]{m+ \sqrt{1+m^2}} +\sqrt[3]{m- \sqrt{1+m^2}}.</math>
:<math>x=ky=\sqrt{p/3} \; y= \sqrt{p/3} \left(\sqrt[3]{m+ \sqrt{1+m^2}} +\sqrt[3]{m- \sqrt{1+m^2}} \right)=</math>
:<math>= \sqrt{p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}+ \sqrt{1+\left(-\frac{3\sqrt{3}q}{2p\sqrt{p}} \right)^2}} +\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}- \sqrt{1+\left(-\frac{3\sqrt{3}q}{2p\sqrt{p}} \right)^2}} \right)=</math>

:<math>= \sqrt{p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}+ \sqrt{1+\frac{9\cdot 3q^2}{4p^2 \cdot p}}} +\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}- \sqrt{1+\frac{9\cdot 3q^2}{4p^2 \cdot p} }} \right)=</math>

:<math>= \sqrt{p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}+ \sqrt{1+\frac{27q^2}{4p^3}}} +\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}- \sqrt{1+\frac{27q^2}{4p^3} }} \right)=</math>

:<math>= \sqrt{p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}+ \sqrt{\frac{4p^3 +27q^2}{4p^3}}} +\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{p}}- \sqrt{\frac{4p^3 +27q^2}{4p^3} }} \right)=</math>

:<math>=  \left(\sqrt[3]{-\sqrt{\frac{p^3}{3^3}}\frac{3\sqrt{3}q}{2p\sqrt{p}}+ \sqrt{\frac{p^3}{3^3}}\sqrt{\frac{4p^3 +27q^2}{4p^3}}} +\sqrt[3]{-\sqrt{\frac{p^3}{3^3}}\frac{3\sqrt{3}q}{2p\sqrt{p}}- \sqrt{\frac{p^3}{3^3}}\sqrt{\frac{4p^3 +27q^2}{4p^3} }} \right)=</math>

:<math>=  \sqrt[3]{-\frac{p\sqrt{p}}{3\sqrt{3}}\frac{3\sqrt{3}q}{2p\sqrt{p}}+ \frac{p\sqrt{p}}{3\sqrt{3}}\sqrt{\frac{4p^3 +27q^2}{4p^3}}} +\sqrt[3]{-\frac{p\sqrt{p}}{3\sqrt{3}}\frac{3\sqrt{3}q}{2p\sqrt{p}}- \frac{p\sqrt{p}}{3\sqrt{3}}\sqrt{\frac{4p^3 +27q^2}{4p^3} }} =</math>

:<math>=  \sqrt[3]{-\frac{q}{2}+ \frac{1}{3\sqrt{3}}\sqrt{\frac{4p^3 +27q^2}{4}}} +\sqrt[3]{-\frac{q}{2}- \frac{1}{3\sqrt{3}}\sqrt{\frac{4p^3 +27q^2}{4} }} =</math>

:<math>=  \sqrt[3]{-\frac{q}{2}+ \sqrt{\frac{4p^3 +27q^2}{4\cdot 27}}} +\sqrt[3]{-\frac{q}{2}- \sqrt{\frac{4p^3 +27q^2}{4\cdot 27} }} =</math>

:<math>= \sqrt[3]{-\frac{q}{2}+ \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } +\sqrt[3]{-\frac{q}{2}- \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } .</math>

==Atvejis, kai p<0.==

:Sunkiau išspręsti (3) lygtį, kai ''p'' yra neigiamas. Ir vėl panaudojame keitinį <math>x=ky.</math> Dabar lygtyje
:<math>y^3 +py/k^2 +q/k^3=0</math>
:pasirenkame ''k'', kad <math>p/k^2=-3,</math>
:<math>-p/3=k^2,</math>
:<math>k=\sqrt{-p/3}.</math>
:Pošaknyje yra teigiamas skaičius, nes ''p''<0.
:<math>q/k^3=q/(\sqrt{-p/3})^3=\frac{q}{\sqrt{-p^3/(3\cdot 9)}}=\frac{3q}{p\sqrt{-p/3}}=\frac{3\sqrt{3}q}{p\sqrt{-p}};</math>
:<math>\frac{3\sqrt{3}q}{p\sqrt{-p}}=q/k^3=-2m;</math>
:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{-p}}.</math>
:Pažymėję laisvajį narį per -2m, gauname lygtį
:<math>y^3 -3y -2m=0 .\quad (6)</math>
:Panaudojame keitinį <math>y=z+1/z:</math>
:<math>(z+1/z)^3 -3(z+1/z) -2m=0 ,</math>
:<math>(z^3 +3z^2\cdot 1/z +3z\cdot 1/z^2 +1/z^3) -3(z+1/z) -2m=0 ,</math>
:<math>(z^3 +3z +3/z +1/z^3) -3(z+1/z) -2m=0 ,</math>
:<math>(z^3 +3z +3/z +1/z^3) -3z-3/z -2m=0 ,</math>
:<math>(z^3 +1/z^3) -2m=0 ,</math>
:<math>z^3 +1/z^3 -2m=0 , \;\; |\cdot z^3</math>
:<math>z^6 +1 -2mz^3=0 , </math>
:<math>z^6 -2mz^3=-1, </math>
:<math>z^6 -2mz^3 +m^2=m^2-1, </math>
:<math>(z^3 -m)^2=m^2-1. \quad (7) </math>
:Lygtis (7) nevisada turi sprendinius ir reikia išnagrinėti trys atvejus: <math>m^2 >1, \;</math> <math>m^2 =1 \;</math> ir <math> \; m^2 <1.</math>

===Atvejis p<0, m*m>1 (unikalus sprendinys).===

:Jeigu <math>m^2 >1,</math> tada
:[<math>(z^3 -m)^2=m^2-1. \quad (7) </math>]
:<math>z^3 -m=\pm\sqrt{m^2-1}, </math>
:<math>z^3 =m\pm\sqrt{m^2-1}, </math>
:<math>z =\sqrt[3]{m\pm\sqrt{m^2-1} }, </math>
:ir abi šios ''z'' reikšmės duoda tą patį sprendinį:

:<math>y=z+1/z =\sqrt[3]{m+ \sqrt{m^2-1}} +\frac{1}{\sqrt[3]{m+ \sqrt{m^2 -1}}}=</math>
:<math>=\sqrt[3]{m+ \sqrt{m^2-1}} +\frac{\sqrt[3]{m- \sqrt{m^2-1}}}{\sqrt[3]{m- \sqrt{m^2-1}} \cdot \sqrt[3]{m+ \sqrt{m^2-1}}}= \sqrt[3]{m+ \sqrt{m^2-1}} +\frac{\sqrt[3]{m- \sqrt{m^2-1}}}{\sqrt[3]{m^2- (\sqrt{m^2-1})^2}}=</math>
:<math>= \sqrt[3]{m+ \sqrt{m^2-1}} +\frac{\sqrt[3]{m- \sqrt{m^2-1}}}{\sqrt[3]{m^2- (m^2-1)}}= \sqrt[3]{m+ \sqrt{m^2-1}} +\frac{\sqrt[3]{m- \sqrt{m^2-1}}}{1}=</math>
:<math>= \sqrt[3]{m+ \sqrt{m^2-1}} +\sqrt[3]{m- \sqrt{m^2-1}};</math>

:<math>y=z+1/z =\sqrt[3]{m- \sqrt{m^2-1}} +\frac{1}{\sqrt[3]{m- \sqrt{m^2 -1}}}=</math>
:<math>=\sqrt[3]{m- \sqrt{m^2-1}} +\frac{\sqrt[3]{m+ \sqrt{m^2-1}}}{\sqrt[3]{m+ \sqrt{m^2-1}} \cdot \sqrt[3]{m- \sqrt{m^2-1}}}= \sqrt[3]{m- \sqrt{m^2-1}} +\frac{\sqrt[3]{m+ \sqrt{m^2-1}}}{\sqrt[3]{m^2- (\sqrt{m^2-1})^2}}=</math>
:<math>= \sqrt[3]{m- \sqrt{m^2-1}} +\frac{\sqrt[3]{m+ \sqrt{m^2-1}}}{\sqrt[3]{m^2- (m^2-1)}}= \sqrt[3]{m- \sqrt{m^2-1}} +\frac{\sqrt[3]{m+ \sqrt{m^2-1}}}{1}=</math>
:<math>= \sqrt[3]{m- \sqrt{m^2-1}} +\sqrt[3]{m+ \sqrt{m^2-1}}.</math>
:Gavome tas pačias ''y'' reikšmes.

:Gausime ''x'' reikšmę ((3) lygties sprendinį):
:<math>k=\sqrt{-p/3};</math>
:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{-p}};</math>

:<math>x=ky=\sqrt{-p/3} \; y= \sqrt{-p/3} \left(\sqrt[3]{m- \sqrt{m^2-1}} +\sqrt[3]{m- \sqrt{m^2 -1}} \right)=</math>
:<math>= \sqrt{-p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{-p}}+ \sqrt{\left(-\frac{3\sqrt{3}q}{2p\sqrt{-p}} \right)^2 -1}} +\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{-p}}- \sqrt{\left(-\frac{3\sqrt{3}q}{2p\sqrt{-p}} \right)^2-1}} \right)=</math>

:<math>= \sqrt{-p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{-p}}+ \sqrt{\frac{9\cdot 3q^2}{4p^2 \cdot (-p)}-1}} +\sqrt[3]{\frac{3\sqrt{3}q}{2p\sqrt{-p}}- \sqrt{\frac{9\cdot 3q^2}{-4p^2 \cdot p} -1}} \right)=</math>

:<math>= \sqrt{-p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{-p}}+ \sqrt{\frac{27q^2}{-4p^3}-1}} +\sqrt[3]{\frac{3\sqrt{3}q}{2p\sqrt{-p}}- \sqrt{\frac{27q^2}{-4p^3}-1 }} \right)=</math>

:<math>= \sqrt{-p/3} \left(\sqrt[3]{-\frac{3\sqrt{3}q}{2p\sqrt{-p}}+ \sqrt{\frac{4p^3 +27q^2}{-4p^3}}} +\sqrt[3]{\frac{3\sqrt{3}q}{2p\sqrt{-p}}- \sqrt{-\frac{4p^3 +27q^2}{4p^3} }} \right)=</math>

:<math>=  \left(\sqrt[3]{-\sqrt{-\frac{p^3}{3^3}}\frac{3\sqrt{3}q}{2p\sqrt{-p}}+ \sqrt{\frac{-p^3}{3^3}}\sqrt{\frac{4p^3 +27q^2}{4p^3}}} +\sqrt[3]{\sqrt{\frac{-p^3}{3^3}}\frac{3\sqrt{3}q}{2p\sqrt{-p}}- \sqrt{\frac{-p^3}{3^3}}\sqrt{-\frac{4p^3 +27q^2}{4p^3} }} \right)=</math>

:<math>=  \sqrt[3]{-\frac{p\sqrt{-p}}{3\sqrt{3}}\frac{3\sqrt{3}q}{2p\sqrt{-p}}+ \frac{p\sqrt{-p}}{3\sqrt{3}}\sqrt{-\frac{4p^3 +27q^2}{4p^3}}} +\sqrt[3]{\frac{p\sqrt{-p}}{3\sqrt{3}}\frac{3\sqrt{3}q}{2p\sqrt{-p}}- \frac{p\sqrt{-p}}{3\sqrt{3}}\sqrt{-\frac{4p^3 +27q^2}{4p^3} }} =</math>

:<math>=  \sqrt[3]{-\frac{q}{2}+ \frac{1}{3\sqrt{3}}\sqrt{\frac{4p^3 +27q^2}{4}}} +\sqrt[3]{-\frac{q}{2}- \frac{1}{3\sqrt{3}}\sqrt{\frac{4p^3 +27q^2}{4} }} =</math>

:<math>=  \sqrt[3]{-\frac{q}{2}+ \sqrt{\frac{4p^3 +27q^2}{4\cdot 27}}} +\sqrt[3]{-\frac{q}{2}- \sqrt{\frac{4p^3 +27q^2}{4\cdot 27} }} =</math>

:<math>= \sqrt[3]{-\frac{q}{2}+ \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } +\sqrt[3]{-\frac{q}{2}- \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } .</math>


:Įsitikinkime, kad šis sprendinys yra unikalus (vienintelis). Šio sprendinio modulis yra didesnis už 2:
:<math>y^2=(z+1/z)^2 =z^2 +2 +1/z^2 =z^2 -2 +1/z^2 +4= (z -1/z)^2 +4 >4.</math>
:Vadinasi, |y|>2 ir iš (6) lygties
:<math>2m=y^3 -3y =y(y^2 -3)> y(4 -3)=y,</math>
:<math>2m>y;</math>
:<math>2m>y> 2 \quad (\text{kai} \; y>0),</math>
:<math>m> 1 \quad (\text{kai} \; y>0).</math>
:Jeigu pvz., y=-3, tai
:<math>2m> -3 \quad (\text{kai} \; y<0),</math>
:<math>2m> -2 >y \quad (\text{kai} \; y<0),</math>
:<math>m> -1 \quad (\text{kai} \; y<0).</math>
:Bet mūsų atveju turi būti <math>m^2>1,</math> tačiau to nėra, kai <math>m> -1,</math> nes jeigu pavyzdžiui, m=-0.9, tai <math>m^2=(-0.9)^2=0.81<1,</math> kas neatitinka sąlygos <math>m^2>1.</math> Todėl teigiamos ''y'' reikšmės patenka į sąlygą <math>m^2>1.</math> Kitaip tariant, jeigu ''y'' yra neigiamas, tai jo reikšmės mažesnės už -2 (y<-2, kai y<0) ir 2m gali būti lygu -2 (nes 2m>y). Tada gaunasi, kad 2m=-2, m=-1. Ir <math>m^2=(-1)^2=1,</math> bet tai neatitinka atvejo <math>m^2>1.</math>
:Bet jeigu, pavyzdžiui, y=-3, tai iš nelygybės <math>2m>y,</math> gauname 
:<math>2m>-3,</math>
:<math>m>-1.5.</math>
:Ir gaunasi, kad sąlyga <math>m^2>1</math> tenkinama, nes <math>(-1.49)^2 =2.2201 >1.</math>
:Vadinasi, sąlyga <math>m^2>1</math> netenkinama tik kai <math>2m=-2, \;\; m=-1.</math> Kalbant dar tiksliau, su bet kokiom ''y'' reikšmėm, ''m'' gali įgyti vienintelę reikšmę <math> m=-1,</math> kuri nepriklauso šiam atvejui <math>p<0, \; m^2>1.</math>
:'''Pataisymas.''' Jeigu ''m''=-0.5, tai tada m>-1 (kai y<0). Arba 2m=-1>-2>y (kai y<0). Todėl, kai ''y'' neigiamas, ''m'' reikšmės gali būti segmente [-1; 0]. Arba <math>-1\leq m \leq 0,</math> kai y<0. O kai ''y''>0, tada ''m'' reikšmės gali būti intervale <math>(1; \; \infty).</math> Tokios neigiamos ''m'' reikšmės (<math>-1\leq m \leq 0</math>) tenkina visus y. Su neigiamom didelėm absoliučiu dydžiu (modulis didelis) y reikšmėm, m neigiamos reikšmės bus irgi didesnės absoliučiu dydžiu (nelygybė 2m>y bus teisinga, kai y<0). O neigiamos ''a'' reikšmės iš segmento [-1; 0] visada tenkins nelygybę 2a>y (kai y<0), bet ''m'' reikšmės iš šio segmento nepriklauso šiam atvejui (<math>p<1, \; m^2 >1</math>).


:Kiti sprendiniai galėtų būti gauti iš (4) lygties, kuri dabar atrodo taip:
:[<math>x^2 +x\alpha +\alpha^2 +p=0. \quad (4)</math>]
:[<math>y^3 -3y -2m=0 .\quad (6)</math>]
:<math>y^2 +y\alpha +\alpha^2 -3=0 \quad (\text{kur} \; |\alpha|>2). \quad (4.6)</math>
:Jos diskriminantas
:<math>D=\alpha^2 -4(\alpha^2 -3)= -3\alpha^2 +12 =3(4-\alpha^2)<0</math>
:yra neigiamas ir (4.6) lygtis neturi sprendinių (su <math>\alpha =\sqrt[3]{m- \sqrt{m^2-1}} +\sqrt[3]{m+ \sqrt{m^2-1}}</math>). Todėl (6) lygtis, atveju  <math>p<0, \;\; m^2 >1</math> turi vienintelį sprendinį <math>\alpha \;</math> (<math>\alpha= \sqrt[3]{m+ \sqrt{m^2-1}} +\sqrt[3]{m- \sqrt{m^2-1}}</math>).

===Atvejis p<0, m*m=1 (du sprendiniai).===

:Jeigu <math>m^2 =1,</math> tada iš (7) lygties
:[<math>(z^3 -m)^2=m^2-1. \quad (7) </math>]
:turime <math>z^3=m. </math>
:Kai m=1, tai z=1 ir 
:y = z + 1/z = 2.
:(6) lygtis tranformuojasi į
:<math>y^3 -3y -2=0, </math>
:kuri gali būti išskaidyta nepasinaudojant (4) lygtim:
:<math>y^3 -3y -2=0, \quad (y-2)(y^2 +2y+1)=0, \quad (y-2)(y+1)^2=0.</math>
:Taigi lygtis (6) (ir (3)) šiuo atveju turi du sprendinius ((6) lygties sprendiniai yra 2 ir -1, kai p<0, m*m=1). Grįžtame prie x.
:<math>x=ky=\sqrt{-p/3} \cdot y. </math>
:<math>x_1=ky_1=\sqrt{-p/3} \cdot 2 = 2\sqrt{-p/3}; </math>
:<math>x_2=ky_2=\sqrt{-p/3} \cdot (-1) = -\sqrt{-p/3}. </math>

:Kai m=-1, tai z=-1 ir 
:y = z + 1/z = -1 + 1/(-1) = -2.
:(6) lygtis tampa 
:<math>y^3 -3y +2=0, \quad (y+2)(y^2 -2y+1)=0, \quad (y+2)(y-1)^2=0.</math>
:Ir taip pat turi du sprendinius (kaip ir (3)). Grįžtame prie x.
:<math>x=ky=\sqrt{-p/3} \cdot y. </math>
:<math>x_1=ky_1=\sqrt{-p/3} \cdot (-2) = -2\sqrt{-p/3}; </math>
:<math>x_2=ky_2=\sqrt{-p/3} \cdot 1 = \sqrt{-p/3}. </math>
:p<0.
:<math>x_1</math> ir <math>x_2</math> yra (3) lygties sprendiniai.


*'''Pavyzdys.''' Čia [ https://lt.wikibooks.org/wiki/Diskriminantas#Kubinės_lygties_sprendimas_Kordano_metodu ] duotas lygties
:<math>x^3-12 x+16=0</math>
:pavyzdys, kurios p=-12<0.
:Tada
:<math>x_1= -2\sqrt{-p/3} =-2\sqrt{-(-12)/3} =-2\sqrt{12/3} =-2\sqrt{4} =-2\cdot 2 =-4;</math>
:<math>x_2=\sqrt{-p/3} = \sqrt{-(-12)/3}=\sqrt{12/3} =\sqrt{4} =2. </math>
:Šie sprendiniai yra tokie patys kaip ir pateiktoje nuorodoje.
:Patikriname:
:<math>x_1^3-12 x_1+16=0,</math>
:<math>(-4)^3-12 \cdot (-4)+16=0,</math>
:<math>-64+48+16=0;</math>

:<math>x_2^3-12 x_2+16=0,</math>
:<math>2^3-12 \cdot 2+16=0,</math>
:<math>8 -24 +16=0.</math>
:Vadinasi sprendiniai teisingi.

:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{-p}}= -\frac{3\sqrt{3}\cdot 16}{2\cdot (-12)\sqrt{-(-12)}}= -\frac{3\sqrt{3}\cdot 16}{-24\sqrt{12}}= -\frac{3\sqrt{3}\cdot 16}{-24\sqrt{3\cdot 4}} = </math>
:<math> =-\frac{3\cdot 16}{-24\sqrt{ 4}} =-\frac{3\cdot 16}{-3\cdot 8\sqrt{ 4}} =-\frac{16}{-8\sqrt{ 4}} =-\frac{16}{-16} =1.</math>
:Kažkodėl šitame pavyzdyje m=1, bet <math>x_1</math> ir <math>x_2</math> paimti iš atvejo, kai m=-1.


:[<math>y^3 +py/k^2 +q/k^3=0</math>
:pasirenkame ''k'', kad <math>p/k^2=-3,</math>
:<math>-p/3=k^2,</math>
:<math>k=\sqrt{-p/3}.</math>
:Pošaknyje yra teigiamas skaičius, nes ''p''<0.
:<math>q/k^3=q/(\sqrt{-p/3})^3=\frac{q}{\sqrt{-p^3/(3\cdot 9)}}=\frac{3q}{p\sqrt{-p/3}}=\frac{3\sqrt{3}q}{p\sqrt{-p}};</math>
:<math>\frac{3\sqrt{3}q}{p\sqrt{-p}}=q/k^3=-2m;</math>
:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{-p}}.</math>]

:Gali būti, kad gavome m=1, o ne m=-1, nes
:<math>q/k^3=q/(\sqrt{-p/3})^3=\frac{q}{\sqrt{-p^3/(3\cdot 9)}}=\frac{3q}{\sqrt{-p^2\cdot p/3}}=\frac{3\sqrt{3}q}{\sqrt{p^2}\sqrt{-p}};</math>
:tada
:<math>\frac{3\sqrt{3}q}{\sqrt{p^2}\sqrt{-p}}=q/k^3=-2m;</math>

:<math>m=-\frac{3\sqrt{3}q}{2\sqrt{p^2}\sqrt{-p}} =</math>
:<math>=-\frac{3\sqrt{3}\cdot 16}{2\sqrt{(-12)^2}\sqrt{-(-12)}} =</math>
:<math>=-\frac{3\sqrt{3}\cdot 16}{2\sqrt{144}\sqrt{12}} =</math>
:<math>=-\frac{3\sqrt{3}\cdot 16}{2\cdot 12\sqrt{3\cdot 4}} =</math>
:<math>=-\frac{3\cdot 16}{2\cdot 12\sqrt{ 4}} =</math>
:<math>=-\frac{3\cdot 16}{2\cdot 12\cdot 2} =</math>
:<math>=-\frac{3\cdot 16}{4\cdot 3\cdot 4} =-1.</math>
:Dabar ir gavome <math>m=-1.</math>

===Atvejis p<0, m*m<1 (trys sprendiniai).===

:Jeigu <math>m^2<1,</math> tai lygtis (7) neturi sprendinių ir keitinys <math>y=z+1/z </math> neras sprendinius. Bet čia padeda trigonometrija: pakeitimas <math>y=2z </math> pakeičia (6) lygtį į tokią:
:[<math>y^3 -3y -2m=0 .\quad (6)</math>]
:<math>(2z)^3 -3\cdot 2z -2m=0 ,</math>
:<math>8z^3 -6z -2m=0 ,</math>
:<math>4z^3 -3z -m=0 .</math>
:Darome keitinį <math>z=\cos\varphi :</math>
:<math>4\cos^3 \varphi -3\cos\varphi -m=0, \quad \cos (3\varphi) -m=0, \quad \cos 3\varphi =m.</math>
:Ši lygtis turi sprendinius, kai |m|<1 (arba <math>m^2<1</math>). Kosinusas yra lyginė funkcija, todėl su neigiamom ir teigiamom <math>\varphi </math> reikšmėm gaunamas tas pats kosinuso rezultatas. Todėl
:<math>\cos 3\varphi =m,</math>
:<math>\cos(\pm 3\varphi) =m,</math>
:<math> \pm 3\varphi =\arccos m,</math>
:<math>\pm (\pm 3\varphi)=3\varphi =\pm\arccos m,</math>
:<math>3\varphi =\pm\arccos m,</math>
:<math>3\varphi -2k \pi=\pm\arccos m,</math>
:<math>3\varphi =2k \pi\pm\arccos m,</math>
:<math>\varphi =\frac{2k \pi}{3} \pm\frac{1}{3}\arccos m;</math>

:<math>z=\cos\varphi =\cos\left( \frac{2}{3}k\pi \pm\frac{1}{3}\arccos m\right),</math>
:<math>y=2z=2\cos\varphi =2\cos\left( \frac{2}{3}k\pi \pm\frac{1}{3}\arccos m\right),</math>
:''k'' - sveikasis skaičius.
:Remdamiesi redukcijos formulėmis, suprantame, kad su daugiau nei trim skaičiaus ''k'' reikšmėm ''z'' reikšmės kartosis, nes kubinė lygtis negali turėti daugiau nei trys sprendinius. Todėl pasirenkame <math>k=0, \; 1, \; 2.</math> Tada
:<math>y_1=2z_1=2\cos\left( \frac{1}{3}\arccos m\right),</math>
:<math>y_2=2z_2 =2\cos\left( \frac{2}{3}\pi \pm\frac{1}{3}\arccos m\right),</math>
:<math>y_3=2z_3 =2\cos\left( \frac{4}{3}\pi \pm\frac{1}{3}\arccos m\right).</math>
:Grįžtame prie ''x''.
:<math>x=ky= \sqrt{-p/3} \; y ;</math>

:<math>x_1=y_1 \sqrt{-p/3}=2\sqrt{-p/3}\cos\left( \frac{1}{3}\arccos m\right),</math>
:<math>x_2=y_2 \sqrt{-p/3}=2\sqrt{-p/3}\cos\left( \frac{2}{3}\pi \pm\frac{1}{3}\arccos m\right),</math>
:<math>x_3=y_3 \sqrt{-p/3}=2\sqrt{-p/3}\cos\left( \frac{4}{3}\pi \pm\frac{1}{3}\arccos m\right).</math>
:Kubinė lygtis (3) yra išspręsta.
:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{-p}}.</math>


*'''Pavyzdys.''' Čia [ https://lt.wikibooks.org/wiki/Diskriminantas#Kubinės_lygties_sprendimas_Kordano_metodu ] yra pavyzdys lygties 
:<math>x^3-19 x+30=0,</math>
:kurios <math>p=-19</math>, <math>q=30.</math>
:Jos sprendiniai yra 2, 3 ir <math>-5.</math>
:Apskaičiuosime juos pagal ką tik išvestas formules.
:<math>m=-\frac{3\sqrt{3}q}{2p\sqrt{-p}}= -\frac{3\sqrt{3}\cdot 30}{2\cdot(-19)\sqrt{-(-19)}}=-\frac{90\sqrt{3}}{2\cdot(-19)\sqrt{19}}= -\frac{45\sqrt{3}}{(-19)\sqrt{19}}=</math>
:= 45*3^0.5 /(19*19^0.5) =  0.9411150958093732309574814856304. 
:Arba kitas variantas:
:<math>m=-\frac{3\sqrt{3}q}{2\sqrt{p^2}\sqrt{-p}} = -\frac{3\sqrt{3}\cdot 30}{2\sqrt{(-19)^2}\sqrt{-(-19)}} =-\frac{90\sqrt{3}}{2\sqrt{361}\sqrt{19}} = -\frac{45\sqrt{3}}{19\sqrt{19}} =</math>
:= -45*3^0.5 /(19*19^0.5) =  -0.9411150958093732309574814856304. 
:Tada 
:<math>\arccos m =\arccos(0.9411150958093732309574814856304) =</math> 0.34488276150211935210875728756448.
:Arba
:<math>\arccos m =\arccos(-0.9411150958093732309574814856304) =</math> 2.796709892087673886353886095715.


:Apskaičiuosime <math>x_1.</math>
:Su pirma m reikšme:
:<math>x_1=2\sqrt{-p/3}\cos\left( \frac{1}{3}\arccos m\right)= 2\sqrt{-(-19)/3}\cos\left( \frac{1}{3}\arccos (0.94111509580937323)\right)=</math> 
:<math>= 2\sqrt{19/3}\cos\left( \frac{1}{3}\cdot 0.3448827615021193521 \right)= 2\sqrt{19/3}\cos(0.11496092050070645)=</math> 
:= 2*(19/3)^0.5 * cos(0.11496092050070645) = '''2*(19/3)^0.5 *0.99339926779878285489956379038765 =''' 5 (Windows 10 kalkuliatoriaus duoda tokią tikslią reikšmę "5", įstačius pajuodintą reikšmę).

:Su antra m reikšme:
:<math>x_1=2\sqrt{-p/3}\cos\left( \frac{1}{3}\arccos m\right)= 2\sqrt{-(-19)/3}\cos\left( \frac{1}{3}\arccos (-0.94111509580937323)\right)=</math> 
:<math>= 2\sqrt{19/3}\cos\left( \frac{1}{3}\cdot 2.796709892087673886353886095715 \right)= 2\sqrt{19/3}\cos(0.93223663069589129545)=</math> 
:= 2*(19/3)^0.5 * cos(0.93223663069589129545) = '''2*(19/3)^0.5 *0.59603956067926971293973827423259 =''' 3 (Windows 10 kalkuliatoriaus duoda tokią tikslią reikšmę "3", įstačius pajuodintą reikšmę).
:Su pirma ''m'' reikšme, atsakymas '''5''' yra be minuso ženklo. O su antra ''m'' reikšme, atsakymas '''3''' yra duotos lygties sprendinys.


:Toliau apskaičiuosime <math>x_2.</math>
:Su pirma m reikšme:
:<math>x_2=2\sqrt{-p/3}\cos\left( \frac{2}{3}\pi \pm\frac{1}{3}\arccos m\right)= 2\sqrt{-(-19)/3}\cos\left( \frac{2}{3}\pi \pm\frac{1}{3}\arccos(0.3448827615021193521)\right)=</math>
:<math>= 2\sqrt{19/3}\cos\left( \frac{2}{3}\pi \pm 0.11496092050070645\right)=</math>
:= 2*(19/3)^0.5 * cos(2*'''pi'''/3 +0.11496092050070645070291909585483) = 
:= 2*(19/3)^0.5 * cos(2.0943951023931954923084289221863 +0.11496092050070645070291909585483) =
:= 2*(19/3)^0.5 * cos(2.2093560228939019430113480180411) = 2*(19/3)^0.5 * (-0.59603956067926971293973827423256) =
:= -2.9999999999999999999999999999999.
:O jeigu po '''pi''' paimsime ne ''pliuso'', bet ''minuso'' ženklą, tai gausime:
:= 2*(19/3)^0.5 * cos(2.0943951023931954923084289221863 -0.11496092050070645070291909585483) =
:= 2*(19/3)^0.5 * cos(1.9794341818924890416055098263315) = 2*(19/3)^0.5 * (-0.39735970711951314195982551615502) =
:= -1.9999999999999999999999999999998.
:Čia kosinusas skaičiuojamas su reikšmėm didesnėm nei '''pi'''/2 =~ 1.57, todėl galimos kai kurios klaidos. Bendrai, negalimos klaidos, nes čia kosinusas, o ne arkkosinusas.

:Su antra m reikšme:
:<math>x_2=2\sqrt{-p/3}\cos\left( \frac{2}{3}\pi \pm\frac{1}{3}\arccos m\right)= 2\sqrt{-(-19)/3}\cos\left( \frac{2}{3}\pi \pm\frac{1}{3}\arccos(-0.94111509580937323)\right)=</math>
:<math>= 2\sqrt{19/3}\cos\left( \frac{2}{3}\pi \pm 0.932236630695891295451\right)=</math>
:= 2*(19/3)^0.5 * cos(2*'''pi'''/3 +0.93223663069589129545129536523833) = 
:= 2*(19/3)^0.5 * cos(2.0943951023931954923084289221863 + 0.93223663069589129545129536523833) =
:= 2*(19/3)^0.5 * cos(3.0266317330890867877597242874246) = '''2*(19/3)^0.5 * (-0.99339926779878285489956379038764) ='''
:= -5 (įstačius į Windows 10 kalkuliatorių pajuodintą tekstą).
:O jeigu po '''pi''' paimsime ne ''pliuso'', bet ''minuso'' ženklą, tai gausime:
:= 2*(19/3)^0.5 * cos(2.0943951023931954923084289221863 - 0.93223663069589129545129536523833) =
:= 2*(19/3)^0.5 * cos(1.162158471697304196857133556948) = '''2*(19/3)^0.5 * 0.39735970711951314195982551615505 ='''
:= 2 (įstačius į Windows 10 kalkuliatorių pajuodintą tekstą).
:Su antra ''m'' reikšme iškart gavome du teisingus tos lygties sprendinius.


:Toliau apskaičiuosime <math>x_3.</math>
:Su pirma m reikšme:
:<math>x_3=2\sqrt{-p/3}\cos\left( \frac{4}{3}\pi \pm\frac{1}{3}\arccos m\right)= 2\sqrt{-(-19)/3}\cos\left( \frac{4}{3}\pi \pm\frac{1}{3}\arccos(0.3448827615021193521)\right)=</math>
:<math>= 2\sqrt{19/3}\cos\left( \frac{4}{3}\pi \pm 0.11496092050070645\right)=</math>
:= 2*(19/3)^0.5 * cos(4*'''pi'''/3 +0.11496092050070645070291909585483) = 
:= 2*(19/3)^0.5 * cos(4.1887902047863909846168578443727 +0.11496092050070645070291909585483) =
:= 2*(19/3)^0.5 * cos(4.3037511252870974353197769402275) = 2*(19/3)^0.5 * (-0.39735970711951314195982551615506) =
:= -2.
:O jeigu po '''pi''' paimsime ne ''pliuso'', bet ''minuso'' ženklą, tai gausime:
:= 2*(19/3)^0.5 * cos(4.1887902047863909846168578443727 - 0.11496092050070645070291909585483) =
:= 2*(19/3)^0.5 * cos(4.0738292842856845339139387485179) = 2*(19/3)^0.5 * (-0.59603956067926971293973827423257) =
:= -2.9999999999999999999999999999999.

:Su antra m reikšme:
:<math>x_3=2\sqrt{-p/3}\cos\left( \frac{4}{3}\pi \pm\frac{1}{3}\arccos m\right)= 2\sqrt{-(-19)/3}\cos\left( \frac{4}{3}\pi \pm\frac{1}{3}\arccos(-0.94111509580937323)\right)=</math>
:<math>= 2\sqrt{19/3}\cos\left( \frac{4}{3}\pi \pm 0.932236630695891295451\right)=</math>
:= 2*(19/3)^0.5 * cos(4*'''pi'''/3 +0.93223663069589129545129536523833) = 
:= 2*(19/3)^0.5 * cos(4.1887902047863909846168578443727 + 0.93223663069589129545129536523833) =
:= 2*(19/3)^0.5 * cos(5.121026835482282280068153209611) = '''2*(19/3)^0.5 * 0.39735970711951314195982551615505 ='''
:= 2 (įstačius į Windows 10 kalkuliatorių pajuodintą tekstą).
:O jeigu po '''pi''' paimsime ne ''pliuso'', bet ''minuso'' ženklą, tai gausime:
:= 2*(19/3)^0.5 * cos(4.1887902047863909846168578443727 - 0.93223663069589129545129536523833) =
:= 2*(19/3)^0.5 * cos(3.2565535740904996891655624791344) = '''2*(19/3)^0.5 * (-0.99339926779878285489956379038764) ='''
:= -5 (įstačius į Windows 10 kalkuliatorių pajuodintą tekstą).
:Su antra ''m'' reikšme iškart gavome du teisingus tos lygties sprendinius.


:Su antra ''m'' reikšmę gavome visus teisingus lygties <math>x^3-19 x+30=0</math> sprendinius (2, 3. -5). O su pirma ''m'' reikšme gavome sprendinius su priešingais ženklais (-2, -3, 5; dėl to visi jie neteisingi).

==Pavyzdys.==

:Imkim konkrečią lygtį formoje (3):
:<math>x^3 -3x -4 =0. \quad (8)</math>
:Bus spręsta iš naujo be teorijos (teorijos gimsta iš konkrečių pavyzdžių sakoma toje nuorodoje). Reikia galvoti apie formulę tipo <math>x^3 -3x.</math> Tada ateina į mintis formulė
:<math>(a+b)^3 =a^3 +3a^2 b+3ab^2 +b^3 = a^3 +b^3 +3ab(a+b)</math>
:ir dalinis atvejis 
:<math>(a \pm 1/a)=a^3 \pm 1/a^3 \pm 3(a \pm 1/a).</math>
:Paskutinė formulė sako, kad (8) lygtyje verta panaudoti keitinį <math>x=y +1/y.</math> Tada lygtis pavirtsta į
:<math>(y +1/y)^3 -3(y +1/y) -4 =0,</math>
:<math>y^3 +1/y^3 +3(y+1/y) -3(y +1/y) -4 =0,</math>
:<math>y^3 +1/y^3 -4 =0.</math>
:Tai yra kvadratinė lygtis <math>y^3</math> atžvilgiu (<math>y^6 +1 -4y^3 =0</math>), todėl ją galima išspręsti (galima net nenaudoti kvadratinės lygties sprendimo formulės):
:<math>y^6 -4y^3 +1 =0,</math>
:<math>(y^3 -2)^2 -3 =0,</math>
:<math>(y^3 -2)^2 =3,</math>
:<math>y^3 -2 =\pm \sqrt{3},</math>
:<math>y^3 =2\pm \sqrt{3},</math>
:<math>y =\sqrt[2]{2\pm \sqrt{3}}.</math>
:Iš skyrelio '''Atvejis p<0, m*m>1 (unikalus sprendinys).''' panaudojus formulę
:<math>y=z+1/z =\sqrt[3]{m+ \sqrt{m^2-1}} +\sqrt[3]{m- \sqrt{m^2-1}};</math>
:<math>x=y+1/y =\sqrt[3]{2+ \sqrt{2^2-1}} +\sqrt[3]{2- \sqrt{2^2-1}} =\sqrt[3]{2+ \sqrt{3}} +\sqrt[3]{2- \sqrt{3}} </math>
:(abu sprendiniai vienodi su skirtingais y).
:Vis tiek reikia įsitikinti, kad nėra kitų sprendinių (su x reikšme <math>x=y +1/y</math> negalima rasti sprendinius intervale (-2; 2), nes iš to, kad y visada teigiamas, <math>|y +1/y|=|y| +1/|y| =\left(\sqrt{|y|} -\sqrt{1/|y|} \right)^2 +2 \geq 2</math>).
:(8) lygtis gali būti išskaidyta padalinus iš tiesinio polinomo <math>x-(\sqrt[3]{2+ \sqrt{3}} +\sqrt[3]{2- \sqrt{3}}),</math> bet tai būtų sunkus darbas. Lengviau pasinaudoti (4) formule, kuri tampa tokia:
:[<math>x^2 +x\alpha +\alpha^2 +p=0. \quad (4)</math>]
:<math>x^2 +x\alpha +\alpha^2 -3=0,</math>
:kur <math>\alpha = \sqrt[3]{2+ \sqrt{3}} +\sqrt[3]{2- \sqrt{3}}.</math>
:Šios lygties diskriminantas 
:<math>d =\alpha^2 -4(\alpha^2 -3)=-3\alpha^2 +12</math>
:yra neigiamas, nes
:<math>\alpha^2 =(y+ 1/y)^2 = (y - 1/y)^2 +4 >4. </math>
:Todėl (8) lygtis turi vienintelį sprendinį (<math>x= \sqrt[3]{2+ \sqrt{3}} +\sqrt[3]{2- \sqrt{3}} </math>).

:<math>x= \sqrt[3]{2+ \sqrt{3}} +\sqrt[3]{2- \sqrt{3}} =</math>
:= (2 + 3^0.5)^(1/3) + (2 - 3^0.5)^(1/3) = 2.1958233454456471528327992055497.

:2.1958233454456471528327992055497^3 - 3*2.1958233454456471528327992055497 - 4 = -1.1291287212984656298036039312783e-31 =
:<math>\approx -1.1291287212984656298036039312783 \cdot 10^{-31} \approx 0.</math>

==Kardano formulė==

:Dabar aišku, kad nagrinėtus atvejus galima taiktyti lygčiai (3).

:'''Atvejis 1:''' <math>\frac{p^3}{27} +\frac{q^2}{4} >0.</math> 
:Taikomas keitinys 
:<math>x=\sqrt[3]{y} - p/(3\sqrt[3]{y}) .</math>
:Surasti y, tada grįžti prie x:
:<math>x= \sqrt[3]{-\frac{q}{2}+ \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } +\sqrt[3]{-\frac{q}{2}- \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } .</math>

:Tada
:<math>x^3 +px +q=0.\quad (3)</math>
:<math>\left( \sqrt[3]{y} - p/(3\sqrt[3]{y}) \right)^3 +p\left( \sqrt[3]{y} - p/(3\sqrt[3]{y})\right) +q=0,</math>
:<math> y -3\sqrt[3]{y^2} \cdot p/(3\sqrt[3]{y}) + 3\sqrt[3]{y} \cdot p^2/(9\sqrt[3]{y^2})  - p^3/(27y)  +p\left( \sqrt[3]{y} - p/(3\sqrt[3]{y})\right) +q=0,</math>
:<math> y -\sqrt[3]{y} \cdot p + p^2/(3\sqrt[3]{y})  - p^3/(27y)  +p\left( \sqrt[3]{y} - p/(3\sqrt[3]{y})\right) +q=0,</math>
:<math> y -\sqrt[3]{y} p + p^2/(3\sqrt[3]{y})  - p^3/(27y)  +p \sqrt[3]{y} - p^2/(3\sqrt[3]{y}) +q=0,</math>
:<math> y - p^3/(27y)  +q=0,</math>
:<math> y^2 - p^3/27  +qy=0,</math>
:<math> y^2 +qy - p^3/27=0;</math>
:<math>D=q^2 - 4(- p^3/27);</math>
:<math>y_1 =\frac{-q +\sqrt{q^2 - 4(- p^3/27)} }{2} =-\frac{q}{2} +\sqrt{\frac{q^2}{4} + p^3/27},</math>
:<math>y_2 =\frac{-q -\sqrt{q^2 - 4(- p^3/27)} }{2} =-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}.</math>

:<math>x=\sqrt[3]{y} - p/(3\sqrt[3]{y}) ,</math>
:<math>x_1=\sqrt[3]{y_1} - p/(3\sqrt[3]{y_1}) =</math>
:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - p/(3\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}) =</math>
:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - \frac{p}{3\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}} =</math>

:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - \frac{p\sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}}{3\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} \cdot \sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}} =</math>

:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - \frac{p\sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}}{3\sqrt[3]{(-\frac{q}{2})^2 -(\sqrt{\frac{q^2}{4} + \frac{p^3}{27}})^2}} =</math>

:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - \frac{p\sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}}{3\sqrt[3]{\frac{q^2}{4} -(\frac{q^2}{4} + \frac{p^3}{27})}} =</math>

:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - \frac{p\sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}}{3\sqrt[3]{- \frac{p^3}{27}}} =</math>

:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - \frac{p\sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}}{3(- \frac{p}{3})} =</math>

:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} - \frac{p\sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}}{- p} =</math>

:<math>=\sqrt[3]{-\frac{q}{2} +\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} + \sqrt[3]{-\frac{q}{2} -\sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} .</math>

:Nesunku matyti, kad įstačius <math>y_2</math> į <math>\sqrt[3]{y} - p/(3\sqrt[3]{y})</math> bus gautas toks pats atsakymas.


:'''Atvejis 2:''' <math>\frac{p^3}{27} +\frac{q^2}{4} =0.</math> 
:Kardano formulė duoda sprendinį
:<math>\alpha= \sqrt[3]{-\frac{q}{2}+ \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } +\sqrt[3]{-\frac{q}{2}- \sqrt{\frac{p^3}{27} +\frac{q^2}{4}} } =</math>
:<math>= \sqrt[3]{-\frac{q}{2} } +\sqrt[3]{-\frac{q}{2} } = 2\sqrt[3]{-\frac{q}{2} } = \sqrt[3]{-\frac{8q}{2} } =-\sqrt[3]{4q }.</math>
:Tada (4) lygtis duoda sprendinį 
:[<math>x^2 +x\alpha +\alpha^2 +p=0. \quad (4)</math>]
:<math>x^2 +x\alpha +\alpha^2 +p= x^2 -\sqrt[3]{4q }x + \sqrt[3]{16q^2 } +p;</math>
:<math>D=\sqrt[3]{16q^2 } -4( \sqrt[3]{16q^2 } +p) =-3\sqrt[3]{16q^2 } -4p;</math>
:<math>x_1 = \frac{-(-\sqrt[3]{4q }) +\sqrt{ -3\sqrt[3]{16q^2 } -4p } }{2} =  \sqrt[3]{4q/8 } +\sqrt{ (-3\sqrt[3]{16q^2 } -4p)/4 } =</math>
:<math> = \sqrt[3]{q/2 } +\sqrt{- 3\sqrt[3]{16q^2/64 } -p } = \sqrt[3]{q/2 } +\sqrt{- 3\sqrt[3]{q^2/4 } -p } =</math>
:Čia https://lt.wikibooks.org/wiki/Matematika/Kubinė_lygtis pagal (22) formulę
:<math>\sqrt[3]{-\frac{q}{2}}=\frac{3q}{2p}. \quad (22)</math>
:<math> 2p=\frac{3q}{\sqrt[3]{-\frac{q}{2}}},</math>
:<math> 2p=-3\sqrt[3]{q^2/2},</math>
:<math> p=-3\sqrt[3]{q^2/(2\cdot 8)} =-3\sqrt[3]{q^2/16}.</math>
:Tada
:<math>x_1 =\sqrt[3]{q/2 } +\sqrt{ -3\sqrt[3]{q^2/4 } -p } =\sqrt[3]{q/2 } +\sqrt{- 3\sqrt[3]{q^2/4 } +3\sqrt[3]{q^2/16} } =</math>
:<math>=\sqrt[3]{q/2 } +\sqrt{ -3\sqrt[3]{q^2/4 } +\frac{3}{\sqrt[3]{4}}\sqrt[3]{q^2/4} } = \sqrt[3]{q/2 } +\sqrt{ \frac{-\sqrt[3]{4}\cdot 3\sqrt[3]{q^2/4 }  +3\sqrt[3]{q^2/4}}{\sqrt[3]{4}} } =</math>
:<math> = \sqrt[3]{q/2 } +\sqrt{ \frac{(-\sqrt[3]{4} +1)3\sqrt[3]{q^2/4 }}{\sqrt[3]{4}} } = \sqrt[3]{q/2 } +\sqrt{ \frac{3(-\sqrt[3]{4} +1)\sqrt[3]{q^2 }}{\sqrt[3]{16}} } =</math>
:<math>= \sqrt[3]{q/2 } +\frac{\sqrt{3(-\sqrt[3]{4} +1)\sqrt[3]{q^2 }}}{\sqrt[3]{4}} =\sqrt[3]{q/2 } +\frac{\sqrt[3]{q }\sqrt{3(-\sqrt[3]{4} +1)}}{\sqrt[3]{4}} =</math>
:<math> =\sqrt[3]{q/2 } +\frac{\sqrt[3]{q }\sqrt{3(-\sqrt[3]{4} +1)}}{\sqrt[3]{4}} =</math>
:Kvadratinėje šaknyje neigiamas skaičius (<math>3(-\sqrt[3]{4} +1)</math>), todėl toliau skaičiuot beprasmiška.
:Kai q=0 (tai tada ir p=0) ir tada sprendinys yra x=0. Kai <math>q \neq 0,</math> gaunami du sprendiniai, tik ne šituo budu.

*<math>x^3-3x+2=0.</math> 
:Šios lygties sprendiniai yra -2 ir 1. 

:<math>x_1 = \frac{-(-\sqrt[3]{4q }) +\sqrt{ -3\sqrt[3]{16q^2 } -4p } }{2} = \frac{\sqrt[3]{4q } +\sqrt{ -3\sqrt[3]{16q^2 } -4p } }{2} =</math>
:<math>= \frac{\sqrt[3]{4\cdot 2 } +\sqrt{ -3\sqrt[3]{16\cdot (-3)^2 } -4\cdot (-3) } }{2} =</math>
:<math>= \frac{\sqrt[3]{8 } +\sqrt{ -3\sqrt[3]{16\cdot 9 } +12 } }{2} =</math>
:<math>= \frac{2 +\sqrt{ -3\sqrt[3]{144 } +12 } }{2} =</math>
:= 1 + 0.5* (-3 * 144^(1/3) +12)^0.5 = 1 + 0.5* (-3 * 5.241482788417793214283322560884 +12)^0.5 = '''Invalid input''', nes skliaustuose neigiamas skaičius.

:<math>x_2 = \frac{-(-\sqrt[3]{4q }) -\sqrt{ -3\sqrt[3]{16q^2 } -4p } }{2} =  \sqrt[3]{4q/8 } -\sqrt{ (-3\sqrt[3]{16q^2 } -4p)/4 } =</math>
:= 1 - 0.5* (-3 * 144^(1/3) +12)^0.5 = 1 - 0.5* (-3 * 5.241482788417793214283322560884 +12)^0.5 = '''Invalid input''', nes skliaustuose neigiamas skaičius.

:<math>x_3 =\alpha = -\sqrt[3]{4q } = -\sqrt[3]{4\cdot 2 } =-2.</math>


:'''Atvejis 3:''' <math>\frac{p^3}{27} +\frac{q^2}{4} <0.</math> 
:Suprantama, p<0. Taikant keitį <math>x=\sqrt{4|p|/3} \cos\phi,</math> gaunasi lygtis 
:<math>4\cos^3 \phi -3\cos\phi =q\sqrt{27}/(2p\sqrt{|p|}),</math>
:<math>\cos 3\phi =q\sqrt{27}/(2p\sqrt{|p|}). \quad (A)</math>
:Kadangi 
:<math>(q\sqrt{27})^2 <(2p\sqrt{|p|})^2,</math>
:<math>27q^2 <-4p^3,</math>
:tai (A) lygties dešinėje pusėje modulio reikšmė mažesnė už 1. Radus <math>\varphi,</math> randami 3 sprendiniai lygties (3):
:<math>\alpha_1=x=\sqrt{4|p|/3} \cos\left( \frac{1}{3} \arccos(3q\sqrt{3}/2p\sqrt{|p|}\right) ,</math>
:<math>\alpha_2=\sqrt{4|p|/3} \cos\left(\frac{2}{3}\pi +\frac{1}{3} \arccos(3q\sqrt{3}/2p\sqrt{|p|}\right) ,</math>
:<math>\alpha_3=\sqrt{4|p|/3} \cos\left(\frac{4}{3}\pi +\frac{1}{3} \arccos(3q\sqrt{3}/2p\sqrt{|p|}\right) .</math>

:Juos surasti galima taip:
:<math>x=ky,</math>
:<math>k=\sqrt{-p/3},</math>
:<math>y=2z,</math>
:<math>x=2kz=2\sqrt{-p/3}z.</math>

:<math>x^3 + px +q=0,</math>
:<math>x^3 + px + q = 8\sqrt{(-p/3)^3}z^3 + p\cdot 2\sqrt{-p/3}z +q =\frac{-8p}{3}\sqrt{-p/3}z^3 + 2p\sqrt{-p/3}z +q=0,</math>
:<math>-\frac{4p}{3}\sqrt{-p/3}z^3 + p\sqrt{-p/3}z =-q/2,</math>
:<math>-4\sqrt{-p/3} z^3+ 3\sqrt{-p/3} z=\frac{-3q}{2p},</math>
:<math>-4 z^3+ 3z=\frac{-3\sqrt{3}q}{2p\sqrt{-p}},</math>
:<math>4 z^3 - 3z=\frac{3\sqrt{3}q}{2p\sqrt{-p}}.</math>


:Tolesnis skaičiavimas vyksta taip:
:<math>z=\cos\varphi,</math>
:<math>x=2\sqrt{-p/3}z = 2\sqrt{-p/3} \cos\varphi.</math>
:p<0, todėl
:<math>x=2\sqrt{|p|/3}z = 2\sqrt{|p|/3} \cos\varphi.</math>

:<math>4 z^3 - 3z=\frac{3\sqrt{3}q}{2p\sqrt{-p}},</math>
:<math>4 \cos^3\varphi - 3\cos\varphi=\frac{3\sqrt{3}q}{2p\sqrt{-p}},</math>
:<math>\cos 3\varphi = \frac{3\sqrt{3}q}{2p\sqrt{-p}};</math>

:<math>3\varphi = \arccos(\frac{3\sqrt{3}q}{2p\sqrt{-p}}),</math>
:<math>\varphi = \frac{1}{3} \arccos(\frac{3\sqrt{3}q}{2p\sqrt{-p}}).</math>
:Ir p<0.
:<math>y=2z=2\cos\varphi,</math>
:<math>x=2kz=2\sqrt{-p/3}z = 2\sqrt{-p/3}\cos\varphi = 2\sqrt{-p/3}\cos\left( \frac{1}{3} \arccos(\frac{3\sqrt{3}q}{2p\sqrt{-p}})\right).</math>

==Ketvirto laipsnio lygtis==

:Bendra ketvirto laipsnio lygtis yra
:<math>ax^4 +bx^3 +cx^2 +dx+e =0 \quad (a\neq 0).</math>
:Ji gali buti padalinta iš ''a'', todėl užtenka nagrinėti lygtį
:<math>x^4 +ax^3 +bx^2 +cx+d =0 .</math>
:Po pakeitimo x=y-a/4, eliminuojamas narys trečio laipsnio. Todėl užtenka mokėti spręsti lygtį
:<math>x^4 +bx^2 +cx+d =0 . \quad (9)</math>
:Jeigu ketvirto laipsnio lygtis turi racionalius sprendinius (arba bent vieną racionalų sprendinį <math>\alpha</math>), ją lengva išspręsti: kairioji pusė gali būti išskaidyta vėl, atskirus <math>x-\alpha</math> ir belieka išspręst kūbinę lygtį. Bus nagrinėjama lygtis (9), kai ji neturi racionaliųjų sprendinių, nes taip sunkiau.
:Jeigu c=0, lygtis (9) yra bikvadratinė, ir pasirinkus naują kintamąjį <math>x^2=y,</math> ji tampa kvadratine. Beje, lengva išskaidyti bikvadratinį trinarį <math>x^4 +bx^2 +d.</math> Jeigu diskriminantas <math>b^2 /4 -d\geq 0,</math> tada
:<math>x^4 +bx^2 +d = (x^2 +b/2)^2 - (b^2/4 -d)=</math> 
:<math>= (x^2 +b/2 + \sqrt{b^2/4-d})(x^2 +b/2 - \sqrt{b^2/4-d}).</math> 
:Jeigu <math>b^2 /4 -d < 0,</math> tada <math>d>b^2/4</math> (d teigiamas), <math>\sqrt{d} > b/2, \;\; 2\sqrt{d} - b/2 >0,</math> ir 
:<math>x^4 +bx^2 +d = (x^2 +\sqrt{d})^2 -x^2(2\sqrt{d} - b/2 )=(x^2 +\sqrt{d} +x\sqrt{2\sqrt{d} - b/2} )(x^2 +\sqrt{d} -x\sqrt{2\sqrt{d} - b/2} ).</math>
:Jeigu <math>c\neq 0,</math> tai kairę pusę (9) lygties visada įmanoma užrašyti kaip kvadratų skirtumą:
:<math>(x^2 +m)^2 -p(x+n)^2 =0 \quad (p>0). \quad (9.1)</math>
:<math>(x^2 +m)^2 -p(x+n)^2 =x^4 +2mx^2 +m^2 -p(x^2 +2xn +n^2) =</math>
:<math>= x^4 +2mx^2 +m^2 -px^2 -2xpn -pn^2 =x^4 +(2m-p)x^2 -2xpn +m^2-pn^2 .</math>
:Kairioji pusė (9.1) lygties gali būti išskaidyta į du kvadratinius trinarius,
:<math>(x^2 +m)^2 -p(x+n)^2 =(x^2 +m + \sqrt{p}(x +n))(x^2 +m - \sqrt{p}(x +n)) =</math>
:<math>=(x^2 + \sqrt{p}x +m +\sqrt{p}n))(x^2 -\sqrt{p}x +m -\sqrt{p}n)) ,</math>
:ir išsprendžiamos dvi kvadratinės lygtys.
:Bus nustatyta kaip randamos m, p, n reikšmės. Lygtyje
:<math>(x^2 +m)^2 -p(x+n)^2 =x^4 +bx^2 +cx+d \quad (9.5)</math>
:nuėmus skliaustus ir palyginus koeficientus prie <math>x^2, \; x^1, \; x^0,</math> gaunama lygčių sistema m, p, n reikšmėms rasti.
:<math>x^4+2mx^2 +m^2 -p(x^2 +2xn+n^2) =x^4 +bx^2 +cx+d, </math>
:<math>x^4+2mx^2 +m^2 -px^2 -2xpn -pn^2 =x^4 +bx^2 +cx+d, </math>
:<math>x^4+(2m-p)x^2 -2xpn +m^2 -pn^2 =x^4 +bx^2 +cx+d; </math>

:<math>(2m-p)x^2 = bx^2, </math>
:<math>2m-p = b, </math>
:<math>-2pn = c, </math>
:<math>m^2 -pn^2 = d; </math>

:<math>2m-p = b, \quad -2pn = c, \quad m^2 -pn^2 = d. \quad (10) </math>
:Kadangi <math>c\neq 0,</math> iš antros (10) lygties <math>p\neq 0</math> ir tada <math>n=-c/(2p).</math> Iš pirmos (10) lygties <math>m=(b+p)/2.</math> Po įstatymo į trečią lygtį n ir m reikšmes, trečia lygtis tampa
:<math>m^2 -pn^2 = (b+p)^2/4 - p(-c/(2p))^2 = (b+p)^2/4 - pc^2/(4p^2) = (b+p)^2/4 - c^2/(4p) = d.</math>
:Po padauginimo iš 4p, gaunama kubinė lygtis:
:<math>(b+p)^2/4 - c^2/(4p) = d,</math>
:<math>p(b+p)^2 - c^2 = 4dp,</math>
:<math>p(b^2 +2pb+p^2) - c^2 - 4dp =0,</math>
:<math>pb^2 +2p^2b+p^3 - c^2 - 4dp =0,</math>
:<math> p^3 +2p^2b- 4dp+pb^2- c^2  =0.</math>
:<math>f(p)= p^3 +2p^2b- 4dp+pb^2- c^2.</math>
:Ši lygtis turi teigiamą sprendinį (tai yra raktas ketvirto laipsnio lygties sprendimui). Tikrai, funkcija f(p), kai p=0, yra lygi <math>f(0)=-c^2,</math> t. y. neigiama (kai <math>c\neq 0</math>), ir su pakankamai didele p reikšme f(p) funkcija yra teigiama (nes funkcijos ženklą su didelėm p reikšmėm apsprendžia narys <math>p^3</math>). Todėl funkcijos f(p) grafikas kerta p (arba x) ašį iš intervalo (0; <math>\infty</math>), nes f(0)=-c*c<0, o f(<math>\infty</math>)>0.
:Kadangi galima išspręsti kūbinę lygtį (nuo p), galima surasti teigiamą sprendinį <math>p_0</math>, gaunant sprendinį (10) lygties
:<math>(m, \; p, \; n)= (b/2+p_0/2, \; p_0, \; -\tfrac{1}{2}c/p_0).</math>
:Lygtyje-lygybėje (9.5) ikso reikšmės turi būti tokios, kad <math>(x^2 +m)^2 =0</math> ir <math>p(x+n)^2 =0.</math> Tada su šia ar šiom x reikšmėm ir <math>x^4 +bx^2 +cx+d =0.</math> Tai vienas variantas. Kito būdo rodos nėra. Todėl galimas variantas, kad randami ne visi ketvirto laipsnio lygties (9) sprendiniai.
:Nes lygtyje
:<math>(x^2 +m)^2 -p(x+n)^2 =x^4 +bx^2 +cx+d, \quad (9.5)</math>
:<math>(x^2 +m)^2 -p(x+n)^2</math> gali būti daugiau už 0 su tam tikrom x reikšmėm ir gali būti mažiau už nulį su kitom x reikšmėm. Ir su kai kuriom x reikšmėm reiškinys <math>(x^2 +m)^2 -p(x+n)^2</math> gali būti lygus nuliui, nors nei <math>(x^2 +m)^2</math>, nei <math>p(x+n)^2</math> neprivalo būti lygūs nuliui.
:Ketvirto laipsnio lygtis gali turėti nuo 1 iki 4 sprendinių arba nei vieno sprendinio (pavyzdžiui, lygtis <math>x^4 +1 =0</math> neturi [realių] sprendinių).
:Išspręsti penkto laipsnio lygtį bendru atveju yra neįmanoma (many try, but now all lieing dead).
:Tačiau, svarbiausias teiginys pagrindinės algebros teoremos išlieka teisingas: ''kiekvienas n-to laipsnio polinomas išskaidomas į tiesinius ir kvadratinius daugiklius''.
:'''Papildymas.''' Jeigu <math>(x^2 +m)^2 -p(x+n)^2=0,</math> tai
:<math>(x^2 +m)^2 =p(x+n)^2,</math>
:<math>x^2 +m =\sqrt{p}(x+n),</math>
:<math>x^2 +m =\sqrt{p}x+\sqrt{p}n,</math>
:<math>x^2 -\sqrt{p}x +m -\sqrt{p}n=0.</math>
:Išsprendus šią kvadratinę lygtį bus rastos dvi lygties (9) šaknys.
:Be to, dėmuo <math>(x^2 +m)^2</math> visada yra teigiamas skačius su visom x reikšmėm, o dėmuo <math>p(x+n)^2</math> su neigiamom x reikšmėm yra mažesnis teigiamas skaičius (jei n yra teigiamas skaičius), nei su teigiamom x reikšmėm (jei n yra teigiamas skaičius). Todėl gal taip ir prisideda ketvirtas sprendinys. Kai trečias sprendinys ateina iš sąlygos, kad <math>(x^2 +m)^2 =0</math> ir <math>p(x+n)^2 =0.</math>