TRIGONOMÉTRIE.
Par
M. L. C.
Bouvier, ex-officier du génie, ancien élève
de l’école polytechnique.
≈≈≈≈≈≈≈≈≈
On sait que, quelque soit un angle
on a
![{\displaystyle 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\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93c0162f0fea3dca89dc60eab12d5833f5917bb3)
d’où on tire
![{\displaystyle \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)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2be0d68b4cedb5d087a9bd810dee3f01f2094b9d)
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
est compris entre
et
sera compris entre
et
et conséquemment on devra avoir
![{\displaystyle \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)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf4a3bd5455096280dd193a87b5ebb7ac051f17)
2.o Si
est compris entre
et
sera compris entre
et
et conséquemment on devra avoir
![{\displaystyle \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)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b91458eb7675e272daadc735254d17c954c8ab)
3.o Si
est compris entre
et
sera compris entre
et
et conséquemment on devra avoir
![{\displaystyle \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)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f6fc0802c2f8287db614f808ba9ca2d42aa4080)
4.o Enfin, si
est compris entre
et
se trouvera compris entre
et
et conséquemment on devra avoir
![{\displaystyle \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)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6304307bf395551f55abe727546e92e7c2b0f30b)
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
![{\displaystyle \operatorname {Cos} .x=\pm {\sqrt {1-\operatorname {Sin} .^{2}x}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65985b6784ebc8acf0f43bff82f75aeee11c8755)
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
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9da62590ff838785243f5b9c6c3ca243d0ed2b00)
Prenant tour à tour la somme et la différence de ces deux équations, on aura
![{\displaystyle \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,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/628ee2aefb84392c4a6a2bd3232a0f53bd3b86ef)
d’où on conclura
![{\displaystyle \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}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36961b1748e6ecdc5eef72178c718db6b2798032)
équations qui donneront immédiatement, par addition et soustraction, les valeurs de
et
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
et de
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
et
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
est compris entre
et
sera compris entre
et
et
seront donc tous deux positifs ; mais on aura
d’où il suit qu’il faudra prendre
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d628096ad0212433c564337afe519e5fa4bab872)
2.o Si
est compris entre
et
sera compris entre
et
et
seront donc encore positifs ; mais, comme on aura alors
il faudra prendre
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa0b0e2aadd019a187d514f2e1e2348e8915069a)
3.o Si
est compris entre
et
sera compris entre
et
demeurera toujours positif ; mais
sera négatif et moindre que lui, abstraction faite de son signe ; on aura donc
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa0b0e2aadd019a187d514f2e1e2348e8915069a)
4.o Si, se trouve compris entre
et
sera compris entre
et
sera encore positif et
négatif ; mais, comme ce dernier sera plus grand, abstraction faite de son signe, que le premier, il faudra prendre
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f8a8a3fbfefdd4e230241ee03a4fc4b15366401)
5.o Si
est compris entre
et
sera compris entre
et
et
seront alors tous deux négatifs ; mais, abstraction faite des signes,
sera le plus petit des deux, de sorte qu’on aura
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f8a8a3fbfefdd4e230241ee03a4fc4b15366401)
6.o Si
est compris entre
et
se trouvera compris entre
et
et
demeureront encore tous deux négatifs ; mais, abstraction faite des signes, ce sera alors
qui sera le plus grand ; on devra donc écrire
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/362c6f5f3d06ce93695420d924c40640807fbb51)
7.o Si
est compris entre
et
se trouvera compris entre
et
demeurera donc toujours négatif ; mais
redeviendra positif, et sera le plus petit des deux, abstraction faite de son signe ; il faudra donc écrire
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/362c6f5f3d06ce93695420d924c40640807fbb51)
8.o Si enfin
est compris entre
et
se trouvera compris entre
et
sera encore négatif et
positif ; mais, abstraction faite des signes, ce dernier deviendra le plus grand ; de sorte qu’on devra avoir
![{\displaystyle \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}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d628096ad0212433c564337afe519e5fa4bab872)
De toute cette discussion résultent, en résumé, les conséquences suivantes :
1.o Si
est compris entre
et
on aura
![{\displaystyle \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}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d65d0fa821d8a300c1d3447ceaa5a3b6097b93a1)
et par suite
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0be71d3338948b1aeb882f898e5295c037019718)
2.o Si
est compris entre
et
on aura
![{\displaystyle \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}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a4aa30d4fb44d65ced98ad91f3dfeb65e1e18f2)
et par suite
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/180ccf21ffd8e1ddc69444dd8bee0288ef0061a9)
3.o Si
est compris entre
et
on aura
![{\displaystyle \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}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27be4a8e3db1ef2a3e963858f3e6be1caceeabff)
et par suite
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dc30a452c3e36e9248bf4c56921c519cf770a0a)
4.o Si
est compris entre
et
on aura
![{\displaystyle \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}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95413b16783c922cff308ba8ddceb8e400e6d8c0)
et par suite
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b98f29688e5a8ced7515fc7e28f0bb102b9a4e91)
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
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
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.