AMC 10 · 2012 · #24

Grade 11 patternalgebra
recursive-sequenceexponential-functionlogical-deduction pattern-recognitionconvert-to-algebraeasier-related-problem ↑ Prerequisites: recursive-sequenceexponential-function
📏 Long solution 💡 4 insights
Problem
Each term is the next base raised to the term before it, and the list is then sorted. Add the indices that keep their place.

Pick an answer.

(A)
671
(B)
1006
(C)
1341
(D)
2011
(E)
2012
How to solve
Strategy Look for a Pattern

The whole problem is the sorted order of the 2011 terms; once that order is known the counting is a one-line equation. Computing the terms is hopeless, so the order has to come from structure. Tool #4 (Introduce a Variable) names the bases c_k and locates all of them relative to one fixed number L = 0.2010101…, which is what makes the bases comparable at all. Tool #1 (Draw a Diagram) supplies the two monotonicity facts read off the graph of y = c^x for 0 < c < 1: the curve falls as the exponent grows, and it rises as the base grows. Tool #9 (Solve an Easier Related Problem) settles a₁, a₂, a₃, a₄ by hand. Then Tool #5 (Look for a Pattern) does the load-bearing work — but a pattern spotted in four terms is not a proof, and here it would be a bad bet, since the same recursion with the bases ordered differently produces a different order. So the zigzag a₁ < a₃ < … < a₂₀₁₁ < a₂₀₁₀ < … < a₂ is proved by induction, each step using both monotonicity facts together with the exact side of L that each base sits on. Tool #15 (Organize Information in More Ways) rewrites the sorted list as an index formula, and Tool #13 (Convert to Algebra) turns "stays in the same position" into a linear equation. Finally Tool #3 (Eliminate Possibilities) cross-checks the result against the answer list, where each wrong choice matches a specific miscount.

1STEP 1

Pin every base to one number

Every base sits near one limiting value.

L = 199/990; c₂m-1 = L - 10/99 · 10^-(2m+2), c₂m = L + 89/99 · 10^-(2m+2), so c₁ < c₃ < c₅ < … < L < … < c₆ < c₄ < c₂, all in (0,1).
2STEP 2

Two levers on a power

A power moves with the base and against the exponent.

(F1) x < y → c^y < c^x; (F2) c < d → c^x < d^x; hence c_k < a_k < 1 and a₁ = c₁ < a_k for all k ≥ 2.
3STEP 3

Settle the first four by hand

The first four terms settle by hand.

a₁ < a₃ < a₄ < a₂
4STEP 4

Prove the zigzag instead of guessing it

Induction proves the zigzag continues.

H(n) → H(n+1), giving 0 < a₁ < a₃ < … < a₂₀₁₁ < a₂₀₁₀ < … < a₄ < a₂ < 1
5STEP 5

Write the sorted list as a formula

The sorted list then has a closed formula.

b_j = a₂j for 1 ≤ j ≤ 1005; b_j = a₄₀₂₃ - 2j for 1006 ≤ j ≤ 2011
6STEP 6

Match the two index formulas

Matching the two index formulas leaves one survivor.

2k = k → k = 0 (rejected); 4023 - 2k = k → 3k = 4023 → k = 1341
7STEP 7

Add the surviving indices

The sum is 1341, choice (C).

sum = 1341 → (C)
Answer
1341
Substituting back is immediate: b₁₃₄₁ = a₄₀₂₃ - 2 · 1341 = a₁₃₄₁, so the index really is fixed. Neighbours fail, as the linear equation demands: b₁₃₃₉ = a₁₃₄₅ and b₁₃₄₃ = a₁₃₃₇. The answer also has to be an odd index in [1006, 2011], since the first 1005 positions are occupied by even-indexed terms, and 1341 is odd and in range — which by itself already rules out (B) 1006 (even), (E) 2012 (out of range) and (D) 2011 (odd and in range, but b₂₀₁₁ = a₁, not a₂₀₁₁). A small analogue confirms the machinery: with 7 terms the same argument gives a₁ < a₃ < a₅ < a₇ < a₆ < a₄ < a₂, so the sorted list is a₂, a₄, a₆, a₇, a₅, a₃, a₁ and the only fixed index is 5 = (2 · 7 + 1)/3, matching the general formula (2N+1)/3 that gives 4023/3 = 1341 at N = 2011. Finally the choice (A) 671 is exactly the position of 1341 counted from the back, the trap this problem sets.
💡Key takeaway

Every new term lands between the two before it, so the list zigzags inward — the odd terms climb, the even terms fall — and once you know that order, finding which term keeps its own seat is just one linear equation.

  • Pin every base to one number
  • Two levers on a power
  • Settle the first four by hand
  • Prove the zigzag instead of guessing it
  • Write the sorted list as a formula
  • Match the two index formulas
  • Add the surviving indices