Why Logarithms Undo Exponentials

The inverse-function relationship between exponentials and logarithms is why you can move an exponent out in front of a log. The single fact that justifies the power rule is this: if f(x) = b^x, then its inverse is f⁻¹(y) = log_b(y), for b > 0, b ≠ 1. That means applying a logarithm to an exponential expression returns the original exponent. It is the reason why logarithms undo exponentials, and it is the only justification for moving an exponent into a logarithm. The power rule, log_b(M^p) = p * log_b(M), is a direct consequence of this inversion, not a separate algebraic trick.

Start with the definition: log_b(x) = y if and only if b^y = x. This is the fundamental relationship. The inverse property states that b^log_b(x) = x and log_b(b^x) = x, for x > 0. To justify the power rule, let y = log_b(M). Then b^y = M. Raise both sides to the p power: M^p = (b^y)^p = b^yp. Now apply the inverse: log_b(M^p) = log_b(b^yp) = yp. Since y = log_b(M), you get log_b(M^p) = p * log_b(M). The inverse function does the work: it strips away the base, leaving the exponent multiplied by p. No other log rule is needed for this derivation.

Take log₂(8³). First, compute 8³ = 512. Using the power rule: log₂(8³) = 3 * log₂(8). Since 2³ = 8, log₂(8) = 3. So 3 * 3 = 9. The result is 9. Verify by checking the inverse: 2⁹ = 512. It matches. The exponent 3 moved out of the argument and multiplied the log. The inverse-function relationship made this possible because log₂(b^y) = y, and here b^y = 8, y = 3. If you need to compute log₂(512) directly and do not have a calculator with a log₂ key, use the change of base formula or an inverse function calculator. The conversion log₂(512) = log(512) / log(2) gives the same 9.

What This Looks Like With a Negative Characteristic

Consider log₁₀(0.01²). 0.01 = 10^-2, so 0.01² = 10^-4. By the inverse property, log₁₀(10^-4) = -4. Using the power rule directly: log₁₀(0.01²) = 2 * log₁₀(0.01). log₁₀(0.01) = -2 because the characteristic is -2 (the number is between 0.01 and 0.1). So 2 * (-2) = -4. The exponent moved out and the calculation works the same way.

The power rule log_b(M^p) = p * log_b(M) requires M > 0. If M is negative, the rule fails because log_b(M) is undefined in real numbers. Take M = -2, p = 2. Compute log₁₀((-2)²) = log₁₀(4) ≈ 0.6021. But 2 * log₁₀(-2) is not a real number because log₁₀(-2) is undefined. The inverse-function relationship cannot justify moving the exponent here because the logarithm's domain excludes non-positive arguments. The power rule is exact only when M is positive and b > 0, b ≠ 1. Applying it outside this domain produces an error that multiplication alone cannot fix.

What to Do When the Argument Is Negative or Zero

If you encounter log_b(M^p) with M ≤ 0, you must evaluate M^p first, then take the log of that positive result if it exists. For M = -2, p = 2, (-2)² = 4, so log(4) is valid. But if p = 3, (-2)³ = -8, and log(-8) is undefined. The inverse-function relationship does not rescue you from a negative argument. This is the single most common mistake when using the power rule: assuming it applies to any real M.

In practice, the inverse-function relationship underpins every application where you move an exponent. For pH, defined as pH = -log₁₀([H⁺]), the inverse relationship justifies converting between hydrogen ion concentration and pH. If [H⁺] = 1.0 × 10^-4 mol/L, then pH = -log₁₀(10^-4) = -(-4) = 4. The exponent -4 moves out because log₁₀(10^-4) = -4, a direct application of the inverse property. For the Richter scale, magnitude M = log₁₀(A/A₀). If an earthquake has amplitude 100 times the reference, M = log₁₀(10²) = 2. The exponent 2 is the magnitude. Both examples show that the inverse relationship, not a separate rule, does the work.

Using the related calculator for Checking

When verifying hand calculations, an related calculator can confirm that b^log_b(x) returns x. For log₂(8) = 3, computing 2³ on the same tool gives 8. This check directly tests the inverse relationship and catches errors in the exponent movement.

The inverse-function relationship between exponentials and logarithms suits Algebra II and precalculus students solving exponential equations, chemistry students calculating pH from hydrogen ion concentration, and computer science students analyzing algorithm complexity using log₂. Adults using Excel with LOG, LOG10, or LN for financial modeling or data analysis will rely on this inversion daily. Skip this if you need the history of logarithms, biography of Napier or Briggs, or the physical construction of a slide rule. Those belong on a history-of-mathematics site. Also skip if you need advanced calculus involving natural log integrals or series expansions, which require a calculus textbook. The most common mistake here is applying the power rule to a negative argument and accepting an undefined result.