« Systèmes de Cramer/Pivot de Gauss » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique
Pourquoi effacer ces paragraphes ? Révocation des modifications de Crochet.david.bot%2C89.2.193.11 ; Retour à la version 281525 de Crochet.david
Ligne 8 :
}}
== Introduction ==
La méthode du « pivot de Gauss », ou « élimination de Gauss-Jordan », est un algorithme efficace permettant de résoudre — lorsque c'est possible — un système d'équations linéaires. Contrairement à la méthode de Cramer, le pivot de Gauss ne requiert pas la connaissance des matrices (sauf pour sa démonstration) et donne même des solutions lorsque le système n'est pas de Cramer.
 
Numériquement, l'implémentation sur ordinateur de cet algorithme donne généralement de ''mauvais'' résultats (même s'il est rapide) : les erreurs d'arrondi se cumulent et faussent généralement la solution. Néanmoins, il n'utilise que des additions et multiplications, ce qui en fait le meilleur du point de vue du rapport simplicité/efficacité disponible en calcul manuel.
 
== MethodePrésentation de résolutionl'algorithme & exemple ==
 
{{Principe|titre=Principe de l'élimination de Gauss-Jordan|contenu=
Ligne 29 :
Voyons maintenant comment s'y prendre :
 
'''{{Définition''': Élimination de Gauss
| titre = Élimination de Gauss-Jordan
| contenu =
Pour décrire l'algorithme, nous allons prendre un exemple, plutôt qu'une définition formelle :
 
Ligne 45 ⟶ 46 :
<math>\left\{\begin{array}{*{7}{c}} x &-& y &+& 2z &=& 5 \\ 0 &+& 5y &-& 5z &=& -5 \\ 0 &-& y &-& 6z &=& -20 \\ \end{array}\right.</math>
 
* '''Retour à l'étape 1''' puis '''Retour à l'étape 2: élimination'''avec le pivot suivant(pivot: "y") .
«» on obtient ainsi le système d'équation en forme triangulaire:
 
* '''Fin de l'algorithme''' : l'algorithme se termine :
<math>\left\{\begin{array}{*{7}{c}} x &-& y &+& 2z &=& 5 \\ 0 &+& y &-& z &=& -1 \\ 0 &-& 0 &-& 7z &=& -21 \\ \end{array}\right.</math>
** lorsqu'il a atteint le ''n''-ième coefficient de la ''n''-ième ligne (le système admet une unique solution), ou
** lorsqu'il atteint un pivot nul. (Le système n'admet pas une unique solution.)
}}
 
La suite des étapes donne (pivot : ''y'') :
 
<math>\left\{\begin{array}{*{7}{c}} x &-& y &+& 2z &=& 5 \\ 0 &+& y &-& z &=& -1 \\ 0 &-& 0 &-& 7z &=& -21 \\ \end{array}\right.</math>
 
On en déduit ''z = 3'', puis ''y = 2'', puis ''x = 1''. On vérifie que ce triplet est solution.
Ligne 57 ⟶ 63 :
{{Attention|Il y a un ''ordre précis'' dans le choix du pivot. Ne pas le respecter peut amener à des résultats aberrants.}}
 
La méthode du pivot de Gauss permet également de calculer le rang, l'inverse et le déterminant d'une matrice. Sa complexité est en <math>O\left(n^3\right)</math>, ce qui en fait un algorithme plus efficace que la méthode de Cramer, plus général que celle-ci. Néanmoins, il ne s'agit pas du « meilleur algorithme envisageable » : on pense qu'un tel algorithme atteindrait une complexité proche de <math>O \left( n^2 \right)</math>. Nous avons évoqué plus haut la faible précision de cet algorithme — en réalité, dans certains contextes, il est possible d'obtenir une précision ''exacte'' — mais ce n'est pas avec des nombres réels !
Il existe une variante : une fois le système ''étagé'', on repart à partir de la dernière ligne pour éliminer les termes en ''z'', puis de l'avant dernière pour éliminer les termes en ''y'' ''etc.'' on aboutit ainsi à un système ''diagonal'', dont les solutions sont immédiates.
 
Cette notion de complexité signifie que, si on tente de résoudre un système de ''n'' équations à ''n'' inconnues, il faut effectuer de l'ordre de ''n³'' opérations. Dans notre exemple, ''n = 3'' — il faut tout de même effectuer de l'ordre de 27 opérations.
 
Il existe une variante : une fois le système ''étagé'', on repart à partir de la dernière ligne pour éliminer les termes en ''z'', puis de l'avant dernière pour éliminer les termes en ''y'' ''etc.'' on aboutit ainsi à un système ''diagonal'', dont les solutions sont immédiates. C'est ce qu'il faut faire lors du calcul de l'inverse d'une matrice.
 
{{Bas de page | idfaculté = mathématiques
| précédent = [[../Systèmes de Cramer/]]
}}