CHAPITRE VI

«ÉSOLUnO-X GÉNÉRALE DES ÉQUATIONS DU PREMIER DEGRÉ.

79. L'emploi des délerminants simplifie beaucoup la résolution générale des équations du premier degré.

Nous démontrerons d'abord les formules ou les règles connues sous le nom de règles de Cramer; puis nous établirons le théorème général de M. Eue. Rouphé, qui nous semble devoir clore définitivement la question.

Règles de Cramer.

80. Considérons un système de n équations du premier degré à n inconnues, que nous représenterons comme il suit :

ttiX ->r bxY -h CiZ -h. . .-h lit z=ip,,

a.iX 4- 62J + CjS -h. . . + /j^ =1 p..

Int

Pu-

Désignons par A le déterminant formé par les n} coefficients <les n inconnues. On aura

a, hi c, ciï b, c.

On peut ordonner A suivant les éléments de ses différentes «^olonnes et l'écrire alors sous les n formes indiquées au n° 50, à l'aide de ses déterminants mineurs de première classe (VV).

Prenons en particulier la première de ces n formes de A,

Dr c. — Cours. 111. 5

6C^ c'esl-à-tlire

ALGEBRE SUPERIEURE.

A = A,ai + Ao(7-2 + A3rt3

Si l'on remplace successivement, dans le déterminant figuré des coefficients des inconnues, la lettre a par les {n — i) autres lettres b, c, ..., l, sans toucher aux indices, on obtiendra chaque fois un déterminant qui sera nul comme ayant deux colonnes identiques {kl). On pourra donc écrire en même temps les (« — i) équations suivantes, dont les premiers membres résultent des mêmes substitutions successives dans l'expression ci-dessus de A :

Aj b^ + A, 62 + A3 Z's -f- . . . -{- A„ b„ — o, Al Cl +A.2C2 -i-AjCs 4-. . .-4- A„c„ =:o, )

' Al /) H- A, ^2 + A3 /g + . . . -i- A„ /„ = o.

Cela posé, multiplions respectivement les n équations (i) par les mineurs Ai, A,, A3, ..., A„ et ajoutons ensuite ces équations membre à membre. Les coefficients des («— i) inconnues y, z, ..., t deviennent précisément, dans cette hypothèse, les premiers membres des {n — i) équations (2), de sorte que ces inconnues se trouvent éliminées et que l'équation provenant de la somme effectuée se réduit à

d'où

(Ai«i -i-A.2rto-i-A3rt3-t-. . .-\-knan)x = Ai/J, + A,/J, +A3/^3-l-. . . + A„/>„;

A,ai-+- A,'^., -h As^a

Si l'on veut mettre les deux termes de celte valeur de x sous forme de déterminants, on a évidemment (i9)

P^ Ih

bo

Pn

On trouve de la même manière les valeurs des (« — i) autres inconnues/, z, ..., t, en se servant successivement des {n — i) autres formes de A ordonné suivant les éléments

ALGEBRE SUPÉRIEURE.

de ses (n — i) autres colonnes (oO) et l'on a

H,/>|-f- Ha/^oHr iî,/;,-i-. . .-+-B,/J)„

ou

• • + ^^nPn

Ih

Co

62 Cj . . .

Pn

bn Cn ...

In

bi Cl . .

b^ Ci

bn

bn C„ . . .

In

On voit que /e dénominateur commun des formules générales ainsi obtenues est le déterminant A des coefficients des inconnues et que, pour avoir le numérateur de chaque Jormule, il faut remplacer dans le dénominateur commun, sans toucher aux indices, le coefficient de l'inconnue dont on veut écrire la valeur par le terme tout connu p pris dans le second membre.

L'énoncé précédent constitue les règles de Cramer, qui les a données dans son Introduction à l'analyse des lignes courbes algébriques (1750) [^voir p. 607 et 658].

81. Pour que la démonstration précédente subsiste, il faut que les déterminants mineurs de première classe, par lesquels on doit multiplier respectivement les équations proposées, ne soient pas tous nuls.

Si cette condition est remplie, chaque équation, telle que

est une conséquence nécessaire des équations (1) [80] et peut remplacer l'une quelconque d'entre elles. Il y a donc alors équivalence entre le système proposé et celui auquel ou parvient par les formules de Oamer.

82. Il est d'ailleurs facile de vérifier que, tant que le déterminant A est différent de zéro, les valeurs données par ces formules satisfont aux équations proposées, qui admettent par conséquent dans ce cas une solution unique et déterminée.

Si l'on substitue, en effet, ces valeurs à la place des inconnues, la première des équations (i) [80] devient, en chassant le dénominateur commun A,

^1 ( A,/?, -T- k.p^ 4- ... H- knPn )

ou bien, en ordonnant dans le premier membre par rapport aux termes tout connus />,, p^, . . ., pn,

/>,(Aiai+ B,6i + . ..-^L,/,)

+ /?2 ( As «1 + B, 6, H- . . . -f- L2 /i ) -h . . .

+/?„(A„ai+B„6i-t-. . . + L„/i)=A./>i.

Or le coefficient de p^ est le déterminant A ordonné suivant les éléments de la première ligne (50), tandis que les coefficients de p^, p^, ..., /?„, sont ce même déterminant ordonné suivant les éléments de la deuxième, de la troisième, . . ., de la /i'^""^ ligne, et où l'on aurait successivement remplacé ces mômes lignes par la première : on a ainsi, chaque fois, un déterminant à deux lignes identiques ou nul (47), de sorte que le premier membre de l'cqualion considérée se réduit à A./^j comme le second membre, et que cette équation est satisfaite par les valeurs mises à la place des inconnues.

On appliquera un raisonnement analogue aux {n — i) autres équations du système (i) [80].

83. En admettant toujours que les déterminants mineurs ne soient pas tous nuls (81), on peut montrer que, lorsque le déterminant A est, au contraire, égal à zéro, le système des équations proposées est impossible ou indéterminé.

Car, si l'on substitue, comme on en a le droit, à la première des équations (i) [80], dont les deux membres ont été multipliés par le mineur A, supposé différent de zéro, la pre-

mière des équations répondant aux formules de Cramer, c'esl-à-dire l'équation

(a) A..r=Ai/?tH-A2/Jo + A3/>3 + . . . + A„/>„,

on forme un système équivalent au système (i).

Or, si le second membre de l'équation (a) est différent de zéro, cette équation, d'après l'hypothèse A=:o, est impossible {Alg. élém., 115), ainsi que le système dont elle fait partie.

Si le second membre de l'équation (a) est aussi nul, cette équation devient une identité {Alg. élém., 116), et le système dont elle fait partie se réduit à un système de {n — i) équations à n inconnues : il est donc indéterminé {Alg. élém., 145).

8i. Nous ne croyons pas utile de poursuivre plus loin cette discussion, le théorème général que nous allons démontrer la rendant beaucoup plus simple et, en même temps, plus complète.

Théorème général de M. Eug. Rouché.

85. M. Rouché a fait connaître ce théorème par une Note insérée dans les Comptes rendus de l' Académie des Sciences (29 novembre 1876). 11 l'a exposé ensuite, avec plus de développements, dans le Journal de l'École Polytechnique (XLVIII" Cahier, 1880), sous le titre de ÎSote sur les équations linéaires. C'est celle exposition que nous prendrons pour guide, en simplitiant les délinilions d'abord adoptées d'après les nouvelles réllexions que l'auteur a bien voulu nous communiquer.

86. Nous représenterons les inconnues par la même lettre affectée d'indices différents.

Soit donc le système d'équations linéaires

a\x^->r a\x^-^ a\xi-\- . . .-\- a"'j:„i=: A',,

a:, x, -+- al ar., 4- . . . 4- a"' x,,, = /.•

Ce système, formé de n équations renfermant m inconnues, et où n peut être supérieur, égal ou inférieur à m, répond à tous les cas possibles.

TO

D'une manière générale, nous ne pourrons pas (sauf le cas de n^m) former un déterminant avec les cocrficlenls des inconnues, mais bien un Tableau rectangulaire analogue à ceux dont nous avons déjà parlé (75). Ce Tableau rectangulaire sera

al

et l'on pourra en déduire des déterminants proprement dits, en y considérant les éléments communs à un certain nombre de lignes et à un nombre égal de colonnes.

87. Nous supposerons d'abord que tous les éléments du Tableau (T) ne sont pas nuls, et qu'il y en a au moins un différent de zéro.

Dans celle hypothèse, parmi les déterminants déduits du Tableau (T), on en trouvera au moins un qui ne sera pas nul et qui sera d'un certain ordre. S'il en existe plusieurs qui ne soient pas nuls, on choisira parmi eux celui d'ordre supérieur. S'il y en a plusieurs de cet ordre supérieur, on en choisira parmi eux un à volonté.

Le déterminanl ainsi choisi, que nous désignerons par à, est appelé le déterminant principal du système (i), et si p est son ordre, p ne peut évidemment surpasser le plus petit des deux, nombres m et n.

D'après cette définition, les déterminants d'ordre supérieur à />, que l'on pourra déduire du Tableau, seront nécessairement nuls.

On peut d'ailleurs, en disposant convenablement les équations (i), supposer, sans restriction aucune, que à est le déterminant obtenu en combinant les p premières lignes et les p premières colonnes du Tableau (T). On aura ainsi

al

Nous nommerons alors inconnues principales les p premières inconnues x^, x^, oc^, . . ., Xp, c'est-à-dire celles qui

ALGEUIIE SUPliRIEURE.

ont pour coefficients les éléments du déterminant principal. Supposons maintenant qu'on borde ce déterminant, à sa partie inférieure, par les p premiers éléments de l'une des lignes du Tableau (T), non employées pour le former, et qu'on le borde en même temps, à droite, par les termes toul connus des équations de même rang que les différentes lignes dont les éléments entrent dans sa composition ainsi modifiée. On obliendra un déterminant d'ordre {p + i), que nous désignerons par àj,.^j et qui sera

ai a'I

al aï

ip ■■■ a';,

*/H-a "p+a '■^p+OL • • • ^p+a (a = i,2,3, . . ., n—p).

On pourra évidemment déduire ainsi, du déterminant principal ô, {n—p) déterminants d'ordre (/?-4-i), en faisant varier a depuis i jusqu'à n—p, puisque {n — p) lignes du Tableau (T) n'ont pas été employées dans la formation de ô.

Ces {n —p) déterminants d'ordre/j-i- i sont appelés, à leur tour, les déterminants caractéristiques du système (i).

Lorsque /> est égal à /i, toutes les lignes du Tableau (T) figurent par leurs p premiers éléments dans le déterminant principal o, et il n'existe aucun déterminant caractéristique du système (i).