Comme présenté
ici, on garantit la
dérivabilité de \(g\circ f\) en \(x_0=0\) si deux conditions sont satisfaites:
- si \(f\) est dérivable en \(0\), et
- si \(g\) est dérivable au point \(f(0)\).
De plus, lorsque ces deux conditions sont satisfaites,
\[
(g\circ f)'(0) = g'(f(0))f'(0)\,.
\]
Lorsque c'est possible, on pourra calculer les dérivées des fonctions à l'aide
des dérivations.