AMC 10 · 2011 · #15

학년 8 number-theorycounting
prime-factorizationdifference-of-squaresdivisor-count systematic-enumeration ↑ 선수 지식: prime-factorization
📏 긴 풀이 💡 3 개 인사이트
문제
두 자리 수가 어떤 거대한 수를 나누어떨어지게 해야 한다. 그 개수를 세어라.

답을 골라 클릭하세요.

(A)
4
(B)
8
(C)
10
(D)
12
(E)
14
풀이 과정
전략 빠짐없이 나열하기

이 문제는 "몇 개인가"를 묻고, 그 개수는 뒤에 깔린 목록이 빠짐도 중복도 없을 때만 믿을 수 있다. 그래서 답을 실제로 만들어 내는 도구는 도구 #2(빠짐없이 나열하기)다. 다만 나열하려면 재료가 먼저 필요하다. 도구 #7(작은 문제로 쪼개기)이 여덟 자리 수 2²⁴-1을 제곱의 차, 이어서 세제곱의 합으로 잘라 인수분해할 수 있는 크기로 만든다. 그다음 도구 #3(가능성 지우기)이 탐색 범위를 줄인다. 소수 241은 이미 어떤 두 자리 수보다도 크므로 241을 품은 약수는 후보가 될 수 없다. 마지막 나열은 3의 거듭제곱을 기준으로 줄을 나눈다. 모든 약수가 그런 표현을 꼭 하나씩만 가지기 때문에, 그 유일성이 빠짐과 중복을 동시에 막아 준다.

1STEP 1

인수분해 문제로 바꾸기

이것은 사실 인수분해 문제다.

N = 2²⁴-1 = 16777215
2STEP 2

제곱의 차로 쪼개기

제곱의 차가 대부분의 을 한다.

2²⁴-1 = (2¹²-1)(2¹²+1) = (2⁶-1)(2⁶+1)(2¹²+1) = 63 · 65 · 4097
3STEP 3

남은 조각까지 모두 분해하기

마지막 조각이 두 소수로 더 쪼개진다.

4097 = 17 · 241이므로 2²⁴-1 = 3² · 5 · 7 · 13 · 17 · 241
4STEP 4

241이 소수임을 증명하기

그중 하나는 진짜 소수이고 너무 크다.

16² = 256 > 241이므로 a ≤ 15; 2, 3, 5, 7, 11, 13 중 어느 것도 241을 나누지 못한다
5STEP 5

너무 큰 소수 걸러내기

그것을 버리면 훨씬 작은 가 남는다.

M = 3² · 5 · 7 · 13 · 17 = 69615, 약수는 (2+1) · 2⁴ = 48개
6STEP 6

3의 거듭제곱으로 줄 세우기

약수를 훑으면 12, 보기 (C).

{13, 17, 35, 65, 85, 91} ∪ {15, 21, 39, 51} ∪ {45, 63}이므로 6 + 4 + 2 = 12
정답
12
찾은 열두 수는 13, 15, 17, 21, 35, 39, 45, 51, 63, 65, 85, 91이다. 모두 16777215를 나머지 없이 나누고, 모두 홀수여서 홀수의 약수라는 조건과도 맞는다. 틀린 선택지는 전부 경계에서 미끄러진 결과다. N에는 한 자리 약수 1, 3, 5, 7, 9도 있어서 이 중 일부가 섞여 들어가면 개수가 14 쪽으로 부풀고, 반대로 3² 줄을 통째로 빠뜨리면 10, 즉 선택지 (C)가 된다. 아슬아슬하게 벗어난 수들이 위쪽 경계에 몰려 있어서(3 · 35 = 105, 9 · 13 = 117, 7 · 17 = 119) 정리 없이 훑으면 하나쯤 더하거나 빼기 쉽다. 줄 단위로 훑는 방식이 경계를 정확히 지켜 주며, 결과는 12, 선택지 (D)이다.
💡핵심 정리

큰 수를 먼저 소수까지 쪼갠 다음 약수를 정해진 순서로 훑으면, 두 자리 약수를 빠뜨리지도 두 번 세지도 않는다.

  • 인수분해 문제로 바꾸기
  • 제곱의 차로 쪼개기
  • 남은 조각까지 모두 분해하기
  • 241이 소수임을 증명하기
  • 너무 큰 소수 걸러내기
  • 3의 거듭제곱으로 줄 세우기