On a :
f′(x)=((sinh(xcosh(x)))2)′=2sinh(xcosh(x))(sinh(xcosh(x)))′Soit :
f′(x)=2sinh(xcosh(x))(xcosh(x))′sinh′(xcosh(x))Donc :
f′(x)=2sinh(xcosh(x))(eln(xcosh(x)))′cosh(xcosh(x))Ce qui nous donne (puisque
x>0) :
f′(x)=2sinh(xcosh(x))(ecosh(x)ln(x))′cosh(xcosh(x))Ainsi, on obtient :
f′(x)=2sinh(xcosh(x))(cosh(x)ln(x))′ecosh(x)ln(x)cosh(xcosh(x))On peut donc écrire que :
f′(x)=2sinh(xcosh(x))(sinh(x)ln(x)+xcosh(x))ecosh(x)ln(x)cosh(xcosh(x))On peut écrire ceci sous la forme suivante :
f′(x)=2sinh(xcosh(x))(xxsinh(x)ln(x)+xcosh(x))ecosh(x)ln(x)cosh(xcosh(x))En factorisant par
xsinh(x) on trouve que :
f′(x)=2xsinh(x)sinh(xcosh(x))(xln(x)+sinh(x)cosh(x))ecosh(x)ln(x)cosh(xcosh(x))Ce qui nous donne :
f′(x)=2xsinh(x)sinh(xcosh(x))(xln(x)+cotanh(x))ecosh(x)ln(x)cosh(xcosh(x))Puis, en remarquant que
ecosh(x)ln(x)=xcosh(x), on obtient :
f′(x)=2xsinh(x)sinh(xcosh(x))(xln(x)+cotanh(x))xcosh(x)cosh(xcosh(x))De plus, on a
xxcosh(x)=xcosh(x)−1. Ce qui nous permet d'écrire que :
f′(x)=2sinh(x)sinh(xcosh(x))(xln(x)+cotanh(x))xcosh(x)−1cosh(xcosh(x))Ecrivons cela sous la forme :
f′(x)=2sinh(xcosh(x))cosh(xcosh(x))sinh(x)(xln(x)+cotanh(x))xcosh(x)−1Mais, pour
X réel, on a
2sinh(X)cosh(X)=sinh(2X). Ainsi
2sinh(xcosh(x))cosh(xcosh(x))=sinh(2xcosh(x))Finalement :
f′(x)=(ln(xx)+cotanh(x))sinh(x)sinh(2xcosh(x))xcosh(x)−1On a alors :
f′(x)=dxdf(x)En faisant usage de l'écriture de
Leibniz, on peut donc écrire que :
df(x)=f′(x)dxAinsi, la différentielle de
f est donnée par l'expression suivante :
df(x)=(ln(xx)+cotanh(x))sinh(x)sinh(2xcosh(x))xcosh(x)−1dx