Hallo,
der Satz von Moivre lautet:
(cosx + i*sinx)^n = cos nx + i*sin nx
Wenn man dessen Gültigkeit für alle natürlichen Zahlen n voraussetzt, dann gilt er auch für n = 2.
Somit gilt:
(cosx + i*sinx)^2 = cos 2x + i* sin 2x (Gl.1)
Dabei stellt cos 2x den Realteil und sin 2x den Imaginärteil einer komplexen Zahl c = RT + i*IT dar.
Geht man an den linken Teil der Gleichung mit der binomischen Formel dran, dann ergibt sich andererseits:
(cosx + i*sinx)^2
= (cosx)^2 + 2i*cosx*sinx + (i*sinx)^2
= (cosx)^2 + i*2sinx*cosx + i^2*(sinx)^2
= (cosx)^2 - (sin x)^2 + i * 2sinx*cosx (Gl.2)
Die letzte Zeile stellt wiederum eine komplexe Zahl dar, wobei hier der Realteil RT = (cosx)^2 - (sinx)^2 und der Imaginärteil IT = 2sinx*cosx sind.
Führt man nun mit dem Term aus (Gl.1) und dem Term aus (Gl.2), die ja gleich sein müssen, einen Koeffizientenvergleich durch (die beiden Realteile sind gleich und die beiden Imaginärteile sind gleich), so ergibt sich:
(3) cos 2x = (cosx)^2 - (sinx)^2 (Realteile)
und
(4) sin 2x = 2*sinx*cosx (Imaginärteile)
Die Gleichung (3) lässt sich unter Berücksichtigung der Gleichung (sinx)^2 + (cosx)^2 = 1 so umwandeln, wie die zweite Behauptung lautet (für (sinx)^2 = 1-(cosx)^2 einsetzen).
Damit sind die beiden Gleichungen unter Verwendung des Satzes von Moivre bewiesen.
Viele Grüße
funnyjonny