Dérivée de arccot x : formule, démonstration et exemples
La dérivée de arccot x est −1/(1 + x²). Démonstration à partir de cot y = x, lien avec arctan, exemples de dérivation en chaîne et courbe.
Dérivées des fonctions trigonométriques réciproques Mis à jour Lecture : 2 min
En bref
- Dérivée
- -\dfrac{1}{1 + x^2} pour tout réel x
- Forme composée
- \dfrac{d}{dx}\operatorname{arccot} u = -\dfrac{u'}{1 + u^2}
- Domaine de définition de arccot x
- tous les réels
- Ensemble image de arccot x
- (0, \pi)
- Identité clé
- \operatorname{arccot} x = \frac{\pi}{2} - \arctan x
Sur cette page
La dérivée de \operatorname{arccot} x est -\dfrac{1}{1 + x^2}. C'est la dérivée de arctan x avec un signe moins, et elle est valable pour tout nombre réel.
Courbe de arccot x et de sa dérivée
Démonstration à partir de cot y = x
Posons y = \operatorname{arccot} x, donc \cot y = x avec 0 < y < \pi. On dérive par dérivation implicite, en utilisant \frac{d}{dy}\cot y = -\csc^2 y (voir la dérivée de cot x) :
L'identité \csc^2 y = 1 + \cot^2 y = 1 + x^2 permet de conclure :
Démonstration à partir de arctan
Avec l'ensemble image (0, \pi), arccot et arctan sont liées par
La dérivée de la constante \frac{\pi}{2} vaut 0, donc la dérivée de arccot est simplement l'opposé de celle de arctan. C'est aussi grâce à cette identité que la courbe ci-dessus est tracée.
Remarque sur les conventions
Certains manuels et logiciels définissent \operatorname{arccot} x = \arctan\frac{1}{x}, qui a pour ensemble image \left(-\frac{\pi}{2}, 0\right) \cup \left(0, \frac{\pi}{2}\right] et présente un saut en x = 0. La dérivée reste la même partout où la fonction est définie :
La formule peut donc s'utiliser dans les deux cas. Seules les valeurs de la fonction diffèrent.
Version composée et exemples
| Fonction | Dérivée |
|---|---|
| \operatorname{arccot}(3x) | -\frac{3}{1 + 9x^2} |
| \operatorname{arccot}(x^2) | -\frac{2x}{1 + x^4} |
| \operatorname{arccot}(\ln x) | -\frac{1}{x(1 + \ln^2 x)} |
| \operatorname{arccot}(e^x) | -\frac{e^x}{1 + e^{2x}} |
Exemple corrigé. Dérivons f(x) = x\operatorname{arccot} x avec la règle du produit :
En x = 1 : \operatorname{arccot} 1 = \frac{\pi}{4}, donc f'(1) = \frac{\pi}{4} - \frac{1}{2} \approx 0.285.
Erreurs fréquentes
- Écrire -\csc^2 x. C'est la dérivée de \cot x, pas celle de sa réciproque.
- Perdre le signe moins. Arccot est décroissante, donc sa pente doit être négative.
- Oublier u'. \operatorname{arccot}(5x) donne -\frac{5}{1 + 25x^2}.
- Croire que l'intégrale exige arccot. Comme les dérivées ne diffèrent que par le signe, on écrit en général \int \frac{dx}{1 + x^2} sous la forme \arctan x + C. La réponse -\operatorname{arccot} x + C est aussi correcte, car les deux diffèrent d'une constante.
Les six dérivées des fonctions trigonométriques réciproques vont par paires : arcsin et arccos, arctan et arccot, arcsec et arccsc. La seconde de chaque paire porte un signe moins. Entraînez-vous avec les exercices sur les dérivées des fonctions trigonométriques réciproques.
Entraîne-toi maintenant
Dérivées des fonctions trigonométriques réciproques
Résous de vrais problèmes sur ce thème avec une correction immédiate, des indices et une solution pas à pas pour chaque réponse. Gratuit, sans inscription pour commencer.
S'entraîner sur cette leçon