Every equation before this course put the unknown in the base: x² = 9, x³ − x = 0. 3^(2x − 1) = 81 puts it in the exponent, and no amount of dividing, factoring or root-taking will move it. Two methods do.
Theorem · Exponentials are one-to-oneFor b > 0 with b ≠ 1: b^u = b^v if and only if u = v.
The forward direction is what solves equations. The reverse direction is why substituting an answer back in works. Both statements fail for b = 1, which is why that base is excluded everywhere in this course.
Example · Matching powers3^(2x − 1) = 81. Since 81 = 3^4, both sides are powers of 3: 3^(2x − 1) = 3^4. One-to-one gives 2x − 1 = 4, so x = 5/2. The answer is exact and no logarithm was needed. Check: 2 · (5/2) − 1 = 4 and 3^4 = 81.
That method needs both sides to be recognisable powers of one base. 5^x = 17 is not such an equation. 17 lies between 5^1 = 5 and 5^2 = 25, and it is not a rational power of 5 at all: 5^(p/q) = 17 would mean 5^p = 17^q, which no positive integers satisfy, since one side is divisible by 5 and the other is not.
Theorem · Taking a logarithm of both sidesIf M = N and both are positive, then log_c(M) = log_c(N) for every legal base c; and conversely, log_c(M) = log_c(N) forces M = N.
So a logarithm may be applied to both sides of an equation exactly as 5 may be added to both sides. The two-way statement matters: it is what guarantees the new equation has the same solutions as the old one, so nothing is gained or lost by the step.
5^x = 17
ln(5^x) = ln 17 take ln of both sides; both sides are positive
x · ln 5 = ln 17 power law: the exponent comes down in front
x = ln 17 / ln 5 divide by ln 5, which is not 0
x ≈ 1.760374 rounded to six places
check: 5^1 = 5 < 17 < 25 = 5^2, so x lies between 1 and 2 ✓
The exact answer is the quotient ln 17 / ln 5, which is log_5(17) written in a base that can be computed — “Change of Base”, doing the job it was derived for. The decimal is a rounding of it, and any later step should use the quotient.
The unknown on both sides
When the two sides have different bases and both carry the unknown, take a logarithm anyway and then collect. The equation that results is linear in x, with logarithms as its coefficients.
4^(x + 1) = 3^(2x)
(x + 1) · ln 4 = 2x · ln 3 ln of both sides, power law twice
x · ln 4 + ln 4 = 2x · ln 3 expand the left side
ln 4 = 2x · ln 3 − x · ln 4 collect the x terms on one side
ln 4 = x · (2 · ln 3 − ln 4) factor out x
x = ln 4 / (2 · ln 3 − ln 4)
= ln 4 / ln(9/4) since 2 ln 3 − ln 4 = ln(9/4)
≈ 1.709511
Equations that hide a quadratic
e^(2x) − e^x − 6 = 0 contains only one exponential, twice: e^(2x) = (e^x)². Substituting u = e^x turns it into u² − u − 6 = 0, which factors as (u − 3)(u + 2) = 0. So u = 3 or u = −2.
Now undo the substitution, and one candidate dies. u = e^x is positive for every real x, so u = −2 is impossible — not because of a domain restriction on a logarithm, but because the range of the exponential is (0, ∞). From u = 3, x = ln 3 ≈ 1.098612, and that is the whole solution set.
The same range fact settles two shapes on sight. b^x = 0 has no solution: the horizontal asymptote y = 0 from “Exponential Functions” is approached and never reached. b^x = k with k < 0 has no solution either. In both cases the algebra will not object — ln(−8) simply does not exist — so the check has to be made before the logarithm, not after.