Warum nicht?
cos(3x)+isin(3x)
hat den Realteil cos(3x) und (für die Frage unwichtig) den Imaginärteil sin(3x).
Nach ein paar Zeilen Umformungen wurde daraus
(4cos3(x)−3cos(x))+i(3sin(x)−4sin3(x))
mit dem Realteil (4cos3(x)−3cos(x)).
Der Vergleich der Realteile (für die beiden identischen komplexen Zahlen) liefert also
cos(3x)=(4cos3(x)−3cos(x)).