Bonjour,
Je bloque sur mon DM notamment sur une question!

"La fonction f est définie sur R par f(x)=e^-x sin(x)
1)Justifier que pour tout réel x on a : f'(x)= (racine2) e^-x cos(x+pi/4)"

J'ai calculé pour la fonction donnée du début f'(x)=e^-x (cos(x)-sin(x))
J'ai ensuite essayé de développer la fonction de la question 1 grâce à cos(a + b) = cos(a) cos(b) − sin(a)sin(b)

Cependant je bloque car en développant j'ai l'impression de plus m'enfoncer...

Merci à vous pour votre aide