De stelling van De Moivre zegt dat voor elk complex getal, en daarmee ook voor elk reëel getal,
geldt dat:
![{\displaystyle (\cos x+i\sin x)^{n}=\cos(nx)+i\sin(nx)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63960b545efde8773b6724ef6b0b96ded5e89648)
waarin
staat voor de imaginaire eenheid.
Deze stelling is van belang, omdat zij een verbinding legt tussen de complexe getallen en de goniometrie.
De stelling is geformuleerd door de Franse wiskundige Abraham de Moivre.
Bewijs van de stelling
De stelling van De Moivre volgt uit de formule van Euler, die luidt:
![{\displaystyle e^{ix}=\cos(x)+i\sin(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5eb80f22d3c03ef5c1738897144c1b7a70a79163)
Dus is:
![{\displaystyle (\cos x+i\sin x)^{n}=(e^{ix})^{n}=e^{inx}=\cos(nx)+i\sin(nx)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71f876bf65583f9dd7e52a7df4a576c75751068a)
Aangezien de formule van Euler in principe alleen voor reële getallen bewezen is, is dit bewijs niet volledig. Echter, de formule van Euler is ook waar voor complexe getallen, dus volgt hieruit dat de stelling van de Moivre ook geldt voor complexe getallen. In de strikte zin van het woord is dit echter geen bewijs, maar een afleiding. Historisch gezien kwam de formule van Euler ook na de stelling van de Moivre.
Toepassing
Dat de stelling zeer 'krachtig' is, blijkt wanneer voor
bij wijze van toepassing een concreet getal wordt ingevuld.
Hierbij moet men tevens gebruiken dat twee complexe getallen
en
dan en slechts dan aan elkaar gelijk zijn als zowel hun reële delen als hun imaginaire delen aan elkaar gelijk zijn:
![{\displaystyle \mathrm {Re} (z_{1})=\mathrm {Re} (z_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6fe0deda73db6593bb18e38ee46a7fa0ce741f4)
en
![{\displaystyle \mathrm {Im} (z_{1})=\mathrm {Im} (z_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2827abdaf1ef4803c22b1027627cab9470f31820)
Als we nu bijvoorbeeld de waarde
invullen in de stelling van De Moivre, volgt:
![{\displaystyle \cos ^{4}x+4i\cos ^{3}x\sin x+6i^{2}\cos ^{2}x\sin ^{2}x+4i^{3}\cos x\sin ^{3}x+i^{4}\sin ^{4}x=\cos(4x)+i\sin(4x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46abf8f911fd4e9010d6b22ad83f27c08700305b)
ofwel
![{\displaystyle \cos ^{4}x-6\cos ^{2}x\sin ^{2}x+\sin ^{4}x+i\,(4\cos ^{3}x\sin x-4\cos x\sin ^{3}x)=\cos(4x)+i\sin(4x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f7d935b2db5c263bc9f2583c50f1c5edb78f379)
De conclusie is dat voor alle
de volgende goniometrische identiteiten gelden:
![{\displaystyle \cos(4x)=\cos ^{4}x-6\cos ^{2}x\sin ^{2}x+\sin ^{4}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33b067d42939cbee60bd318f224a15381ed17063)
![{\displaystyle \sin(4x)=4\cos ^{3}x\sin x-4\cos x\sin ^{3}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d57ff48676a5467ef842c6f619df4254024eabf)