AMC 10 · 2015 · #15

학년 8 rate-ratio
fraction-decimal-conversionprime-factorizationplace-valueexponents identify-subproblemsextreme-principle ↑ 선수 지식: fraction-decimal-conversionexponents
📏 긴 풀이 💡 3 개 인사이트
문제
분모가 두 소수로 된 분수가 유한소수로 끝난다. 소수점 아래 최소 자릿수를 구하여라.

답을 골라 클릭하세요.

(A)
4
(B)
22
(C)
26
(D)
30
(E)
104
풀이 과정
전략 다르게 정리하기

이 나눗셈을 직접 계산하고 싶은 사람은 없다. 빠져나가는 길은 분모가 10의 거듭제곱이 되도록 분수를 다시 쓰는 것이다. 분모가 10^k 인 분수는 소수 자리를 겉으로 드러낸다. 소수점 아래 자리는 곧 분자의 마지막 k 자리이기 때문이다. 이렇게 한 번 다시 정리하는 것만으로 긴 나눗셈 문제가 세는 문제로 바뀐다. 그런데 물어본 것은 최솟값이고, 최솟값은 두 개의 주장이 겹쳐진 것이다. 어떤 자릿수는 실제로 되어야 하고, 그보다 작은 자릿수는 모두 안 되어야 한다. 되는 쪽은 다시 쓰기에서 저절로 따라온다. 정작 증명이 필요한 것은 안 되는 쪽이고, 그것은 지나치기 쉬운 사실 하나에 걸려 있다. 123456789가 홀수라는 사실이다. 소수는 끝의 0을 잘라내야만 짧아질 수 있는데, 분자가 홀수면 잘라낼 0이 하나도 남지 않는다. 그래서 계획은 이렇다. 다시 쓰고, 자릿수를 변수로 두고, 충분함을 증명하고, 더 줄일 수 없음을 증명한다.

1STEP 1

자릿수 문제를 정수 판정으로 바꾸기

자릿수는 정수 판정이다.

x = M/10^k (M은 정수) ⇔ 10^k x ∈ Z
2STEP 2

최솟값에는 증명이 두 개 필요하다

한 번 되면 자릿수가 많아도 된다.

10^kx ∈ Z ⟹ 10^k+1x = 10·(10^kx) ∈ Z
3STEP 3

분모를 10의 거듭제곱으로 다시 짓기

분모가 10의 거듭제곱으로 다시 지어진다.

123456789/(2²⁶ · 5⁴) = (123456789 · 5²²)/(2²⁶ · 5²⁶) = (123456789 · 5²²)/10²⁶
4STEP 4

26자리면 충분하다

따라서 26자리면 충분하다.

10²⁶x = 123456789 · 5²² = 294343922138214111328125 ∈ Z
5STEP 5

끝자리는 0이 아니라 5이다

끝자리가 홀수여서 한 자리 적으면 안 된다.

123456789 · 5²² = 294343922138214111328125는 홀수 ⟹ 10²⁵x = (123456789 · 5²²)/10 ∉ Z
6STEP 6

두 쪽을 합치기

양쪽 모두 26을 준다, 보기 (D).

max(26, 4) = 26
정답
26
일반 규칙과도 맞는다. 분모가 2^a · 5^b 인 기약분수는 정확히 max(a,b) 개의 소수 자리를 필요로 한다. 여기서 123456789는 끝자리가 9라 분모와 2도 5도 공유하지 않으므로 이미 기약분수이고, max(26,4)=26이다. 이 확인은 어떤 사실이 핵심을 떠받치고 있는지도 보여준다. 분자가 홀수라는 것은 장식이 아니다. 만약 분자가 123456788 = 2² · 30864197 이었다면 2가 두 개 약분되어 답은 24로 떨어졌을 것이다. 값의 크기도 앞뒤가 맞는다. 123456789/2²⁶ ≈ 1.84 이므로 5⁴ = 625로 나누면 0.0029 근처가 되고, 그래서 정확한 소수 0.00294343922138214111328125가 0 두 개로 시작한다. 자리만 채우는 이 0들도 소수점 오른쪽의 자리로 세어야 하는데, 10^kx ∈ Z 라는 정수 판정은 이를 따로 따질 필요 없이 자동으로 세어 준다.
💡핵심 정리

분모를 10의 거듭제곱으로 만들어라. 소수 자릿수는 그때 필요했던 지수이고, 분자가 홀수라면 끝에서 단 한 자리도 잘라낼 수 없다.

  • 자릿수 문제를 정수 판정으로 바꾸기
  • 최솟값에는 증명이 두 개 필요하다
  • 분모를 10의 거듭제곱으로 다시 짓기
  • 26자리면 충분하다
  • 끝자리는 0이 아니라 5이다
  • 두 쪽을 합치기