ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 9 — Fonctions trigonométriques · Exercices de synthèse

Exercice 31

Démonstration

Le cours démontre que sin⁡′=cos⁡\sin'=\cos. L'objectif est d'en déduire la dérivée du cosinus sans refaire tout le calcul.

1. Rappeler pourquoi, pour tout réel xx, cos⁡(x)=sin⁡(π2−x)\cos(x)=\sin\left(\dfrac{\pi}{2}-x\right).

2. En dérivant cette égalité à l'aide de la proposition 4, démontrer que cos⁡′(x)=−cos⁡(π2−x)\cos'(x)=-\cos\left(\dfrac{\pi}{2}-x\right).

3. En déduire que cos⁡′(x)=−sin⁡(x)\cos'(x)=-\sin(x).

4. Vérifier la cohérence de ce résultat en 00 et en π2\dfrac{\pi}{2}, à l'aide des tangentes lues sur la courbe du cosinus.

5. Reprendre le même raisonnement pour retrouver sin⁡′=cos⁡\sin'=\cos à partir de cos⁡′=−sin⁡\cos'=-\sin.

Corrigé

1. C'est une formule des angles associés, vue en Première : les réels xx et π2−x\dfrac{\pi}{2}-x correspondent à deux points du cercle symétriques par rapport à la première bissectrice, ce qui échange abscisse et ordonnée. cos⁡(x)=sin⁡(π2−x)\boxed{\cos(x)=\sin\left(\frac{\pi}{2}-x\right)}

2. On dérive les deux membres. À droite, on applique (sin⁡(u))′=u′cos⁡(u)\big(\sin(u)\big)'=u'\cos(u) avec u(x)=π2−xu(x)=\dfrac{\pi}{2}-x, donc u′(x)=−1u'(x)=-1 : cos⁡′(x)=(−1)×cos⁡(π2−x)=−cos⁡(π2−x)\cos'(x)=(-1)\times\cos\left(\frac{\pi}{2}-x\right) =\boxed{-\cos\left(\frac{\pi}{2}-x\right)}

3. Par la même formule des angles associés appliquée cette fois au cosinus : cos⁡(π2−x)=sin⁡(x)\cos\left(\frac{\pi}{2}-x\right)=\sin(x)

cos⁡′(x)=−sin⁡(x)\boxed{\cos'(x)=-\sin(x)}

4. En 00, le cosinus atteint son maximum : la tangente y est horizontale, donc cos⁡′(0)=0\cos'(0)=0. La formule donne bien −sin⁡(0)=0-\sin(0)=0.

En π2\dfrac{\pi}{2}, la courbe du cosinus descend le plus rapidement : la tangente y a la pente la plus négative possible, à savoir −1-1. La formule donne −sin⁡(π2)=−1-\sin\left(\dfrac{\pi}{2}\right)=-1. Les deux veˊrifications sont coheˊrentes\boxed{\text{Les deux vérifications sont cohérentes}}

5. On part cette fois de sin⁡(x)=cos⁡(π2−x)\sin(x)=\cos\left(\dfrac{\pi}{2}-x\right), puis on dérive avec (cos⁡(u))′=−u′sin⁡(u)\big(\cos(u)\big)'=-u'\sin(u) et u′=−1u'=-1 : sin⁡′(x)=−(−1)×sin⁡(π2−x)=sin⁡(π2−x)=cos⁡(x)\sin'(x)=-(-1)\times\sin\left(\frac{\pi}{2}-x\right) =\sin\left(\frac{\pi}{2}-x\right)=\boxed{\cos(x)} Les deux formules se déduisent donc l'une de l'autre : il suffit d'en admettre une seule.

Ouvrir dans l'atlas interactif →