- MATH.APP.120
- 2. Kompleksiluvut
- 2.4 Napakoordinaattimuoto
Napakoordinaattimuoto¶
Kompleksiluku \(z=x+y\iu\) voidaan ilmaista myös napakoordinaattien (polar coordinates) \(r\) ja \(\theta\) avulla, missä \(r=|z|\) on luvun \(z\) etäisyys origosta kompleksitasossa ja \(\theta\) on luvun \(z\) paikkavektorin ja reaaliakselin välinen kulma mitattuna reaaliakselista vastapäivään. Kosinin ja sinin määritelmien mukaan kulmaa \(\theta\) vastaava kehäpiste yksikköympyrällä on \((\cos\theta,\sin\theta)\), joten \(r\)-säteisellä ympyrällä kehäpiste on \((x,y)=(r\cos\theta,r\sin\theta)\). Niinpä kompleksiluvun \(z\) napakoordinaattimuoto (polar form) on
Kulmaa \(\theta\) merkitään myös \(\theta=\arg z\) ja kutsutaan vaihekulmaksi eli argumentiksi (argument).
Reaali- ja imaginaariosien \(x\) ja \(y\) ja napakoordinaattien \(r\) ja \(\theta\) välinen riippuvuus on siis
Tapauksessa \(0\leq\theta\leq\frac{\pi}{2}\) riippuvuudet voidaan lukea myös seuraavan kuvan suorakulmaisesta kolmiosta.
Käänteiseen suuntaan muunnoskaavat voidaan kirjoittaa muodossa
Jälkimmäisestä yhtälöstä voidaan laskea argumentiksi suoraan \(\theta=\arctan\left(\frac{y}{x}\right)\) silloin, kun \(-\frac{\pi}{2}<\theta<\frac{\pi}{2}\), eli kun \(\re(x + y\iu ) = x > 0\). Muissa tapauksissa kulman osuminen oikeaan neljännekseen tulee erikseen pohtia esimerkiksi kuvan avulla. Argumentti \(\theta\) ei ole yksikäsitteinen, sillä siihen voidaan lisätä tai vähentää mielivaltainen määrä kokonaisia kierroksia ja päätyä jälleen samaan lukuun, eli
Tilanteesta ja sovelluksesta riippuen käsiteltävä argumentti on tapana valita väliltä \([0,2\pi]\) tai \([-\pi,\pi]\).
Esimerkki 2.4.1
Esitä kompleksiluvut \(z = \sqrt{3} + \iu\) ja \(w = -3 + \iu\) napakoordinaattimuodossa.
Napakoordinaattimuotoa varten lasketaan kummankin luvun itseisarvo ja jokin vaihekulma. Itseisarvoiksi lasketaan
Merkitään \(\theta = \arg z\) ja \(\varphi = \arg w\), jolloin \(\tan\theta = \frac{1}{\sqrt{3}}\) ja \(\tan\varphi = -\frac{1}{3}\). Piirretään kuva.
Kulma \(\theta\) voidaan päätellä muistikolmiosta, jolloin saadaan \(\theta = \frac{\pi}{6}\). Kulman \(\varphi\) määrittämiseksi lasketaan ensin esimerkiksi \(\arctan\left(-\frac{1}{3}\right) \approx -0{,}3218\). Koska luku \(w\) sijoittuu kompleksitason toiseen neljännekseen, tähän tulokseen voidaan lisätä \(\pi\) oikean vaihekulman löytämiseksi. Siis \(\varphi = \arctan\left(-\frac{1}{3}\right) + \pi \approx 2{,}820\), eli
Lause 2.4.2
Jos \(z_1=r_1(\cos\theta_1+\iu \sin\theta_1)\) ja \(z_2=r_2(\cos\theta_2+\iu \sin\theta_2)\), niin
- \(z_1z_2=r_1r_2\big(\cos(\theta_1+\theta_2)+\iu \sin(\theta_1+\theta_2)\big)\),
- \(\dfrac{z_1}{z_2}=\dfrac{r_1}{r_2} \big(\cos(\theta_1-\theta_2)+\iu \sin(\theta_1-\theta_2)\big)\), kun \(z_2 \not= 0\).
Lasketaan.
missä viimeinen yhtäsuuruus seuraa sinin ja kosinin summakaavoista. Osamäärä \(\frac{z_1}{z_2}\) lasketaan vastaavasti, kun ensin on lavennettu nimittäjän liittoluvulla \(\overline{z}_2\).
Tämä lause mahdollistaa kompleksilukujen tulon ja osamäärän geometrisen tulkinnan. Ensimmäisen kaavan mukaan tulon \(z_1z_2\) itseisarvo on \(r_1r_2\), eli tekijöiden itseisarvojen tulo ja vastaavasti tulon argumentti on \(\theta_1+\theta_2\), eli tekijöiden argumenttien summa. Osamäärän \(z_1/z_2\) tulkinnassa puolestaan sen itseisarvoksi tulee \(r_1/r_2\) ja argumentiksi \(\theta_1 - \theta_2\).
Tulon ja osamäärän tulkinnat ovat erityisen yksinkertaisia silloin, kun kertojan ja jakajan itseisarvo on \(1\). Tällaiset luvut ovat muotoa \(\cos\theta + \iu \sin\theta\) jollakin reaalisella vaihekulmalla \(\theta\), sillä
Tällä luvulla kertominen tai jakaminen jättää toisen luvun itseisarvon sikseen, jolloin kyseessä on vain kierto kulman \(\theta\) tai \(-\theta\) verran. Esimerkiksi luvulla \(\iu =\cos\frac{\pi}{2}+\iu \sin\frac{\pi}{2}\) kertominen vastaa kiertoa kulman \(\frac{\pi}{2}\) verran vastapäivään ja jakaminen samanlaista kiertoa myötäpäivään.
Kompleksilukujen potenssit \(z^n\) ja \(z^{-n}\), missä \(n\) on luonnollinen luku, määritellään samoin kuin reaaliluvuille. Luku \(z^{-n}\) on luvun \(z^n\) käänteisluku, eli \(z^{-n} = 1/z^n\) ja \(z^0 = 1\) aina, kun \(z \not= 0\).
Esimerkki 2.4.3
Laske \((1 + \iu )^9\) ja \((1 + \iu )^{-9}\).
Suoraan määritelmän avulla voidaan laskea esimerkiksi
jolloin
Reaalisten binomien tapaan myös kompleksilukujen korkeat potenssit käyvät työläiksi laskea suoraan. Napakoordinaattiesitys tarjoaa tähän kuitenkin eräänlaisen oikotien.
Lause 2.4.4 (Moivren kaava)
Jos \(z=r(\cos\theta+\iu \sin\theta)\) ja \(n\) on luonnollinen luku, niin
Todistetaan väite induktiolla. Jos \(n = 1\), väite on selvästi tosi. Oletetaan sitten, että se on tosi jollakin luonnollisella luvulla \(k\), eli että
Nyt potenssi \(z^{k + 1}\) on
eli väite on tosi. Täten kaava toteutuu kaikilla luonnollisilla luvuilla \(n\) induktioperiaatteen nojalla.
Esimerkki 2.4.5
Laske \((1 + \iu)^9\) ja \((1 + \iu)^{-9}\) Moivren kaavan avulla.
Luvun \(1 + \iu\) napakoordinaattiesitys on \(\sqrt{2}\left(\cos\frac{\pi}{4} + \iu\sin\frac{\pi}{4}\right)\) (tarkista). Tällöin Moivren kaavan mukaan
ja tämän käänteisluku