A linear system contains two kinds of data: the coefficients attached to the variables, and the constants on the right-hand side. When we solve the system, the variables, plus signs, and equality signs stay in the same pattern; what changes are the numerical entries.
That is why augmented matrices matter. They let us store exactly the data that row operations modify, without rewriting every variable symbol after each step.
Why the augmented matrix is the right package
Consider a system of linear equations in unknowns:
This system can be rewritten in three parallel ways:
- as a list of equations;
- as a matrix equation ;
- as a single augmented matrix .
Definition
Coefficient matrix, constant vector, and augmented matrix
For a system :
- is the coefficient matrix;
- is the vector of constants;
- is the augmented matrix, formed by placing the constant column beside the coefficient matrix.
The vertical bar is bookkeeping. It reminds you which column came from the right-hand side, but it does not create a new kind of matrix operation.
There is also a useful column-vector reading. If the columns of are , then
This matters later when we study span and column space. For now, it already explains why a linear system can be read either row by row or column by column.
Worked example
Write one system in all three forms
Consider
Its coefficient matrix and constant vector are
So the system may be written as , where
and its augmented matrix is
The three elementary row operations
There are exactly three elementary row operations:
- swap two rows;
- multiply one row by a nonzero scalar;
- add a multiple of one row to another row.
The phrase “nonzero” in operation 2 is essential. Multiplying a row by would erase the equation instead of rewriting it equivalently, so it would no longer be reversible.
Definition
Elementary row operations
The allowed operations on an augmented matrix are:
- , where
- , where
- , where and
These are called elementary row operations.
Why these operations preserve the solution set
The serious point is not that row operations make a matrix “look nicer.” The serious point is that they preserve the set of solutions.
Theorem
Row-equivalent augmented matrices represent equivalent systems
If one augmented matrix is obtained from another by a sequence of elementary row operations, then the two corresponding systems are equivalent: they have exactly the same solution set.
Proof
Why each elementary row operation is safe
Each operation is just an equation operation written in matrix form.
- Swapping two rows only changes the order in which the equations are listed. A number tuple solves all equations before the swap if and only if it solves all equations after the swap.
- Multiplying a row by a nonzero scalar multiplies both sides of one equation by the same nonzero number. That produces an equivalent equation, and the move is reversible by multiplying by .
- Replacing by means replacing equation by “ equation plus equation .” Any solution of the original system still satisfies the new equation, and the move is reversible by adding times row back to row .
So every elementary row operation preserves the solution set, and therefore any finite sequence of them does the same.
Reversibility is worth remembering because it separates genuine equivalence moves from destructive shortcuts.
Equivalence needs both directions
A transformed equation is a consequence of the old equations. That observation proves only half of what we need. It shows that old solutions survive, but it does not yet rule out new solutions that did not solve the original system. The reverse operation supplies the missing implication. This distinction is especially important when an equation disappears: a shorter list of conditions might describe a larger set.
Proof X-Ray
The unchanged row makes replacement reversible
Write equation as and equation as , where each is the corresponding linear expression in the same ordered variables. Take distinct rows and any real number . Row replacement keeps equation and replaces equation by
If a tuple solves the original system, adding its two true equalities gives the new equality. Conversely, suppose a tuple solves the transformed system. It still satisfies , because that row was retained. Subtracting times this equality from the new equation gives . Every other row is unchanged. Thus precisely the same tuples solve the two systems.
Notice where each hypothesis enters. Distinct rows ensure that the source equation remains available. The multiplier may be zero because the coefficient of the replaced row itself is still one. In a scaling operation, by contrast, the multiplier must be nonzero because the inverse operation divides by it. These are different restrictions on different operations.
A swap is its own inverse. Scaling by is reversed by scaling by . Replacement using an unchanged source row is reversed by replacement using the negative multiplier. For a chain of operations, undo the last operation first and then continue backwards. Undoing operations in the original order generally applies them to the wrong intermediate rows.
Theorem
Row equivalence is an equivalence relation
For matrices of a fixed size, row equivalence is reflexive, symmetric, and transitive. A matrix is row-equivalent to itself using no operations. A sequence from one matrix to another can be reversed, and two consecutive finite sequences can be joined. Consequently, all augmented matrices connected by such operations describe the same solution set when their variable columns have the same meaning.
The fixed-size condition matters: row operations neither add variables nor remove equations from the matrix. A zero row is retained as a record of an equation that has become redundant. When convenient, one can omit the tautology from a written list of equations, but this is a separate presentation choice, not a fourth elementary row operation.
Read each row operation as an equation operation
When you apply a row operation, do not think “I am changing numbers in a table.” Think “I am rewriting one equation using another equation.”
Worked example
Interpret elimination before you memorize it
Start from
Apply
The new augmented matrix is
This is not magic. It simply means:
- equation 2 is replaced by “equation 2 minus equation 1”;
- equation 3 is replaced by “equation 3 minus times equation 1.”
So the same system is now being read in a form where the first variable is already eliminated from the lower rows. The problem has not changed; only its presentation has changed.
A complete computation with an explicit return check
Worked example
Solve, reconstruct, and verify
Consider
With variable order , the augmented matrix is
The first row now says . Add it to the second row and then swap the rows:
The answer is . Direct substitution gives and , so the candidate solves both original equations. The reversibility theorem gives the additional conclusion that no solutions were lost: every original solution must equal this tuple.
One may also reconstruct the initial matrix. Swap back, replace the second row by its difference with the first, multiply the first row by five, and add twice the second row to the first. This reverse chain restores every entry, including both constants. It is a concrete certificate that the displayed reduction was an equivalence, not just a way to manufacture a plausible answer.
This example distinguishes two useful checks. Substitution checks a proposed solution; a valid row-operation chain justifies the description of the entire solution set. Neither should be confused with merely obtaining small numbers. A calculation can look simple while silently changing a right-hand side, and a correct candidate alone does not establish uniqueness.
Worked example
One coefficient matrix, two different right-hand sides
Compare the systems
Both have the same coefficient matrix. In each augmented matrix, perform :
The first system reduces to and has solutions for all real . Its zero row expresses the dependence of the second equation on the first. The second system includes the impossible statement and has no solutions. The last column is therefore essential data, even when the coefficient calculations are identical.
Trace the row-operation invariant
The short visual explanation below keeps the main invariant visible: a legal row operation may change the displayed matrix, but it must preserve the set of solutions. Pay special attention to the constants column; it belongs to the same rows as the coefficient entries.
See why [A|b] is a safe working form: elementary row operations rewrite equations while preserving the solution set.
Package the system
The coefficient block and the constants column are stored in one augmented matrix so the data remains aligned.
Read the bar correctly
The vertical bar is bookkeeping, not a barrier. A row operation acts on the entire row, including the constants column.
Use only reversible operations
Swapping rows, scaling by a nonzero number, and adding a multiple of one row to another can each be undone.
Rewrite equations, not variables
A row replacement such as R2 <- R2 - R1 replaces one equation by an equivalent combination of equations.
Move the constants too
If the coefficients change but the constants are frozen, the matrix no longer represents the same system.
Track the invariant
The visible matrix changes, but the solution set is preserved by every legal elementary row operation.
Use the augmented matrix because elementary row operations are reversible equation rewrites. The constants column is part of the same rows, so it must change together with the coefficient block.
The next note studies Gaussian elimination in detail. At the current stage, the important idea is more basic: an augmented matrix is a compact record of the same system, and row operations are legitimate because they preserve the solution set.
A practical solving strategy
The matrix method has three steps:
- write the system as an augmented matrix;
- perform row operations to reach a simpler matrix;
- translate the simpler matrix back into equations, or read the answers from a sufficiently simple form.
This strategy is easy to say, but it becomes reliable only when you keep asking what each step is preserving and what structural feature you are trying to create.
Use the explorer below to connect the symbolic row operations with the changing system they represent.
Read and try
Translate one system into a matrix
The live explorer highlights how each equation becomes one matrix row plus one constant entry.
System
- x + 2y = 5
- 3x - y = 4
Result
| 1 | 2 | 5 |
| 3 | -1 | 4 |
Why apparently similar shortcuts can fail
If is replaced by through multiplication by zero, every pair becomes a solution of the transformed equation. The original pair was not a solution, so equivalence has failed. This example does not say that every zero row is an error: a legal replacement can produce a zero row when an equation was already redundant. The issue is whether the operation preserves the information in the full system.
Similarly, the two instructions and need a convention about timing. If both use the old rows, they replace two equations by two copies of the same sum and may lose information. If they are performed sequentially, the second instruction uses the updated first row and is a legitimate second replacement. Write intermediate matrices whenever later instructions use a row that has just changed.
The coefficient of the target row also deserves attention. Replacing by , with , is reversible when : first scale by , then add . When , the old target equation disappears. This observation explains why the elementary list is sufficient without treating every row combination as automatically safe.
A reliable written solution records the operation beside each arrow, preserves the order of variable columns, and carries the constant column through the same arithmetic. When choosing a multiplier, identify the entry to eliminate and the nonzero entry used to eliminate it. For example, an entry below a pivot is removed by subtracting times the pivot row. The same multiplier acts on the whole target row; changing only the selected entry does not describe an equation operation.
Common mistakes and subtle points
Common mistake
The bar in is not a wall you may ignore
The last column belongs to the same system. If you apply a row operation to the coefficient entries but leave the constants untouched, you are no longer rewriting the same system.
Common mistake
Multiplying a row by is not an allowed move
The allowed scaling operation requires a nonzero scalar. Multiplying by throws away the equation and is not reversible, so it does not preserve equivalence.
Common mistake
A row operation changes equations, not variables
Row operations combine equations with one another. They do not mean "replace by something else" or "change the meaning of the unknowns."
Quick checks
Checkpoint
Why is not an allowed row operation?
Answer in terms of reversibility and loss of information.
Solution · Answer
Multiplying a row by erases the entire equation, so the move cannot be reversed. Because it destroys information, it is not guaranteed to preserve the solution set.
Checkpoint
If two equations are swapped, does the system get a different solution set?
Do not think about appearance only. Think about what it means to solve all the equations simultaneously.
Solution · Answer
No. Swapping rows only changes the order in which the equations are written. A tuple solves the original system exactly when it solves the reordered system.
Exercises
Checkpoint
Write the augmented matrix for the system , , .
Keep the columns in the order , even when a variable does not appear in a given equation.
Solution · Guided solution
The coefficients of the three equations are
and the constant column is . Therefore the augmented matrix is
Checkpoint
Using the same system, which single row operation eliminates the term from the first equation, and what new first equation do you get?
The coefficient of in equation 1 is , while the coefficient in equation 2 is .
Solution · Guided solution
Use
Indeed,
gives
So after the row operation, the first equation becomes .
Read this first
This page builds on 1.1 Equations and solution sets and 2.1 Matrix basics, and it prepares the elimination viewpoint used in 2.3 Gaussian elimination and RREF.