AMC 10 · 2015 · #15

Grade 8 rate-ratio
fraction-decimal-conversionprime-factorizationplace-valueexponents identify-subproblemsextreme-principle ↑ Prerequisites: fraction-decimal-conversionexponents
📏 Long solution 💡 3 insights
Problem
A fraction with a two-prime denominator terminates as a decimal. Find the fewest digits after the point.

Pick an answer.

(A)
4
(B)
22
(C)
26
(D)
30
(E)
104
How to solve
Strategy Organize Information in More Ways

Nobody wants to carry out this division. The way out is to rewrite the fraction so the denominator is a power of ten, because a fraction over 10^k wears its decimal digits on its face: the digits after the point are just the last k digits of the numerator. That single re-organisation converts a long-division question into a counting question. But the word asked for is minimum, and a minimum is two claims stacked together — one count must work, and every smaller count must fail. The working half comes free from the rewrite. The failing half is the part that actually needs proof, and it hinges on a fact easy to walk past: 123456789 is odd. A decimal can only be shortened by cutting trailing zeros, and an odd numerator leaves none to cut. So the plan is: rewrite, name the digit count as a variable, prove enough, then prove not fewer.

1STEP 1

Turn digit count into an integer test

Digit count is a whole-number test.

x = M/10^k for an integer M ⇔ 10^k x ∈ Z
2STEP 2

A minimum needs two proofs

Working once means working for more digits too.

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

Rebuild the denominator as a power of ten

The denominator rebuilds as a power of ten.

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

Twenty-six digits are enough

So 26 digits are enough.

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

The final digit is 5, not 0

The final digit is odd, so one fewer fails.

123456789 · 5²² = 294343922138214111328125 is odd ⟹ 10²⁵x = (123456789 · 5²²)/10 ∉ Z
6STEP 6

Collect the two halves

Both halves give 26, choice (D).

max(26, 4) = 26
Answer
26
The general rule agrees: a fraction in lowest terms whose denominator is 2^a · 5^b needs exactly max(a,b) decimal digits. Here the fraction is already in lowest terms, because 123456789 ends in 9 and so shares no factor of 2 or 5 with the denominator, giving max(26,4)=26. That check also shows which fact is load-bearing: the oddness of the numerator is not decoration. Had the numerator been 123456788 = 2² · 30864197, two of the 2s would cancel and the answer would fall to 24. The size of the value is consistent too — 123456789/2²⁶ ≈ 1.84, so after dividing by 5⁴ = 625 the number is near 0.0029, which is why the exact decimal 0.00294343922138214111328125 opens with two zeros. Those placeholder zeros still count as digits to the right of the point, and the integer test 10^kx ∈ Z counts them automatically rather than leaving them to be argued about.
💡Key takeaway

Give the fraction a power-of-ten denominator: the number of decimal digits is the exponent you needed, and if the top is odd, not a single digit can be trimmed off the end.

  • Turn digit count into an integer test
  • A minimum needs two proofs
  • Rebuild the denominator as a power of ten
  • Twenty-six digits are enough
  • The final digit is 5, not 0
  • Collect the two halves