Les dérivées des fonctions usuelles

La fonction constante : \( (\lambda )' \)

Une fonction constante est définie de la manière suivante :

Elle admet pour dérivée :

$$ (\lambda)' = 0 $$

La fonction affine : \( (ax + b )' \)

Une fonction affine est définie de la manière suivante :

Elle admet pour dérivée :

$$ (ax+ b)' = a $$

La fonction valeur absolue : \( |x|' \)

Une fonction valeur absolue est définie de la manière suivante :

Elle admet pour dérivée :

$$ |x|' = \frac{x}{|x|}$$

La fonction carrée : \( (x^2 )' \)

La fonction carrée est définie de la manière suivante :

Elle admet pour dérivée :

$$ (x^2)' = 2x $$

Les fonctions puissances de x : \( (x^n)' \)

Dans cette partie, de nombreuses fois \(x\) se trouvera au dénominateur, alors pour raisons de simplicité nous avons retiré le cas où \((x = 0)\).

On définit alors spécifiquement une fonction puissance de \(x\) par :

Elle admet pour dérivée :

$$ (x^n)' = nx^{n - 1} $$

Les fonctions puissances de n : \( (n^x)'\)

Dans cette partie, par simplicité on retirera le cas où \(n \) se trouvera sous un logarithme, alors par simplicité nous avons retiré le cas où \((n = 0)\).

Alors, on définit spécifiquement la fonction puissance de \(n\) de la manière suivante :

Elle admet pour dérivée :

$$ (n^x)' = ln(n).n^x $$

La fonction racine carrée : \( (\sqrt{x})' \)

La fonction racine carrée est définie de la manière suivante :

Elle admet pour dérivée :

$$ \left(\sqrt{x} \right)' = \frac{1}{2\sqrt{x}} $$

La fonction inverse \( : \hspace{0.03em} \left(\frac{1}{x}\right)' \)

La fonction inverse est définie de la manière suivante :

Elle admet pour dérivée :

$$ \left(\frac{1}{x}\right)' = -\frac{1}{x^2} $$

La fonction logarithme népérien : \(\Bigl[ ln(x) \Bigr]'\)

1. La fonction \(ln(x)\)

La la fonction logarithme népérien est définie comme étantfonction réciproque de fonction exponentielle \((e^x)\) :

$$ \forall x \in \mathbb{R_+^*}, \enspace f(x) = ln(x) = (e^x)^{-1}$$

Elle est aussi définie par une intégrale :

$$ \forall x \in \mathbb{R_+^*}, \enspace ln(x) = \int^x_1 \frac{dt}{t}$$

Elle admet pour dérivée :

$$ \forall x \in \mathbb{R_+^*}, $$

$$ \Bigl[ ln(x) \Bigr]' = \frac{1}{x} $$

2. La fonction \(ln|x|\)

La la fonction logarithme népérien en valeur absolue est définie de la manière suivante :

$$ \forall x \in \mathbb{R^*}, \enspace f(x) = ln|x| = \Biggl \{ \begin{align*} \forall x \in \mathbb{R_-^*}, \ f(x) = ln(-x) \\ \forall x \in \mathbb{R_+^*}, \ f(x) = ln(x) \end{align*} $$

Elle admet pour dérivée :

$$ \forall x \in \mathbb{R^*}, $$

$$ \Bigl[ \ ln|x| \ \Bigr]' = \frac{1}{x} $$

La fonction logarithme en base n \( : \Bigl[ log_n(x) \Bigr] '\)

La fonction logarithme en base \(n\) \((n \in \mathbb{R})\) est définie de la manière suivante :

Elle admet pour dérivée :

$$ \Bigl[ log_n(x) \Bigr] ' = \frac{1}{x.ln(n)} $$

La fonction exponentielle : \((e^x)'\)

La fonction exponentielle est définie comme étantfonction réciproque de la fonction logarithme népérien \((ln(x))\) :

Elle admet pour dérivée elle-même :

$$ (e^x)' = e^x$$

Récapitulatif des dérivées des fonctions usuelles

---

Démonstrations

La fonction constante \( : (\lambda )' \)

Une fonction constante est définie de la manière suivante :

Avec la définition de la dérivée, on a :

Soit,

$$ (\lambda)' = 0 $$

Ici, il n'y a pas de forme indéterminée "\( \frac{0}{0} \)" car seul le dénominateur a son terme qui tend vers \(0 \), le numérateur lui reste \(0 \) comme constante.

On a bien \( 0 \) qui est divisé par un nombre qui conceptuellement s'approche de \(0 \), ce qui reste bien égal à \(0 \).

La fonction affine \( : (ax + b )' \)

Une fonction affine est définie de la manière suivante :

Avec la définition de la dérivée, on a :

Soit,

$$ (ax + b)' = a $$

La fonction valeur absolue : \( |x|' \)

Une fonction valeur absolue est définie de la manière suivante :

En passant par les dérivées de fonctions composées, on a :

Soit,

$$ |x|' = \frac{x}{|x|}$$

La fonction carrée \( : (x^2 )' \)

La fonction carrée est définie de la manière suivante :

Avec la définition de la dérivée, on a :

Soit,

$$ (x^2)' = 2x $$

Les fonctions puissances de x \( : (x^n)' \)

Dans cette partie, de nombreuses fois \(x\) se trouvera au dénominateur, alors pour raisons de simplicité nous avons retiré le cas où \((x = 0)\).

On définit alors spécifiquement une fonction puissance de \(x\) par :

Nous allons faire la démonstration de la formule générale, ensemble après ensemble.

1. Avec un exposant \( n \) dans l'ensemble des entiers naturels \( (n \in \mathbb{N})\)

Avec la définition de la dérivée, on a :

$$ (x^n)' = lim_{h \to 0 } \enspace \frac{(x + h)^n - x^n}{h} \qquad (1)$$

Mais on sait par la formule du binôme de Newton que :

$$\forall n \in \mathbb{N}, \enspace \forall (a, b) \in \hspace{0.05em} \mathbb{R}^2,$$

$$ (a + b)^n = \sum_{p = 0}^n \binom{n}{p} a^{n-p}b^k $$

Remplaçons \( (a + b) \) par \( (x + h) \) pour adapter à la formule \( (1) \) :

$$ (x + h)^n = \sum_{p = 0}^n \binom{n}{p} a^{n-p}b^p$$

$$ (x + h)^n = x^n + \binom{n}{1}x^{n - 1}h + \binom{n}{2}x^{n - 2}h^2 \enspace + ... + \enspace \binom{n}{n- 1}xh^{n - 1 } + h^{n} \qquad (2) $$

En injectant \( (2) \) dans \( (1) \), on a :

$$ (x^n)' = lim_{h \to 0 } \enspace \frac{x^n + \binom{n}{1}x^{n - 1}h + \binom{n}{2}x^{n - 2}h^2 \enspace + ... + \enspace \binom{n}{n- 1}xh^{n - 1 } + h^{n} - x^n}{h} $$

Les termes \( x^n \) s'annulent au numérateur :

$$ (x^n)' = lim_{h \to 0 } \enspace \frac{\binom{n}{1}x^{n - 1}h + \binom{n}{2}x^{n - 2}h^2 \enspace + ... + \enspace \binom{n}{n- 1}xh^{n - 1 } + h^{n}}{h} $$

À présent, on peut simplifier par \( h \) :

$$ (x^n)' = lim_{h \to 0 } \enspace \binom{n}{1}x^{n - 1} + \binom{n}{2}x^{n - 2}h \enspace + ... + \enspace \binom{n}{n- 1}xh^{n - 2 } + h^{n - 1} $$



Lorsque l'on passe à la limite quand \( h \to 0 \), tous les termes avec \( h \) disparaissent :

$$ (x^n)' = \binom{n}{1}x^{n - 1} $$



Et finalement,

$$ \forall x \in \mathbb{R^*}, \enspace \forall n \in \mathbb{N}, $$

$$ (x^n)' = nx^{n - 1} $$




2. Avec un exposant \( n \) dans l'ensemble des entiers relatifs \( (n \in \mathbb{Z})\)

On a vu plus haut le cas d'un un exposant entier \( n \) positif, voyons maintenant l'autre partie l'ensemble \( \mathbb{Z}\), les entiers négatifs.

On considère alors l'ensemble des entiers négatifs \( \mathbb{Z} \hspace{0.2em} \backslash \bigl\{ \mathbb{N} \bigr\} \), et un nombre \( n \) appartenant à cet ensemble tel que :

$$ \forall m \in \mathbb{N}, \ n = -m $$

En reprenant la même méthode que plus haut à partir de la la définition de la dérivée :

$$ (x^n)' = lim_{h \to 0 } \enspace \frac{(x + h)^n - x^n}{h} $$
$$ (x^n)' = lim_{h \to 0 } \enspace \frac{(x + h)^{-m} - x^{-m}}{h} $$
$$ (x^n)' = lim_{h \to 0 } \enspace \frac{\frac{1}{(x + h)^{m}} - \frac{1}{x^{m}} }{h} $$

On met le grand numérateur sous le même dénominateur.

$$ (x^n)' = lim_{h \to 0 } \enspace \frac{\frac{x^m}{(x + h)^{m}x^{m}} - \frac{(x + h)^{m}}{x^{m}(x + h)^{m}} }{h} $$
$$ (x^n)' = lim_{h \to 0 } \enspace \frac{\frac{x^m - (x + h)^{m}}{(x + h)^{m}x^{m}} }{h} $$
$$ (x^n)' = lim_{h \to 0 } \enspace \frac{1}{h} \Biggl[ \frac{x^m - (x + h)^{m}}{(x + h)^{m}x^{m}} \Biggr] $$

Mais on a déjà effectué ce calcul plus haut, et après simplification, on avait :

$$ \frac{ (x + h)^n - x^n }{h} = \binom{n}{1}x^{n - 1} + \binom{n}{2}x^{n - 2}h \enspace + ... + \enspace \binom{n}{n- 1}xh^{n - 2 } + h^{n - 1} $$

Alors dans notre cas :

$$ \frac{ x^m - (x + h)^m }{h} = - \left( \binom{m}{1}x^{m - 1} + \binom{m}{2}x^{m - 2}h \enspace + ... + \enspace \binom{m}{m- 1}xh^{m - 2 } + h^{m - 1} \right) $$

Alors, notre expression devient :

$$ (x^n)' = lim_{h \to 0 } \enspace - \frac{\binom{m}{1}x^{m - 1} + \binom{m}{2}x^{m - 2}h \enspace + ... + \enspace \binom{m}{m- 1}xh^{m - 2 } + h^{m - 1} }{(x + h)^{m}x^{m}} $$



Lorsque l'on passe maintenant à la limite quand \( h \to 0 \) :

$$ (x^n)' = - \frac{mx^{m - 1} }{x^{2m}} $$
$$ (x^n)' = - mx^{-m - 1} $$

Or, comme par hypothèse \(n = -m \),

$$ \forall x \in \mathbb{R^*}, \enspace \forall n \in \Bigl[\mathbb{Z} \hspace{0.2em} \backslash \bigl\{ \mathbb{N} \bigr\}\Bigr], $$

$$ (x^n)' = nx^{n - 1} $$




3. Avec un exposant \( n \) rationnel \( (n \in \mathbb{Q}) \)

Un nombre rationnel \( n \) s'écrit sous la forme :

$$ n = \frac{p}{q} \hspace{3em} (p \in \mathbb{Z}, \ q \in \hspace{0.05em} \mathbb{N}^*) $$

Alors, le nombre \( x^n \) s'écrit :

$$ x^n = x^{\frac{p}{q}} $$

Comme nous allons dans les démonstrations qui vont suivre, considérer \( X \) comme \( e^{ln\left(X\right)} \), on va devoir prendre en compte le signe de l'intérieur du logarithme. Et comme une fonction logarithme n'accepte pas de valeur négative, il faut s'assurer que le nombre sous ce dernier soit toujours positif.

Dans les différents cas que nous allons étudier, cela va dépendre de la forme simplifiée de la puissance \( \frac{p}{q} \).



1. Si \( p \) est pair :

Alors, le nombre \( p \) peut s'écrire :

$$ \forall a \in \mathbb{N}, \ p = 2a $$

Alors,

$$ x^{\frac{p}{q}} = \left( x^{\frac{1}{q}} \right)^p $$
$$ x^{\frac{p}{q}} = \left( x^{\frac{1}{q}} \right)^{2a} $$
$$ x^{\frac{p}{q}} = \left( x^{\frac{a}{q}} \right)^{2} $$

Le nombre \( x^{\frac{p}{q}} \) sera positif car c'est un carré. Il pourra alors être placé dans un logarithme.



2. Si \( q \) est pair :

Alors, le nombre \( q \) peut s'écrire :

$$ \forall a \in \hspace{0.05em} \mathbb{N}^*, \ q = 2a $$

Alors,

$$ x^{\frac{p}{q}} = \left( x^{p} \right)^{\frac{1}{q} }$$
$$ x^{\frac{p}{q}} = \left( x^{p} \right)^{\frac{1}{2a} }$$
$$ x^{\frac{p}{q}} = \left( x^{\frac{p}{a}} \right)^{\frac{1}{2} } $$

Le nombre \( x^{\frac{p}{q}} \) sera positif et uniquement défini pour \( x \in \hspace{0.05em} \mathbb{R}^+ \) car c'est une racine carrée. Il pourra alors être placé dans un logarithme.



3. Si \( p \) et \( q \) sont tous deux impairs :

Le signe de \(x\) sera conservé après passage à la puissance.

Il va falloir gérer ce cas à part, ca dans le cas d'un nombre \( x < 0 \), le nombre \( x^{\frac{p}{q}} \) ne pourra pas être placé dans un logarithme.



1. Si \(p\) est pair ou \(q\) est pair : \( \Bigl[ p \in \hspace{0.05em} \bigl \{ 2a \ | \ a \in \mathbb{Z} \bigr \}\Bigr] \lor \Bigl[ q \in \hspace{0.05em} \bigl \{ 2a \ | \ a \in \mathbb{N} \bigr \} \Bigr] \)

Comme on a vu plus haut que dans ces deux cas, peu importe le signe de \(x\) le nombre \( x^{\frac{p}{q}} \) sera toujours positif, on va pouvoir le placer sous un logarithme.

Alors, en considérant tout nombre \( X \neq 0 \) comme \( e^{ln\left(X\right)} \), on a :

$$ \begin{align*} \forall x \in \hspace{0.05em} \mathbb{R}^*, \enspace \forall p \in \hspace{0.05em} \Bigl \{ 2a \ | \ a \in \mathbb{Z} \Bigr \}, \ \forall q \in \mathbb{N}, \\ \hspace{8em} \underline{ou} \\ \forall x \in \hspace{0.05em} \mathbb{R}^*_+, \enspace \forall p \in \mathbb{Z}, \ \forall q \in \hspace{0.05em} \Bigl \{ 2a \ | \ a \in \mathbb{N} \Bigr \}, \end{align*} \Biggr \} \hspace{1em} x^n = x^{\frac{p}{q}} = e^{ln\left(x^{\frac{p}{q}}\right)}$$

On démarre alors de,

$$ (x^n)' = \left(e^{ln\left(x^{\frac{p}{q}}\right)} \right)' $$

Et par suite,

Avec les rporpélogarithme népérien, on sait que :

$$ \forall a \in \hspace{0.05em} \mathbb{R}^*_+, \ \forall n \in \hspace{0.05em} \mathbb{R},$$

$$ ln(a^n) = n \ ln(a) $$

Soit,

$$ (x^n)' = \left(e^{\frac{p}{q}.ln(x)} \right)' $$

Dans l'expression ci-dessus, il a été important de passer en valeur absolue car sinon l'étude se restreint à \(x \in \hspace{0.05em} \mathbb{R}^*_+\).

On peut alors calculer cette dérivée par une dérivation en chaîne :

On sait que :

$$ \left(e^y \right)' = y'e^y $$

Soit ici :

$$ (x^n)' = \Bigl(\frac{p}{q}.ln|x|\Bigr)' e^{\frac{p}{q} .ln|x|} $$
$$ (x^n)' = \frac{p}{qx} e^{\frac{p}{q} .ln|x|} $$

En réutilisant la propriété \( (2) \) précédente dans le sens inverse :

$$ (x^n)' = \frac{p}{qx} e^{ln\left(x^{\frac{p}{q}}\right)} $$
$$ (x^n)' = \frac{p}{q} x^{-1} x^{\frac{p}{q}} $$



Finalement, en réaffectant à la fraction \( \frac{p}{q} \) sa valeur initale \(n\) :

$$ \begin{align*} \forall x \in \hspace{0.05em} \mathbb{R}^*, \enspace \forall p \in \hspace{0.05em} \Bigl \{ 2a \ | \ a \in \mathbb{Z} \Bigr \}, \ \forall q \in \mathbb{N}, \\ \hspace{8em} \underline{ou} \\ \forall x \in \hspace{0.05em} \mathbb{R}^*_+, \enspace \forall p \in \mathbb{Z}, \ \forall q \in \hspace{0.05em} \Bigl \{ 2a \ | \ a \in \mathbb{N} \Bigr \}, \end{align*}$$

$$ (x^n)' = nx^{n - 1} $$



2. Si \( p \) et \( q \) sont tous deux impairs : \( \Bigl[ p \in \hspace{0.05em} \bigl \{ 2a + 1 \ | \ a \in \mathbb{Z} \bigr \}\Bigr] \land \Bigl[ q \in \hspace{0.05em} \bigl \{ 2a + 1 \ | \ a \in \mathbb{N} \bigr \} \Bigr] \)

Dans ce cas-ci, le signe du nombre \( x \) est toujours conservé après passage à la puissance.




Pour conserver un éventuel signe \( (-) \) après passage à la puissance tout en utilisant une valeur absolue sous le logarithme, on utilisera un générateur de signe devant pour compenser :

$$ \forall x \in \hspace{0.05em} \mathbb{R}^*, \enspace \forall p \in \hspace{0.05em} \Bigl \{ 2a + 1 \ | \ a \in \mathbb{Z} \Bigr \}, \ \forall q \in \hspace{0.05em} \Bigl \{ 2a + 1 \ | \ a \in \mathbb{N} \Bigr \}, $$

$$ x^n = x^{\frac{p}{q}} = \frac{x}{|x|} e^{ln \left |x^{\frac{p}{q}} \right|} \qquad (3) $$

Et on reprend alors le même cheminement que plus haut :

$$ (x^n)' = \left( \frac{x}{|x|} e^{ \left( ln\left|x^{\frac{p}{q}} \right|\right)} \right)' $$
$$ (x^n)' = \left( \frac{x}{|x|} e^{\frac{p}{q}ln\left|x\right|} \right)' $$
$$ (x^n)' = \frac{x}{|x|} \Bigl(\frac{p}{q}.ln|x|\Bigr)' e^{\frac{p}{q} .ln|x|} $$
$$ (x^n)' = \frac{x}{|x|} \frac{p}{qx} e^{\frac{p}{q} .ln|x|} $$
$$ (x^n)' = \frac{x}{|x|} \frac{p}{qx} e^{ln \left |x^{\frac{p}{q}} \right|} $$

On retrouve ici l'expression \((3) \) posée précédemment :

$$ (x^n)' = \frac{p}{q} x^{-1} x^{\frac{p}{q}} $$



Finalement, en réaffectant à la fraction \( \frac{p}{q} \) sa valeur initiale \(n\) :

$$ \forall x \in \hspace{0.05em} \mathbb{R}^*, \enspace \forall p \in \hspace{0.05em} \Bigl \{ 2a + 1 \ | \ a \in \mathbb{Z} \Bigr \}, \ \forall q \in \hspace{0.05em} \Bigl \{ 2a + 1 \ | \ a \in \mathbb{N} \Bigr \}, $$

$$ (x^n)' = nx^{n - 1} $$




4. Avec un exposant \( n \) irrationnel \( \bigl( n \in\mathbb{R} \hspace{0.2em} \backslash \mathbb{Q} \bigr) \)

Pour un exposant irrationnel, cette fonction est uniquement définie pour des nombres positifs \( (x \geqslant 0)\).

Alors, en considérant tout nombre \( X \neq 0 \) comme \( e^{ln\left(X\right)} \), on a :

$$ \forall x \in \mathbb{R^*}, \enspace \forall n \in \bigl[\mathbb{R} \hspace{0.2em} \backslash \mathbb{Q} \bigr],$$
$$ x^n = e^{ln(x^n)} $$

Et par suite,

$$ (x^n)' = \left(e^{ln(x^n)}\right)' $$

Avec les propriété du logarithme népérien, on sait que :

$$ \forall x \in \hspace{0.05em} \mathbb{R^*}, \ \forall n \in \hspace{0.05em} \mathbb{R}, $$

$$ln(x^n) = n . ln(x) $$

Soit,

$$ (x^n)' = \left(e^{n.ln(x)} \right)' $$

On peut alors calculer cette dérivée par une dérivation en chaîne.

On sait que :

$$ \left(e^y \right)' = y'e^y $$

Soit ici :

$$ (x^n)' = \bigl(n.ln(x)\bigr)' e^{n .ln(x)} $$
$$ (x^n)' = \frac{n}{x} e^{n .ln(x)} $$

En réutilisant la propriété \( (2) \) précédente dans le sens inverse :

$$ (x^n)' = \frac{n}{x} e^{ln(x^n)} $$
$$ (x^n)' = nx^{-1} x^{n} $$
$$ (x^n)' = nx^{n-1} $$



Et finalement :

$$ \forall x \in \hspace{0.05em} \mathbb{R}^*_+, \enspace \forall n \in \bigl[\mathbb{R} \hspace{0.2em} \backslash \mathbb{Q} \bigr], $$

$$ (x^n)' = nx^{n - 1} $$




5. Conclusion

Comme dans le cas où \(x\) est nul, on a :

$$ \forall n \in \hspace{0.05em} \mathbb{R}^*, \ (x^n)' = 0$$

Alors,

$$lorsque \ x \ est \ d\textit{é}fini, \ \forall n \in \mathbb{R}, $$

$$ (x^n)' = nx^{n - 1} $$

Les fonctions puissances de n \( : (n^x)'\)

Dans cette partie, par simplicité on retirera le cas où \(n \) se trouvera sous un logarithme, alors par simplicité nous avons retiré le cas où \((n = 0)\).

Alors, on définit spécifiquement la fonction puissance de \(n\) de la manière suivante :

Avec la définition de la dérivée, on a :

Nous nous retrouvons ici bloqué car nous ne pouvons pas directement éliminer \( h\).

Réécrivons alors l'expression \( (4) \) sous une autre forme.

Il s'en suit que :

On peut alors calculer cette dérivée par une dérivation en chaîne.

Et finalement,

$$ (n^x)' = ln(n). n^x $$

La fonction racine carrée \( : (\sqrt{x})' \)

La fonction racine carrée est définie de la manière suivante :

1. Par la définition de la dérivée

Avec la définition de la dérivée, on a :

$$ \left(\sqrt{x} \right)' = lim_{h \to 0 } \enspace \frac{\sqrt{x + h} - \sqrt{x}}{h} $$

Pour arranger cette différence de racines, on multiplie par le numérateur :

$$ \left(\sqrt{x} \right)' = lim_{h \to 0 } \enspace \frac{(\sqrt{x + h} - \sqrt{x})(\sqrt{x + h} - \sqrt{x})}{h(\sqrt{x + h} - \sqrt{x})} $$
$$ \left(\sqrt{x} \right)' = lim_{h \to 0 } \enspace \frac{x + h - x}{h(\sqrt{x + h} - \sqrt{x})} $$
$$ \left(\sqrt{x} \right)' = lim_{h \to 0 } \enspace \frac{h}{h(\sqrt{x + h} - \sqrt{x})} $$

On simplifie par \( h \) :

$$ \left(\sqrt{x} \right)' = lim_{h \to 0 } \enspace \frac{1}{1(\sqrt{x + h} - \sqrt{x})} $$



Soit finalement,

$$ \forall x \in \mathbb{R_+^*}, $$

$$ \left(\sqrt{x} \right)' = \frac{1}{2\sqrt{x}} $$

2. En considérant la racine carrée comme une puissance de x

En considérant \( \sqrt{x} \) comme une puissance de \( x \), on a :

$$ \sqrt{x} = x^{1 \over 2}$$

À partir de celà, on utilise la dérivée de \( x^n\), on a :

$$ \left(\sqrt{x} \right)' = (x^{1 \over 2})'$$
$$ \left(\sqrt{x} \right)' = \frac{1}{2} x^{\frac{1}{2} - 1}$$
$$ \left(\sqrt{x} \right)' = \frac{1}{2} x^{-\frac{1}{2}}$$
$$ \left(\sqrt{x} \right)' = \frac{1}{2} \left(x^{\frac{1}{2}}\right)^{-1} = \frac{1}{2x^{\frac{1}{2}}}$$



Soit finalement,

$$ \forall x \in \mathbb{R_+^*}, $$

$$ \left(\sqrt{x} \right)' = \frac{1}{2\sqrt{x}} $$

De même, on pourra calculer la dérivée de toute racine de \(n\), avec \(n \in \mathbb{Q}\).




3. Exemples



1. Calcul de \( \left(\sqrt[3]{x} \right)' \)
$$ \left(\sqrt[3]{x} \right)' = \left(x^{\frac{1}{3}} \right)' $$
$$ \left(\sqrt[3]{x} \right)' =\frac{1}{3} x^{\frac{1}{3} - 1} $$
$$ \left(\sqrt[3]{x} \right)' =\frac{1}{3} x^{-\frac{2}{3}} $$
$$ \left(\sqrt[3]{x} \right)' = \frac{1}{3\sqrt[3]{x^2 }}$$
2. Calcul de \( \left( x^{ \frac{5}{2} } \right)' \)
$$ \left( x^{ \frac{5}{2} } \right)' =\frac{5}{2} x^{\frac{5}{2} - 1} $$
$$ \left( x^{ \frac{5}{2} } \right)' =\frac{5}{2} x^{\frac{3}{2} } $$
$$ \left( x^{ \frac{5}{2} } \right)' =\frac{5}{2} \sqrt{x^{3} } $$

La fonction inverse \( : \hspace{0.03em} \left(\frac{1}{x}\right)' \)

La fonction inverse est définie de la manière suivante :

En considérant \( \frac{1}{x} \) comme une puissance de \( x \), on peut utiliser la dérivée de \( x^n\), et on a :

Soit finalement,

$$ \left(\frac{1}{x}\right)' = - \frac{1}{x^2} $$

La fonction logarithme népérien \( : \Bigl[ ln(x) \Bigr]'\)

1. La fonction \(ln(x)\)

La la fonction logarithme népérien \((ln(x))\) est définie comme étantfonction réciproque de fonction exponentielle \((e^x)\) :

$$ \forall x \in \mathbb{R_+^*}, \enspace f(x) = ln(x) = (e^x)^{-1}$$

Elle est aussi définie par une intégrale :

$$ \forall x \in \mathbb{R_+^*}, \enspace ln(x) = \int^x_1 \frac{dt}{t}$$



Soit,

$$ \forall x \in \mathbb{R_+^*}, $$

$$ \Bigl[ ln(x) \Bigr]' = \frac{1}{x} $$



2. La fonction \(ln|x|\)

La la fonction logarithme népérien en valeur absolue est définie de la manière suivante :

$$ \forall x \in \mathbb{R^*}, \enspace f(x) = ln|x| = \Biggl \{ \begin{align*} \forall x \in \mathbb{R_-^*}, \ f(x) = ln(-x) \\ \forall x \in \mathbb{R_+^*}, \ f(x) = ln(x) \end{align*} $$




On a déjà calculé plus haut la partie positive, reste à calculer pour la partie négative de la même manière.

Utilisons la dérivée d'une fonction composée :

$$ ln(-x)' = (-x)' \times ln(-x)' $$
$$ ln(-x)' = - \frac{1}{-x} = \frac{1}{x}$$



Soit finalement,

$$ \forall x \in \mathbb{R^*}, $$

$$ \Bigl[ \ ln|x| \ \Bigr]' = \frac{1}{x} $$

La fonction logarithme en base n \( : \Bigl[ log_n(x) \Bigr] '\)

La fonction logarithme en base \(n\) \((n \in \mathbb{R})\) est définie de la manière suivante :

Nous allons procéder comme pour le logarithme népérien car c'est la même logique.

Soit la fonction \( g(x) = n^x \) et sa fonction réciproque de \( g^{-1}(x) = log_n(x) \).

Soit,

$$ \Bigl[ log_n(x) \Bigr] ' = \frac{1}{x.ln(n)} $$

On retrouve bien la cohérence avec la dérivée du logarithme népérien, dit aussi logarithme naturel.

En effet, c'est un cas particulier de la fonction \( log_n(x) \) en base \( e\).

La fonction exponentielle \( : (e^x)'\)

La fonction exponentielle est définie comme étant fonction réciproque de la fonction logarithme népérien \((ln(x))\) :

En utilisant la la dérivée d'une fonction réciproque, on a :

Soit finalement

$$ (e^x)' = e^x$$

Récapitulatif des dérivées des fonctions usuelles