En raison de limitations techniques, la typographie souhaitable du titre, « Fonctions circulaires : Formules de duplication Fonctions circulaires/Formules de duplication », n'a pu être restituée correctement ci-dessus.
Dans ce chapitre, nous nous intéressons aux formules qui relient les sinus et cosinus d'un angle avec ceux de son double ou de sa moitié.
Certaines possèdent une interprétation géométrique intéressante.
Formules
La formule de duplication du sinus
On démontre ici par une méthode élémentaire la formule de duplication du sinus.
Le losange de côté 1
On se place dans un losange de côté 1.
On nomme un des angles, qui varie entre 0 et .
On a alors dans le triangle rectangle en :
donc l'aire du losange est :
Remarquons enfin que si l'on considère l'angle adjacent à , le résultat est encore valable puisque les deux angles on le même sinus.
Donc notre résultat est valable pour un angle variant entre et .
Le triangle isocèle de côté 1
On se place dans un triangle de côté 1.
On nomme un des angles, qui varie entre 0 et .
On a alors dans le triangle rectangle en :
donc l'aire du triangle est :
.
La formule
En combinant les deux résultats précédents, on obtient :
.
La figure ci-contre constitue une preuve tout aussi élémentaire de la formule plus générale