[<] Dérivation d'application réciproque [>] Théorème de Rolle
Soit . Vérifier que les dérivées -ièmes des fonctions et s’expriment
Calculer la dérivée -ième de
Solution
On exploite la formule de Leibniz
donc
En calculant de deux façons la dérivée -ième de , établir
Soit . Calculer les dérivées -ièmes des fonctions suivantes:
(avec )
.
Calculer la dérivée -ième de
Solution
Par décomposition en éléments simples
Or
donc
Déterminer les points d’annulation de la dérivée -ième de la fonction arc tangente.
Calculer la dérivée -ième de
Solution
On a
donc on peut linéariser
On sait
et l’on obtient donc
Calculer la dérivée -ième de la fonction réelle .
Solution
On peut écrire
et donc
Or puis
Soit définie par . Montrer que
Solution
Par récurrence sur .
Pour : ok
Supposons la propriété établie au rang .
donc
puis
Récurrence établie.
On peut aussi écrire
et exploiter cela pour calculer directement la dérivée d’ordre .
Soit .
Montrer que pour tout
En déduire les racines de pour .
Solution
Par récurrence sur .
Pour
Supposons la propriété vérifiée au rang
Or
donc
puis
Récurrence établie.
Puisque , .
Par suite,
et donc
Au final, les racines de sont les
Montrer que la dérivée d’ordre de est
Solution
Par récurrence sur .
Pour : ok.
Supposons la propriété établie au rang .
donc
ce qui donne
Récurrence établie.
Soit une fonction indéfiniment dérivable. Pour tout et tout , établir l’identité
On considère la fonction
Établir que est de classe sur et vérifie
Solution
Par quotient défini de fonctions de classe , est de classe sur . On remarque que pour ,
Par la formule de Leibniz,
On évalue en sachant
et l’on obtient
Par renversement de l’indexation et symétrie des coefficients binomiaux, on obtient
puis l’on peut conclure.
Soit .
Montrer
En déduire
[<] Dérivation d'application réciproque [>] Théorème de Rolle
Édité le 30-10-2025
Bootstrap 3
-
LaTeXML
-
Powered by MathJax