Solving Equations and Inequalities

Exponential and logarithmic equations appear throughout mathematics, science, and everyday life — from calculating compound interest and radioactive decay to measuring earthquake intensity and sound levels. An exponential equation contains a variable in an exponent, such as 2^x = 32, while a logarithmic equation contains a variable inside a logarithm, such as log₂(x) = 5. Solving these equations requires specialized techniques built on the fundamental properties of exponents and logarithms. The key insight connecting both types of equations is that exponential and logarithmic functions are inverses of each other. This means that applying a logarithm can 'undo' an exponential, and vice versa. For example, if b^x = y, then log_b(y) = x. This inverse relationship is the primary tool used to isolate variables that appear in exponents or inside logarithms. Mastering this relationship allows you to move fluidly between exponential and logarithmic forms. Inequalities involving exponential and logarithmic expressions follow the same algebraic rules as equations, with one critical addition: when multiplying or dividing both sides by a negative number, the inequality direction reverses. Additionally, when taking logarithms of both sides of an inequality, the direction depends on whether the base is greater than 1 or between 0 and 1. These subtleties make it essential to understand the behavior of exponential and logarithmic functions before solving inequalities involving them.

Key takeaways
  • Matching Bases (Same-Base Method)
  • Taking Logarithms of Both Sides
  • Converting Between Exponential and Logarithmic Forms
  • Using Logarithm Properties to Combine Terms
  • Checking for Extraneous Solutions
  • Solving Exponential and Logarithmic Inequalities

Matching Bases (Same-Base Method)

If both sides of an exponential equation can be expressed with the same base, set the exponents equal. For example, 4^(x+1) = 8^x can be rewritten as 2^(2x+2) = 2^(3x), giving 2x + 2 = 3x, so x = 2. This works because if b^m = b^n (with b > 0, b ≠ 1), then m = n.

Taking Logarithms of Both Sides

When bases cannot be matched easily, take the natural logarithm (ln) or common logarithm (log) of both sides. Using the power rule — log(a^n) = n·log(a) — brings the variable down from the exponent. For example, 3^x = 17 becomes x·ln(3) = ln(17), so x = ln(17)/ln(3) ≈ 2.579.

Converting Between Exponential and Logarithmic Forms

A logarithmic equation log_b(x) = c is equivalent to x = b^c. Use this conversion to solve equations like log₃(2x − 1) = 4: rewrite as 2x − 1 = 3^4 = 81, then 2x = 82, so x = 41. Always check that the argument of the logarithm is positive in your solution.

Using Logarithm Properties to Combine Terms

When multiple logarithms appear, use properties to condense them into one: log_b(M) + log_b(N) = log_b(MN) and log_b(M) − log_b(N) = log_b(M/N). For example, log₂(x) + log₂(x−2) = 3 becomes log₂(x(x−2)) = 3, then x(x−2) = 8, giving x² − 2x − 8 = 0, so (x−4)(x+2) = 0. Since x must be positive for both logs, x = 4.

Checking for Extraneous Solutions

After solving a logarithmic equation, always substitute your answer back into the original equation. The domain of log_b(x) requires x > 0, so any solution making a logarithm's argument zero or negative must be rejected as extraneous. In the example above, x = −2 is rejected because log₂(−2) is undefined.

Solving Exponential and Logarithmic Inequalities

For exponential inequalities with base b > 1 (e.g., 2^x > 8), take log of both sides preserving the inequality: x > log₂(8) = 3. If 0 < b < 1, the inequality flips direction. For logarithmic inequalities, solve like an equation first, then test intervals, keeping in mind the domain restriction that the argument must be positive throughout.

The Key Equation

log⁡b(x)=c  ⟺  x=bc(b>0, b≠1, x>0)\log_b(x) = c \iff x = b^c \quad (b > 0,\ b \neq 1,\ x > 0)
  • b — Base (dimensionless): The base of the logarithm and exponential; must satisfy b > 0 and b ≠ 1.
  • x — Argument (dimensionless): The input to the logarithm; must be strictly positive (x > 0).
  • c — Exponent / Logarithmic value (dimensionless): The value of the logarithm, equivalent to the exponent in the corresponding exponential form.

Worked Example

Problem. Solve for x: 5^(2x−1) = 125^(x−2)

x=5x = 5

Answer. x = 5

Figure
Diagram
Solving 2^x = 10 Graphicallyxy01234246810y=10y=2^xx = log₂10 ≈ 3.323.32
Origins · 1 minJohn Napier and how this was discovered
JN
John Napier
1550–1617 · Scottish

John Napier invented logarithms and published his landmark work Mirifici Logarithmorum Canonis Descriptio in 1614. His invention dramatically simplified complex calculations — multiplications became additions, and divisions became subtractions — by exploiting the properties of logarithms. Napier's work laid the foundation for all the logarithmic techniques used to solve exponential equations today. Napier also invented 'Napier's bones,' a handheld calculating device made from rods (originally animal bone) that could be used to perform multiplication and division. He was also known locally as 'Marvellous Merchiston' due to his reputation for dabbling in the occult!

  • Properties of Logarithms — The product, quotient, and power rules for logarithms are essential tools for condensing or expanding logarithmic expressions when solving equations.
  • Exponential Functions — Understanding the shape, domain, range, and behavior of exponential functions helps interpret and check solutions to exponential equations and inequalities.
  • Logarithmic Functions — Logarithmic functions are the inverses of exponential functions; knowing their domain restrictions prevents accepting extraneous solutions.
  • The Natural Logarithm — The natural logarithm ln(x) = log_e(x) is the most commonly used logarithm when solving exponential equations involving the base e, especially in calculus and science applications.
  • Change of Base Formula — The change of base formula log_b(x) = ln(x)/ln(b) allows any logarithm to be computed using a standard calculator and is critical when solving equations with non-standard bases.