Literal Equations and Formulas

Learning goals

  • Choose which letter is the unknown and which are parameters
  • Split ax=bax = b into its three parameter cases
  • Check whether a divisor could be zero before dividing, and attach that condition to your answer
  • Factor out the target and put the nonzero condition on the whole factor

The unknown and the parameters

Take the distance formula d=rtd = rt. Solve it for tt and you divide by rr, which needs r≠0r \neq 0, reaching t=drt = \frac{d}{r}. Solve the very same formula for rr instead and you divide by tt, which needs t≠0t \neq 0, reaching r=dtr = \frac{d}{t}. Same three letters, two different questions, because a different letter was chosen to be isolated each time.

A literal equation is an equation with more than one letter in it, and d=rtd = rt is one. You already know the mechanics of rearranging one: isolate the letter you want by undoing the operations around it, treating the other letters as fixed numbers. What d=rtd = rt shows is the idea this lesson is built on. In any literal equation, one letter is singled out to be solved for, and every other letter stands for a fixed but unstated number. The letter you solve for is the unknown. Each letter held fixed while you solve is a parameter.

Here is the point that is easy to miss: nothing about the symbol aa makes it a parameter, and nothing about xx makes it the unknown. The roles are assigned by the question, not carried by the letters. Take the equation ax=bax = b that closed the previous lesson. Solve it for xx, treating aa and bb as parameters, and you divide by aa, which needs a≠0a \neq 0, to reach x=bax = \frac{b}{a}. Solve the very same equation for aa instead, treating xx and bb as parameters, and you divide by xx, which needs x≠0x \neq 0, to reach a=bxa = \frac{b}{x}. Same three symbols, two different problems, because a different letter was chosen to be the unknown. Deciding which letter is the unknown is the first move you make, before any algebra happens at all.

By long convention, letters near the start of the alphabet (aa, bb, cc, and often kk) are used for parameters. By the same convention, letters near the end (xx, yy, zz) are used for the unknown, which is why ax=bax = b reads so naturally as an instruction to solve for xx. But that convention is only a courtesy to the reader. The mathematics is identical whichever letter you decide to isolate. A good part of this lesson is learning to see the choice rather than let the alphabet make it for you.

Dividing by a letter you cannot inspect

When the coefficient was a number, classifying ax=bax = b took a glance. When the coefficient is a parameter, the same classification is still true, but you can no longer see which case you are in. That single change is what turns solving a literal equation into a case analysis, so it is worth stating the classification carefully with aa and bb understood as parameters.

The previous lesson already proved this in full, and nothing about that proof assumed aa and bb were literal numbers rather than letters standing for fixed values, so it carries over unchanged. If a≠0a \neq 0, dividing by aa gives the single solution x=bax = \frac{b}{a}. If a=0a = 0, the equation collapses to 0=b0 = b: no solution when b≠0b \neq 0, every real number when b=0b = 0. Either a=0a = 0 or it is not, and when a=0a = 0 either b=0b = 0 or it is not, so those three cases are the whole story again here.

What is new is that you cannot carry the classification out by inspection. With a number in front of xx you simply look and see which case holds. With a parameter you cannot look, because aa is a letter whose value you were never told. Writing x=bax = \frac{b}{a} in one confident line is a bet that you are in the first case, and this lesson is about checking that bet instead of placing it silently.

Check your understanding

You solve ax=bax = b for xx, and a classmate writes x=bax = \frac{b}{a} as the complete answer. For which values of the parameters is that single line the whole story?

Answer choices

For which values of the parameter?

The most revealing use of the classification runs the logic backward. Instead of being handed fixed numbers aa and bb, you are handed a whole family of equations that depends on a parameter kk. The question is this: for which values of kk does the equation have one solution, no solution, or infinitely many? The recipe is always the same. Reduce the equation to the form (coefficient) x=(constant)(\text{coefficient})\,x = (\text{constant}), where the coefficient and the constant now depend on kk, and then apply the trichotomy to those two expressions. The following pair looks almost identical, yet the pair is chosen to show that the coefficient alone does not settle the answer.

Worked example 1 For which kk does kx+3=2x+kkx + 3 = 2x + k have one, none, or infinitely many solutions?

Treat kk as the parameter and xx as the unknown. Collect the xx terms on the left and the constants on the right:

kx−2x=k−3,(k−2)x=k−3.kx - 2x = k - 3, \qquad (k - 2)x = k - 3.

The coefficient of xx is k−2k - 2 and the constant is k−3k - 3. Apply the classification to them.

If k≠2k \neq 2, the coefficient k−2k - 2 is nonzero, so there is exactly one solution:

x=k−3k−2.x = \frac{k - 3}{k - 2}.

If k=2k = 2, the coefficient is zero and the constant is k−3=−1k - 3 = -1, so the equation becomes 0⋅x=−10 \cdot x = -1. No value of xx works, and the solution set is ∅\varnothing.

Could any kk give infinitely many solutions? That would need the coefficient and the constant to vanish together, k−2=0k - 2 = 0 and k−3=0k - 3 = 0 at once, which asks kk to be both 22 and 33. Impossible. So this family has one solution for every k≠2k \neq 2 and no solution at k=2k = 2, and infinitely many solutions simply never occur.

Worked example 2 For which kk does kx+6=2x+3kkx + 6 = 2x + 3k have one, none, or infinitely many solutions?

Again treat kk as the parameter. Collect the xx terms and the constants:

kx−2x=3k−6,(k−2)x=3(k−2).kx - 2x = 3k - 6, \qquad (k - 2)x = 3(k - 2).

The coefficient is the same k−2k - 2 as before, but the constant is now 3(k−2)3(k - 2), which carries that same factor.

If k≠2k \neq 2, the coefficient is nonzero, and dividing gives

x=3(k−2)k−2=3.x = \frac{3(k - 2)}{k - 2} = 3.

The factor k−2k - 2 cancels, so the solution is x=3x = 3 for every k≠2k \neq 2, the identical value no matter which such kk you were handed.

If k=2k = 2, the coefficient is zero and the constant is 3(k−2)=03(k - 2) = 0 as well, so the equation becomes 0⋅x=00 \cdot x = 0, true for every xx. The solution set is all of R\mathbb{R}. This time no value of kk produces “no solution,” because the instant the coefficient k−2k - 2 vanishes, the constant 3(k−2)3(k - 2) vanishes with it.

Put the two families side by side. Their coefficient of xx is the same expression, k−2k - 2. So the coefficient by itself cannot be what decides the outcome, since one family loses its solution at k=2k = 2 and the other gains a whole line of them. The tiebreaker is the constant at the exceptional value. In the first family the constant is −1-1 at k=2k = 2, nonzero, so 0⋅x=−10 \cdot x = -1 is a contradiction. In the second the constant is 00 at k=2k = 2, so 0⋅x=00 \cdot x = 0 is an identity. That is exactly the fork from the previous lesson: once the coefficient aa is zero, it is whether b≠0b \neq 0 or b=0b = 0 that separates no solution from every real number. The coefficient tells you when you are standing on the boundary k=2k = 2; the constant at that boundary tells you which way you fall off it.

The parameter line for kA horizontal k-axis with an open circle at k = 2. The rest of the line is labeled exactly one solution. Below, a box notes that at k = 2 the first equation becomes 0 = -1 (no solution) and the second becomes 0 = 0 (every real number).How the answer depends on the parameter kexactly one solutionexactly one solutionk = 2(i) at k = 2 it becomes 0 = -1, so no solution(ii) at k = 2 it becomes 0 = 0, so every real number
The solution set as a function of the parameter k. Away from the single exceptional value k = 2, both equations of the contrasting pair have exactly one solution. At k = 2 they split: equation (i) reduces to 0 = -1 and has no solution, while equation (ii) reduces to 0 = 0 and is solved by every real number. The coefficient k - 2 is identical in both, so it is the constant on the right at k = 2 that decides which outcome you meet.

Check your understanding

For which value of kk does kx−8=4x−2kkx - 8 = 4x - 2k have infinitely many solutions?

Answer choices

When a formula hides a condition

Solving a real formula for one of its variables can produce a condition the original never visibly carried. That condition is not arbitrary, and it is not a ritual to attach to every answer: it shows up only at a step where you divide by an expression that could be zero, the same danger the classification spelled out. Before performing such a step, check whether the expression you are about to divide by could be zero, and name the condition if it can. Naming the condition is not the end of the story, though: the value that zeroes the divisor does not simply vanish from consideration, it sends you back to the ax=bax = b classification, evaluated on the original relation at that value, to find out whether it leaves no solution or every value of the target.

Worked example 3 Solve C=59(F−32)C = \frac{5}{9}(F - 32) for FF

It is worth seeing a rearrangement that produces no condition at all, so the restriction never looks like a reflex. The Celsius-to-Fahrenheit relationship is

C=59(F−32).C = \frac{5}{9}(F - 32).

Solve for FF. Multiply both sides by the reciprocal 95\frac{9}{5}, then add 3232:

95C=F−32,F=95C+32.\frac{9}{5}C = F - 32, \qquad F = \frac{9}{5}C + 32.

Every step here either multiplied by the nonzero constant 95\frac{9}{5} or added the constant 3232. Nowhere did we divide by an expression that could be zero, so this rearrangement adds no new condition and the formula works for every temperature. In a rearrangement built only from adding constants and multiplying or dividing, a new condition appears exactly where you divide by an expression that can vanish. Divide by a genuine constant and no new condition appears.

Worked example 4 Solve the thin-lens equation for the image distance vv

The thin-lens equation from optics ties the focal length ff of a lens to the object distance uu and the image distance vv:

1f=1u+1v.\frac{1}{f} = \frac{1}{u} + \frac{1}{v}.

Solve it for vv. Isolate the 1v\frac{1}{v} term by subtracting 1u\frac{1}{u} from both sides, then combine the right side over a common denominator:

1v=1f−1u=u−ffu.\frac{1}{v} = \frac{1}{f} - \frac{1}{u} = \frac{u - f}{fu}.

The last step is to take the reciprocal of both sides, and a reciprocal exists only when the quantity being flipped is nonzero. So check first: u−ffu=0\frac{u - f}{fu} = 0 exactly when u=fu = f. For every other uu, the reciprocal is defined, and taking it gives

v=fuu−f,u≠f.v = \frac{fu}{u - f}, \qquad u \neq f.

The original already carries hidden restrictions, since ff, uu, and vv all sit in denominators and so must be nonzero. On top of those, the rearranged formula divides by u−fu - f, so it adds the new demand u≠fu \neq f. That extra condition is telling the truth about lenses. An object placed exactly at the focal length, u=fu = f, produces no image at any finite distance, because the rays leave the lens parallel, so there is no vv to report. The algebra discovered the physics: at u=fu = f the denominator u−fu - f is zero and vv does not exist.

Worked example 5 Solve the parallel-resistor formula for R2R_2

Two resistors R1R_1 and R2R_2 wired in parallel, both with positive resistance, act like a single resistor RR given by

R=R1R2R1+R2.R = \frac{R_1 R_2}{R_1 + R_2}.

Solve for R2R_2. Clear the fraction by multiplying both sides by R1+R2R_1 + R_2, then gather every term containing the target R2R_2 on one side, and factor it out, the collect-and-factor move you already know:

R(R1+R2)=R1R2,R R1=R1R2−R R2,R R1=R2(R1−R).R(R_1 + R_2) = R_1 R_2, \qquad R\,R_1 = R_1 R_2 - R\,R_2, \qquad R\,R_1 = R_2(R_1 - R).

Isolating R2R_2 now means dividing by R1−RR_1 - R, and that division is valid only when R1−R≠0R_1 - R \neq 0, that is, R1≠RR_1 \neq R. Checking that first,

R2=R R1R1−R,R1≠R.R_2 = \frac{R\,R_1}{R_1 - R}, \qquad R_1 \neq R.

Once more the condition is physically honest: for positive R1R_1 and R2R_2, the combined resistance RR of a parallel pair is always smaller than either resistor alone. So RR can never equal R1R_1, and asking for a fixed RR equal to R1R_1 describes an impossible circuit.

Check your understanding

The sum of an infinite geometric series is S=a1−rS = \dfrac{a}{1 - r}, valid when −1<r<1-1 < r < 1. Solving it for the ratio rr gives r=S−aSr = \dfrac{S - a}{S}. Which nonzero condition does this rearrangement introduce?

Answer choices

The condition belongs to the factor

You already know that when the target appears in several terms you collect those terms, factor the target out, and only then divide. The one thing to get right here is where the nonzero condition lands. It lands on the whole factor you divide by, not on the individual letters inside it.

Worked example 6 Solve ax+b=cx+dax + b = cx + d for xx

The unknown xx starts on both sides. Collect its terms on the left and the constants on the right:

ax−cx=d−b.ax - cx = d - b.

Both terms on the left contain xx, so factor it out. The factor left behind is a−ca - c:

(a−c)x=d−b.(a - c)x = d - b.

Now xx appears once, multiplied by a−ca - c. Dividing by that whole factor is valid only when a−c≠0a - c \neq 0, so check that first, then divide:

x=d−ba−c,a≠c.x = \frac{d - b}{a - c}, \qquad a \neq c.

The condition is a≠ca \neq c, a single statement about the factor a−ca - c. It is not ”a≠0a \neq 0 and c≠0c \neq 0.” You are dividing by a−ca - c, not by aa and not by cc, so the only quantity that must stay nonzero is the difference. Coefficients a=5a = 5 and c=5c = 5 break the formula even though neither is zero, while a=0a = 0 and c=3c = 3 are perfectly fine, because there a−c=−3a - c = -3 is nonzero.

And when the forbidden case does happen, when a=ca = c, the equation has not disappeared; it has returned to the classification. Setting a=ca = c turns (a−c)x=d−b(a - c)x = d - b into 0⋅x=d−b0 \cdot x = d - b, the familiar fork one more time: no solution when d≠bd \neq b, and every real number when d=bd = b. The nonzero condition on a formula and the boundary case of the case analysis are one fact seen from two sides. Dividing by a−ca - c writes the answer as a formula valid on the region a≠ca \neq c. And the trichotomy takes over precisely on the line a=ca = c, where the formula is not allowed to go.

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Core practice

Practice problems at the level of the course, to be worked out on paper. Hints one at a time, then the answer or the full worked solution, with your progress kept in this browser.

Core practice Work it out on paper 10 problems Start →
More practice (optional)

Extra sets, as hard as the Challenge set. Each one opens on its own page.

More resources (optional)

Other explanations of this lesson, if you want a second take.

A bit of history (optional)

You cannot reason about ax=bax = b until you can write down the aa. For most of the history of algebra there was no way to do that. A method was stated in words and shown once on particular numbers, and the reader copied the pattern with fresh ones. The unknown might be granted a letter. A known amount was rarely given one of its own to keep across every equation it appeared in.

François Viète changed that in 15911591, and this lesson runs on the change. He gave the known quantities letters of their own, so a whole relationship could be set down, held still, and rearranged as a single object.

What he could not give them was freedom. His letters stood for geometric magnitudes, lengths and areas and volumes, and a term had to keep its dimension. A length could be added only to a length, an area only to an area. Nothing in that world stood for zero either, because a length of nothing is not a length at all.

So the branch this lesson turns on was closed to him. He could write the case where you divide by aa and reach x=bax = \frac{b}{a}. He could not write the case where aa is nothing whatever, and the equation slumps into 0⋅x=b0 \cdot x = b with either no solution or every real number. The letters arrived first, and permission to ask what happens at zero took generations more. Every time you stop and ask whether aa could be zero, you are spending a permission he never had.