Annales de mathématiques pures et appliquées/Tome 03/Trigonométrie, article 4
# Annales de mathématiques pures et appliquées/Tome 03/Trigonométrie, article 4

## TRIGONOMÉTRIE.

Soient désignés par a, b, c les trois côtés d’un triangle, soit reetiligne soit sphérique, et par A, B, C les angles qui leur sont respectivement opposés.

S’il s’agit d’un triangle reetiligne, on aura

2bcCos.A=b²+c²−a²,

2acCos.B=a²+c²−b²,

Si l’on prend successivement la somme et la différence de ces deux équations, il viendra en réduisant

aCos.B+bCos.A=c,

c(aCos.B−bCos.A)=a²−b².

Multipliant ces deux derniers, membre à membre, et réduisant encore, on aura, en transposant,

b²(1−Cos.²A)=a²(1−Cos.²B),

b²Sin.²A=a²Sin.²B,

bSin.A=aSin.B.

S’il s’agit d’un triangle sphérique on aura

Sin.bSin.cCos.A=Cos.a−Cos.bCos.c,

Sin.aSin.cCos.B=Cos.b−Cos.aCos.c.

Prenant successivement la somme et la différence de ces équations, il viendra

Sin.c(Sin.aCos.B+Sin.bCos.A)=(1−Cos.c)(Cos.b+Cos.a),

Sin.c(Sin.aCos.B−Sin.bCos.A)=(1+Cos.c)(Cos.b−Cos.a).

Multipliant ces deux dernières équations, membre à membre, en observant que (1−Cos.c)(1+Cos.c)=1−Cos.²c=Sin.²c, et divisant par Sin.²c, on aura

Sin.²aCos.²B−Sin.²bCos.²A=Cos.²b−Cos.²a=Sin.²a−Sin.²b,

ou, en transposant,

Sin.²b(1−Cos.²A)=Sin.²a(1−Cos.²B),

Sin.²bSin.²A=Sin.²aSin.²B,

Sin.bSin.A=Sin.aSin.B.

Cette manière de déduire des équations fondamentales la proportionnalité des sinus des angles aux côtés opposés, dans le triangle rectiligne, et aux sinus de ces côtés, dans le triangle sphérique, rne paraît remarquable par sa simplicité et son uniformité.

Conservons les mêmes notations que ci-dessus, et soit posé, en outre,

a+b+c=2s.

Dans le triangle rectiligne, on a, sans aucune ambiguïté de signes,

Sin.1/2 A=√((s−b)(s−c)/bc), Cos.1/2 A=√(s(s−a)/bc),

Sin.1/2 B=√((s−c)(s−a)/ca), Cos.1/2 B=√(s(s−b)/ca),

Sin.1/2 C=√((s−a)(s−b)/ab), Cos.1/2 C=√(s(s−c)/ab),

On déduit de là

Sin.1/2 (A±B)=Sin.1/2 ACos.1/2 B±Cos.1/2 ASin.1/2 B

=(s−b)±(s−a)/c √(s(s−c)/ab),

Cos.1/2 (A±B)=Cos.1/2 ACos.1/2 B∓Sin.1/2 ASin.1/2 B

=s∓(s−c)/c √((s−a)(s−b)/ab),

c’est-à-dire,

Sin.1/2 (A±B)=(s−b)±(s−a)/c Cos.1/2 C, Cos.1/2 (A±B)=s∓(s−c)/c Sin.1/2 C;

prenant successivement les signes supérieurs et les signes inférieurs, en ayant égard à la valeur de s, et réduisant, il viendra

Sin.1/2 (A+B)=Cos.1/2 C,

Cos.1/2 (A+B)=Sin.1/2 C,

Sin.1/2 (A−B)=a−b/c Cos.1/2 C,

Cos.1/2 (A−B)=(a+b)/c Sin.1/2 C.

Ces formules sont, pour les triangles rectilignes, ce que sont, pour les triangles sphériques, les formules de MM. Gauss et Delambre, démontrés par M. Servois, à la page 84 du second volume de ce recueil.

En divisant successivement la première par la seconde, la troisième par la quatrième, la première par la troisième, et la seconde par la quatrième, il vient

Tang.1/2 (A+B)=Cot.1/2 C,

Tang.1/2 (A−B)=a−b/(a+b) Cot.1/2 C,

a−b=Sin.1/2 (A−B)/(Sin.1/2 (A+B)) c,

a+b=Cos.1/2 (A−B)/(Cos.1/2 (A+B)) c.

Ces dernières formules sont exactement, pour les triangles rectilignes ce que sont les Analogies de Néper pour les triangles sphériques.

Dans le triangle sphérique, on a, sans aucune ambiguïté de signes

Sin.1/2 A=√(Sin.(s−b)Sin.(s−c)/Sin.bSin.c), Cos.1/2 A=√(Sin.sSin.(s−a)/Sin.bSin.c),

Sin.1/2 B=√(Sin.(s−c)Sin.(s−a)/Sin.cSin.a), Cos.1/2 B=√(Sin.sSin.(s−b)/Sin.bSin.a),

Sin.1/2 C=√(Sin.(s−a)Sin.(s−b)/Sin.aSin.b), Cos.1/2 C=√(Sin.sSin.(s−c)/Sin.aSin.b),

On déduit de là

Sin.1/2 (A±B)=Sin.1/2 ACos.1/2 B±Cos.1/2 ASin.1/2 B

=Sin.(s−b)±Sin.(s−a)/Sin.c √(Sin.sSin.(s−c)/Sin.aSin.b),

Cos.1/2 (A±B)=Cos.1/2 ACos.1/2 B∓Sin.1/2 ASin.1/2 B

=Sin.s∓Sin.(s−c)/Sin.c √(Sin.(s−a)Sin.(s−b)/Sin.aSin.b),

Sin.1/2 (A±B)=Sin.(s−b)±Sin.(s−a)/2Sin.1/2 cCos.1/2 c Cos.1/2 C,

Cos.1/2 (A±B)=Sin.s∓Sin.(s−c)/2Sin.1/2 cCos.1/2 c Sin.1/2 C.

En prenant successivement les signes supérieurs et les signes inférieurs, se rappelant qu’en général

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

Sin.x−Sin.y=2Cos.1/2 (x−y)Sin.1/2 (x−y).

et faisant attention à la valeur de s, il viendra

Sin.1/2 (A+B)=Cos.1/2 (a−b)/Cos.1/2 c.Cos.1/2 C, Sin.1/2 (A−B)=Sin.1/2 (a−b)/Sin.1/2 c.Cos.1/2 C, Cos.1/2 (A+B)=(Cos.1/2 (a+b))/Cos.1/2 c.Sin.1/2 C, Cos.1/2 (A−B)=(Sin.1/2 (a+b))/Sin.1/2 c.Sin.1/2 C.

Ces formules sont celles de MM. Gauss et Délambre, dont il a été question ci-dessus.

En divisant successivement la première par la troisième, la seconde par la quatrième, la quatrième par la troisième, et enfin la seconde par la première, il vient

Tang.1/2 (A+B)=Cos.1/2 (a−b)/(Cos.1/2 (a+b)).Cot.1/2 C, Tang.1/2 (A−B)=Sin.1/2 (a−b)/(Sin.1/2 (a+b)).Cot.1/2 C, Tang.1/2 (a+b)=Cos.1/2 (A−B)/(Cos.1/2 (A+B)).Tang.1/2 C, Tang.1/2 (a−b)=Sin.1/2 (A−B)/(Sin.1/2 (A+B)).Tang.1/2 C.

Cette manière de parvenir aux Analogies de Néper, outre son extrême brièveté, a donc encore l’avantage de donner, chemin faisant, d’autres formules utiles.

Au moyen de ce qui précède, et de ce qu’on sait d’ailleurs, la trigonométrie analitique, tant rectiligne que sphérique, me paraît pouvoir être réduite au plus haut degré de simplicité et de symétrie.

