3.3. Potenser och rötter
Sommarmatte 2
| Versionen från 18 juli 2007 kl. 07.37 (redigera) KTH.SE:u1zpa8nw (Diskussion | bidrag) (Ny sida: __NOTOC__ <table><tr><td width="600"> {{Info| '''Innehåll:''' * de Moivres formel * Binomiska ekvationer * Exponentialform * Eulers formel * Kvadratkomplettering * Andragradsekvationer }}...) ← Gå till föregående ändring |
Nuvarande version (18 juli 2007 kl. 07.45) (redigera) (ogör) KTH.SE:u1zpa8nw (Diskussion | bidrag) (→Lösning med formel) |
||
| (En mellanliggande version visas inte.) | |||
| Rad 60: | Rad 60: | ||
| <br/> | <br/> | ||
| På traditionellt sätt kan man med kvadreringsregeln utveckla | På traditionellt sätt kan man med kvadreringsregeln utveckla | ||
| - | $$(\cos v + i\,\sin v)^2 = \cos^2\!v + i^2 \sin^2\!v + 2i \sin v \cos v = \cos^2\!v - \sin^2\!v + 2i \sin v \cos v$$ | + | $(\cos v + i\,\sin v)^2 = \cos^2\!v + i^2 \sin^2\!v + 2i \sin v \cos v $<br> |
| + | $\phantom{(\cos v + i\,\sin v)^2}{} = \cos^2\!v - \sin^2\!v + 2i \sin v \cos v$<br> | ||
| och med de Moivres formel få att | och med de Moivres formel få att | ||
| $$(\cos v + i \sin v)^2 = \cos 2v + i \sin 2v\,\mbox{.}$$ | $$(\cos v + i \sin v)^2 = \cos 2v + i \sin 2v\,\mbox{.}$$ | ||
| Rad 360: | Rad 361: | ||
| <div class="exempel"> | <div class="exempel"> | ||
| '''Exempel 16''' | '''Exempel 16''' | ||
| - | <br/> | + | |
| - | <br/> | + | |
| - | Lös ekvationerna | + | |
| <ol type="a"> | <ol type="a"> | ||
| <li> Lös ekvationen $\ z^2-2z+10=0\,$. | <li> Lös ekvationen $\ z^2-2z+10=0\,$. | ||
| Rad 370: | Rad 369: | ||
| $$z= 1\pm \sqrt{1-10} = 1\pm \sqrt{-9}= 1\pm 3i\,\mbox{.}$$ | $$z= 1\pm \sqrt{1-10} = 1\pm \sqrt{-9}= 1\pm 3i\,\mbox{.}$$ | ||
| </li> | </li> | ||
| - | <br/> | ||
| <li> Lös ekvationen $\ z^2 + (4-2i)z -4i=0\,\mbox{.}$ | <li> Lös ekvationen $\ z^2 + (4-2i)z -4i=0\,\mbox{.}$ | ||
| <br/> | <br/> | ||
| Rad 377: | Rad 375: | ||
| $$\eqalign{z &= -2+i\pm\sqrt{\smash{(-2+i)^2+4i}\vphantom{i^2}} = -2+i\pm\sqrt{4-4i+i^{\,2}+4i}\cr &=-2+i\pm\sqrt{3} = -2\pm\sqrt{3}+i\,\mbox{.}}$$ | $$\eqalign{z &= -2+i\pm\sqrt{\smash{(-2+i)^2+4i}\vphantom{i^2}} = -2+i\pm\sqrt{4-4i+i^{\,2}+4i}\cr &=-2+i\pm\sqrt{3} = -2\pm\sqrt{3}+i\,\mbox{.}}$$ | ||
| </li> | </li> | ||
| - | <br/> | ||
| <li> Lös ekvationen $\ iz^2+(2+6i)z+2+11i=0\,\mbox{.}$ | <li> Lös ekvationen $\ iz^2+(2+6i)z+2+11i=0\,\mbox{.}$ | ||
| <br/> | <br/> | ||
| Rad 390: | Rad 387: | ||
| </ol> | </ol> | ||
| </div> | </div> | ||
| + | <br><br><br><br><br><br><br><br><br><br><br><br> | ||
Nuvarande version
|
Innehåll:
Lärandemål: Efter detta avsnitt ska du ha lärt dig att:
|
|
[redigera] De Moivres formelRäknereglerna $\ \arg (zw) = \arg z + \arg w\ $ och $\ |\,zw\,| = |\,z\,|\cdot|\,w\,|\ $ betyder att $$\biggl\{\eqalign{&\arg (z\cdot z) = \arg z + \arg z \cr &|\,z\cdot z\,| = |\,z\,|\cdot|\,z\,|}\qquad\biggl\{\eqalign{&\arg z^3 = 3 \arg z \cr &|\,z^3\,| = |\,z\,|^3}\qquad\text{o.s.v.}$$ För ett godtyckligt tal $\,z=r\,(\cos \alpha +i\,\sin \alpha)\,$ har vi därför följande samband $$z^n = \bigl(r\,(\cos \alpha +i\sin \alpha)\bigr)^n = r^n\,(\cos n\alpha +i\,\sin n\alpha)\,\mbox{.}$$ Om $\,|\,z\,|=1\,$, (dvs. $\,z\,$ ligger på enhetscirkeln) gäller speciellt $$(\cos \alpha +i\,\sin \alpha)^n = \cos n\alpha +i\,\sin n\alpha\,\mbox{,}$$ vilket brukar kallas de Moivres formel. Denna relation är mycket användbar när det gäller att härleda trigonometriska identiteter och beräkna rötter och potenser av komplexa tal.
Exempel 1
Exempel 2
Exempel 3
Då får vi med de Moivres formel att $$\frac{(\sqrt3 + i)^{14}}{(1+i\sqrt3\,)^7(1+i)^{10}} = \frac{\displaystyle 2^{14}\Bigl(\cos\frac{14\pi}{6} + i\,\sin \frac{14\pi}{6}\,\Bigr)\vphantom{\biggl(}}{\displaystyle 2^7\Bigl(\cos \frac{7\pi}{3} + i\,\sin\frac{7\pi}{3}\,\Bigr) \cdot (\sqrt{2}\,)^{10}\Bigl(\cos\frac{10\pi}{4} + i\,\sin\frac{10\pi}{4}\,\Bigr)\vphantom{\biggl(}}$$ och detta uttryck kan förenklas genom att utföra multiplikationen och divisionen i polär form $$\eqalign{\frac{\displaystyle 2^{14}\Bigl(\cos\frac{14\pi}{6} + i\,\sin\frac{14\pi}{6}\,\Bigr)\vphantom{\biggl(}} {\displaystyle 2^{12}\Bigl(\cos\frac{29\pi}{6} + i\,\sin\frac{29\pi}{6}\,\Bigr)\vphantom{\biggl(}} &= 2^2 \Bigl(\cos\Bigl( -\frac{15\pi}{6}\,\Bigr) + i\,\sin\Bigl( -\frac{15\pi}{6}\,\Bigr)\,\Bigr)\cr &= 4\Bigl(\cos \Bigl( -\frac{\pi}{2}\,\Bigr) + i\,\sin\Bigl( -\frac{\pi}{2}\,\Bigr)\,\Bigr) = -4i\,\mbox{.}}$$ [redigera] Binomiska ekvationerEtt komplext tal $\,z\,$ kallas en n:te rot av det komplexa talet $\,w\,$ om $$z^n= w \mbox{.}$$ Ovanstående samband kan också ses som en ekvation där $\,z\,$ är den obekante, och en sådan ekvation kallas en binomisk ekvation. Lösningarna ges av att skriva båda leden i polär form och jämföra belopp och argument. För ett givet tal $\,w=|\,w\,|\,(\cos \theta + i\,\sin \theta)\,$ ansätter man det sökta talet $\,z=r\,(\cos \alpha + i\, \sin \alpha)$ och den binomiska ekvationen blir $$r^{\,n}\,(\cos n\alpha + i \sin n\alpha) =|w|\,(\cos \theta + i \sin \theta)\,\mbox{,}$$ där de Moivres formel använts i vänsterledet. För belopp och argument måste nu gälla $$\biggl\{\eqalign{r^{\,n} &= |w|\,\mbox{,}\cr n\alpha &= \theta + k\cdot 2\pi\,\mbox{.}}$$ Observera att vi lägger till en multipler av $\,2\pi\,$ för att få med alla värden på argumentet som anger samma riktning som $\,\theta\,$. Man får då att $$\biggl\{\eqalign{ r&={\textstyle\sqrt[\scriptstyle n]{|w|}}\cr \alpha&= (\theta + 2k\pi)/n\,, \quad k=0, \pm 1, \pm 2, \ldots}$$ Detta ger ett värde på $\,r\,$, men oändligt många värden på $\,\alpha\,$. Trots detta blir det inte oändligt många lösningar. Från $\,k = 0\,$ till $\,k = n - 1\,$ får man olika argument för $\,z\,$ och därmed olika lägen för $\,z\,$ i det komplexa talplanet. För övriga värden på $\,k\,$ kommer man pga. periodiciteten hos sinus och cosinus tillbaka till dessa lägen och får alltså inga nya lösningar. Detta resonemang visar att ekvationen $\,z^n=w\,$ har exakt $\,n\,$ rötter. Anm. Observera att rötternas olika argument ligger $\,2\pi/n\,$ ifrån varandra, vilket gör att rötterna ligger jämnt fördelade på en cirkel med radien $\,\sqrt[\scriptstyle n]{|w|}\,$ och bildar hörn i en regelbunden n-hörning.
Exempel 4
Då ger ekvationen $\ z^4=16\,i\ $ att $$r^4\,(\cos 4\alpha + i\,\sin 4\alpha) = 16\Bigl(\cos\frac{\pi}{2} + i\sin\frac{\pi}{2}\,\Bigr)\,\mbox{.}$$ När vi identifierar belopp och argument i båda led fås att $$\biggl\{\eqalign{r^4&=16 \cr 4\alpha &=\pi/2 + k\cdot 2\pi}\qquad\text{d.v.s.}\qquad\biggl\{\eqalign{r&=\sqrt[\scriptstyle 4]{16}= 2 \cr \alpha &= \pi/8 + k\pi/2\,,\quad k=0,1,2,3}$$ Lösningarna till ekvationen är alltså $$\left\{\eqalign{\displaystyle z_1&= 2\Bigl(\cos \frac{\pi}{8} + i\,\sin\frac{\pi}{8}\,\Bigr)\cr \displaystyle z_2 &= 2\Bigl(\cos\frac{5\pi}{8} + i\,\sin\frac{5\pi}{8}\,\Bigr)\vphantom{\biggl(}\cr \displaystyle z_3 &= 2\Bigl(\cos\frac{9\pi}{8} + i\,\sin\frac{9\pi}{8}\,\Bigr)\vphantom{\biggl(}\cr \displaystyle z_4 &= 2\Bigl(\cos\frac{13\pi}{8} + i\,\sin\frac{13\pi}{8}\,\Bigr)}\right.$$
[redigera] Exponentialform av komplexa talOm vi behandlar $\,i\,$ likvärdigt med ett reellt tal och betraktar ett komplext tal $\,z\,$ som en funktion av $\,\alpha\,$ (och $\,r\,$ är en konstant), $$f(\alpha) = r\,(\cos \alpha + i\,\sin \alpha)$$ så får vi efter derivering $$\eqalign{f^{\,\prime}(\alpha) &= -r\sin \alpha + r\,i\,\cos \alpha =r\,i^2 \sin \alpha + r\,i\,\cos \alpha = i\,r\,(\cos \alpha + i\,\sin \alpha) = i\,f(\alpha)\cr f^{\,\prime\prime} (\alpha) &= - r\,\cos \alpha - r\,i\,\sin \alpha = i^2\,r\,(\cos \alpha + i\,\sin \alpha) = i^2\, f(\alpha)\cr &\text{o.s.v.}}$$ Den enda reella funktion med dessa egenskaper är $\,f(x)= e^{\,kx}\,$, vilket motiverar definitionen $$e^{\,i\alpha} = \cos \alpha + i\,\sin \alpha\,\mbox{.}$$ Denna definition visar sig vara en helt naturlig generalisering av exponentialfunktionen för reella tal. Om man sätter $\,z=a+ib\,$ så får man $$e^{\,z} = e^{\,a+ib} = e^{\,a} \cdot e^{\,ib} = e^{\,a}(\cos b + i\,\sin b)\,\mbox{.}$$ Definitionen av $\,e^{\,z}\,$ kan uppfattas som ett bekvämt skrivsätt för den polära formen av ett komplext tal, eftersom $\,z=r\,(\cos \alpha + i\,\sin \alpha) = r\,e^{\,i\alpha}\,$.
Exempel 5
Exempel 6
Exempel 7
Exempel 8
Ekvationen blir i polär form $\ r^3e^{3\alpha i}=8\,e^{3\pi i/2}\ $ och identifierar vi belopp och argument i båda led har vi att $$\biggl\{\eqalign{ r^3 &= 8\cr 3\alpha &= 3\pi/2+2k\pi}\qquad\Leftrightarrow\qquad\biggl\{\eqalign{r&=\sqrt[\scriptstyle 3]{8}\cr \alpha&= \pi/2+2k\pi/3\,,\quad k=0,1,2}$$ Rötterna till ekvationen blir därmed
Exempel 9
[redigera] KvadratkompletteringKvadreringsreglerna, $$\left\{\eqalign{(a+b)^2&=a^2+2ab+b^2\cr (a-b)^2&=a^2-2ab+b^2}\right.$$ som vanligtvis används för att utveckla parentesuttryck kan även användas baklänges för att erhålla jämna kvadratuttryck. Exempelvis är $$\eqalign{x^2+4x+4&=(x+2)^2\,\mbox{,}\cr x^2-10x+25&=(x-5)^2\,\mbox{.}}$$ Detta kan utnyttjas vid lösning av andragradsekvationer, t.ex. $$\eqalign{x^2+4x+4&=9\,\mbox{,}\cr (x+2)^2&=9\,\mbox{.}}$$ Rotutdragning ger sedan att $\,x+2=\pm\sqrt{9}\,$ och därmed att $\,x=-2\pm 3\,$, dvs. $\,x=1\,$ eller $\,x=-5\,$.
Exempel 10
Generellt kan man säga att kvadratkomplettering går ut på att skaffa sig "kvadraten på halva koefficienten för $x$" som konstantterm i andragradsuttrycket. Denna term kan man alltid lägga till i båda led utan att bry sig om vad som fattas. Om koefficienterna i uttrycket är komplexa så kan man gå till väga på samma sätt.
Exempel 11
Exempel 12
Exempel 13
Om man vill åstadkomma en jämn kvadrat i ett fristående uttryck så kan man också göra på samma sätt. För att inte ändra uttryckets värde lägger man då till och drar ifrån den saknade konstanttermen, exempelvis $$\eqalign{x^2+10x+3 &= x^2+10x+25+3-25\cr &= (x+5)^2-22\,\mbox{.}}$$
Exempel 14
[redigera] Lösning med formelAtt lösa andragradsekvationer är ibland enklast med hjälp av den vanliga formeln för andragradsekvationer. Ibland kan man dock råka ut för uttryck av typen $\,\sqrt{a+ib}\,$. Man kan då ansätta $$z=x+iy=\sqrt{a+ib}\,\mbox{.}$$ Genom att kvadrera båda led får vi att $$\eqalign{(x+iy)^2 &= a+ib\,\mbox{,}\cr x^2 - y^2 + 2xy\,i &= a+ib\,\mbox{.}}$$ Identifikation av real- och imaginärdel ger nu att $$\left\{\eqalign{&x^2 - y^2 = a\,\mbox{,}\cr &2xy=b\,\mbox{.}}\right.$$ Detta ekvationssystem kan lösas med substitution, t.ex. $\,y= b/(2x)\,$ som kan sättas in i den första ekvationen.
Exempel 15
Vi har alltså kommit fram till att $$\sqrt{-3-4i} = \Bigl\{\eqalign{&\phantom{-}1-2i\,\mbox{,}\cr &-1+2i\,\mbox{.}\cr}$$ Exempel 16
|

