ARRANGEMENTS, ETC
n'* 120, c'est-à-dire deux arrangements n k n de ces n objets, on peut passer de l'une à l'autre par une suite de transpositions, puisque, par une transposition, on peut amener un objet quelconque à la place qu'il doit occuper. On peut parvenir au même résultat en ne faisant jamais que des transpositions qui portent sur deux cléments consécutifs de l'arrangement auquel on est parvenu : c'est là une observation que l'on fait déjà dans les éléments de l'Arithmétique lorsqu'on veut prouver que, dans un produit de plusieurs facteurs, on peut intervertir comme on veut l'ordre de ces facteurs.
Par exemple, pour passer de l'arrangement i, 2, 3, 4 à l'arrangement 2, 4î 3, 1 ; on peut effectuer successivement les transpositions (i, 2), (i, 4)> ce qui donne successivement les arrangements
ou les transpositions successives (1, 2), (3, 4), (i, 4)? (ï? 3), ce qui donne les arrangements successifs
Pour arriver au même arrangement 2, 4? 3, i en partant du même arrangement i, 2, 3, 4? on a fait dans le premier cas deux transpositions successives, quatre dans le second.
On voit que pour effectuer la permutation
qui consiste à remplacer i par 2, n par 4? à laisser 3, à remplacer 4 par 1, on peut transposer d'abord les éléments i et 2, puis les éléments 1, 4j oii bien transposer d'abord les éléments i et 2, puis les éléments 3 et 4, puis les éléments i et 4? puis les éléments 1 et 3.
Pour effectuer une permutation quelconque on peut effectuer une suite de transpositions.
Par exemple encore, la permutation circulaire (i , li, 3, 4, 5) revient à la suite de transpositions (i, 2), (i, 3), (i, 4)? ('? 5). En général une permutation circulaire, portant sur n éléments, équivaut à une suite de n — i transpositions.
123. Étant donné un arrangement quelconque a< «o . . .a„, a„ de n objets, la transposition qui consiste à échanger les deux éléments
extrêmes et qui conduit ainsi à l'arrangement «,,«2 . . .a,/i «i revient à une suite de 2 /i — 3 transpositions, dont chacune porte sur deux éléments consécutifs de Tarrangement auquel on vient de parvenir, à savoir d'abord les n — i transpositions («i, «a), («,, «3), ..., («i, o„^s\ (a,, an) qui amènent successivement l'élément ai, à la seconde, à la troisième, etc., à la dernière place, en sorte qu'après avoir effectué ces transpositions successives on est parvenu à l'arrangement
puis les /? — 2 transpositions successives, (an, a„i)j (an^ aa i), (a/,, aa) qui amènent l'élément «,, de l'avant-dernière place à la précédente et, finalement, à la première. Les n — i premières transpositions équivalent à la permutation circulaire
Si l'on effectue maintenant une transposition quelconque dans un arrangement, on voit que cette transposition équivaudra toujours à un nombre impair de transpositions portant, chaque fois, sur deux éléments consécutifs de l'arrangement auquel on vient de parvenir. Il suffit de négliger, par la pensée, les objets qui précèdent le premier des objets que l'on transpose et ceux qui suivent le second : on est ramené au cas précédent.
124. Considérons n objets distincts auxquels on attribue un ordre naturel; par exemple, n numéros différents dont on dira qu'ils sont rangés dans l'ordre naturel, s'ils sont rangés par ordre de grandeur croissante, ou n lettres dont on dira qu'elles sont rangées dans l'ordre naturel, si elles sont rangées dans l'ordre alphabétique. Je raisonnerai en supposant qu'il s'agisse de n numéros distincts.
Si, dans un arrangement quelconque de ces numéros, qu'on lit, suivant l'habitude, de gauche à droite, on considère deux d'entre eux, le premier que Ton rencontre peut être le plus petit, ou le plus grand; dans le premier cas on dit que, dans l'arrangement considéré, les deux numéros ne présentent pas d'inversion; dans le second cas, on dit qu'ils présentent une inversion. On dit aussi que l'arrangement ne comporte pas d'inversion, ou comporte une inversion relativement à ce couple de numéros. Le nombre total d'inversions que
ARRANGEMENTS, ETC. 3o I
comporte F arrangement est le nombre de couples de numéros qui présentent une inversion.
Pour compter ce nombre d'inversions, on procédera comme ii suit: on partira du premier élément (à gauche) de l'arrangement, e\ Ton comptera les inversions qu'il peut présenter avec le second, le troisième, etc., le dernier élément; on passera ensuite au second élément et Ton comptera le nombre d'inversions qu'il présente avec le troisième, le quatrième, etc., le dernier élément, etc.; enfin on examinera si l'avant-dernier élément et le dernier présentent une inversion : la somme de tous les nombres ainsi obtenus est le nombre total d'inversions présenté par l'arrangement.
Considérons par exemple l'arrangement 5, 3, 2, i, 4? 6, le premier élément 5 présente une inversion avec chacun des éléments 3, 2, I, 4 qui le suivent; il n'en présente pas avec (>; le second élément 3 présente une inversion avec 2, i; le troisième élément 2 présente une inversion avec 1 ; aucun des éléments i , 4 ne présente d'inversion avec ceux qui le suivent; on a en tout 4-f-i4-f-iH-o-f-o = ^ inversions.
L'arrangement (i, 2, 3, ..., n) ne comporte aucune inversion; l'arrangement (n, n — i , . . ., 3, 2, i) comporte
(n — l)-h(rt — 2)-h. ..H-2 -H 1^= — ^ ■
inversions; c'est évidemment l'arrangement de n nombres qui comporte le plus d'inversions.
125. Convenons de dire qu'un arrangement est de première classe s'il comporte o ou un nombre pair d'inversions, qu'il est de seconde classe s'il présente un nombre impair d'inversions.
Un arrangement change de classe quand on elFectue une trans|)osition entre deux éléments de cet arrangement.
Par exemple l'arrangement 5, 3, 2, i, 4? ^ est de seconde classe; transposons les éléments 3, 4i on obtiendra l'arrangement 5, 4) 2, 1, 3, 6 et, en comptant les inversions d'après la règle du numéro précédent, on en trouve 4 -h 3 H- 1 = 8; le nouvel arrangement est de première classe.
La proposition est évidente quand on transpose deux éléments consécutifs; en effet, on ne modifie pas alors les inversions que ces deux
éléments présentent, soît avec les éléments qui précèdent leur couple, soit avec ceux qui le suivent. Si dans Tarrangement considéré le premier élément du couple était plus grand que le second, il y avait, de ce fait, une inversion qu'on supprime par la transposition: au contraire, si les deux éléments du couple ne présentaient pas d'inversion, la transposition en introduit évidemment une. Dans les deux cas le nombre d'inversions est modifié d'une unité, rarrangemenl a changé de classe.
Supposons que les deux éléments qu'on transpose ne soient pas consécutifs; on a vu plus haut que leur transposition équivaut à un nombre impair de transpositions, effectuées chaque fois sur deux éléments consécutifs de l'arrangement auquel on vient de parvenir: par chaque transposition, l'arrangement a changé de classe; il a changé un nombre impair de fois, il a finalement changé de classe.
11 résulte immédiatement de là que, si l'on considère les n\ arrangements possibles n k n des n numéros i, 2, 3, . . ., /?, il y a autant d'arrangements de la première classe que d'arrangements de la seconde classe. Car, si l'on suppose les arrangements distribués dans les deux classes et que l'on effectue une transposition quelconque, Tenserable de tous ces arrangements ne sera pas changé par cette transposition; mais elle fera passer les arrangements de la première classe dans la seconde, ceux d^ la seconde dans la première : or il doit y avoir maintenant autant d'arrangements dans la première classe, ou dans la seconde, qu'auparavant.
On a vu au n" 123 qu'on pouvait passer d'un arrangement de n numéros n k n k un autre de ces arrangements par une suite de transpositions. Cela peut se faire d'une infinité de façons; mais, de quelque façon que l'on opère, le nombre de transpositions que l'on effectue conserve la même parité. Il est pair si les deux arrangements sont de même classe, impair s'ils sont de classe différente.
Considérons un arrangement (n k n) a^ a^ - * > cin des n numéros I, 2, . . ., u. Si, de cet arrangement, on supprime le premier élément rt|, comment sera modifié le nombre d'inversions?
Il y a, dans l'arrangement, a s — i numéros plus petits que ai, à savoir les numéros 1, 2, 3, . . ., a^ — i ; ils sont tous placés après as ; avec chacun d'eux ai présente une inversion, et toutes ces inversions ont disparu de Tarrangement a^a^ . . .a,,. On a donc supprimé Ui — i inversions.
ARRANGEMENTS, ETC. 3o3
126. Si l'on considère un polynôme à n variables x^^ x^^ , , .^ x,i et si l'on effectue sur ces variables les n\ permutations possibles, y compris la permutation identique, qui laisse le polynôme tel qu'il était, divers cas peuvent se présenter. Il peut se faire que les n ! permutations conduisent à des polynômes qui soient tous distincts : c'est ce qui arrive, par exemple, pour le polynôme
ai J7i -f- a j 0^2 -j- . . . -h a,i Xn
si ses coefficients «i, «2? • • -j^/* sont tous différents, ou encore pour le monôme x^^^x^*, . .J^J", si tous les exposants sont différents.
Il peut se faire, au contraire, que tous les polynômes auxquels on parvient ainsi soient identiques ; ce serait le cas pour le polynôme
:ri -h a7j -H . . . -^Xa
ou pour le monôme
S'il en est ainsi le polynôme est dit symétrique par rapport aux variables :r«, x^, . . ., ^„.
Pour reconnaître qu'un polynôme en x^^ x^f . . ., Xn (dans lequel je suppose qu'on ait effectué la réduction des termes semblables) est symétrique par rapport à ces variables, il suffit de constater que le |)olynome reste identique à lui-même quand on transpose d^eux quelconques des variables, puisqu'une permutation quelconque peut toujours être remplacée par une suite de transpositions.
On a remarqué plus haut que l'ensemble des combinaisons/? à p (le n objets ne changeait pas quand on effectuait sur ces combinaisons un arrangement quelconque; en supposant que ces objets soient les variables x^^x^-, ...? ^/n chaque combinaison p kp peut èlre regardée comme le produit de p de ces variables; il est clair, d'après cela, que la somme des C" produits différents, p à /?, des n variables ^i, x-^^ .. ., Xn constitue un polynôme symétrique par rapport à ces n variables. Le» polynômes que l'on peut ainsi former, à savoir
Xx-^Xi^Xt-\r...-h Xny
^1 iPl -h a^i 373 H- . . . -H Xn-i Xfi, X\X^Xz-^ XxXiX'^-\-., .-4- X„-^X,t-iXft, • »
3o4 CHAPITRE VIII.
sont au nombre de /i, on leur donne le nom de fonctions symétriques élémentaires des variables x^^ ^2, . . ., ^«.
Par exemple, les fonctions symétriques élémentaires des quatre variables rt, &, c, d sont
a -H 6 -+- c 4- rf,
ab -\- ac -f- ad -^ bc -h bd -h cd,
bcd -H acd -+- abd -+- abc^
abcd.
Il est manifeste que, si l'on désigne par ^1,^2, . . •? ^w les n fonctions symétriques élémentaires des n variables ^1, j^o^ • ••- ^w? to"' polynôme enjKi?JK2î •••^JK/* sera, si Ton y remplace ^1,^2, •••7 V» par leurs expressions en X|, ^2, ..., j:*;», un polynôme symétrique en Xi, ^2î • • •) ^/i- On montrera plus tard que, réciproquement, tout polynôme symétrique en .ri, x^^ . . ., Xn peut se mettre sous la forme d'un polynôme eny,, V2, • • -, ^/i-
Le cas où un polynôme en a^i , ^2? . . • ? ^/i ne change pas quand on effectue une permutation sur les lettres ^i, X2, . . •, x„, celui où il change toujours, sont deux cas extrêmes. Voici quelques exemples importants de cas intermédiaires.
Considérons le produit
(a?a— a:,)(jr5--jr,) ( rr^ — ;r 3 ) ( J7^ — a?, ) ( arv — jr , )
des — différences que l'on peut former entre l'une quelconque
des variables x^^ x^^ . . ., x„ et celles qui la précèdent.
Ces ; facteurs peuvent être regardés comme provenant des
combinaisons deux à deux des n lettres oti, x^j • . ., Xn] une permutation quelconque effectuée sur ces lettres ne change pas Fensemble de ces combinaisons, mais peut changer l'ordre des lettres qui figurent dans l'une d'elles, c'est-à-dire ici le signe d'un facteur, ou remplacer un facteur par quelque autre facteur, peut-être changé de signe. On voit donc que, par toutes les permutations possibles, le précédent poly-
ARRANGEMENTS, ETC. 3o>
nome ou bien se reproduira, ou bien se reproduira changé de signe. Toutes les ni permutations ne produisent que deux polynômes distincts. Il est d'ailleurs bien aisé de distinguer les permutations qui ne changent pas le polynôme de celles qui le font changer de signe. Si Ton attribue aux variables Xt, x-y, • - . , X/, des valeurs numériques quelconques, mais distinctes, et que l'on convienne de dire, comme au n** 124, que, dans la suite a^i, x-jj ..., x„^ deux éléments Xp, Xq {p < q) présentent ou non une inversion suivant que le premier de ces éléments est plus petit ou plus grand que le second, on reconnaît immédiatement que, dans le produit de différences, le nombre de facteurs négatifs est égal au nombre d'inversions de la suite Xi, x^^ ..., x,/, une transposition effectuée sur deux éléments de la suite modifie d'une unité le nombre des inversions et change le signe du produit. Les permutations qui ne le changent pas sont celles qui équivalent à un nombre pair de transpositions, celles qui lui font changer son signe équivalent à un nombre impair de transpositions.
Considérons encore, dans le cas de quatre variables a, b^ c, rf, le . polynôme ab -\- cd. Le lecteur reconnaîtra sans peine que les vingl- (|ualre permutations possibles ne produisent que les trois polynômes distincts
ab -h cd^ ac -f- bd^ ad -h bc ;
huit permutations conservent le polynôme ab-^-cd^ huit autres le changent en ac + bd^ les huit restantes le changent en ad H- bc.
Les propositions qui précèdent constituent le point de départ de recherches qui ont été poussées très loin et qui ont la plus grande importance pour la théorie de la résolution des équations algébriques.
127. Le lecteur n'a pas manqué de remarquer que les nombres C" de combinaisons de n objets /> à /> sont précisément les coefficients numériques du développement de {x -f- a)"; c'est ce qu'il est aisé de voir directement, en fondant sur la théorie qui précède une nouvelle démonstration de la formule du binôme : cette démonstration s'appuie sur une formule qui a d'ailleurs de l'intérêt par elle-même.
Au lieu de considérer le produit (^ -h a)" de n facteurs identiques k a: -^a, considérons le produit de n facteurs distincts
( jr -h a) (or H- 6). . .(a? -^ A:); T. 20
3o6 CHAPITRE VIII.
développons ce produit et ordonnons-le suivant les puissances descendantes de X,
On obtient un terme quelconque du produit, en faisant le produit de n facteurs dont chacun est l'un des termes des binômes x-\-a^ X -h b^ ..., X -\- k.
Le terme du plus haut degré s'obtiendra en faisant le produit de n facteurs égaux à x, c'est x"] les termes de degré n — i s'obtiendront en prenant dans n — i binômes le premier terme, et dans le ^lème bJnome le second. D'une façon générale, les termes du y?'*™"* degré s'obtiendront en considérant une combinaison p k p des binômes X ^ a^ X -{- bj . . ., X -{- k eilai combinaison complémentaire formée des n-\-p binômes restants. Le produit des premiers termes des binômes qui figurent dans la première combinaison, multiplié par les seconds termes des binômes qui figurent dans la combinaison complémentaire, fournira un terme de degré />, en x. Dans tous les termes analogues on mettra xP en facteur; le coefficient de xP sera la somme des produits difi^érents n — p k n — p des termes a, 6, c, . . ., k.
On aura ainsi
(:r -h a) (ar -h 6) (a? -{- c). . . ( J7 -h A')
= a:« H- (a -h 6 -h c H- ... H- k)x"-^ -h {ab -h ac -{-... 4- lik)x^-^ -f- ... -h a6 ... k.
En supposant maintenant que tous les nombres a, b^ c, ,,,, k soient égaux et en se rappelant que C" désigne le nombre des combinaisons de n objets p k p, on obtient la formule
EXERCICES
117. Considérons n lettres a, 6, .. ., / et un groupe de p lettres dont chacune soit une des lettres a, 6, ...,/, en sorte qu'une même lettre puisse être répétée plusieurs fois dans un même groupe. Ces groupes prennent le nom à! arrange tnents avec répétition de n lettres p k p, si l'on regarde comme distincts deux groupes qui didèrent soit par la nature, soit par Tordre des lettres qui y figurent, et de combinaisons avec répétition de n lettres/? à p. si Ton ne regarde comme distincts que les groupes qui différent par la nature des lettres qui y figurent.
Le nombre d'arrangements avec répétition de n lettres p k p est nP,
ARRANGEMENTS, ETC. àoy
118. Le nombre CJ'^, de combinaisons avec répétition de n lettres p À p est G///\
On peut parvenir comme il suit à l'évaluation du nombre (J'/,. Les ()'/, combinaisons avec répétition contiennent en tout pij'^ lettres ; chacune des n lettres devant figurer le même nombre de fois, la lettre a doit
fijçurer, en tout, — ^J fois : d'autre part, si on la retire une fois de l'une des
combinaisons qui la contiennent, il restera une des (j'/,-i combinaisons des n lettres j[> — i à/> — i; dans ces Çp-i combinaisons la lettre a figure en tout
Çj-i fois; d'où la relation
119. Appliquer un raisonnement de la même nature que le précédent à la démonstration de la formule
P. rn — H"-' et à la détermination du nombre C'/,,
120. Lorsqu'il peut se produire, en tout, n événements que l'on regarde comme également probables et que/? de ces n événements satisfont à une certaine condition, la probabilité pour que l'un des n événements, se produisant
au hasard, satisfasse à la condition considérée est, par définition, la fraction — •
Par exemple, la probabilité pour que, en jetant un dé au hasard, on amène
un nombre donné est -^ •
On jette deux dés : quelle est la probabilité pour que les nombres marqués par les dés soient deux nombres donnés? Il y a lieu de distinguer le cas où les deux nombres donnés sont pareils, et celui où ils diffèrent.
Quelle est la probabilité pour amener deux nombres formant une somme donnée (au plus égale à douze)? Pour amener deux nombres formant une somme supérieure à un nombre donné, inférieure à un nombre donné?
121. Une urne contient n boules marquées i, 2, 3, . ., n. On prend/? de ces boules: quelle est la probabilité pour qu'on amène les numéros i, 2, ...,/>? Si l'on prend ces p boules successivement, quelle est la probabilité pour qu'on amène successivement ces numéros i, 2, ...,/? dans l'ordre i, 2, ...,/??
122. Parmi les Cj$ combinaisons des n nombres 1,2, . . ., /i pris /? à /?, combien y en a-t-il qui soient formées avec a des nombres i, 2, .,,, k et p — a des nombres A: -+- 1, A- H- 2, . . ., n?
3o8 CHAPITRE VIII.
Établir la formule
c;i= G;r'' CJ-+- cjif c{ -4-. . .-f- qjz^aCâv. . .^ c;zj:ci:.
i23. Une urne contient n boules, dont k blanches et n — k noires, on prend au hasard p de ces boules; quelle est la probabilité pour qu'il y ait a boules blanches et /> — a boules noires?
124. Dans un jeu de 3'2 cartes on prend I9. cartes au hasard: quelle est la probabilité de trouver parmi ces \i cartes 8 cartes de la même couleur?
123. Dans un jeu de 32 cartes on prend 12 cartes, puis 5; on regarde les 12 premières cartes et l'on désire trouver a cartes déterminées parmi les 5 cartes; quelle est la probabilité pour qu'elles s'y trouvent effectivement?
126. En désignant par a, p deux nombres naturels premiers entre eux, on sait que. si l'on divise par p les termes de la suite
on trouve les nombres i, 2, ...,/? — i rangés dans un certain ordre. On peut se proposer de trouver le nombre d'inversions contenues dans cette suite. En supposant donné le nombre/?, résoudre le problème pour a = 2, a = 3.
127. Soit aia%,.,an un arrangement n à /ides numéros i, v., 3, ...,/i. Soient i le nombre d'inversions contenues dans cet arrangement, A et A' les nombres respectifs d'inversions contenues dans les arrangements aiai,,.ax d'une part et «a-^-iaa-f-s . . . «« de l'autre; montrer que l'on a
I = A -h A -4- Oi-H a2-+-...-+-aa : --
On reconnaît sans peine que la différence I — A — A' ne dépend pas de l'ordre dans lequel sont rangés les nombres ai, a^, ..., a», et que, si l'on suppose les nombres rangés par ordre de grandeur, il y a, parmi les nombres aa-^.l, aa+s, ..., a„, a\ — i nombres plus petits que aj, aj — 2 nombres plus petits que a*, etc.
128. Montrer qu'une permutation donnée (au sens du n® 122), portant sur n éléments, peut être remplacée par un certain nombre de permutations circulaires dont chacune ne porte, en général, que sur une partie des n éléments, les éléments qui sont changés par une de ces permutations restant inaltérés par toutes les autres. Si parmi ces permutations circulaires il y en a A: qui portent sur un nombre pair d'éléments, le nombre de transpositions qui équivalent à la permutation donnée est de même parité que k — i.
128. Je commence par rappeler quelques notions et principes concernant les systèmes d'équations; je crois inutile de revenir sur les principes qui se rapportent à une seule équation.
Étant donné un système d'équations ( ' )
où X| , Xj, . . . , X„ sont des expressions dont on sait calculer la valeur numérique quand on connaît les valeurs numériques des inconnues ^j y-* ^i • • -5 P^^ exemple des polynômes en x, y^ z, . . .; on sait qu'on appelle solution de ce système d'équations tout système de nombres a^oj^o, 3©, ... qui, substitués à la place de ^, y, 3, . . . dans X|, Xa, . . ., X,|, annulent ces expressions.
Cette définition s'applique quand on a affaire à des équations purement numériques; mais il peut se faire que les expressions X^, X2, ..., X„ contiennent des coefficients représentés par des lettres /i, 6, c, . . . que l'on regarde comme des données : les coefficients «, 6, c, . . . sont susceptibles soit de prendre toutes les valeurs possibles, soit de prendre seulement les valeurs qui satisfont à certaines conditions.
Dans ce cas on appellera solution du système proposé un système d'expressions en a, 6, c, . . . telles qu'en remplaçant ^, ^, 2, ... par
(*) Pour simplifier un peu, j'ai supposé qu'on avait fait passer tous les termes <lans un membre, mais cette supposition n'a rien d'essentiel, et le lecteur verra sans peine les légères modiCcations qu'il faudrait apporter au texte, si elle n'était pas réalisée.
ces expressions, X|, Xo, . . ., X,, deviennent nuls, quelles que soient les valeurs numériques de a, 6, c, ..., vérifiant toutefois les conditions imposées à ces coefficients.
Il peut aussi arriver qu'une solution du système proposé soit formée par des expressions qui contiennent une ou plusieurs indéterminées : on doit alors entendre que X|, X2, . . ., X„, quand on y remplace x, y^ z^ . . . par ces expressions, s'annulent quelles que soient les valeurs numériques de ces indéterminées, au moins lorsque ces valeurs satisfont à certaines conditions qui peuvent leur être imposées.
Au fond, tous ces cas ne diffèrent pas essentiellement; on peut, afin de regarder une solution comme formée d'un système de nombres, imaginer qu'on a attribué soit aux coefficients, soit à ces indéterminées dont je viens de parler, des valeurs numériques; les expressions des inconnues x, y^ z^ . . ., au moyen des coefficients ou des indéterminées, deviennent alors des nombres qui doivent annuler Xi,
On dit que deux systèmes d'équations en x^y, z, ...
(r) Xi=o, Xj=o,
(2) Yi =0, Y, =0
sont équivalents quand les solutions de l'un sont les mêmes que les solutions de l'autre ; pour prouver l'équivalence de deux systèmes, il faut prouver que toute solution du premier est une solution du second, que toute solution du second est une solution du premier.
Lorsque toute solution du premier vérifie le second, on dit que le premier système entraîne le second. Pour prouver que deux systèmes sont équivalents, il faut prouver que chacun d'eux entraîne l'autre.
Il est clair que si, dans un système d'équations, on remplace une équation par une équation équivalente, on obtient un système équivalent au premier; de même encore, en remplaçant dans le système proposé un système partiel d'équations par un système équivalent.
Si ai, «2, " ", cifi sont des nombres dont le dernier n'est pas nul, le système
Xi=:0, X2=0, ..., X,j-i=0, X«=o
ÉQUATIONS DU PREMIER DEGRÉ. 3ll
est équivalent au système
Xi = o, X, = o, . . . , X,i-i = o,
ai Xj -1- a j Xj -H . . . -f- an X« = o.
Il est clair, en effet, quels que soient les nombres ^,, «2) • ••? «//? que le premier système entraîne le second; quant au second, il enti'aîne évidemment le suivant
X| = o, Xj = o, . . . , Xrt| = o, an^n = o,
c'est-à-dire le premier, lorsqu'on suppose que an n'est pas nul.
Cette proposition sera généralisée plus tard (*).
Considérons un système, dont l'une des équations, la première par exemple, soit résolue par rapport à l'une des inconnues or, laquelle se trouve ainsi, en général, exprimée au moyen des données et des autres inconnues y, z, On obtient un système équivalent au proposé, en reproduisant d'abord la première équation, puis en remplaçant dans les autres équations l'inconnue x par son expression en
En effet, si l'on considère une solution quelconque de l'un ou de l'autre système, la valeur de x et celle de son expression au moyen des autres inconnues jk? 2, . . . qu'on a substituée à x dans les équations du premier système pour former le second sont les mêmes, en vertu de la première équation commune aux deux systèmes; dire que les équations de l'un ou de l'autre des systèmes sont vérifiées, c'est dire la même chose (*^).
(^) On peut observer de suite que la démonslralion ne suppose nullement que les quantités a^y a^,, ..., a„i soient des nombres : elle subsisterait évidemment si ces^ quantités étaient des polynômes contenant les inconnues.
(') La proposition se généralise aisément; si Ton considère, par exemple, les équations
X — y = 'it a?'— ^' = 8;
donc la seconde peut s'écrire {x — y) {x-i-y) = S, on formera un système équivalent au système proposé en remplaçant dans cette seconde équation x — y par 2 ; ce n'est pas une inconnue que l'on a remplacée par sa valeur, ou par une fonction des autres inconnues, c'est une fonction de deux inconnues, x — y^ que Ton u remplacée par un nombre qui doit lui être égal en vertu de la première équation. On peut aussi supposer que 2, 3, . . . équations du système aient été résolues par rapport à a, 3, ... inconnues^ que l'on remplacerait par leurs expressions dans les autres équations.
129. Mon objet essentiel est ici l'étude des équations du premier degré par rapport aux inconnues. Si l'on a fait passer tous les termes d'une telle équation dans le premier membre, ce premier membre est un polynôme du premier degré par rapport aux inconnues regardées comme les variables du polynôme ; il pourra s'écrire
ax -f- by -4- C5 -4- . . . -H /, a^Xi-h aj arj -h . . . -4- anX,, -f- a/i^j,
en désignant les inconnues par x^ y^ z^ . , .^ ou par x,, .r2, . . ., j:» et les coefficients, que l'on regardera comme numériques, par a, b, c, . . ., l ou par a,, «2î • • M «//» «/i+f Le terme l ou On^i, qui ne contient pas d'inconnue (ou de variable) en facteur, s'appelle le terme indépendant des inconnues, le terme constant ou le terme toul connu. Ce terme peut être nul; le polynôme est alors homogène; je le désignerai dans ce cas sous le nom de forme linéaire en x^ y, 5, ... ou en Xi, Xa, . . ., x„ (').
11 m'arrivera souvent, comme je l'ai déjà fait d'ailleurs, de désigner les premiers membres par de grandes lettres telles que X, Y, Z, ... ou X|, Xa, . . ., X^; il doit être bien entendu que ce n'est là qu'une abréviation, et que le lecteur doit substituer, par la pensée, le polynôme tout entier à la grande lettre qui le représente.
On a souvent, en désignant en général par X|, X2, . . ., X^ des polynômes en Xi, x^^ ..., Xp^ l'occasion de considérer des expres- -sions telles que
aiXi -h «jXj H-. . .-!- a,,X,„
OÙ ai, aa, . . ., a^ sont des nombres : une telle expression est linéaire
(*) Le sens des mots forme et linéaire varie un peu suivant les auteurs; souvent le mot forme est pris simplement comme synonyme de polynôme et le mot linéaire comme synonyme de du premier degré. L'origine de ce dernier mol est dans la signification des équations du premier degré, en Géométrie analytique. Il ne me paraît pas que ces synonymes soient nécessaires, et, conformément à un usa^c d'ailleurs très répandu, je réserverai, dans le présent livre, le mot forme pour les polynômes homogènes, le mot linéaire pour les polynômes homogènes et du premier degré. Un polynôme du premier degré devra ainsi être regardé comme uoe forme linéaire à laquelle on a ajouté une constante. L'emploi des mots form.e et linéaire me dispensera donc d'ajouter l'épithète homogène. Une équation linéaire sera une équation du premier degré sans terme constant; souvent on fait passer le terme constant dans le second membre; le premier membre est alors linéaire par rapport aux inconnues.
ÉQUATIONS DU PREMIER DEGRE. 3lJ
en X| , Xj, . . ., X^ ; elle est obtenue en combinant linéairement X, , Xo, . . ., Xp : c'est une combinaison linéaire de X| , X-j, . . ., X^; en combinant linéairement plusieurs combinaisons linéaires de X|, X2, . . ., X^ on retombe évidemment sur une combinaison linéaire de X,, Xo, ..., Xy,. Si Ton considère les équations X| = o,X2=^o, . . ., X^ = G, toute équation obtenue en é^^alant à o une combinaison linéaire de X, , Xo, . . ., X^ s'appelle aussi une combinaison linéaire de ces équations
Si X,, X2, ..., X;, sont des polynômes du premier degré en j:|, X2j . . .j x„, l'expression a,X| + a2X2-{-. . .-+- ^p^p est évidemment aussi, en général, un polynôme du premier degré en x^^ x^^ . .., Xn\ c'est une expression linéaire en ^1, ^2, ..-, ^w lorsque X|, X2, ..., Xy, sont linéaires en Xi^ x*^ , , ,y x„.
Il faut, toutefois, remarquer que les variables peuvent disparaître de la combinaison linéaire a, X| -h a2 X2 +. . .-h oLpHp des polynômes X|, X2, . . ., X^. Si par exemple on pose
X = 2x — 3^ -t- - — i , Y= X — iy — -s-f-2, Z = x-h 53 — 10,
et si l'on forme la combinaison linéaire en X, Y, Z
on voit de suite, en remplaçant X, Y, Z par leurs expressions, en ordonnant par rapport à x^ y^ 5, que les coefficients de ces variables sont nuls et que l'on a, identiquement en x^y^ s,
notons en passant que cette identité montre clairement qu'il ne peut exister aucun système de valeurs pour x^ y, z telles que X, Y, Z s'annulent pour ces valeurs : en d'autres termes, on ne peut satisfaire à la fois aux équations X = o, Y = o, Z = o. Si, au contraire, en conservant à X, Y leur signification, on avait supposé Z = x -\- dz — 8, on aurait eu, identiquement en x, y, z,
3l4 CHAPITRE rX.
et il serait évident par là que tout système de valeurs de x^ y^ z qui annule X et Y, annule aussi Z; en d'autres termes, les équations X = o, Y =o entraîneraient l'équation Z = o.
Remarquons encore que, si X, Y, Z désignent en général des polynômes du premier degré en j;, y^ z, savoir
aa? -\- by -h cz-h d, a! x -h h' y 4- c z -i- cf , cC x H- h' y -\-c''z + d'y
et s'il existe une combinaison linéaire aX-h^Y-f-yZ, de X, Y, Z d'où les variables x, r, z disparaissent, la combinaison linéaire aX'-h pY'-hyZ' des polynômes linéaires en x^y, :?,
X' = ax -h by -^ c s^ Y' = a'x-^ b'y -h cz, Z' = a'x-hb'y-hc^z,
obtenus en supprimant les termes constants d, rf', d" des polynômes X, Y, Z, est identiquement nulle. En effet, dans les deux expressions
aX'-hpY'-f-YZ' et
«X -HpYH-YZ
les coefficients de .r, r, z sont évidemment les mêmes : or, par hypothèse, ces coefficients sont nuls dans la première expression. Inversement, l'existence d'une relation de la forme aX'-f-^ Y'4-yZ'=o, identique en x,y^ z^ implique évidemment l'existence d'une combinaison linéaire aX-f-pY-t-yZ des polynômes du premier degré X, Y, Z, d'où les variables r, y^ z disparaissent.
Ces résultats s'étendent à des polynômes du premier degré comportant autant de variables que l'on veut.
130. Il importe, pour ce qui suit, d'étudier l'application aux équations du premier degré du second principe que l'on a rappelé au n" 128; si l'on veut appliquer ce principe, il est clair qu'on a à effectuer successivement les deux opérations suivantes :
i" Résoudre l'une des équations données par rapport à l'une des inconnues .r, qui, après cette résolution, se trouve, en général, exprimée au moyen des autres inconnues^, ^,
2" Substituer dans les autres équations, à la place de x^ son expression au moyen dej^, 3. . ..
On est ainsi amené à étudier ce que devient, par cette substitution.
ÉQUATIONS DU PREMIER UEGRÉ. 3l5
le premier membre de l'une quelconque de ces autres équations, lequel était primitivement un polynôme du premier degré en x^ y. z,
Je vais raisonner en supposant qu'il y ait trois inconnues j:, ^et r; le lecteur reconnaîtra immédiatement que les résultats qui suivent ne dépendent pas du nombre des inconnues.
Considérons l'équation du premier degré
X = ax -f- h y -h- cz -^ d = o, et soit
un polynôme du premier degré en x^y^ z\ on va voir ce qu'il devient quand on résout l'équation X = o par rapport à l'une des inconnues et que l'on y remplace cette inconnue par l'expression que l'on a trouvée; a, 6, c, rf, a', h\ c', d! seront regardés comme des coefficients numériques.
Si le coefficient a n'est pas nul, l'équation X = o est équivalente il l'équation - X = o, ou
sous cette forme, elle est résolue par rapport à x {^). On observera que les coefficients de y^ z dans le second membre ne dépendent pas du terme constant d.
Si l'on remplace x par cette expression dans Y, on obtiendra un polynôme Y,, du premier degré en^, w, à savoir
Y| = a' ( y— - z ) -H A'vH- c z -{- d'
et l'on vérifie de suite que l'on a identiquement en x, y, z
( ' ) Il nous sera ulilc plus tard d'avoir remarqué que, quand on laisse tous les termes dans un mùmc membre, la résolution d'une équation du premier degré par rapport à une inconnue revient à diviser le premier membre de cette équation par le coeriicient de cette inconnue.
3l6 CHAPITRE IX.
en d'autres termes, le' polynôme Y, est une forme linéaire en X, \, dont les coefficients sont et i . Dans ce polynôme, les coefficients des variables y, z ne dépendent nullement des termes constants rf, d'j mais seulement de la valeur des coefficients de :r, v, z dans X et dans Y.
Si Ton considère les deux équations du premier degré X = o, Y = o, il est clair que leur système est équivalent au système X = o,
Y X = o, en sorte que, dans le cas des équations du premier
degré, la seconde proposition du n" 128 est une conséquence de la première ; mais c'est sur un autre point que je désire appeler Tallention du lecteur.
Il peut se faire, après la substitution, que les inconnues y, z disparaissent, en sorte que Y, ne soit plus, à proprement parler, un polynôme en y et w, mais se réduise à un nombre |jl, qui peut d'ailleurs être différent de o, ou nul. Pour qu'il en soit ainsi, il faut et il suffit, dans l'exemple précédent, que Ton ait
Y| se réduit alors au nombre rf' —
^. et l'on a
Y^X = rf'-^.
Si le second membre de cette identité n'est pas nul, il est clair qu'on ne peut avoir à la fois X = o, Y = o pour aucune valeur dex, jTj z; les deux équations X == o, Y= o sont incompatibles. Si, au contraire, le second membre est nul, il est clair que la supposition X = o entraîne Y = o ; on vérifiera alors les deux équations X = o, Y = o, en attribuant dyelz des valeurs quelconques et en attribuant
k xIsl valeur qui en résulte pour y z
Il convient de remarquer que ce fait exceptionnel, la disparition des inconnues dans Y, , ne dépend en aucune façon des termes constants rf, rf', mais seulement des valeurs des coefficients a, 6, c, «', b'j d des inconnues x^ v, z.
ÉQUATIONS DU PREMIER DEGRÉ. Siy
131. Ces remarques faites, j'expliquerai la méthode de résolution (les équations linéaires par substitution sur le cas de trois équations (lu premier degré à trois inconnues.
Soient
)X = ax -+- by -\- cz -r- d = o, . ./ i ^ ~ ^ ^ "*" ^ y -^ ^ - H- rf' = o,
ces trois équations. Elles peuvent s'écrire encore
X'-i-f/ = o, Y'-hrf' = o, Z'-f-rr=:o,
en désignant parX', \', 7J les polynômes linéaires en x^y^ z
ax -k- by -\- cz^ a! x -\- U y -\- c z^ a x -\-b'' y -\- c' z^
que l'on obtient en supprimant les termes constants rf, d! ^ d!' des polynômes X, Y, Z.
Supposons que l'un des coefficients des inconnues, a par exemple, ne soit pas nul; en résolvant l'équation X = o eten portant l'expression trouvée
dans les deux autres équations, on parviendra aux équations
\ Y, = A^ -f-Bi -hC =0, ^''^ i z, = A>-hB'^-+-C'=o,
en posant; pour abréger,
x\însi qu'on l'a déjà fait observer, les valeurs des coefficients A, B^ A/. B' de y, z dans Y| et Z, ne dépendent nullement des termes constants rf, 6?', d\
On a d'ailleurs identiquement en ^, y, z
(3) .Y, = Y-Jx, Z, = Z-^'x,
3l8 CHAPITRE IX.
et le système des équations proposé est équivalent au système
dont la dernière équivaut à X = o.
En général, les inconnues j', z figurent dans Y,, Z| ; si, par
exemple, A n'est pas nul, on résoudra Téquation Y| = o, par rapport
B r à y et l'on remplacera, dans l'équation Z| = o, y par — - :; — j;
Z,, après la substitution, deviendra
.V„ /.,. -■VB^^^,,,^'Ç.
La valeur du coefficient de z dans Za ne dépend que de la valeur des coefficients A, B, A', B', et, par suite, des coefficients a, 6, c, d, b', c', a", 6", c'\ nullement de la valeur des termes constants rf, ûT, (T.
A cause des relations (3), on a, identiquement, en jc,y, z^
Zo est donc une forme linéaire en X, Y, Z dans laquelle le coefficient de Z est I .
Le système proposé est équivalent au système
Si, dans la première équation, le coefficient de z n'est pas nul, on pourra résoudre cette équation par rapport à ;;, et l'on en tirera une valeur unique ^ = X; le système proposé est équivalent au système
dont la solution est mise en évidence : dans ce cas le système proposé admet une solution, et une seule.
Tout en continuant de supposer que, dans Y,, Z|, l'un des coefficients des inconnues, A par exemple, ne soit pas nul, supposons que rinconnue z disparaisse de Z^ qui se réduit alors au nombre
G j--; le raisonnement du numéro précédent montre que, si ce
nombre n'est pas nul, les équations \| = o, Z, = o sont incompa-
A'G tibles, et le système proposé impossible; si, au contraire, C r—
est nul, on n'aura plus à tenir compte de l'équation Z2=o, qui se réduit à o == o, et l'on pourra dire que le système des trois équations proposées est équivalent au système des deux équations
- - za
ou encore au système
6 /B C\ c d /bn c\ bC d
Deux des inconnues y et x s'expriment alors comme des polynômes du premier degré en z^ qui reste indéterminé. On peut attribuer à z une valeur numérique arbitraire; les valeurs de y, x qui résultent des formules ci-dessus satisfont aux équations proposées : inversement, dans toute solution du système proposé, les valeurs de JK, X s'expriment par les formules précédentes au moyen de la valeur de z.
Dans le cas où z ne figure pas dans Z^, qui se réduit alors au
G nombre C — -r A', on a identiquement en x^ y, w, en vertu de (4),
A \ Aa a 1 A '
il y a une combinaison linéaire de X, Y, Z qui se réduit identiquement
au nombre C ^- L'identité précédente montre bien, quand
C ~ n'est j)as nul, que les équations X = o, Y = o, Z = o sont
\'G incompatibles, et, quand C — '— r— est nul, que les deux premières
entraînent la troisième.
S'il arrivait que les inconnues y, z ne figurassent ni l'une ni l'autre dans les équations Y| = o, Z, = o, c'est-à-dire si l'on avait
c rt = o,
c rt = ()
auquel cas Yi, Zj se réduiraient aux nombres d' a\ d" a .
ou bien ces derniers nombres ne seraient pas nuls à la fois, et l'une des équations Y = o, Z = o serait incompatible avec l'équation X=:().
ou bien les deux nombres d' a\ d' a" seraient nuls, et alors
l'équation X=o entraînerait les deux équations Y = o, Z = o. Dans ce dernier cas, le système des trois équations proposées serait équivalent à l'unique équation
tf^ a a
y cl z resteraient indéterminés; on peut leur attribuer telles valeurs que l'on veut, la valeur de x est donnée par la formule précédente: inversement, dans toute solution du système proposé, la valeur de x est liée par la relation précédente aux valeurs de 7^ et de z.
Lorsque y^ z disparaissent des équations Y» = o, Z, = o, on a entre X, Y, Z, à cause des identités (3), les relations, identiques en X, y, z,
Y-e:'x = rf'-^a', a a
qui mettent en évidence, quand les seconds membres ne sont pas nuls tous deux, l'incompatibilité de l'équation X = o avec l'une au moins des équations Y = o, Z == o, et qui, lorsque les seconds membres sont nuls, montrent que l'équation X = o entraîne les deux équations Y = o, Z = o.
ÉQUATIONS DU PREMIEh DBGUÉ. 3*21
Enfin, si dans les équations proposées, les coefficients de toutes les inconnues étaient nuls, en sorte que ces équations se réduiraient à rf == o, rf'= o, d" = o, ou bien Tun des nombres r/, rf', cP ne serait pas nul, et le système proposé serait manifestement impossible, ou bien rf, d\ rf' seraient nuls et le système proposé serait vérifié quelles que fussent les valeurs de x^ y^ z.
En résumé, ou bien il y a une solution, et une seule; ou bien il y a impossibilité; ou bien une ou deux inconnues peuvent être prises arbitrairement, les deux autres ou la troisième s'exprimant au moyen de cette inconnue ou de ces inconnues arbitraires, ou encore, dans le cas très exceptionnel signalé tout à l'heure, les trois inconnues sont indéterminées. Enfin, dans les cas d'impossibilité ou d'indétermination, il y a entre les premiers membres des équations des relations (identiques en >r, y, s), qui manifestent cette impossibilité ou cette indétermination. Ces relations sont de la forme
Tun des coefficients numériques a, p, y n'étant pas nul, puisque, dans les relations de cette nature que l'on a obtenues dans le cours de la démonstration, l'un de ces coefficients était toujours égal à i . On peut dire encore qu'il existe une combinaison linéaire aX H- pY + yZ des premiers membres des équations dans laquelle les coefficients a, p, y ne sont pas tous nuls et d'où les inconnues disparaissent. Dans le cas très exceptionnel où ces inconnues ne figureraient pas dans X, Y, Z, on peut prendre pour a, ^, y des nombres quelconques. Ces relations identiques mettent en évidence l'impossibilité ou l'indétermination du système. On est certainement dans le cas de l'impossibilité si n'est pas nul.
D'autre part, l'impossibilité ou l'indétermination se manifestent toujours, après l'une des substitutions dont la méthode se compose, par la disparition totale des inconnues dans l'une des équations où l'on a fait cette substitution, et, ainsi qu'on l'a fait observer, cette disparition ne dépend en aucune façon des termes constants, mais seulement des valeurs attribuées aux coefficients des inconnues. Il suffit de se reporter aux raisonnements précédents pour reconnaître que l'indétermination apparaît en quelque sorte comme un cas particulier de l'impossibilité : qu'on laisse leurs valeurs aux coefficients de x^ y^ 5, dans les équations proposées, et qu'on modifie seulement les
372 CHAPITBE IX.
termes constants, le système, s'il était impossible, peut, pour certaines valeurs de ces termes constants, devenir indéterminé. Considérons les équations linéaires en x, y, z
obtenues en supprimant les termes constants <i, d\ (f des premiers membres X, Y, Z des équations proposées. Ce système n'est jamais impossible : il est, en effet, évidemment vérifié pour a; = o, ^^ = 0, ^ = o, en sorte qu'il arrivera de deux choses l'une : ou bien le système X'= o, Y'= o, Z'= o n'admettra que cette solution, ou bien ce systèmeseraindéterminé,etdeux inconnues s'exprimeront linéairement au moyen de la troisième ; ou bien une inconnue s'exprimera linéairement au moyen des deux autres. Dans le cas où tous les coefficients seraient nuls, les trois inconnues seraient évidemment indéterminées. S'il y a indétermination, il existe entre X', Y', Z' au moins une relation linéaire, identique en x^y^ ^, de la forme aX' + pY'-hyZ'^o, relation dans laquelle l'un des coefficients numériques a, ^, y n'est pas nul. Si, par exemple, y n'est pas nul, la relation précédente peut étne résolue par rapport à Z' qui apparaît ainsi comme une combinaison linéaire de X' et Y'. Enfin, je rappelle que l'existence d'une relation, identique en x, y^ z, de la forme aX-|-jbY-|-yZ-|-8 = o, entraîne nécessairement l'identité aX'-h PY'-+- yZ'= o, et réciproquement.
Si les équations X'=: o, Y'=: o, Z'r= o n'admettent pas d'autre solution que X = o^ y :7z: o, z = Oj le système n'est pas indéterminé et, quand on appliquera, pour résoudre les équations, la méthode de substitution, on ne se trouvera point dans le cas exceptionnel où les inconnues disparaissent totalement de quelqu'une des équations où l'on a fait la substitution ; on ne se trouvera pas non plus dans ce cas exceptionnel pour les équations X= o, Y = o, Z =0, et cela quelles que soient les valeurs numériques des termes constants rf, rf', rT, Ces dernières équations admettront une solution et une seule. Si le système X'= o, Y'=: o, Z'= o est indéterminé, c'est qu'après une des substitutions les inconnues disparaissent totalement de l'une des équations où l'on a fait la substitution. Il en est de même pour les équations X = o, Y=o, Z = o dont le système est alors impossible ou indéterminé; on se trouvera dans un cas ou dans l'autre suivant
ÉQUATIONS DU PREMIBB DEGRÉ. 3!l3
les valeurs de rf, rf', (f . Réciproquement, si le système X== o, Y = o, Z = o admet une solution unique, le système X'= o, Y'= o, Z'= o n'admet pas d'autre solution que a: = o, j^= o, s = o. Si le système X = o, Y = o, Z=o est impossible ou indéterminé, le système X'= o, Y':= o, Z'=: o est indéterminé.
13â. Supposons qu'on applique la méthode de substitution aux équations du premier degré
telle qu'elle a été décrite au numéro précédent, mais en ayant soin, quand on résout une équation, de tout laisser dans le premier membre, ce qui revient alors à diviser simplement par le coefficient d'une inconnue, et, quand on a fait une substitution, de tout laisser encore dans le premier membre. Le premier membre de l'équation qu'on vient d'écrire est une combinaison linéaire des deux premiers membres de deux équations, celle d'où l'on a tiré l'inconnue et celle où l'on a fait la substitution. Puisque, en combinant linéairement des combinaisons linéaires de X, Y, Z, on retombe toujours sur des combinaisons linéaires de ces expressions, il est clair que les premiers membres de toutes les équations que l'on écrit sont toujours des combinaisons linéaires de X, Y, Z, c'est-à-dire des expressions de la forme aX-h j5Y -H yZ, a, p, y étant des coefficients purement numériques. Supposons maintenant qu'on soit dans le cas où les équations X =o, Y = o,Z = o admettent une solution jTq, y^, ^o» et une seule, la méthode conduit, uniquement par des résolutions d'équations du premier degré et des substitutions, à ces valeurs des inconnues, c'està-dire que son résultat final est de la forme
37 — a?o=o, r — ro=o, ^— Zo=0.
Les premiers membres de ces dernières équations doivent être, eux aussi, des combinaisons linéaires de X, Y, Z, c'est-à-dire qu'il doit exister neuf nombres a, fJ, y, a', P', y', a", ^", ^ tels que l'on ait identiquement en jc, y^ z
l ar — a7o=aX-Hp Y-f-^ Z.
<i) < ^-j^o=«'X-^P'Y-i-yZ'
f X— ^o = a'X-hP'YH-Y'Z.
324 CHAPITBE IX.
Réciproquement, supposons qu'on ait trouvé neuf nombres a, P, . . . , y tels que les relations précédentes aient lieu identiquement en x^ y, z; il est clair qu'on ne peut avoir à la fois X= o, Y = o, Z = o sans que l'on ait x = j:©, y =.ro? ^ = -s© ; si les équations X=o,Y = o, Z=o ont une solution, celle-ci ne peut être que •^oî^Oî j5o> mais on n'aperçoit pas de suite que ces nombres annulent effectivement X, Y, Z ; c'est pour l'établir que j'ai fait les remarques qui terminent le numéro précédent. En désignant encore par X', Y', Z' les formes linéaires en x^ y^ z qui deviennent X, Y, Z quand on supprime les termes constants rf, <-/', </', les identités précédentes, supposées vraies, impliquent celles que voici
7 = a'X'-hp' Y'-f-Y'Z', .5=a''X'-f- P'Y'h-y'Z',
puisque, dans les deux membres de chacune de ces égalités, les coefficients de X, y^ z doivent être égaux en vertu des identités (i). Dès lors, X', Y', Z' ne pouvant, en vertu de ces identités, être nuls simultanément sans que l'on ait j? := o, ^ = o, 5 = o, il est clair qu'il n'y a pas indétermination pour les équations X'=o, Y'=o, Z'=o et que, par conséquent, il ne peut y avoir ni impossibilité, ni indétermination pour les équations X = o, Y=:o, Z = o; elles admettent une solution, et une seule, qui est certainement x=zXq^ yz=.y^^
De là une méthode pour la résolution des équations du premier degié, qui consiste à déterminer les coefficients a, ^, y de manière que, dans aX -h ^Y -|- yZ, les coefficients de y et de z soient nuls. Avant de donner un exemple de cette méthode (n" 134), je veux faire les remarques suivantes :
Quand on cherche à résoudre les équations X = o, Y := o, Z = o, on n'applique pas toujours la méthode régulière de substitution telle qu'elle a été décrite au n" 130; on cherche à profiter de la forme spéciale de ces équations, on les combine par addition, après les avoir multipliées par certains facteurs; quelquefois, après avoir résolu par rapport à une inconnue, on fait une substitution. Tout cela revient, au fond, à former des combinaisons linéaires des équations; car le fait, que, dans le cours des calculs, on fait passer des termes d'un membre
dans un autre, est évidemment insignifiant. Si, en faisant toutes ces opérations dans un ordre quelconque, on arrive à un système d'équations de la forme
OÙ ^o> JKo> ^0 sont des nombres, il est bien clair que le système proposé ne peut admettre d'autre solution que Xq^ yot ^o î mais le raisonnement précédent montre que oTq, jKo> ^o constituent effectivement une solution, et il n'est pas nécessaire, au point de vue théorique, de constater que ^07 J^o? ^0 annulent effectivement X, Y, Z. Cette vérification reste utile pour s'assurer qu'on n'a point commis de faute de calcul.
Pour peu que le lecteur veuille y réfléchir, il reconnaîtra sans peine que la méthode de substitution et les résultais qui précèdent s'étendent à la résolution d'un système de n équations du premier degré à n inconnues, et même, sauf quelques modifications, de n équations du premier degré à p inconnues; elle permettra toujours soit de parvenir à la solution unique si le système n'admet qu'une solution (ce qui suppose le nombre des équations au moins égal à celui des inconnues), soit de mettre en évidence l'impossibilité ou l'indétermination du système; dans le cas d'indétermination, certaines inconnues s'expriment par des polynômes du premier degré, dont les autres inconnues sont les variables. Les conclusions qu'on vient d'établir relativement aux combinaisons linéaires subsistent pour n équations du premier degré à n inconnues. Lorsque, en combinant linéairement ces équations, on parvient à n égalités, conséquences nécessaires des n équations, dont chacune fournit la valeur d'une inconnue, on est sûr que ces valeurs vérifient effectivement les équations. C'est d'ailleurs ce qui ressortira du Chapitre suivant.
Considérons, par exemple, les équations
on en tire, en ajoutant membre à membre.
puis en retranchant membre à membre de celle-là chacune des équations proposées et en divisant par 2,
on n'a fait, au fond, que des combinaisons linéaires des équations; sans la théorie précédente, on pouvait affirmer évidemment que les équations proposées n'avaient pas d'autre solution que celle qu'on vient d'écrire ; la théorie précédente montre qu'on a bien eflectivement là une solution.
133. La méthode de substitution appliquée à deux équations du premier degré à deux inconnues
conduit à ce résultat essentiel, bien connu du lecteur : Lorsque la quantité ab' — ba' n'est pas nulle, le système (i) admet une solution, et une seule, qui s'exprime par les formules
, . bd^cb' ca'^ac'
Notons en passant que, d'après cela, les équations linéaires en x^y ax -\- b y =■ o^ a' x -^ b' y = o
n'admettent dans ce cas que la solution évidente j7 = o, j^ = o. En d'autres termes, si l'on sait que x^y sont des nombres qui vérifienl ces équations, on a, ou a: = o, y = o, ou ab' — ba' = o.
Dans le cas où cette dernière relation est vérifiée, il y a des valeurs de Xy y qui ne sont pas nulles toutes les deux et qui vérifient les équations proposées.
Considérons maintenant les deux équations linéaires en x^y^ z
\^ax^by^cz=iO, \ a'x -\- b' y -h c z = o,
et cherchons à déterminer toutes les valeurs de x^y^ z qui vérifient ces équations. Supposons d'abord ab' — ba' différent de 0. Le sjs-
ÉQUATIONS DU PREMIER DEGRÉ. 3a7
tème (3), d'après ce qu'on vient de dire, équivaut au système
{bc' -cb')z __ (ofl'--ac')z
^^^ ^- ab'-ba' ' ^- ab'^ba' '
c'est-à-dire qu'on obtiendra n'importe quelle solution du système (3) en donnant à z une valeur quelconque et en prenant pour x, y les \uleurs qui résultent des formules (4); réciproquement, toute solution du système (3) peut s'obtenir de cette façon. Les formules (4) fournissent, en y laissant z indéterminé, la solution générale du sys^ tème (3). Si nous posons z = (ab' — ba')t^ il est clair qu'à chaque valeur de t correspond une valeur de z et que, réciproquement, à chitque valeur de z correspond une valeur de ^; on peut donc tout aussi bien dire qu'on obtient la solution générale du système (3) en prenant
(i) X ^ {bc' -^ cb' t, y=i(ca'—ac')t, z = (ab' — ba')t,
011 / est une indéterminée. Les coefficients de /, dans les seconds membres, se déduisent du premier par une permutation circulaire des lettres «, 6, c.
Notre raisonnement suppose que ab' — ba' n'est pas nul; mais, pourvu qu'une des trois quantités
bc' — cb\ ca' — ac\ ab' — ba!
ne soit pas nulle, le résultat subsiste; si, par exemple, c'est bd — c6' dont on sait qu'il n'est pas nul, on résoudra les équations (3) par rapport à >-, z au lieu de les résoudre par rapport k x^ y ^ on retombera sur le même résultat.
Au lieu d'écrire la solution générale des équations (3) sous la forme (5), on peut, dans le cas où l'une des quantités bd — c6', Cfi! —• ad ^ ab' — ba n'est pas nulle, dire qu'on obtient cette solution générale en prenant x, y^ z respectivement proportionnels à ces quantités, et écrire
bc' — cb' ca' — ac' ab' — ba'
On doit donner à ces équations le même sens qu'aux équations (5); si, par exemple, l'un des dénominateurs est nul, il faut entendre que le numérateur correspondant doit être nul aussi.
3'i8 CHAPITRE IX.
Observons ce qui arrive quand deux des trois quantités bd — ch\ ca' — ad^ ab' — 6a', les deux dernières par exemple, sont nulles : en regardant les deux égalités
ca' — c'a = o, ba' — 6'a = o,
comme des équations linéaires par rapport à deux inconnues a, c/, on voit, d'après une remarque antérieure, qu'elles entraînent soit a = o, a'= o, soit c{ — b') — b ( — cf) ou bc' — b' c = o. Si Tune des inconnues j?, y, z ne disparaît pas à la fois des deux équations (3), on peut dire que l'évanouissement de deux des quantités bd — cb\ ca' — ad, ab' — ba' entraîne l'évanouissement de la troisième.
Lorsque ces trois quantités sont nulles, c'est que les coefficients de l'une des équations (3) sont proportionnels aux coefficients de l'autre; l'une des équations entraîne l'autre. Deux des inconnues x, y, z peuvent alors être laissées arbitraires; la troisième, que Ton choisira de manière que son coefficient ne soit pas nul, s'exprime au moyen de ces deux-là.
Dans tous les cas les équations (3) admettent des solutions dans lesquelles les inconnues x, y, z ne sont pas nulles toutes les trois.
134. Les résultats précédents, relatifs à la résolution de deux équations linéaires à trois inconnues, sont souvent utilisés. Je vais les appliquer à la résolution des trois équations
/ X = a x-h b y -hc z~hd = o^
(i) I y ^ a'x -i- b' y-hdz-h et = o,
( Z = a'x -f- b''y -hc'z -h d'=Oy
en cherchant à déterminer trois nombres A, A', A", tels que, dans la combinaison linéaire AX + A'Y-|-A"Z des premiers membres, les termes en y, z disparaissent : il faut pour cela que les deux équations linéaires en A, A', A''
cA-hc'A'-4-c*'A' = o
soient vérifiées; il faut donc, d'après le numéro précédent, prendre A, A', A" proportionnels à b'd' — b"d, b^'c — bd', bd — é'c; rien n'em-
ÉQUATIONS DU l>REMIBB DEGRÉ. 3^9
pêche de prendre A, A', A" égaux à ces quantités. On a alors identiquement
(•2) AX -^ A' Y -^ A'Z = ( Aa -h X'a'-h X''a')x -^Ad-h A'rf'-H A'aT.
On déterminera de même deux systèmes de nombres B, B', B" el C, C, C tels que, dans les combinaisons linéaires BX-|-B'Y-|-B"Z, CX-hC'Y + C'Z, les termes en :r et ^, les termes en x, y disparaissent, et l'on sera ainsi conduit aux identités
\ C\ -^ C'Y -h C'Z = (Ce -h C'c' -\- Ce" ) z -h Cd-h Cd -h C'd'.
J'écris ci-dessous le tableau qui donne les expressions, au moyen des neuf coefficients a, è, c, a', 6', c', rf^, è", c", des neuf quantités A, B,...,C'
I A = 6'c'— fc', B = c'a"— c^a', G = a'6'— a'b',
(3) •A'=6'c-6c'. B'=c"a—c a", C'^a"b —ab\
^ K"=bc'-b'c, B'=ca'-c'a, C'=a6'— a'6;
pour retrouver rapidement ces formules, il convient de faire les remarques suivantes : dans l'expression de l'une quelconque des quantités A, .. ., G^ ne figurent que les petites lettres autres que la grande lettre dont on veut l'expression et autrement accentuées que cette dernière; ainsi, dans l'expression de A ne figurent que les lettres 6, c (autres que a) et afl'ectées d'un ou deux accents, tandis qu'il n'y en a pas dans A; en faisant une permutation circulaire sur les petites lettres, on produit une permutation circulaire sur les grandes lettres; ainsi B se déduit de A par une permutation circulaire effectuée sur les petites lettres. Une permutation circulaire sur les accents des petites lettres, ou, si l'on veut, une permutation circulaire effectuée à la fois sur les lettres a, a', a", sur les lettres 6, è', è", sur les lettres c^d ^<f ^ produit une permutation circulaire sur les lettres A, V, A*, sur les lettres B, B', B", sur les lettres C, C, C
Enfin, on vérifie immédiatement que, dans les seconds membres des identités (2), les coefficients respectifs de x^y^ z^ c'est-à-dire
Aa-KA'a'-^ A'a', B6 -f- B'6'-h B'6', Ce -+- C'c'-^ Ce',
S3o CHAPITRE IX.
sont égaux : leur valeur commune est
Supposons que A ne soit pas nul, ce qui implique évidemment que les trois quantités A, A', A" ou B, B', B^, ou C, C, C ne soient pas nulles à la fois : on voit qu^on est conduit, par des combinaisons linéaires des équations proposées, aux suivantes
Arf-H
\'if
Aa -h
Hb -h
Crf-f-
CdT
Cd-hC'd'-hCd'
Ce -h Ce' -f-C'c''
Il résulte du calcul même que, si les équations (i) admettent une solution, cette solution ne peut être autre que celle que donnent ces formules; mais le raisonnement du n" 132 s'applique ici et Ton est certain que les valeurs trouvées pour x,y, z vérifient les équations (i), et cela quels que soient les coefficients a, ..., c", pourvu que A ne soit pas nul.
Ainsi, lorsque A n'est pas nul, les équations (i) admettent une solution, et une seule, que donnent les formules (5).
Il convient de remarquer, relativement à ces formules, que les trois dénominateurs sont les mêmes, et que les numérateurs se déduisent de A en y remplaçant, pour chaque inconnue, les coefficients de cette inconnue par les termes constants : ainsi le numérateur de la fraction qui, lorsqu'on en a changé le signe, donne la valeur de x^ s'obtient en remplaçant, dans A, a, a', a" par </, rf', cP ; cela résulte évidemment de la seconde forme de cette fraction et de ce que a, a', a" ne figurent pas dans les expressions de A, A', A".
135. Regardons les quantités A, ..., C, A comme définies au moyen des données a^ , , ,^ c" par les formules (3) et (4) du numéro précédent, elles pourront être regardées comme des polynômes où a, . . ,^ c" seraient les variables; A, . . ., C sont alors des polynômes homogènes du second degré, A est un polynôme homogène du troisième degré : ces polynômes sont liés entre eux par des relations identiques très remarquables : les premières que je vais écrire se
trouvent avoir été démontrées par la façon même dont on a été conduit aux expressions de A, . . ., C, ou reproduisent une observation déjà faite sur les trois formes que peut affecter le dénominateur commun A des valeurs trouvées pour x, y, z
i AaH-A'a'-t- A.'a'= A, Ba-hB'a'-t- B'a'=o, Ca -f- G'a'n- G'a'= o (I) ^ kb-^X'b'-^PL'b'=o, B6-4-B'6'H-B'A'=ii, Cb -^0'b'^Q:b'' = o { Ac^A'c'-hA'c'^o, Bc-hB'c'H-B'c'=o, Ce -h G'c'^ Ce* = A.'
 ces neuf identités, il convient d'en adjoindre neuf autres analogues, auxquelles on serait parvenu en suivant exactement la même marche que plus haut, si, au lieu d'écrire les équations à résoudre sous la forme (i) du numéro précédent, on les avait écrites sous la
forme
aa? -H rt'^ -h a'^ -I- a = o.
bx H- b' y -h A*' 5 -I- p = o,
ex -h c' y -h c'^ -f- § = o.
Au reste, le lecteur n'aura aucune peine à les vérifier sur la définilion même des polynômes A, . . ., C", A.
i Aa -hB6 -hCc = A, A'a h-B'6 h- Ce = o, M'a -+-B'é» -+-G'c = o,
(a) ) Aa'-+-B6'H-Gc'=o, A'a'n- B'6'-h G'c' = A, A'a'-H B^'è'-h G'c'= o,
I Aa'H-Bè'-HGc'=o, A'a'H-B'6'-hG'c'=:o, A'a'-H B'^'-t- C'c'= A.
Si Ton regarde pour un instant les deux égalités
BaH-B'a'-+-B'a'=o, Ca-+.G'a'-»-G''a'=o.
comme des équations linéaires où B, B', B", C, G', C" seraient les coefficients et a, a', o" les inconnues, on en conclut, d'après le n" 133, que a, a', a'' doivent être proportionnels aux quantités B'C— B"C', B"G — BC", BG'— B'C; il est aisé de constater que le facteur de proportionnalité est A : en effet, si l'on remplace, dans B'G'^ — B'^G', par exemple, B', G", B'', G' par leurs expressions au moyen de a, ..., c'', on reconnaît de suite que, dans l'expression développée, les monômes où a ne figure pas se détruisent, en sorte que a se met en facteur dans les termes restants et l'on constate que B'G" — B"G' est égal à Aa. G'est la première des neuf identités
qui suivent, les autres s'en déduisent par des permutations circulaires, lesquelles n'altèrent pas A,
/ B'C''-B'G' = Aa, C'A''-C'A' = ii6, A' B'— A'B'= Ac,
(3) I B'G -B G'= Aa', C'A— CA'=A6\ A'B— AB'=Ac', ( B C— B'C =Aa', G A' — G' A = A6', A B'-A'B = Ac'.
Le lecteur ne peut manquer d'être frappé par l'analogie qu'il y a entre ces relations et celles qui définissent les polynômes A, ..., C.
Enfin, si l'on multiplie par A, A', A" les identités qui figurent dans la première colonne du tableau précédent et que l'on ajoute membre à membre, on trouve, en tenant compte de la première des identités (6)
(4) A(B'G'— B'G') -f- A'(B'G- BG'')-h A'(BG'— B'G) = A».
Le premier membre est formé au moyen des quantités A, ..., C* exactement comme A est formé au moyen des quantités a, . . ., c".
Il résulte des identités (8) que, si A est nul, en vertu des valeurs attribuées à a, . .., c", les éléments de l'une quelconque des lignes horizontales qui figurent dans le tableau
sont proportionnels aux éléments correspondants qui figurent dans une autre ligne horizontale; de même, pour les lignes verticales; plus particulièrement, en supposant toujours que A soit nul, si l'un des éléments du tableau précédent est nul, ou bien tous les éléments de la ligne horizontale qui contient cet élément, ou bien tous les éléments de la ligne verticale qui le contient, sont nuls.
Les diverses propriétés des polynômes A, . . ., G", A que l'on vient de développer appartiennent à une théorie dont on développera les éléments dans le Chapitre suivant; elles interviennent assez souvent pour qu'il soit utile de se familiariser avec elles, indépendamment du symbolisme propre à cette théorie.
136. Je me bornerai à faire une application des identités (a) du numéro précédent à la question même qui a été mon point de
départ, à savoir la résolution des équations X = o, Y = o, Z = o dans le cas où A n'est pas nul. Récrivons les identités (2) (en x^ y^ z) du n^ 134 sous la forme
i AX-4-A'Y^-A'Z = AiF-4-P,
(I) I BX-HB'Y-h B'Z = Aj^H-Q,
( CXh-C'Y-4-G'Z = Az -hR,
en posant, pour abréger,
P = Arf-+-A'rf'H-A'rf', Q = BrfH-B'^H-B''tr,
Les identités (i) montrent, comme je Tai déjà fait observer, que les équations X = o, Y = o, Z = o ne peuvent être vérifiées si Ton ne prend pas
si Ton ne veut pas faire appel au raisonnement du n® 132, il resterait à vérifier que ces valeurs de x, y, z satisfont aux équations X = o, Y = o, Z = o; on peut éviter cette vérification, d'ailleurs aisée, comme il suit :
En multipliant les égalités (10) respectivement par a, 6, c, ou par a', 6', c', ou par a!\ 6", c", en les ajoutant et en tenant compte des relations (2), du numéro précédent, on trouve
i AX = a (Ax-4-P)-f-6 (A7-+-Q)-4-c (JU-h R),
(-2) ) AY = a'(Aar-h P)-f-6'(A^-+-Q)-hc'(A«-h R),
/ AZ = a'(Aj7H-P)-+-6'(A^-hQ)H-c'(A«-f-R),
ces égalités, où, comme dans les égalités (1), X, Y, Z doivent être remplacés par
ax -h by -^ cz-{- dj a'x -h b' y -h c'z -h d, a'x -h b' y H-c'z-h d'^
sont, comme les égalités (i) d'où elles ont été déduites, des identités en x^ y, z: elles montrent évidemment, sous la condition que Ane soit pas nul, que, si Ton attribue k Xy y, z les valeurs qui annulent Aj? H- P, Aj^ -h Q, Iz -\- R, les polynômes X, Y, Z sont certainement nuls.
En résumé, quand A n'est pas nul, le système
X = o, Y = o, Z = o, elle système
Aj? -h P = o, A^ -hQ = o, A^-hR=o,
sont équivalents. Plus particulièrement, quand A n'est pas nul le système
et le système a: = o, y = o, z = o sont équivalents.
137. Si les formules générales qui donnent, en fonction des coefficients, les trois inconnues d'un système de trois équations du premier degré, ou plus généralement les n inconnues d'un système de n équations, conduisent, comme on vient de le voir et comme on le verra plus tard, à d'intéressants développements théoriques, il est très souvent avantageux, lorsqu'on a à résoudre un système particulier d'équations, de le traiter directement, sans avoir recours à ces formules générales, et de profiter de la forme particulière de ces équations.
Celles-ci peuvent présenter quelque symétrie dont on puisse tirer parti; on en a vu un exemple au n? 132; souvent, c'est une inconnue auxiliaire qu'on est amené à prendre.
Si l'on a afi'aire, par exemple, au système
î = Z = abc
Xx-^-By-hCz = D,
on prendra pour inconnue auxiliaire la valeur t commune aux trois
rapports qui figurent dans les deux premières équations, d'où l'on
tirera
x = at, f = bt, z= cty
et, en portant dans la dernière, on aura
(Aa-i-B^n-Cc)* = D,
en sorte que la solution des équations proposées sera
flP ^D cD
^"" Aa-hBè-+-Cc' •^■" Aa-t-B6-f-Cc' * " A a h- B A -4- Ce'
en supposant que Aa-l-B6-l-Cc soit différent de o. Considérons encore les équations
A.r — aL{ax -h by -h cz -\- d) = P, By — P(ax -^ b jr -h c z -^ d) := Q^
Cz — y{ax-^-bjr-h cz-h d)= R.
On voit que, si l'on connaissait la valeur de ax -hby-hcz-hd^
on obtiendrail de suite les valeurs de x^ y^ z] on est donc amené à substituer au système précédent le système d'équations à quatre inconnues
ax -^-by-^-cz-hd^u.
Aa? — au=P, By-pa = 0, Cz—yur=K;
ou, en supposant A, B, C différents de o,
aa-hP Pa-4-Q va-i-R
la dernière équation détermine la valeur de (/, en supposant toutefois que X "*" B "*" "^ — ' ^^^^ différent de o; il ne reste plus qu'à substituer cette valeur de // dans les expressions de a;, y, z.
Lorsqu'on applique, soit partiellement, soit d'une façon régulière, la méthode de substitution à un système d'équations données, il y a évidemment intérêt à commencer la résolution par celle des inconnues qui fournira l'expression la plus simple au moyen des autres inconnues, soit parce que cette expression contiendra moins d'inconnues, soit parce que les coefficients se trouvent être des nombres entiers, ou pour toute autre raison analogue.
Considérons, par exemple, le système
3z -^ iy — IX = 6, on le remplacera de suite par les systèmes
IX — Z = 5y a7=^=-»
Le lecteur reconnaît combien l'emploi des formules générales pour des cas comme ceux qu'on vient de traiter serait peu avantageux.
138. Je ne me suis occupé dans ce qui précède que de la résolution exacte d'un système d'équations. Dans la pratique, il arrive fréquemment, d'une part, que les coefficients ne soient connus qu'imparfaitement et, d'autre part, que ces coefficients, mis sous forme entière ou décimale, comportent un assez grand nombre de ciiiirres. Même lorsqu'il s'agit de questions purement théoriques, si les coefficients se trouvent être des nombres irrationnels, il faudra bien, pour effectuer les calculs, les remplacer par des valeurs approchées, et il est clair qu'on ne pourra obtenir que des résultats approchés pour les valeurs des inconnues. Enfin, il est à remarquer que si, en' partant d'équations dont les coefficients, écrits sous forme décimale, comportent seulement quatre chiffres significatifs, par exemple, et qu'on effectue tous les calculs exactement, on obtiendra les inconnues sous forme de fractions dans lesquelles le numérateur et le dénominateur comporteront un très grand nombre de chiffres, chiffres dont les derniers n'auront aucune valeur, si les données dont on est parti ne sont pas sûres.
11 est alors raisonnable d'employer la méthode de substitution, en faisant au fur et à mesure les divisions, multiplications et additions dont on a besoin et en ne conservant pour chaque résultat qu'un certain nombre de chiffres; ce nombre de chiffres dépendra naturellement de l'approximation avec laquelle sont connus les coefficients et de celle qu'on veut obtenir : il est assez naturel de conserver, à chaque fois, un peu plus de chiffres qu'il n'est nécessaire, en sorte que les erreurs qui
résultent des chiffres négligés soient petites devant l'erreur qui résulte de l'imperfection des données, ou au moins du même ordre. D'ailleurs, si l'on a des limites pour les erreurs dont sont entachées les données, des règles d'arithmétique bien connues (•) permettent d'évaluer, k chaque opération, une limite de l'erreur dont est entaché le résultat, soit à cause des erreurs primordiales, soit à cause des chiffres négligés, en sorte qu'on parvient finalement à une limite de l'erreur dont peuvent être entachées les valeurs des inconnues.
Quand on procède de cette façon, il est recommandé, contrairement à ce qu'il est naturel de faire lorsqu'on procède à la résolution exacte, de résoudre d'abord par rapport à celle des inconnues qui a le plus gros coefficient, en sorte que, dans les formules intermédiaires que l'on obtient ainsi, les coefficients des autres inconnues soient des
(') Imaginons qu'on opère sur deux nombres (positifs) approchés A, B, au lieu d*opérer sur les nombres exacts A -+- a, B n- |â et désignons par a', p' des nombres positifs dont on sait qu'ils sont égaux ou supérieurs aux valeurs absolues des erreurs a, p : a'. P' sont des limites supérieures de ces erreurs. On doit supposer a', P' petits par rapport à A. B; lorsque A, B sont écrits sous forme décimale, a', P' sont, d'ordinaire, à peu près de Tordre des unités des derniers chiffres. S'il s'agit d'une addition ou d'une soustraction, Terreur commise sera moindre (en valeur absolue) que a'-H^'; s'il s'agit d^une multiplication, Terreur commise sera moindre que (B-hp') a' + Ap'; on calcule grossièrement cette erreur en remplaçant A et B-hp' par des valeurs plus simples, notoirement trop fortes, obtenues, piir exemple, en forçant le premier chiffre signiGcatif de A et de B. S'il s'agit d'une division, Terreur
A-i-g A Ba — A p a A. p
B-hp B B(B-hP) B-t-p B B-hP est moindre en valeur absolue que
où B' désigne un nombre positif inférieur ou égal à B+P; pour calculer cette erreur, on remplacera B' par un nombre notoirement trop petit : on pourra, par exempte le plus souvent, ne conserver que le premier chiffre significatif de B et remplacer les
suivants par des zéros; on remplacera ^ par un nombre notoirement plus grand,
obtenu, par exemple, en forçant le premier chiffre du quotient.
Ces formules se simplifient un peu si Ton remplace a', p' par le plus grand de ces deux nombres. On peut d'ailleurs obtenir des résultats plus précis lorsque Ton connaît le signe de a et de p.
Enfin, il ne faut pas oublier d'ajouter à ces erreurs celle qui provient de ce que Topération ne se fait pas exactement, de ce qu'on supprime les chiffres à partir d'un certain rang.
nombres décimaux sans partie entière : on sait, en effet, que l'erreur (absolue) dont est entaché le quotient d'une division dont le diviseur est inexact est d'autant plus faible que ce diviseur est plus grand.
Afin de mieux faire comprendre tout ceci, je vais faire les calculs sur un exemple numérique, dans lequel les coefficients ont d'ailleurs été pris au hasard.
Soit à résoudre les deux équations en x^ y
i^ySx — S'i^^y — 7425 = o, 628737 H- lyiiy — 6232 = o.
Je suppose que les erreurs commises sur les coefficients soient moindres que - = o,5. On lire de la première de ces équations
Y = ax — b^ a =--7-, à=^--:y •^ 8243 8243
puis, en substituant dans la seconde,
A.X = B. ar := -r-y
En appliquant au calcul de a et de 6 la règle que Ton a rappelée dans la note précédente, on voit de suite que les erreurs dont seront entachés les résultats, par suite de l'inexactitude des termes des deux fractions, seront moindres respectivement que les nombres
et, par conséquent, moindres que - — • En calculant les quotients
avec une erreur au plus égale à > l'erreur finale, pour chacun des
nombres cherchés, sera moindre que
8000 20000 5ooo ' on trouve ainsi
Pour calculer A et B, on a à faire deux multiplications. Si on les faisait exactement, les erreurs sur les produits, provenant de Tinexactitude des facteurs, seraient moindres que
3ooo , , 3ooo
^-^'4xo,5, --i-o,5,
5ooo ' ' 5ouo
moindres, par conséquent, que 0,8 et i , i . II ne serait guère raisonnable, dans les produits, de chercher une approximation meilleure
que — = o,o5; on pourra, pour les évaluer, se servir delà méthode
abrégée. En tenant compte de toutes les erreurs, on voit que A, B
peuvent être connus ainsi avec des erreurs moindres respectivement
que
0,5 -H 0,8 -ho,o5 = 1 ,35,
On trouve en procédant ainsi A = 7869,2, B = 8685,8. Si donc on prend A = 7869, B = 8686, les erreurs seront moindres que
1 , 35 H- o, 2 et 1 ,65 4-0,2; elles seront moindres que 2.
B On aura ensuite à calculer x =. .\ l'erreur qui résulte de Tinexac-
titude des valeurs précédentes de B et de A sera moindre que
En calculant le quotient de la division de 8686 par 7369 avec une erreur moindre que o,oooo5 on trouve 1,1787 : si donc on prend pour X la valeur i , 1 79, Terreur sera moindre que
o,ooo63 -h 0.00005 -h o,ooo3 < o.ooi.
Jl reste, en adoptant cette valeur pour x^ à calculer
dans le second membre, les coefficients sont connus avec une erreur moindre que -. — ; Terreur totale, en supposant la multiplication faite exactement, serait donc moindre que
X I ,2 -+- 0,001 X 0,4 -4- 7 = 0,0002 X 2,2 -H 0,OOo4 = 0,00084.
5ooo ' 5ooo
En calculant le produit 0,3978 x 1,179 de manière que l'erreur, sur ce produit, soit au plus égaJe à o,oooo5, on trouve 0,4684 ^ d'où, pour y^ une valeur — o,4324 approchée avec une erreur moindre que 0,0009; si l'on prend y = — o,432 l'erreur sera sûrement moindre que 0,001 3.
En substituant à la place de .r, y dans les premiers membres des équations proposées les valeurs 1,179 et o,432 on trouve (approximativement) a, 8 et 3,5 : ces nombres sont petits par rapport aui coefficients et le résultat est satisfaisant.
Les calculs ont été dirigés de manière, d'une part, à éviter l'emploi de trop de chiffres, d'autre part, à tirer des données, je ne dis pas tout le parti possible, au point de vue de l'approximation des résultats, mais au moins un bon parti. Il y a évidemment quelque arbitraire dans la façon dont l'on peut apprécier ces deux avantages. On aurait pu, en poussant plus loin les opérations, avoir une approximation légèrement meilleure ; on aurait pu faire les calculs plus grossièrement en se contentant d'une approximation moindre.
Dans la pratique, les calculs de cette sorte se feront le plus souvent en s'aidant soit d'une table de logarithmes, soit d'une règle à calcul. Si l'on se sert d'une table et qu'on veuille une bonne approximation, il sera naturel de faire les calculs avec un peu plus de précision qu'il n'est nécessaire. L'emploi d'une table à cinq décimales serait, pour l'exemple précédent, assez raisonnable, mais non d'une table à sept décimales. Les calculs faits au moyen d'une table de logarithmes et d'antilogarithmes à quatre décimales, dont on connaît la grande commodité, sont indiqués ci-dessous; on constate que le résultat est satisfaisant.
loga = 3,5i54 — 3,9161= 1,5993,
log6 = 3,8707 — 3. 9[6i =7,9546;
Iog( 27240)=* 3, 4352 H- 1,5993 = 3,0345,
log( 2724 6 ) = 3 , 4352 -4- 7 , 9546 = 3 , 3898 ;
2724 a = io83, A = io83 H- 6287 = 7370,
logB = 3,9388, loga? = logB — logA = 0,0713,
IogA= 3,8675, 37 = 1,179;
log(aa7)= 1 ,5993 H- 0,0713 = 1 ,6706, âra?= 4,4684, y = ax — 6 = 0, 4323.
Revenons au calcul comme on l'a fait tout d'abord, de manière à
obtenir une limite certaine de l'erreur commise sur les résultats, quand on connaît une limite de Terreur commise sur les données ; cette dernière limite, dans l'exemple traité, est voisine de 0,00 1 : il ne faut pas croire qu'on obtienne toujours d'aussi bons résultats quand on résout des équations du premier degré dont les coefficients ne sont connus qu 'approximativement. Conservons les mêmes notations que plus haut,
X = -ry y =^ ax — o^
pour les deux équations auxquelles on est amené en cherchant à résoudre un système de deux équations à deux inconnues : s'il arrivait que le nombre calculé pour A fût du même ordre de petitesse que l'erreur possible, il n'y aurait à peu près rien à tirer du résultat, puisque o se trouverait être une valeur possible de A ; les équations pourraient être impossibles, ou, si B était aussi du même ordre de petitesse que A, indéterminées. Dans tous les cas, la petitesse du nombre trouvé pour A doit éveiller l'attention : elle introduit, d'ordinaire, une incertitude notable dans les résultats.
Il est à peine utile de dire que, si l'on a traité un exemple relatif à deux équations, la méthode s'applique à la résolution numérique d'un système de n équations à n inconnues; en procédant d'une façon analogue à celle que j'ai indiquée, on sait, à chaque pas, sur quelle approximation on peut compter.
EXERCICES
