Pour tout réel
x, on a :
e5ix=cos(5x)+isin(5x)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 :
e5ix=(cos(x) +isin(x) )5Ainsi :
cos(5x)=Re(e5ix) Nous allons commencer par développer
(cos(x) +isin(x) )5 .
(cos(x) +isin(x) )5=cos5(x)+5icos4sin(x)+10cos3(x)(isin(x))2+10cos2(x)(isin(x))3+5cos(x)(isin(x))4+(isin(x))5 (cos(x) +isin(x) )5=cos5(x)+5icos4(x)sin(x)−10cos3(x)sin2(x)−10icos2(x)sin3(x)+5cos(x)sin4(x)+isin5(x) (cos(x) +isin(x) )5=cos5(x)−10cos3(x)sin2(x)+5cos(x)sin4(x)+i(5cos4(x)sin(x)−10cos2(x)sin3(x)+sin5(x)) Comme :
cos(5x)=Re(e5ix)Finalement :
cos(5x)=cos5(x)−10cos3(x)sin2(x)+5cos(x)sin4(x)