Since this is a homogeneous system, we know it has the trivial solution
\(\vec x = \vec 0\) as a solution. However, we want to find
all solutions. So, letβs solve the system by simplifying the augmented matrix.
Note: you do not have to form the augmented matrix and can instead row reduce
\(A\) since this is a homogeneous system and row operations will not affected the augmented
\(\vec 0\text{.}\)
\begin{equation*}
\begin{bmatrix} 1 \amp 3 \amp 1 \amp \rvert \amp 0 \\ 2 \amp -1 \amp -5 \amp \rvert \amp 0 \\ 1 \amp 0 \amp -2 \amp \rvert \amp 0 \end{bmatrix} \sim \begin{bmatrix} 1 \amp 3 \amp 1 \amp \rvert \amp 0 \\ 0 \amp -7 \amp -7 \amp \rvert \amp 0 \\ 0 \amp -3 \amp -3 \amp \rvert \amp 0 \end{bmatrix} \sim \begin{bmatrix} 1 \amp 0 \amp -2 \amp \rvert \amp 0 \\ 0 \amp 1 \amp 1 \amp \rvert \amp 0 \\ 0 \amp 0 \amp 0 \amp \rvert \amp 0 \end{bmatrix}
\end{equation*}
Since the third column does not contain a pivot, we have that \(x_3\) is a free variable, so we can set \(x_3 = t \in \mathbb{R}\text{.}\) Converting the second row of the RREF above into an equation and solving for \(x_2\) yields
\begin{equation*}
x_2 + x_3 = 0 \quad \implies \quad x_2 = -x_3 \quad \implies \quad x_2 = -t
\end{equation*}
Similarly, we can use the first row of the RREF and solve for \(x_1\) to get
\begin{equation*}
x_1 - 2x_3 = 0 \quad \implies \quad x_1 = 2x_3 \quad \implies \quad x_1 = 2t
\end{equation*}
Therefore, the solutions to the system are
\begin{equation*}
\vec x = \begin{bmatrix} x_1 \\ x_2 \\ x_3 \end{bmatrix} = \begin{bmatrix} 2t \\ -t \\ t \end{bmatrix} = t\begin{bmatrix} 2 \\ -1 \\ 1 \end{bmatrix}, t \in \mathbb{R}
\end{equation*}
Writing the solution set in terms of the parameter \(t\) is what is known as parametric vector form. This form gives an explicit and convenient way of writing down the solution set. It also gives insight into what is happening geometrically. Note that the vectors which satisfy the system are precisely
\begin{equation*}
\vec x \in \operatorname{Span}\left\{\begin{bmatrix} 2 \\ -1 \\ 1 \end{bmatrix}\right\}\text{.}
\end{equation*}
Since the solution set contains \(\vec 0\text{,}\) we see that the solution set is a line in \(\mathbb{R}^3\) which passes through the origin.