Algebra · Lesson 2

Systems: more than one unknown

Two unknowns need two independent relationships. A system is a set of truth claims that must hold together.

Core ~25 minDeep study ~74 minWhen does a system have one solution?What does inconsistent mean?

How this idea was born

Life rarely hands you a single constraint. Two grocery receipts, two mixture recipes, two circuit laws, a schedule with overlapping rules: each fact is true, and together they must pin down what you do not yet know. One relation alone often leaves a whole family of possibilities. Many independent relations can corner the unknowns, or reveal that your facts fight each other.

Carl Friedrich Gauss treated calculation as a craft of elimination and structure, not brute force. The systematic reduction later nicknamed Gaussian elimination embodies that ethic: untangle a system into a triangular story you can finish by hand. (Related elimination ideas appear earlier in other traditions; the modern name honors Gauss's influence on method, not a claim of solitary invention.) Steal the habit of simplifying before you struggle.

For a modern rereader, a system is a bundle of truth claims that must hold together. If the previous chapter taught you to honor a single equality, this one teaches you to honor several at once: how much information you need, and when your facts contradict.

First principles

One equation in two unknowns usually has many solutions (a whole line of them, for a linear equation). To pin both unknowns, you typically need two independent equations.

Example:

\begin{aligned} x + y &= 10 \\ 2x - y &= 2 \end{aligned}

Add them:

3x = 12

, so

x = 4

, then

y = 6

You eliminated a variable by combining truth claims. That is the heart of elimination methods associated with Gauss's style of systematic reduction. MacTutor's Gauss biography and standard linear-algebra histories emphasize economy of calculation: reduce a tangle until the story is triangular and finishable by hand.

Independence matters. If the second equation is just a double of the first, you learned nothing new. Each equation should add information the others do not already contain.

A linear system in two unknowns can be written:

\begin{aligned} a_1 x + b_1 y &= c_1 \\ a_2 x + b_2 y &= c_2 \end{aligned}

Each row is an equality claim. The solution is a pair

(x, y)

that satisfies both claims simultaneously.

Algebrica's systems of linear equations pairs the algebraic elimination story with geometric pictures of lines. Worth a slow read after your first pass here.

Worked intuition

Constraints as lines

Each linear equation in two variables is a line in the plane. The solution of a two-equation system is their intersection.

A linear system is often two lines. Their intersection is the shared solution.

One intersection point: unique solution
Parallel distinct lines: no solution (inconsistent)
Same line written twice: infinitely many solutions

Pictures prevent algebraic superstition. Before you eliminate variables, ask what the constraints want geometrically.

Elimination and substitution as storytelling

Elimination combines equations to cancel a variable. Substitution solves one equation for a variable and plugs into the other. Both are ways of saying: use one claim to rewrite another until a single unknown is isolated.

Try the grocery version: two item prices, two receipts with different quantities. Two independent linear claims often fix both prices. One receipt leaves a free family of possibilities.

Elimination worked example:

\begin{aligned} 2x + 3y &= 13 \\ x - y &= 1 \end{aligned}

From the second equation,

x = y + 1

. Substitute into the first:

2(y + 1) + 3y = 13 \implies 5y + 2 = 13 \implies y = \frac{11}{5}, \quad x = \frac{16}{5}

Elimination by adding:

Multiply the second equation by

-2

and add to the first to cancel

x

(2x + 3y) + (-2)(x - y) = 13 + (-2)(1) \implies 5y = 11 \implies y = \frac{11}{5}, \quad x = \frac{16}{5}

Same system, same answer as substitution. Two methods, one truth claim.

Checking a system solution

Substitute

(x, y) = (4, 6)

into

x + y = 10

and

2x - y = 2

First: $4 + 6 = 10$ ✓
Second: $2(4) - 6 = 2$ ✓

Both claims hold. A system solution must satisfy every equation, not just the last one you derived.

Overdetermined reality

With three equations for two unknowns, exact agreement may be impossible. That is not failure of mathematics. It is a signal that the claims conflict, or that measurement noise made perfect equality unrealistic. Later, least squares will turn conflict into compromise.

Example of conflict:

\begin{aligned} x + y &= 10 \\ x - y &= 2 \\ x + y &= 12 \end{aligned}

The first and third equations cannot both be true. The system is inconsistent: no

(x, y)

satisfies all three.

Underdetermined example

\begin{aligned} x + y &= 10 \end{aligned}

Alone, this has infinitely many solutions:

(0, 10)

(3, 7)

(4, 6)

, and every other pair on the line. One equation, two unknowns: a whole family remains free.

Common confusions

"Two equations always mean one answer." Only when the equations are independent and consistent. Parallel distinct lines never meet. Identical lines meet everywhere along the line.

Counting equations instead of information. Five copies of the same equation are still one piece of information. Count independence, not ink.

Mixing up inconsistent and underdetermined. Inconsistent: no point satisfies every claim. Underdetermined: too little information, a whole family of solutions remains.

Forcing a unique answer when the geometry refuses. If the picture shows parallel lines, algebra should report "no solution," not invent a compromise unless you explicitly change the problem (as least squares does).

Thinking elimination is a trick unique to school. It is the ancestor of matrix row reduction. When you meet

Ax = b

later, you are meeting this lesson in matrix clothing.

Checking only the last equation. After elimination, verify in all original equations. A sign slip in step two can satisfy your final line while breaking an earlier claim.

Confusing "dependent" with "inconsistent." Dependent equations describe the same line (infinitely many solutions). Inconsistent equations describe parallel distinct lines (no solutions). Both feel "stuck," but for opposite reasons.

History and stories

Carl Friedrich Gauss (1777-1855) treated calculation as craft: simplify structure before you struggle. The modern name "Gaussian elimination" came later, but the ethic matches how standard histories describe his computational style.

Chinese mathematical traditions, including methods preserved in the Nine Chapters on the Mathematical Art, also developed systematic ways to handle simultaneous linear conditions in surveying and commerce contexts. Historians treat that as a deep, parallel stream of the same human need: several constraints, several unknowns, one coherent answer (or a clear reason none exists). Do not flatten that history into a single inventor myth.

PageRank-style importance (importance defined in terms of other importances) is a modern mythic example in that spirit. Treat popular expositions as pedagogy, not as a claim that Gauss invented the web.

Real world

Two grocery items with two independent receipts: apples and oranges, two shopping trips, two total prices. Two equations, two unknowns.
Mixture problems: amount of solute and amount of solution as coupled constraints. "How much pure acid in a 20% solution?"
Kirchhoff's laws in simple circuits: enough independent equations to find currents at junctions.
Scheduling and allocation: resources and requirements that must hold at once.
Break-even analysis: revenue and cost as two linear functions; the intersection is where profit hits zero.

Whenever someone says "we don't have enough information," they are speaking systems language: the solution set is still a family, not a point.

Curiosity question: You know two numbers sum to 10 and one is twice the other. Write the system before you solve. Does the geometry match your expectation?

Open when you want the machine-learning connection. Skip freely.

Field notes, extra examples, and glossary live here when you want more than the core path.

Carry this forward

Systems are joint truth claims that must hold together.
Independence and consistency decide the solution set.
Geometry (lines meeting or not) keeps algebra honest.
Check solutions in every original equation.
Next: functions, the reusable relationship machine.

Go deeper when curiosity hits - videos, essays, and primary trails.

referenceMacTutor - Carl Friedrich Gauss
video3Blue1Brown - Inverse matrices, column space and null spaceGeometric view of when linear systems have solutions.
articleBetter Explained - Linear algebra guide (systems intuition)
articleAlgebrica - Systems of linear equationsSystems overview with geometric and algebraic views.
bookSteven Strogatz - The Joy of XSystems as the seed of later network algebra.