Literal Equations and Formulas
Learning goals
- Choose which letter is the unknown and which are parameters
- Split 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 . Solve it for and you divide by , which needs , reaching . Solve the very same formula for instead and you divide by , which needs , reaching . 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 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 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 makes it a parameter, and nothing about makes it the unknown. The roles are assigned by the question, not carried by the letters. Take the equation that closed the previous lesson. Solve it for , treating and as parameters, and you divide by , which needs , to reach . Solve the very same equation for instead, treating and as parameters, and you divide by , which needs , to reach . 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 (, , , and often ) are used for parameters. By the same convention, letters near the end (, , ) are used for the unknown, which is why reads so naturally as an instruction to solve for . 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 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 and understood as parameters.
The previous lesson already proved this in full, and nothing about that proof assumed and were literal numbers rather than letters standing for fixed values, so it carries over unchanged. If , dividing by gives the single solution . If , the equation collapses to : no solution when , every real number when . Either or it is not, and when either 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 you simply look and see which case holds. With a parameter you cannot look, because is a letter whose value you were never told. Writing 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 for , and a classmate writes as the complete answer. For which values of the parameters is that single line the whole story?
Dividing both sides by is legal only when .
When the expression is undefined, and the equation instead has no solution (when ) or every real number as a solution (when ). So the single line is the whole answer only on the region .
For which values of the parameter?
The most revealing use of the classification runs the logic backward. Instead of being handed fixed numbers and , you are handed a whole family of equations that depends on a parameter . The question is this: for which values of does the equation have one solution, no solution, or infinitely many? The recipe is always the same. Reduce the equation to the form , where the coefficient and the constant now depend on , 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 does have one, none, or infinitely many solutions?
Treat as the parameter and as the unknown. Collect the terms on the left and the constants on the right:
The coefficient of is and the constant is . Apply the classification to them.
If , the coefficient is nonzero, so there is exactly one solution:
If , the coefficient is zero and the constant is , so the equation becomes . No value of works, and the solution set is .
Could any give infinitely many solutions? That would need the coefficient and the constant to vanish together, and at once, which asks to be both and . Impossible. So this family has one solution for every and no solution at , and infinitely many solutions simply never occur.
Worked example 2 For which does have one, none, or infinitely many solutions?
Again treat as the parameter. Collect the terms and the constants:
The coefficient is the same as before, but the constant is now , which carries that same factor.
If , the coefficient is nonzero, and dividing gives
The factor cancels, so the solution is for every , the identical value no matter which such you were handed.
If , the coefficient is zero and the constant is as well, so the equation becomes , true for every . The solution set is all of . This time no value of produces “no solution,” because the instant the coefficient vanishes, the constant vanishes with it.
Put the two families side by side. Their coefficient of is the same expression, . So the coefficient by itself cannot be what decides the outcome, since one family loses its solution at 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 at , nonzero, so is a contradiction. In the second the constant is at , so is an identity. That is exactly the fork from the previous lesson: once the coefficient is zero, it is whether or that separates no solution from every real number. The coefficient tells you when you are standing on the boundary ; the constant at that boundary tells you which way you fall off it.
Check your understanding
For which value of does have infinitely many solutions?
Collect the unknown on one side and the constants on the other.
Infinitely many solutions need the coefficient and the constant to vanish at once. Both and are zero exactly when , giving . For every other there is the single solution .
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 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 for
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
Solve for . Multiply both sides by the reciprocal , then add :
Every step here either multiplied by the nonzero constant or added the constant . 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
The thin-lens equation from optics ties the focal length of a lens to the object distance and the image distance :
Solve it for . Isolate the term by subtracting from both sides, then combine the right side over a common denominator:
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: exactly when . For every other , the reciprocal is defined, and taking it gives
The original already carries hidden restrictions, since , , and all sit in denominators and so must be nonzero. On top of those, the rearranged formula divides by , so it adds the new demand . That extra condition is telling the truth about lenses. An object placed exactly at the focal length, , produces no image at any finite distance, because the rays leave the lens parallel, so there is no to report. The algebra discovered the physics: at the denominator is zero and does not exist.
Worked example 5 Solve the parallel-resistor formula for
Two resistors and wired in parallel, both with positive resistance, act like a single resistor given by
Solve for . Clear the fraction by multiplying both sides by , then gather every term containing the target on one side, and factor it out, the collect-and-factor move you already know:
Isolating now means dividing by , and that division is valid only when , that is, . Checking that first,
Once more the condition is physically honest: for positive and , the combined resistance of a parallel pair is always smaller than either resistor alone. So can never equal , and asking for a fixed equal to describes an impossible circuit.
Check your understanding
The sum of an infinite geometric series is , valid when . Solving it for the ratio gives . Which nonzero condition does this rearrangement introduce?
Rearrange and watch the divisor.
The last step divides by , so the formula is valid only when . At the equation collapses to , the familiar fork: no works when , and every works when (still subject to the series' own requirement ). The series itself already needs to have a sum at all; dividing by is the one new division this rearrangement performs.
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 for
The unknown starts on both sides. Collect its terms on the left and the constants on the right:
Both terms on the left contain , so factor it out. The factor left behind is :
Now appears once, multiplied by . Dividing by that whole factor is valid only when , so check that first, then divide:
The condition is , a single statement about the factor . It is not ” and .” You are dividing by , not by and not by , so the only quantity that must stay nonzero is the difference. Coefficients and break the formula even though neither is zero, while and are perfectly fine, because there is nonzero.
And when the forbidden case does happen, when , the equation has not disappeared; it has returned to the classification. Setting turns into , the familiar fork one more time: no solution when , and every real number when . The nonzero condition on a formula and the boundary case of the case analysis are one fact seen from two sides. Dividing by writes the answer as a formula valid on the region . And the trichotomy takes over precisely on the line , where the formula is not allowed to go.