Consider the following matrix as the augmented matrix of a linear system:
\begin{equation*}
A = \left[\begin{array}{@{}ccc|c@{}}
1 \amp 0 \amp -3 \amp 5 \\
0 \amp 1 \amp 2 \amp 7 \\
0 \amp 0 \amp 0 \amp 0 \\
\end{array}\right]\text{.}
\end{equation*}
(Again, the reader should verify that this matrix is in reduced row-echelon form.)
The final row of this matrix corresponds to the equation
\(0=0\text{.}\) Since this equation is true all the time, for all values of the involved variables, we wonβt consider it any longer as it places no further restrictions on the solutions.
The first two rows of \(A\) correspond to the following two linear equations:
\begin{align*}
x_1 - 3x_3 \amp =5\\
x_2 + 2x_3 \amp =7\text{.}
\end{align*}
From
DefinitionΒ 1.3.1, we see that in this system
\(x_1\) and
\(x_2\) are basic variables and
\(x_3\) is a free variable. What does that mean for the solutions of this system? We call
\(x_3\) βfreeβ because any element of
\(\rr\) that we put into
\(x_3\) will produce a solution for this system. The variable
\(x_3\) is βfreeβ to take on any value, and then the values of the basic variables
\(x_1\) and
\(x_2\) are determined by that value and the linear equations.
For example, in this system of equations, if
\(x_3=2\text{,}\) then
\(x_1=11\) and
\(x_2=3\text{,}\) giving
\((11,3,2)\) as a solution to the linear system. If
\(x_3=-1\text{,}\) then
\(x_1=2\) and
\(x_2=9\text{,}\) giving
\((2,9,-1)\) as a solution to the system. Since
\(x_3\) can take on any value in
\(\rr\text{,}\) and since we have a solution to the system for each value of
\(x_3\text{,}\) this means we have a solution to the system for each element of
\(\rr\text{.}\) We conclude that there are an infinite number of solutions to this system.
The solutions to this linear system can be written in a number of ways. We will prefer the following form:
\begin{equation*}
\left\{ \begin{array}{l}
x_1 = 5 + 3x_3 \\
x_2 = 7-2x_3 \\
x_3 \text{ is free.}
\end{array} \right.
\end{equation*}
This is called a parametric description of the solution set. Sometimes solutions like this are written with the letter \(t\) or \(s\) in place of \(x_3\) to better match the usage of the word βparameterβ elsewhere. We will follow the convention of using the free variables as parameters in our solutions.