# Annales de mathématiques pures et appliquées/Tome 15/Trigonométrie, article 1
## TRIGONOMÉTRIE.
### Discussion des formules qui donnent les sinus et cosinus de la moitié d’un angle en fonction soit du cosinus soit du sinus de cet angle ;

On sait que, quelque soit un angle $x,$ on a
$2\operatorname {Sin} .^{2}{\frac {1}{2}}x=1-\operatorname {Cos} .x,\qquad 2\operatorname {Cos} .^{2}{\frac {1}{2}}x=1+\operatorname {Cos} .x\,;$
d’où on tire
$\operatorname {Sin} .{\frac {1}{2}}x=\pm {\sqrt {{\frac {1}{2}}(1-\operatorname {Cos} .x)}},\qquad \operatorname {Cos} .{\frac {1}{2}}x=\pm {\sqrt {{\frac {1}{2}}(1+\operatorname {Cos} .x)}}.$
Il sera facile de lever l’ambiguïté qui résulte des doubles signes de ces formules au moyen des remarques suivantes :
1.$^o$ Si $x$ est compris entre $4n\varpi$ et $(4n+1)\varpi ,\ {\frac {1}{2}}x$ sera compris entre $2n\varpi$ et $2.n\varpi +{\frac {1}{2}}\varpi ,$ et conséquemment on devra avoir
$\operatorname {Sin} .{\frac {1}{2}}x=+{\sqrt {{\frac {1}{2}}(1-\operatorname {Cos} .x)}},\qquad \operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {{\frac {1}{2}}(1+\operatorname {Cos} .x)}}.$
2.$^o$ Si $x$ est compris entre $(4n+1)\varpi$ et $(4n+2)\varpi ,\ {\frac {1}{2}}x$ sera compris entre $2n\varpi +{\frac {1}{2}}\varpi$ et $2n\varpi +\varpi ,$ et conséquemment on devra avoir
$\operatorname {Sin} .{\frac {1}{2}}x=+{\sqrt {{\frac {1}{2}}(1-\operatorname {Cos} .x)}},\qquad \operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {{\frac {1}{2}}(1+\operatorname {Cos} .x)}}.$
3.$^o$ Si $x$ est compris entre $(4n+2)\varpi$ et $(4n+3)\varpi ,\ {\frac {1}{2}}x$ sera compris entre $2n\varpi +\varpi$ et $2n\varpi +{\frac {3}{2}}\varpi$ et conséquemment on devra avoir
$\operatorname {Sin} .{\frac {1}{2}}x=-{\sqrt {{\frac {1}{2}}(1-\operatorname {Cos} .x)}},\qquad \operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {{\frac {1}{2}}(1+\operatorname {Cos} .x)}}.$
4.$^o$ Enfin, si $x$ est compris entre $(4n+3)\varpi$ et $(4n+4)\varpi ,\ {\frac {1}{2}}x$ se trouvera compris entre $2n\varpi +{\frac {3}{4}}\varpi$ et $2(n+1)\varpi$ et conséquemment on devra avoir
$\operatorname {Sin} .{\frac {1}{2}}x=-{\sqrt {{\frac {1}{2}}(1-\operatorname {Cos} .x)}},\qquad \operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {{\frac {1}{2}}(1+\operatorname {Cos} .x)}}.$
Mais, comme l’observe M. Legendre, dans sa trigonométrie, au lieu d’avoir le sinus et le cosinus de la moitié d’un angle en fonction du cosinus de cet angle, on peut désirer de les obtenir immédiatement en fonction de son sinus. On y parviendrait d’abord facilement en substituant dans les formules ci-dessus la valeur
$\operatorname {Cos} .x=\pm {\sqrt {1-\operatorname {Sin} .^{2}x}},$
et discutant ensuite, comme ci-dessus, les signes du second radical qui doivent répondre à chaque cas ; mais on doit éviter autant qu’on le peut dans les formules les radicaux superposés, attendu l’obligation qu’ils imposent d’extraire les premières racines avec beaucoup plus de chiffres décimaux qu’on n’en a besoin dans le résultat final ; et ces radicaux superposés peuvent, dans la question qui nous occupe, être facilement évités.
On a en effet, quel que soit $x,$
${\begin{aligned}\operatorname {Sin} .^{2}{\frac {1}{2}}x+\operatorname {Cos} .^{2}{\frac {1}{2}}x&=1,\\\\2\operatorname {Sin} .{\frac {1}{2}}x\operatorname {Cos} .{\frac {1}{2}}x&=\operatorname {Sin} .x.\end{aligned}}$
Prenant tour à tour la somme et la différence de ces deux équations, on aura
$\left(\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x\right)^{2}=1+\operatorname {Sin} .x,\quad \left(\operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x\right)^{2}=1-\operatorname {Sin} .x,$
d’où on conclura
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=\pm {\sqrt {1+\operatorname {Sin} .x}},\qquad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=\pm {\sqrt {1-\operatorname {Sin} .x}}\,;$
équations qui donneront immédiatement, par addition et soustraction, les valeurs de $\operatorname {Sin} .{\frac {1}{2}}x$ et $\operatorname {Cos} .{\frac {1}{2}}x,$ dès qu’on aura levé l’ambiguïté qui résulte des doubles signes de leurs seconds membres.
Et remarquons bien que, dans le cas actuel, la discussion de ces signes est d’une toute autre importance qu’elle ne l’était dans le cas précédent. Alors, en effet, en la négligeant, nous aurions du moins obtenu les valeurs absolues de $\operatorname {Sin} .{\frac {1}{2}}x$ et de $\operatorname {Cos} .{\frac {1}{2}}x,$ et nous n’aurions été exposés au plus qu’à une erreur de signe qui quelquefois n’est d’aucune importance, tandis qu’ici, où les valeurs de $\operatorname {Sin} .{\frac {1}{2}}x$ et $\operatorname {Cos} .{\frac {1}{2}}x$ doivent se composer de deux termes radicaux, une méprise sur les signes de ces radicaux pourrait entraîner une erreur tant sur la valeur absolue que sur le signe de la quantité cherchée. Examinons donc quels doivent être les signes de ces radicaux dans les différens cas.
1.$^o$ Si $x$ est compris entre $4n\varpi$ et $4n\varpi +{\frac {1}{2}}\varpi ,\ {\frac {1}{2}}x$ sera compris entre $2n\varpi$ et $2n\varpi +{\frac {1}{4}}\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ et $\operatorname {Cos} .{\frac {1}{2}}x$ seront donc tous deux positifs ; mais on aura $\operatorname {Cos} .{\frac {1}{2}}x>\operatorname {Sin} .{\frac {1}{2}}x\,;$ d’où il suit qu’il faudra prendre
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1-\operatorname {Sin} .x}}.$
2.$^o$ Si $x$ est compris entre $4n\varpi +{\frac {1}{2}}\varpi$ et $4n\varpi +\varpi ,\ {\frac {1}{2}}x$ sera compris entre $2n\varpi +{\frac {1}{4}}\varpi$ et $2n\varpi +{\frac {1}{2}}\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ et $\operatorname {Cos} .{\frac {1}{2}}x$ seront donc encore positifs ; mais, comme on aura alors $\operatorname {Sin} .{\frac {1}{2}}x>\operatorname {Cos} .{\frac {1}{2}}x,$ il faudra prendre
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1-\operatorname {Sin} .x}}.$
3.$^o$ Si $x$ est compris entre $4n\varpi +\varpi$ et $4n\varpi +{\frac {3}{2}}\varpi ,\ {\frac {1}{2}}x$ sera compris entre $2n\varpi +{\frac {1}{2}}\varpi$ et $2n\varpi +{\frac {3}{4}}\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ demeurera toujours positif ; mais $\operatorname {Cos} .{\frac {1}{2}}x$ sera négatif et moindre que lui, abstraction faite de son signe ; on aura donc
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1-\operatorname {Sin} .x}}.$
4.$^o$ Si, se trouve compris entre $4n\varpi +{\frac {3}{2}}\varpi$ et $4n\varpi +2\varpi ,\ {\frac {1}{2}}x$ sera compris entre $2n\varpi +{\frac {3}{4}}\varpi$ et $2n\varpi +\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ sera encore positif et $\operatorname {Cos} .{\frac {1}{2}}x$ négatif ; mais, comme ce dernier sera plus grand, abstraction faite de son signe, que le premier, il faudra prendre
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1-\operatorname {Sin} .x}}.$
5.$^o$ Si $x$ est compris entre $4n\varpi +2\varpi$ et $4n\varpi +{\frac {5}{2}}\varpi ,\ {\frac {1}{2}}x$ sera compris entre $4n\varpi +\varpi$ et $4n\varpi +{\frac {5}{4}}\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ et $\operatorname {Cos} .{\frac {1}{2}}r$ seront alors tous deux négatifs ; mais, abstraction faite des signes, $\operatorname {Sin} .{\frac {1}{2}}x$ sera le plus petit des deux, de sorte qu’on aura
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1-\operatorname {Sin} .x}}.$
6.$^o$ Si $x$ est compris entre $4n\varpi +{\frac {5}{2}}\varpi$ et $4n\varpi +3\varpi ,\ {\frac {1}{2}}x$ se trouvera compris entre $2n\varpi +{\frac {5}{4}}\varpi$ et $2n\varpi +{\frac {3}{2}}\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ et $\operatorname {Cos} .{\frac {1}{2}}x$ demeureront encore tous deux négatifs ; mais, abstraction faite des signes, ce sera alors $\operatorname {Sin} .{\frac {1}{2}}x$ qui sera le plus grand ; on devra donc écrire
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1-\operatorname {Sin} .x}}.$
7.$^o$ Si $x$ est compris entre $4n\varpi +3\varpi$ et $4n\varpi +{\frac {7}{2}}\varpi ,\ {\frac {1}{2}}x$ se trouvera compris entre $2n\varpi +{\frac {3}{2}}\varpi$ et $2n\varpi +{\frac {7}{4}}\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ demeurera donc toujours négatif ; mais $\operatorname {Cos} .{\frac {1}{2}}x$ redeviendra positif, et sera le plus petit des deux, abstraction faite de son signe ; il faudra donc écrire
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1-\operatorname {Sin} .x}}.$
8.$^o$ Si enfin $x$ est compris entre $4n\varpi +{\frac {7}{2}}\varpi$ et $(4n+2)\varpi ,\ {\frac {1}{2}}x$ se trouvera compris entre $2n\varpi +{\frac {7}{4}}\varpi$ et $(2n+1)\varpi \,;\ \operatorname {Sin} .{\frac {1}{2}}x$ sera encore négatif et $\operatorname {Cos} .{\frac {1}{2}}x$ positif ; mais, abstraction faite des signes, ce dernier deviendra le plus grand ; de sorte qu’on devra avoir
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1-\operatorname {Sin} .x}}.$
De toute cette discussion résultent, en résumé, les conséquences suivantes :
1.$^o$ Si $x$ est compris entre $4n\varpi +{\frac {1}{2}}\varpi$ et $4n\varpi +{\frac {3}{2}}\varpi$ on aura
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1-\operatorname {Sin} .x}}\,;$
et par suite
${\begin{aligned}\operatorname {Sin} .{\frac {1}{2}}x&={\frac {1}{2}}\left(+{\sqrt {1+\operatorname {Sin} .x}}+{\sqrt {1-\operatorname {Sin} .x}}\right),\\\\\operatorname {Cos} .{\frac {1}{2}}x&={\frac {1}{2}}\left(+{\sqrt {1+\operatorname {Sin} .x}}-{\sqrt {1-\operatorname {Sin} .x}}\right).\end{aligned}}$
2.$^o$ Si $x$ est compris entre $4n\varpi +{\frac {3}{2}}\varpi$ et $4n\varpi +{\frac {5}{2}}\varpi$ on aura
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1-\operatorname {Sin} .x}}\,;$
et par suite
${\begin{aligned}\operatorname {Sin} .{\frac {1}{2}}x&={\frac {1}{2}}\left(-{\sqrt {1+\operatorname {Sin} .x}}+{\sqrt {1-\operatorname {Sin} .x}}\right),\\\\\operatorname {Cos} .{\frac {1}{2}}x&={\frac {1}{2}}\left(-{\sqrt {1+\operatorname {Sin} .x}}-{\sqrt {1-\operatorname {Sin} .x}}\right).\end{aligned}}$
3.$^o$ Si $x$ est compris entre $4n\varpi +{\frac {5}{2}}\varpi$ et $4n\varpi +{\frac {7}{2}}\varpi$ on aura
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1-\operatorname {Sin} .x}}\,;$
et par suite
${\begin{aligned}\operatorname {Sin} .{\frac {1}{2}}x&={\frac {1}{2}}\left(-{\sqrt {1+\operatorname {Sin} .x}}-{\sqrt {1-\operatorname {Sin} .x}}\right),\\\\\operatorname {Cos} .{\frac {1}{2}}x&={\frac {1}{2}}\left(-{\sqrt {1+\operatorname {Sin} .x}}+{\sqrt {1-\operatorname {Sin} .x}}\right).\end{aligned}}$
4.$^o$ Si $x$ est compris entre $4n\varpi +{\frac {7}{2}}\varpi$ et $4n\varpi +{\frac {9}{2}}\varpi$ on aura
$\operatorname {Sin} .{\frac {1}{2}}x+\operatorname {Cos} .{\frac {1}{2}}x=+{\sqrt {1+\operatorname {Sin} .x}},\quad \operatorname {Sin} .{\frac {1}{2}}x-\operatorname {Cos} .{\frac {1}{2}}x=-{\sqrt {1-\operatorname {Sin} .x}}\,;$
et par suite
${\begin{aligned}\operatorname {Sin} .{\frac {1}{2}}x&={\frac {1}{2}}\left(+{\sqrt {1+\operatorname {Sin} .x}}-{\sqrt {1-\operatorname {Sin} .x}}\right),\\\\\operatorname {Cos} .{\frac {1}{2}}x&={\frac {1}{2}}\left(+{\sqrt {1+\operatorname {Sin} .x}}+{\sqrt {1-\operatorname {Sin} .x}}\right).\end{aligned}}$
M. Legendre donne uniquement ces dernières formules, et les donne comme générales ; mais il suffit, pour s’assurer qu’elles ne le sont pas, d’y faire $x=\varpi .$ Sa méprise paraît venir en partie de ce qu’au lieu de chercher directement ces formules, ainsi que nous venons de le faire, il s’est contenté de les vérifier par l’élévation au quarré, ce qui conduit à un résultat pareil à celui que donnerait le deuxième cas.
Nous ne disons rien du cas où l’angle $x$ serait négatif, attendu, que les relations entre les sinus et cosinus de deux angles qui ne différent que par le signe sont assez connues.