et
c) Sinus et cosinus d'une somme
Quels que soient les réels a et b :
cos(a + b) = cos(a) cos(b) sin(a) sin(b)
cos(a b) = cos(a) cos(b) + sin(a) sin(b)
sin(a + b) = sin(a) cos(b) + sin(b) cos(a)
sin(a b) = sin(a) cos(b) sin(b) cos(a)
d) Formules de duplication
Quel que soit le réel x :
cos(2x) = cos²(x) sin²(x)
sin(2x) = 2sin(x) cos(x)
B. Étude des fonctions sinus et cosinus
1- Dérivabilité
a) Résultats préliminaires
On admet que
et que
.
Le nombre dérivé de la fonction sinus en 0 est
lim
h0
sin hsin0
h=lim
h0
sinh
h=1
.
Le nombre dérivé de la fonction cosinus en 0 est
lim
h0
coshcos0
h=lim
h0
cosh1
h=0
.
b) Dérivées de sinus et cosinus
La dérivée de la fonction sinus est (sin(x))' = cos(x).
La dérivée de la fonction cosinus est (cos(x))' = - sin(x).
Démonstration
Cherchons le nombre dérivé de la fonction sinus en x0, c'est à dire
lim
h0
sin x0hsinx0
h
.
sin x0hsinx0
h=sin x0coshcosx0sinhsinx0
h
donc
sin x0hsinx0
h=sinx0cosh1
hcosx0sin h
h
.
Lorsque h tend vers 0,
tend vers 0 et
tend vers 1. On en déduit que
lim
h0
sin x0hsinx0
h=cosx0
.
Cela nous montre que la dérivée de la fonction sinus est la fonction cosinus.
KB 2 sur 5