Kolmannen asteen yhtälön ratkaisukaava

Kolmannen asteen yhtälön ratkaisukaava on Niccolò Tartaglian keksimä kaava ratkaista yhtälöt muotoa ax^3+bx^2+cx+d=0, missä a ot =0. Kun yhtälö jaetaan a:lla ja sijoitetaan x=y-b/3a, saadaan yhtälö muotoon y3+py+q=0. Jos p=0 nähdään, että yhtälöllä on ratkaisuna y=-q^(1/3). Siten y3+py+q=0 on jaollinen polynomilla y-q^(1/3) ja saatu toisen asteen yhtälö on helppo ratkaista. Keskitytään siis tapaukseen, missä p ot =0. Sijoittamalla y=u+v yhtälöön y3+py+q=0 saadaan yhtälö muotoon u^3+v^3+(3uv+p)(u+v)+q=0. Nyt voidaan valita u ja v siten, että 3uv=-p. Tällöin saadaan u^ 3-\frac{p^3}{27u^3}+q=0. Tämä näennäisesti kuudennen asteen yhtälö palautuu sijoituksella t=u3 toisen asteen yhtälöksi. Kun nämä arvot on saatu, voidaan päätellä edellisten sijoituksessa saatujen muuttujien arvot ja lopulta polynomin juuret saadaan selville. == Ratkaisut == Suoraan yhtälön kertoimista juuret saadaan kaavoilla: \begin{align} x_{ 1 } = &-\frac { b }{ 3a } \\\ &+\sqrt [ 3 ]{ \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) +\sqrt { { \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) }^{ 2 }+{ \left( \frac { c }{ 3a } -\frac { { b }^{ 2 } }{ 9{ a }^{ 2 } } \right) }^{ 3 } } } \\\ &+\sqrt [ 3 ]{ \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) -\sqrt { { \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) }^{ 2 }+{ \left( \frac { c }{ 3a } -\frac { { b }^{ 2 } }{ 9{ a }^{ 2 } } \right) }^{ 3 } } } \\\ x_{ 2 } = &-\frac { b }{ 3a } \\\ &+\frac { -1+\sqrt { -3 } }{ 2 } \sqrt [ 3 ]{ \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) +\sqrt { { \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) }^{ 2 }+{ \left( \frac { c }{ 3a } -\frac { { b }^{ 2 } }{ 9{ a }^{ 2 } } \right) }^{ 3 } } } \\\ &+\frac { -1-\sqrt { -3 } }{ 2 } \sqrt [ 3 ]{ \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) -\sqrt { { \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) }^{ 2 }+{ \left( \frac { c }{ 3a } -\frac { { b }^{ 2 } }{ 9{ a }^{ 2 } } \right) }^{ 3 } } } \\\ x_{ 3 } = &-\frac { b }{ 3a } \\\ &+\frac { -1-\sqrt { -3 } }{ 2 } \sqrt [ 3 ]{ \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) +\sqrt { { \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) }^{ 2 }+{ \left( \frac { c }{ 3a } -\frac { { b }^{ 2 } }{ 9{ a }^{ 2 } } \right) }^{ 3 } } } \\\ &+\frac { -1+\sqrt { -3 } }{ 2 } \sqrt [ 3 ]{ \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) -\sqrt { { \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) }^{ 2 }+{ \left( \frac { c }{ 3a } -\frac { { b }^{ 2 } }{ 9{ a }^{ 2 } } \right) }^{ 3 } } } \\\ \end{align} Lauseketta :{ \left( \frac { -{ b }^{ 3 } }{ 27{ a }^{ 3 } } +\frac { bc }{ 6{ a }^{ 2 } } -\frac { d }{ 2a } \right) }^{ 2 }+{ \left( \frac { c }{ 3a } -\frac { { b }^{ 2 } }{ 9{ a }^{ 2 } } \right) }^{ 3 } kutsutaan yhtälön diskriminantiksi. Jos kaikki kertoimet a, b, c ja d ovat reaalilukuja ja diskriminantti positiivinen, on yhtälöllä vain yksi reaalinen ratkaisu, josta on edellä käytetty merkintää x1. Ratkaisut x2 ja x3 ovat tällöin kompleksilukuja, jotka ovat toistensa liittolukuja. Mikäli diskriminantti on negatiivinen, on neliöjuuresta saatu luku imaginääriluku. Tällöin molempien ratkaisukaavassa esiintyvien kuutiojuurten sisällä on kompleksiluku, jonka juuren ratkaisemiseksi tarvitaan De Moivren kaavaa. Nämä kuutiojuuret ovat kuitenkin toistensa liittolukuja, minkä vuoksi niiden summa on reaaliluku. Tässä tapauksessa yhtälöllä on siis kolme reaalista ratkaisua (edellyttäen, että kertoimet ovat reaalilukuja). == Lähteet == == Aiheesta muualla == *Ohjelma, joka antaa 2., 3. ja 4. asteen yhtälön ratkaisut, kun siihen syötetään kertoimet * The Cubic Formula Luokka:Yhtälöt Luokka:Algoritmit Luokka:Seulonnan keskeiset artikkelit