AMC 10 · 2009 · #15

학년 11 algebra
complex-numbersperiodic-functionsequences-arithmetic pattern-recognitioncasework ↑ 선수 지식: complex-numbers
📏 중간 풀이 💡 3 개 인사이트
문제
어떤 합이 허수 단위의 각 거듭제곱에 그 자리 번호를 곱해 더한다. 합이 주어진 복소수가 되게 하는 항의 개수를 구하여라.

답을 골라 클릭하세요.

(A)
24
(B)
48
(C)
49
(D)
97
(E)
98
풀이 과정
전략 작은 문제로 쪼개기

도구 #5(패턴 찾기)는 이 합을 다룰 수 있게 만드는 단 하나의 사실을 찾아낸다. i⁴ = 1이므로 곱해지는 i^k가 주기 4로 반복된다는 것이다. 그러면 합을 연속한 네 항씩 묶어 자르는 것이 자연스럽고, 이것이 도구 #7(작은 문제로 쪼개기)이다. 전체 합이 반복되는 작은 문제 하나와 짧은 나머지로 바뀐다. 여기서 반드시 지켜야 할 원칙은, 처음 두 묶음을 보고 값을 읽어내는 것이 아니라 묶음의 값을 증명하는 것이다. 계수 4m+1, 4m+2, 4m+3, 4m+4는 묶음마다 달라지므로 '모든 묶음이 같은 값을 준다'는 주장은 패턴이 아니라 일반적으로 확인해야 하는 대수 항등식이다. 도구 #4(변수 도입하기)는 일반 묶음 번호 m을 도입하고 n = 4m + r로 써서 모든 양의 정수 n이 정확히 한 번씩 다뤄지게 한다. 이어서 도구 #3(가능성 지우기)이 네 나머지 유형 중 세 개를 부호만으로 지우고, 도구 #13(대수로 바꾸기)이 살아남은 유형을 m에 대한 두 개의 일차식으로 바꾼다. 두 식은 모두 성립해야 한다.

1STEP 1

곱해지는 값은 네 번마다 반복된다

곱해지는 값이 항마다 반복된다.

i¹ = i, i² = -1, i³ = -i, i⁴ = 1, i^k+4 = i^k
2STEP 2

네 항 묶음은 항상 2-2i

각 묶음 안에서 가중치가 상쇄되어 상수만 남는다.

Σ_j=1⁴(4m+j) i⁴m+j = 4m(i-1-i+1)_= 0 + (i-2-3i+4) = 2-2i
3STEP 3

모든 n에 대한 합의 정확한 값

그것이 모든 개수에 대한 정확한 값을 준다.

S(4m)=2m-2mi; S(4m+1)=2m+(2m+1)i; S(4m+2)=-(2m+2)+(2m+1)i; S(4m+3)=-(2m+2)-(2m+2)i
4STEP 4

네 경우 중 세 개는 부호로 탈락

부호가 네 경우 중 을 없앤다.

n ≡ 2, 3 (mod 4) → Re S(n) ≤ -2; n ≡ 0 (mod 4) → Im S(n) ≤ 0
5STEP 5

살아남은 한 경우를 풀기

남은 경우를 풀면 97, 보기 (E).

2m = 48이고 2m+1 = 49 → m = 24 → n = 4(24)+1 = 97
정답
97
먼저 대략적인 크기 확인이다. 살아남은 경우에서 실수부는 2m ≈ n/2이므로 실수부가 48이라는 것은 n이 96 근처임을 가리키고, 97은 정확히 그 자리에 있다. 더 의미 있는 것은 표가 보여주는 아슬아슬한 오답들인데, 보기가 바로 그것들로 만들어져 있다. n = 96에서 합은 48 - 48i다. 실수부가 이미 맞으므로 실수부만 보는 논증으로는 96과 97을 구별할 수 없다. 여기서 96이 배제되는 근거는 보기 목록에 없다는 사실이 아니라 허수부다. n = 98에서 합은 -50 + 49i다. 이번에는 허수부가 맞고 실수부가 틀리는데, 98이 보기 (E)로 들어간 이유가 정확히 이것이다. 보기 (A) 24, (B) 48, (C) 49는 묶음의 개수와 목표값의 두 성분, 즉 계산 도중에 손에 쥐게 되는 값들이다. 모든 오답이 진짜 중간값이고, 4줄짜리 표가 그것들을 한꺼번에 처리한다. 수백까지의 n에 대해 부분합을 항별로 확인해도 48 + 49i는 n = 97에서 단 한 번만 나타난다.
💡핵심 정리

i의 거듭제곱은 네 번마다 반복되니 합을 네 항씩 잘라 보면, 어디서 시작하든 한 묶음은 정확히 2 - 2i이고 결국 끝에 남은 항들만이 답을 결정한다.

  • 곱해지는 값은 네 번마다 반복된다
  • 네 항 묶음은 항상 2-2i
  • 모든 n에 대한 합의 정확한 값
  • 네 경우 중 세 개는 부호로 탈락
  • 살아남은 한 경우를 풀기