soit a et b deux réels,
cos(a+b)=cos(a).cos(b)-sin(a).sin(b)

merci beaucoup

perso je les oublie tout le temps
si tu veux les retrouver :
exp(i(a+b))=cos(a+b)+i sin(a+b)
exp(i(a+b))= exp (ia)x exp(ib) =(cos(A) +i sin(A))x(cos(B)+i sin(B))

tu développes, et tu identifies à la première équation :

cos A+B = cos A cos B - sin A sin B
sin A+B = sin A cos B + sin B cos A