# Annales de mathématiques pures et appliquées/Tome 11/Trigonométrie, article 3
## TRIGONOMÉTRIE.
### Exposition des principes fondamentaux de la théorie des fonctions circulaires ;

On sait que toute la théorie des fonctions circulaires est renfermée dans les quatre formules qui donnent les sinus et cosinus de la somme et de la différence de deux arcs en fonction des sinus et cosinus de ces arcs eux-mêmes. Mais, si ces formules se démontrent avec assez de facilité, tant que les arcs dont il s’agit sont moindres que le quart de cercle, il n’en est plus de même lorsqu’on suppose ces arcs d’une grandeur quelconque. Peut-être même est-il permis de douter que les efforts qui ont été faits dans ces derniers temps pour remplir cette lacune des élémens aient complètement atteint le but louable que leurs auteurs s’en étaient promis ; et c’est ce qui nous enhardit à revenir de nouveau sur cette doctrine fondamentale, pour la présenter d’une manière qui nous parait à la fois très-simple, très-générale et très-rigoureuse.
Soient $x,y$ deux arcs tout-à-fait arbitraires, et pouvant même excéder une ou plusieurs circonférences ; par les mêmes considérations qui, dans la géométrie analitique, donnent la distance d’un point à l’origine et la distance entre deux points, on aura, d’après la définition des cordes, sinus et cosinus, et en prenant le rayon pour unité.
$\operatorname {Sin} .^{2}x+\operatorname {Cos} .^{2}x=1,$
$\operatorname {Sin} .^{2}y+\operatorname {Cos} .^{2}y=1,$
$(\operatorname {Sin} .x-\operatorname {Sin} .y)^{2}+(\operatorname {Cos} .x-\operatorname {Cos} .y)^{2}=\operatorname {Cord} .^{2}(x-y).$
En développant le premier membre de la dernière de ces trois équations, et ayant égard aux deux premières, il viendra
$2-2(\operatorname {Sin} .x\operatorname {Sin} .y+\operatorname {Cos} .x\operatorname {Cos} .y)=\operatorname {Cord} .^{2}(x-y),\qquad$
qui, en posant $y=0,$ d’où $\operatorname {Sin} .y=0,\ \operatorname {Cos} .y=1$, donne
$2-2\operatorname {Cos} .x=\operatorname {Cord} .^{2}x$
d’où, en changeant $x$ en $x-y$ ;
$2-2\operatorname {Cos} .(x-y)=\operatorname {Cord} .^{2}(x-y)\,;\qquad$
éliminant donc $\operatorname {Cord} .^{2}(x-y)$ entre les équations (A, B), il viendra, en réduisant,
$\operatorname {Cos} .(x-y)=\operatorname {Cos} .x\operatorname {Cos} .y+\operatorname {Sin} .x\operatorname {Sin} .y,\qquad$
En changeant, dans cette dernière équation, $y$ en $x-y,$ elle deviendra
$\operatorname {Cos} .y=\operatorname {Cos} .x\operatorname {Cos} .(x-y)+\operatorname {Sin} .x\operatorname {Sin} .(x-y)\,;$
ou, en mettant pour $\operatorname {Cos} .(x-y)$ sa valeur (I)
$\operatorname {Cos} .y=\operatorname {Cos} .^{2}x\operatorname {Cos} .y+\operatorname {Sin} .x\operatorname {Cos} .x\operatorname {Sin} .y+\operatorname {Sin} .x\operatorname {Sin} .(x-y).$
En changeant $\operatorname {Cos} .^{2}x$ en $1-\operatorname {Sin} .^{2}x,$ effaçant alors le terme $\operatorname {Cos} .y,$ commun aux deux membres, divisant ensuite par $\operatorname {Sin} .x$ et transposant, on aura
$\operatorname {Sin} .(x-y)=\operatorname {Sin} .x\operatorname {Cos} .y-\operatorname {Cos} .x\operatorname {Sin} .y.\qquad$
Si, présentement, dans les équations (I, II), on change $x$ en $x+y$ elles deviendront, en renversant
$\operatorname {Sin} .y\operatorname {Sin} .(x+y)+\operatorname {Cos} .y\operatorname {Cos} .(x+y)=\operatorname {Cos} .x,$
$\operatorname {Cos} .y\operatorname {Sin} .(x+y)-\operatorname {Sin} .y\operatorname {Cos} .(x+y)=\operatorname {Sin} .x\,;$
prenant la différence des produits de la première par $\operatorname {Cos} .y$ et de la seconde par $\operatorname {Sin} .y,$ puis la somme des produits de la première par $\operatorname {Sin} .y$ et de la seconde par $\operatorname {Cos} .y,$ en se rappelant chaque fois que $\operatorname {Sin} .^{2}y+\operatorname {Cos} .^{2}y=1,$ il viendra,
$\operatorname {Cos} .(x+y)=\operatorname {Cos} .x\operatorname {Cos} .y-\operatorname {Sin} .x\operatorname {Sin} .y,\qquad$
$\operatorname {Sin} .(x+y)=\operatorname {Sin} .x\operatorname {Cos} .y+\operatorname {Cos} .x\operatorname {Sin} .y\,;\qquad$
de manière que nos quatre formules fondamentales se trouveront ainsi établies, sans avoir fait aucune supposition particulière sur la grandeur des arcs $x$ et $y.$