Math-Linux.com

Knowledge base dedicated to Linux and applied mathematics.

Accueil > Mathématiques > Dérivée de fonction > Dérivée de cos x

Dérivée de cos x

Toutes les versions de cet article : <English> <français>

La dérivée de f’ de la fonction cosinus f(x)=cos x est : f’(x) = - sin x pour toute valeur x


Dérivée de la fonction cos x

La dérivée $f’$ de la fonction cosinus $f(x)=\cos x$ est :

$$ \forall x \in ]-\infty, +\infty[ , f’(x) = -\sin x $$

Preuve/Démonstration

$$ \begin{aligned} &\frac{\cos (x+h)-\cos x}{h}=\frac{\cos (x) \cos (h)-\sin (x) \sin (h)-\cos x}{h}\\ &\frac{\cos (x+h)-\cos x}{h}=\frac{\sin h}{h} \times(-\sin x)+\cos x \times \frac{\cos h-1}{h}\\ \end{aligned} $$

On a :

$$ \begin{aligned} \frac{\cos h-1}{h} &=\frac{(\cos h-1)(\cos h+1)}{h(\cos h+1)} \\ &=\frac{\cos ^{2} h-1}{h(\cos h+1)} \\ &=\frac{-\sin ^{2} h}{h(\cos h+1)} \\ &=\frac{\sin h}{h} \times \frac{-\sin h}{\cos h+1} \\ \end{aligned} $$

d’où :

$$ \lim _{h \rightarrow 0} \frac{\cos h-1}{h}=0 $$

car

$$ \lim _{h \rightarrow 0} \frac{\sin h}{h}=1 $$

Cette égalité a été démontrée dans https://www.math-linux.com/mathematiques/limites/article/limite-de-sin-x-x-1-quand-x-tend-vers-0

On a :

$$ \begin{aligned} \lim _{h \rightarrow 0}\frac{\cos (x+h)-\cos x}{h}&=\lim _{h \rightarrow 0}\frac{\sin h}{h} \times(-\sin x)+\cos x \times \lim _{h \rightarrow 0}\frac{\cos h-1}{h}\\ &=1\times(-\sin x) + \cos x \times 0 \\ \end{aligned} $$

On conclut alors que :

$$ \lim _{h \rightarrow 0} \frac{\cos (x+h)-\cos x}{h}=-\sin x $$

Dans la même rubrique

  1. Dérivée de sin x
  2. Dérivée de 1/x
  3. Dérivée de tan x
  4. Dérivée de racine de x
  5. Dérivée de exp x, e^x
  6. Dérivée de ln x
  7. Dérivée de cos x
  8. Dérivée de fonction composée
  9. Dérivée de fonction réciproque
  10. Dérivée de arccos x
  11. Dérivée de arcsin x
  12. Dérivée de arctan x