Exponential Equations and Inequalities

A2 · P3 · 13 min

When the unknown is in the index, as in 5x=125^x = 12 or 3x+1=42x−13^{x+1} = 4^{2x-1}, no amount of ordinary algebra will bring it down. Taking logarithms will: the power law ln⁡(ax)=xln⁡a\ln(a^x) = x\ln a turns the index into a coefficient, and the equation becomes linear. The syllabus asks you to use logarithms to solve equations and inequalities in which the unknown appears in indices, quoting examples such as 2x<52^x < 5, 3×23x−1<53 \times 2^{3x-1} < 5 and 3x+1=42x−13^{x+1} = 4^{2x-1}. These appear on almost every P3 paper, sometimes alone for three or four marks, sometimes hidden inside a quadratic, a modulus or a growth model.

Why taking logs works

The power law of logarithms says log⁡(ak)=klog⁡a\log(a^k) = k\log a, for any base of logarithm. Applied to ax=ba^x = b:

ax=b⇒ln⁡(ax)=ln⁡b⇒xln⁡a=ln⁡b⇒x=ln⁡bln⁡a.a^x = b \quad\Rightarrow\quad \ln(a^x) = \ln b \quad\Rightarrow\quad x\ln a = \ln b \quad\Rightarrow\quad x = \frac{\ln b}{\ln a}.

Two facts make this legitimate:

  • Both sides are positive (any axa^x with a>0a > 0 is positive), so their logarithms exist.
  • ln⁡\ln is one-one: if p=qp = q then ln⁡p=ln⁡q\ln p = \ln q, and conversely. Taking logs of an equation neither gains nor loses solutions.

Any base works. lg⁡\lg (base 1010) and ln⁡\ln give the same final answer, because lg⁡blg⁡a=ln⁡bln⁡a\dfrac{\lg b}{\lg a} = \dfrac{\ln b}{\ln a}. Use ln⁡\ln by default, since it is what the rest of P3 uses.

The core step

For a>0a > 0, a≠1a \ne 1 and b>0b > 0:

ax=b  ⟺  x=ln⁡bln⁡a.a^x = b \iff x = \frac{\ln b}{\ln a}.

If b≤0b \le 0, the equation ax=ba^x = b has no solution.

ln b over ln a is not ln of b over a

ln⁡12ln⁡5≠ln⁡125\dfrac{\ln 12}{\ln 5} \ne \ln\dfrac{12}{5}. The first is about 1.5441.544; the second is about 0.8750.875. A quotient of logs does not simplify with the quotient law.

Equations with the unknown in both indices

For apx+q=brx+sa^{px + q} = b^{rx + s}, take logs and bring both powers down. The result is a linear equation in xx, with the logs acting as numerical coefficients.

Solving a^{f(x)} = b^{g(x)}
  1. If both sides can be written as powers of the same number (for example 4=224 = 2^2 and 8=238 = 2^3), do that and equate the indices. No logs needed.
  2. Otherwise take ln⁡\ln of both sides: f(x)ln⁡a=g(x)ln⁡bf(x)\ln a = g(x)\ln b.
  3. Expand the brackets. Treat ln⁡a\ln a and ln⁡b\ln b as numbers.
  4. Collect the xx terms on one side, factorise out xx, and divide.
  5. Give the exact form if asked (you can tidy it with the log laws), then a decimal to the accuracy required, usually 3 significant figures.

For example, 8x=4x+18^{x} = 4^{x+1} is 23x=22x+22^{3x} = 2^{2x + 2}, so 3x=2x+23x = 2x + 2 and x=2x = 2.

Hidden quadratics

If an equation contains both a2xa^{2x} and axa^x, it is a quadratic in disguise, because a2x=(ax)2a^{2x} = \left(a^x\right)^2. Substitute u=axu = a^x. Watch for the index laws that produce these terms:

a2x=(ax)2,ax+1=a⋅ax,ax−1=axa,a2x+1=a(ax)2,4x=(2x)2.a^{2x} = (a^x)^2, \qquad a^{x+1} = a\cdot a^x, \qquad a^{x-1} = \frac{a^x}{a}, \qquad a^{2x+1} = a\left(a^x\right)^2, \qquad 4^x = \left(2^x\right)^2.

Solve for uu, then solve ax=ua^x = u for each positive root. A negative or zero value of uu gives no solution, because ax>0a^x > 0. This is the same technique as equations that are quadratic in a function of x from P1.

Taking logs of a sum

Faced with 22x−5(2x)+4=02^{2x} - 5(2^x) + 4 = 0, taking logs term by term is wrong: there is no law for ln⁡(p+q)\ln(p + q). Logs can only be taken of a whole side that is a single product, quotient or power. If there are several exponential terms added together, look for a quadratic or a common factor.

Inequalities

The syllabus examples 2x<52^x < 5 and 3×23x−1<53 \times 2^{3x-1} < 5 are inequalities. The method is the same as for equations, with one point of care.

Taking ln⁡\ln of both sides is safe, because ln⁡\ln is an increasing function: if 0<p<q0 < p < q then ln⁡p<ln⁡q\ln p < \ln q. The direction of the inequality is kept.

The danger is the next step, when you divide by ln⁡a\ln a. If a>1a > 1, then ln⁡a>0\ln a > 0 and the sign is kept. If 0<a<10 < a < 1, then ln⁡a<0\ln a < 0, and dividing by a negative number reverses the inequality.

2x<5⇒xln⁡2<ln⁡5⇒x<ln⁡5ln⁡2(ln⁡2>0)2^x < 5 \Rightarrow x\ln 2 < \ln 5 \Rightarrow x < \frac{\ln 5}{\ln 2} \qquad(\ln 2 > 0) 0.8x<0.1⇒xln⁡0.8<ln⁡0.1⇒x>ln⁡0.1ln⁡0.8(ln⁡0.8<0, so the sign turns)0.8^x < 0.1 \Rightarrow x\ln 0.8 < \ln 0.1 \Rightarrow x > \frac{\ln 0.1}{\ln 0.8} \qquad(\ln 0.8 < 0,\ \text{so the sign turns})

The second result makes sense: 0.8x0.8^x decreases as xx increases, so it falls below 0.10.1 only for large enough xx (here x>10.3x > 10.3).

Solving an exponential inequality
  1. Isolate the power: divide or subtract so that af(x)a^{f(x)} stands alone. Dividing by a positive constant keeps the sign.
  2. Take ln⁡\ln of both sides. The sign is kept.
  3. Bring the power down: f(x)ln⁡a □ ln⁡cf(x)\ln a\ \square\ \ln c.
  4. Divide by ln⁡a\ln a. If ln⁡a<0\ln a < 0, reverse the inequality. It is wise to write "ln⁡a<0\ln a < 0" next to that line.
  5. Finish the linear inequality, and check with one test value.

The smallest integer that works

A common context: "Find the smallest integer nn such that 1.04n>31.04^n > 3." Solve as an inequality, n>ln⁡3ln⁡1.04=28.01…n > \dfrac{\ln 3}{\ln 1.04} = 28.01\ldots, then choose the next integer: n=29n = 29. Do not round 28.0128.01 to 2828; check that 1.0428=2.9987<31.04^{28} = 2.9987 < 3 while 1.0429=3.1187>31.04^{29} = 3.1187 > 3.

Equations with e

Equations in ee follow the same rules, but ln⁡ef(x)=f(x)\ln e^{f(x)} = f(x) directly, so the step "divide by ln⁡a\ln a" disappears: e2x−1=5⇒2x−1=ln⁡5e^{2x - 1} = 5 \Rightarrow 2x - 1 = \ln 5. See Euler's number, e^x and ln x for these and for quadratics in exe^x.

Worked examples

A single power

Solve 5x=125^x = 12, giving your answer correct to 3 significant figures.

Solutionxln⁡5=ln⁡12⇒x=ln⁡12ln⁡5=2.4849…1.6094…=1.54 (3 s.f.).x\ln 5 = \ln 12 \quad\Rightarrow\quad x = \frac{\ln 12}{\ln 5} = \frac{2.4849\ldots}{1.6094\ldots} = 1.54 \ \text{(3 s.f.)}.

Check: 51.544≈12.05^{1.544} \approx 12.0.

The unknown in both indices

Solve the equation 3x+1=42x−13^{x+1} = 4^{2x-1}, giving your answer correct to 3 significant figures.

Solution

Take natural logs of both sides:

(x+1)ln⁡3=(2x−1)ln⁡4.(x + 1)\ln 3 = (2x - 1)\ln 4.

Expand and collect the xx terms:

xln⁡3+ln⁡3=2xln⁡4−ln⁡4⇒ln⁡3+ln⁡4=x(2ln⁡4−ln⁡3).x\ln 3 + \ln 3 = 2x\ln 4 - \ln 4 \quad\Rightarrow\quad \ln 3 + \ln 4 = x(2\ln 4 - \ln 3).

So

x=ln⁡3+ln⁡42ln⁡4−ln⁡3=ln⁡12ln⁡163=1.48 (3 s.f.).x = \frac{\ln 3 + \ln 4}{2\ln 4 - \ln 3} = \frac{\ln 12}{\ln\frac{16}{3}} = 1.48 \ \text{(3 s.f.)}.

(The tidy exact form uses ln⁡3+ln⁡4=ln⁡12\ln 3 + \ln 4 = \ln 12 and 2ln⁡4−ln⁡3=ln⁡16−ln⁡3=ln⁡1632\ln 4 - \ln 3 = \ln 16 - \ln 3 = \ln\tfrac{16}{3}.)

An inequality with a coefficient

Solve the inequality 3×23x−1<53 \times 2^{3x - 1} < 5, giving the boundary value correct to 3 significant figures.

Solution

Isolate the power (dividing by 3>03 > 0 keeps the sign): 23x−1<532^{3x-1} < \dfrac{5}{3}.

Take logs (the sign is kept, since ln⁡\ln is increasing):

(3x−1)ln⁡2<ln⁡53.(3x - 1)\ln 2 < \ln\tfrac{5}{3}.

Divide by ln⁡2\ln 2, which is positive:

3x−1<ln⁡(5/3)ln⁡2=0.73697…⇒3x<1.73697…⇒x<0.579 (3 s.f.).3x - 1 < \frac{\ln(5/3)}{\ln 2} = 0.73697\ldots \quad\Rightarrow\quad 3x < 1.73697\ldots \quad\Rightarrow\quad x < 0.579 \ \text{(3 s.f.)}.

Check with x=0x = 0: 3×2−1=1.5<53 \times 2^{-1} = 1.5 < 5, which is consistent with x<0.579x < 0.579.

A quadratic in 2^x

Solve 22x+1−9(2x)+4=02^{2x+1} - 9\left(2^x\right) + 4 = 0.

Solution

22x+1=2⋅22x=2(2x)22^{2x+1} = 2\cdot 2^{2x} = 2\left(2^x\right)^2. Let u=2xu = 2^x:

2u2−9u+4=0⇒(2u−1)(u−4)=0⇒u=12 or u=4.2u^2 - 9u + 4 = 0 \quad\Rightarrow\quad (2u - 1)(u - 4) = 0 \quad\Rightarrow\quad u = \tfrac{1}{2} \text{ or } u = 4.

2x=12=2−1⇒x=−12^x = \tfrac{1}{2} = 2^{-1} \Rightarrow x = -1.   2x=4=22⇒x=2\ \ 2^x = 4 = 2^2 \Rightarrow x = 2.

Both values of uu are positive, so both give solutions: x=−1x = -1 or x=2x = 2.

A base less than 1

A ball is dropped and each bounce reaches 80%80\% of the height of the previous one. After nn bounces the height is 2×0.8n2 \times 0.8^n metres. Find the smallest number of bounces after which the height is less than 0.20.2 metres.

Solution

2×0.8n<0.2⇒0.8n<0.1⇒nln⁡0.8<ln⁡0.12 \times 0.8^n < 0.2 \Rightarrow 0.8^n < 0.1 \Rightarrow n\ln 0.8 < \ln 0.1.

Since ln⁡0.8<0\ln 0.8 < 0, dividing reverses the inequality:

n>ln⁡0.1ln⁡0.8=10.318…n > \frac{\ln 0.1}{\ln 0.8} = 10.318\ldots

So the smallest number of bounces is n=11n = 11. (Check: 2×0.810=0.2152 \times 0.8^{10} = 0.215, 2×0.811=0.1722 \times 0.8^{11} = 0.172.)

Exam-hard: modulus and an exponential

(a) Solve the inequality ∣3x−4∣<2|3^x - 4| < 2, giving the boundary values correct to 3 significant figures.

(b) Solve the equation ∣2x−6∣=2x−1|2^x - 6| = 2^{x-1}, giving any non-integer answer in exact form.

Solution

(a) ∣3x−4∣<2  ⟺  −2<3x−4<2  ⟺  2<3x<6|3^x - 4| < 2 \iff -2 < 3^x - 4 < 2 \iff 2 < 3^x < 6.

All three parts are positive, so take logs throughout, keeping the signs, and divide by ln⁡3>0\ln 3 > 0:

ln⁡2ln⁡3<x<ln⁡6ln⁡3⇒0.631<x<1.63 (3 s.f.).\frac{\ln 2}{\ln 3} < x < \frac{\ln 6}{\ln 3} \quad\Rightarrow\quad 0.631 < x < 1.63 \ \text{(3 s.f.)}.

(b) The right-hand side 2x−12^{x-1} is always positive, so both cases of the modulus are possible: 2x−6=2x−12^x - 6 = 2^{x-1} or 2x−6=−2x−12^x - 6 = -2^{x-1}. Write 2x=2⋅2x−12^x = 2\cdot 2^{x-1} and let v=2x−1v = 2^{x-1}.

Case 1: 2v−6=v⇒v=6⇒2x−1=6⇒x−1=ln⁡6ln⁡22v - 6 = v \Rightarrow v = 6 \Rightarrow 2^{x-1} = 6 \Rightarrow x - 1 = \dfrac{\ln 6}{\ln 2}, so x=1+ln⁡6ln⁡2x = 1 + \dfrac{\ln 6}{\ln 2} (≈3.58\approx 3.58).

Case 2: 2v−6=−v⇒3v=6⇒2x−1=2⇒x=22v - 6 = -v \Rightarrow 3v = 6 \Rightarrow 2^{x-1} = 2 \Rightarrow x = 2.

Check x=2x = 2: ∣4−6∣=2=21|4 - 6| = 2 = 2^1. Check the first: 2x=122^x = 12, ∣12−6∣=6=2x−1|12 - 6| = 6 = 2^{x-1}. Both are valid.

Common mistakes
  • Not isolating the power first. From 3×23x−1<53 \times 2^{3x-1} < 5, writing (3x−1)ln⁡6<ln⁡5(3x - 1)\ln 6 < \ln 5 is wrong: 3×23x−13 \times 2^{3x-1} is not 63x−16^{3x-1}. Divide by 33 first, or use ln⁡3+(3x−1)ln⁡2\ln 3 + (3x - 1)\ln 2.
  • Losing brackets. ln⁡(3x+1)=(x+1)ln⁡3\ln\left(3^{x+1}\right) = (x + 1)\ln 3, not x+1ln⁡3x + 1\ln 3.
  • Forgetting to reverse. Dividing by ln⁡0.8\ln 0.8, ln⁡12\ln\tfrac{1}{2} or any log of a number between 00 and 11 flips the inequality.
  • Writing ln⁡12ln⁡5=ln⁡125\dfrac{\ln 12}{\ln 5} = \ln\dfrac{12}{5} or =ln⁡12−ln⁡5= \ln 12 - \ln 5. Neither is true.
  • Keeping 2x=−22^x = -2. In a hidden quadratic, a non-positive root for u=axu = a^x must be rejected with the reason ax>0a^x > 0.
  • Rounding a boundary the wrong way. For "smallest integer nn", always go up from the boundary (for n>28.01n > 28.01, n=29n = 29) and check both neighbouring integers.
Exam tip
  • Show the line with the logs taken, such as (x+1)ln⁡3=(2x−1)ln⁡4(x + 1)\ln 3 = (2x - 1)\ln 4. That line usually earns the first method mark on its own.
  • Answers are normally required to 3 significant figures. Keep full calculator values until the end; an answer from rounded logs may be outside the accepted range.
  • Inequality answers should be given as an inequality (x<0.579x < 0.579), not as an equation. If the question says "solve the inequality", an answer "x=0.579x = 0.579" loses the final mark.
  • For a modulus with exponentials, solve each case separately and check each solution in the original equation, especially if the other side could be negative.
  • If you can write both sides as powers of the same base, examiners accept that method; it is quicker and gives an exact answer.
Summary
  • Unknown in an index: isolate the power, take logs, bring the index down with ln⁡ak=kln⁡a\ln a^k = k\ln a.
  • ax=b  ⟺  x=ln⁡bln⁡aa^x = b \iff x = \dfrac{\ln b}{\ln a} (needs b>0b > 0). This is not ln⁡ba\ln\dfrac{b}{a}.
  • af(x)=bg(x)a^{f(x)} = b^{g(x)}: f(x)ln⁡a=g(x)ln⁡bf(x)\ln a = g(x)\ln b, then collect xx terms and factorise.
  • a2xa^{2x} and axa^x together: substitute u=axu = a^x; reject u≤0u \le 0.
  • Inequalities: taking ln⁡\ln keeps the sign; dividing by ln⁡a\ln a reverses it when 0<a<10 < a < 1.
  • For the smallest integer, solve the inequality and round up; check the integers either side.

Practice

Question
  1. Solve 7x=207^x = 20, giving your answer correct to 3 significant figures.
  2. Solve 23x−1=52^{3x - 1} = 5, giving your answer correct to 3 significant figures.
  3. Solve 52x=3x+25^{2x} = 3^{x+2}, giving your answer in the form ln⁡aln⁡b\dfrac{\ln a}{\ln b} and correct to 3 significant figures.
  4. Solve the inequality 2x<52^x < 5.
  5. Solve the inequality 0.6x<0.050.6^x < 0.05.
  6. Find the smallest integer nn such that 1.04n>31.04^n > 3.
  7. Solve the equation 4x=3(2x+1)+164^x = 3\left(2^{x+1}\right) + 16.
  8. Solve the inequality 22x−5(2x)+4<02^{2x} - 5\left(2^x\right) + 4 < 0.
  9. (a) Solve the equation ∣4−2x∣=3(2−x)|4 - 2^x| = 3\left(2^{-x}\right), giving each solution in exact form. (b) Solve the inequality 32x>2(3x)+153^{2x} > 2\left(3^x\right) + 15, giving the boundary correct to 3 significant figures.
Answers
  1. x=ln⁡20ln⁡7=1.54x = \dfrac{\ln 20}{\ln 7} = 1.54 (3 s.f.).

  2. (3x−1)ln⁡2=ln⁡5⇒3x−1=ln⁡5ln⁡2=2.3219…⇒x=1.11(3x - 1)\ln 2 = \ln 5 \Rightarrow 3x - 1 = \dfrac{\ln 5}{\ln 2} = 2.3219\ldots \Rightarrow x = 1.11 (3 s.f.).

  3. 2xln⁡5=(x+2)ln⁡3⇒x(2ln⁡5−ln⁡3)=2ln⁡3⇒x=2ln⁡32ln⁡5−ln⁡3=ln⁡9ln⁡253=1.042x\ln 5 = (x + 2)\ln 3 \Rightarrow x(2\ln 5 - \ln 3) = 2\ln 3 \Rightarrow x = \dfrac{2\ln 3}{2\ln 5 - \ln 3} = \dfrac{\ln 9}{\ln\frac{25}{3}} = 1.04 (3 s.f.).

  4. xln⁡2<ln⁡5x\ln 2 < \ln 5 and ln⁡2>0\ln 2 > 0, so x<ln⁡5ln⁡2x < \dfrac{\ln 5}{\ln 2}, i.e. x<2.32x < 2.32 (3 s.f.).

  5. xln⁡0.6<ln⁡0.05x\ln 0.6 < \ln 0.05. Since ln⁡0.6<0\ln 0.6 < 0, the inequality reverses: x>ln⁡0.05ln⁡0.6=5.86x > \dfrac{\ln 0.05}{\ln 0.6} = 5.86 (3 s.f.).

  6. nln⁡1.04>ln⁡3⇒n>ln⁡3ln⁡1.04=28.01…n\ln 1.04 > \ln 3 \Rightarrow n > \dfrac{\ln 3}{\ln 1.04} = 28.01\ldots, so n=29n = 29. (Check: 1.0428=2.9987<31.04^{28} = 2.9987 < 3 and 1.0429=3.1187>31.04^{29} = 3.1187 > 3.)

  7. 4x=(2x)24^x = \left(2^x\right)^2 and 3(2x+1)=6(2x)3\left(2^{x+1}\right) = 6\left(2^x\right). With u=2xu = 2^x: u2−6u−16=0⇒(u−8)(u+2)=0u^2 - 6u - 16 = 0 \Rightarrow (u - 8)(u + 2) = 0. u=−2u = -2 is impossible since 2x>02^x > 0, so 2x=82^x = 8 and x=3x = 3.

  8. With u=2xu = 2^x: u2−5u+4<0⇒(u−1)(u−4)<0⇒1<u<4u^2 - 5u + 4 < 0 \Rightarrow (u - 1)(u - 4) < 0 \Rightarrow 1 < u < 4. So 20<2x<222^0 < 2^x < 2^2, giving 0<x<20 < x < 2.

  9. (a) Let u=2x>0u = 2^x > 0, so 3(2−x)=3u3\left(2^{-x}\right) = \dfrac{3}{u} and the equation is u∣4−u∣=3u|4 - u| = 3. If u≤4u \le 4: u(4−u)=3⇒u2−4u+3=0⇒(u−1)(u−3)=0u(4 - u) = 3 \Rightarrow u^2 - 4u + 3 = 0 \Rightarrow (u - 1)(u - 3) = 0, so u=1u = 1 or u=3u = 3, both ≤4\le 4. These give x=0x = 0 and x=ln⁡3ln⁡2x = \dfrac{\ln 3}{\ln 2}. If u>4u > 4: u(u−4)=3⇒u2−4u−3=0⇒u=2±7u(u - 4) = 3 \Rightarrow u^2 - 4u - 3 = 0 \Rightarrow u = 2 \pm \sqrt{7}. Only u=2+7≈4.65u = 2 + \sqrt{7} \approx 4.65 satisfies u>4u > 4, giving x=ln⁡(2+7)ln⁡2x = \dfrac{\ln(2 + \sqrt{7})}{\ln 2} (≈2.22\approx 2.22). Three solutions: x=0x = 0, x=ln⁡3ln⁡2x = \dfrac{\ln 3}{\ln 2} (≈1.58\approx 1.58) and x=ln⁡(2+7)ln⁡2x = \dfrac{\ln(2 + \sqrt{7})}{\ln 2}. (b) With u=3xu = 3^x: u2−2u−15>0⇒(u−5)(u+3)>0⇒u>5u^2 - 2u - 15 > 0 \Rightarrow (u - 5)(u + 3) > 0 \Rightarrow u > 5 or u<−3u < -3. Since u=3x>0u = 3^x > 0, only 3x>53^x > 5 is possible, so x>ln⁡5ln⁡3=1.46x > \dfrac{\ln 5}{\ln 3} = 1.46 (3 s.f.).

How well do you know this?

Builds on

Where this leads

Console

Search notes, courses and tools, or run an action