Given a system of linear equations, how many solutions are there?
We shall see that a system of linear equations has either zero, one, or an infinite number of solutions.
Let
be the augmented matrix of a given system of linear equations, for some integers .
The system is called homogeneous if .
We call a solution to a system of equations non-trivial, if at least one of the variables has non-zero value.
Example 5.3.2.
The system of equations
has a non-trivial solution, namely .
The homogeneous system of equations
has no non-trivial solution. Indeed, is the unique solution.
An advantage of systems with two equations is that we can work out a graphical solution, as we did in our first example. Indeed, an equation (in the variables and ) is a line in the -plane, and so the solutions to a system of equations with two variables are the intersection point(s) of all the lines. In other words, the possible outcomes of a system of two linear equations in two variables are as follows:
The lines are distinct and parallel. (Zero solutions)
There is a unique intersection point. (One solution)
The lines are the same line. (Infinitely many solutions)
Example 5.3.3.
We consider four systems of linear equations in two variables and , all in fact very similar to each other, but leading to four different configurations of solutions.
– Unique trivial solution.
The system of linear equations has the following augmented matrix form, which we row reduce:
The conclusion is that there is a unique solution, namely , which is called the trivial solution.
– Unique non-trivial solution.
The system of linear equations has the following augmented matrix form, which we row reduce, using the same operations as in (a):
Converting the final augmented matrix back into equations, we see and . So there is a unique non-trivial solution.
– Infinity of solutions.
The given system of linear equations in the variables and has the following augmented matrix form, which we row reduce:
This final matrix is in reduced row echelon form, and by Theorem 5.2.4, the original system is equivalent to the single equation , which has infinitely many solutions. Therefore the original system of equations has infinitely many solutions.
– No solutions: inconsistent system of equations.
We row reduce the associated augmented matrix:
Translating this final matrix back into equations, we find that the original system is equivalent to one involving the equation . Since the left-hand side is 0, and can never equal 7, there are no solutions.
Geometrically, the lines corresponding to each equation do not intersect, because they are parallel and distinct.
We end this section on systems of linear equations with a useful result concerning homogeneous systems of equations. This concept is relevant in linear algebra, in the study of eigenvalues and eigenvectors which is the topic of Section 7.
If is a matrix in reduced row echelon form, then the equation , (where is a column vector in ) has a non-trivial solution if and only if is not the identity matrix.
If is the identity matrix, then clearly the only solution is , the trivial one. If is not the identity matrix, then it has at most non-zero rows, and hence at most leading coefficients. Choose a variable corresponding to a column not containing a leading coefficient. Whatever value we choose for , it is easy to construct a solution for the other variables which satisfy the equations. So we have constructed a non-trivial solution. ∎
Let , for some integer , and let
Then the homogeneous system
has a non-trivial solution if and only if .
Example 5.3.6.
Consider this Theorem applied to Example 5.3(a): Since , is not zero, the only solution is the trivial one.
Let and let
Assume that . Then the homogeneous system
Note that the above system of equations is equivalent to the one given by the augmented matrix
where, for sake of clarity, the indices indicate the sizes of the given matrices. In other words, we complete the matrix into a square matrix by adding rows of zeros at the bottom, which we can do at least once, because by assumption. It follows that the determinant of the left-hand side matrix
is zero and so, the result follows from Theorem 5.3.5. ∎