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

## ANALISE TRANSCENDANTE.

### Sur quelques cas de développement des fonctions, et en particulier sur le développement des puissances fractionnaires des sinus et cosinus ;

D’après les principes connus, on a

(a+b)ᵐᐟⁿ=aᵐᐟⁿ+m/n aᵐᐟⁿ⁻¹.b+m/n. m/n−1/2.aᵐᐟⁿ⁻¹.b²+…

Mais on sait que (a+b)ᵐᐟⁿ doit avoir n valeurs distinctes ; donc le développement ci-dessus, ne donnant qu’une seule de ces valeurs, n’est pas complet, c’est-à-dire, qu’il n’exprime pas la valeur complète de la fonction (a+b)ᵐᐟⁿ.

D’un autre côté, on sait que la fonction (a+b)ᵐᐟⁿ ne saurait admettre plus de n valeurs distinctes, d’où on doit conclure que toute équation de la forme

(a+b)ᵐᐟⁿ=f⁡(a, b, m, n),

où la fonction f⁡(a, b, m, n) admet n valeurs différentes et se trouve telle

{f⁡(a, b, m, n)}ⁿ=(a+b)ᵐ,

donne toutes les valeurs possibles ou, un d’autres termes, la valeur complète de (a+b)ᵐᐟⁿ.

Cela posé, désignons par D le développement ci-dessus ; en observant que

ⁿ√1=Cos.2pϖ/n+√(−1)Sin.2pϖ/n,

p étant un nombre entier quelconque, on pourra écrire

(a+b)ᵐᐟⁿ=(Cos.2pϖ/n+√(−1)Sin.2pϖ/n )D;

équation qui sera vraie quel que soit le nombre entier positif p. Et comme alors son second membre, comme le premier, admettra n valeurs différentes, ce second membre sera le développement complet de (a+b)ᵐᐟⁿ.

Toutes les fois donc qu’on voudra raisonner sur le développement de la fonction (a+b)ᵐᐟⁿ, il faudra employer le développement complet

(Cos.2pϖ/n+√(−1)Sin.2pϖ/n )D.

et non pas sa valeur particulière D.

1. Les considérations exposées dans le précédent §., bien qu’extrêmement simples, paraissent de nature à faire évanouir toutes les difficultés que présentent les développemens de

2ᵐᐟⁿSin.ᵐᐟⁿx, 2ᵐᐟⁿCos.ᵐᐟⁿx;

et même à montrer comment ces difficultés, qui ont tant occupé les géomètres depuis quelques années, se seraient pour ainsi

dire évanouies d’elles-mêmes, ou plutôt ne se seraient point présentées, si l’on avait raisonné avec la rigueur convenable.

En effet, suivant le procédé indiqué par M. Lacroix (Trait. de cal. diff. et intég., tom. III, pag. 609), posons

Cos.ᵐᐟⁿx=((e^{x√(−1)}+e^{−x√(−1)})/2)ᵐᐟⁿ;

mais ayons soin, en développant le second membre suivant la formule du binôme, d’employer l’expression complète, telle que nous l’avons trouvée §. I. Après être repassé des exponentielles aux fonctions circulaires, nous trouverons

2ᵐᐟⁿCos.ᵐᐟⁿx=(Cos.2pϖ/n+√(−1)Sin.2pϖ/n )×

{Cos.m/n x+m/n Cos.( m/n−2)x+m/n.m−n/2n Cos.( m/n−4)x+…+√(−1){Sin.m/n x+m/n Sin.( m/n−2)x+…}

Cette expression est nécessairement complète ; c’est-à-dire qu’elle donne toutes les n valeurs différentes de la fonction 2ᵐᐟⁿCos.ᵐᐟⁿx. Il est très-facile de la vérifier pour des cas particuliers, ainsi que l’a fait M. Poisson pour la formule complète qu’il a donnée ; mais cela n’est point nécessaire, puisqu’il ne saurait y avoir de doute sur son exactitude.

2. Rien de plus facile maintenant que de trouver la valeur de p qu’il faudra prendre pour obtenir une racine déterminée de l’expression 2ᵐᐟⁿCos.ᵐᐟⁿx. En effet, posons, pour abréger,

P=Cos.m/n x+m/n Cos.( m/n−2)x+m/n.m−n/2n Cos.( m/n−4)x+…Q=Sin.m/n x+m/n Sin.( m/n−2)x+m/n.m−n/2n Sin.( m/n−4)x+…

soit en outre désignée par R la racine réelle positive de 2ᵐᐟⁿ.Cos.ᵐᐟⁿx; l’équation ci-dessus pourra être écrite ainsi

R(Cos.2p′ϖ/n+√(−1)Sin.2p′ϖ/n )=(Cos.2pϖ/n+√(−1)Sin.2pϖ/n )(P+√(−1)Q)

p′ représentant un nombre entier quelconque, généralement différent de p. Effectuant de part et d’autre les opérations indiquées et posant, pour abréger,

2pϖ/n=k, 2p′ϖ/n=k′,

il viendra

RCos.k′+√(−1)RSin.k′=PCos.k−QSin.k+√(−1)(PSin.k+QCos.k);

d’où, en égalant séparément les parties réelles et les parties imaginaires,

RCos.k′=PCos.k−QSin.k,

RSin.k′=PSin.k+QCos.k,

Prenant la somme des carrés des deux membres de ces équations, on aura d’abord la relation

R²=P²+Q²,

R=±√(P²+Q²),

au moyen de laquelle on pourra toujours calculer la valeur réelle unique ou la valeur réelle positive de 2ᵐᐟⁿCos.ᵐᐟⁿx, après avoir déterminé P et Q. Les équations (1, 2) donneront ensuite

Cos.k=(PCos.k′+QSin.k′)/R, Sin.k=PSin.k′−QCos.k′/R.

Au moyen de ces valeurs, celle de 2ᵐᐟⁿCos.ᵐᐟⁿx pourra être écrite ainsi

2ᵐᐟⁿCos.ᵐᐟⁿx=±√(P²+Q²)(Cos.k′+√(−1)Sin.k′)

=+√(P²+Q²)(Cos.2p′ϖ/n+√(−1)Sin.2p′ϖ/n )

Ainsi, P et Q étant calculés, on aura la valeur d’une racine quelconque déterminée de 2ᵐᐟⁿCos.ᵐᐟⁿx en évaluant le second membre au moyen de p′ qui sera donné, puisqu’on suppose que la racine dont il s’agit est déterminée. Si, par exemple, on demandait la racine entièrement réelle, il faudrait supposer Sin.2p′ϖ/n=0, d’où p′=0 ou n/2 ou n; ce qui ferait retomber sur la valeur

R=±√(P²+Q²).

3. Ce qui précède suppose qu’une au moins des valeurs de 2ᵐᐟⁿCos.ᵐᐟⁿx est réelle ; mais si n est pair et Cos.x négatif, il n’y en a pour lors que d’imaginaires. Dans ce cas, nous désignerons par R√(−1) la valeur positive de 2ᵐᐟⁿCos.ᵐᐟⁿx purement imaginaire, et nous aurons

R√(−1)(Cos.k′+√(−1)Sin.k′)=(Cos.k+√(−1)Sin.k)(P+√(−1)Q).

En développant et égalant séparément les parties réelles et les parties imaginaires de l’équation résultante, nous trouverons

RCos.k′=PCos.k−QSin.k, −RSin.k′=PSin.k+QCos.k,

d’où

R²=P²+Q², R=±√(P²+Q²),

et, par suite,

Cos.k=PCos.k′−QSin.k′/R, Sin.k=−(PSin.k′+QCos.k′)/R,

ce qui donne

2ᵐᐟⁿCos.ᵐᐟⁿx=√(P²+Q²)(Cos.k′+√(−1)Sin.k′)√(−1)

=√(P²+Q²)(Cos.2p′ϖ/n+√(−1)Sin.2p′ϖ/n )√(−1).

4. Ces formules se vérifient aisément pour divers cas particuliers, comme, par exemple, pour x=2ϖ et m/n=1/2 ; mais ces vérifications sont complètement inutiles, puisque les formules ne sauraient manquer d’être exactes ; et l’on peut, à l’inverse, s’en servir, dans chaque cas particulier, pour déterminer les valeurs des séries représentées par P et Q, ce qui peut offrir d’intéressans résultats.

Nous croyons pouvoir affirmer, en terminant, que toutes les difficultés auxquelles ont pu et pourraient encore donner lieu à l’avenir les développemens de 2ᵐᐟⁿCos.ᵐᐟⁿx et 2ᵐᐟⁿSin.ᵐᐟⁿx se résoudront aisément et complètement à l’aide des considérations qui viennent d’être exposées.

* ↑ En écrivant (a+b)ᵐᐟⁿ=aᵐᐟⁿ(1+m/n.b/a+m/n.m−n/2n.b²/a²+m/n.m−n/2n.m−2n/3n b³/a³+…); ne pourrait-on pas dire que le développement est complété par le facteur aᵐᐟⁿ, susceptible, comme (a+b)ᵐᐟⁿ, de n valeurs différentes ?J. D. G.
* ↑ En mettant D, comme nous l’avons fait tout à l’heure, sous la forme D=aᵐᐟⁿ(1+m/n.b/a+m/n.m−n/2n.b²/a²+…) il faudra ne prendre pour aᵐᐟⁿ que sa valeur arithmétique absolue, sans quoi les n valeurs de ce facteur, combinées avec les n valeurs de Cos.2pϖ/n+√(−1)Sin.2pϖ/n, donneraient pour le développement de (a+b)ᵐᐟⁿ plus de valeurs qu’il n’en comporte. J. D. G.
* ↑ Voyez Annales, tom. XIII, pages 94 et 213. M. Poinsot, dans un Mémoire sur l’analise des sections angulaires, lu à l’académie royale des sciences de Paris, le 19 mai 1823, s’est aussi occupé de cette question. J. D. G.
* ↑ Nous placerons ici une remarque qui nous paraît importante : c’est qu’ayant une équation de la forme a=b+c√(−1), on ne doit pas en conclure trop légèrement a=b, c=0, lorsque ces quantités sont des séries. On sait en effet qu’une valeur imaginaire peut être développée en une série de termes réels, comme par exemple (−x²)¹ᐟ²=[1−(1+x²)]¹ᐟ² =1−(1+x²)/2−((1+x²)²)/2.4−(3(1+x²)³)/2.4.6−(3.5(1+x²)⁴)/2.4.6.8−… mais qu’alors ces séries ne sauraient être constamment convergentes. Lors donc que quelqu’une des trois quantités a, b, c sera une série divergente, on ne pourra être certain de la conclusion a=b, c=0. Cette remarque, au surplus, n’intéresse aucunement le sujet qui nous occupe, attendu que P et Q étant chacun, par la forme même de leur développement, moindres que 2ᵐᐟⁿ, ne sauraient être des séries divergentes. (Note de M. Stein.)
