- MATH.APP.111
- 8. Kompleksiluvut
- 8.7 Kompleksinen polynomi
Kompleksinen polynomi¶
Kompleksikertoiminen polynomi määritellään kuten vastaava reaalikertoiminen polynomi: astetta \(n\) oleva polynomi (polynomial) \(p\) on muuttujan \(x\) lauseke
missä kertoimet (coefficients) \(a_0,a_1,\ldots,a_n\) ovat kompleksisia vakioita ja korkeimman asteen termin kerroin \(a_n\ne0\).
Merkinnällä \(p(z)\), missä \(z\) on kompleksiluku, tarkoitetaan polynomin \(p\) arvoa (value) pisteessä \(z\), ja se voidaan selvittää kirjoittamalla muuttujan \(x\) paikalle luku \(z\) ja sieventämällä syntyvä lauseke. Jos halutaan selventää, minkä muuttujan polynomista on kyse, voidaan merkitä \(p = p(x)\).
Esimerkki 8.7.1
- Polynomin \(p=7x^5-\iu x^2+3x+1+\iu\) aste \(\deg p = 5\) ja sen arvo pisteessä \(\iu\) on \(p(\iu)=7\iu^5-\iu^3+3\iu+1+\iu=1+12\iu\).
- Toisen ja kolmannen asteen polynomien \(x^2+1\) ja \(3x^3-2x+1\) tulo on viidennen asteen polynomi \((x^2+1)(3x^3-2x+1)=3x^5+x^3+x^2-2x+1\).
Lause 8.7.2 (Algebran peruslause)
Jokaisella vähintään ensimmäistä astetta olevalla polynomilla on ainakin yksi nollakohta kompleksitasossa.
Määritelmä 8.7.3
Olkoon \(p\) polynomi ja \(k\) luonnollinen luku. Jos \(p=(x-z)^kq\), missä \(q\ne0\) on polynomi, niin kompleksiluku \(z\) on polynomin \(p\) \(k\)-kertainen nollakohta.
Esimerkki 8.7.4
Polynomilla
on yksinkertainen nollakohta \(-2\) ja kaksinkertainen nollakohta \(3\). Monikerrat huomioiden voidaan sanoa myös, että polynomin \(p\) nollakohdat ovat \(-2\), \(3\) ja \(3\).
Algebran peruslauseesta, eli vähintään yhden nollakohdan olemassaolosta seuraa myös \(n\):n nollakohdan olemassaolo.
Lause 8.7.5
Polynomilla \(p=a_nx^n+\cdots+a_1x+a_0\), jonka aste \(\deg p = n\), on monikerrat huomioiden täsmälleen \(n\) kompleksista nollakohtaa. Jos nollakohdat ovat \(z_1, \ldots, z_n\), niin polynomi \(p\) voidaan esittää muodossa
Algebran peruslauseen mukaan polynomilla \(p\) on vähintään yksi nollakohta. Merkitään täksi nollakohdaksi \(z_1\), jolloin binomi \(x - z_1\) jakaa polynomin \(p\), eli
missä polynomin \(q_{1}\) aste on \(n-1\). Algebran peruslauseen mukaan polynomilla \(q_{1}\) on kompleksinen nollakohta \(z_2\), joten \(q_1 = (x - z_2)q_2\) ja
missä polynomin \(q_{2}\) aste on \(n-2\). Menettelyä voidaan jatkaa kunnes viimeisenä saadun osamäärän \(q_n\) aste on nolla. Samalla on tuotettu täsmälleen \(n\) nollakohtaa polynomille \(p\). Tällöin \(q_n\) on vakiopolynomi \(c\) ja polynomi \(p\) voidaan kirjoittaa tulona
Jos nyt tämä tulo lasketaan, tuloksena syntyvän polynomin \(n\). asteen termiksi saadaan \(cx^n\). Sen on kuitenkin oltava sama kuin polynomin \(p\) korkeimman asteen termi \(a_nx^n\), eli \(c=a_n\) ja väitteen viimeinen osa on todistettu.
Matala-asteisten polynomien tapauksessa voidaan löytää yleisiä ratkaisukaavoja, joissa nollakohdat määräytyvät suoraan polynomin kertoimista.
Lause 8.7.6
Toisen asteen polynomiyhtälön \(ax^2 + bx + c = 0\) juuret ovat
missä \(\sqrt{b^2 - 4ac}\) tarkoittaa kompleksiluvun \(b^2 - 4ac\) toista juurta.
Jotta yhtälö todella olisi toista astetta, oletetaan että \(a \not= 0\). Tällöin yhtälön vasen puoli voidaan täydentää neliöksi seuraavalla tavalla.
Kompleksiluvulla \(\Delta = b^2 - 4ac\) on napakoordinaattiesitys \(\Delta = |\Delta|e^{\iu \theta}\), missä \(\theta = \arg\Delta\). Täten sen toiset juuret ovat
Tässä kuitenkin \(e^{\iu \pi} = -1\), joten \(w_1 = -w_0\). Merkitään esimerkiksi juurta \(w_0 = \sqrt{b^2 - 4ac}\), jolloin yhtälön ratkaisut voidaan esittää muodossa
Näiden lineaaristen yhtälöiden ratkaisut voidaan kirjoittaa lyhyesti muodossa
Huomautus 8.7.7
Reaalisten kertoimien tapauksessa yhtälöllä \(ax^2 + bx + c = 0\) on reaaliset ratkaisut vain, jos \(\Delta = b^2 - 4ac \geq 0\). Tällöin ei myöskään tarvitse tehdä eroa luvun \(\Delta\) toisen juuren ja neliöjuuren välille. Tapauksessa \(\Delta < 0\) ratkaisukaavan käyttämiseksi on etsittävä negatiivisen reaaliluvun toiset juuret. Napakoordinaateissa \(\Delta = |\Delta|e^{\iu \pi}\), joten luvun \(\Delta\) toiset juuret ovat \(w_0 = \sqrt{|\Delta|}e^{\iu \frac{\pi}{2}} = \iu \sqrt{|\Delta|}\) ja \(w_1 = -\iu \sqrt{|\Delta|}\). Merkitsemällä
nähdään, että ratkaisut ovat
Esimerkki 8.7.8
Ratkaise yhtälö
- \(2x^2 + 4x - 3 = 0\),
- \(4x^2 - 4x + 3 = 0\),
- \(x^2 + 2\iu x - \iu \sqrt{3} = 0\).
Ratkaisukaavalla \(x = \dfrac{-4 \pm \sqrt{4^2 - 4 \cdot 2 \cdot (-3)}}{2 \cdot 2} = -1 \pm \dfrac{\sqrt{10}}{2}\).
Ratkaisukaavalla
\[x = \dfrac{4 \pm \sqrt{4^2 - 4 \cdot 4 \cdot 3}}{2 \cdot 4} = \dfrac{4 \pm \sqrt{-32}}{8} = \dfrac{4 \pm \iu \sqrt{32}}{8} = \dfrac{1}{2} \pm \dfrac{\sqrt{2}}{2}\iu .\]Jos ratkaisukaavan juuren alle jäävä luku on negatiivinen, voidaan käyttää muistisääntöä \(\sqrt{-1} = \pm \iu\) kompleksisten ratkaisujen esittämiseksi.
Ratkaisukaavalla
\[x = \frac{-2\iu \pm \sqrt{(2\iu )^2 - 4 \cdot 1 \cdot (-\iu \sqrt{3})}}{2 \cdot 1} = -\iu \pm \sqrt{-1 + \iu \sqrt{3}}.\]Tässä \(\sqrt{-1 + \iu \sqrt{3}}\) tarkoittaa luvun \(-1 + \iu \sqrt{3} = 2e^{\iu \frac{2\pi}{3}}\) toista juurta, jolloin voidaan valita esimerkiksi
\[\sqrt{-1 + \iu \sqrt{3}} = \sqrt{2}e^{\iu \frac{\pi}{3}} = \frac{\sqrt{2}}{2} + \frac{\sqrt{6}}{2}\iu .\]Täten yhtälön ratkaisut ovat
\[x = \frac{\sqrt{2}}{2} + \frac{\sqrt{6} - 2}{2}\iu \qquad\text{ja}\qquad x = -\frac{\sqrt{2}}{2} - \frac{\sqrt{6} + 2}{2}\iu .\qedhere\]
Myös kolmannen ja neljännen asteen polynomien nollakohdille on olemassa yleiset algebralliset ratkaisukaavat. Näissä tapauksissa juurten hakeminen tapahtuu kuitenkin jo useassa vaiheessa, ja mainittujen ratkaisukaavojen monimutkaisuuden vuoksi niitä ei kuitenkaan juuri käytetä. Kuuluisa Abel-Ruffinin lause toteaa lisäksi, että viidennen ja sitä korkeamman asteen polynomiyhtälöille ei ole olemassa yleistä ratkaisukaavaa. Kuitenkin meillä on olemassa numeerisia menetelmiä nollakohtien löytämiseen korkeamman asteen polynomiyhtälöille.
Polynomin tekijöihinjako tarjoaa eräänlaisen juurtenhakualgoritmin. Ensin etsitään yksi juuri arvaamalla ja kokeilemalla, jonka jälkeen tehdään jakolasku vastaavalla binomilla. Tuloksena on matalampiasteinen polynomi, jolle prosessi voidaan toistaa. Algoritmi jatkuu, kunnes tekijäksi saadaan toisen asteen polynomi, ja sen juuret haetaan lopuksi ratkaisukaavalla. Käsin laskettaessa menetelmä ei käytännössä ole käyttökelpoinen, jos ei ole tehokasta keinoa arvata uutta juurta. Tietokoneella voidaan arvauksen sijaan arvioida seuraavaa juurta numeerisesti, ja monet laskennalliset polynomin juurtenhakualgoritmit perustuvatkin tähän yksinkertaiseen runkoon.
Esimerkki 8.7.9
Hae polynomien \(p = x^3 + \frac{1}{2}x^2 - 2x - \frac{3}{2}\) ja \(q = x^3 - 6x^2 + 21x - 26\) nollakohdat ja jaa ne tekijöihin.
Polynomin \(p\) tapauksessa havaitaan, että
eli \(-1\) on eräs sen nollakohdista. Binomi \(x + 1\) siis jakaa polynomin \(p\), ja jakolaskun tuloksena
Toisen asteen tekijän nollakohdat ovat
eli \(\frac{3}{2}\) ja \(-1\), jolloin
Polynomille \(q\) puolestaan
eli \(2\) on eräs sen nollakohdista. Täten laskemalla osamäärä jakokulmassa havaitaan, että
Toisen asteen tekijän nollakohdat ovat
joten
Reaalikertoimisten polynomien kompleksiset nollakohdat löytyvät aina liittolukupareina.
Lause 8.7.10
Jos kompleksiluku \(z\) on reaalikertoimisen polynomin \(p\) nollakohta, niin myös \(\overline{z}\) on saman polynomin nollakohta.
Merkitään \(p = a_nx^n + \cdots + a_1x + a_0\), missä kaikki kertoimet ovat reaalisia. Tämän vuoksi \(\overline{a_i} = a_i\) jokaisella \(i = 0, 1, \ldots, n\). Jos nyt \(p(z) = 0\), niin liittoluvun ominaisuuksien nojalla
ja täten \(\overline{z}\) on myös juuri.
Huomautus 8.7.11
Edellinen tulos on voimassa ainoastaan reaalikertoimisille polynomeille! Lisäksi reaalisen juuren \(z\) tapauksessa liittoluku \(\overline{z} = z\) on sama, eikä samaan pisteeseen syntyvä moninkertainen juuri.
Lause 8.7.12
Reaalikertoiminen polynomi \(p=a_nx^n+\cdots+a_1x+a_0\) voidaan jakaa ensimmäisen ja toisen asteen reaalikertoimisiin tekijöihin seuraavasti:
missä \(x_1,\ldots,x_k\) ovat polynomin \(p\) erilliset reaaliset nollakohdat, \(m_1,\ldots,m_k\) niiden kertaluvut, ja polynomeilla \(x^2+b_i x+c_i\), \(i = 1, \ldots, l\) ei ole reaalisia nollakohtia.
Olkoot \(x_1, \ldots, x_k\) polynomin \(p\) erilliset reaaliset ja \(z_1, \overline{z}_1, \ldots, z_l, \overline{z}_l\) sen erilliset imaginaariset nollakohdat. Olkoot lisäksi \(m_1, \ldots, m_k\) ja \(n_1, \ldots, n_l\) niiden kertaluvut samassa järjestyksessä, jolloin tekijöihinjaon vuoksi
Reaalijuuria koskeva osuus on täten jo todistettu, ja loput väitteestä seuraa siitä, että jokaista \(i = 1, \ldots, l\) kohti tulo
on toisen asteen polynomi, jonka kertoimet \(b_i=-2\re z_i\) ja \(c_i=|z_i|^2\) ovat reaalisia.