Pour tout réel
x, on a :
e4ix=cos(4x)+isin(4x)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 :
e4ix=(cos(x) +isin(x) )4Ainsi :
cos(4x)=Re(e4ix) Nous allons commencer par développer
(cos(x) +isin(x) )4 .
(cos(x) +isin(x) )4=cos4(x)+4icos3(x)sin(x)+6cos2(x)(isin(x))2+4cos(x)(isin(x))3+(isin(x))4 (cos(x) +isin(x) )4=cos4(x)+4icos3(x)sin(x)−6cos2(x)sin2(x)−4icos(x)sin3(x)+sin4(x) (cos(x) +isin(x) )4=cos4(x)−6cos2(x)sin2(x)+sin4(x)+i(4cos3(x)sin(x)−4cos(x)sin3(x)) Comme :
cos(4x)=Re(e4ix)Finalement :
cos(4x)=cos4(x)−6cos2(x)sin2(x)+sin4(x))