AMC 10 · 2003 · #23

학년 8 number-theory
prime-factorizationdivisor-countperfect-squares identify-subproblemssystematic-enumeration ↑ 선수 지식: prime-factorization
📏 긴 풀이 💡 3 개 인사이트
문제
N=1! · 2! · 3! · 4! · 5! · 6! · 7! · 8! · 9!이라 하자. N의 약수이면서 완전제곱수인 양의 정수 d, 즉 어떤 정수 m에 대해 d=m²인 d의 개수를 구하라.

답을 골라 클릭하세요.

(A)
504
(B)
672
(C)
864
(D)
936
(E)
1008
풀이 과정
전략 작은 문제로 쪼개기

N을 소인수로 쓰기 전에는 아무것도 셀 수 없는데, 아홉 개의 계승을 곧이곧대로 곱하는 것은 가망이 없다. 도구 #15(다르게 정리하기)가 이를 해결한다. 곱을 계승별로 읽는 대신 수별로 읽어서, 1부터 9까지의 각 수가 아홉 개의 계승 중 몇 개 안에 들어 있는지를 묻는 것이다. 이 재정리 하나로 N은 아홉 개의 단순한 거듭제곱이 된다. 그다음 도구 #7(작은 문제로 쪼개기)이 소수를 하나씩 처리한다. 2의 지수, 3의 지수, 5의 지수, 7의 지수 — 큰 장부 정리가 네 번의 작은 덧셈이 되고, 뒤에서는 '완전제곱 약수가 몇 개인가'라는 하나의 어려운 질문을 서로 독립인 네 개의 쉬운 질문으로 갈라 준다. 도구 #4(변수 도입하기)는 일반적인 약수를 2^a3^b5^c7^e로 이름 붙여, 'N을 나눈다'와 '완전제곱수이다'를 둘 다 네 수에 대한 평범한 조건으로 바꾼다. 도구 #2(빠짐없이 나열하기)가 각 소수에 허용되는 짝수 지수를 나열하고 그 개수를 곱해 마무리한다.

1STEP 1

계승별이 아니라 밑별로 다시 묶기

밑별로 다시 묶으면 각 k는 아홉 계승에서 10 빼기 k번 나타난다.

N=Π_n=1⁹n!=Π_k=1⁹k¹0-k=1⁹ · 2⁸ · 3⁷ · 4⁶ · 5⁵ · 6⁴ · 7³ · 8² · 9¹
2STEP 2

아홉 개의 밑을 소인수로 쪼개기

모든 밑이 9 이하이므로 나타날 수 있는 소수는 2, 3, 5, 7뿐이다.

N=2⁸ · 3⁷ · (2²)⁶ · 5⁵ · (2 · 3)⁴ · 7³ · (2³)² · (3²)¹
3STEP 3

소수별 지수 합산하기

소수별로 지수를 모으면 2³⁰ · 3¹³ · 5⁵ · 7³이다.

N=2³⁰ · 3¹³ · 5⁵ · 7³
4STEP 4

모든 약수를 기술하기

소인수분해의 유일성에 의해 약수는 그 범위 안의 지수 선택이다.

d ∣ N⇔ d=2^a3^b5^c7^e, 0 ≤ a ≤ 30, 0 ≤ b ≤ 13, 0 ≤ c ≤ 5, 0 ≤ e ≤ 3
5STEP 5

약수가 제곱수일 조건 정확히 말하기

제곱수인 것은 모든 지수가 짝수일 때이고, 양방향으로 증명된다.

2^a3^b5^c7^e가 완전제곱수 ⇔ a,b,c,e가 모두 짝수
6STEP 6

짝수 선택지를 세어 곱하기

짝수 선택지 16, 7, 3, 2를 곱하면 672, 보기 (B).

16 · 7 · 3 · 2=672→(B)
정답
672
답 전체가 소수 지수에 달려 있으므로, 장부를 다르게 정리해 다시 세어 본다. 밑별이 아니라 계승별로 가는 것이다. n=1,2,…,9에 대해 n! 안의 인수 2의 개수는 0,1,1,3,3,4,4,7,7이고 합은 30이다. 3에 대해서는 0,0,1,1,1,2,2,2,4로 합이 13, 5에 대해서는 0,0,0,0,1,1,1,1,1로 합이 5, 7에 대해서는 0,0,0,0,0,0,1,1,1로 합이 3이다. 네 합 모두 3단계와 정확히 일치하며, 완전히 다른 경로로 얻은 결과다. 크기 검산도 들어맞는다. N의 약수는 모두 31 · 14 · 6 · 4=10416개이므로 제곱 약수는 그중 약 6.5%인데, 제곱수가 차지할 법한 작은 비율이다. 마지막으로 아슬아슬한 보기가 교훈을 준다. 7의 지수가 짝수 값을 둘이 아니라 셋 허용한다고 잘못 보면 16 · 7 · 3 · 3=1008, 즉 보기 (E)가 나온다. 상한 7³은 7⁰과 7²만 허용하므로 올바른 개수는 672, 보기 (B)이다.
💡핵심 정리

곱을 다시 써서 각 수가 몇 개의 계승 안에 사는지 드러내면, 제곱 약수란 결국 각 소수를 짝수만큼 덜어낸 것일 뿐이다.

  • 계승별이 아니라 밑별로 다시 묶기
  • 아홉 개의 밑을 소인수로 쪼개기
  • 소수별 지수 합산하기
  • 모든 약수를 기술하기
  • 약수가 제곱수일 조건 정확히 말하기
  • 짝수 선택지를 세어 곱하기