Annales de mathématiques pures et appliquées/Tome 15/Trigonométrie, article 1
# 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

2Sin.² 1/2 x=1−Cos.x, 2Cos.² 1/2 x=1+Cos.x;

d’où on tire

Sin.1/2 x=±√(1/2 (1−Cos.x)), Cos.1/2 x=±√(1/2 (1+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.ᵒ Si x est compris entre 4nϖ et (4n+1)ϖ, 1/2 x sera compris entre 2nϖ et 2.nϖ+1/2 ϖ, et conséquemment on devra avoir

Sin.1/2 x=+√(1/2 (1−Cos.x)), Cos.1/2 x=+√(1/2 (1+Cos.x)).

2.ᵒ Si x est compris entre (4n+1)ϖ et (4n+2)ϖ, 1/2 x sera compris entre 2nϖ+1/2 ϖ et 2nϖ+ϖ, et conséquemment on devra avoir

Sin.1/2 x=+√(1/2 (1−Cos.x)), Cos.1/2 x=−√(1/2 (1+Cos.x)).

3.ᵒ Si x est compris entre (4n+2)ϖ et (4n+3)ϖ, 1/2 x sera compris entre 2nϖ+ϖ et 2nϖ+3/2 ϖ et conséquemment on devra avoir

Sin.1/2 x=−√(1/2 (1−Cos.x)), Cos.1/2 x=−√(1/2 (1+Cos.x)).

4.ᵒ Enfin, si x est compris entre (4n+3)ϖ et (4n+4)ϖ, 1/2 x se trouvera compris entre 2nϖ+3/4 ϖ et 2(n+1)ϖ et conséquemment on devra avoir

Sin.1/2 x=−√(1/2 (1−Cos.x)), Cos.1/2 x=+√(1/2 (1+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

Cos.x=±√(1−Sin.²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,

Sin.² 1/2 x+Cos.² 1/2 x=1, 2Sin.1/2 xCos.1/2 x=Sin.x.

Prenant tour à tour la somme et la différence de ces deux équations, on aura

(Sin.1/2 x+Cos.1/2 x)²=1+Sin.x, (Sin.1/2 x−Cos.1/2 x)²=1−Sin.x,

d’où on conclura

Sin.1/2 x+Cos.1/2 x=±√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=±√(1−Sin.x);

équations qui donneront immédiatement, par addition et soustraction, les valeurs de Sin.1/2 x et Cos.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 Sin.1/2 x et de Cos.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 Sin.1/2 x et Cos.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.ᵒ Si x est compris entre 4nϖ et 4nϖ+1/2 ϖ, 1/2 x sera compris entre 2nϖ et 2nϖ+1/4 ϖ; Sin.1/2 x et Cos.1/2 x seront donc tous deux positifs ; mais on aura Cos.1/2 x>Sin.1/2 x; d’où il suit qu’il faudra prendre

Sin.1/2 x+Cos.1/2 x=+√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=−√(1−Sin.x).

2.ᵒ Si x est compris entre 4nϖ+1/2 ϖ et 4nϖ+ϖ, 1/2 x sera compris entre 2nϖ+1/4 ϖ et 2nϖ+1/2 ϖ; Sin.1/2 x et Cos.1/2 x seront donc encore positifs ; mais, comme on aura alors Sin.1/2 x>Cos.1/2 x, il faudra prendre

Sin.1/2 x+Cos.1/2 x=+√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=+√(1−Sin.x).

3.ᵒ Si x est compris entre 4nϖ+ϖ et 4nϖ+3/2 ϖ, 1/2 x sera compris entre 2nϖ+1/2 ϖ et 2nϖ+3/4 ϖ; Sin.1/2 x demeurera toujours positif ; mais Cos.1/2 x sera négatif et moindre que lui, abstraction faite de son signe ; on aura donc

Sin.1/2 x+Cos.1/2 x=+√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=+√(1−Sin.x).

4.ᵒ Si, se trouve compris entre 4nϖ+3/2 ϖ et 4nϖ+2ϖ, 1/2 x sera compris entre 2nϖ+3/4 ϖ et 2nϖ+ϖ; Sin.1/2 x sera encore positif et Cos.1/2 x négatif ; mais, comme ce dernier sera plus grand, abstraction faite de son signe, que le premier, il faudra prendre

Sin.1/2 x+Cos.1/2 x=−√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=+√(1−Sin.x).

5.ᵒ Si x est compris entre 4nϖ+2ϖ et 4nϖ+5/2 ϖ, 1/2 x sera compris entre 4nϖ+ϖ et 4nϖ+5/4 ϖ; Sin.1/2 x et Cos.1/2 r seront alors tous deux négatifs ; mais, abstraction faite des signes, Sin.1/2 x sera le plus petit des deux, de sorte qu’on aura

Sin.1/2 x+Cos.1/2 x=−√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=+√(1−Sin.x).

6.ᵒ Si x est compris entre 4nϖ+5/2 ϖ et 4nϖ+3ϖ, 1/2 x se trouvera compris entre 2nϖ+5/4 ϖ et 2nϖ+3/2 ϖ; Sin.1/2 x et Cos.1/2 x demeureront encore tous deux négatifs ; mais, abstraction faite des signes, ce sera alors Sin.1/2 x qui sera le plus grand ; on devra donc écrire

Sin.1/2 x+Cos.1/2 x=−√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=−√(1−Sin.x).

7.ᵒ Si x est compris entre 4nϖ+3ϖ et 4nϖ+7/2 ϖ, 1/2 x se trouvera compris entre 2nϖ+3/2 ϖ et 2nϖ+7/4 ϖ; Sin.1/2 x demeurera donc toujours négatif ; mais Cos.1/2 x redeviendra positif, et sera le plus petit des deux, abstraction faite de son signe ; il faudra donc écrire

Sin.1/2 x+Cos.1/2 x=−√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=−√(1−Sin.x).

8.ᵒ Si enfin x est compris entre 4nϖ+7/2 ϖ et (4n+2)ϖ, 1/2 x se trouvera compris entre 2nϖ+7/4 ϖ et (2n+1)ϖ; Sin.1/2 x sera encore négatif et Cos.1/2 x positif ; mais, abstraction faite des signes, ce dernier deviendra le plus grand ; de sorte qu’on devra avoir

Sin.1/2 x+Cos.1/2 x=+√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=−√(1−Sin.x).

De toute cette discussion résultent, en résumé, les conséquences suivantes :

1.ᵒ Si x est compris entre 4nϖ+1/2 ϖ et 4nϖ+3/2 ϖ on aura

Sin.1/2 x+Cos.1/2 x=+√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=+√(1−Sin.x);

et par suite

Sin.1/2 x=1/2 (+√(1+Sin.x)+√(1−Sin.x)), Cos.1/2 x=1/2 (+√(1+Sin.x)−√(1−Sin.x)).

2.ᵒ Si x est compris entre 4nϖ+3/2 ϖ et 4nϖ+5/2 ϖ on aura

Sin.1/2 x+Cos.1/2 x=−√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=+√(1−Sin.x);

et par suite

Sin.1/2 x=1/2 (−√(1+Sin.x)+√(1−Sin.x)), Cos.1/2 x=1/2 (−√(1+Sin.x)−√(1−Sin.x)).

3.ᵒ Si x est compris entre 4nϖ+5/2 ϖ et 4nϖ+7/2 ϖ on aura

Sin.1/2 x+Cos.1/2 x=−√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=−√(1−Sin.x);

et par suite

Sin.1/2 x=1/2 (−√(1+Sin.x)−√(1−Sin.x)), Cos.1/2 x=1/2 (−√(1+Sin.x)+√(1−Sin.x)).

4.ᵒ Si x est compris entre 4nϖ+7/2 ϖ et 4nϖ+9/2 ϖ on aura

Sin.1/2 x+Cos.1/2 x=+√(1+Sin.x), Sin.1/2 x−Cos.1/2 x=−√(1−Sin.x);

et par suite

Sin.1/2 x=1/2 (+√(1+Sin.x)−√(1−Sin.x)), Cos.1/2 x=1/2 (+√(1+Sin.x)+√(1−Sin.x)).

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=ϖ. 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.

