Linear Equations in One Variable

⚡ Key Takeaways

Linear equations in one variable are equations of the form $ax + b = 0$ where $a \neq 0$ . They have exactly one solution, $x = -b/a$ . Used everywhere from balancing budgets to physics formulas, they are the simplest nontrivial algebraic equation and the foundation of all algebra. Formalized through centuries of work culminating in modern symbolic notation (16th–17th c.).

💡 The Core Insight

An equation is a balance scale. Whatever you do to one side you must do to the other to keep it balanced. By systematically isolating the unknown through reversible operations — adding, subtracting, multiplying, dividing by nonzero quantities — you transform the original equation into a chain of equivalent equations ending in the form $x = \text{(a number)}$ . Because each step is reversible, the final answer is guaranteed to be the solution of the original.

DefinitionLinear Equation in One Variable

A linear equation in one variable $x$ is any equation that can be rearranged into the standard form

1

\quad ax + b = 0, \qquad a \neq 0

Derivation hint: Collect all variable terms on the left and all constants, then move everything to one side; $a$ is the net coefficient of $x$ , $b$ the net constant. where:

$x$ is the variable (the unknown),
$a$ is the coefficient of $x$ , a real number with $a \neq 0$ ,
$b$ is the constant term, any real number.

The solution (or root) is the value of $x$ that makes the equation true.

TheoremExistence and Uniqueness

Every linear equation in one variable $ax + b = 0$ with $a \neq 0$ has exactly one real solution, given by

2

\quad x = -\frac{b}{a}

Derivation hint: Subtract $b$ from both sides, then divide both sides by $a$ (legal since $a \neq 0$ ). If $a = 0$ the equation degenerates: it becomes $b = 0$ , which has no solution if $b \neq 0$ and infinitely many solutions (all real $x$ ) if $b = 0$ .

ProofSolving the General Linear Equation

We begin with the standard form and isolate $x$ using reversible operations.

Step 1. Start from the equation:

3

\quad ax + b = 0

Derivation hint: This is the definition; nothing assumed yet except $a \neq 0$ .

Step 2. Subtract $b$ from both sides. Subtraction of the same number from both sides preserves equality:

4

\quad ax = -b

Derivation hint: $(ax + b) - b = 0 - b$ , and $b - b = 0$ on the left.

Step 3. Divide both sides by $a$ . Because $a \neq 0$ , division is defined and reversible:

5

\quad x = -\frac{b}{a}

Derivation hint: $\dfrac{ax}{a} = \dfrac{-b}{a}$ , and $\dfrac{ax}{a} = x$ since $a \neq 0$ .

Step 4 (Uniqueness). Suppose two values $x_1$ and $x_2$ both solve the equation. Then $ax_1 + b = 0 = ax_2 + b$ , so $ax_1 = ax_2$ , giving $a(x_1 - x_2) = 0$ . Since $a \neq 0$ , we must have $x_1 - x_2 = 0$ , i.e. $x_1 = x_2$ . Hence the solution is unique. $\blacksquare$

∎

⚠️ The role of

a \neq 0

The entire theorem rests on $a \neq 0$ . Division by $a$ is only valid when $a$ is nonzero. If you ever "lose" the variable during simplification ( $x$ cancels completely), you have hit the degenerate case $a = 0$ — examine the leftover constant statement instead of dividing.

mathematician · Muhammad ibn Musa al-Khwarizmi | c. 780–850 CE

The Persian scholar al-Khwarizmi, working in Baghdad's House of Wisdom, wrote Al-Kitab al-mukhtasar fi hisab al-jabr wa'l-muqabala (c. 820), from whose title "al-jabr" we get the word algebra. He described two key operations: al-jabr ("restoration" — moving a subtracted term to the other side as an addition) and al-muqabala ("balancing" — cancelling equal terms on both sides). These are precisely Steps 2 and 3 of our derivation, though al-Khwarizmi expressed everything in words and geometric arguments, with no symbols at all.

🧠 Intuition

Imagine an old two-pan balance scale. The left pan holds " $ax + b$ " worth of weight; the right pan holds " $0$ ." The scale is level — the equation is true — only for a particular unknown weight $x$ . To find $x$ , you strip away everything attached to it without tipping the scale:

First remove the constant $b$ from the left pan — but to keep balance you remove $b$ from the right too (Step 2).
Now the left pan holds $a$ copies of $x$ . To find one copy, split both pans into $a$ equal parts (Step 3).

Every legal move keeps the scale balanced, so the final reading — $x = -b/a$ — is exactly the weight that balanced it originally. The reversibility is what guarantees correctness: you could "rewind" each step and land back at the start.

Figure

Balancing

2x + 3 = 11

: each step keeps both sides equal until

x

is isolated

ExampleSolving with fractions and parentheses

Solve: $\dfrac{3(x - 2)}{4} + 5 = 2x - 1$

Given: A linear equation with a fraction and parentheses.

Step 1 — Clear the fraction. Multiply every term on both sides by $4$ :

6

\quad 3(x - 2) + 20 = 8x - 4

Derivation hint: $4 \cdot \frac{3(x-2)}{4} = 3(x-2)$ , $4 \cdot 5 = 20$ , $4 \cdot (2x-1) = 8x - 4$ .

Step 2 — Expand the parentheses:

7

\quad 3x - 6 + 20 = 8x - 4 \;\Longrightarrow\; 3x + 14 = 8x - 4

Derivation hint: Distribute $3$ over $(x-2)$ , then combine $-6 + 20 = 14$ .

Step 3 — Collect variable terms left, constants right. Subtract $3x$ and add $4$ to both sides:

8

\quad 18 = 5x

Derivation hint: $14 + 4 = 18$ on one side; $8x - 3x = 5x$ on the other.

Step 4 — Divide by $5$ :

9

\quad x = \frac{18}{5} = 3.6

Derivation hint: Both sides divided by $5$ , the coefficient of $x$ .

Check: LHS $= \frac{3(3.6-2)}{4}+5 = \frac{3(1.6)}{4}+5 = 1.2 + 5 = 6.2$ ; RHS $= 2(3.6)-1 = 6.2$ . ✓

\boxed{x = \tfrac{18}{5} = 3.6}

ExampleA word problem with units

Problem: A taxi charges a fixed fee of $3.50 plus $2.20 per kilometre. A ride cost $25.10. How far was the ride?

Given: Fixed fee $= \$3.50$ , rate $= \$2.20/\text{km}$ , total $= \$25.10$ . Let $d$ = distance in km.

Step 1 — Model the situation:

10

\quad 3.50 + 2.20\,d = 25.10

Derivation hint: Total cost = fixed fee + (rate × distance).

Step 2 — Subtract the fixed fee:

11

\quad 2.20\,d = 21.60

Derivation hint: $25.10 - 3.50 = 21.60$ .

Step 3 — Divide by the rate:

12

\quad d = \frac{21.60}{2.20} = 9.818\ldots

Derivation hint: Dividing both sides by $2.20\ \text{\$/km}$ leaves units of km.

Check: $3.50 + 2.20 \times 9.818 \approx 3.50 + 21.60 = 25.10$ . ✓

\boxed{d \approx 9.82\ \text{km}}

⚠️ Operate on whole sides, not single terms

When clearing a fraction or distributing, you must multiply every term on both sides, not just the fraction. A frequent error in Example 1 is multiplying only the fractional term by $4$ and forgetting the $+5$ and the $2x - 1$ . Similarly, when you "move a term across the equals sign" you must change its sign — this is shorthand for adding or subtracting the same quantity on both sides.

CounterexampleWhen the variable disappears

Consider the equation

13

\quad 2(x + 3) = 2x + 5

Derivation hint: Expand the left side and compare with the right. Expanding: $2x + 6 = 2x + 5$ . Subtracting $2x$ from both sides gives $6 = 5$ , a false statement. The variable vanished and what remains is a contradiction, so the equation has no solution (the " $a=0,\ b\neq 0$ " degenerate case). By contrast, $2(x+3) = 2x + 6$ collapses to $6 = 6$ , always true, so it has infinitely many solutions (every real $x$ ). Recognizing these two degenerate outcomes is essential — they are not "errors," they are valid answers about the equation's structure. See Inconsistent and Identity Equations.

connection

A linear equation in one variable is the simplest member of a vast family. Setting it equal to a function gives a Linear Functions $y = ax + b$ whose $x$ -intercept is exactly the solution $-b/a$ — solving the equation is finding where the line crosses the $x$ -axis. Adding a second variable produces Linear Equations in Two Variables, whose solution set is a whole line rather than a single point; pairing two of these yields Systems of Linear Equations. Raising the power of $x$ leads to Quadratic Equations, where the elegant single-solution guarantee gives way to zero, one, or two roots. The manipulation rules used here — adding equals to equals, multiplying both sides — are formalized abstractly in the Field Axioms of real numbers, and generalized to many variables at once in Linear Algebra.

🔬 Where this appears

⏳ History

- c. 1650 BCE — Rhind Papyrus (Egypt): the aha ("heap") problems solve linear equations by the method of false position — guess a value, see how far off, then scale.

- c. 300 BCE — Euclid's Elements: geometric formulations of proportional relationships, foundational logic of equality.

- c. 250 CE — Diophantus of Alexandria: Arithmetica introduces syncopated notation, an early abbreviation system standing between words and symbols.

- c. 820 CE — al-Khwarizmi (Baghdad): systematic verbal procedures al-jabr and al-muqabala — the birth of algebra as a discipline.

- 1202 — Fibonacci, Liber Abaci: transmits Hindu-Arabic numerals and al-Khwarizmi's methods to Europe, popularizing false position.

- 1557 — Robert Recorde, The Whetstone of Witte: introduces the equals sign "=", choosing two parallel lines "bicause noe 2 thynges can be moare equalle."

- 1591 — François Viète, In artem analyticem isagoge: uses letters for both knowns and unknowns, founding symbolic algebra.

- 1637 — René Descartes, La Géométrie: establishes the modern convention of

x, y, z

for unknowns and

a, b, c

for constants, plus the link between equations and curves (coordinate geometry).

- 19th c. — Abstract algebra: the manipulation rules are recognized as consequences of the field axioms, placing one-variable linear equations within a rigorous general theory.

open-problem

For real numbers, the one-variable linear equation is completely understood — there is nothing left to discover at this level. The genuine subtleties appear when the setting changes:

Modular arithmetic: the equation $ax \equiv b \pmod{m}$ may have zero, one, or several solutions depending on $\gcd(a, m)$ — uniqueness fails. This is the gateway to number theory.
Non-field number systems: over the integers, $2x = 3$ has no integer solution though $a \neq 0$ , because division is not always available. Over the integers mod $m$ , " $a \neq 0$ " no longer guarantees $a$ is invertible.
Floating-point computation: when $a$ is extremely small, computing $-b/a$ on a real computer amplifies rounding error — the ill-conditioned case studied in numerical analysis.

These show that "exactly one solution" is a property of the real number field, not of linear equations in the abstract — a lesson that motivates much of higher algebra.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also