Systems of Equations - Theory & Concepts

Systems of Equations

$Learning Objectives$

Classify linear systems as consistent independent, consistent dependent, or inconsistent using graphical intersections and algebraic or rank evidence.
Solve two-variable systems by graphing, substitution, and elimination, then verify every claimed solution by substitution into the original equations.
Apply determinant-based methods such as Cramer's Rule only to square systems with nonzero coefficient determinant, and analyze singular systems without assuming uniqueness.
Distinguish homogeneous from non-homogeneous systems using coefficient and augmented matrices, rank, free variables, and the trivial solution.
Reduce and interpret three-variable systems geometrically as plane intersections and algebraically by elimination, including unique, infinite-solution, and no-solution cases.

A linear system is a collection of equations in the same unknowns. A solution is any ordered pair, ordered triple, or higher-dimensional vector that satisfies every equation simultaneously. Depending on the equations, the solution set can contain one point, infinitely many points, or no points.

Two-Variable Linear System in Matrix Form

A pair of linear equations can be written as a coefficient matrix times the unknown vector equal to the constant vector.

\begin{bmatrix} a & b\\ c & d \end{bmatrix} \begin{bmatrix} x\\ y \end{bmatrix} = \begin{bmatrix} e\\ f \end{bmatrix}

Variables

Symbol	Description	Unit
$a,b,c,d$	Coefficients of the unknowns	-
$x,y$	Unknown variables	-
$e,f$	Right-hand-side constants	-

$Types of Systems$

The relationship between two lines determines the number of solutions:

Consistent & Independent: Lines intersect at exactly one point. (One solution).
Consistent & Dependent: Lines are identical (collinear). (Infinite solutions).
Inconsistent: Lines are parallel and never intersect. (No solution).

Graphical Meaning of a Two-Equation System

A solution must lie on both lines. The relative line geometry determines whether the system has one solution, no solution, or infinitely many solutions.

Intersecting lines → one common point → consistent independent

Distinct parallel lines → no common point → inconsistent

Coincident lines → every point on the shared line satisfies both → consistent dependent

$Interactive Simulation: Parallel vs Intersecting Lines$

Adjust the slopes and intercepts of two lines to visualize their intersection. Notice how parallel lines (equal slopes) result in no solution.

Systems of Linear Equations Explorer

Equation 1 (Blue)

m1 (Slope)1

b1 (Intercept)2

y = x + 2

Equation 2 (Purple)

m2 (Slope)-0.5

b2 (Intercept)-1

y = -0.5x - 1

Determinant Test:

D = m_2 - m_1 = -1.50

System Status:

Consistent Independent (Unique Solution)

(x, y) = (-2.00, 0.00)

$Methods of Solving$

STEP-BY-STEP

Choose a method that matches the equation structure and the precision required.

Graphing: Plot all equations on common axes. It is strongest for visual classification and estimation; exact fractional intersections should be verified algebraically.
Substitution: Isolate one variable and substitute into the remaining equation or equations. It is especially efficient when a variable already has coefficient $1$ or $-1$ .
Elimination: Multiply equations as needed, then add or subtract them to eliminate a variable while preserving the solution set.
Cramer's Rule: For a square linear system $A\mathbf{x}=\mathbf{b}$ with $\det(A)\ne0$ , determinants give the unique solution. For small systems this can be convenient; when $\det(A)=0$ , do not divide by the determinant—use elimination or rank to determine whether the system has no solution or infinitely many.

$Interactive Simulation: Substitution and Elimination$

Use the interactive solver below to practice the Substitution and Elimination methods. Adjust the coefficients of the two linear equations to see the exact step-by-step algebraic derivations update instantly.

Algebraic Systems Solver Lab

Solving Method

Equation 1:

a_1x + b_1y = c_1

a₁ · x coefficient2

b₁ · y coefficient1

c₁ · right-hand side4

2x + 1y = 4

Equation 2:

a_2x + b_2y = c_2

a₂ · x coefficient1

b₂ · y coefficient-1

c₂ · right-hand side2

1x - 1y = 2

Algebraic Step Solver

Step 1: Solve Eq 1 for y

y = \frac{4 - 2x}{1}

Step 2: Substitute into Eq 2

1x - 1\left(\frac{4 - 2x}{1}\right) = 2

Step 3: Solve for x and y

x = 2.00, \quad y = 0.00

Determinant (D)-3.0

X Solution2.00

Y Solution0.00

$Homogeneous vs. Non-Homogeneous Systems$

Systems of equations can be classified based on the constants on the right side of the equations. This classification dictates the possible types of solutions.

$Homogeneous Systems$

Systems of the form $A\mathbf{x}=\mathbf{0}$ . They always have the trivial solution $\mathbf{x}=\mathbf{0}$ . Nontrivial solutions exist exactly when $\operatorname{rank}(A)$ is smaller than the number of unknowns; for a square matrix this is equivalent to $\det(A)=0$ .

$Non-Homogeneous Systems$

Systems of the form $A\mathbf{x}=\mathbf{b}$ with at least one nonzero entry in $\mathbf{b}$ . They may have one solution, infinitely many solutions, or no solution, depending on the ranks of the coefficient and augmented matrices.

$Rank Test for Existence and Uniqueness$

For a linear system $A\mathbf{x}=\mathbf{b}$ :

If $\operatorname{rank}(A)\ne\operatorname{rank}([A\mid\mathbf{b}])$ , the system is inconsistent and has no solution.
If the ranks are equal and equal the number of unknowns, the system has a unique solution.
If the ranks are equal but smaller than the number of unknowns, at least one variable is free and the system has infinitely many solutions.

This criterion covers square and rectangular linear systems and resolves the ambiguity that remains when a square coefficient determinant is zero.

Three-Plane Solution Geometries

Three equations in three variables represent planes. The full system is solved only by points common to all three planes.

One common point → unique ordered triple

Common line or coincident-plane family → infinitely many ordered triples

No point common to all three planes → inconsistent system

$Systems of Three Variables$

STEP-BY-STEP

A linear equation in $x$ , $y$ , and $z$ represents a plane. The solution set is the set of points common to all planes; it may be one point, a line or other infinite family, or empty.

Choose one variable and eliminate it from two independent pairs of equations.
Solve the resulting two-variable system, or classify it if it becomes dependent or inconsistent.
Back-substitute to recover the remaining variable when a unique solution exists.
Substitute the final ordered triple, or parameterized family, into all original equations to verify the result.

$Cramer's Rule$

STEP-BY-STEP

Cramer's Rule applies to a square system $A\mathbf{x}=\mathbf{b}$ only when the coefficient determinant $D=\det(A)$ is nonzero.

Form the coefficient matrix $A$ and compute $D=\det(A)$ .
If $D=0$ , stop the determinant division. Cramer's Rule does not classify the singular system; use elimination or rank to distinguish inconsistency from infinitely many solutions.
If $D\ne0$ , form $D_x,D_y,\ldots$ by replacing one coefficient-matrix column at a time with the right-hand-side vector $\mathbf{b}$ .
Compute the replacement determinants.
Divide by the nonzero coefficient determinant: $x=D_x/D$ , $y=D_y/D$ , and similarly for additional variables.
Check the resulting values in the original equations.

Cramer's Rule for a Two-by-Two Nonsingular System

Valid only when the coefficient determinant D is nonzero.

D= \begin{vmatrix} a&b\\ c&d \end{vmatrix}=ad-bc,\qquad x=\frac{D_x}{D},\qquad y=\frac{D_y}{D}

Variables

Symbol	Description	Unit
$D$	Determinant of the coefficient matrix; must be nonzero	-
$D_x$	Determinant after replacing the x-column with the constants	-
$D_y$	Determinant after replacing the y-column with the constants	-

$A Zero Determinant Does Not Choose Between No Solution and Infinite Solutions$

For a square coefficient matrix, $D=0$ means the matrix is singular and Cramer's determinant ratios are undefined. It does not by itself tell you whether the augmented system is inconsistent or dependent. Continue with elimination or compare $\operatorname{rank}(A)$ and $\operatorname{rank}([A\mid\mathbf{b}])$ .

$Interactive Simulation: Homogeneous vs. Non-Homogeneous Systems$

Switch between $A\mathbf{x}=\mathbf{0}$ and $A\mathbf{x}=\mathbf{b}$ systems. Adjust the coefficients to see how the determinant controls the trivial solution, nontrivial solution families, unique solutions, and inconsistent systems.

Homogeneous vs. Non-Homogeneous Systems Lab

a₁1

b₁2

a₂2

b₂4

1x + 2y = 0

2x + 4y = 0

det(A)

Classification

Infinite

Solution

family of solutions

What the determinant means

\det(A)=1(4)-2(2)=0

Infinitely many solutions exist, including the trivial solution.

Every homogeneous system has the trivial solution (0, 0). A nonzero determinant makes that solution unique; a zero determinant creates nontrivial solutions as well.

Key Takeaways

A solution must satisfy every equation; graphically it is common to all represented lines or planes.
Intersecting two-variable lines give one solution, coincident lines give infinitely many, and distinct parallel lines give none.
An identity such as $0=0$ shows a redundant row, while a contradiction such as $0=7$ proves inconsistency. A redundant row alone does not classify a larger system without the remaining equations.
Cramer's Rule requires a square system with $\det(A)\ne0$ . When $\det(A)=0$ , use elimination or rank; singularity alone does not distinguish no solution from infinitely many.
Verify computed ordered pairs, ordered triples, and parameterized solution families by substitution into the original equations.

$References$

Previous TopicWord Problems - Examples & Applications

Quiz Me

Next TopicSystems of Equations - Examples & Applications

Prev Next

Quiz Me