Une expression telle que
OÙ a, ^, c, . . ., / sont des coefficients numériques ou algébriques indépendants des inconnues ^i, ^j, jt^, . . ., x^, toutes au premier degré, constitue une /orme linéaire et homogène de ces inconnues.
Une pareille expression égalée à zéro représente une égua-tion linéaire et homogène à m inconnues. Ainsi, dans toute équation linéaire et homogène, le terme tout connu est nécessairement nul.
101. Le théorème général de M. Rouché est immédiatement applicable aux systèmes d'équations linéaires et homogènes.
D'après ce qui précède, en effet, les déterminants caractéristiques d'un pareil système, s'il en existe, sont tous nuls, leurs dernières colonnes se trouvant composées de termes tout connus ou d'éléments nuls (87, 52). Les équations proposées sont donc toujours compatibles (89, i«); ce qui est d'ailleurs évident a priori^ car elles admettent toujours la solution
Nous n'avons donc plus à tenir compte que de la seconde partie de l'énoncé général du n« 89 et, en la modifiant légèrement, nous dirons que :
Tout système de n équations linéaires et homogènes à ni in^
connues admet la solution unique ^r^ =i j?2= ^a = ■ • • ^= ^m = o ou est indéterminé, suivant que les inconnues sont ou non toutes principales*
Ce nouvel énoncé répond à tous les cas qui peuvent se présenter pour les équations linéaires et homogènes.
102. Supposons n = m, c'est-à-dire un nombre égal d'équations et d'inconnues. On a alors le système
Dans cette hypothèse^ le système vst ou non indéterminé, suivant que le déterminant des coefficients des inconnues est ou non égal à zéro.
Admettons qu'il soit indéterminé^ c'est-à-dire que le déterminant des coefficients des inconnues soit égal à zéro, auquel cas il ne pourra pas être déterminant principal: les inconnues ne seront donc pas toutes principales (87, 101).
Il se présente alors un fait remarquable :
Les n inconnues sont indéterminées, mais les rapports de n — I d entre elles à la /i'*'«« sont^ en général, déterminés.
Divisons en effet les n équations par la dernière inconnue j?„; elles deviendront
Xo
or,
ba
■+■ Cn
Xfi
• • • •^— *' fl'
En prenant pour inconnues les /i — i rapports — > — >
-i, ..., -^?^, nous aurons à considérer un système de /léqua-
tiens linéaires, non homogènes, à /i — i inconnues. Dans le Tableau des coefficients des inconnues, prenons
les n — I premières lignes et les n — i premières colonnes. Si le déterminant correspondant n'est pas nul, il sera le déterminant principal du système. On ne pourra alors former que \e seul déterminant caractéristique (87)
br
Cî
Cn
Pour que les n équations à /i — i inconnues soient compatibles y il faut donc que ce déterminant caractéristique soit égala zéro. S'il en est ainsi, toutes les inconnues étant principales, le système admettra une solution unique et déterminée (89).
103. La remarque que nous venons de faire conduit en même temps à un théorème qui est d'une grande importance, notamment en Géométrie analytique.
Si Von a un système de n équations du premier degré contenant n — i inconnues, le résultat de V élimination de ces n — I inconnues s'obtient en général immédiatement en égalant à zéro le déterminant du n'^'^^ ordre formé par les n* coefficients des équations données, y compris leurs termes tout connus.
£n effet, comme on vient de le voir (iOâ), en égalant ce déterminant à zéro, on exprime que les équations données sont compatibles, ou Ton écrit l'équation de condition qui doit exister entre leurs coefficients pour qu'elles soient compatibles. Or cette équation de condition résulte précisément de l'élimination des n — i inconnues entre les n équations.
L'équation ainsi obtenue s'appelle la résultante du système proposé.
Il est évident que cette résultante reste la même, que les termes tout connus soient écrits dans le premier ou dans le second membre des équations, car une quantité nulle dont on change le signe (54) reste nulle.
Nous avons démontré le théorème précédent d'une autre manière en Algèbre élémentaire {Alg, élém., 193).
ALGEBRE SUPÉRIEURE. C)3
Des relations linéaires et homogènes.
104. Pour qu'un déterminant A soit nul, il faut et il suffit qu'il existe entre les éléments des différentes lignes ou des différentes colonnes des relations linéaires et homogènes.
Supposons, en effet, qu'on ait
fcl
tn
Prenons maintenant les éléments de ce déterminant comme coefficients dans un système de n équations linéaires et homogènes à n inconnues, système toujours compatible {iOi); nous
aurons
a^ {C^ -\- c^i oCj -\- C| vCj —H . . . -+- tj oc f^ — o,
an^i-h bn^i-\- Cn^z-h» . .H- lfiXn^=^0,
Si le déterminant A est nul, il ne pourra pas être le déterminant principal du système, toutes les inconnues ne seront pas principales, et le système, étant alors indéterminé (101), admettra, pour les inconnues x^^ j?,, o?,, . . ., j?»» des solutions différentes de zéro. Il existera donc bien entre les éléments des différentes lignes du déterminant A des relations linéaires et homogènes.
Celte condition entraîne réciproquement la nullité de A; car, si les équations linéaires et homogènes indiquées admettent des solutions différentes de zéro, elles forment un système indéterminé (101). Toutes les inconnues ne peuvent donc être principales, et Ton a nécessairement A=: o.
Nous avons déjà démontré cette réciproque d'une autre manière à la fin du n^ 57.