Chapitre VII

DES EXPRESSIONS IMAGINAIRES ET DE LEURS MODULES.

En Analyse, on appelle expression symbolique ou symbole toute combinaison de signes algébriques qui ne signifie rien par elle-même ou à laquelle on attribue une valeur différente de celle qu’elle doit naturellement avoir. On nomme de même équations symboliques toutes celles qui, prises à la lettre et interprétées d’après les conventions généralement établies, sont inexactes ou n’ont pas de sens, mais desquelles on peut déduire des résultats exacts, en modifiant et altérant selon des règles fixes, ou ces équations elles-mêmes, ou les symboles qu’elles renferment. L’emploi des expressions ou équations symboliques est souvent un moyen de simplifier les calculs et d’écrire sous une forme abrégée des résultats assez compliqués en apparence. C’est ce qu’on a déjà vu dans le second paragraphe du troisième Chapitre, où la formule (9) fournit une valeur symbolique très simple de l’inconnue x assujettie à vérifier les équations (4). Parmi les expressions ou équations symboliques dont la considération est de quelque importance en Analyse, on doit surtout distinguer celles que l’on a nommées imaginaires. Nous allons montrer comment on peut être conduit à en faire usage.

On sait que les sinus et cosinus de l’arc a+b sont donnés en fonction des sinus et cosinus des arcs a et b par les formules

Or, sans prendre la peine de retenir ces formules, on a un moyen fort simple de les retrouver à volonté. Il suffit, en effet, d’avoir égard à la remarque suivante.

Supposons que l’on multiplie l’une par l’autre les deux expressions symboliques

cos⁡a+−1sin⁡a,cos⁡b+−1sin⁡b,

en opérant d’après les règles connues de la multiplication algébrique, comme si −1 était une quantité réelle dont le carré fût égal à −1. Le produit obtenu se composera de deux parties : l’une toute réelle, l’autre ayant pour facteur −1; et la partie réelle fournira la valeur de cos⁡(a+b), tandis que le coefficient −1 fournira celle de sin⁡(a+b). Pour constater cette remarque, on écrit la formule

Les trois expressions que renferme l’équation précédente, savoir

cos⁡a+−1sin⁡a,cos⁡b+−1sin⁡b,cos⁡(a+b)+−1sin⁡(a+b),

sont trois expressions symboliques qui ne peuvent s’interpréter d’après les conventions généralement établies, et ne représentent rien de réel. On les a nommées pour cette raison expressions imaginaires. L’équation (2) elle-même, prise à la lettre, se trouve inexacte et n’a pas de sens. Pour en tirer des résultats exacts, il faut, en premier lieu, développer son second membre par la multiplication algébrique, ce qui réduit cette équation à

Il faut, en second lieu, dans l’équation (3), égaler la partie réelle du premier membre à la partie réelle du second, puis le coefficient de −1 dans le premier membre au coefficient de −1 dans le second. On est ainsi ramené aux équations (1) que l’on doit considérer comme implicitement renfermées l’une et l’autre dans la formule (2).

En général, on appelle expression imaginaire toute expression symbolique de la forme

α+β−1,

α,β désignant deux quantités réelles ; et l’on dit que deux expressions imaginaires

α+β−1,γ+δ−1

sont égales entre elles, lorsqu’il y a égalité de part et d’autre : 1 entre les parties réelles α et γ; 2 entre les coefficients de −1, savoir β et δ. L’égalité de deux expressions imaginaires s’indique, comme celle de deux quantités réelles, par le signe =, et il en résulte ce qu’on appelle une équation imaginaire. Cela posé, toute équation imaginaire n’est que la représentation symbolique de deux équations entre quantités réelles. Par exemple, l’équation symbolique

α+β−1=γ+δ−1

équivaut seule aux deux équations réelles

α=γ,β=δ.

Lorsque, dans l’expression imaginaire

α+β−1,

le coefficient β de −1 s’évanouit, le terme β−1 est censé réduit à zéro, et l’expression elle-même à la quantité réelle α. En vertu de cette convention, les expressions imaginaires comprennent, comme cas particuliers, les quantités réelles.

Les expressions imaginaires peuvent être soumises, aussi bien que les quantités réelles, aux diverses opérations de l’Algèbre. Si l’on effectue en particulier l’addition, la soustraction ou la multiplication de deux ou de plusieurs expressions imaginaires, en opérant d’après les règles établies pour les quantités réelles, on obtiendra pour résultat une nouvelle expression imaginaire qui sera ce qu’on appelle la somme, la différence ou le produit des expressions données ; et l’on se servira des notations ordinaires pour indiquer cette somme, cette différence ou ce produit. Par exemple, si l’on donne seulement deux expressions imaginaires

α+β−1,γ+δ−1,

on trouvera

Il est bon de remarquer que le produit de deux ou plusieurs expressions imaginaires, comme celui de deux ou plusieurs binômes réels, restera le même, dans quelque ordre qu’on multiplie ses différents facteurs.

Diviser une première expression imaginaire par une seconde, c’est trouver une troisième expression imaginaire qui, multipliée par la seconde, reproduise la première. Le résultat de cette opération est le quotient des deux expressions données. On se sert pour l’indiquer du signe ordinaire de la division. Ainsi, par exemple,

α+β−1γ+δ−1

représente le quotient des deux expressions imaginaires

α+β−1,γ+δ−1.

Élever une expression imaginaire à la puissance du degré m (m désignant un nombre entier), c’est former le produit de m facteurs égaux à cette expression. On indique la puissance m de α+β−1 par la notation

(α+β−1)m.

Extraire la racine n de l’expression imaginaire α+β−1, ou, en d’autres termes, élever cette expression à la puissance du degré 1n (n désignant un nombre entier quelconque), c’est former une nouvelle expression imaginaire dont la puissance n reproduise α+β−1. Ce problème admettant plusieurs solutions (voir le § IV), il en résulte que l’expression imaginaire α+β−1 a plusieurs racines du degré n. Lorsque nous voudrons désigner indistinctement l’une quelconque d’entre elles, nous emploierons la notation

α+β−1n

ou la suivante

((α+β−1))1n.

Dans le cas particulier où β s’évanouit, α+β−1 se réduit à une quantité réelle α, et parmi les valeurs de l’expression

αn=((α))1n

il peut s’en trouver une ou deux de réelles, comme on le verra ci-après.

Outre les puissances entières et les racines correspondantes des expressions imaginaires, on a souvent à considérer ce qu’on appelle leurs puissances fractionnaires ou négatives. On doit faire à ce sujet les remarques suivantes.

Pour élever l’expression imaginaire α+β−1 à la puissance fractionnaire du degré mn, il faut, en supposant la fraction mn réduite à sa plus simple expression : 1 extraire la racine n de l’expression donnée ; 2 élever cette racine à la puissance entière du degré m. Le problème pouvant être résolu de plusieurs manières (voir ci-après le § IV), nous désignerons indistinctement l’une quelconque des puissances du degré mn par la notation

((α+β−1))mn.

Dans le cas particulier où β se réduit à zéro, une ou deux de ces puissances peuvent devenir réelles.

Élever l’expression imaginaire α+β−1 à la puissance négative du degré −m, ou −1n, ou −mn c’est diviser l’unité par la puissance du degré m, ou 1n, ou mn de la même expression. Le problème admettant une solution seulement, dans le premier cas, et plusieurs solutions dans chacun des deux autres, on indique la puissance du degré −m par la notation simple

(α+β−1)−m,

tandis que les deux notations

((α+β−1))−1n,

((α+β−1))−mn

représentent, la première, une quelconque des puissances du degré −1n, et la seconde une quelconque des puissances du degré −mn.

On dit que deux expressions imaginaires sont conjuguées l’une à l’autre, lorsque ces deux expressions ne different entre elles que par le signe du coefficient de −1. La somme de deux semblables expressions est toujours réelle, ainsi que leur produit. En effet les deux expressions imaginaires conjuguées

α+β−1,α−β−1

donnent pour somme 2α et pour produit α2+β2. La dernière partie de cette observation conduit à un théorème relatif aux nombres, et dont voici l’énoncé :

Théorème I. — Si l’on multiplie l’un par l’autre deux nombres entiers dont chacun soit la somme de deux carrés, le produit sera encore une somme de deux carrés.

Démonstration. — Soient

α2+β2,α'2+β'2

les deux nombres entiers dont il s’agit, α2,β2,α'2,β'2, désignant des carrés parfaits. On aura évidemment les deux équations

(α+β−1)(α′+β′−1)=αα′−ββ′+(αβ′+α′β)−1,(α−β−1)(α′−β′−1)=αα′−ββ′−(αβ′+α′β)−1,

et, en multipliant celles-ci membre à membre, on obtiendra la suivante

Si l’on échange entre elles dans cette dernière les lettres α′ et β′, on trouvera

Il y a donc en général deux manières de décomposer en deux carrés le produit de deux nombres entiers dont chacun est la somme de deux carrés. Ainsi, par exemple, on tire des équations (7) et (8)

(22+1)(32+22)=42+72=12+82.

On voit par ces considérations que l’emploi des expressions imaginaires peut être d’une grande utilité, non seulement dans l’Algèbre ordinaire, mais encore dans la Théorie des nombres.

Quelquefois on représente une expression imaginaire par une seule lettre. C’est un artifice qui augmente les ressources de l’Analyse, et dont nous ferons usage dans ce qui va suivre.

§ II. — Sur les modules des expressions imaginaires
et sur les expressions réduites.

Une propriété remarquable de toute expression imaginaire

α+β−1,

c’est de pouvoir se mettre sous la forme

ρ(cos⁡θ+−1sin⁡θ),

ρ désignant une quantité positive et θ un arc réel. En effet, si l’on pose l’équation symbolique

ou, ce qui revient au même, les deux équations réelles

on en tirera

et, après avoir ainsi déterminé la valeur du nombre ρ, il ne restera, pour vérifier complètement les équations (2), qu’à trouver un arc θ dont le cosinus et le sinus soient respectivement

Ce dernier problème est toujours soluble, attendu que chacune des quantités αα2+β2,βα2+β2 a une valeur numérique inférieure à l’unité, et que la somme de leurs carrés est égale à 1. De plus, il admet une infinité de solutions différentes, puisque, après avoir calculé une valeur convenable de l’arc θ, on pourra, sans changer ni le sinus ni le cosinus, augmenter ou diminuer cet arc d’un nombre quelconque de circonférences.

Lorsque l’expression imaginaire α+β−1 se trouve ramenée à la forme

ρ(cos⁡θ+−1sin⁡θ),

la quantité positive ρ est ce qu’on appelle le module de cette expression imaginaire ; et ce qui reste après la suppression du module, c’està-dire le facteur

cos⁡θ+−1sin⁡θ,

est ce que nous nommerons l’expression réduite. Comme des quantités α et β supposées connues on ne déduit pour le module ρ qu’une valeur unique déterminée par l’équation (3), il en résulte que le module reste le même pour deux expressions imaginaires égales. On peut donc énoncer le théorème suivant :

Théorème I. — L’égalité de deux expressions imaginaires entraîne toujours l’égalité des modules et, par conséquent, celle des expressions réduites.

Si l’on compare entre elles deux expressions imaginaires conjuguées, on trouvera encore que leurs modules sont égaux. Le carré du module commun à ces deux expressions ne sera autre chose que leur produit.

Lorsque dans l’expression imaginaire α+β−1 le second terme β s’évanouit, cette expression se réduit à une quantité réelle α. Dans la même hypothèse, on tire des équations (3) et (4): 1 quand α est positif,

ρ=α2,

cos⁡θ=1,sin⁡θ=0

et, par suite,

θ=±2kπ,

k désignant un nombre entier quelconque ; 2 quand α est négatif,

ρ=α2,

cos⁡θ=−1,sin⁡θ=0

et, par suite,

θ=±(2k+1)π.

Ainsi le module d’une quantité réelle α n’est autre chose que sa valeur numérique α2, et l’expression réduite qui correspond à une semblable quantité est toujours +1 ou −1, savoir

+1=cos⁡(±2kπ)+−1sin⁡(±2kπ),

lorsqu’il s’agit d’une quantité positive, et

−1=cos⁡(±2k+1‾π)+−1sin⁡(±2k+1‾π).

lorsqu’il s’agit d’une quantité négative.

Toute expression imaginaire qui a zéro pour module se réduit ellemême à zéro, puisque ses deux termes s’évanouissent. Réciproquement, comme le cosinus et le sinus d’un arc ne deviennent jamais nuls en même temps, il en résulte qu’une expression imaginaire ne peut se réduire à zéro qu’autant que son module s’évanouit.

Toute expression imaginaire qui a l’unité pour module est nécessairement une expression réduite. Ainsi, par exemple,

cos⁡a+−1sin⁡a,cos⁡a−−1sin⁡a,−cos⁡a−−1sin⁡a,−cos⁡a+−1sin⁡a

sont quatre expressions réduites conjuguées deux à deux. Effectivement, pour tirer ces quatre expressions de la formule

cos⁡θ+−1sin⁡θ,

il suffira de poser successivement

θ=±2kπ+a,θ=±2kπ−a,θ=±(2k+1)π+a,θ=±(2k+1)π−a.

k désignant un nombre entier quelconque.

Les calculs relatifs aux expressions imaginaires pouvant être simplifiés par la considération des expressions réduites, il importe de faire connaître les principales propriétés de ces dernières. Ces propriétés sont comprises dans les théorèmes que je vais énoncer.

Théorème II. — Pour multiplier l’une par l’autre deux expressions réduites

cos⁡θ+−1sin⁡θ,cos⁡θ′+−1sin⁡θ′,

il suffit d’ajouter les arcs θ et θ′ qui leur correspondent.

Démonstration. — On a, en effet,

Corollaire. — Si dans la formule précédente on fait θ=−θ, on trouvera, comme on devait s’y attendre,

Théorème III. — Pour multiplier les unes par les autres plusieurs expressions réduites

cos⁡θ+−1sin⁡θ,cos⁡θ′+−1sin⁡θ′,cos⁡θ″+−1sin⁡θ″,…,

il suffit d’ajouter les arcs θ,θ′,θ″,… qui leur correspondent.

Démonstration. — En effet, on aura successivement

(cos⁡θ+−1sin⁡θ)(cos⁡θ′+−1sin⁡θ′),=cos⁡(θ+θ′)+−1sin⁡(θ+θ′),(cos⁡θ+−1sin⁡θ)(cos⁡θ′+−1sin⁡θ′)(cos⁡θ″+−1sin⁡θ″)=[cos⁡(θ+θ′+−1sin⁡(θ+θ′)](cos⁡θ″+−1sin⁡θ″)=cos⁡(θ+θ′+θ″)+−1sin⁡(θ+θ′+θ″),……………………………………,

et, en continuant de même, on trouvera généralement, quel que soit le nombre des arcs θ,θ′,θ″,…,

Corollaire. — Si l’on développe par la multiplication immédiate le premier membre de l’équation (7), le développement se composera de deux parties, l’une toute réelle, l’autre ayant pour facteur −1. Cela posé, la partie réelle fournira la valeur de

cos⁡(θ+θ′+θ″+…).

et le coefficient de −1 dans la seconde partie la valeur de

sin⁡(θ+θ′+θ″+…).

Supposons, par exemple, que l’on considère seulement trois arcs θ,θ′,θ″,… L’équation (7) deviendra

(cos⁡θ+−1sin⁡θ)(cos⁡θ′+−1sin⁡θ′)(cos⁡θ″+−1sin⁡θ″)=cos⁡(θ+θ′+θ″)+−1sin⁡(θ+θ′+θ″),

et, après avoir développé le premier membre de cette dernière par la multiplication algébrique, on en conclura

cos⁡(θ+θ′+θ″)=cos⁡θcos⁡θ′cos⁡θ″−cos⁡θsin⁡θ′sin⁡θ″−sin⁡θcos⁡θ′sin⁡θ″−sin⁡θsin⁡θ′cos⁡θ″,sin⁡(θ+θ′+θ″)=sin⁡θcos⁡θ′cos⁡θ″+cos⁡θsin⁡θ′cos⁡θ″+cos⁡θcos⁡θ′sin⁡θ″+sin⁡θsin⁡θ′sin⁡θ″.

Théorème IV. — Pour diviser l’expression réduite

cos⁡θ+−1sin⁡θ

par la suivante

cos⁡θ′+−1sin⁡θ′,

il suffit de retrancher l’arc θ′, qui correspond à la seconde, de l’arc θ correspondant à la première.

Démonstration. — Soit x le quotient cherché, en sorte qu’on ait

x=cos⁡θ+−1sin⁡θcos⁡θ′+−1sin⁡θ′.

Ce quotient devra être une nouvelle expression imaginaire tellement choisie, que, en la multipliant par cos⁡θ′+−1sin⁡θ′ on reproduise cos⁡θ+−1sin⁡θ. En d’autres termes, x devra satisfaire à l’équation

(cos⁡θ′+−1sin⁡θ′)x=cos⁡θ+−1sin⁡θ.

Pour tirer de cette équation la valeur de x, il suffira de multiplier les deux membres par

cos⁡θ′−−1sin⁡θ′.

On réduira de cette manière le coefficient de x à l’unité (voir le théorème II, corollaire I), et l’on trouvera

x=(cos⁡θ+−1sin⁡θ)(cos⁡θ′−−1sin⁡θ′)=(cos⁡θ+−1sin⁡θ)[cos⁡(−θ′)+−1sin⁡(−θ′)]=cos⁡(θ−θ′)+−1sin⁡(θ−θ′).

On aura donc en définitive

Corollaire. — Si dans l’équation (8) on fait θ=0, elle donnera

Théorème V. — Pour élever l’expression imaginaire

cos⁡θ+−1sin⁡θ

à la puissance du degré m (m désignant un nombre entier quelconque), il suffit de multiplier dans cette expression l’arc θ par le nombre m.

Démonstration. — En effet, les arcs θ,θ′,θ″,… pouvant être quelconques dans la formule (7), si on les suppose tous égaux à l’arc θ et en nombre m, on trouvera

Corollaire. — Si dans l’équation (10) on fait successivement θ=z, θ=−z, on obtiendra les deux suivantes :

Le premier membre de chacune de ces dernières, étant toujours un produit de m facteurs égaux, pourra être développé par la multiplication immédiate de ces facteurs ou, ce qui revient au même, par la formule de Newton. Si, après avoir effectué le développement dont il s’agit, on égale de part et d’autre dans chaque équation : 1 les parties réelles ; 2 les coefficients de −1, on en conclura

On trouvera, par exemple, en supposant m=2,

cos⁡2z=cos2z−sin2z,sin⁡2z=2sin⁡zcos⁡z;

en supposant m=3,

cos⁡3z=cos3z−3cos⁡zsin2z,sin⁡3z=3cos2zsin⁡z−sin2z,……………………….

Théorème VI. — Pour élever l’expression imaginaire

cos⁡θ+−1sin⁡θ

à la puissance du degré −m (m désignant un nombre entier quelconque), il suffit de multiplier dans cette expression l’arc θ par le degré −m.

Démonstration. — En effet, d’après la définition que nous avons donnée des puissances négatives (voir le § I), on aura

(cos⁡θ+−1sin⁡θ)−m=1(cos⁡θ+−1sin⁡θ)m=1cos⁡mθ+−1sin⁡mθ.

Par suite, en ayant égard à la formule (9), on trouvera

ou, ce qui revient au même,

Après avoir établi, comme nous venons de le faire, les principales propriétés des expressions réduites, il devient facile de multiplier ou de diviser l’une par l’autre deux ou plusieurs expressions imaginaires, quels que soient leurs modules, aussi bien que d’élever une expression imaginaire quelconque à la puissance du degré m ou −m (m désignant un nombre entier). On peut, en effet, exécuter simplement ces diverses opérations à l’aide des théorèmes suivants :

Théorème VII. — Pour obtenir le produit de deux ou de plusieurs expressions imaginaires, il suffit de multiplier le produit des expressions réduites qui leur correspondent par le produit des modules.

Démonstration. — Le théorème énoncé se déduit immédiatement de ce principe, que le produit de plusieurs facteurs réels ou imaginaires reste le même dans quelque ordre qu’on les multiplie. Soient effectivement

ρ(cos⁡θ+−1sin⁡θ), ρ′(cos⁡θ′+−1sin⁡θ′), ρ″(cos⁡θ″+−1sin⁡θ″), …

plusieurs expressions imaginaires, dont ρ,ρ′,ρ″,… désignent les modules. Lorsqu’on voudra multiplier entre elles ces expressions dont chacune est le produit d’un module par une expression réduite, on pourra, en vertu du principe qu’on vient de rappeler, former, d’une part, le produit de tous les modules, de l’autre, celui de toutes les expressions réduites, puis multiplier ces deux derniers produits l’un par l’autre. On trouvera de cette manière pour résultat définitif

Corollaire I. — Le produit de plusieurs expressions imaginaires est une nouvelle expression imaginaire qui a pour module le produit des modules de toutes les autres.

Corollaire II. — Comme une expression imaginaire ne s’évanouit jamais qu’avec son module, et que, pour faire évanouir le produit de plusieurs modules, il faut nécessairement supposer l’un d’eux réduit à zéro, il est clair qu’on peut tirer du théorème VII la conclusion suivante :

Le produit de deux ou de plusieurs expressions imaginaires ne peut s’évanouir qu’autant que l’une d’elles se réduit à zéro.

Théorème VIII. — Pour obtenir le quotient de deux expressions imaginaires, il suffit de multiplier le quotient des expressions réduites qui leur correspondent par le quotient des modules.

Démonstration. — Supposons qu’il s’agisse de diviser l’expression imaginaire

ρ(cos⁡θ+−1sin⁡θ),

dont le module est ρ, par la suivante

ρ′(cos⁡θ′+−1sin⁡θ′),

dont le module est ρ′. Si l’on désigne par x le quotient demandé, x devra être une nouvelle expression imaginaire propre à vérifier l’équation

ρ′(cos⁡θ′+−1sin⁡θ′)x=ρ(cos⁡θ+−1sin⁡θ).

Pour tirer de cette équation la valeur de x, on multipliera les deux membres par le produit des deux facteurs

1ρ′,cos⁡θ′−−1sin⁡θ′,

et l’on trouvera de cette manière, en écrivant ρρ′ au lieu de ρ1ρ′,

x=ρρ′[cos⁡(θ−θ′)+−1sin⁡(θ−θ′)].

On aura donc en dernière analyse

et, puisque, en vertu du théorème IV,

cos⁡(θ−θ′)+−1sin⁡(θ−θ′)

est précisément le quotient des deux expressions réduites

cos⁡θ+−1sin⁡θ,cos⁡θ′+−1sin⁡θ′,

il est clair que, après avoir établi la formule (16), nous devons considérer le théorème VIII comme démontré.

Corollaire. — Si dans l’équation (16) on fait θ=0, elle donnera

Théorème IX. — Pour obtenir la m puissance d’une expression imaginaire (m désignant un nombre entier quelconque), il suffit de multiplier la m puissance de l’expression réduite correspondante par la m puissance du module.

Démonstration. — En effet, si dans le théorème VII on suppose les expressions imaginaires

ρ (cos⁡θ+−1sin⁡θ ),ρ′ (cos⁡θ′+−1sin⁡θ′ ),ρ″(cos⁡θ″+−1sin⁡θ″),……………………

toutes égales entre elles et en nombre m, leur produit sera équivalent à la puissance m de la première, c’est-à-dire à

[ρ(cos⁡θ+−1sin⁡θ)]m;

et, comme dans cette hypothèse l’expression (15) deviendra

ρm(cos⁡mθ+−1sin⁡mθ),

on aura définitivement

L’expression réduite

cos⁡mθ+−1sin⁡mθ

étant égale (en vertu du théorème V) à

(cos⁡θ+−1sin⁡θ)m,

il en résulte que, après avoir établi la formule (18), on doit considérer le théorème IX comme démontré.

Théorème X. — Pour élever une expression imaginaire à la puissance du degré −m (m désignant un nombre entier), il suffit de former les puissances semblables du module et de l’expression réduite, puis de multiplier ces deux dernières l’une par l’autre.

Démonstration. — Supposons qu’il s’agisse d’élever à la puissance du degré −m l’expression imaginaire

ρ(cos⁡θ+−1sin⁡θ),

dont le module est ρ. On aura, en vertu de la définition des puissances négatives,

[ρ(cos⁡θ+−1sin⁡θ)]−m=1[ρ(cos⁡θ+−1sin⁡θ)]m=1ρm(cos⁡mθ+−1sin⁡mθ).

Par suite, en ayant égard à la formule (17), on trouvera

[ρ(cos⁡θ+−1sin⁡θ)]−m=1ρm(cos⁡mθ−−1sin⁡mθ)

ou, ce qui revient au même,

Cette dernière formule réunie à l’équation (13) fournit la démonstration complète du théorème X.

§ III. — Sur les racines réelles ou imaginaires des deux quantités
+1,−1, et sur leurs puissances fractionnaires.

Supposons que l’on désigne par m et n deux nombres entiers premiers entre eux. Si l’on fait usage des notations adoptées dans le § I, les racines n de l’unité, ou, ce qui revient au même, ses puissances du degré 1n seront les diverses valeurs de l’expression

1n=((1))1n;

et, de même, les puissances fractionnaires de l’unité, positives ou négatives, du degré mn ou −mn, seront les diverses valeurs de

((1))mnou((1))−mn.

On en conclura que, pour déterminer ces racines et ees puissances, il suffit de résoudre, l’un après l’autre, les trois problèmes suivants.

Problème I. — Trouver les diverses valeurs réelles ou imaginaires de l’expression

((1))1n.

Solution. — Soit x l’une de ces valeurs ; et, afin de la présenter sous la forme générale qui comprend à la fois toutes les quantités réelles et toutes les expressions imaginaires, supposons

r désignant une quantité positive, et t un arc réel. On aura, d’après la définition même de l’expression ((1))1n,

ou, ce qui revient au même,

rn(cos⁡nt+−1sin⁡nt)=1.

On tirera de cette dernière équation (à l’aide du théorème I, § II)

rn=1,

cos⁡nt+−1sin⁡nt=1,

et, par suite,

r=1,

cos⁡nt=1,sin⁡nt=0,nt=±2kπ,

t=±2kπn,

k représentant un nombre entier quelconque. Les quantités r et t étant ainsi déterminées, les diverses valeurs propres à vérifier l’équation (1) seront évidemment comprises dans la formule

En d’autres termes, les diverses valeurs de ((1))1n seront données par l’équation

Soit maintenant h le nombre entier le plus rapproché du rapport kn. La différence entre les deux nombres h, kn sera tout au plus égale à 12, en sorte qu’on aura

kn=h±k′n,

k′n désignant une fraction égale ou inférieure à 12, et, par suite, k′ un nombre entier inférieur ou tout au plus égal à n2. On en conclura

2kπn=2hπ±2k′πn,

cos⁡2kπn±−1sin⁡2kπn=cos⁡2k′πn±−1sin⁡2k′πn.

Par conséquent, toutes les valeurs de ((1))1n seront comprises dans la formule

cos⁡2k′πn±−1sin⁡2k′πn,

si l’on y suppose k′ renfermé entre les limites 0,n2, ou, ce qui revient au même, dans la formule (3), si l’on y suppose k renfermé entre les mêmes limites.

Corollaire I. Lorsque n est pair, les diverses valeurs que le nombre entier k peut recevoir, sans sortir des limites 0,n2, sont respectivement

0,1,2,…,n−22,n2.

Pour chacune de ces valeurs de k, la formule (3) fournit en général deux valeurs imaginaires conjuguées de l’expression ((1))1n, c’est-à-dire deux racines imaginaires de l’unité conjuguées et du degré n. Seulement, on trouve, pour k=0, une racine réelle +1, et, pour k=n2, une autre racine réelle −1. En résumé, lorsque n est pair, l’expression

((1))1n

admet deux valeurs réelles, savoir

+1,−1,

avec n−2 valeurs imaginaires conjuguées deux à deux, savoir

Le nombre total de ces valeurs réelles ou imaginaires est égal à n.

Supposons, par exemple, n=2. On trouvera qu’il existe deux valeurs de l’expression

((1))12,

ou, ce qui revient au même, deux valeurs de x propres à vérifier l’équation

x2=1,

et que ces valeurs, toutes deux réelles, sont respectivement

+1,−1.

Supposons encore n=4. On trouvera qu’il existe quatre valeurs de l’expression

((1))14,

ou, ce qui revient au même, quatre valeurs de x propres à vérifier l’équation

x4=1.

Parmi ces quatre valeurs, deux sont réelles, savoir

+1,−1.

Les deux autres sont imaginaires et respectivement égales, la première à

cos⁡π2+−1sin⁡π2=+−1,

la seconde à

cos⁡π2−−1sin⁡π2=−−1.

Corollaire II. — Lorsque n est impair, les diverses valeurs que le nombre entier k peut recevoir, sans sortir des limites 0,n2, sont respectivement

0,1,3,…,n−12.

Pour chacune de ces valeurs de k, la formule (3) fournit en général deux valeurs imaginaires conjuguées de l’expression ((1))1n, c’est-à-dire deux racines imaginaires conjuguées et du degré n. Seulement, on trouve, pour k=0, une racine unique et réelle, savoir +1. En résumé, lorsque n est impair, l’expression

((1))1n

admet, avec la seule valeur réelle

+1,

n−1 valeurs imaginaires conjuguées deux à deux, savoir

Le nombre total de ces valeurs réelles ou imaginaires est égal à n.

Supposons, par exemple, n=3. On trouvera qu’il existe trois valeurs de l’expression

((1))13,

ou, ce qui revient au même, trois valeurs de x propres à vérifier l’équation

x3=1,

et que ces valeurs, dont une est réelle, sont respectivement

+1,

cos⁡2π3+−1sin⁡2π3,cos⁡2π3−−1sin⁡2π3.

De plus, le côté de l’hexagone étant, comme on sait, égal au rayon, et le supplément de l’arc sous-tendu par ce côté ayant pour mesure 2π3, on obtiendra facilement les équations

cos⁡2π3=−12,sin⁡2π3=+3122,

en vertu desquelles les valeurs imaginaires de l’expression ((1))12 se réduisent à

−12+3122−1,−12−3122−1.

Corollaire III. — n désignant un nombre entier quelconque, le nombre des valeurs, soit réelles, soit imaginaires, de l’expression ((1))1n, ou, ce qui revient au même, le nombre des valeurs de x propres à vérifier l’équation xn=1 restera toujours égal à n.

Problème II. — Trouver les diverses valeurs réelles ou imaginaires de l’expression

((1))mn.

Solution. — Les nombres m et n étant supposés premiers entre eux, on aura, d’après la définition même de l’expression ((1))mn,

((1))mn=[((1))1n]m;

puis, en remettant pour ((1))1n sa valeur générale tirée de l’équation (3), on trouvera

((1))mn=[cos⁡2kπn±−1sin⁡2kπn]m

et, par suite,

Pour déduire de cette dernière formule toutes les valeurs de ((1))mn, il ne reste qu’à donner successivement à k toutes les valeurs entières comprises entre 0 et n2. Soient k′,k″ deux de ces valeurs supposées inégales. Je dis que les cosinus

cos⁡m.2k′πn,cos⁡m.2k″πn

seront nécessairement différents l’un de l’autre. En effet, ces cosinus ne pourraient devenir égaux que dans le cas où les arcs qui leur correspondent seraient liés entre eux par une équation de la forme

m.2k′πn=2hπ±m.2k″πn,

h désignant un nombre entier. Or on tire de cette équation

h=m(±k′±k″)n.

Il faudrait donc, puisque m est premier à n, que ±k′±k″ fut divisible par n, ce qu’on ne saurait admettre, attendu que, les nombres k′,k″ étant inégaux, et chacun d’eux ne pouvant surpasser 12n, leur somme ou leur différence est nécessairement inférieure à n. Ainsi, deux valeurs différentes de k comprises entre les limites 0 et 12n fournissent deux valeurs différentes de

cos⁡m.2kπn.

On conclut aisément de cette remarque, que les valeurs réelles ou imaginaires de l’expression ((1))mn données par l’équation (6) sont en même nombre que les valeurs réelles ou imaginaires de ((1))1n déterminées par l’équation (3). De plus, comme on a évidemment

(cos⁡m.2kπn±−1sin⁡m.2kπn)n=cos⁡(m.2kπ)±sin⁡(m.2kπ)=1,

il en résulte que toute valeur de ((1))mn est une expression réelle ou imaginaire dont la puissance n équivaut à l’unité, par conséquent une valeur de ((1))1n. Ces observations conduisent à la formule

dans laquelle le signe = indique seulement que l’une des valeurs du premier membre est toujours égale à l’une des valeurs du second.

Problème III. — Trouver les diverses valeurs réelles ou imaginaires de l’expression

((1))−mn.

Solution. — On aura, d’après la définition des puissances négatives,

((1))−mn=1((1))mn,

puis, en remettant pour ((1))mn sa valeur générale tirée de l’équation (6), et ayant égard à la formule (9) du paragraphe précédent,

Il suit de cette dernière équation que les diverses valeurs de ((1))−mn sont les mêmes que celles de ((1))mn et par conséquent égales à celles de ((1))1n. On a donc

le signe = devant être interprété comme dans l’équation (7).

Corollaire. — Si l’on fait m=1, la formule (9) donnera

Supposons maintenant que l’on cherche les racines et puissances fractionnaires, non plus de l’unité, mais de la quantité −1. Les racines n de cette quantité, ou, ce qui revient au même, ses puissances du degré 1n, seront les diverses valeurs de l’expression

−1n=((−1))1n;

et de même, les puissances fractionnaires de −1, positives ou négatives, du degré mn ou −mn, seront les diverses valeurs de

((−1))mnou((−1))−mn.

En conséquence, pour déterminer ces racines et ces puissances, il suffira de résoudre l’un après l’autre les trois nouveaux problèmes que je vais énoncer.

Probleme IV. — Trouver les diverses valeurs réelles ou imaginaires de l’expression

((−1))1n.

Solution. — Soit

l’une de ces valeurs, r désignant une quantité positive, et t un arc réel. On aura, d’après la définition même de l’expression ((−1))1n,

ou, ce qui revient au même,

rn(cos⁡nt+−1sin⁡nt)=−1.

On tirera de cette dernière équation (à l’aide du théorème I, § II),

rn=1,

cos⁡nt+−1sin⁡nt=−1.

et, par suite,

r=1,

cos⁡nt=−1,sin⁡nt=0,nt=±(2k+1)π,

t=±(2k+1)πn,

k représentant un nombre entier quelconque. Les quantités r et t étant ainsi déterminées, les diverses valeurs de x propres à vérifier l’équation (11) se trouveront évidemment comprises dans la formule

En d’autres termes, les diverses valeurs de ((−1))1n seront données par l’équation

Soit maintenant h le nombre entier le plus rapproché du rapport 2k+12n. La différence entre les deux nombres h,2k+1n sera évidemment une fraction de numérateur impair, inférieure ou tout au plus égale à 12; en sorte qu’on aura

2k+12n=h±2k′+12n,

2k′+1 désignant un nombre impair égal ou inférieur à n. On en conclura

(2k+1)πn=2hπ±(2k′+1)πn,

cos⁡(2k+1)πn±−1sin⁡(2k+1)πn=cos⁡(2k′+1)πn±−1sin⁡(2k′+1)πn.

Par conséquent toutes les valeurs de ((−1))1n seront comprises dans la formule

cos⁡(2k′+1)πn±−1sin⁡(2k′+1)πn,

si l’on y suppose 2k′+1 renfermé entre les limites 0,n, ou, ce qui revient au même, dans la formule (13), si l’on y suppose 2k+1 renfermé entre les mêmes limites.

Corollaire I. — Lorsque n est pair, les diverses valeurs que 2k+1 peut recevoir, sans sortir des limites 0,n, sont respectivement

1,3,5,…,n−1‾.

Pour chacune de ces valeurs de 2k+1, la formule (13) fournit toujours deux valeurs imaginaires conjuguées de l’expression ((−1))1n. Par suite, cette expression, dans le cas que nous considérons ici, n’admet point de valeurs réelles, mais seulement n valeurs imaginaires conjuguées deux à deux, savoir :

Supposons, par exemple, n=2. On trouvera qu’il existe deux valeurs de l’expression ((−1))12, ou, ce qui revient au même, deux valeurs de x propres à vérifier l’équation

x2=−1,

et que ces valeurs, toutes deux imaginaires, sont respectivement

cos⁡π2+−1sin⁡π2=+−1,cos⁡π2−−1sin⁡π2=−−1.

Supposons encore n=4. On verra qu’il existe quatre valeurs de l’expression ((−1))14, ou, en d’autres termes, quatre valeurs de x propres à vérifier l’équation

x4=−1;

et que ces quatre valeurs sont comprises dans les deux formules

cos⁡π4±−1sin⁡π4,cos⁡3π4±−1sin⁡3π4,

ou, ce qui revient au même, dans la seule formule

±cos⁡π4±−1sin⁡π4.

Comme on a d’ailleurs

cos⁡π4=sin⁡π4=12,

on trouvera définitivement

((−1))14=±1212±1212−1.

Corollaire II. — Lorsque n est impair, les diverses valeurs que 2k+1 peut recevoir sans sortir des limites 0 et n sont respectivement

1,3,5,…,n−2,n.

Pour chacune de ces valeurs de 2k+1, la formule (13) fournit en général deux valeurs imaginaires conjuguées de l’expression ((−1))1n, c’est-à-dire deux racines imaginaires de −1 conjuguées et du degré n. Seulement on trouve, pour 2k+1=n, une racine unique et réelle, savoir −1. En résumé, lorsque n est impair, l’expression ((−1))1n admet, avec la seule valeur réelle

−1,

n−1 valeurs imaginaires conjuguées deux à deux, savoir

Le nombre total de ces valeurs réelles ou imaginaires est égal à n.

Supposons, par exemple, n=3. On trouvera qu’il existe trois valeurs de l’expression ((−1))13, ou, ce qui revient au même, trois valeurs de x propres à vérifier l’équation

x3=−1,

et que ces valeurs, dont une est réelle, sont respectivement

−1,

cos⁡π3+−1sin⁡π3=12+3122−1,cos⁡π3−−1sin⁡π3=12−3122−1.

Corollaire III. — n désignant un nombre entier quelconque, le nombre des valeurs, soit réelles, soit imaginaires, de l’expression ((−1))1n, ou, ce qui revient au même, le nombre des valeurs de x propres à vérifier l’équation xn=−1, restera toujours égal à n.

Problème V. — Trouver les diverses valeurs réelles ou imaginaires de l’expression

((−1))mn.

Solution. — Les nombres m et n étant supposés premiers entre eux, on aura, d’après la définition même de l’expression ((-1))^\frac mn,

((−1))mn=[((−1))1n]m;

puis, en remettant pour ((−1))1n sa valeur générale tirée de l’équation (13), on trouvera

Pour déduire de cette dernière formule toutes les valeurs de ((−1))mn, il ne reste qu’à donner successivement à 2k+1 toutes les valeurs entières et impaires comprises entre 0 et n. Soient 2k′+1,2k″+1 deux de ces valeurs supposées inégales. Je dis que les cosinus

cos⁡m(2k′+1)πn,cos⁡m(2k″+1)πn

m(2k′+1)πn=±2hπ±m(2k″+1)πn,

h désignant un nombre entier. Or on tire de cette équation

h=m[±(2k′+1)±(2k″+1)2]n.

Il faudrait donc, puisque m est premier à n, que le nombre entier

±(2k′+1)±(2k″+1)2

fût divisible par n, ce qu’on ne saurait admettre, attendu que, les nombres 2k′+1,2k″+1 étant inégaux, et chacun d’eux ne pouvant surpasser n, leur demi-somme, et, à plus forte raison ; leur demi-différence, est nécessairement inférieure à n. Ainsi deux valeurs différentes de 2k+1 comprises entre les limites 0 et n fournissent deux valeurs différentes de

cos⁡m(2k+1)πn.

On conclut aisément de cette remarque que les valeurs réelles ou imaginaires de l’expression ((−1))mn données par l’équation (16) sont au nombre de n, comme celles de ((1))1n et de ((−1))1n. De plus, comme on a évidemment

[cos⁡m(2k+1)πn±−1sin⁡m(2k+1)πn]n=cos⁡m(2k+1)π±−1sin⁡m(2k+1)π=(−1)m=±1,

il en résulte que toute valeur de ((−1))mn est une expression réelle ou imaginaire dont la puissance n équivaut à ±1, par conséquent, une valeur de ((1))1n ou de ((−1))1n. Cette remarque conduit à l’équation

toutes les fois que (−1)m=1, c’est-à-dire toutes les fois que m est un nombre pair, et à la suivante

lorsque (−1)m=−1, c’est-à-dire lorsque m est un nombre impair. Ajoutons que l’on peut comprendre les équations (17) et (18) dans une seule formule, en écrivant

Probleme VI. — Trouver les diverses valeurs réelles ou imaginaires de l’expression

((−1))−mn.

Solution. — On aura, d’après la définition des puissances négatives,

((−1))−mn=1((−1))mn;

puis, en remettant pour ((−1))mn sa valeur générale tirée de l’équation (16), et ayant égard à la formule (9) du paragraphe précédent,

Il suit de cette dernière équation que les diverses valeurs de ((−1))−mn sont les mêmes que celles de ((1))mn; on aura en conséquence

Àla place des deux formules qui précèdent, on peut se contenter d’écrire la suivante :

Corollaire. — Si l’on fait m=1, la formule (23) donnera

En terminant ce paragraphe, nous ferons remarquer que les équations (3), (6), (8), (13), (16) et (20), à l’aide desquelles on détermine les valeurs des expressions

((1))1n,((1))mn,((1))−mn,((−1))1n,((−1))mn,((−1))−mn,

peuvent être remplacées par deux formules. En effet, si l’on désigne par a une quantité positive ou négative dont la valeur numérique soit fractionnaire, la valeur de ((1))a déterminée par l’équation (3), (6) ou (8) sera évidemment

tandis que la valeur de ((−1))a déterminée par l’équation (13), (16) ou (20) sera

Dans les deux formules précédentes, on peut prendre pour k un nombre entier quelconque.

§ IV. — Sur les racines des expressions imaginaires et sur
leurs puissances fractionnaires et irrationnelles.

Soit

α+β−1

une expression imaginaire quelconque. On pourra toujours trouver (voir le § II) une valeur positive de ρ et une infinité de valeurs réelles de θ propres à vérifier l’équation

Cela posé, concevons que l’on désigne par m et n deux nombres entiers premiers entre eux. Si l’on fait usage des notations adoptées dans le § I, les racines n de l’expression α+β−1, ou, ce qui revient au même, ses puissances du degré 1n, seront les diverses valeurs de

α+β−1n=((α+β−1))1n;

et, de même, les puissances fractionnaires de α+β−1 positives ou négatives, du degré mn ou, −mn, seront les diverses valeurs de

((α+β−1))mnou((α+β−1))−mn.

En conséquence, pour déterminer ces racines et ces puissances, il suffira de résoudre l’un après l’autre les trois problèmes suivants :

Problème I. — Trouver les diverses valeurs de l’expression

((α+β−1))1n.

Solution. — Soit

l’une de ces valeurs, r désignant une quantité positive et t un arc réel.

On aura, d’après la définition même de l’expression ((α+β−1))1n,

ou, ce qui revient au même,

rn(cos⁡nt+−1sin⁡nt)=ρ(cos⁡θ+−1sin⁡θ).

On tirera de cette dernière équation, à l’aide du théorème I, § II,

rn=ρ,

cos⁡nt+−1sin⁡nt=cos⁡θ+−1sin⁡θ

et, par suite,

r=ρ1n,

cos⁡nt=cos⁡θ,sin⁡nt=sin⁡θ,nt=θ±2kπ,

t=θ±2kπn,

k représentant un nombre entier quelconque. Les quantités r et t étant ainsi déterminées, les diverses valeurs de x propres à vérifier l’équation (1) seront évidemment comprises dans la formule

ou, ce qui revient au même, dans la suivante :

En d’autres termes, l’expression ((α+β−1))1n, aussi bien que ((1))1n, admettra n valeurs différentes déterminées par l’équation

Corollaire I. — Supposons n=2; on trouvera qu’il existe deux valeurs de l’expression

((α+β−1))12,

ou, ce qui revient au même, deux valeurs de x propres à vérifier l’équation

x2=α+β−1=ρ(cos⁡θ+−1sin⁡θ).

et que ces deux valeurs sont comprises dans la formule

±ρ12(cos⁡θ2+−1sin⁡θ2).

Corollaire II. — Supposons encore n=3; on trouvera qu’il existe trois valeurs de l’expression

((α+β−1))13,

ou, ce qui revient au même, trois valeurs de x propres à vérifier l’équation

x3=α+β−1=ρ(cos⁡θ+−1sin⁡θ).

et que ces deux valeurs sont respectivement

ρ13(cos⁡θ3+−1sin⁡θ3),ρ13(cos⁡θ3+−1sin⁡θ3)(cos⁡2π3+−1sin⁡2π3)=ρ13(cos⁡θ+2π3+−1sin⁡θ+2π3),ρ13(cos⁡θ3+−1sin⁡θ3)(cos⁡2π3−−1sin⁡2π3)=ρ13(cos⁡θ−2π3+−1sin⁡θ−2π3).

Corollaire III. — Supposons enfin n=4; on trouvera qu’il existe quatre valeurs de l’expression

((α+β−1))14,

ou, ce qui revient au même, quatre valeurs de x propres à vérifier l’équation

x4=α+β−1=ρ(cos⁡θ+−1sin⁡θ),

et que ces quatre valeurs sont comprises dans les deux formules

±ρ14(cos⁡θ4+−1sin⁡θ4),±ρ14(cos⁡θ4−−1sin⁡θ4).

Problème II. — Trouver les diverses valeurs de l’expression

((α+β−1))mn.

Solution. — Les nombres m et n étant supposés premiers entre eux, on aura, d’après la définition même de l’expression ((α+β−1))mn,

((α+β−1))mn=[((α+β−1))1n]m;

puis, en remettant pour ((α+β−1))1n sa valeur générale tirée de l’équation (4), on trouvera

Corollaire I. — Si dans l’équation (5) on remet pour ((1))mn sa valeur tirée de la formule (6) (§ III), on obtiendra la suivante :

Problème III. — Trouver les diverses valeurs de l’expression

((α+β−1))−mn.

Solution. — On aura, d’après la définition même des puissances négatives,

((α+β−1))−mn=1((α+β−1))mn;

puis, en remettant pour ((α+β−1))mn sa valeur tirée de l’équation (6), et ayant égard à la formule (17) du § II, on trouvera

((α+β−1))−mn=ρ−mn[cos⁡m(θ±2kπ)n−−1sin⁡m(θ±2kπ)n]=ρ−mn(cos⁡mθn−−1sin⁡mθn)(cos⁡m.2kπn∓−1sin⁡m.2kπn)

ou, en d’autres termes,

Corollaire I. — Si l’on fait m=1, l’équation (7) donnera

Après avoir fixé, comme on vient de le faire, les diverses valeurs des quatre expressions

((α+β−1))1n,((α+β−1))mn,((α+β−1))−1n,((α+β−1))−mn,

on reconnaîtra sans peine que les équations (4), (5), (8) et (7), à l’aide desquelles on détermine ces valeurs, peuvent être remplacées par une seule formule. Si l’on représente par a une quantité positive ou négative dont la valeur numérique soit fractionnaire, la formule dont il s’agit sera

Dans les calculs qui précèdent, ρ désigne toujours le module de l’expression imaginaire α+β−1, c’est-à-dire la quantité positive α2+β2, et θ l’un quelconque des arcs propres à vérifier l’équation (1) ou, ce qui revient au même, les équations (4) du § II, savoir

En divisant ces deux dernières l’une par l’autre, on en conclura

Par suite, si l’on nomme ζ le plus petit arc, abstraction faite du signe, qui ait pour tangente βα, ou, en d’autres termes, si l’on fait

on trouvera

Cela posé, il deviendra facile d’introduire au lieu de l’arc θ, dans les diverses formules rapportées plus haut, l’arc ζ, dont la valeur est complètement déterminée. On y parviendra, en effet, par les considérations suivantes.

Les arcs θ et ζ, ayant la même tangente, auront aussi, abstraction faite du signe, le même sinus et le même cosinus ; et, comme d’ailleurs l’équation (13) peut se mettre sous la forme

sin⁡θcos⁡θ=sin⁡ζcos⁡ζ,

il est clair que, pour y satisfaire, on devra poser en même temps ou

ou bien

De plus, la valeur de cos⁡θ déterminée par la première des équations (10) étant évidemment de même signe que α, tandis que l’arc ζ compris entre les limites −π2,+π2 toujours un cosinus positif, il en résulte que, des équations (14) et (15), les deux premières subsisteront, si α est positif, et les deux dernières, si α est négatif. Voyons maintenant à quoi se réduisent, dans ces deux hypothèses, les formules (1) et (9).

Si d’abord on suppose α positif, les équations (10) pourront être remplacées par les équations (14), et l’on déduira de celles-ci une infinité de valeurs de θ, parmi lesquelles on doit remarquer la suivante :

Lorsqu’on fait usage de cette valeur, les formules (1) et (9) deviennent respectivement

Si l’on suppose en second lieu α négatif, les équations (10) pourront être remplacées par les équations (15), desquelles on déduira, entre autres valeurs de θ,

Par suite, on pourra, dans cette hypothèse, aux formules (1) et (9) substituer celles qui suivent :

Si l’on fait en particulier α+β−1=−1, c’est-à-dire α=−1, β=0, on trouvera

ζ=arctang⁡0−1=0,

et la formule (21) deviendra

Il en résulte qu’on aura généralement dans l’hypothèse admise

En réunissant aux formules (17), (18), (20) et (23) les équations (25) et (26) du § III, on obtiendra définitivement les conclusions suivantes.

Soient α+β−1 une expression imaginaire quelconque, a une quantité positive ou négative dont la valeur numérique soit fractionnaire, et k un nombre entier choisi arbitrairement. Si l’on fait, de plus,

on aura, pour des valeurs positives de α,

et, pour des valeurs négatives de α,

On doit ajouter que, si l’on désigne par n le dénominateur de la fraction la plus simple qui représente la valeur numérique de a, n sera précisément le nombre des valeurs distinctes de chacune des expressions

((1))a,((−1))a,((α+β−1))a,

et que, pour déduire ces mêmes valeurs des formules (25) et (26), il suffira d’y substituer successivement, au lieu de 2k et de 2k+1, tous les nombres entiers qui ne sortent pas des limites 0 et n.

Si la valeur numérique de a devenait irrationnelle, chacune des expressions réduites

cos⁡2kaπ±−1sin⁡2kaπ,

cos⁡(2k+1‾aπ)±−1sin⁡(2k+1‾aπ),

aurait un nombre indéfini de valeurs correspondantes aux diverses valeurs entières de k; et, par suite, on ne pourrait plus admettre dans le calcul les notations

((1))a,((−1))a,((α+β−1))a,

à moins de considérer chacune d’elles comme propre à représenter une infinité d’expressions imaginaires distinctes les unes des autres. Pour éviter cet inconvénient, nous n’emploierons jamais les notations dont il s’agit que dans le cas où la valeur numérique de a sera fractionnaire.

Parmi les diverses valeurs de ((1))a, il en est une toujours réelle et positive, savoir, +1, que l’on indique par la notation (1)a ou 1a, en faisant usage de parenthèses simples, ou même les supprimant entièrement. Si l’on substitue cette valeur particulière de ((1))a dans la seconde des équations (25), on obtiendra une valeur correspondante de

((α+β−1))a,

que l’analogie nous porte à indiquer, à l’aide de parenthèses simples, par la notation

(α+β−1)a.

C’est ce que nous ferons désormais. Par suite, on aura, en supposant α positif, et les quantités ρ,ζ déterminées par les équations (24),

Cette dernière équation ayant lieu toutes les fois que la valeur numérique de a est entière ou fractionnaire, l’analogie nous conduit encore à la considérer comme vraie dans le cas où cette valeur numérique devient irrationnelle. En conséquence, nous conviendrons de désigner par

(α+β−1)a

le produit ρa(cos⁡aζ+−1sin⁡aζ), dans le cas où a sera positif, quelle que soit la valeur réelle attribuée à la quantité a. En d’autres termes, si l’on désigne par ζ un arc compris entre les limites −π2,+π2, on aura, quel que soit a,

[ρ(cos⁡ζ+−1sin⁡ζ)]a=ρa(cos⁡aζ+−1sin⁡aζ).

Si dans l’équation précédente on fait ρ=1, elle deviendra

Cette dernière formule est entièrement semblable aux équations (10) et (14) du § II, avec cette seule différence qu’elle subsiste uniquement pour des valeurs de comprises entre les limites −π2,+π2, tandis que les équations dont il s’agit s’étendent à des valeurs quelconques de θ.

Lorsque la quantité α devient négative, on ne voit plus, même en supposant fractionnaire la valeur numérique de a, quelle est celle des valeurs de l’expression ((α+β−1))a que l’on pourrait distinguer des autres et désigner par la notation

(α+β−1)a.

Mais alors, −α étant une quantité positive, il est facile d’établir, pour des valeurs quelconques de a, la formule

Nous terminerons ce paragraphe en faisant observer que, dans le cas où la valeur numérique de a devient fractionnaire, les formules (27) et (29) réduisent les équations (18) et (23) à celles qui suivent

l’équation (30) ayant lieu seulement pour des valeurs positives de la quantité \alpha, et l’équation (31) pour des valeurs négatives de la même quantité.

§ V. — Applications des principes établis dans les paragraphes précédents.

Nous allons appliquer les principes établis dans les précédents paragraphes à la résolution de trois problèmes sur les sinus et cosinus.

Probleme I. — Transformer sin⁡mz et cos⁡mz (m désignant un nombre entier quelconque) en un polynôme ordonné suivant les puissances ascendantes et entières de sin⁡z, ou du moins en un produit formé par la multiplication d’un semblable polynôme et de cos⁡z.

Solution. — Lorsque dans les équations (12) du § II on remplace les puissances paires de cos⁡z par des puissances entières de 1−sin2z, ces équations deviennent, pour des valeurs paires de m,

cos⁡mz=(1−sin2z)m2−m(m−1)1.2(1−sin2z)m−22sin2z+m(m−1)(m−2)(m−3)1.2.3.4(1−sin2z)m−42sin4z−…,sin⁡mz=cos⁡z[m1(1−sin2z)m−22sin⁡z−m(m−1)(m−2)1.2.3(1−sin2z)m−42sin3z+…].

et, pour des valeurs impaires de m,

cos⁡mz=cos⁡z[(1−sin2z)m−12−m(m−1)1.2(1−sin2z)m−32sin2z+m(m−1)(m−2)(m−3)1.2.3.4(1−sin2z)m−52sin4z−…],sin⁡mz=m1(1−sin2z)m−12sin⁡z−m(m−1)(m−2)1.2.3(1−sin2z)m−32sin3z+….

Si l’on développe les seconds membres des quatre formules précédentes, ou du moins les coefficients de cos⁡z dans ces seconds menibres, en polynômes ordonnés suivant les puissances ascendantes et entières de sinz, on trouvera, pour des valeurs paires de m, m

et, pour les valeurs impaires de m,

Les équations (1) et (2) comprennent évidemment la solution de la question proposée. Il ne reste plus qu’à les présenter sous la forme la plus simple. Pour y parvenir, il suffira d’observer que le coefficient de chaque puissance entière de sin⁡z renferme généralement une somme de fractions à laquelle l’équation (5) du Chapitre IV (§ III) permet de substituer une fraction unique. Par suite de cette réduction, les développements de cos⁡mz et de sin⁡mz deviendront, pour des valeurs paires de m,

et, pour des valeurs impaires de m,

Corollaire I. — Si dans l’équation (3) on fait successivement

m=2,m=4,m=6,…,

on obtiendra les suivantes :

Corollaire II. — Si dans l’équation (6) on fait successivement

m=1,m=3,m=5,…,

on en tirera

Problème II. — Transformer sin⁡mz et cos⁡mz (m désignant un nombre entier quelconque) en un polynôme ordonné suivant les puissances ascendantes et entières de cos⁡z, ou du moins en un produit formé par la multiplication d’un semblable polynôme et de sin⁡z.

Solution. — Pour obtenir les formules qui résolvent la question proposée, il suffit de remplacer, dans les équations W(3), W(4), (5) et (6), z par π2−z, et d’observer en outre qu’on a, pour des valeurs paires de m,

cos⁡(mπ2−mz)=(−1)m2cos⁡mz,sin⁡(mπ2−mz)=(−1)m2+1sin⁡mz;

et, pour des valeurs impaires de m,

cos⁡(mπ2−mz)=(−1)m−12sin⁡mz,sin⁡(mπ2−mz)=(−1)m−12cos⁡mz.

On trouvera de cette manière, si m est un nombre pair,

et, si m est un nombre impair,

Corollaire I. — Si dans la formule (9) on fait successivement

m=2,m=4,m=6,…,

on obtiendra les suivantes :

Corollaire II. — Si dans l’équation (12) on fait successivement

m=1,m=3,m=5,…,

on en conclura

Problème III. — Exprimer les puissances entières de sin⁡z et de cos⁡z en fonction linéaire des sinus et cosinus des arcs z,2z,3z,….

Solution. — On résout facilement ce problème, en ayant égard aux propriétés des deux expressions imaginaires conjuguées

cos⁡z+−1sin⁡z,cos⁡z−−1sin⁡z.

Si l’on désigne la première par u, et la seconde par v, on aura

2cos⁡z=u+v,2−1sin⁡z=u−v.

En élevant les deux membres de chacune des équations précédentes à la puissance entière du degré m, les divisant ensuite par 2 ou par 2−1, puis effectuant les réductions indiquées par les formules

uv=1,

un+vn2=cos⁡nz,un−vn2−1=sin⁡nz,

dont les deux dernières subsistent pour des valeurs entières quelconques de n, on trouvera, si m représente un nombre pair,

et, si m représente un nombre impair,

Corollaire I. — Si dans la formule (15) on fait successivement

m=2,m=4,m=6,…,

on en conclura

On arriverait aux mêmes équations, si l’on cherchait à déduire des formules (13) les valeurs successives de

cos2z,cos4z,cos6z,…

en fonctions linéaires de

cos⁡2z,cos⁡4z,cos⁡6z,….

Corollaire II. — Si dans la formule (16) on fait successivement

m=2,m=4,m=6,…,

on obtiendra les équations

que l’on pourrait également déduire des formules (7), par l’élimination des quantités

sin2z,sin4z,sin6z,….

Corollaire III. — Si dans la formule (17) on fait successivement

m=1,m=3,m=5,…,

on en conclura

On arriverait aux mêmes équations, si l’on cherchait à déduire des formules (14) les valeurs successives de

cos⁡z,cos3z,cos5z,…

en fonctions linéaires de

cos⁡z,cos⁡3z,cos⁡5z,….

Corollaire IV. — Si dans la formule (18) on fait successivement

m=1,m=3,m=5,…,

on obtiendra les équations

que l’on pourrait également déduire des formules (8) par l’élimination des quantités

sin⁡z,sin3z,sin5z,….