AMC 10 · 2007 · #17

Grade 11 algebra
logarithm-propertiessign-analysismean-median-mode-range convert-to-algebrasign-analysis ↑ Prerequisites: logarithm-propertiesmean-median-mode-range
📏 Long solution 💡 4 insights
Problem
A nonzero integer and a positive number satisfy one equation linking a product to a logarithm. Decide which of five listed numbers stands in the middle when they are sorted.

Pick an answer.

(A)
0
(B)
1
(C)
a
(D)
b
(E)
$\frac{1}{b}$
How to solve
Strategy Introduce a Variable

The five numbers fall into place the moment one thing is known: whether b is above or below 1. Tool #13 (Convert to Algebra) gets that started — dividing by b² shows a and log₁₀b share a sign, so the sign of a and the side of 1 that b lies on are the same fact. The load-bearing move is Tool #4 (Introduce a Variable): setting t=log₁₀b, so b=10^t and b²=100^t, ends the fight between a power of b and a logarithm of b by writing both in terms of one exponent, leaving the single clean relation a=t/100^t. That relation makes the case b > 1 the entire difficulty, and Tool #14 (Extreme Principle) is what kills it: among positive integers the smallest is a whole 1, so t ≥ 100^t — an inequality no real number survives. Tool #9 (Solve an Easier Related Problem) reduces that survival question to the trivial integer fact 100^k ≥ k+1. Tool #11 (Work Backwards) then builds explicit pairs (a,b) so the conclusion is about something real rather than an empty hypothesis, and Tool #15 (Organize Information in More Ways) plus Tool #3 (Eliminate Possibilities) assemble the final ordering and show that two of the five choices could never have been the median under any circumstances.

1STEP 1

Divide by b² and read the signs

Rearranging ties the integer's sign to the logarithm's.

a=log₁₀b/b² ⟹ sign(a)=sign(log₁₀b); b=1→ a=0 (excluded)
2STEP 2

Name the exponent instead of the number

Naming the exponent instead of the number simplifies everything.

t=log₁₀b, b=10^t, b²=100^t ⟹ a · 100^t=t ⟹ a=t/100^t
3STEP 3

A positive integer is at least a whole 1

A positive integer is at least one, which forces a strong inequality.

t > 0 → a > 0 → a ≥ 1 → t=a · 100^t ≥ 100^t
4STEP 4

Bootstrap t past every integer

Repeating it pushes the exponent past every bound, so that branch is empty.

t ≥ 100^t → t > 1 → t > 100 → t > 100¹⁰⁰ → …; formally t ≥ k for every integer k ≥ 0 — impossible
5STEP 5

So 0 < b < 1, and the order is forced

The surviving branch forces the whole order.

t < 0 → a < 0 and 0 < b < 1; b < 1 → { ×1/b > 0 } 1 < 1/b; a < 0 < b < 1 < 1/b
6STEP 6

Show the hypothesis is not empty

An explicit pair shows the hypothesis is not empty.

b=10⁻ⁿ, a=-n · 100ⁿ: ab²=-n · 100ⁿ · 100⁻ⁿ=-n=log₁₀b (n=1,2,3,…)
7STEP 7

Read off the third smallest

Reading off the middle gives b, choice (D).

a < 0 < b < 1 < 1/b ⟹ median=b ⟹ (D)
Answer
b
Several independent checks agree. (1) Concrete pair: b=1/10 gives log₁₀b=-1 and a·1/100=-1, so a=-100; the set is {-100, 0, 0.1, 1, 10} and the median is 0.1=b. (2) A pair of the other shape, where a is chosen first: for a=-1 the equation -b²=log₁₀b has the root b≈ 0.52725, giving 1/b≈ 1.89665 and the ordered set {-1, 0, 0.52725, 1, 1.89665} — median b again, with a completely different-looking b. (3) How much room the integrality argument actually has: for b > 1 the largest value log₁₀b/b² can take is at b=√(e), where it equals 1/(2eln 10)≈ 0.0799. So a real a can be positive, but only up to about 0.08 — the smallest positive integer overshoots the entire attainable range by a factor of more than twelve. The argument is not living on a knife edge. (4) What the problem actually turns on, seen through the decoys. Drop the word "integer" and take b=10, a=1/100: then ab²=1=log₁₀₁₀, the set is {0, 1/100, 1/10, 1, 10}, and the median is 1/10=1/b — precisely choice (E). Choice (E) is therefore not a random distractor; it is the exact answer to the problem with the integrality hypothesis deleted, which is why an argument that only says "a quadratic outgrows a logarithm" is not enough: for small positive a the curves y=ax² and y=log₁₀x genuinely do intersect. Similarly, choice (B) is the answer one gets from the other discarded case: if a could be a positive integer then a ≥ 1, the ordering would read 0 < 1/b < 1 ≤ a with b > 1, and the median would be 1. And the word "nonzero" is what removes b=1, which is a different job from the one "integer" does — each hypothesis is used exactly once, and neither is decoration.
💡Key takeaway

Write b=10^t and the equation becomes a=t/100^t, a quantity that never reaches 1; since the smallest positive integer is 1, a must be negative, which puts b between 0 and 1 and lands it in the middle of the list.

  • Divide by b² and read the signs
  • Name the exponent instead of the number
  • A positive integer is at least a whole 1
  • Bootstrap t past every integer
  • So 0 < b < 1, and the order is forced
  • Show the hypothesis is not empty
  • Read off the third smallest