Annales de mathématiques pures et appliquées/Tome 11/Analise transcendante, article 1
# Annales de mathématiques pures et appliquées/Tome 11/Analise transcendante, article 1

## ANALISE TRANSCENDANTE.

### Sur le développement des puissances des cosinus en cosinus d’arcs multiples ;

Dans le troisième volume de son Calcul intégral (2.ᵉ édit., pag. 605 et suiv.), M. Lacroix a exposé les difficultés que présente le développement d’une puissance quelconque du cosinus d’un arc en série procédant suivant les cosinus des multiples de cet arc ; développement qu’on avait cru exact pour toutes les valeurs de l’exposant, jusqu’à l’époque où M. Poisson, dans le 2.ᵉ volume de la Correspondance sur l’école polytechnique, signala l’erreur où l’on était demeuré Jusqu’alors sur ce sujet.

Il m’a paru que ce point de doctrine pourrait être facilement éclairci de la manière suivante.

En posant

u=Cos.x+√(−1)Sin.xν=Cos.x−√(−1)Sin.x,

on a

u+ν=2Cos.x,

d’où

(u+ν)ᵐ=2ᵐ.Cos.ᵐx;

donc, en développant le bînome, on aura

2ᵐ.Cos.ᵐx=uᵐ+m/1 uᵐ⁻².uν+m/1.m−1/2 uᵐ⁻⁴.u²ν²+…

en remarquant que uν=1, et que

uⁿ=Cos.nx+√(−1)Sin.nx,

et faisant, pour abréger

A=Cos.mx+m/1 Cos.(m−2)x+m/1.m−1/2 Cos.(m−4)x+…, B=Sin.mx+m/1 Sin.(m−2)x+m/1.m−1/2 Sin.(m−4)x+…;

on aura

2ᵐ.Cos.ᵐx=A+B√(−1).

Si, au lieu de développer (u+ν)ᵐ, on développe son équivalent (ν+u)ᵐ, au lieu de l’équation (1), on aura la suivante

2ᵐ.Cos.ᵐx=A−B√(−1).

Les équations (1, 2) ne sauraient s’accorder qu’autant qu’on aura généralement B=0. Or, il est aisé de prouver qu’effectivement cette fonction est toujours nulle, à l’exception d’un cas que la démonstration même met en évidence. En effet, si l’on substitue les exponentiels aux sinus, l’on voit d’un coup-d’œil que l’on a

B=e^{mx√(−1)}/2√(−1) (1+e^{−2x√(−1)})ᵐ−e^{−mx√(−1)}/2√(−1) (1+e^{2x√(−1)})ᵐ.

Mais nous avons

e^{±2x√(−1)}=Cos⁡.2x∓√(−1)Sin⁡.2x,

ou bien

e^{±2x√(−1)}=2Cos.²x−1∓2√(−1)Sin.xCos.x;

partant, nous aurons

B=2ᵐCos.ᵐx.e^{mx√(−1)}/2√(−1) (Cos.x−√(−1)Sin.x)ᵐ−2ᵐCos.ᵐx.e^{−mx√(−1)}/2√(−1) (Cos.x+√(−1)Sin.x)ᵐ.

Il suit de là que, en vertu des deux équations

e^{±mx√(−1)}=Cos.mx±√(−1)Sin.mx

(Cos.x∓√(−1)Sin.x)ᵐ=Cos.mx∓√(−1)Sin.mx,

on a

B=2ᵐCos.ᵐx/2√(−1) (Cos.mx+√(−1)Sin.mx)(Cos.mx−√(−1)Sin.mx)−2ᵐCos.ᵐx/2√(−1) (Cos.mx−√(−1)Sin.mx)(Cos.mx+√(−1)Sin.mx);

c’est-à-dire B=0, quel que soit l’exposant m, entier ou fractionnaire.

Cette conclusion cesse pourtant d’être vraie, lorsque x=ϖ, car alors on a

Sin.(m−2n)x=Sin.(m−2n)ϖ=Sin.mϖ;

n étant un nombre entier positif quelconque, donc, en revenant sur nos pas, la première transformée sera

B=e^{mϖ√(−1)}/2√(−1) (1+1)ᵐ−e^{−mϖ√(−1)}/2√(−1) (1+1)ᵐ,

puisque

e^{−2ϖ√(−1)}=e^{+2ϖ√(−1)}=Cos⁡.2ϖ∓√(−1)Sin⁡.2ϖ=1.

Ainsi nous aurons

B=2ᵐSin.mϖ,

ce qui donnera ces deux équations

2ᵐ.Cos.ᵐϖ=A′+2ᵐ√(−1)Sin.mϖ, 2ᵐ.Cos.ᵐϖ=A′−2ᵐ√(−1)Sin.mϖ;

A′ étant ce que devient A lorsque l’on y fait x=ϖ.

Lorsque m est un nombre entier, positif ou négatif, l’on a Sin.mϖ=0, et par conséquent ces deux valeurs de 2ᵐCos.ᵐx coïncident ; mais, dans le cas où m est fractionnaire, il faut considérer les seconds membres de deux équations précédentes comme donnant deux des racines de l’équation

y¹ᐟᵐ−2Cos.ϖ=0,

laquelle revient à

y¹ᐟᵐ+2=0.

Il est d’ailleurs facile de voir qu’il n’y a en cela aucune contradiction ; car, dans le cas de x=ϖ, on a

A′=Cos.mϖ.(1+m/1+m/1.m−1/2+m/1.m−1/2.m−2/3+…)

ou bien

A′=(1+1)ᵐ.Cos.mϖ=2ᵐ.Cos.mϖ;

ainsi, les deux équations précédentes donnent

2ᵐ.Cos.ᵐϖ=2ᵐ.(Cos.mϖ+√(−1)Sin.mϖ), 2ᵐ.Cos.ᵐϖ=2ᵐ.(Cos.mϖ−√(−1)Sin.mϖ).

Donc, en remplaçant m par la fraction p/q, il viendra

𐞥√((Cos.ϖ)ᵖ)=Cos.pϖ/q ±√(−1)Sin.pϖ/q=𐞥√((−1)ᵖ)

ce qui est un résultat exact, lorsque p et q sont des nombres entiers, comme nous le supposons.

M. Deflers avait aussi reconnu que la fonction désignée par B doit être nulle, en général ; mais la démonstration que nous en donnons ici nous paraît directe et plus simple (voyez le volume cité, pag. 631).

