Unit 2, lesson 8

Pivots, Free Variables and All Solutions

How pivots and pivot columns split the unknowns into pivot and free variables, how an inconsistent row rules out solutions, and how reduced row echelon form gives a parametric solution, a particular plus a homogeneous solution.

  • Video 8
  • Describing All Solutions

Two equations in three unknowns, such as x+z=4x + z = 4 and y+z=3y + z = 3, can never pin down a single point. The triples (4,3,0)(4, 3, 0), (3,2,1)(3, 2, 1) and (2,1,2)(2, 1, 2) all satisfy them, and so do infinitely many others. Listing a few solutions is not the same as knowing all of them. This lesson shows how the pivots of an echelon form decide whether a system has any solution, which unknowns can be chosen freely, and how to write every solution in one formula. Throughout, a tuple such as (4,3,0)(4, 3, 0) stands for a column vector.

Key terms

Pivot

Definition Let AA be a matrix and let UU be a row echelon form of AA, that is, a matrix in row echelon form that is row equivalent to AA. The leading entries of the nonzero rows of UU are pivots, and their locations are pivot positions. Every echelon form of AA has its pivots in the same positions, so the pivot positions belong to AA itself. A pivot column of AA is a column that contains a pivot position. For a system with augmented matrix [ A∣b ][\,A \mid \mathbf{b}\,], the unknowns whose columns are pivot columns of AA are the pivot variables, also called basic variables.

In plain words A pivot is the first nonzero entry of a row once the staircase is built. Each pivot column marks an unknown that one of the equations can be solved for.

Example The system x+z=4x + z = 4, y+z=3y + z = 3 has the augmented matrix

[10140113],\left[\begin{array}{ccc|c} 1 & 0 & 1 & 4 \\ 0 & 1 & 1 & 3 \end{array}\right],

which is already in row echelon form. Its pivots are the leading entries 11 in columns 1 and 2. The pivot columns are the xx and yy columns, so xx and yy are pivot variables, and the zz column contains no pivot.

Free variable

Definition In a consistent linear system, a free variable is an unknown whose column in the coefficient matrix is not a pivot column. Each choice of real values for the free variables determines exactly one value for each pivot variable, found by back-substitution, and every solution arises from exactly one such choice. A consistent system with nn unknowns and rr pivots in its coefficient matrix therefore has n−rn - r free variables. It has exactly one solution when n−r=0n - r = 0 and infinitely many when n−r>0n - r > 0.

In plain words A free variable is a setting you may choose at will. It does not drop out of the problem, because it is still an entry of every solution, and the pivot variables are calculated from the values you choose.

Example In the system x+z=4x + z = 4, y+z=3y + z = 3 the unknown zz is free. Choosing z=1z = 1 forces x=3x = 3 and y=2y = 2, and choosing z=2z = 2 forces x=2x = 2 and y=1y = 1. Once zz is fixed, the pivot variables are determined and cannot be chosen separately.

Reduced row echelon form

Definition A matrix is in reduced row echelon form (RREF) if it is in row echelon form and, in addition,

  1. every pivot equals 11, and
  2. each pivot is the only nonzero entry in its column.

Every matrix is row equivalent to exactly one matrix in reduced row echelon form, so any two sequences of row operations that reach RREF end at the same matrix. Ordinary row echelon forms lack this uniqueness. Scaling a pivot row by a number other than 00 and 11 gives another one, so a nonzero matrix has infinitely many of them.

In plain words Scale each pivot to 11, then clear the entries above it as well as below it. In a consistent system each nonzero equation then contains exactly one pivot variable, and every other unknown in it is free.

Example Start from the echelon matrix

[11270226].\left[\begin{array}{ccc|c} 1 & 1 & 2 & 7 \\ 0 & 2 & 2 & 6 \end{array}\right].

The scaling R2→12R2R_2 \to \frac{1}{2}R_2 and then the replacement R1→R1−R2R_1 \to R_1 - R_2 give

[11270113]→ [10140113].\begin{aligned} &\left[\begin{array}{ccc|c} 1 & 1 & 2 & 7 \\ 0 & 1 & 1 & 3 \end{array}\right] \\[0.4em] \to\ &\left[\begin{array}{ccc|c} 1 & 0 & 1 & 4 \\ 0 & 1 & 1 & 3 \end{array}\right]. \end{aligned}

The pivot columns now match the columns of I2I_2, while the third column now holds the entries 11 and 11. A column without a pivot does not have to be zero in RREF. The result is the augmented matrix of the system x+z=4x + z = 4, y+z=3y + z = 3.

Inconsistent row

Definition An inconsistent row of an augmented matrix is a row of the form

[0⋯0c],c≠0,\left[\begin{array}{ccc|c} 0 & \cdots & 0 & c \end{array}\right], \qquad c \ne 0,

which stands for the equation 0=c0 = c. A linear system is inconsistent exactly when an echelon form of its augmented matrix has an inconsistent row, that is, when the last column of the augmented matrix is a pivot column. A row that is zero everywhere, constant included, stands for 0=00 = 0 and imposes no condition.

In plain words Before looking for free variables, scan the echelon form for a row that says zero equals a nonzero number. One such row means there is no solution at all. A row that says zero equals zero is harmless and can be set aside.

Example For the system x+y=3x + y = 3, 2x+2y=72x + 2y = 7, the step R2→R2−2R1R_2 \to R_2 - 2R_1 gives

[113227]→[113001],\left[\begin{array}{cc|c} 1 & 1 & 3 \\ 2 & 2 & 7 \end{array}\right] \to \left[\begin{array}{cc|c} 1 & 1 & 3 \\ 0 & 0 & 1 \end{array}\right],

and the second row says 0=10 = 1, so the system is inconsistent. With 66 in place of 77 the same step produces a zero row, which says 0=00 = 0. That system is consistent, and its one remaining equation x+y=3x + y = 3 leaves yy free. The coefficient matrix is the same in both cases, so here the right-hand side, not the coefficients, decides consistency.

Parametric solution

Definition A parametric solution of a consistent system describes its entire solution set in terms of parameters, one for each free variable. Set each free variable equal to its own parameter, which may be any real number, and solve the reduced equations for the pivot variables. The result can be written in vector form

x=p+t1v1+⋯+tkvk\mathbf{x} = \mathbf{p} + t_1\mathbf{v}_1 + \cdots + t_k\mathbf{v}_k

with real parameters t1,…,tkt_1, \dots, t_k, where kk is the number of free variables and p,v1,…,vk\mathbf{p}, \mathbf{v}_1, \dots, \mathbf{v}_k are fixed vectors. Every choice of the parameters gives a solution, and the description is complete because every solution has some value of each free variable, after which the equations force the pivot variables.

In plain words With at least one free variable, one formula with kk adjustable numbers replaces an endless list of solutions. Every setting of those numbers gives a solution, and every solution comes from some setting.

Example The reduced system x1+2x2−x4=3x_1 + 2x_2 - x_4 = 3, x3+2x4=−2x_3 + 2x_4 = -2 has pivot columns 1 and 3, so x2x_2 and x4x_4 are free. Set x2=sx_2 = s and x4=tx_4 = t. Then x1=3−2s+tx_1 = 3 - 2s + t and x3=−2−2tx_3 = -2 - 2t, so

[x1x2x3x4]=[30−20]+s[−2100]+t[10−21].\begin{bmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{bmatrix} = \begin{bmatrix} 3 \\ 0 \\ -2 \\ 0 \end{bmatrix} + s\begin{bmatrix} -2 \\ 1 \\ 0 \\ 0 \end{bmatrix} + t\begin{bmatrix} 1 \\ 0 \\ -2 \\ 1 \end{bmatrix}.

Substituting back gives (3−2s+t)+2s−t=3(3 - 2s + t) + 2s - t = 3 and (−2−2t)+2t=−2(-2 - 2t) + 2t = -2 for all real ss and tt. Once ss and tt are chosen, the pivot variables cannot be chosen too. With s=t=0s = t = 0, for example, the equations force x1=3x_1 = 3 and x3=−2x_3 = -2.

Particular and homogeneous solutions

Definition A particular solution of Ax=bA\mathbf{x} = \mathbf{b} is any one fixed solution p\mathbf{p}. The system Ax=0A\mathbf{x} = \mathbf{0} with the same coefficient matrix is the associated homogeneous system, and its solutions are the homogeneous solutions. If p\mathbf{p} is a particular solution of a consistent system Ax=bA\mathbf{x} = \mathbf{b}, then the solution set of that system is exactly

{ p+h∣Ah=0 }.\{\, \mathbf{p} + \mathbf{h} \mid A\mathbf{h} = \mathbf{0} \,\}.

Both inclusions follow from linearity. If Ax=bA\mathbf{x} = \mathbf{b}, then A(x−p)=b−b=0A(\mathbf{x} - \mathbf{p}) = \mathbf{b} - \mathbf{b} = \mathbf{0}, and if Ah=0A\mathbf{h} = \mathbf{0}, then A(p+h)=b+0=bA(\mathbf{p} + \mathbf{h}) = \mathbf{b} + \mathbf{0} = \mathbf{b}. In a parametric solution x=p+t1v1+⋯+tkvk\mathbf{x} = \mathbf{p} + t_1\mathbf{v}_1 + \cdots + t_k\mathbf{v}_k, the vector p\mathbf{p} is a particular solution and the sums t1v1+⋯+tkvkt_1\mathbf{v}_1 + \cdots + t_k\mathbf{v}_k run through all homogeneous solutions.

In plain words A homogeneous solution is a change of input that the matrix does not notice. Start at any one solution and add every such change, and you reach every solution. An inconsistent system has no particular solution to start from.

Example For x+z=4x + z = 4, y+z=3y + z = 3 every solution is (4−t,3−t,t)=(4,3,0)+t(−1,−1,1)(4 - t, 3 - t, t) = (4, 3, 0) + t(-1, -1, 1). Here (4,3,0)(4, 3, 0) is a particular solution, and

[101011][−1−11]=[00],\begin{bmatrix} 1 & 0 & 1 \\ 0 & 1 & 1 \end{bmatrix}\begin{bmatrix} -1 \\ -1 \\ 1 \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \end{bmatrix},

so every multiple of (−1,−1,1)(-1, -1, 1) is a homogeneous solution. There are no others, because x+z=0x + z = 0 and y+z=0y + z = 0 force x=y=−zx = y = -z. Changing the right-hand side to (1,−2)(1, -2) changes only the particular solution, and the solutions become (1,−2,0)+t(−1,−1,1)(1, -2, 0) + t(-1, -1, 1). The homogeneous solutions always include 0\mathbf{0}, while the solution set of Ax=bA\mathbf{x} = \mathbf{b} with b≠0\mathbf{b} \ne \mathbf{0} never does.

Check yourself

  1. Each augmented matrix below is in row echelon form, for a system in the unknowns x1,x2,x3x_1, x_2, x_3. Decide whether the system is consistent, and if it is, name the free variables.
(a) [12−140036](b) [12−140006](c) [12−140000]\begin{gathered} \text{(a)}\ \left[\begin{array}{ccc|c} 1 & 2 & -1 & 4 \\ 0 & 0 & 3 & 6 \end{array}\right] \\[0.4em] \text{(b)}\ \left[\begin{array}{ccc|c} 1 & 2 & -1 & 4 \\ 0 & 0 & 0 & 6 \end{array}\right] \\[0.4em] \text{(c)}\ \left[\begin{array}{ccc|c} 1 & 2 & -1 & 4 \\ 0 & 0 & 0 & 0 \end{array}\right] \end{gathered}
Show the answer

System (a) is consistent. Its pivots are in columns 1 and 3, so x2x_2 is the only free variable. The second row gives x3=2x_3 = 2, and then x1=6−2x2x_1 = 6 - 2x_2.

System (b) is inconsistent, because its second row says 0=60 = 6.

System (c) is consistent, because its zero row only says 0=00 = 0. The only pivot is in column 1, so x2x_2 and x3x_3 are both free, and x1=4−2x2+x3x_1 = 4 - 2x_2 + x_3. Systems (b) and (c) differ only in the last entry of the second row, and that entry alone decides consistency.

  1. Reduce the augmented matrix below to RREF and write every solution in parametric vector form. Check your answer in the original equations.
[1−21342−43811]\left[\begin{array}{cccc|c} 1 & -2 & 1 & 3 & 4 \\ 2 & -4 & 3 & 8 & 11 \end{array}\right]
Show the answer

Apply R2→R2−2R1R_2 \to R_2 - 2R_1, then R1→R1−R2R_1 \to R_1 - R_2,

[1−213400123]→ [1−201100123].\begin{aligned} &\left[\begin{array}{cccc|c} 1 & -2 & 1 & 3 & 4 \\ 0 & 0 & 1 & 2 & 3 \end{array}\right] \\[0.4em] \to\ &\left[\begin{array}{cccc|c} 1 & -2 & 0 & 1 & 1 \\ 0 & 0 & 1 & 2 & 3 \end{array}\right]. \end{aligned}

The pivot columns are 1 and 3, so x2x_2 and x4x_4 are free. Set x2=sx_2 = s and x4=tx_4 = t. Then x1=1+2s−tx_1 = 1 + 2s - t and x3=3−2tx_3 = 3 - 2t, and

x=[1030]+s[2100]+t[−10−21].\mathbf{x} = \begin{bmatrix} 1 \\ 0 \\ 3 \\ 0 \end{bmatrix} + s\begin{bmatrix} 2 \\ 1 \\ 0 \\ 0 \end{bmatrix} + t\begin{bmatrix} -1 \\ 0 \\ -2 \\ 1 \end{bmatrix}.

In the original equations the first left side becomes (1+2s−t)−2s+(3−2t)+3t(1 + 2s - t) - 2s + (3 - 2t) + 3t, which equals 44, and the second becomes 2(1+2s−t)−4s+3(3−2t)+8t2(1 + 2s - t) - 4s + 3(3 - 2t) + 8t, which equals 1111, for all real ss and tt.

  1. Two students solve x+z=4x + z = 4, y+z=3y + z = 3. One writes the solutions as (4,3,0)+t(−1,−1,1)(4, 3, 0) + t(-1, -1, 1), and the other writes them as (2,1,2)+u(1,1,−1)(2, 1, 2) + u(1, 1, -1). Which student is right?
Show the answer

Both are right. The vector (2,1,2)(2, 1, 2) is a solution, since 2+2=42 + 2 = 4 and 1+2=31 + 2 = 3, so it can serve as the particular solution. The vector (1,1,−1)(1, 1, -1) is −1-1 times (−1,−1,1)(-1, -1, 1), so its multiples are the same homogeneous solutions. The two formulas describe the same line, and the point with parameter uu in the second formula is the point with t=2−ut = 2 - u in the first. A particular solution is any one solution, not a special one.

How this lesson connects