De Moivres formel

Om ett komplext tal med absolutbelopp 1 upphöjs till ett heltal n, kan det beräknas med ett samband som kallas de Moivres formel.

Detta kan man visa genom att skriva det komplexa talet på exponentiell form.

Härledning

de Moivres formel

Man börjar med att använda Eulers formel och sedan en av potenslagarna.

(cos (v) + i sin (v))^{n}

CompTrigToEulerOne

$cos (v) + i sin (v) = e^{i v}$

(e^{i v})^{n}

PowPow

$(a^{b})^{c} = a^{b \cdot c}$

e^{i n v}

Nu kan man använda Eulers formel åt andra hållet för att byta tillbaka till trigonometrisk form. Argumentet kan man läsa av som nv.

Genom att lägga till ett generellt absolutbelopp r och använda en potenslag får man en version av de Moivres formel som gäller för alla komplexa tal.

Ett komplext tal upphöjt till n har alltså absolutbeloppet

r^{n}

och argumentet nv.

Använd de Moivres formel

fullscreen

Använd de Moivres formel för att utföra beräkningen

z^{9}

om

Svara på rektangulär form.

Visa Lösning

Vi sätter in uttrycket för det komplexa talet i z9. Det ger

Nu använder vi de Moivres formel för att beräkna potensen.

z^{9} = (2 (cos (\frac{5 π}{3}) + i sin (\frac{5 π}{3})))^{9}

CompTrigPow

$(r (cos (v) + i sin (v)))^{n} = r^{n} (cos (n v) + i sin (n v))$

z^{9} = 2^{9} (cos (9 \cdot \frac{5 π}{3}) + i sin (9 \cdot \frac{5 π}{3}))

MoveLeftFacToNum

$a \cdot \frac{b}{c} = \frac{a \cdot b}{c}$

z^{9} = 2^{9} (cos (\frac{4 5 π}{3}) + i sin (\frac{4 5 π}{3}))

SimpQuot

Förenkla kvot

z^{9} = 2^{9} (cos (15 π) + i sin (15 π))

CalcPow

Beräkna potens

z^{9} = 512 (cos (15 π) + i sin (15 π))

Eftersom man kan dra bort hela varv utan att trigonometriska värden förändras kan vi dra bort multiplar av 2

π

från argumentet. Genom att dra bort 14

π

, dvs. sju hela varv, får vi standardvinkeln

π

som vi känner till de trigonometriska värdena för.

z^{9} = 512 (cos (π) + i sin (π))

CosRad

,

z9=512(-1)

Multiply

Multiplicera faktorer

z9=-512

Svaret blir alltså det reella talet -512.

Förklaring

Potensekvationer med komplexa rötter

de Moivres formel är användbar för att beräkna potenser av komplexa tal, men den är speciellt användbar för att lösa potensekvationer. Man kan exempelvis använda den för att lösa ekvationen

z3=-8.

En lösning är z=-2 eftersom (-2)3=-8, men det finns även icke-reella rötter, t.ex.

z = 1 + i 3 .

Alla ekvationer har alltså inte enbart helt reella lösningar, utan i många fall kan de också innehålla imaginärdelar. Faktum är att ekvationer på formen

har n stycken komplexa rötter. Ekvationen z3=-8 har alltså 3 komplexa lösningar varav två är icke-reella.

Metod

Lösa potensekvationer med komplexa rötter

För att lösa potensekvationer av typen

använder man de Moivres formel. Om högerledet är skrivet på rektangulär form börjar man med att omvandla det till polär form.

1

Använd de Moivres formel

Högerledet är ett uttryck för z4. Ett generellt uttryck för komplexa tal z är

Nu kan man utveckla z4 med de Moivres formel.

z4

SubstituteExpressions

Sätt in uttryck

(r (cos (v) + i sin (v)))^{4}

CompTrigPow

$(r (cos (v) + i sin (v)))^{n} = r^{n} (cos (n v) + i sin (n v))$

r^{4} (cos (4 v) + i sin (4 v))

Man har nu två olika uttryck för z4:

2

Likställ absolutbeloppen och argumenten

De två uttrycken beskriver samma komplexa tal. Därför måste absolutbeloppen vara samma:

r4=16.

Argumenten behöver däremot inte vara exakt samma, bara de motsvarar samma riktning i det komplexa talplanet. Är de inte lika måste de alltså vara åtskilda av ett helt antal varv:

3

Lös ekvationerna

De två ekvationerna kan nu lösas separat. Absolutbeloppet måste vara ett reellt, icke-negativt tal så här behöver man inte ta hänsyn till några icke-reella rötter.

r4=16

RadicalEqn

$4 VL = 4 HL$

r = \pm 416

CalcRoot

Beräkna rot

r=±2

$r > 0$

r=2

Absolutbeloppet är r=2. Nu bestämmer man argumentet.

4 v = \frac{3 π}{2} + n \cdot 2 π

DivEqn

$VL / 4 = HL / 4$

v = \frac{3 π}{2 \cdot 4} + n \cdot \frac{2 π}{4}

Multiply

Multiplicera faktorer

v = \frac{3 π}{8} + n \cdot \frac{2 π}{4}

ReduceFracII

Förkorta $\frac{2 π}{4}$ med 2

v = \frac{3 π}{8} + n \cdot \frac{π}{2}

De komplexa talen som löser ekvationen har alltså argumenten

där n är ett heltal.

4

Välj argument

Antalet lösningar är lika många som exponenten i ursprungsekvationen. I det här fallet är det 4. Argumentekvationen gav oändligt många lösningar, men bara fyra som motsvarar unika riktningar i talplanet. Resten är periodiska upprepningar av dessa. De fyra argumenten kan hittas med t.ex. de fyra första n-värdena, från 0 till 3.

n	$\frac{3 π}{8} + n \cdot \frac{π}{2}$	v
0	$\frac{3 π}{8} + 0 \cdot \frac{π}{2}$	$\frac{3 π}{8}$
1	$\frac{3 π}{8} + 1 \cdot \frac{π}{2}$	$\frac{7 π}{8}$
2	$\frac{3 π}{8} + 2 \cdot \frac{π}{2}$	$\frac{1 1 π}{8}$
3	$\frac{3 π}{8} + 3 \cdot \frac{π}{2}$	$\frac{1 5 π}{8}$

Provar man högre eller lägre n-värden kan man se att man bara hittar helvarvsförskjutningar av dessa fyra. Det är dock inget speciellt med just dessa, utan det går lika bra att använda t.ex. n=3,4,5,6. Huvudsaken är att valet motsvarar unika riktningar i talplanet, så att samtliga 4 komplexa tal hittas.

5

Skriv på rätt form

Talet z ska alltså ha absolutbeloppet 2 och något av argumenten

\frac{3 π}{8},

\frac{7 π}{8},

\frac{1 1 π}{8}

och

\frac{1 5 π}{8} .

Ekvationens lösningar bör nu anges som tal och inte bara som polära koordinater. Eftersom ekvationen gavs på trigonometrisk form är det lämpligt att använda det även här:

Förklaring

Hur tolkar man lösningarna till en potensekvation i det komplexa talplanet?

När man löser potensekvationer av typen

z^{n} = w

får man n st. komplexa rötter. Exempelvis har ekvationen z3=-8 lösningarna

Alla rötter har absolutbeloppet 2. Det betyder att om man markerar dem i det komplexa talplanet kommer de att hamna på en cirkel med radien 2.

Eftersom vinkelavståndet mellan varje lösning är $12 0^{\circ}$ betyder det att om man drar raka streck mellan dem kommer det att bildas en regelbunden n-hörning, i det här fallet en liksidig triangel.

Ekvationen z9=3815 har 9 rötter som bildar en regelbunden niohörning.

Samtliga lösningar till potensekvationer på formen

z^{n} = w

bildar alltid en regelbunden n-hörning med origo som medelpunkt i det komplexa talplanet.