AMC 10 · 2023 · #24

학년 8 number-theory
prime-factorizationgcdlcmp-adic-valuationcasework identify-subproblemscaseworkextreme-principle ↑ 선수 지식: gcdlcmprime-factorization
📏 긴 풀이 💡 5 개 인사이트
문제
양의 정수 네 개의 곱이 주어지고 그중 여섯 쌍 각각의 최소공배수도 주어집니다. 네 수 전체의 최대공약수를 구하세요.

답을 골라 클릭하세요.

(A)
30
(B)
45
(C)
3
(D)
15
(E)
6
풀이 과정
전략 작은 문제로 쪼개기

곱셈에 관한 일곱 조건이 네 미지수를 한데 얽어 놓았고, 수를 수인 채로 두는 한 손댈 곳이 없다. 도구 #7(작은 문제로 쪼개기)이 이 문제의 전부다. 수 대신 소인수의 지수로 옮겨 가면 일곱 조건이 서로를 전혀 언급하지 않는 세 개의 퍼즐로 흩어진다. 2에 대한 퍼즐, 3에 대한 퍼즐, 5에 대한 퍼즐이다. 도구 #4(변수 도입하기)는 지수 열두 개에 이름을 붙여 그 전환을 가능하게 한다. 도구 #15(다르게 정리하기)는 번역에 쓸 사전을 마련한다. 곱하면 지수는 더해지고, 최소공배수는 큰 지수를 가져가고, 최대공약수는 작은 지수를 가져간다. 각각의 작은 퍼즐 안에서는 도구 #14(극단의 원리)가 가장 빡빡한 조건부터 손을 댄다. 가장 낮은 천장이 다른 수들을 붙잡아 주기 때문이다. 도구 #3(가능성 지우기)은 낮게 눌린 수를 높은 최댓값 후보에서 지워 낸다. 마지막으로 도구 #2(빠짐없이 나열하기)가 각 소수마다 살아남은 몇 개의 지수 네 쌍을 훑고, 그 과정에서 어떤 쌍을 고르든 답이 달라지지 않음까지 확인해 준다.

1STEP 1

지수 세 개로 바꾸기

각 수를 지수 세 개로 바꿉니다.

a = 2^a₂ 3^a₃ 5^a₅, b = 2^b₂ 3^b₃ 5^b₅, c = 2^c₂ 3^c₃ 5^c₅, d = 2^d₂ 3^d₃ 5^d₅
2STEP 2

연산을 지수로 옮기기

곱은 더하기, 최소공배수는 최댓값입니다.

nu_p(xy) = nu_p(x) + nu_p(y), nu_p(lcm(x,y)) = max(nu_p(x), nu_p(y)), nu_p(gcd(x,y)) = min(nu_p(x), nu_p(y))
3STEP 3

소수 셋, 퍼즐 셋

소수마다 독립된 퍼즐이 됩니다.

소수 2: 합 6, 소수 3: 합 9, 소수 5: 합 7, gcd(a,b,c,d) = 2^m₂ · 3^m₃ · 5^m₅
4STEP 4

첫 소수 풀기

가장 낮은 천장부터 시작합니다.

max(b₂,c₂)=1 → b₂ ≤ 1, c₂ ≤ 1 → d₂ = 2, a₂ = 3; b₂ + c₂ = 1 → (a₂,b₂,c₂,d₂) = (3,1,0,2) 또는 (3,0,1,2), m₂ = 0
5STEP 5

둘째 소수 풀기

낮은 천장이 값을 강제합니다.

max(a₃,b₃)=2 → a₃ ≤ 2, b₃ ≤ 2 → c₃ = d₃ = 3; a₃ + b₃ = 3 → (a₃,b₃,c₃,d₃) = (1,2,3,3) 또는 (2,1,3,3), m₃ = 1
6STEP 6

셋째 소수 풀기

셋째 소수도 같은 방식입니다.

b₅, c₅, d₅ ≤ 2 → a₅ = 3; b₅, c₅, d₅ 중 적어도 둘이 2; b₅ + c₅ + d₅ = 4 → {b₅, c₅, d₅} = {2, 2, 0}, m₅ = 0
7STEP 7

소수별로 답 조립하기

조립하면 3입니다.

m₂ = 0, m₃ = 1, m₅ = 0 ⟹ gcd(a,b,c,d) = 2⁰ · 3¹ · 5⁰ = 3
정답
3
실제 네 쌍을 만들어 일곱 조건을 모두 검사해 보자. 소수마다 배치를 하나씩 골라 a = 2³ 3¹ 5³ = 3000, b = 2¹ 3² 5² = 450, c = 2⁰ 3³ 5² = 675, d = 2² 3³ 5⁰ = 108로 두면 곱은 98415000000 = 2⁶ · 3⁹ · 5⁷이다. 여섯 최소공배수는 lcm(a,b) = 9000 = 2³ 3² 5³, lcm(a,c) = lcm(a,d) = 27000 = 2³ 3³ 5³, lcm(b,c) = 1350 = 2¹ 3³ 5², lcm(b,d) = lcm(c,d) = 2700 = 2² 3³ 5²로 문제의 모든 줄과 일치한다. 그리고 gcd(3000, 450, 675, 108) = 3으로 선택지 (C)와 같다. 소수마다 가능한 경우를 전부 훑으면 위에서 센 개수도 확인된다. 소수 2는 정확히 2가지, 소수 3은 정확히 2가지, 소수 5는 정확히 3가지이며, 어느 경우에도 최솟값은 0, 1, 0이다. 즉 어떤 배치를 고르든 답은 달라지지 않는다. 틀린 선택지 넷은 모두 지워진 소인수를 다시 끼워 넣은 것들이다. 30과 6은 최대공약수가 짝수여야 하는데 b, c 중 하나에는 2가 아예 없다. 30, 15, 45는 5를 요구하는데 b, c, d 중 하나에는 5가 없다.
💡핵심 정리

곱셈과 최소공배수, 최대공약수로 짜인 문제라면 수를 그대로 보지 말고 소인수의 개수를 세어 보라. 소수 하나하나가 독립된 작은 퍼즐이 되고, 최소공배수는 그저 '큰 쪽 개수 고르기'가 된다.

  • 각 수를 지수 세 개로 바꾸기
  • 곱하면 더해지고, lcm은 큰 쪽
  • 소수 셋, 퍼즐 셋
  • 소수 2: 가장 낮은 천장부터
  • 소수 3: 낮은 천장 하나가 3을 둘 만든다
  • 소수 5: 셋 중 둘은 반드시 2
  • 소수별로 답을 다시 조립하기