derivee de f(x)=x^9cos(x)
On sauvegarde la définition : f(x) = x9·cos(x)
1) Dérivons : ddx(x9·cos(x))
Pour u1 = x9 et v2 = cos(x), on utilise la formule de dérivation : ddx(u1·v2) = ddx(u1)·v2 + u1·ddx(v2)
2) Effectuons la dérivation u1 : ddx(x9)
ⓘ La dérivée de x^n est n*x^(n-1) : ddx(x9) = 9x8
9x8
3) Dérivons v2 : ddx(cos(x))
ⓘ La dérivée de cos(x) est -sin(x) : ddx(cos(x)) = -sin(x)
-sin(x)
4) Évaluons la dérivée obtenue (u1·v2)' : 9x8·cos(x) + x9·(-sin(x))
ⓘ On place le signe moins devant le produit : x9·(-sin(x)) = -x9·sin(x)
9x8·cos(x) -x9·sin(x)
5) Puis on reprend la dérivation :
ⅰ ddx(x9·cos(x)) = 9x8·cos(x) -x9·sin(x)
9x8·cos(x) -x9·sin(x)
x8·(9·cos(x) -x·sin(x))
▶Dérivée :   x8·(9·cos(x) -x·sin(x))