AMC 10 · 2014 · #23

학년 11 number-theory
modular-arithmeticcombinations-basictriangular-numberscombinatorial-identityprime-numbers easier-related-problempattern-recognition ↑ 선수 지식: modular-arithmeticcombinations-basic
📏 긴 풀이 💡 4 개 인사이트
문제
거대한 한 줄의 이항계수들을 더해 소수로 나눈다. 나머지를 구하여라.

답을 골라 클릭하세요.

(A)
32
(B)
684
(C)
1024
(D)
1576
(E)
2016
풀이 과정
전략 더 쉬운 문제로 줄이기

C(2014, 62)는 자릿수가 백 자리를 넘으므로 정면으로 계산할 수 없다. 쓸 수 있는 사실은 단 하나, 2014≡ -3 (mod 2017)이라는 것이다. 이항계수의 위쪽이 아주 작은 음수인 셈이다. C(2014, k)를 내림차순 k개의 곱을 k!로 나눈 꼴로 쓰고(도구 #15) 각 인수를 나머지로 바꾸면, 거대한 항이 모두 작은 삼각수 C(k+2, 2)에 부호가 번갈아 붙은 형태로 줄어든다. 이것이 진짜로 더 쉬운 문제다(도구 #9). 남는 것은 항이 63개인 삼각수 교대합인데, 첫 항 하나와 이웃한 31쌍으로 나뉜다(도구 #7, 도구 #16). 각 쌍은 정확한 대수 항등식으로 홀수 하나가 되며, 몇 개 값을 보고 패턴을 읽어 내는 것이 아니다. 나온 홀수들을 더한 뒤(도구 #5), 그 값이 2017보다 작은지 확인해야 비로소 나머지라고 부를 수 있다(도구 #3).

1STEP 1

위 첨자를 2017로 줄이기

위 첨자가 작은 값으로 줄어든다.

2014-i ≡ -(3+i) (mod 2017), gcd(k!, 2017)=1 (0 ≤ k ≤ 62)
2STEP 2

이항계수를 내림차순 곱으로 쓰기

계수는 내림차순 이다.

C(2014, k) = (2014 · 2013…(2014-k+1))/k! = (Π_i=0^k-1(2014-i))/k!
3STEP 3

각 항을 삼각수로 줄이기

각 항이 삼각수로 줄어든다.

C(2014, k) ≡ (-1)^k (k+1)(k+2)/2 = (-1)^kC(k+2, 2) (mod 2017), 0 ≤ k ≤ 62
4STEP 4

합 전체를 다시 쓰기

합 전체가 부호가 번갈아 나오는 꼴로 다시 쓰인다.

S ≡ Σ_k=0⁶²(-1)^kC(k+2, 2) = 1-3+6-10+…+2016 (mod 2017)
5STEP 5

정확한 항등식으로 이웃끼리 짝짓기

이웃끼리 짝지으면 홀수들이 남는다.

S ≡ 1 + Σ_j=1³¹[C(2j+2, 2)-C(2j+1, 2)] = 1 + Σ_j=1³¹(2j+1) = 1+3+5+…+63
6STEP 6

홀수들을 더하기

그것을 더하면 완전제곱 1024다.

1+3+5+…+63 = 16 · 64 = 32² = 1024
7STEP 7

이 값이 나머지인지 확인하기

그것은 이미 범위 안이다, 보기 (C).

S ≡ 1024 (mod 2017), 0 ≤ 1024 < 2017 → r = 1024 = (C)
정답
1024
핵심 합동식을 양변 계산이 가능한 작은 k에서 확인해 보자. k=1: C(2014, 1)=2014=2017-3≡ -3이고 (-1)¹C(3, 2)=-3이다. k=2: C(2014, 2)=(2014 · 2013)/2≡(-3)(-4)/2=6=C(4, 2)이다. 이제 짝짓기 공식을 손으로 계산한 짧은 절단합과 대조한다. k=2에서 멈추면 1-3+6=4이고 5단계 방식은 1+3=4를 준다. k=4에서 멈추면 1-3+6-10+15=9이고 방식은 1+3+5=9를 준다. 둘 다 k=2m에서 멈출 때의 (m+1)²과 일치하며, k=62는 m=31이므로 32²=1024이다. 마지막으로 답의 크기도 그럴듯하다. 나머지답게 [0,2017) 안에 있고, 0이나 2016에 붙어 있지도 않으므로 큰 상쇄를 슬쩍 가정한 곳이 없다.
💡핵심 정리

2014가 소수 2017보다 딱 3 작기 때문에 거대한 이항계수가 모두 부호가 번갈아 붙은 작은 삼각수로 줄고, 이웃끼리 짝지으면 합 전체가 1+3+5+…+63=32²이 된다.

  • 위 첨자를 2017로 줄이기
  • 이항계수를 내림차순 곱으로 쓰기
  • 각 항을 삼각수로 줄이기
  • 합 전체를 다시 쓰기
  • 정확한 항등식으로 이웃끼리 짝짓기
  • 홀수들을 더하기
  • 이 값이 나머지인지 확인하기