Lesson 15 of 42 · Functions, exponentials and logarithms

Exponential and logarithmic equations and inequalities

Solve exponential and logarithmic equations with a common base, a substitution or a conversion, then check the domain and the direction of any inequality.

About 24 minutes

In this lesson

  • Solve exponential equations by matching bases, by substitution, or by taking logarithms.
  • Solve logarithmic equations by combining into one logarithm, and reject roots outside the domain.
  • Solve exponential and logarithmic inequalities, reversing the sign when the base is between 0 and 1.

The idea

Exponential equations: three methods

Match the bases. If both sides can be written as powers of the same base, set the exponents equal, because au=ava^u = a^v forces u=vu = v when a>0a > 0 and a≠1a \neq 1. Typical bases are 2 (for 4, 8, 16, 32), 3 (for 9, 27, 81) and 5 (for 25, 125). Fractions and roots fit too: 14=2−2\frac{1}{4} = 2^{-2} and 8=232\sqrt{8} = 2^{\frac{3}{2}}.

Substitute. When the equation mixes a2xa^{2x} and axa^x, or ax+1a^{x+1} and axa^x, set t=axt = a^x. Then a2x=t2a^{2x} = t^2 and ax+1=a⋅ta^{x+1} = a \cdot t, and the equation becomes a polynomial in tt. Solve it, then return to xx. Because axa^x is always positive, only positive values of tt give solutions; a zero or negative root in tt is discarded.

Take logarithms. When the bases cannot be matched, as in 3x=73^x = 7, the answer is a logarithm: x=log⁡37x = \log_3 7. On a test without a calculator, options are then written as logarithms, or you need only to locate the value: 31<7<323^1 < 7 < 3^2 puts xx between 1 and 2.

Logarithmic equations: domain first

A logarithmic equation has an existence condition: every argument must be positive. Write it down before solving. Then:

  1. Use the rules to combine each side into a single logarithm with one base.
  2. Convert: log⁡aE=c\log_a E = c becomes E=acE = a^c; log⁡aE=log⁡aF\log_a E = \log_a F becomes E=FE = F.
  3. Solve the resulting algebraic equation.
  4. Keep only the roots that satisfy the existence condition.

Step 4 is not optional. Combining log⁡ax+log⁡a(x−2)\log_a x + \log_a(x - 2) into log⁡a(x(x−2))\log_a\big(x(x - 2)\big) quietly enlarges the domain, since x(x−2)>0x(x - 2) > 0 also holds for negative xx, where the original logarithms do not exist. Roots from that enlarged domain are extraneous.

Inequalities: watch the base

Both axa^x and log⁡ax\log_a x are increasing when a>1a > 1 and decreasing when 0<a<10 < a < 1. So after rewriting both sides with the same base:

Base au<ava^u < a^v means log⁡au<log⁡av\log_a u < \log_a v means
a>1a > 1 u<vu < v u<vu < v (with u>0u > 0)
0<a<10 < a < 1 u>vu > v u>vu > v (with v>0v > 0)

With a base between 0 and 1, the inequality sign flips when you drop the base. For a logarithmic inequality, intersect the result with the existence condition; for an exponential one there is no domain restriction, since axa^x exists for every xx.

Some inequalities are settled by positivity alone. 2x>−32^x > -3 holds for every real xx, and 2x<02^x < 0 for none, because an exponential with positive base is always positive.

Checking costs seconds

Substitute each answer into the original equation, not into a rewritten one. For exponential equations, choose a root that makes the arithmetic easy; for logarithmic ones, check first that every argument is positive, then that the two sides agree. For an inequality, test one value inside your solution set and one outside.

Reading the options

When the options mix a correct root with a set that includes an extraneous one, the extraneous root is usually negative or makes some argument zero. When the options for an inequality differ only in the direction of the sign, the question is testing whether you noticed a base less than 1.

Worked examples

Example 1: Matching bases

Solve 9x+1=27x−19^{x+1} = 27^{x-1}.

  1. Both 9 and 27 are powers of 3: 9x+1=32(x+1)=32x+29^{x+1} = 3^{2(x+1)} = 3^{2x+2} and 27x−1=33(x−1)=33x−327^{x-1} = 3^{3(x-1)} = 3^{3x-3}.

  2. Equal powers of the same base have equal exponents: 2x+2=3x−32x + 2 = 3x - 3, so x=5x = 5.

  3. Check: 96=3129^6 = 3^{12} and 274=31227^4 = 3^{12}. They agree.

Answer

x=5x = 5. Forgetting to multiply the whole bracket by the new exponent, writing 9x+19^{x+1} as 32x+13^{2x+1}, gives 2x+1=3x−32x + 1 = 3x - 3 and the wrong answer x=4x = 4.

Example 2: An equation that becomes quadratic

Solve 4x−3⋅2x−4=04^x - 3 \cdot 2^x - 4 = 0.

  1. 4x=(22)x=(2x)24^x = (2^2)^x = (2^x)^2, so set t=2xt = 2^x, with t>0t > 0. The equation becomes t2−3t−4=0t^2 - 3t - 4 = 0.

  2. Factor: (t−4)(t+1)=0(t - 4)(t + 1) = 0, so t=4t = 4 or t=−1t = -1.

  3. 2x=−12^x = -1 is impossible, because 2x2^x is always positive, so discard t=−1t = -1. From 2x=42^x = 4, x=2x = 2.

  4. Check: 42−3⋅22−4=16−12−4=04^2 - 3 \cdot 2^2 - 4 = 16 - 12 - 4 = 0.

Answer

The only solution is x=2x = 2. Answering with the tt-values 4 and −1-1, or keeping t=−1t = -1, are the usual errors.

Example 3: Two logarithms and an extraneous root

Solve log⁡2x+log⁡2(x−2)=3\log_2 x + \log_2(x - 2) = 3.

  1. Existence condition: x>0x > 0 and x−2>0x - 2 > 0, so x>2x > 2.

  2. Combine with the product rule: log⁡2(x(x−2))=3\log_2\big(x(x - 2)\big) = 3, so x(x−2)=23=8x(x - 2) = 2^3 = 8.

  3. Solve x2−2x−8=0x^2 - 2x - 8 = 0: (x−4)(x+2)=0(x - 4)(x + 2) = 0, so x=4x = 4 or x=−2x = -2.

  4. Only x=4x = 4 satisfies x>2x > 2. Check: log⁡24+log⁡22=2+1=3\log_2 4 + \log_2 2 = 2 + 1 = 3.

Answer

x=4x = 4. Keeping x=−2x = -2 is the trap: log⁡2(−2)\log_2(-2) does not exist, even though (−2)(−4)=8(-2)(-4) = 8 satisfies the combined equation.

Example 4: A logarithmic inequality with base one half

Solve log⁡12(x−1)>−2\log_{\frac{1}{2}}(x - 1) > -2.

  1. Existence condition: x−1>0x - 1 > 0, so x>1x > 1.

  2. Write −2-2 as a logarithm with the same base: (12)−2=4\left(\frac{1}{2}\right)^{-2} = 4, so −2=log⁡124-2 = \log_{\frac{1}{2}} 4. The inequality is log⁡12(x−1)>log⁡124\log_{\frac{1}{2}}(x - 1) > \log_{\frac{1}{2}} 4.

  3. The base is between 0 and 1, so the logarithm is decreasing and the sign flips: x−1<4x - 1 < 4, so x<5x < 5.

  4. Combine with the condition: 1<x<51 < x < 5. Test x=3x = 3: log⁡122=−1>−2\log_{\frac{1}{2}} 2 = -1 > -2, true. Test x=9x = 9: log⁡128=−3\log_{\frac{1}{2}} 8 = -3, not greater than −2-2, as expected.

Answer

1<x<51 < x < 5. Not flipping the sign gives x>5x > 5, and forgetting the condition gives x<5x < 5; both are wrong.

Common traps

  • Keeping a root outside the domain

    After combining logarithms, the algebraic equation often has a root where an original argument is negative or zero. Write the existence condition first and test every root against it.

  • Not reversing for a base below 1

    (13)u>(13)v\left(\frac{1}{3}\right)^u > \left(\frac{1}{3}\right)^v means u<vu < v. The same holds for logarithms with base between 0 and 1. Look at the base before you drop it.

  • Keeping a negative value of the substitute

    With t=axt = a^x, a root t≤0t \leq 0 gives no xx at all. It is not an extra solution, and the answer is never the value of tt itself; convert back to xx.

  • Adding the arguments

    log⁡ax+log⁡a(x−2)\log_a x + \log_a(x - 2) is log⁡a(x(x−2))\log_a\big(x(x - 2)\big), a product, not log⁡a(2x−2)\log_a(2x - 2). The rules come from exponents, and adding exponents corresponds to multiplying numbers.

Check yourself

Answer each question before you open its answer.

Question 1: Solutions after a substitution

Logarithms and exponentials

What is the set of real solutions of 9x−4⋅3x+3=09^x - 4 \cdot 3^x + 3 = 0?

  1. A.{0,1}\{0, 1\}
  2. B.{1}\{1\}
  3. C.{1,3}\{1, 3\}
  4. D.No real solution
Show the answer

Answer: A. {0,1}\{0, 1\}

Working

Set t=3x>0t = 3^x > 0, so 9x=t29^x = t^2 and t2−4t+3=(t−1)(t−3)=0t^2 - 4t + 3 = (t - 1)(t - 3) = 0. Then 3x=13^x = 1 gives x=0x = 0 and 3x=33^x = 3 gives x=1x = 1. Check x=1x = 1: 9−12+3=09 - 12 + 3 = 0; check x=0x = 0: 1−4+3=01 - 4 + 3 = 0.

Why the other options are wrong

  • B. This discards 3x=13^x = 1 as if it had no solution. It has one: x=0x = 0, since 30=13^0 = 1.
  • C. These are the values of t=3xt = 3^x, not of xx: the last step back to xx was skipped.
  • D. This comes from factoring t2−4t+3t^2 - 4t + 3 as (t+1)(t+3)(t + 1)(t + 3), which gives negative values of tt. The correct factors are (t−1)(t−3)(t - 1)(t - 3).

What carries over

After a substitution, keep the positive roots in tt and convert every one of them back to xx.

Question 2: A logarithmic equation

Logarithms and exponentials

Solve log⁡3(x+1)+log⁡3(x−1)=1\log_3(x + 1) + \log_3(x - 1) = 1.

  1. A.x=32x = \frac{3}{2}
  2. B.x=2x = \sqrt{2}
  3. C.x=2x = 2
  4. D.x=2x = 2 or x=−2x = -2
Show the answer

Answer: C. x=2x = 2

Working

Existence: x+1>0x + 1 > 0 and x−1>0x - 1 > 0, so x>1x > 1. Combine: log⁡3(x2−1)=1\log_3(x^2 - 1) = 1, so x2−1=3x^2 - 1 = 3 and x=±2x = \pm 2. Only x=2x = 2 satisfies x>1x > 1. Check: log⁡33+log⁡31=1+0=1\log_3 3 + \log_3 1 = 1 + 0 = 1.

Why the other options are wrong

  • A. This adds the arguments, (x+1)+(x−1)=2x(x + 1) + (x - 1) = 2x, instead of multiplying them.
  • B. This sets the combined argument equal to 1, the right-hand side, instead of to 31=33^1 = 3.
  • D. x=−2x = -2 makes both arguments negative, so the original logarithms do not exist there.

What carries over

State the existence condition before solving a logarithmic equation, and use it to reject roots at the end.

Question 3: An inequality with base one third

Logarithms and exponentials

Solve (13)2x−1>9\left(\frac{1}{3}\right)^{2x - 1} > 9.

  1. A.x<−12x < -\frac{1}{2}
  2. B.x>−12x > -\frac{1}{2}
  3. C.x<32x < \frac{3}{2}
  4. D.x>32x > \frac{3}{2}
Show the answer

Answer: A. x<−12x < -\frac{1}{2}

Working

9=(13)−29 = \left(\frac{1}{3}\right)^{-2}, so the inequality is (13)2x−1>(13)−2\left(\frac{1}{3}\right)^{2x - 1} > \left(\frac{1}{3}\right)^{-2}. The base is less than 1, so the sign reverses: 2x−1<−22x - 1 < -2, giving x<−12x < -\frac{1}{2}. Test x=−1x = -1: (13)−3=27>9\left(\frac{1}{3}\right)^{-3} = 27 > 9, true.

Why the other options are wrong

  • B. The exponents were compared without reversing the sign, although the base 13\frac{1}{3} is less than 1.
  • C. This writes 9 as (13)2\left(\frac{1}{3}\right)^2; in fact (13)2=19\left(\frac{1}{3}\right)^2 = \frac{1}{9} and 9=(13)−29 = \left(\frac{1}{3}\right)^{-2}.
  • D. Two slips together: 9 written as (13)2\left(\frac{1}{3}\right)^2, and the sign not reversed.

What carries over

With a base between 0 and 1, reverse the inequality when you compare exponents.

Key points

  • Exponential equations: match bases, substitute t=axt = a^x (keeping only t>0t > 0), or take logarithms.

  • Logarithmic equations: write the existence condition first, combine into one logarithm, convert, then reject roots outside the condition.

  • With a base between 0 and 1, dropping the base reverses an inequality.

  • Check every answer in the original equation, not in a rewritten one.

All questions here are original and written for UniExamer; none comes from the test maker.

Written by the UniExamer team with AI assistance. Every worked example and check question was re-solved by an independent checker before publication. No subject expert has reviewed this lesson yet. If you find a mistake, write to support@uniexamer.com.

Practica este tema

Preguntas nuevas sobre esta habilidad, con explicaciones resueltas. La práctica requiere un Single Exam Pass o Plus.