Pour tout réel
x, on a :
e3ix=cos(3x)+isin(3x)La formule de Moivre
Pour tout x∈R et pour tout entier naturel n, on a : cos(nx) +isin(nx) =einx=(cos(x) +isin(x) )n Il en résulte donc que :
e3ix=(cos(x) +isin(x) )3Ainsi :
cos(3x)=Re(e3ix) Nous allons commencer par développer
(cos(x) +isin(x) )3 .
(cos(x) +isin(x) )3=cos3(x)+3icos2(x)sin(x)+3cos(x)(isin(x))2+(isin(x))3 équivaut successivement à :
(cos(x) +isin(x) )3=cos3(x)+3icos2(x)sin(x)−3cos(x)sin2(x)−isin3(x) Comme :
cos(3x)=Re(e3ix)Finalement :
cos(3x)=cos3(x)−3cos(x)sin2(x)