Matrice augmentée [A|b]

Une matrice augmentée regroupe le système linéaire Ax égal à b en un seul tableau [A|b] afin que les opérations élémentaires sur les lignes agissent à la fois sur les coefficients et les seconds membres. Les étudiants qui appliquent Gauss-Jordan à la main, les tuteurs qui corrigent les devoirs et les scripts d’automatisation qui stockent déjà les systèmes en matrices augmentées ont besoin d’une réponse déterministe : un vecteur solution unique lorsque le rang de A égale le nombre de variables, un signal clair d’infinité de solutions lorsque des variables libres subsistent, ou l’indication d’absence de solution lorsqu’une ligne réduite est nulle à gauche et non nulle à droite. Ce solveur de matrice augmentée accepte cette matrice comme un tableau rectangulaire de nombres finis, la réduit avec pivot partiel et renvoie le statut, le rang, la RREF et la solution lorsqu’elle est unique.

Ce qu’encode une matrice augmentée et comment la réduction tranche le cas

Un système linéaire à m équations et n inconnues s’écrit Ax égal à b, où A est m par n et b une colonne de longueur m. Empiler b comme colonne supplémentaire produit la matrice augmentée [A|b] avec m lignes et n plus une colonnes. Les opérations élémentaires sur les lignes—échanger deux lignes, multiplier une ligne par une constante non nulle ou ajouter un multiple d’une ligne à une autre—ne modifient pas l’ensemble des solutions du système.

L’élimination de Gauss-Jordan avec pivot partiel crée systématiquement des uns pivots et annule les autres entrées de chaque colonne pivot jusqu’à obtenir la forme échelonnée réduite par lignes. Après réduction, trois issues mutuellement exclusives apparaissent. Si une ligne est toute nulle du côté des coefficients et une constante non nulle à droite, le système est inconsistent et n’a pas de solution.

Si chaque ligne non nulle a un pivot dans une colonne de coefficients et que le nombre de pivots vaut n, chaque variable est déterminée et il existe une solution unique lue dans la dernière colonne. Si le système est consistent mais que le nombre de pivots est inférieur à n, il reste au moins une variable libre et il y a une infinité de solutions.

Ce point d’accès signale ces trois cas dans le champ status comme unique, infinite ou none, et joint la RREF nettoyée pour que vous puissiez afficher la même forme intermédiaire qu’un manuel imprimerait après réduction manuelle.

Où un solveur de matrice augmentée apporte de la valeur

Les cours d’algèbre linéaire introduisent les systèmes par matrices augmentées bien avant l’inverse ou Cramer, si bien que les apprenants cherchent un solveur de matrice augmentée qui reflète la notation [A|b] de leurs notes. Les carnets d’ingénierie qui assemblent déjà des blocs de contraintes en lignes augmentées évitent de séparer A et b seulement pour appeler un solveur carré ; ici les systèmes rectangulaires et sur- ou sous-déterminés sont de première classe. Une validation échouée ne consomme pas le solde.

Gardez les requêtes dans les limites de lignes et de colonnes, figez la RREF et la solution arrondies dans les tests, et vous obtenez des classifications reproductibles pour devoirs, générateurs d’examens et workers en bordure sans déployer une pile d’algèbre informatique complète.