Méthode de résolution de Gauss
Méthode :
Deux systèmes sont équivalents s'ils ont les mêmes solutions.
Certaines transformations changent un système en un système équivalent, en particulier les transformations suivantes :
changer l'ordre des équations ;
changer l'ordre des inconnues (dans toutes les équations à la fois) ;
multiplier une équation par un nombre non nul ;
conserver toutes les lignes sauf une et ajouter à cette dernière ligne une combinaison des autres.
Il est facile de vérifier que ces transformations sont réversibles et donc qu'elles transforment un système en un système équivalent.
La méthode de Gauss est une méthode qui applique systématiquement les transformations précédentes pour transformer le système en un système "triangulaire".
Nous ne la détaillons pas ici, car nous la supposons, connue et appliquée systématiquement par les étudiants.
Lien entre les résolutions des systèmes associés
Nous pouvons remarquer que nous pouvons faire exactement le même calcul sur les premiers membres des équations du système \(S\) et du système homogène associé \(S_{H}\) .
Le choix des pivots et l'entier \(r\) sont les mêmes pour les deux systèmes \(S\) et \(S_{H}\) .
Objectif :
Montrer que l'entier \(r\) ne dépend pas des choix successifs que nous avons faits pour les pivots.
Lien entre les solutions des systèmes S et S indice H
On peut remarquer que si \((x_{1}, \ldots , x_{n}) ~~et~~ (x'_{1}, ..., x'_{n})\) sont deux solutions du système \(S\) alors \((x_{1} - x'_{1}, \ldots , x_{n} - x'_{n})\) est solution du système \(S_{H}\) . Toutes les solutions du système \(S\) sont déterminées si on connaît une solution du système \(S\) et si on connaît toutes les solutions du système \(S_{H}\) .
La solution générale du système \(S\) s'obtient en ajoutant à une solution particulière du système \(S\) la solution générale du système \(S_{H}\) .
Soient les deux systèmes associés suivants \(S\) et \(S_{H}\) mis sous la forme suivante après application de la méthode du pivot :
\(S_{H}\left\{ \begin{matrix} a_{11}x_{1} & + & a_{12}x_{2} & + & a_{13}x_{3} & + & \cdots & + & a_{1n}x_{n} & =b_1 \\ && a_{22}x_{2} &+ & a_{23}x_{3} &+ & \cdots & + & a_{2n}x_{n} &=b_2 \\ && &\ddots& &\vdots&& \vdots \\ &&&& a_{rr}x_{r} & + & \cdots & + & a_{rn}x_{n} &=b_r \\&&&&&&&& 0 &\hspace*{0.3cm} =b_{r+1} \\ &&&&&&&&\vdots& \vdots \\ &&&&&&&& 0 & \hspace*{0.1cm} =b_{m} \end{matrix}\right.\)
\(S_{H}\left\{ \begin{matrix} a_{11}x_{1} & + & a_{12}x_{2} & + & a_{13}x_{3} & + & \cdots & + & a_{1n}x_{n} & =0 \\ && a_{22}x_{2} &+ & a_{23}x_{3} &+ & \cdots & + & a_{2n}x_{n} &=0 \\ && &\ddots& &\vdots&& \vdots \\ &&&& a_{rr}x_{r} & + & \cdots & + & a_{rn}x_{n} &=0 \\&&&&&&&& 0 & =0 \\ &&&&&&&&\vdots& \vdots \\ &&&&&&&& 0 & =0 \end{matrix}\right.\)