3 Matrices

3.11 Solving RREF systems

Suppose we start with a linear system with matrix form A𝐱=𝐛 then put the augmented matrix (A𝐛) into RREF. Suppose the resulting matrix in RREF is (A𝐛). The whole point of RREF was that the solutions of A𝐱=𝐛 are the same as those of A𝐱=𝐛 but it should be “easy” to find the solutions of A𝐱=𝐛. How do we actually find those solutions?

Example 3.11.1.

Here is an augmented matrix in RREF

(10200014000001000001)

If the variables are called x,y,z,w then the corresponding equations are

x+2z =0
y+4z =0
w =0
0 =1

The last equation is false, so there are no solutions to this linear system.

Example 3.11.2.

Here is the same augmented matrix with a different final column.

(10202014030001400000)

In this case, if the variables are x,y,z,w, the equations are

x+2z =2
y+4z =3
w =4
0 =0

Clearly we can choose any value for z and this will uniquely determine the values of the other three variables through the equations x=22z,y=34z,w=4. The general solution is

(xyzw)=(22z34zz4).

In general, for an augmented matrix in row reduced echelon form:

  • If the last column of the augmented matrix has a leading entry (like in the first example above), there are no solutions. Otherwise,

  • variables corresponding to a column with no leading entry (like z in the second example) can be chosen freely, and

  • the other variables are uniquely determined in terms of these free variables.

Variables whose column has no leading entry are called free variables and variables whose column does contain a leading entry are called pivot variables.

It’s easy to see why the first bullet point is true: in that case the row with a leading entry in its final column would correspond to an equation saying

0=1

which has no solutions, so the system is inconsistent. Let’s prove the second part of the claim.

Theorem 3.11.1.

Suppose R𝐱=𝐛 is a system of linear equations whose augmented matrix is in RREF and does not have a leading entry in the final column. Let R be m×n, let xj1,,xjk be the free variables, and let xi1,,xil be the pivot variables. Then for any list of numbers a1,,ak there is exactly one solution to R𝐱=𝐛 in which xjp=ap for all 1pk.

The point of this theorem is to make precise the idea that in a RREF linear system, the values of the free variables can be chosen arbitrarily, and these choices completely determine the values of the other (pivot) variables.

Proof.

The l nonzero equations corresponding to the first l rows of the augmented matrix take the form

xiq+p=1krq,jpxjp=bq (3.12)

for 1ql. (The coefficient of xiq is 1 because leading entries in a RREF matrix are 1, and no pivot variables except xiq appear in the qth equation with nonzero coefficient because pivot variables correspond to columns with a leading entry, and by the definition of RREF every other entry in those columns must be zero).

Now let a1,,ak be any numbers. If xjp=ap for 1pk then the equations (3.12) force

xiq=bqp=1krq,jpap.

All values of the free and pivot variables are determined, so there is exactly one such solution. ∎

To give the general solution of a system of linear equations means to identify the free variables by putting the system into RREF and then give an expression for the pivot variables in terms of the free variables. Here is another example of finding a general solution of a system of linear equations.

Example 3.11.3.

Consider the system of linear equations

2x1+x2+x32x4 =3
x1+x32x+4 =2
x1+2x34x4 =1
3x1+x2+3x36x4 =4.

By doing row operations to the corresponding augmented matrix, you can reach the RREF matrix

(10003010020012100000)

with corresponding system of linear equations

x1 =3
x2 =2
x32x4 =1.

There is one free variable, x4, which can take any value. The general solution is

(x1x2x3x4)=(322x41x4).

We can now show that homogeneous linear systems with more variables than equations have nonzero solutions (that is, solutions other than the zero vector 𝟎).

Proposition 3.11.2.

If A is m×n and n>m then the matrix equation A𝐱=𝟎 has a nonzero solution.

Proof.

When we do row operations to A to get a RREF matrix, that RREF matrix has at most one leading entry in each of its m rows. Since there are more columns than rows, there must be a column with no leading entry. The corresponding variable is a free variable, so there is a solution in which it is nonzero. ∎