AMC 10 · 2012 · #24

학년 11 patternalgebra
recursive-sequenceexponential-functionlogical-deduction pattern-recognitionconvert-to-algebraeasier-related-problem ↑ 선수 지식: recursive-sequenceexponential-function
📏 긴 풀이 💡 4 개 인사이트
문제
각 항은 다음 밑을 앞 항만큼 거듭제곱한 것이고, 그 목록을 정렬한다. 자리를 지킨 번호를 더하여라.

답을 골라 클릭하세요.

(A)
671
(B)
1006
(C)
1341
(D)
2011
(E)
2012
풀이 과정
전략 패턴 찾기

이 문제의 전부는 2011개 항의 정렬 순서다. 순서만 알면 세는 일은 한 줄짜리 방정식이다. 항을 직접 계산하는 것은 불가능하므로 순서는 구조에서 나와야 한다. 도구 #4(변수 도입하기)로 밑들을 c_k라 이름 붙이고, 이들 전부를 하나의 고정된 수 L = 0.2010101… 를 기준으로 배치한다. 이것이 밑들을 비교 가능하게 만드는 열쇠다. 도구 #1(그림 그리기)은 0 < c < 1일 때 y = c^x의 그래프에서 읽어내는 두 가지 단조성 사실을 준다. 지수가 커지면 값은 내려가고, 밑이 커지면 값은 올라간다. 도구 #9(더 쉬운 문제로 줄이기)로 a₁, a₂, a₃, a₄를 손으로 정리한다. 그다음 도구 #5(패턴 찾기)가 핵심 작업을 맡는데, 항 네 개에서 본 패턴은 증명이 아니다. 게다가 여기서는 위험한 도박이다. 같은 점화식이라도 밑들의 순서가 달라지면 전혀 다른 정렬이 나오기 때문이다. 그래서 지그재그 a₁ < a₃ < … < a₂₀₁₁ < a₂₀₁₀ < … < a₂를 귀납법으로 증명한다. 각 단계는 두 단조성 사실을 함께 쓰고, 각 밑이 L의 어느 쪽에 있는지를 정확히 사용한다. 도구 #15(다르게 정리하기)로 정렬된 목록을 번호 공식으로 다시 쓰고, 도구 #13(대수로 바꾸기)로 "자리를 지킨다"는 조건을 일차방정식으로 바꾼다. 마지막으로 도구 #3(가능성 지우기)으로 결과를 선택지와 대조한다. 오답 선택지 하나하나가 특정한 잘못 세기에 대응하기 때문이다.

1STEP 1

모든 밑을 한 수에 고정하기

모든 밑이 하나의 극한값 가까이 있다.

L = 199/990; c₂m-1 = L - 10/99 · 10^-(2m+2), c₂m = L + 89/99 · 10^-(2m+2) 이므로 c₁ < c₃ < c₅ < … < L < … < c₆ < c₄ < c₂, 모두 (0,1) 안에 있다.
2STEP 2

거듭제곱을 움직이는 두 레버

거듭제곱은 밑을 따라가고 지수와는 반대로 간다.

(F1) x < y → c^y < c^x; (F2) c < d → c^x < d^x; 따라서 k ≥ 2인 모든 k에 대해 c_k < a_k < 1이고 a₁ = c₁ < a_k.
3STEP 3

처음 네 항은 손으로 끝내기

처음 네 항은 손으로 정리된다.

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

지그재그는 추측이 아니라 증명하기

귀납법이 지그재그가 이어짐을 증명한다.

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

정렬된 목록을 공식으로 쓰기

그러면 정렬된 목록에 닫힌 이 있다.

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

두 번호 공식을 맞추기

두 번호 식을 맞추면 하나만 살아남는다.

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

살아남은 번호를 더하기

합은 1341, 보기 (C).

합 = 1341 → (C)
정답
1341
다시 대입하면 바로 확인된다. b₁₃₄₁ = a₄₀₂₃ - 2 · 1341 = a₁₃₄₁이므로 이 번호는 실제로 고정된다. 이웃한 번호는 방정식이 말하는 대로 실패한다. b₁₃₃₉ = a₁₃₄₅이고 b₁₃₄₃ = a₁₃₃₇이다. 또한 답은 반드시 [1006, 2011] 안의 홀수여야 한다. 앞의 1005개 자리는 짝수 번호 항이 차지하기 때문이다. 1341은 홀수이고 범위 안에 있다. 이 조건만으로도 (B) 1006(짝수), (E) 2012(범위 밖), (D) 2011(홀수이고 범위 안이지만 b₂₀₁₁ = a₁이지 a₂₀₁₁이 아니다)이 걸러진다. 작은 축소판이 논리를 확인해 준다. 항이 7개면 같은 논증으로 a₁ < a₃ < a₅ < a₇ < a₆ < a₄ < a₂가 되어 정렬 결과는 a₂, a₄, a₆, a₇, a₅, a₃, a₁이고, 자리를 지키는 번호는 5 = (2 · 7 + 1)/3 하나뿐이다. 이는 일반 공식 (2N+1)/3과 일치하며 N = 2011에서 4023/3 = 1341을 준다. 마지막으로 선택지 (A) 671은 1341을 뒤에서부터 센 자리로, 이 문제가 놓아 둔 함정이다.
💡핵심 정리

새 항은 늘 앞의 두 항 사이에 놓여서 목록이 안쪽으로 지그재그를 그린다. 홀수 항은 올라가고 짝수 항은 내려간다. 그 순서만 알면 어떤 항이 자기 자리를 지키는지는 일차방정식 하나로 끝난다.

  • 모든 밑을 한 수에 고정하기
  • 거듭제곱을 움직이는 두 레버
  • 처음 네 항은 손으로 끝내기
  • 지그재그는 추측이 아니라 증명하기
  • 정렬된 목록을 공식으로 쓰기
  • 두 번호 공식을 맞추기
  • 살아남은 번호를 더하기