Annales de mathématiques pures et appliquées/Tome 09/Algèbre élémentaire, article 1
# Annales de mathématiques pures et appliquées/Tome 09/Algèbre élémentaire, article 1

## ALGÈBRE ÉLÉMENTAIRE.

### Démonstration d’un fait de calcul algébrique très-important et très-remarquable, et des principales conséquences qui en résultent ;

Soit la série indéfinie

1+a z/1+a(a+k) z²/1.2+a(a+k)(a+2k) z³/1.2.3+…

et soit une autre série

1+b z/1+b(b+k) z²/1.2+b(b+k)(b+2k) z³/1.2.3+…

ne différant uniquement de celle-là qu’en ce que b y a pris la place de a. Nous nous proposons, en premier lieu, de démontrer que le produit de ces deux séries est une série composée en (a+b) de la même manière que la première l’est en a et la seconde en b, c’est-à-dire, que ce produit est

1+(a+b) z/1+(a+b)(a+b+k) z²/1.2+(a+b)(a+b+k)(a+b+2k) z³/1.2.3+…

Pour y parvenir, assurons-nous d’abord de la forme des premiers termes du développement de ce produit ; nous trouverons, pour ces premiers termes

1+c+b| z/1+a(a+k)+ 2ab+ b(b+k)| z²/1.2+a(a+k)(a+2k)+ 3ab(a+k)+ 3ab(b+k)+ b(b+k)(b+2k)| z³/1.2.3+…+…+…+…+…

On voit d’abord que le coefficient de z/1 est a+b. Celui de z²/1.2 peut se décomposer en ces deux parties

a[(a+k)+b]

a(a+b+k),

b[(b+k)+a]

b(a+b+k),

dont la somme sera conséquemment

(a+b)(a+b+k).

Le coefficient de z³/1.2.3 peut également se décomposer en ces deux parties

a{(a+k)(a+2k)+2b(a+k)+b(b+k)}

b{(b+k)(b+2k)+2a(b+k)+a(a+k)}

or, le multiplicateur de a, dans la première partie, est évidemment ce que devient le coefficient de z²/1.2, lorsqu’on y change a en a+k; et le multiplicateur de b dans la seconde est ce que devient ce même coefficient, lorsqu’on y change b en b+k; puis donc que nous avons trouvé que le coefficient de z²/1.2 revenait à (a+b)(a+b+k), il en résulte que le multiplicateur de a, dans la première partie du coefficient de z³/1.2.3 et celui de b dans la seconde sera également

(a+b+k)(a+b+2k);

l’ensemble de ces deux parties, ou le coefficient de z³/1.2.3 sera donc

a(a+b+k)(a+b+2k)+b(a+b+k)(a+b+2k);

c’est-à-dire,

(a+b)(a+b+k)(a+b+2k).

Il demeure donc prouvé, par ce qui précède, que du moins la loi dont il s’agit se soutient pour les quatre premiers termes du produit de nos deux séries ; et il ne serait pas difficile de s’assurer qu’elle a également lieu pour un plus grand nombre de termes de ce produit.

Il n’est donc plus question, pour compléter notre démonstration, que de prouver que si cette même loi se soutient jusqu’au coefficient de zᵖ⁻¹/1.2…(p−1) inclusivement, elle aura lieu également pour celui de zᵖ/1.2…p ; or, on trouve, pour le premier de ces deux coefficiens,

a(a+k)(a+2k)(a+3k)…[a+(p−2)k]+p−1/1 b.a(a+k)(a+2k)……[a+(p−3)k]+p−1/1.p−2/2 b(b+k).a(a+k)…[a+(p−4)k]+………………………+p−1/1.p−2/2 a(a+k).b(b+k)…[b+(p−4)k]+p−1/1 a.b(b+k)(b+2k)……[b+(p−3)k]+b(b+k)(b+2k)(b+3k)…[b+(p−2)k]

et pour le second

a(a+k)(a+2k)(a+3k)…[a+(p−1)k]+p/1 b.a(a+k)(a+2k)……[a+(p−2)k]+p/1.p−1/2 b(b+k).a(a+k)…[a+(p−3)k]+………………………+p/1.p−1/2 a(a+k).b(b+k)…[b+(p−3)k]+p/1 a.b(b+k)(b+2k)……[b+(p−2)k]+b(b+k)(b+2k)(b+3k)…[b+(p−1)k]

Or, en. remarquant que

p/1=p−1/1+1,

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

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

on verra que ce coefficient peut se décomposer en deux parties dont la première est

a{a(a+k)(a+2k)(a+3k)…[a+(p−1)k]+p−1/1 b.a(a+k)(a+2k)……[a+(p−2)k]+p−1/1.p−2/2 b(b+k).(a+k)…[a+(p−3)k]+………………………+p−1/1 (a+k).(b+k)…[b+(p−3)k]+b(b+k)(b+2k)……[b+(p−2)k]}

et la seconde

b{a(a+k)(a+2k)…[a+(p−2)k]+p−1/1 (b+k).a(a+k)……[a+(p−3)k]+………………………+p−1/1.p−2/2 a(a+k).(b+k)…[b+(p−3)k]+p−1/1 a.(b+k).(b+2k)…[b+(p−2)k]+(b+k)(b+2k)(b+3k)……[b+(p−1)k]}

Or, il est aisé de voir que le multiplicateur de a, dans la première de ces deux parties, est ce que devient le coefficient de zᵖ⁻¹/1.2…(p−1) lorsqu’on y change a en a+k, et que le multiplicateur de b, dans la seconde, est ce que devient ce même coefficient, lorsqu’on y change b en b+k; si donc, comme nous le supposons, le coefficient de zᵖ⁻¹/1.2…(p−1) est en effet réductible à la forme

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

le multiplicateur de a, dans la première de ces deux parties, et celui de b dans la seconde, sera également

(a+b+k)(a+b+2k)(a+b+3k)…[a+b+(p−1)k];

en réunissant donc ces deux parties, et ayant égard au facteur commun qui les affecte, on aura, pour le coefficient de zᵖ/1.2…p

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

comme nous l’avions annoncé. Il est donc prouvé, par ce qui

précède, que, si la loi dont il s’agit se soutient jusqu’à un terme quelconque du produit, elle aura lieu également pour le terme qui le suivra immédiatement ; puis donc que nous nous sommes assurés de son existence pour les quatre premiers termes, il s’ensuit qu’elle a lieu pour tous, et qu’ainsi le théorème est démontré en

Pour abréger, désignons par f⁡a notre première série, c’est-à-dire, posons

f⁡a=1+a z/1+a(a+k) z²/1.2+a(a+k)(a+2k) z³/1.2.3+…

nous aurons pareillement

f⁡b=1+b z/1+b(b+k) z²/1.2+b(b+k)(b+2k) z³/1.2.3+…

et encore

f⁡(a+b)=1+(a+b) z/1+(a+b)(a+b+k) z²/1.2+…;

en conséquence, le théorème qui vient d’être démontré pourra être écrit sous cette forme très-simple

f⁡a.f⁡b=f⁡(a+b).

On remarquera que, d’après cette notation, on doit évidemment avoir f⁡0=1.

Si dans l’équation (I) on change b en b+c, elle deviendra

f⁡a.f⁡(b+c)=f⁡(a+b+c);

mais, en vertu de là même équation

f⁡(b+c)=f⁡b.f⁡c;

substituant donc, on aura

f⁡a.f⁡b.f⁡c=f⁡(a+b+c).

En supposant que c se change en c+d, et se conduisant de la même manière, on prouvera pareillement que

f⁡a.f⁡b.f⁡c.f⁡d=f⁡(a+b+c+d);

et en poursuivant toujours ainsi, on se convaincra qu’en général

f⁡a.f⁡b.f⁡c.f⁡d…=f⁡(a+b+c+d+…);

c’est-à-dire, que le produit de tant de série qu’on voudra, de la forme de la série f⁡a; et ne différant les unes des autres qu’en ce que a s’y trouve successivement changé en b, c, d, … est une série composée exactement en a+b+c+d+… de la même manière quel est la première en a, la seconde en b, la troisième en c, la quatrième en d, et ainsi de suite.

Si dans la dernière équation ci-dessus on suppose les quantités a, b, c, d, … égales entre elles et à la première a, et leur nombre égal à m; elle deviendra

(f⁡a)ᵐ=f⁡ma;

c’est-à-dire qu’une puissance entière et positive quelconque m de la série f⁡a, est une série composée en ma de la même manière que celle-là l’est en a.

Suivant l’équation (I) on a

f⁡b.f⁡c=f⁡(b+c);

posons b+c=a, d’où c=a−b; il viendra, en substituant

f⁡b.f⁡(a−b)=f⁡a;

d’où

f⁡a/f⁡b=f⁡(a−b);

c’est-à-dire que le quotient de la division de la série f⁡a par la série f⁡b est une série composée en (a−b) de la même manière que le dividende l’est en a et le diviseur en b.

Par l’équation (II), on a

(f⁡b)ᵐ=f⁡mb;

posant mb=a, d’où b=a/m, il viendra

(f⁡ a/m )ᵐ=f⁡a;

d’où on tirera, en extrayant la racine et renversant

ᵐ√(f⁡a)=f⁡ a/m);

c’est-à-dire que la racine d’un degré quelconque m, entier et positif , de la série f⁡a n’est autre chose qu’une série composée en a/m de la même manière que la puissance l’est en a.

On aura, d’après cela

(f⁡a)ᵐᐟⁿ=ⁿ√(f⁡aᵐ)=ⁿ√(f⁡ma)=f⁡ m/n a;

c’est-à-dire,

(f⁡a)ᵐᐟⁿ=f⁡ m/n a.

m et n étant deux nombres positifs quelconques. L’équation (II)

(f⁡a)ᵐ=f⁡ma

a donc lieu, quelque nombre positif, entier ou fractionnaire qu’on représente par m. Il serait ensuite aisé de prouver, à l’aide des raisonnemens usités en pareil cas, qu’il en sera encore de même lorsque m sera un incommensurable positif quelconque.

On aura encore, quel que soit le nombre positif m,

(f⁡a)⁻ᵐ=1/(f⁡a)ᵐ=f⁡0/(f⁡a)ᵐ,

ou, d’après ce qui précède et le théorème (II)

(f⁡a)⁻ᵐ=f⁡0/f⁡ma=f⁡(0−ma)=f⁡(−m)a.

Ainsi, quelque nombre entier ou fractionnaire, positif ou négatif, commensurable ou incommensurable qu’on représente par m, il est toujours vrai de dire qu’on a

(f⁡a)ᵐ=f⁡ma,

c’est-à-dire,

{1+a z/1+a(a+k) z²/1.2+a(a+k)(a+2k) z³/1.2.3+…}ᵐ

=1+ma z/1+ma(ma+k) z²/1.2+ma(ma+k)(ma+2k) z³/1.2.3+…

et cela quels que soient d’ailleurs a et k.

Si, dans cette équation, on fait x=1 et k=−1, elle deviendra

(1+z)ᵐ=1+m/1 z+m/1.m−1/2 z²+m/1.m−1/2.m−2/3 z³+…;

la formule du binome se trouve donc ainsi démontrée, quel que soit l’exposant m.

Si, dans la même équation, on suppose k=0, a=1, z=1, m=Ax, elle deviendra

(1+1/1+1/1.2+1/1.2.3+…)ᴬˣ=1+Ax/1+A²x²/1.2+A³x³/1.2.3+…

La série du premier membre est, comme l’on sait, un nombre incommensurable, compris entre 2 et 3: c’est la base du système de logarithmes népériens ; en le représentant par e, suivant l’usage, on aura

eᴬˣ=1+Ax/1+A²x²/1.2+A³x³/1.2.3+…

Si l’on fait eᴬ=a, auquel cas A sera le logarithme népérien de a, on aura

aˣ=1+xl⁡a/1+x²l²⁡a/1.2+x³l³⁡a/1.2.3+…

formule qui donne le développement des exponentiels en séries ou, ce qui revient au même, le développement d’un nombre a, en fonction de son logarithme.

Si, dans cette dernière formule, on change x en m et a en 1+x, elle deviendra

(1+x)ᵐ=1+(ml⁡(1+x))/1+(m²l²⁡(1+x))/1.2+(m³l³⁡(1+x))/1.2.3+…

mais on a, d’un autre côté,

(1+x)ᵐ=1+m x/1+m(m−1) x²/1.2+m(m−1)(m−2) x³/1.2.3+…

égalant donc entre elles ces deux valeurs, en supprimant l’unité de part et d’autre, et divisant par m, il viendra

l⁡(1+x)+(ml²⁡(1+x))/1.2+(m²l³⁡(1+x))/1.2.3+…

=x/1+(m−1) x²/1.2+(m−1)(m−2) x³/1.2.3+…

faisant enfin, dans cette dernière équation, m=0, on aura

l⁡(1+x)=x/1−x²/2+x³/3−x⁴/4+…

formule qui donne le logarithme népérien de 1+x, en fonction du nombre x.

Ceux qui désireront de plus amples détails sur ce sujet pourront consulter nos Mélanges d’analise algébrique et de géométrie (veuve Courcier, Paris, 1815).

Dans un prochain article, nous nous occuperons du développement des fonctions circulaires en séries.

* ↑ Voyez la page 50 du présent volume.
