MathLabs
TheoremProved

Unique solution when a≠0

Statement

If a≠0a\neq0, the equation ax+b=0ax+b=0 has exactly one solution, namely x=−bax=-\dfrac{b}{a}.

Why is it true?

This is what lets us call the equation "linear": one unknown, one clean answer, never two, never none, as long as a is not zero.

Proof sketch

Existence. Starting from ax+b=0ax+b=0, add −b-b to both sides: this does not change the balance, and gives ax=−bax=-b. Since a≠0a\neq0, we may divide both sides by aa: this too preserves the balance, and gives x=−bax=-\dfrac{b}{a}. Substituting this value back, a(−ba)+b=−b+b=0a\left(-\dfrac{b}{a}\right)+b=-b+b=0, so it genuinely satisfies the equation — a solution exists.

Uniqueness. Suppose x1x_1 and x2x_2 are both solutions, so ax1+b=0ax_1+b=0 and ax2+b=0ax_2+b=0. Subtracting the two equations eliminates bb: ax1−ax2=0a x_1 - a x_2 = 0, i.e. a(x1−x2)=0a(x_1-x_2)=0. Because a≠0a\neq0, the only way a product of two numbers is zero is if the other factor is zero, so x1−x2=0x_1-x_2=0, i.e. x1=x2x_1=x_2. Hence no two different numbers can both solve the equation: the solution found above is the only one.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.