AMC 10 · 2010 · #11

Grade 11 algebra
exponentslogarithm-propertiesexponential-function work-backwards ↑ Prerequisites: logarithm-properties
📏 Medium solution 💡 2 insights
Problem
An exponential equation's solution must be written as a logarithm of a fixed power. Find the base.

Pick an answer.

(A)
$\frac{7}{15}$
(B)
$\frac{7}{8}$
(C)
$\frac{8}{7}$
(D)
$\frac{15}{8}$
(E)
$\frac{15}{7}$
How to solve
Strategy Work Backwards

Tool #11 (Work Backwards): the requested form is the real instruction. Since a logarithm is an exponent, x = log_b 7⁷ says the same thing as b^x = 7⁷, so I know the exact shape the equation has to be pushed into — one power with exponent x on one side, 7⁷ alone on the other — and the base I end up with is the answer. Tool #15 (Organize Information in More Ways): the given equation has x in two places and 7 in two roles, so I regroup the powers — split 7^x+7, then divide by 7^x — until every x sits inside a single power. Tool #3 (Eliminate Possibilities): the problem presents five candidate bases, so I check that the base is forced, that is, that no second base could give the same x; that argument disposes of the other four choices at once instead of one at a time.

1STEP 1

Turn the target form into an equation

The required form is just an exponential statement.

x = log_b 7⁷ ⇔ b^x = 7⁷ (b > 0, b ≠ 1)
2STEP 2

Split the constant off the left side

The added seven splits off as a constant factor.

7^x+7 = 7^x · 7⁷ ⟹ 7^x · 7⁷ = 8^x
3STEP 3

Gather every x into one power

Dividing gathers every unknown into one power.

7⁷ = 8^x/7^x = (8/7)^x
4STEP 4

Check that exactly one x exists

That power is increasing, so the solution is unique.

(8/7)^x = 7⁷ ⟹ x₀ = log₈/7 7⁷ > 0
5STEP 5

Show the base is forced, then name it

Matching the two forms forces the base 8/7.

log_b 7⁷ = (7ln 7)/(ln b) ⟹ ln b = (7ln 7)/x₀ ⟹ b = 8/7 (C)
Answer
8/7
Numerically, x₀ = log₈/7 7⁷ = (7ln 7)/(ln 8/7) ≈ 13.6214/0.13353 ≈ 102.01. Feed it back into the original equation through natural logs: (x₀ + 7)ln 7 ≈ 109.01 × 1.94591 ≈ 212.12 and x₀ ln 8 ≈ 102.01 × 2.07944 ≈ 212.12. The two sides agree, so x₀ really solves 7^x+7 = 8^x. The size is believable too: 8 beats 7 only slightly per step, so it takes about a hundred steps for 8^x to overcome the head start of 7⁷. Each wrong choice fails the uniqueness test of Step 5, since it produces a different value of log_b 7⁷: b = 7/8 gives -102.01 (the sign is wrong — a base below 1 forces x < 0, yet 8^x must overtake, not fall behind), b = 15/8 gives about 21.67, b = 15/7 gives about 17.87, and b = 7/15 gives about -17.87. Only 8/7 returns 102.01. Note also that 15/8 and 15/7 are exactly what a careless solver gets by adding 7 + 8 somewhere, and 7/8 is the reciprocal slip.
💡Key takeaway

A logarithm is an exponent in disguise, so read x = log_b 7⁷ as b^x = 7⁷, reshape the equation until it matches that pattern, and the base is sitting in plain sight.

  • Turn the target form into an equation
  • Split the constant off the left side
  • Gather every x into one power
  • Check that exactly one x exists
  • Show the base is forced, then name it