AMC 10 · 2010 · #25

학년 8 number-theory
prime-factorizationp-adic-valuationprime-numbersmultiples identify-subproblemsextreme-principle ↑ 선수 지식: prime-factorizationp-adic-valuation
📏 긴 풀이 💡 4 개 인사이트
문제
각 수가 자기 최대 소인수의 거듭제곱을 내놓고, 그것들을 모두 곱한다. 주어진 수의 몇 제곱까지 나누는지 구하여라.

답을 골라 클릭하세요.

(A)
74
(B)
75
(C)
76
(D)
77
(E)
78
풀이 과정
전략 작은 문제로 쪼개기

이 곱은 천문학적으로 크므로 아무도 직접 계산하지 않는다. 핵심은 도구 #7 (작은 문제로 쪼개기)이다: 2010=2 · 3 · 5 · 67은 제곱인수가 없으므로 "가장 큰 m 은?" 이라는 하나의 질문이 네 개의 독립된 세기 문제 — 곱 안에 2, 3, 5, 67이 각각 몇 개 있는가 — 로 갈라지고, m 은 그 넷 중 최솟값이다. 도구 #14 (극단의 원리)는 두 번 등장한다: pow 자체가 n 의 가장 큰 소수로 정의되고, 최종 답은 소수들에 대한 최솟값이다. 도구 #15 (다르게 정리하기)는 위압적인 곱을 정렬된 집계로 바꾼다: n 을 2부터 5300까지 훑는 대신, 가장 큰 소수가 무엇인지에 따라 n 을 묶는다. 이어서 도구 #2 (빠짐없이 나열하기)와 도구 #3 (가능성 지우기)으로 67 기여자를 층별로 정확히 세면서 더 큰 소수를 몰래 품은 것들을 걸러낸다. 도구 #9 (더 쉬운 문제로 줄이기)는 작은 소수 셋을 다룬다: 정확한 집계는 필요 없고 각각이 67의 집계를 넘는다는 것만 보이면 되는데, 여유가 생각보다 얇아서 이 확인은 장식이 아니라 반드시 해야 하는 단계가 된다.

1STEP 1

네 소수의 세기로 쪼개기

나누는 수가 소수로 쪼개진다.

2010=2 · 3 · 5 · 67 ⟹ m=min(v₂(X), v₃(X), v₅(X), v₆₇(X))
2STEP 2

가장 큰 소수로 항 분류하기

각 수는 자기 최대 소인수에만 기여한다.

v_p(X)=Σ_{2 ≤ n ≤ 5300 ; n 의 가장 큰 소수 = p} v_p(n)
3STEP 3

67 기여자를 모두 기술하기

기여자들이 기술 가능한 집합을 이룬다.

n=67^a b, a ≥ 1, 67 ∤ b, b 의 모든 소인수 < 67, 67^ab ≤ 5300 → a 만큼 기여
4STEP 4

a = 1 층 세기

첫 층이 75를 준다.

b ≤ ⌊ 5300/67 ⌋=79; b∈{67,71,73,79} 제거; 79-4=75 개, 기여 75
5STEP 5

a = 2 층 세기

둘째 층이 2를 더한다.

67²=4489 ≤ 5300 < 8978=2 · 67² → n=4489 뿐이고 2를 기여; v₆₇(X)=75+2=77
6STEP 6

2의 개수 확인 — 아슬아슬한 쪽

2의 개수가 아슬아슬한 경쟁자다.

v₂(X)=Σ_k=1¹² k=(12 · 13)/2=78, 2¹²=4096 ≤ 5300 < 8192=2¹³
7STEP 7

3과 5의 개수 확인

나머지 두 소수는 넉넉히 크다.

v₃(X)=11+20+24+28+25+18+14=140; v₅(X) ≥ 41 · 1+25 · 2=91
8STEP 8

최솟값 취하기

가장 작은 개수는 77, 보기 (D).

m=min(78, 140, ≥ 91, 77)=77 → (D)
정답
77
독립적인 확인 두 가지. 첫째, 크기 어림: 67은 본질적으로 5300 이하의 67의 배수에서 나오고 그 개수는 ⌊ 5300/67⌋=79 인데, 큰 소수 세 경우를 빼고 제곱 항에서 하나를 더해 77에 이르렀다. 선택지가 약속한 74 에서 78 사이에 들어간다. 둘째, 더 중요한 충분성 확인은 실제로 빡빡하다: v₂(X)=78이 77을 단 하나 차이로 넘는다. 만약 문제의 상한이 5300이 아니라 5500 이었다면 67의 집계는 80까지 오르는데 2의 집계는 78에 그대로 머물고 (다음 2의 거듭제곱인 8192가 여전히 범위 밖이므로), 답은 67이 아니라 2가 결정하는 78이 되었을 것이다. 상한 5300은 그 전환점 바로 아래에 놓여 있다. 작은 경계 경우들도 들어맞는다: n=5293=67 · 79는 범위 안이지만 진짜 가장 큰 소수가 79 > 67이라 제외되고, n=4489=67²은 67을 둘 기여하는 유일한 항이다.
💡핵심 정리

2010=2 · 3 · 5 · 67 이므로 소수마다 따로 세고 가장 작은 값을 고르면 된다. 67이 77 에서 먼저 바닥나고, 2는 정확히 하나 남기고 살아남는다.

  • 네 소수의 세기로 쪼개기
  • 가장 큰 소수로 항 분류하기
  • 67 기여자를 모두 기술하기
  • a = 1 층 세기
  • a = 2 층 세기
  • 2의 개수 확인 — 아슬아슬한 쪽
  • 3과 5의 개수 확인
  • 최솟값 취하기