Inlinear algebra, the Rouché–Capelli theorem determines the number of solutions for a system of linear equations, given the rank of its augmented matrix and coefficient matrix. The theorem is variously known as the:
A system of linear equations with n variables and coefficients in a field K has a solution if and only if its coefficient matrix A and its augmented matrix [A|b] have the same rank.[1] If there are solutions, they form an affine subspaceof
.Consider the system of equations
The coefficient matrix is
and the augmented matrix is
![{\displaystyle (A|B)=\left[{\begin{array}{ccc|c}1&1&2&3\\1&1&1&1\\2&2&2&2\end{array}}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/719fe63e6ea283f189df8363c1d418f0a73a5ebb)
Since both of these have the same rank, namely 2, there exists at least one solution; and since their rank is less than the number of unknowns, the latter being 3, there are infinitely many solutions.
In contrast, consider the system
The coefficient matrix is
and the augmented matrix is
![{\displaystyle (A|B)=\left[{\begin{array}{ccc|c}1&1&2&3\\1&1&1&1\\2&2&2&5\end{array}}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8d486765032f65d6f336123d4e956685ad6257d)
In this example the coefficient matrix has rank 2, while the augmented matrix has rank 3; so this system of equations has no solution. Indeed, an increase in the number of linearly independent columns has made the system of equations inconsistent.
There are several proofs of the theorem. One of them is the following one.
The use of Gaussian elimination for putting the augmented matrix in reduced row echelon form does not change the set of solutions and the ranks of the involved matrices. The theorem can be read almost directly on the reduced row echelon form as follows.
The rank of a matrice is number of nonzero rows in its reduced row echelon form. If the ranks of the coefficient matrix and the augmented matrix are different, then the last non zero row has the form ![{\displaystyle [0\ldots 0\mid 1],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c00253dd5e7b7d67ccd58deee060201e2e46c2f)