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

## ALGÈBRE ÉLÉMENTAIRE.

D’alembert a démontré le premier, mais par Ils calculs différentiel et intégral, que toute quantité imaginaire

(a±b√(−1))^{m±n√(−1)},

peut toujours être ramenée à la forme

p±q√(−1);

(Voyez le Calcul intégral de Bougainville, page 42).

Il y a environ onze ans qu’ayant vainement cherché, dans les auteurs les plus estimés à cette époque, une démonstration élémentaire du même théorème, je m’occupai à en trouver une, soit algébrique soit géométrique ; j’en obtins, en effet, une fort simple de cette dernière sorte ; c’est celle que j’annonçai en 1802, dans un ouvrage d’algèbre que je publiai à cette époque. Mais, depuis ce temps, M. Garnier ayant donné une démonstration semblable, dans un ouvrage qu’il a publié en 1804, sous le nom d’Analise algébrique, j’ai cru devoir reprendre mes recherches pour obtenir du même théorème une démonstration purement algébrique. Voici celle que j’ai obtenue, et qui me paraît préférable à l’autre ; car, outre qu’elle est fort simple, il me paraît très-convenable de ne faire dépendre la démonstration du principe général que toute fonction de quantités imaginaires est réductible à la forme p±q√(−1), de la seule branche des sciences exactes dont ce principe fait partie.

On sait que, quels que soient a et b, on a

(a±b)^{m±n√(−1)}=

a^{m±n√(−1)}{1± m±n√(−1)/1 b/a+m±n√(−1)/1.m−1±n√(−1)/2 (b/a)²±…};

on aura donc, en changeant b en b√(−1),

(a±b√(−1))^{m±n√(−1)}=

a^{m∓n√(−1)}{1± m±n√(−1)/1 (b√(−1)/a)−m±n√(−1)/1.m−1±n√(−1)/2 (b/a)²∓…}.

Or, toutes les puissances paires de √(−1) étant égales à ∓1, et toutes ses puissances impaires étant égales à ±√(−1), il s’ensuit qu’en exécutant toutes les multiplications, entre les accolades du second membre de l’équation (1), on obtiendra une suite de termes réels, dont l’ensemble pourra être représenté par g, et une suite de termes affectés de ±√(−1), dont l’ensemble pourra être représenté par ±h√(−1) ; en sorte que l’équation (1) deviendra simplement

(a±b√(−1))^{m±n√(−1)}=a^{m±n√(−1)}(g±h√(−1)).

Mais, par la théorie des quantités exponentielles, théorie indépendante de l’exposant de la base, on a, en désignant par l⁡a le logarithme naturel de a,

a^{m±n√(−1)}=

1+(m±n√(−1))/1 l⁡a+(m±n√(−1))²/1.2 (l⁡a)²+(m±n√(−1))³/1.2.3 (l⁡a)³+…

qui, pour les mêmes raisons que ci-dessus, pourra être réduit à la forme

a^{m±n√(−1)}=c±d√(−1);

substituant donc cette valeur dans l’équation (2), il viendra, en développant, et posant pour abréger

cg−dh=p, ch+dg=q,

(a±b√(−1))^{m±n√(−1)}=

(c±d√(−1))(g±h√(−1))=(cg−dh)±(ch+dg)√(−1)=p±q√(−1);

comme nous l’avions annoncé.

Voici présentement la démonstration géométrique du même théorème, que j’avais annoncée, dans l’ouvrage d’algèbre publié en 1802,

Soit posé

a/b=Cot.ω,

il viendra

a=√(a²+b²).Cos.ω, b=√(a²+b²).Sin.ω,

donc

a±b√(−1)=(Cos.ω±√(−1)Sin.ω)√(a²+b²),

et

l⁡(a±b√(−1))=1/2 l⁡(a²+b²)+l⁡(Cos.ω±√(−1)Sin.ω)

=1/2 l⁡(a²+b²)±ω√(−1).

Multipliant les deux membres de cette dernière équation par m±n√(−1), il viendra

l.(a±b√(−1))^{m±n√(−1)}={ 1/2 ml⁡(a²+b²)−nω}±{ 1/2 nl⁡(a²+b²)+mω}√(−1),

posant alors, pour abréger

1/2 ml⁡(a²+b²)−nω=g 1/2 nl⁡(a²+b²)+mω=h,

et repassant des logarithmes aux nombres, il viendra

(a±b√(−1))^{m±n√(−1)}=eᵍ.e^{±h√(−1)}=eᵍCos.h±√(−1)eᵍSin.h;

posant donc enfin

eᵍCos.h=p, eᵍSin.h=q,

on aura, de nouveau

(a±b√(−1))^{m±n√(−1)}=p±q√(−1).

* ↑ Voyez aussi la Résolution des équations numériques de Lagrange, note ix. J. D. G.
* ↑ Dans le vrai, cette dernière démonstration est tout aussi analitique que la première ; puisque les fonctions circulaires ne sont, au fond, que des transcendantes d’une espèce particulière, dont la, théorie peut être présentée d’une manière tout à fait indépendante des considérations géométriques. C’est ainsi, en particulier, qu’elles ont été envisagées par M. Suremain-de-Missery, dans sa Théorie des quantités imaginaires (Paris, F. Didot, 1801, in-8.ᵒ ). On trouve, au surplus, dans cet ouvrage (pag. 72), une démonstration du théorème de d’Alembert qui diffère très-peu de celles de MM. Du Bourguet et Garnier. J. D. G.
