Systems in Two Variables

Learning goals

Read the solution set as one point, none, or a line
Prove no other count is possible for two lines
Detect the case from how elimination ends
Name a system consistent or inconsistent, independent or dependent
Compare the three coefficient ratios in standard form
Describe an infinite solution set explicitly, as $(x, 2x - 3)$

A system asks where two lines meet

You already know that a single linear equation in two variables, such as $2x + 3y = 12$ , does not have one answer. Its solutions are all the pairs $(x, y)$ that make it true, and when you plot them they form a straight line. The equation and the line are two views of the same object: the line is the solution set of that one equation.

A system stacks two such equations and asks for the pairs that satisfy both at once:

2x + 3y = 12, \qquad x - y = 1.

A pair solves the system exactly when it lies on the first line and on the second. So the solution set of the system is precisely the set of points the two lines have in common, their intersection. The whole question “how many solutions can a system have” becomes a geometry question you can picture: in how many points can two lines in a plane meet?

Three shapes, and no others

Take any two lines drawn in the same plane. Run through the possibilities. They might cross at a single point. They might run parallel and never touch. Or the two equations might, once simplified, describe the very same line lying on top of itself. Those three pictures give one shared point, no shared point, and every point shared. What is remarkable is that this list is complete: no arrangement of two straight lines produces exactly two crossings, or exactly five. The reason is short and worth seeing in full.

A linear system in two variables has one, no, or infinitely many solutions, and nothing else#

A solution of the system is a point lying on both lines, so the solution set is exactly the collection of points the two lines share. Two lines are either the same line or two genuinely different lines, so handle those cases.

If the two equations describe the same line, then every point of that line lies on both. Since a line has infinitely many points, the system then has infinitely many solutions.

If the two lines are different, they can share at most one point. Here is why. Suppose, for contradiction, that two different lines passed through two different shared points. A straight line is completely determined by any two of its points: through two given points there is exactly one line. So both lines, passing through the same two points, would have to be the identical line, contradicting that they are different. Two distinct lines therefore meet in at most one point, which leaves only two options: they cross at exactly one point, or they never meet at all.

Collecting the cases, the solution set is the whole line (same line), a single point (distinct lines that cross), or empty (distinct lines that never meet). A count of “two or more, but finitely many” is impossible, because the two-points argument forbids two distinct lines from sharing even two points. That is the entire list.

The three outcomes are easy to tell apart once each line is in slope-intercept form $y = mx + b$ , because the slope $m$ controls the direction. Different slopes force a single crossing. Equal slopes with different intercepts give parallel lines that never meet. Equal slopes with the same intercept are the same line drawn twice.

The only three ways two lines can sit in a plane: crossing once, parallel, or coincident. These are the one, none, and infinitely many solution cases.

Check your understanding

How many solutions does this system have: $y = 4x - 1$ and $y = 4x + 5$ ?

A Exactly one B Exactly two C No solution D Infinitely many

Those three panels are drawn side by side because a page cannot show one turning into another, and that is the one thing worth seeing. The figure below is a single pair of lines carrying all three cases, and the route between them is short.

The figure opens crossing, at $\left(\tfrac43, \tfrac53\right)$ : one solution. Note that a crossing point is under no obligation to land on a grid intersection, which is the practical reason the algebra is worth more than the picture. Now bring the dashed line’s slope onto the solid line’s, a rise of $1$ over a run of $2$ . The dot goes out and the sentence stops naming a point: parallel, no solution. Hold the slopes there and walk the dashed line’s crossing point down to $1$ , where the solid line meets the axis. The two lines merge into what looks like one, and the count jumps from none to infinitely many.

Watch that last step closely, because it is where the picture gives out. Once the slopes match, the only thing separating “no solution” from “infinitely many” is the value of one control. The second of those two cases draws a figure a reader cannot distinguish from a single line. The proof above is what tells the two apart, and the sentence under the figure is doing the same job the proof does.

One pair of lines, all three cases

Rise A Run A Crosses A Rise B Run B Crosses B

y = (1/2)x + 1. y = -x + 3. The slopes 1/2 and -1 are different, so they cross exactly once. They cross at (4/3, 5/3).

Two lines on one coordinate plane, one solid and one dashed, with a dot where they share a point. Equal slopes remove the dot, and equal slopes with the same crossing point leave the two lines lying on top of each other.

Reading the three cases off the algebra

You do not need a graph to know which case you are in. Substitution and elimination already report it, if you listen to what they output. Both methods work by removing one variable to get a single equation, and that final equation lands in exactly one of three states, matching the three pictures one for one. Think of elimination less as a way to grind out an answer and more as a detector for which case a system is in.

Start with the case you expect most often, a single crossing point.

Worked example 1 One solution: the algebra ends at a value

Solve the system

2x + 3y = 12, \qquad x - y = 1.

The slopes differ ( $-\tfrac{2}{3}$ against $1$ ), so expect a single crossing. Eliminate $y$ by scaling the second equation by $3$ so the $y$ terms become opposites:

3(x - y) = 3(1) \;\Longrightarrow\; 3x - 3y = 3.

Add this to the first equation. The $+3y$ and $-3y$ cancel:

(2x + 3y) + (3x - 3y) = 12 + 3 \;\Longrightarrow\; 5x = 15 \;\Longrightarrow\; x = 3.

Back-substitute into $x - y = 1$ to get $3 - y = 1$ , so $y = 2$ . The elimination ended at a genuine value, $x = 3$ , which then pinned $y$ to a single number. That is the signature of the one-solution case:

(x, y) = (3, 2).

A quick check confirms it: $2(3) + 3(2) = 12$ and $3 - 2 = 1$ , both true.

Now watch what changes when the lines are parallel. The arithmetic does something that looks alarming the first time you see it, but it is exactly the report you want.

Worked example 2 No solution: the algebra ends at a falsehood

Solve the system

2x - y = 3, \qquad 4x - 2y = 1.

Rewrite each in slope-intercept form to see the geometry: the first is $y = 2x - 3$ and the second is $y = 2x - \tfrac{1}{2}$ . Same slope $2$ , different intercepts, so the lines are parallel and should share no point. Watch elimination confirm it. Scale the first equation by $2$ :

2(2x - y) = 2(3) \;\Longrightarrow\; 4x - 2y = 6.

Subtract the second equation, $4x - 2y = 1$ , from this. Both variables cancel at once:

(4x - 2y) - (4x - 2y) = 6 - 1 \;\Longrightarrow\; 0 = 5.

The statement $0 = 5$ is false, and no choice of $x$ or $y$ can make it true, because $x$ and $y$ have already vanished from it. So there is no pair satisfying both equations. The system has no solution, which is precisely the parallel-lines picture.

The last case is the strangest of the three, because the answer is not a point and not “nothing” but an entire line’s worth of solutions. When elimination wipes out both variables and leaves a statement that is simply true, the second equation was telling you nothing new.

Worked example 3 Infinitely many: describing the whole solution set

Solve the system

6x - 3y = 9, \qquad 2x - y = 3.

Divide the first equation by $3$ and it becomes $2x - y = 3$ , identical to the second. The two equations are the same line wearing different clothes. Elimination makes this explicit: scale the second by $3$ to get $6x - 3y = 9$ , then subtract the first:

(6x - 3y) - (6x - 3y) = 9 - 9 \;\Longrightarrow\; 0 = 0.

The statement $0 = 0$ is always true, so the second equation added no restriction the first had not already imposed. Every point on the shared line solves the system, so there are infinitely many solutions.

“Infinitely many” is not a complete answer, though; you should say which pairs. Solve the common line $2x - y = 3$ for $y$ to get $y = 2x - 3$ . Then any $x$ you like is allowed, and $y$ is forced to match, so the solution set is every pair of the form

(x,\ 2x - 3) \quad \text{as } x \text{ ranges over all real numbers.}

For instance $x = 0$ gives $(0, -3)$ , and $x = 4$ gives $(4, 5)$ ; both satisfy the original two equations. Writing the answer as $(x,\ 2x - 3)$ captures all of them at once.

These three endings are the whole story, and they are the algebraic mirror of the geometry.

Why elimination can only end in a value, a falsehood, or an identity#

Take a system in which each equation genuinely involves both variables. Eliminate one variable, say $y$ , by scaling the two equations so their $y$ -coefficients match and then subtracting. The $y$ terms cancel by design, and what remains is one equation whose only variable is $x$ . Exactly one of two things happens to the $x$ term.

Either some nonzero multiple of $x$ survives, giving an equation of the form $px = q$ with $p \ne 0$ . Then $x = \tfrac{q}{p}$ is forced to a single value, back-substitution forces one matching $y$ , and the system has exactly one solution.

Or the $x$ term cancels along with the $y$ term, leaving a bare numerical statement $0 = k$ . This is exactly the case where the two equations have proportional left-hand sides, one being a constant multiple of the other in its $x$ and $y$ parts. Now $k$ records whether the constant terms respect that same proportion. If $k \ne 0$ the statement $0 = k$ is false and the system has no solution. If $k = 0$ the statement $0 = 0$ holds for every pair, and the second equation is a rescaling of the first. The two then describe one line, and every point on it is a solution, infinitely many.

So the only possible endings are $px = q$ (one solution), $0 = k \ne 0$ (none), and $0 = 0$ (infinitely many), matching crossing lines, parallel lines, and one repeated line. There is no fourth ending.

Check your understanding

Solving a system by elimination, a student correctly reduces it to the single statement $0 = -7$ . What should they conclude?

A The system has no solution B

x = -7

C The system has infinitely many solutions D They made an arithmetic mistake

Consistent, inconsistent, dependent, independent

Because these three cases come up constantly, they carry standard names, and the names split the idea along two independent questions.

The first question is whether any solution exists at all. A system with at least one solution is consistent; a system with no solution is inconsistent. The parallel-lines system from Worked Example 2, which ended in $0 = 5$ , is inconsistent.

The second question, asked only when the system is consistent, is whether the two equations carry genuinely different information. If the equations describe different lines, they pin down a single crossing point, and the system is independent. If one equation is just a rescaling of the other, so they describe the same line, the system is dependent, and it has infinitely many solutions. Combining the two questions gives exactly the three cases:

Consistent and independent: one solution (lines cross).
Consistent and dependent: infinitely many solutions (same line).
Inconsistent: no solution (parallel lines).

When both equations are written in standard form $ax + by = c$ with nonzero coefficients and constant terms, you can classify a system at a glance by comparing the ratios of matching coefficients. Two lines have the same slope exactly when $\frac{a_1}{a_2} = \frac{b_1}{b_2}$ , and they are the same line when the constants keep that ratio too:

Coefficient ratios	Lines	Solutions	Classification
$\frac{a_1}{a_2} \ne \frac{b_1}{b_2}$	cross once	exactly one	consistent, independent
$\frac{a_1}{a_2} = \frac{b_1}{b_2} \ne \frac{c_1}{c_2}$	parallel	none	inconsistent
$\frac{a_1}{a_2} = \frac{b_1}{b_2} = \frac{c_1}{c_2}$	same line	infinitely many	consistent, dependent

The middle and bottom rows differ only in whether the constant term joins the pattern. That difference is the same thing as asking whether $k$ is nonzero or zero at the end of elimination.

Forcing a case: solving for a parameter

Once you can read the case off the coefficients, you can run the question backward. Instead of being handed a fixed system and asked how many solutions it has, you are handed a system with an unknown constant in it. You are then asked to choose that constant so that a particular case occurs. This is where the classification earns its keep.

Worked example 4 Choose k so the system has no solution, then infinitely many

For which values of $k$ does this system have no solution, and for which does it have infinitely many?

3x - y = 4, \qquad 6x - 2y = k.

Look at the left-hand sides. The second, $6x - 2y$ , is exactly twice the first, $3x - y$ . So no matter what $k$ is, the two lines have the same slope; they can only ever be parallel or identical, never crossing. Which one it is depends on the constant. Scale the first equation by $2$ :

2(3x - y) = 2(4) \;\Longrightarrow\; 6x - 2y = 8.

Compare with the second equation, $6x - 2y = k$ . Subtracting gives

0 = 8 - k.

If $k = 8$ , this is $0 = 0$ , the two equations are the same line, and there are infinitely many solutions. If $k \ne 8$ , this is $0 = (\text{nonzero})$ , the lines are parallel, and there is no solution.

k = 8 \Rightarrow \text{infinitely many}, \qquad k \ne 8 \Rightarrow \text{no solution.}

Notice there is no value of $k$ that gives a single solution here. The left sides are locked into the same slope, so a lone crossing point is off the table from the start.

When the unknown sits in a coefficient instead of a constant, it controls the slope, and the reasoning shifts to matching slopes. The next checkpoint is that version.

Check your understanding

For which value of $k$ does the system $x + 2y = 5$ and $3x + ky = 8$ fail to have exactly one solution?

k = 2

k = 5

k = 3

k = 6

Common mistakes

Reading $0 = 5$ as an error instead of an answer. When both variables cancel and leave a false numeric statement, you have not made a mistake; you have proved the lines are parallel. The correct response is “no solution,” not “start over.”
Reading $0 = 0$ as " $x = 0$ " or “no solution.” An always-true ending means infinitely many solutions, not zero of them and not a single value. It is the opposite of the $0 = 5$ case.
Stopping at “infinitely many.” That names the case but does not describe the solutions. Solve the shared line for one variable and report the pairs, for example $(x,\ 2x - 3)$ for every real $x$ .
Confusing dependent with inconsistent. Dependent systems are consistent: they have solutions, a whole line of them. Inconsistent systems have none. Both can show equal slopes, so check the constant term to tell them apart.
Assuming any nonzero coefficient change keeps one solution. Changing a coefficient changes a slope, and if it makes the slopes equal, the count jumps from one straight to zero or infinity. The number of solutions is not a continuous dial.

Key takeaways

The solution set of a two-variable linear system is the intersection of two lines. That intersection is therefore one point, no points, or a whole line: one solution, no solution, or infinitely many, and nothing else.
Two distinct lines meet in at most one point (two shared points would force them to be the same line), which is what rules out any other count.
Elimination detects the case by its ending: $px = q$ with $p \ne 0$ gives one solution, $0 = k \ne 0$ gives none, and $0 = 0$ gives infinitely many.
Consistent means at least one solution, inconsistent means none; a consistent system is independent (one solution, different lines) or dependent (infinitely many, same line).
In standard form, compare the three ratios $\frac{a_1}{a_2}$ , $\frac{b_1}{b_2}$ , and $\frac{c_1}{c_2}$ . The first two ratios unequal means one solution, the first two equal but the constant ratio different means none, and all three equal means infinitely many.
Describe an infinite solution set explicitly, such as $(x,\ 2x - 3)$ for all real $x$ , rather than leaving it as “infinitely many.”

Systems in Two Variables

Learning goals

A system asks where two lines meet

Three shapes, and no others

Reading the three cases off the algebra

Consistent, inconsistent, dependent, independent

Forcing a case: solving for a parameter

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Free Response Questions (FRQ)