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

## ANALISE TRANSCENDANTE.

### Extension et démonstration nouvelle du théorème de M. de Stainville, présentée à la page 229 du IX.ᵉ volume du présent recueil ;

L’importance du beau théorème démontré par M. de Stainville à la page 229 du IX.ᵉ volume de ce recueil peut en faire désirer une démonstration sinon plus simple, du moins qui exige assez peu d’écriture pour pouvoir non seulement être introduite dans les traités élémentaires, mais encore être présentée dans une leçon publique, sur un tableau d’une médiocre étendue. On peut remarquer en effet que, puisque l’un des principaux avantages de la langue algébrique sur la langue vulgaire consiste dans la brièveté de ses notations, une démonstration écrite dans cette langue doit être d’autant plus claire et plus facile à suivre qu’elle est exprimée en termes plus concis.

En nous occupant des moyens de parvenir à ce but, relativement au théorème dont il s’agit, nous sommes tombés sur un théorème un peu plus général qui se démontre avec la plus grande facilité, et duquel l’autre se déduit ensuite immédiatement. C’est à exposer le résultat de nos recherches sur ce sujet, que nous destinons, le présent article.

Soit une série

F⁡(a)=f₀⁡(a)+f₁⁡(a).x/1!+f₂⁡(a).x²/2!+f₃⁡(a).x³/3!+f₄⁡(a).x⁴/4!+…

dans laquelle nous supposons le premier terme f₀⁡(a) une fonction tout-à-fait arbitraire de a et de tant d’autres quantités différentes de x qu’on voudra, et où tous les autres coefficiens se trouvent définis par l’équation

fₙ⁡(a)=afₙ₋₁⁡(a+k),

de telle sorte qu’en changeant, dans le coefficient de l’un quelconque de ses termes a en a+k, et multipliant ensuite le résultat par a, on obtient le coefficient du terme qui suit immédiatement.

Si, dans cette série, nous changeons simplement a en b nous aurons cette autre série

F⁡(b)=f₀⁡(b)+f₁⁡(b).x/1!+f₂⁡(b).x²/2!+f₃⁡(b).x³/3!+f₄⁡(b).x⁴/4!+…

dans laquelle f₀⁡(b) ne différera de la fonction arbitraire f₀⁡(a) qu’en ce que a y sera changé en b, et où les coefficiens des autres termes se trouveront définis par l’équation

fₙ⁡(b)=bfₙ₋₁⁡(b+k),

de sorte qu’en changeant, dans le coefficient de l’un quelconque des termes, b en b+k et multipliant ensuite le résultat par b, on obtiendra le coefficient du terme qui suit immédiatement.

Si l’on fait le produit de ces deux séries, on pourra l’ordonner par rapport à x/1!, x²/2!, x³/3!, …, et les coefficiens de ses différens termes seront des fonctions de a et b, de sorte qu’on pourra écrire

F⁡(a).F⁡(b)=ϕ₀(a, b)+ϕ₁(a, b) x/1!+ϕ₂(a, b) x²/2!+ϕ₃(a, b) x³/3!+…; (5)

série dans laquelle on aura évidemment

ϕ₀(a, b)=f₀⁡(a).f₀⁡(b).

Or ce que nous nous proposons de démontrer, c’est que les coefficiens de tous les autres termes de cette série seront définis par l’équation

ϕₙ(a, b)=aϕₙ₋₁(a+k, b)+bϕₙ₋₁(a, b+k),

c’est-à-dire, en d’autres termes, que, si dans le coefficient de l’un quelconque des termes, on change d’abord a en a+k en multipliant le résultat par a, puis b en b+k en multipliant le résultat par b, la somme des deux produits sera le coefficient du terme qui suivra immédiatement.

Pour y parvenir, faisons d’abord les premiers termes du produit effectifs de nos deux séries ; nous trouverons ainsi

F⁡(a).F⁡(b)=f₀⁡(a)f₀⁡(b)+f₁⁡(a)f₀⁡(b) x/1!+f₂⁡(a)f₀⁡(b) x²/2!+…(8)+f₀⁡(a)f₁⁡(b)+2f₁⁡(a)f₁⁡(b)+f₀⁡(a)f₂⁡(b)

il est facile de s’assurer que la loi annoncée a lieu dans ces premiers termes ; en effet, si nous exécutons les opérations qu’elle prescrit sur son premier terme, nous aurons pour résultat

af₀⁡(a+k).f₀⁡(b)+bf₀⁡(a).f₀⁡(b+k);

mais, par les définitions (2 et 4) ; on a

af₀⁡(a+k)=f₁⁡(a), bf₀⁡(b+k)=f₁⁡(b);

donc cette quantité revient à

f₁⁡(a)f₀⁡(b)+f₀⁡(a)f₁⁡(b),

qui est bien, en effet, le coefficient du second terme.

Si l’on fait les mêmes opérations sur ce coefficient, le résultat sera

a[f₁⁡(a+k).f₀⁡(b)+f₀⁡(a+k)f₁⁡(b)]+b[f₁⁡(a).f₀⁡(b+k)+f₀⁡(a)f₁⁡(b+k)];

mais, par les définitions (2 et 4)

af₁⁡(a+k)=f₂⁡(a), bf₁⁡(b+k)=f₂⁡(b), af₀⁡(a+k)=f₁⁡(a), bf₀⁡(b+k)=f₁⁡(b);

substituant donc et réduisant, il viendra

f₂⁡(a)f₀⁡(b)+2f₁⁡(a)f₁⁡(b)+f₀⁡(a)f₂⁡(b),

qui est bien, en effet, le coefficient du troisième terme.

Nous étant ainsi assurés de la vérité de cette loi pour les premiers termes du développement du produit de nos deux séries, il ne nous reste plus qu’à démontrer qu’elle a lieu pour deux termes consécutifs quelconques. Prenons ceux qui sont affectés de xⁿ⁻¹/(n−1)! et xⁿ/n! ; il est aisé de voir que ces deux termes sont

fₙ₋₁⁡(a).f₀⁡(b) xⁿ⁻¹/(n−1)!+fₙ⁡(a).f₀⁡(b) xⁿ/n!+…;+n−1/1 fₙ₋₂⁡(a).f₁⁡(b)+ n/1 fₙ₋₁⁡(a).f₁⁡(b)+n−1/1.n−2/2 fₙ₋₃⁡(a).f₂⁡(b)+ n/1 n−1/2 fₙ₋₂⁡(a).f₂⁡(b)+…………+…………+n−1/1.n−2/2 f₂⁡(a).fₙ₋₃⁡(b)+ n/1 n−1/2 f₂⁡(a).fₙ₋₂⁡(b)+n−1/1 f₁⁡(a).fₙ₋₂⁡(b)+ n/1 f₁⁡(a).fₙ₋₁⁡(b)+f₀⁡(a).fₙ₋₁⁡(b)+f₀⁡(a).fₙ⁡(b)

opérant sur le premier de ces deux termes comme nous l’avons fait ci-dessus, nous aurons, pour résultat

a{fₙ₋₁⁡(a+k).f₀⁡(b)+ n−1/1.fₙ₋₂⁡(a+k).f₁⁡(b)+ n−1/1.n−2/2.fₙ₋₃⁡(a+k).f₂⁡(b)+…………+ n−1/1.n−2/2 f₂⁡(a+k).fₙ₋₃⁡(b)+ n−1/1.f₁⁡(a+k).fₙ₋₂⁡(b)+f₀⁡(a+k).fₙ₋₁⁡(b)}+b{fₙ₋₁⁡(a).f₀⁡(b+k)+ n−1/1.fₙ₋₂⁡(a).f₁⁡(b+k)+ n−1/1.n−2/2.fₙ₋₃⁡(a).f₂⁡(b+k)+…………+ n−1/1.n−2/2 f₂⁡(a).fₙ₋₃⁡(b+k)+ n−1/1.f₁⁡(a).fₙ₋₂⁡(b+k)+f₀⁡(a).fₙ₋₁⁡(b+k)};

mais, en vertu de nos définitions (2 et 4), on a

afₙ₋₁⁡(a+k)=fₙ⁡(a), bf₀⁡(b+k)=f₁⁡(b), afₙ₋₂⁡(a+k)=fₙ₋₁⁡(a), bf₁⁡(b+k)=f₂⁡(b), afₙ₋₃⁡(a+k)=fₙ₋₂⁡(a), bf₂⁡(b+k)=f₃⁡(b), …………………af₂⁡(a+k)=f₃⁡(a), bfₙ₋₃⁡(b+k)=fₙ₋₂⁡(b), af₁⁡(a+k)=f₂⁡(a), bfₙ₋₂⁡(b+k)=fₙ₋₁⁡(b), af₀⁡(a+k)=f₁⁡(a), bfₙ₋₁⁡(b+k)=fₙ⁡(b);

substituant donc, il viendra

a{fₙ⁡(a).f₀⁡(b)+ n−1/1.fₙ₋₁⁡(a).f₁⁡(b)+ n−1/1.n−2/2.fₙ₋₂⁡(a).f₂⁡(b)+…………+ n−1/1.n−2/2 f₃⁡(a).fₙ₋₃⁡(b)+ n−1/1.f₂⁡(a).fₙ₋₂⁡(b)+f₁⁡(a).fₙ₋₁⁡(b)}+{fₙ₋₁⁡(a).f₁⁡(b)+ n−1/1.fₙ₋₂⁡(a).f₂⁡(b)+ n−1/1.n−2/2.fₙ₋₃⁡(a).f₃⁡(b)+…………+ n−1/1.n−2/2 f₂⁡(a).fₙ₋₂⁡(b)+ n−1/1.f₁⁡(a).fₙ₋₁⁡(b)+f₀⁡(a).fₙ⁡(b)}

observant alors que

1+n−1/1=n/1

n−1/1+n−1/1.n−2/2=n−1/2,

n−1/1.n−2/2+n−1/1.n−2/2.n−3/3=n−2/3,

et réduisant, il viendra

fₙ⁡(a).f₀⁡(b), n/1.fₙ₋₁⁡(a).f₁⁡(b), n/1.n−1/2.fₙ₋₂⁡(a).f₂⁡(b), …………, n/1.n−1/2 f₂⁡(a).fₙ₋₂⁡(b), n/1.f₁⁡(a).fₙ₋₁⁡(b), +f₀⁡(a).fₙ⁡(b),

qui est précisément le coefficient de xⁿ/n! ; notre loi est donc générale.

Il sera donc facile, dans tous les cas, de déterminer le produit de nos deux séries, sans exécuter la multiplication, puisqu’on connaît le premier terme f₀⁡(a).f₀⁡(b) de ce produit, et qu’on sait en déduire un terme quelconque de celui qui le précède immédiatement.

Supposons, par exemple, que les deux fonctions semblables f₀⁡(a), f₀⁡(b) soient l’une et l’autre égales à l’unité ; d’après les définitions (2 et 4), et en observant que 1 reste toujours 1, soit qu’on change a en a+k ou b en b+k, il est clair que nos deux séries deviendront

F⁡(a)=1+a x/1+a(a+k) x²/2!+a(a+k)(a+2k) x³/3!+…,

F⁡(b)=1+b x/1+b(b+k) x²/2!+b(b+k)(b+2k) x³/3!+…,

puis donc qu’alors le premier terme de leur produit est 1, on aura suivant la définition (7) que nous avons démontrée être une suite nécessaire des définitions (2 et 4),

F⁡(a).F⁡(b)=1+(a+b) x/1+(a+b)(a+b+k) x²/2!

+(a+b)(a+b+k)(a+b+2k) x³/3!+…

on voit que ces premiers termes ne sont autre chose que les termes correspondans de l’une ou l’autre des deux séries multipliées, dans lesquels on aurait changé a ou b en a+b. Or il est aisé de voir que cette loi s’étendra à toute la série, quelque loin qu’on la prolonge ; car, si l’on suppose que le coefficient de xⁿ⁻¹/(n−1) soit soumis à la loi dont il s’agit, ce coefficient devra être

(a+b)(a+b+k)(a+b+2k)…[a+b+(n−2)k];

celui de xⁿ/n! devra donc être (7)

a(a+b+k)(a+b+2k)…[a+b+(n−2)k]

+b(a+b+k)(a+b+2k)…[a+b+(n−2)k],

c’est-à-dire

(a+b)(a+b+k)(a+b+2k)…[a+b+(n−1)k],

c’est-à-dire, tel que l’exige cette loi, qui se trouve ainsi généralement démontrée : on aura donc, d’après cela,

F⁡(a).F⁡(b)=F⁡(a+b);

c’est-à-dire, que le produit des deux séries (9 et 10) est une série qui ne diffère de l’une ou de l’autre qu’en ce que a ou b s’y trouve changé en a+b; et c’est précisément en cela que consiste le théorème de M. de Stainville.

Nous renvoyons à l’endroit cité ainsi qu’à la page 261 du même volume, pour les nombreuses et importantes conséquences du même théorème.

