AMC 10 · 2003 · #18

학년 8 number-theory
prime-factorizationexponentsmodular-arithmetic identify-subproblemsextreme-principle ↑ 선수 지식: prime-factorization
📏 긴 풀이 💡 3 개 인사이트
문제
양의 정수 x와 y가 7x⁵ = 11y¹³을 만족한다. 이런 모든 쌍 중에서 x가 가장 작은 경우를 고르면, 그 x는 a^cb^d 꼴의 소인수분해를 가진다. a+b+c+d를 구하라.

답을 골라 클릭하세요.

(A)
30
(B)
31
(C)
32
(D)
33
(E)
34
풀이 과정
전략 변수 도입하기

여기 나오는 수는 너무 커서 적을 수조차 없지만 중요한 것은 소수의 지수뿐이므로, 도구 #4(변수 도입하기)로 그 지수에 이름을 붙인다 — x 안의 7의 개수를 c, 11의 개수를 d라 하자. 이어서 도구 #7(작은 문제로 쪼개기)이 하나의 거대한 식을 소수마다 하나씩의 작은 식으로 나눈다. 소인수분해가 유일하므로 지수는 소수별로 따로 맞아야 하기 때문이다. "최소"라는 말이 요구하는 것이 바로 도구 #14(극단의 원리)다 — 각 지수에는 허용되는 가장 작은 값이 있고, 모든 지수를 그 한계까지 내리는 것이 곧 x를 최소로 만드는 방법이다. 도구 #6(추측하고 확인하기)이 각 작은 식을 마무리한다 — 5c+1=13m은 후보가 몇 개 없어서 m=1,2,3,…을 걸어가 보면 금방 결정된다.

1STEP 1

소수 하나씩 비교하기

소인수분해의 유일성으로 각 소수를 따로 맞출 수 있어 식 하나가 작은 여러 식이 된다.

7x⁵=11y¹³ ⟹ (왼쪽 변의 p 의 지수) = (오른쪽 변의 p 의 지수) 모든 소수 p 에 대해
2STEP 2

7과 11 말고 다른 소수는 손해다

다른 소수는 지수가 매우 커야 하므로 최소의 x는 지정된 두 소수만 쓴다.

5e = 13f → 13 ∣ e → e ∈ {0, 13, 26, …} → e = 0
3STEP 3

양변을 지수 꼴로 쓰기

양변을 거듭제곱으로 쓰고 맞추면 합동식 둘이 나온다.

7x⁵ = 7⁵c+111⁵d, 11y¹³ = 7¹3m11¹³ⁿ⁺¹ ⟹ 5c+1 = 13m 그리고 5d = 13n+1
4STEP 4

5c+1이 13의 배수가 되는 최소의 c

하나씩 올려 보면 첫 소수의 최소 지수는 5이다.

m=1: 5c=12 (불가) m=2: 5c=25 → c=5 (가능)
5STEP 5

5d-1이 13의 배수가 되는 최소의 d

같은 방법으로 둘째 지수는 8이다.

n=0: 5d=1 (불가) n=1: 5d=14 (불가) n=2: 5d=27 (불가) n=3: 5d=40 → d=8
6STEP 6

최소임을 확인하고 더하기

짝이 되는 상대를 제시해 확인하면 네 수의 합은 31, 보기 (B).

x_min = 7⁵ · 11⁸, y = 7² · 11³, a+b+c+d = 7+11+5+8 = 31 → (B)
정답
31
찾은 쌍을 원래 식에 바로 넣어 확인할 수 있다. 7x⁵ = 7 · 7²⁵11⁴⁰ = 7²⁶11⁴⁰이고 11y¹³ = 11 · 7²⁶11³⁹ = 7²⁶11⁴⁰이므로 양변이 정확히 같다. 또 이름 붙이기와 무관하다는 점도 눈여겨볼 만하다. (a,c)=(7,5), (b,d)=(11,8)이든 그 반대든 합 7+11+5+8은 똑같이 31이다. 선택지는 30부터 34까지 서로 1씩 차이라 찍기가 통하지 않으므로 지수 하나하나가 정확해야 한다. c를 4로, d를 7로 내리면 13으로 나누어떨어지는 조건이 깨지고, 어느 쪽이든 하나 올리면 아무 문제도 해결하지 못한 채 x만 커진다.
💡핵심 정리

소수들의 곱 두 개가 같을 땐 소수를 하나씩 세어 보라. 가장 작은 수는 모든 지수를 허용되는 최저값까지 내린 수다.

  • 소수 하나씩 비교하기
  • 7과 11 말고 다른 소수는 손해다
  • 양변을 지수 꼴로 쓰기
  • 5c+1이 13의 배수가 되는 최소의 c
  • 5d-1이 13의 배수가 되는 최소의 d
  • 최소임을 확인하고 더하기