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