Skip to main content
Logo image

Coordinated Linear Algebra

Section 1.1 Introduction to Systems of Linear Equations

You are probably familiar with the concept of a system of linear equations and with some methods for solving such systems. In this section, we will look at the algebra and geometry of finding and interpreting solutions of systems of linear equations. We will start with two-variable and three-variable systems, then move on to systems involving more variables.

Subsection 1.1.1 Algebra of Linear Systems

When you were first introduced to systems of equations, you learned to solve for one variable in terms of the other(s), then substitute. Here, we will introduce a systematic method, an algorithm, to solve systems of linear equations. This alternative method, called Gaussian elimination, involves adding multiples of one equation to another equation in order to eliminate one of the variables. This method will form the foundation for an algorithm we will develop for solving linear systems and performing other computations related to systems. Let’s explore this in Exploration 1.1.1.

Exploration 1.1.1.

This problem formalizes what you may already know (perhaps under a different name) about elementary row operations as means of solving systems of linear equations. Consider the system
\begin{equation*} \begin{matrix} 2x\amp -\amp y\amp =\amp -4\\ 3x \amp +\amp 2y\amp = \amp 1 \end{matrix} \end{equation*}
We will begin by adding twice the first row to the second row, and replacing the second row with the sum.
\begin{equation*} R_2+2R_1\rightarrow R_2 \end{equation*}
\begin{equation*} \begin{matrix} 2x\amp -\amp y\amp =\amp -4\\ 7x \amp +\amp 0y\amp = \amp -7 \end{matrix} \end{equation*}
We choose this row operation because the resulting equation has a zero coefficient for \(y\text{.}\) Next, we make the coefficient of \(x\) equal to 1 by multiplying both sides of the second equation by \(\frac{1}{7}\text{.}\)
\begin{equation*} \frac{1}{7}R_2\rightarrow R_2 \end{equation*}
\begin{equation*} \begin{matrix} 2x\amp - \amp y\amp =\amp -4\\ x \amp \amp \amp = \amp -1 \end{matrix} \end{equation*}
We now know \(x=-1\text{.}\) Our next goal is to determine \(y\) by eliminating \(x\) from the first equation. To this end, we subtract twice the second row from the first row and replace the first row with the difference.
\begin{equation*} R_1-2R_2\rightarrow R_1 \end{equation*}
\begin{equation*} \begin{matrix} 0x\amp -\amp y\amp =\amp -2\\ x \amp \amp \amp = \amp -1 \\ \end{matrix} \end{equation*}
Next we multiply both sides of the first equation by \(-1\text{.}\)
\begin{equation*} -R_1\rightarrow R_1 \end{equation*}
\begin{equation*} \begin{matrix} \amp \amp y\amp =\amp 2\\ x \amp \amp \amp = \amp -1 \end{matrix} \end{equation*}
Finally, we can switch the order of equations in order to display \(x\) in the top row.
\begin{equation*} R_1\leftrightarrow R_2 \end{equation*}
\begin{equation*} \begin{matrix} x \amp \amp \amp = \amp -1\\ \amp \amp y\amp =\amp 2 \end{matrix} \end{equation*}
This solution can be written as an ordered pair \((-1, 2)\text{.}\)
In Exploration 1.1.1 we introduced elementary row operations and the notation associated with them. We now define these formally.

Definition 1.1.1. Elementary Row Operations.

The following three operations performed on a linear system are called elementary row operations.
  1. Switching the order of equations (rows) \(i\) and \(j\text{:}\)
    \begin{equation*} R_i\leftrightarrow R_j \end{equation*}
  2. Multiplying both sides of equation (row) \(i\) by the same non-zero constant, \(k\text{,}\) and replacing equation \(i\) with the result:
    \begin{equation*} kR_i\rightarrow R_i \end{equation*}
  3. Adding \(k\) times equation (row) \(i\) to equation (row) \(j\text{,}\) and replacing equation \(j\) with the result:
    \begin{equation*} R_j+kR_i\rightarrow R_j \end{equation*}
As we applied elementary row operations to the system in Exploration 1.1.1, the system changed, but you can check that the six systems in the exploration all have the same solution: \((-1, 2)\text{.}\) We say two systems are equivalent if they have exactly the same solutions. So the six systems in Exploration 1.1.1 are equivalent. This property of row operations is so important that we state it formally and outline how to prove it.

Proof.

Clearly, the order of equations does not affect the solution set, so Item 1 produces an equivalent system. Next, you learned years ago that multiplying both sides of an equation by a non-zero constant does not change its solution set, which establishes that Item 2 produces an equivalent system. To see that Item 3 produces an equivalent system, note that if we add a multiple of an equation to another equation in the system, we are adding the same thing to both sides, which does not change the solution set of that equation, nor of the system.
If a matrix can be obtained from another matrix by means of elementary row operations, we say that the two matrices are row-equivalent. Theorem 1.1.2 shows that row-equivalent systems are equivalent. It turns out that equivalent systems are not always row-equivalent, but they are row-equivalent if the righthand sides of all the equations are all zeros. Justifying this is Exercise 1.2.4.30 in Section 1.2.
The summary of all this discussion is that we can use a sequence of elementary row operations to find, step-by-step, simpler and simpler systems with same solution set. Next, we carry out this plan for a larger system of linear equations.

Exploration 1.1.2.

Solve the system of equations using elementary row operations.
\begin{equation*} \begin{array}{ccccccc} 3x \amp - \amp y\amp +\amp z\amp = \amp 0 \\ 2x\amp + \amp y\amp +\amp 2z\amp =\amp 2\\ x\amp +\amp 4y\amp -\amp 2z\amp =\amp 11 \end{array} \end{equation*}
It may be daunting to think about how to begin. But keep in mind the desired end-result. What we want to do is to use elementary row operations to transform the given system into something like this
\begin{equation*} \begin{array}{ccccccc} x \amp \amp \amp \amp \amp = \amp a \\ \amp \amp y\amp \amp \amp =\amp b\\ \amp \amp \amp \amp z\amp =\amp c \end{array} \end{equation*}
Answer.
We will accomplish this by using a convenient variable in one row to ``wipe out" this variable from the other two rows. For example, we can use \(x\) in the third equation to wipe out \(3x\) in the first equation and \(2x\) in the second equation. To do this, multiply the third row by \(-3\) and add it to the top row, then multiply the third row by \(-2\) and add it to the second row. We now have:
\begin{equation*} \begin{array}{c} \xrightarrow{R_1-3R_3}\\ \xrightarrow{R_2-2R_3}\\ \\ \end{array} \begin{array}{ccccccc} 0x \amp -\amp 13y\amp +\amp 7z\amp = \amp -33 \\ 0x\amp -\amp 7y\amp +\amp 6z\amp =\amp -20\\ x\amp +\amp 4y\amp -\amp 2z\amp =\amp 11 \end{array} \end{equation*}
In the previous step \(x\) was a convenient variable to use because the coefficient in front of \(x\) was 1. We no longer have a variable with coefficient 1. We could create a coefficient of 1 using division, but that would lead to fractions, making computations cumbersome. Instead, we will subtract twice the second row from the first row. This gives us:
\begin{equation*} \begin{array}{c} \xrightarrow{R_1-2R_2}\\ \\ \\ \end{array} \begin{array}{ccccccc} 0x \amp + \amp y\amp -\amp 5z\amp = \amp 7 \\ 0x\amp -\amp 7y\amp +\amp 6z\amp =\amp -20\\ x\amp +\amp 4y\amp -\amp 2z\amp =\amp 11 \end{array} \end{equation*}
Next we add seven times the first row to the second row, and subtract four times the first row from the third row.
\begin{equation*} \begin{array}{c} \\ \xrightarrow{R_2+7R_1}\\ \xrightarrow{R_3-4R_1}\\ \end{array} \begin{array}{ccccccc} 0x \amp + \amp y\amp -\amp 5z\amp = \amp 7 \\ 0x\amp +\amp 0y\amp -\amp 29z\amp =\amp 29\\ x\amp +\amp 0y\amp +\amp 18z\amp =\amp -17 \end{array} \end{equation*}
Now we divide both sides of the second row by \(-29\text{.}\)
\begin{equation*} \begin{array}{c} \\ \xrightarrow{-\frac{1}{29}R_2}\\ \\ \end{array} \begin{array}{ccccccc} 0x \amp + \amp y\amp -\amp 5z\amp = \amp 7 \\ 0x\amp +\amp 0y\amp +\amp z\amp =\amp -1\\ x\amp +\amp 0y\amp +\amp 18z\amp =\amp -17 \end{array} \end{equation*}
Adding \(5\) times the second row to the first row and subtracting \(18\) times the second row from the third row gives us
\begin{equation*} \begin{array}{c} \xrightarrow{R_1+5R_2}\\ \\ \xrightarrow{R_3-18R_2}\\ \end{array} \begin{array}{ccccccc} 0x \amp + \amp y\amp +\amp 0z\amp = \amp 2 \\ 0x\amp +\amp 0y\amp +\amp z\amp =\amp -1\\ x\amp +\amp 0y\amp +\amp 0z\amp =\amp 1 \end{array} \end{equation*}
Finally, rearranging the rows gives us
\begin{equation*} \begin{array}{ccccccc} x\amp +\amp 0y\amp +\amp 0z\amp =\amp 1\\ 0x \amp + \amp y\amp +\amp 0z\amp = \amp 2 \\ 0x\amp +\amp 0y\amp +\amp z\amp =\amp -1 \end{array} \end{equation*}
\begin{equation*} \begin{array}{ccccccc} x\amp \amp \amp \amp \amp =\amp 1\\ \amp \amp y\amp \amp \amp = \amp 2 \\ \amp \amp \amp \amp z\amp =\amp -1 \end{array} \end{equation*}
Thus the system has a unique solution \((1, 2, -1)\text{.}\)
At this point you may be wondering whether it will always be possible to take a system of three equations and three unknowns and use elementary row operations to transform it to a system of the form
\begin{equation*} \begin{array}{ccccccc} x \amp \amp \amp \amp \amp = \amp a \\ \amp \amp y\amp \amp \amp = \amp b\\ \amp \amp \amp \amp z\amp =\amp c \end{array} \end{equation*}
The short answer to this question is NO. The existence of an equivalent system of this form implies that the original system has exactly one solution, namely \((a, b, c)\text{.}\) However, it is possible for a system to have no solutions or to have infinitely many solutions. We will study these different possibilities from an algebraic perspective in subsequent sections. For now, we will attempt to gain insight into existence and uniqueness of solutions through geometry.

Subsection 1.1.2 Augmented Matrix Notation

It is time consuming to rewrite each equation, with all variable names and plus signs, after each row operation. So let’s find a more efficient method for performing elementary row operations.
Recall that the following three operations performed on a linear system are called elementary row operations
  • Switching the order of two equations
  • Multiplying both sides of an equation by the same non-zero constant
  • Adding a multiple of one equation to another

Exploration 1.1.3.

The linear system in this Exploration comes from Jim Hefferon’s Linear Algebra
 1 
joshua.smcvt.edu/linearalgebra/#current_version
.
Consider the linear system
\begin{equation} \begin{array}{ccccccccc} x \amp - \amp y\amp \amp \amp \amp \amp = \amp 0 \\ 2x\amp -\amp 2y\amp +\amp z\amp +\amp 2w\amp =\amp 4\\ \amp \amp y\amp \amp \amp +\amp w\amp =\amp 0\\ \amp \amp \amp \amp 2z\amp +\amp w\amp =\amp 5 \end{array}\tag{1.1.1} \end{equation}
Our goal is to use elementary row operations to transform this system into an equivalent system of the form
\begin{equation*} \begin{array}{ccccccccc} x \amp \amp \amp \amp \amp \amp \amp = \amp a \\ \amp \amp y\amp \amp \amp \amp \amp =\amp b\\ \amp \amp \amp \amp z\amp \amp \amp =\amp c\\ \amp \amp \amp \amp \amp \amp w\amp =\amp d \end{array} \end{equation*}
We have to keep in mind that given an arbitrary system, an equivalent system of this form may not exist (we will talk a lot more about this later). However, it does exist in this case, and we would like to find a more efficient way of getting to it than having to write and rewrite our equations at each step.
Answer.
We start by subtracting twice row 1 from row 2. (\(R_2-2R_1\rightarrow R_2\))
\begin{equation*} \begin{matrix} x \amp - \amp y\amp +\amp 0z\amp +\amp 0w\amp = \amp 0 \\ 0x\amp +\amp 0y\amp +\amp 1z\amp +\amp 2w\amp =\amp 4\\ 0x\amp +\amp y\amp +\amp 0z\amp +\amp w\amp =\amp 0\\ 0x\amp +\amp 0y\amp +\amp 2z\amp +\amp w\amp =\amp 5 \end{matrix} \end{equation*}
Next, we add row 3 to row 1. (\(R_1+R_3\rightarrow R_1\))
\begin{equation*} \begin{matrix} x \amp + \amp 0 y\amp +\amp 0 z\amp +\amp 1 w\amp = \amp 0 \\ 0x\amp +\amp 0y\amp +\amp z\amp +\amp 2w\amp =\amp 4\\ 0x\amp +\amp y\amp +\amp 0z\amp +\amp w\amp =\amp 0\\ 0x\amp +\amp 0y\amp +\amp 2z\amp +\amp w\amp =\amp 5 \end{matrix} \end{equation*}
Subtract twice row 2 from row 4. (\(R_4-2R_2\rightarrow R_4\))
\begin{equation*} \begin{matrix} x \amp + \amp 0y\amp +\amp 0z\amp +\amp 1w\amp = \amp 0 \\ 0x\amp +\amp 0y\amp +\amp z\amp +\amp 2w\amp =\amp 4\\ 0x\amp +\amp y\amp +\amp 0z\amp +\amp w\amp =\amp 0\\ 0x\amp +\amp 0y\amp +\amp 0z\amp +\amp -3w\amp =\amp -3 \end{matrix} \end{equation*}
Divide row 4 by \(-3\text{.}\) (\(-\frac{1}{3}R_4\))
\begin{equation*} \begin{matrix} x \amp + \amp 0y\amp +\amp 0z\amp +\amp 1w\amp = \amp 0 \\ 0x\amp +\amp 0y\amp +\amp z\amp +\amp 2w\amp =\amp 4\\ 0x\amp +\amp y\amp +\amp 0z\amp +\amp w\amp =\amp 0\\ 0x\amp +\amp 0y\amp +\amp 0z\amp +\amp 1w\amp =\amp 1 \end{matrix} \end{equation*}
We will do three operations in one step.
\begin{equation*} R_1-R_4\rightarrow R_1 \end{equation*}
\begin{equation*} R_2-2R_4\rightarrow R_2 \end{equation*}
\begin{equation*} R_3-R_4\rightarrow R_3 \end{equation*}
\begin{equation*} \begin{matrix} x \amp + \amp 0y\amp +\amp 0z\amp +\amp 0w\amp = \amp -1 \\ 0x\amp +\amp 0y\amp +\amp 1z\amp +\amp 0w\amp =\amp 2\\ 0x\amp +\amp 1y\amp +\amp 0z\amp +\amp 0w\amp =\amp -1\\ 0x\amp +\amp 0y\amp +\amp 0z\amp +\amp 1w\amp =\amp 1 \end{matrix} \end{equation*}
We now exchange rows 2 and 3. (\(R_2\leftrightarrow R_3\))
\begin{equation} \begin{array}{ccccccccc} x \amp + \amp 0y\amp +\amp 0z\amp +\amp 0w\amp = \amp -1 \\ 0x\amp +\amp y\amp +\amp 0z\amp +\amp 0w\amp =\amp -1\\ 0x\amp +\amp 0y\amp +\amp z\amp +\amp 0w\amp =\amp 2\\ 0x\amp +\amp 0y\amp +\amp 0z\amp +\amp w\amp =\amp 1 \end{array}\tag{1.1.2} \end{equation}
If we drop all of the zero terms, we have:
\begin{equation} \begin{array}{ccccccccc} x \amp \amp \amp \amp \amp \amp \amp = \amp -1 \\ \amp \amp y\amp \amp \amp \amp \amp =\amp -1\\ \amp \amp \amp \amp z\amp \amp \amp =\amp 2\\ \amp \amp \amp \amp \amp \amp w\amp =\amp 1 \end{array}\tag{1.1.3} \end{equation}
Now we see that \((-1, -1, 2, 1)\) is the solution.
Observe that throughout the entire process, variables \(x\text{,}\) \(y\text{,}\) \(z\) and \(w\) remained in place; only the coefficients in front of the variables and the entries on the right changed. Let’s try to recreate this process without writing down the variables. We can capture the original system in (1.1.1) as follows:
\begin{equation*} \left[\begin{array}{cccc|c} 1\amp -1\amp 0\amp 0\amp 0\\2\amp -2\amp 1\amp 2\amp 4\\0\amp 1\amp 0\amp 1\amp 0\\0\amp 0\amp 2\amp 1\amp 5 \end{array}\right] \end{equation*}
The side to the left of the vertical bar is called the coefficient matrix, while the side to the right of the bar is a vector that consists of constants on the right side of the system. The coefficient matrix, together with the vector, is called an augmented matrix.
We can capture all of the elementary row operations we performed earlier as follows:
\begin{equation*} \left[\begin{array}{cccc|c} 1\amp -1\amp 0\amp 0\amp 0\\2\amp -2\amp 1\amp 2\amp 4\\0\amp 1\amp 0\amp 1\amp 0\\0\amp 0\amp 2\amp 1\amp 5 \end{array}\right] \begin{array}{c} \\ \xrightarrow{R_2-2R_1}\\ \\ \\ \end{array} \left[\begin{array}{cccc|c} 1\amp -1\amp 0\amp 0\amp 0\\0\amp 0\amp 1\amp 2\amp 4\\0\amp 1\amp 0\amp 1\amp 0\\0\amp 0\amp 2\amp 1\amp 5 \end{array}\right] \begin{array}{c} \xrightarrow{R_1+R_3}\\ \\ \\ \\ \end{array} \end{equation*}
\begin{equation*} \left[\begin{array}{cccc|c} 1\amp 0\amp 0\amp 1\amp 0\\2\amp -2\amp 1\amp 2\amp 4\\0\amp 1\amp 0\amp 1\amp 0\\0\amp 0\amp 2\amp 1\amp 5 \end{array}\right] \begin{array}{c} \\ \\ \\ \xrightarrow{R_4-2R_2}\\ \end{array} \left[\begin{array}{cccc|c} 1\amp 0\amp 0\amp 1\amp 0\\0\amp 0\amp 1\amp 2\amp 4\\0\amp 1\amp 0\amp 1\amp 0\\0\amp 0\amp 0\amp -3\amp -3 \end{array}\right] \begin{array}{c} \\ \\ \\ \xrightarrow{(-1/3)R_4}\\ \end{array} \end{equation*}
\begin{equation*} \left[\begin{array}{cccc|c} 1\amp 0\amp 0\amp 1\amp 0\\0\amp 0\amp 1\amp 2\amp 4\\0\amp 1\amp 0\amp 1\amp 0\\0\amp 0\amp 0\amp 1\amp 1 \end{array}\right] \begin{array}{c} \xrightarrow{R_1-R_4}\\ \xrightarrow{R_2-2R_4}\\ \xrightarrow{R_3-R_4}\\ \\ \end{array}\left[\begin{array}{cccc|c} 1\amp 0\amp 0\amp 0\amp -1\\0\amp 0\amp 1\amp 0\amp 2\\0\amp 1\amp 0\amp 0\amp -1\\0\amp 0\amp 0\amp 1\amp 1 \end{array}\right]\begin{array}{c} \\ \xrightarrow{R_2\leftrightarrow R_3}\\ \\ \\ \end{array} \end{equation*}
\begin{equation} \left[\begin{array}{cccc|c} 1\amp 0\amp 0\amp 0\amp -1\\0\amp 1\amp 0\amp 0\amp -1\\0\amp 0\amp 1\amp 0\amp 2\\0\amp 0\amp 0\amp 1\amp 1 \end{array}\right]\tag{1.1.4} \end{equation}
The last augmented matrix corresponds to systems in (1.1.2) and (1.1.3), and we can easily see the solution.
We will regularly use the language of coefficient matrix and augmented matrix introduced in this exploration.

Exploration 1.1.4.

Consider the system
\begin{equation*} \begin{array}{ccccccc} x_1 \amp - \amp x_2\amp -\amp 3x_3\amp = \amp 1 \\ 4x_1\amp -\amp 2x_2\amp -\amp 7x_3\amp =\amp 1\\ -x_1\amp +\amp x_2\amp +\amp 4x_3\amp =\amp 1 \end{array} \end{equation*}
Recall that in Exploration 1.1.3 we converted the given system to an augmented matrix form, then performed elementary row operations until we arrived at a ``convenient" form. We then converted the ``convenient" augmented matrix back to a system of equations and identified a solution.
The term ``convenient" is open to interpretation. In this problem we will explore two ``convenient" forms. Each one will lead to a definition.
\begin{align} \amp \left[\begin{array}{ccc|c} 1\amp -1\amp -3\amp 1\\4\amp -2\amp -7\amp 1\\-1\amp 1\amp 4\amp 1 \end{array}\right]\notag\\ \begin{array}{c} \\ \xrightarrow{R_2-4R_1}\\ \xrightarrow{R_3+R_1}\\ \end{array} \amp \left[\begin{array}{ccc|c} 1\amp -1\amp -3\amp 1\\0\amp 2\amp 5\amp -3\\0\amp 0\amp 1\amp 2 \end{array}\right]\tag{1.1.5}\\ \begin{array}{c} \\ \xrightarrow{(1/2)R_2}\\ \\ \end{array} \amp \left[\begin{array}{ccc|c} 1\amp -1\amp -3\amp 1\\0\amp 1\amp 5/2\amp -3/2\\0\amp 0\amp 1\amp 2 \end{array}\right] \notag\\ \begin{array}{c} \xrightarrow{R_1+R_2}\\ \\ \\ \end{array}\amp \left[\begin{array}{ccc|c} 1\amp 0\amp -1/2\amp -1/2\\0\amp 1\amp 5/2\amp -3/2\\0\amp 0\amp 1\amp 2 \end{array}\right]\notag\\ \begin{array}{c} \xrightarrow{R_1+ (1/2)R_3}\\ \xrightarrow{R_2- (5/2)R_3}\\ \\ \end{array} \amp \left[\begin{array}{ccc|c} 1\amp 0\amp 0\amp 1/2\\0\amp 1\amp 0\amp -13/2\\0\amp 0\amp 1\amp 2 \end{array}\right]\tag{1.1.6} \end{align}
The augmented matrix in (1.1.6) has the same convenient form as the one in (1.1.4). This augmented matrix corresponds to the system
\begin{equation*} \begin{array}{ccccccc} x_1 \amp \amp \amp \amp \amp = \amp 1/2 \\ \amp \amp x_2\amp \amp \amp =\amp -13/2\\ \amp \amp \amp \amp x_3\amp =\amp 2 \end{array} \end{equation*}
This gives us the solution \((\frac{1}{2}, -\frac{13}{2}, 2)\text{.}\)
While the augmented matrix in (1.1.6) was certainly ``convenient", we could have converted back to the equation format a little earlier. Let’s take a look at the augmented matrix in (1.1.5). Converting (1.1.5) to a system of equations gives us
\begin{equation*} \begin{array}{ccccccc} x_1 \amp - \amp x_2\amp -\amp 3x_3\amp = \amp 1\\ \amp \amp 2x_2\amp +\amp 5x_3\amp =\amp -3\\ \amp \amp \amp \amp x_3\amp =\amp 2 \end{array} \end{equation*}
Substituting \(x_3=2\) into the second equation and solving for \(x_2\) gives us
\begin{equation*} x_2=\frac{-3-5(2)}{2}=-\frac{13}{2} \end{equation*}
Now substituting \(x_3=2\) and \(x_2=-\frac{13}{2}\) into the first equation results in
\begin{equation*} x_1=1+\left(-\frac{13}{2}\right)+3(2)=\frac{1}{2} \end{equation*}
This process is called back substitution and it produces the same solution as we obtained earlier.
Observe that the coefficient matrices in (1.1.4) and (1.1.6) have the same format: 1’s along the diagonal, zeros above and below the 1’s. The other ``convenient" format, exhibited by the coefficient matrix in (1.1.5), also has zeros below the diagonal, but not all of the diagonal entries are 1’s and some of the entries above the diagonal are not zero. Each of these formats gives rise to a definition. These definitions are the topic of the next section.

Subsection 1.1.3 Geometry of Linear Systems in Two Variables

Exploration 1.1.1 offers an example of a linear system of two equations and two unknowns (variables) with a unique solution.
\begin{equation*} \begin{array}{ccccc} 2x\amp - \amp y\amp =\amp -4\\ 3x \amp +\amp 2y\amp = \amp 1 \end{array} \end{equation*}
Geometrically, the graph of each equation is a line in \(\R^2\text{.}\) The point \((-1, 2)\) is a solution to both equations, so it must lie on both lines. The graph below shows the two lines intersecting at \((-1, 2)\text{.}\)
Given a system of two equations with two unknowns, there are three possible geometric outcomes.
  • First, the graphs of the two equations intersect at a point. If this is the case, the system has exactly one solution. We say that the system is consistent and has a unique solution.
  • Second, the two lines may have no points in common. If this is the case, the system has no solutions. We say that the system is inconsistent.
  • Finally, the two lines may coincide. In this case, there are infinitely many points that satisfy both equations simultaneously. We say that the system is consistent and has infinitely many solutions.
The following examples are in-depth full runs on linear systems of equations.

Example 1.1.3.

Solve the system of equations and interpret your results geometrically.
\begin{equation*} \begin{array}{ccccc} -2x \amp + \amp y\amp = \amp 3 \\ 4x\amp -\amp 2y\amp =\amp 5 \end{array} \end{equation*}
Answer.
We will use elementary row operations. Adding twice the first equation to the second equation gives us
\begin{equation*} \begin{array}{cccccc} -2x \amp + \amp y\amp = \amp 3\amp \\ 0x\amp -\amp 0y\amp =\amp 11\amp \quad\leftarrow\mbox{Never true} \end{array} \end{equation*}
This is where we run into a problem: there are no values of \(x\) and \(y\) that satisfy the second equation. We conclude that the system is inconsistent. Plotting the two lines in the same coordinate plane shows that the two lines are parallel.

Example 1.1.4.

Solve the system of equations and interpret your results geometrically.
\begin{equation*} \begin{array}{ccccc} 4x \amp +\amp 3y\amp = \amp 2 \\ x\amp +\amp \frac{3}{4}y\amp =\amp \frac{1}{2} \end{array} \end{equation*}
Answer.
To eliminate \(x\) from the second equation, we subtract one quarter of the first equation from the second. This gives us
\begin{equation*} \begin{array}{cccccc} 4x \amp +\amp 3y\amp = \amp 2\amp \\ 0x\amp +\amp 0y\amp =\amp 0\amp \quad\leftarrow\mbox{Always true} \end{array} \end{equation*}
Unlike the situation in Example 1.1.3, any combination of \(x\) and \(y\) satisfies the second equation. So, any ordered pair \((x, y)\) that satisfies the first equation will satisfy the second equation. Thus, the solution set for this system is the same as the set of all solutions of \(4x+3y=2\text{.}\)
When we plot the two equations of the original system, we find that the two lines coincide.
Given a linear system in two variables and more than two equations, we have a variety of geometric possibilities. In terms of the number of solutions, there are three possibilities.
  • First, it is possible for the graphs of all equations in the system to intersect at a single point, giving us a unique solution.
  • Second, it is possible for the graphs to have no points common to all of them. If this is the case, the system is inconsistent.
  • Finally, it is possible for all of the lines to coincide, giving us infinitely many solutions.

Subsection 1.1.4 Geometry of Linear Systems in Three Variables

In Exploration 1.1.2, we solved the following linear system of three equations and three unknowns
\begin{equation*} \begin{array}{ccccccc} 3x \amp - \amp y\amp +\amp z\amp = \amp 0 \\ 2x\amp + \amp y\amp +\amp 2z\amp =\amp 2\\ x\amp +\amp 4y\amp -\amp 2z\amp =\amp 11 \end{array} \end{equation*}
We found that the system has a unique solution \((1, 2, -1)\text{.}\) The graph of each equation is a plane. The three planes intersect at a single point, as shown in the figure.
Given a linear system of three equations in three variables, there are three ways in which the system can be consistent.
  • First, the three planes could intersect at a single point, giving us a unique solution.
  • Second, the three planes can intersect in a line, forming a paddle-wheel shape. In this case, every point along the line of intersection is a solution to the system, giving us infinitely many solutions.
  • Finally, the three planes can coincide. If this is the case, there are infinitely many solutions.
There are four ways for a system to be inconsistent. They are depicted below.

Subsection 1.1.5 General Systems of Linear Equations

Here we collect together all of the definitions from this section, written as generally as possible.

Definition 1.1.5.

A linear equation in variables \(x_1, \ldots, x_n\) is an equation that can be written in the form
\begin{equation*} a_1x_1+a_2x_2+\ldots +a_nx_n=b \end{equation*}
where \(a_1,\ldots ,a_n\) and \(b\) are constants. We call \(a_i\) the coefficient of \(x_i\) in the equation, and we call \(b\) the constant term.
An \(n\)-tuple of numbers
\begin{equation*} (z_1, z_2,\ldots ,z_n) \end{equation*}
is a solution to the equation \(a_1x_1+a_2x_2+\ldots +a_nx_n=b\) provided that, when we set \(x_1\) equal to \(z_1\) and so on, the equation becomes a true statement.
The set of all \(n\)-tuples that are solutions to a given equation is called the graph of the equation. The graph of a linear equation in two variables is a line in \(\R^2\text{.}\) The graph of a linear equation in three variables is a plane in \(\R^3\text{.}\) In \(\R^n\text{,}\) for \(n\gt3\text{,}\) we say that the graph of a linear equation is a hyperplane. A hyperplane cannot be visualized, but we can still talk about intersections of hyperplanes and their other attributes in algebraic terms.
A linear system of \(m\) equations and \(n\) unknowns is typically written as follows
\begin{equation*} \begin{array}{ccccccccc} a_{11}x_1 \amp + \amp a_{12}x_2\amp +\amp \ldots\amp +\amp a_{1n}x_n\amp = \amp b_1 \\ a_{21}x_1 \amp + \amp a_{22}x_2\amp +\amp \ldots\amp +\amp a_{2n}x_n\amp = \amp b_2 \\ \amp \amp \amp \amp \vdots\amp \amp \amp \amp \\ a_{m1}x_1 \amp + \amp a_{m2}x_2\amp +\amp \ldots\amp +\amp a_{mn}x_n\amp = \amp b_m \end{array} \end{equation*}
A solution to a system of linear equations in \(n\) variables is an \(n\)-tuple that satisfies every equation in the system. All solutions to a system of equations, taken together, form its solution set. We say that a system of equations is consistent if it has at least one solution, and inconsistent if it has no solutions. If a system is consistent, we say that it has a unique solution if there is exactly one solution, or infinitely many solutions if there are infinitely many solutions.

Definition 1.1.6.

Two systems of linear equations are said to be equivalent if they have the same solution set.
The augmented matrix of a linear system of \(m\) equations and \(n\) unknowns is
\begin{equation*} \left[\begin{array}{cccc|c} a_{11}\amp a_{12}\amp \ldots\amp a_{1n}\amp b_1\\a_{21}\amp a_{22}\amp \ldots\amp a_{2n}\amp b_2\\\vdots\amp \vdots\amp \ddots\amp \vdots\amp \vdots\\a_{m1}\amp a_{m2}\amp \ldots\amp a_{mn}\amp b_m \end{array}\right] \end{equation*}
The array to the left of the vertical bar is called the coefficient matrix of the linear system and is often given a capital letter name, like \(A\text{.}\) The vertical array to the right of the bar is called a constant vector.
\begin{equation*} A=\begin{bmatrix}a_{11}\amp a_{12}\amp \ldots\amp a_{1n}\\a_{21}\amp a_{22}\amp \ldots\amp a_{2n}\\\vdots\amp \vdots\amp \ddots\amp \vdots\\a_{m1}\amp a_{m2}\amp \ldots\amp a_{mn}\end{bmatrix}\quad\text{and}\quad\mathbf{b}=\begin{bmatrix}b_1\\b_2\\\vdots\\b_m\end{bmatrix} \end{equation*}
The dimension of a matrix with \(m\) rows and \(n\) columns is \(m\times n\text{,}\) read “\(m\) by \(n\text{.}\)
We will sometimes use the following notation to represent an augmented matrix.
\begin{equation*} \left[\begin{array}{c|c} A \amp \mathbf{b}\\ \end{array}\right] \end{equation*}
The same elementary row operations that we perform on a system of equations can be performed on the corresponding augmented matrix, or any matrix for that matter. From Definition 1.1.1, we have three elementary row operations, namely
  1. Switching the order of two rows/equations
  2. Multiplying a row, or both sides of an equation, by the same non-zero constant
  3. Adding a multiple of one row/equation to another

Exercises 1.1.6 Exercises

1.

Give a graphical illustration of each of the following scenarios for a system of three equations and two unknowns:
  1. The system of three equations is inconsistent, but a combination of any two of the three equations forms a consistent system.
  2. The system is consistent and has a unique solution.
  3. The system is consistent and has infinitely many solutions.
  4. The system is inconsistent and no two equations form a consistent system.

Exercise Group.

Solve each system of linear equations or demonstrate that a solution does not exist, and interpret your results geometrically.
2.
\begin{equation*} \begin{array}{ccccc} x \amp +\amp 3y\amp = \amp 4 \\ x\amp -\amp 2y\amp =\amp -6 \end{array} \end{equation*}
Answer.
\begin{equation*} (-2, 2) \end{equation*}
3.
\begin{equation*} \begin{array}{ccccc} -3x \amp +\amp 2y\amp = \amp 7 \\ 6x\amp -\amp 4y\amp =\amp 5 \end{array} \end{equation*}
4.
\begin{equation*} \begin{array}{ccccccc} x \amp -\amp 2y\amp +\amp z\amp = \amp 0 \\ 3x\amp -\amp 2y\amp +\amp 4z\amp =\amp 2\\ 2x\amp - \amp y\amp +\amp 2z\amp =\amp 3 \end{array} \end{equation*}
Answer.
\begin{equation*} (4, 1, -2) \end{equation*}

Exercise Group.

Consider the following system of equations.
\begin{equation*} \begin{array}{ccccc} kx \amp +\amp 8y\amp = \amp 4 \\ 2x\amp +\amp ky\amp =\amp -2 \end{array} \end{equation*}
5.
Find all possible values of k such that this system has no solution.
Answer.
\begin{equation*} k= 4 \end{equation*}
6.
Find all possible values of \(k\) such that this system has infinitely many solutions.
Answer.
\begin{equation*} k= -4 \end{equation*}

8.

Suppose the following system was obtained from system \((A)\) by adding twice the second row of \((A)\) to the first row.
\begin{equation*} \begin{array}{ccccc} 8x \amp + \amp 3y\amp = \amp 11\\ 3x\amp + \amp 2y\amp =\amp 5 \end{array} \end{equation*}
Find system \((A)\text{.}\)
Answer.
\begin{equation*} \begin{array}{ccccc} 2x \amp + \amp -1y \amp = \amp 1\\ 3x\amp + \amp 2y\amp =\amp 5 \end{array} \end{equation*}

9.

The following figures show a geometric depiction of two equivalent systems. (The systems are equivalent because they have the same solution set.) Can the first system be transformed into the second system by elementary row operations? If so, how?
Hint.
Begin by carrying the first system to
\begin{equation*} \begin{array}{ccccc} x \amp \amp \amp = \amp 3\\ \amp \amp y\amp =\amp 1 \end{array} \end{equation*}
Then carry this system to the second system. (If you can figure out how to carry the second system to this one, you should be able to reverse the process.)

10.

Suppose that we have two solutions, call them \((g,h)\) and \((p,q)\) to the following system:
\begin{equation*} \begin{array}{ccccc} ax \amp + \amp by\amp = \amp e\\ cx\amp + \amp dy\amp =\amp f \end{array} \end{equation*}
  1. Show that \((g-p,h-q)\) is a solution to the system
    \begin{equation*} \begin{array}{ccccc} ax \amp + \amp by\amp = \amp 0\\ cx\amp + \amp dy\amp =\amp 0 \end{array} \end{equation*}
  2. Show that for any number $t$, \((p+t(g-p),q+t(h-q))\) is a solution to the system
    \begin{equation*} \begin{array}{ccccc} ax \amp + \amp by\amp = \amp e\\ cx\amp + \amp dy\amp =\amp f \end{array} \end{equation*}

11.

Consider the system of equations
\begin{equation*} \begin{array}{ccccc} ax \amp + \amp by\amp = \amp e\\ cx\amp + \amp dy\amp =\amp f \end{array} \end{equation*}
Show that if \((x_0,y_0)\) is a solution to this system, and if we apply elementary row operation Item 3 to the system, then \((x_0,y_0)\) will be a solution to the new system of equations.

12.

Demonstrate that elementary row operations are reversible by answering the following questions. Be specific about the elementary row operation that you would use.
  1. Suppose we obtained system (B) from system (A) by swapping two equations. How would we obtain system (A) from system (B)?
  2. Suppose we obtained system (B) from system (A) by multiplying one of the equations of (A) by a non-zero constant \(k\text{.}\) How would we obtain system (A) from system (B)?
  3. Suppose we obtained system (B) from system (A) by adding a multiple of one of the equations of (A) to another. How would we obtain system (A) from system (B)?