Stelling van De Moivre (machten en n-demachtswortels van complexe getallen met stappen en een veelhoekgrafiek)
Kies wat je wilt vinden en vul dan het reële deel a en het imaginaire deel b van z = a + bi in, en het gehele getal n. De uitdrukking hieronder is gekoppeld aan de invoervelden, dus je kunt de getallen ook rechtstreeks daarin aanpassen.
Inhoudsopgave
-
Wat je op deze pagina kunt doen
-
Waarvoor is deze berekening handig?
-
Zo werkt het
-
Formules en figuren
-
Symbolen en begrippen
-
Handig om vooraf te weten
-
Berekenen met Excel
-
Berekenen met Google Spreadsheets
-
Berekenen met Python
-
De formule in LaTeX en andere wiskundenotaties (om te kopiëren)
-
Zo laat je ChatGPT de berekening doen
-
Kenmerken van DataChef
-
Gerelateerde functies
-
Alle rekenmachines van NumberChef
Wat je op deze pagina kunt doen
- Bereken meteen de \(n\)-de macht \(z^n\) van een complex getal \(z = a + bi\) voor een geheel getal \(n\) (1 tot 20). Gebaseerd op de stelling van De Moivre \(\left(\cos\theta + i\sin\theta\right)^n = \cos n\theta + i\sin n\theta\): in de stappen zie je één voor één de absolute waarde tot de macht, \(r^n\), en het argument keer \(n\), \(n\theta\)
- Het antwoord \(z^n\) staat altijd als exacte waarde met gehele getallen en breuken. Is het argument een bijzondere hoek (op een as of een veelvoud van 45°), dan gebruiken ook de stappen exacte goniometrische waarden
- In de modus “n-demachtswortels” toont de rekenmachine alle \(n\) complexe getallen \(w\) met \(w^n = z\) (de n-demachtswortels van \(z\)), voor \(k = 0\) tot \(n-1\) (\(n\) van 2 tot 12). Wortels die exact te schrijven zijn, staan als exacte waarde, zoals \(-1 + \sqrt{3}i\)
- Je ziet het resultaat ook in het complexe vlak. De n-demachtswortels verschijnen als een regelmatige veelhoek met \(n\) zijden, op gelijke afstanden op een cirkel met straal \(\sqrt[n]{r}\), en een macht verschijnt als de punten \(z\) en \(z^n\) met bogen voor hun argumenten
- De uitdrukking boven de invoervelden (MathLive) is aan de velden gekoppeld, dus je kunt de getallen in \(\left(1 + i\right)^{4}\) ook rechtstreeks aanpassen
Waarvoor is deze berekening handig?
Neem \(n = 2\) of \(3\) in de stelling van De Moivre, werk de linkerkant uit en vergelijk het reële en het imaginaire deel. Zo krijg je in één keer de formules voor de dubbele en drievoudige hoek, zoals \(\cos 2\theta = \cos^2\theta - \sin^2\theta\) en \(\cos 3\theta = 4\cos^3\theta - 3\cos\theta\).
De kracht is dat je de formules uit deze stelling zelf kunt opbouwen in plaats van ze uit je hoofd te leren, en “leid met de stelling van De Moivre de formule voor de drievoudige hoek af” is een klassieke opgave. Het is een stelling met een prachtig uitzicht, die goniometrie en complexe getallen, twee onderwerpen die je apart hebt geleerd, aan elkaar knoopt.
Achter het luisteren naar muziek of het opslaan van een foto op je telefoon draait een berekening die de discrete fouriertransformatie heet en een signaal opsplitst in “hoeveel van elke golftoon erin zit”. Het hart van deze berekening zijn de \(n\)-de eenheidswortels: elke waarde van het signaal wordt vermenigvuldigd met een macht van een \(n\)-de eenheidswortel en de resultaten worden opgeteld.
Audiocompressie, beeldcompressie (de transformaties in JPEG), ruisverwijdering, spraakherkenning en andere technieken voor digitaal geluid en beeld zijn gebouwd op de “complexe getallen die een cirkel gelijkmatig verdelen” van deze pagina.
De driefasenwisselstroom die van centrales naar fabrieken en grote gebouwen wordt gestuurd, bestaat uit drie golven waarvan het tijdstip 120° van elkaar verschoven is. Met complexe getallen geschreven zijn die “verschuivingen van 120°” precies de derde eenheidswortels \(1,\ \omega,\ \omega^2\). De drie golven tellen op tot 0 (\(1 + \omega + \omega^2 = 0\)), en die opheffing is precies de reden dat driefasenstroom bespaart op transportkabels.
Het ontwerp van het elektriciteitsnet en de besturing van fabrieksmotoren zijn gebouwd op deze eigenschap van de derde eenheidswortels.
In games en graphics zijn taken als “vijanden gelijkmatig rond een cirkel plaatsen”, “de hoekpunten van een radardiagram plaatsen” of “de streepjes op een wijzerplaat tekenen” niets anders dan de coördinaten \(\left(\cos\dfrac{2k\pi}{n},\ \sin\dfrac{2k\pi}{n}\right)\) vinden van de punten die een cirkel in \(n\) gelijke delen verdelen. Dat is precies de ligging van de \(n\)-de eenheidswortels.
Bij programmeren is vermenigvuldigen met een \(n\)-de eenheidswortel genoeg om “een punt naar het volgende hoekpunt te draaien”, dus het wordt gebruikt als eenvoudig hulpmiddel om dingen te draaien en gelijkmatig te verdelen.
Formules en figuren
Symbolen en begrippen
Symbolen
| \(i\) | i | De imaginaire eenheid, het getal waarvan het kwadraat \(-1\) is (\(i^2 = -1\)). De letter komt van “imaginair”. |
| \(z\) | z | De letter die meestal voor een complex getal wordt gebruikt. Volgens de gewoonte gebruik je \(z\) en \(w\) voor complexe getallen, om ze te onderscheiden van de reële variabelen \(x\) en \(y\). |
| \(w\) | w | Op deze pagina de letter voor een \(n\)-demachtswortel van \(z\) (een complex getal met \(w^n = z\)). Het volgt de gewoonte om \(w\), de letter vlak vóór \(z\) in het alfabet, te gebruiken voor een tweede complex getal. |
| \(a,\ b\) | a, b | Het reële deel (\(a\)) en het imaginaire deel (\(b\)) van \(z = a + bi\). Beide zijn reële getallen. In het complexe vlak is \(a\) de positie naar rechts (langs de reële as) en \(b\) de positie omhoog (langs de imaginaire as). |
| \(r\) | r | De letter voor de absolute waarde (de afstand van de oorsprong tot het punt \(z\)). Die komt van “radius” (straal). In poolvorm is het een reëel getal dat 0 of groter is. |
| \(\theta\) | theta | De Griekse letter voor het argument. In de wiskunde is dat de gebruikelijke letter voor een hoek. |
| \(n\) | n | Op deze pagina het gehele getal dat de exponent van een macht is (welke macht) of de graad van een wortel (welke wortel). De letter komt van “number” (aantal). |
| \(k\) | k | De letter die de \(n\)-demachtswortels nummert (van \(0\) tot \(n-1\)). Tellende letters zijn meestal \(i,\ j,\ k\), maar bij complexe getallen wordt \(i\) gemakkelijk verward met de imaginaire eenheid, dus \(k\) is de gebruikelijke keuze. |
| \(\sqrt[n]{\ }\) | n-demachtswortel | Het teken voor de \(n\)-demachtswortel. \(\sqrt[3]{8} = 2\) zegt “het positieve getal waarvan de derde macht 8 is, is 2”. Het kleine getal linksboven is de graad van de wortel; zonder getal is het een vierkantswortel. |
| \(\cos\theta,\ \sin\theta\) | cosinus theta, sinus theta | Goniometrische functies. Op de cirkel met straal 1 (de eenheidscirkel) heeft het punt in de richting van hoek \(\theta\) de horizontale positie \(\cos\theta\) en de verticale positie \(\sin\theta\). In poolvorm zijn dit het deel dat de richting geeft. |
| \(\pi\) | pi | De verhouding van de omtrek van een cirkel tot zijn middellijn (ongeveer 3,14159). In radialen is een halve draaiing, \(180^{\circ}\), precies \(\pi\) en een hele draaiing \(2\pi\). De Griekse letter \(\pi\) komt naar verluidt van de eerste letter van het Griekse woord voor “omtrek”. |
| \(\omega\) | omega | De gebruikelijke letter voor de imaginaire derdemachtswortel van 1 (\(\omega = -\dfrac{1}{2} + \dfrac{\sqrt{3}}{2}i\)). Er geldt \(\omega^3 = 1\) en \(\omega^2 + \omega + 1 = 0\). Het is de laatste letter van het Griekse alfabet en wordt veel gebruikt voor eenheidswortels. |
Begrippen
| complex getal | Een getal van de vorm \(a + bi\), waarbij \(a\) en \(b\) reële getallen zijn. Het is een getalsysteem dat de reële en imaginaire getallen samenbrengt. |
| imaginaire eenheid | Het getal \(i\) waarvan het kwadraat \(-1\) is. Geen enkel reëel getal heeft een negatief kwadraat, dus het is als nieuw getal ingevoerd. |
| complexe vlak | Het vlak waarin \(a + bi\) wordt getoond als het punt \((a;\ b)\). De horizontale as is de reële as en de verticale as is de imaginaire as. Een tekening ervan heet ook wel een Argand-diagram. |
| poolvorm (goniometrische vorm) | Een complex getal schrijven met zijn afstand \(r\) tot de oorsprong en zijn draaiingshoek \(\theta\) vanaf de reële as, als \(r(\cos\theta + i\sin\theta)\). Ook wel goniometrische vorm genoemd. De stelling van De Moivre gaat over complexe getallen in deze vorm. |
| absolute waarde (modulus) | De afstand van de oorsprong tot het punt \(z\), berekend als \(|z| = \sqrt{a^2 + b^2}\). Bij de \(n\)-de macht wordt de absolute waarde tot de \(n\)-de macht verheven (\(r^n\)). |
| argument | De hoek van de richting van de oorsprong naar het punt \(z\), tegen de klok in gemeten vanaf de positieve reële as. Een hele draaiing (\(2\pi\)) erbij optellen geeft dezelfde richting, dus volgens afspraak geef je het antwoord in het bereik \(0 \le \theta < 2\pi\). Bij de \(n\)-de macht wordt het argument met \(n\) vermenigvuldigd (\(n\theta\)). |
| machtsverheffen | Hetzelfde getal steeds opnieuw met zichzelf vermenigvuldigen. \(z^4\) is \(z\) 4 keer met zichzelf vermenigvuldigd. Het kleine getal rechtsboven is de exponent. |
| n-demachtswortel | Een getal waarvan de \(n\)-de macht het gegeven getal is. Onder de complexe getallen heeft elk complex getal dat niet 0 is precies \(n\) \(n\)-demachtswortels (onder de reële getallen heeft 8 maar één derdemachtswortel, 2, maar onder de complexe getallen zijn het er drie). |
| eenheidswortel (eenheidswortels) | De complexe getallen met \(z^n = 1\). Het zijn de \(n\) punten die de eenheidscirkel in \(n\) gelijke delen verdelen, en ze vormen een regelmatige veelhoek met \(n\) zijden waarvan \(1\) een hoekpunt is. (“Eenheid” is een ander woord voor 1.) |
| stelling van De Moivre | De stelling \(\left(\cos\theta + i\sin\theta\right)^n = \cos n\theta + i\sin n\theta\), genoemd naar de in Frankrijk geboren wiskundige Abraham de Moivre. Ze is het resultaat van \(n\) keer herhalen van “vermenigvuldigen telt de argumenten op”. |
| eenheidscirkel | De cirkel met straal 1 en de oorsprong als middelpunt. Elk complex getal met absolute waarde 1 (een getal van de vorm \(\cos\theta + i\sin\theta\)) ligt op deze cirkel. |
| regelmatige veelhoek | Een veelhoek waarvan alle zijden even lang zijn en alle hoeken even groot (een gelijkzijdige driehoek, een vierkant, een regelmatige vijfhoek enzovoort). De \(n\) punten van de \(n\)-demachtswortels liggen op gelijke afstanden op een cirkel, dus ze zijn de hoekpunten van een regelmatige veelhoek met \(n\) zijden. |
| bijzondere hoek (bijzondere hoeken) | \(30^{\circ}\), \(45^{\circ}\), \(60^{\circ}\) en verwante hoeken (deze plus veelvouden van \(90^{\circ}\)). Hun goniometrische waarden kun je exact schrijven, als \(\dfrac{1}{2}\), \(\dfrac{\sqrt{2}}{2}\) en \(\dfrac{\sqrt{3}}{2}\), en de meeste opgaven in boeken en toetsen gebruiken deze hoeken. |
| radiaal (radialen) | Een hoek meten met de lengte van de boog die hij afsnijdt op een cirkel met straal 1. \(180^{\circ} = \pi\) radialen en een hele draaiing is \(2\pi\) radialen. In de wiskunde zijn radialen de standaardeenheid in plaats van graden. |
Handig om vooraf te weten
Dit helpt je om de berekening op deze pagina echt te begrijpen, en niet alleen op de knop te drukken.
Als je vastloopt, is het herhalen van deze onderwerpen de snelste weg vooruit.
| Wortels (klas 2-3, 13-15 jaar) |
|
| Rekenregels voor machten (klas 2-3, 13-15 jaar) |
|
| Complexe getallen |
|
| Goniometrie en de eenheidscirkel (klas 3-4, 14-16 jaar) |
|
| Radialen (havo/vwo 4, 15-16 jaar) |
|
| Het complexe vlak en de poolvorm |
|
Berekenen met Excel
| Reëel deel a | 1 |
| Imaginair deel b | 1 |
| Exponent n | 4 |
| z tot de n-de macht | =C.MACHT(COMPLEX(B1;B2);B3) |
| Absolute waarde tot de n-de macht r^n | =C.ABS(COMPLEX(B1;B2))^B3 |
| Argument keer n, nθ (radialen) | =B3*C.ARGUMENT(COMPLEX(B1;B2)) |
| Reëel deel a | 8 |
| Imaginair deel b | 0 |
| Graad van de wortel n | 3 |
| Nummer van de wortel k (0 tot n−1) | 1 |
| Straal van de wortelcirkel | =C.ABS(COMPLEX(B1;B2))^(1/B3) |
| Argument van de k-de wortel (radialen) | =(REST(C.ARGUMENT(COMPLEX(B1;B2));2*PI())+2*PI()*B4)/B3 |
| Reëel deel van de k-de wortel | =B5*COS(B6) |
| Imaginair deel van de k-de wortel | =B5*SIN(B6) |
In de eerste tabel maakt COMPLEX(reëel deel; imaginair deel) een complex getal, en C.MACHT geeft de macht terug als tekst zoals “-4”. Voor het voorbeeld z = 1 + i en n = 4 is z tot de n-de macht bijna precies -4 (door afrondingsfouten van drijvendekommagetallen kan een klein imaginair deel verschijnen), r^n = 4 en nθ = π ≈ 3,14159.
De tweede tabel vindt één wortel, de k-de. C.ARGUMENT geeft het argument terug (groter dan −π en maximaal π), dus REST maakt er eerst een waarde van vanaf 0 tot (maar niet tot en met) 2π van; daarna worden k hele draaiingen opgeteld en wordt het resultaat door n gedeeld. Voor het voorbeeld z = 8, n = 3 en k = 1 is de straal 2 en het argument 2π/3 ≈ 2,0944, dus het reële deel = −1 en het imaginaire deel ≈ 1,7320508 (= √3). Verander k in 0, 1 en 2 om alle drie de wortels te krijgen.
Excel geeft decimale getallen; wil je exacte waarden met wortels of breuken, gebruik dan de rekenmachine op deze pagina.
Berekenen met Google Spreadsheets
| Reëel deel a | 1 |
| Imaginair deel b | 1 |
| Exponent n | 4 |
| z tot de n-de macht | =C.MACHT(COMPLEX(B1;B2);B3) |
| Absolute waarde tot de n-de macht r^n | =C.ABS(COMPLEX(B1;B2))^B3 |
| Argument keer n, nθ (radialen) | =B3*C.ARGUMENT(COMPLEX(B1;B2)) |
| Reëel deel a | 8 |
| Imaginair deel b | 0 |
| Graad van de wortel n | 3 |
| Nummer van de wortel k (0 tot n−1) | 1 |
| Straal van de wortelcirkel | =C.ABS(COMPLEX(B1;B2))^(1/B3) |
| Argument van de k-de wortel (radialen) | =(REST(C.ARGUMENT(COMPLEX(B1;B2));2*PI())+2*PI()*B4)/B3 |
| Reëel deel van de k-de wortel | =B5*COS(B6) |
| Imaginair deel van de k-de wortel | =B5*SIN(B6) |
Berekenen met Python
import cmath
import math
# n-de macht van een complex getal (geeft hetzelfde resultaat als de stelling van De Moivre)
z = complex(1, 1) # z = 1 + i
n = 4
z_power = z ** n
print(f"z tot de macht {n} = {z_power}")
# Onderdelen van de poolvorm (absolute waarde en argument)
absolute_value, argument = cmath.polar(z) # r en θ (−π < θ ≤ π)
if argument < 0:
argument += 2 * math.pi # verplaats het naar het bereik 0 ≤ θ < 2π
print(f"Absolute waarde r = {absolute_value}")
print(f"Argument θ = {argument} rad")
# n-demachtswortels van een complex getal (alle n, k = 0 tot n−1)
z = complex(8, 0) # z = 8
n = 3
radius = abs(z) ** (1 / n)
theta = cmath.phase(z) % (2 * math.pi)
for k in range(n):
angle = (theta + 2 * math.pi * k) / n
w = cmath.rect(radius, angle)
print(f"w_{k} = {w}")
De formule in LaTeX en andere wiskundenotaties (om te kopiëren)
(cosθ + i sinθ)ⁿ = cos nθ + i sin nθ
(\cos\theta + i\sin\theta)^{n} = \cos n\theta + i\sin n\theta
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mrow>
<msup>
<mrow>
<mo>(</mo>
<mi>cos</mi><mi>θ</mi>
<mo>+</mo>
<mi>i</mi><mi>sin</mi><mi>θ</mi>
<mo>)</mo>
</mrow>
<mi>n</mi>
</msup>
<mo>=</mo>
<mi>cos</mi><mi>n</mi><mi>θ</mi>
<mo>+</mo>
<mi>i</mi><mi>sin</mi><mi>n</mi><mi>θ</mi>
</mrow>
</math>
(cos theta + i sin theta)^n = cos(n theta) + i sin(n theta)
(Cos[theta] + I Sin[theta])^n == Cos[n theta] + I Sin[n theta]
(cos(theta) + I*sin(theta))^n = cos(n*theta) + I*sin(n*theta);
zn = (cos(t) + 1i*sin(t))^n;
(cos θ + i sin θ)^n = cos nθ + i sin nθ
zⁿ = rⁿ(cos nθ + i sin nθ)
z^{n} = r^{n}(\cos n\theta + i\sin n\theta)
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mrow>
<msup><mi>z</mi><mi>n</mi></msup>
<mo>=</mo>
<msup><mi>r</mi><mi>n</mi></msup>
<mo>(</mo>
<mi>cos</mi><mi>n</mi><mi>θ</mi>
<mo>+</mo>
<mi>i</mi><mi>sin</mi><mi>n</mi><mi>θ</mi>
<mo>)</mo>
</mrow>
</math>
z^n = r^n (cos(n theta) + i sin(n theta))
r^n (Cos[n theta] + I Sin[n theta])
zn := r^n*(cos(n*theta) + I*sin(n*theta));
zn = r^n*(cos(n*t) + 1i*sin(n*t));
z^n = r^n (cos nθ + i sin nθ)
w_k = ⁿ√r (cos((θ + 2kπ)/n) + i sin((θ + 2kπ)/n)) (k = 0, 1, …, n−1)
w_{k} = \sqrt[n]{r}\left(\cos\dfrac{\theta + 2k\pi}{n} + i\sin\dfrac{\theta + 2k\pi}{n}\right) \quad (k = 0, 1, \ldots, n-1)
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mrow>
<msub><mi>w</mi><mi>k</mi></msub>
<mo>=</mo>
<mroot><mi>r</mi><mi>n</mi></mroot>
<mo>(</mo>
<mi>cos</mi>
<mfrac>
<mrow><mi>θ</mi><mo>+</mo><mn>2</mn><mi>k</mi><mi>π</mi></mrow>
<mi>n</mi>
</mfrac>
<mo>+</mo>
<mi>i</mi><mi>sin</mi>
<mfrac>
<mrow><mi>θ</mi><mo>+</mo><mn>2</mn><mi>k</mi><mi>π</mi></mrow>
<mi>n</mi>
</mfrac>
<mo>)</mo>
</mrow>
</math>
w_k = root(n)(r) (cos((theta + 2k pi)/n) + i sin((theta + 2k pi)/n))
Table[r^(1/n) (Cos[(theta + 2 k Pi)/n] + I Sin[(theta + 2 k Pi)/n]), {k, 0, n - 1}]
wk := r^(1/n)*(cos((theta + 2*k*Pi)/n) + I*sin((theta + 2*k*Pi)/n));
wk = r^(1/n)*(cos((t + 2*k*pi)/n) + 1i*sin((t + 2*k*pi)/n));
w_k = r^(1/n) (cos((θ + 2kπ)/n) + i sin((θ + 2kπ)/n))
z_k = cos(2kπ/n) + i sin(2kπ/n) (k = 0, 1, …, n−1)
z_{k} = \cos\dfrac{2k\pi}{n} + i\sin\dfrac{2k\pi}{n} \quad (k = 0, 1, \ldots, n-1)
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mrow>
<msub><mi>z</mi><mi>k</mi></msub>
<mo>=</mo>
<mi>cos</mi>
<mfrac>
<mrow><mn>2</mn><mi>k</mi><mi>π</mi></mrow>
<mi>n</mi>
</mfrac>
<mo>+</mo>
<mi>i</mi><mi>sin</mi>
<mfrac>
<mrow><mn>2</mn><mi>k</mi><mi>π</mi></mrow>
<mi>n</mi>
</mfrac>
</mrow>
</math>
z_k = cos((2k pi)/n) + i sin((2k pi)/n)
Table[Cos[2 k Pi/n] + I Sin[2 k Pi/n], {k, 0, n - 1}]
zk := cos(2*k*Pi/n) + I*sin(2*k*Pi/n);
zk = cos(2*k*pi/n) + 1i*sin(2*k*pi/n);
z_k = cos(2kπ/n) + i sin(2kπ/n)
Zo laat je ChatGPT de berekening doen
Je bent een rekenassistent voor het complexe vlak en de stelling van De Moivre. Voer de volgende berekening uit door daadwerkelijk Python-code uit te voeren en baseer je antwoord alleen op de getallen uit het resultaat van de uitvoering (geef dus geen antwoord uit je hoofd of op gevoel). 1. Bereken de 4e macht z^4 van het complexe getal z = 1 + i. Laat ook de absolute waarde r en het argument θ zien, de absolute waarde tot de 4e macht r^4 en het argument keer 4, 4θ. 2. Bereken alle drie de derdemachtswortels van het complexe getal z = 8 (de complexe getallen waarvan de derde macht 8 is), voor k = 0, 1, 2. Laat ze als het kan ook zien als exacte waarden met wortels. Gebruik in Python het type complex, cmath.polar en cmath.rect, en laat de formules zien die je hebt gebruikt en de getallen uit het resultaat van de uitvoering.
Zo werkt het
-
1Vul je getallen inTyp de getallen waarmee je wilt rekenen in de invoervelden
-
2BerekenKlik op de knop “Berekenen”
-
3Bekijk het resultaatHet resultaat verschijnt meteen. Op dezelfde pagina vind je ook de uitwerking van de berekening en de uitleg van de formule
Kenmerken van DataChef
Geen voorkennis nodig – intuïtieve en eenvoudige bediening
Zonder persoonlijke gegevens op te geven
Bestand wordt automatisch verwijderd zodra je op "Downloaden" klikt
Geen bronvermelding vereist
Geen toestemming vooraf nodig