L’objectif est de démontrer que
, ou ce qui revient au même, que la fonction sinus est dérivable en 0 de nombre dérivé 1.
, ou ce qui revient au même, que la fonction cosinus est dérivable en 0 de nombre dérivé 0.
Rappel d’une propriété : L’aire d’un secteur est proportionnel à son angle d’ouverture. Un disque entier correspondant à un angle de mesure et vaut
. Alors un secteur d’angle
(exprimé en radians) a une aire de
.
Nombre dérivé en 0 de la fonction sinus : Considérons le cercle trigonométrique de centre 0 et passant par A et B. La mesure de l’angle est
. Soient C le projeté orthogonal de B sur (OC). Enfin considérons un cercle de centre O et de rayon OC. Ce cercle coupe [OB] en D On a :
L’aire du secteur OCD est : .
L’aire du triangle rectangle OCB est : .
L’aire du secteur OAB est : .
On a bien évidemment les inégalités suivantes : .
Après simplification par et sachant que
, il vient
.
La passage aux limites pour tendant vers 0+ implique que
.
Sachant que la fonction sinus est impaire, on peut en déduire que .
Nombre dérivé en 0 de la fonction cosinus : .
On sait que et que
. Le changement de variable de
en
conserve ces limites. Par conséquent