Discussion:Arc cosinus
Apparence
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Preuve par la dérivée
[modifier le code]Cette méthode est standard mais plutôt comme exo d'application sur les dérivées. Le calcul des dérivées de arccos et arcsin utilise déjà que
Pour démontrer que arccos + arcsin = π/2, il est donc plus élégant (car plus économique), au lieu de dériver, de réutiliser directement ces identités :
(et –π/2 ≤ arccos + arcsin ≤ 3π/2). Mais ça revient un peu au même (en moins simple) que la preuve trigo… Anne, 22/1/16
j'ai donc remplacé cette « preuve par la dérivée » par un lien vers Fonction monotone#Monotonie et signe de la dérivée, et ajouté cet exemple là-bas (en plus bref).