Dérivation trigo + complexe

[maxime27]

Voilà, j'ai un petit problème en ce qui concerne une dérivation à faire :

f(x) = cos(x) + i sin(x)

je trouve ceci :
f'(x) = -sin(x) + i cos (x)

est-ce correct ? J'ai un doute parce que i sin(x) est-il considérer comme un produit que je dois dériver aussi ?

[Monsieur23]

Aloha ;

C'est bien ça.

i est une constante, comme 2 ou 3,14.