Base 2014 Termination

Suppose a rational number r < 1 r<1 can be expressed as r = 1 n r=\dfrac{1}{n} for some positive integer n n . The sum of all possible values of r r such that the base 2014 2014 representation of r r is a terminating decimal can be expressed as p q \dfrac{p}{q} for coprime positive integers p , q p,q . What is the value of p p ?


The answer is 539.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Daniel Liu
Mar 20, 2014

Lemma: If 1 n \dfrac{1}{n} is a terminating decimal in base 2014 = 2 19 53 2014=2\cdot 19\cdot 53 , then n = 2 a 1 9 b 5 3 c n=2^a\cdot 19^b\cdot 53^c for non-negative integers a , b , c a,b,c .

Proof: If we can prove that after moving the decimal point of the base 2014 2014 representation enough places to the right, the fraction becomes an integer, then we would have proved that it is a terminating decimal. Note that multiplying a number in base 2014 2014 by 2014 2014 moves the decimal point one place to the right, just like in base 10 10 , where when we multiply a number by 10 10 it moves the decimal point one place to the right. Let x = max ( a , b , c ) x=\text{max}(a,b,c) . We multiply our fraction 1 2 a 1 9 b 5 3 c \dfrac{1}{2^a\cdot 19^b\cdot 53^c} by 201 4 x 2014^x (moving the decimal x x places to the right) to obtain the fraction 201 4 x 2 a 1 9 b 5 3 c = 2 x 1 9 x 5 3 x 2 a 1 9 b 5 3 c \dfrac{2014^x}{2^a\cdot 19^b\cdot 53^c}=\dfrac{2^x\cdot 19^x\cdot 53^x}{2^a\cdot 19^b\cdot 53^c}

Clearly 2 a 2 x 2^a\mid 2^x , 1 9 b 1 9 x 19^b\mid 19^x , and 5 3 c 5 3 x 53^c\mid 53^x ; therefore 2 x 1 9 x 5 3 x 2 a 1 9 b 5 3 c \dfrac{2^x\cdot 19^x\cdot 53^x}{2^a\cdot 19^b\cdot 53^c} is an integer and we are done.

Lemma: If n n contains a factor that is not 2 2 , 19 19 , or 53 53 , then 1 n \dfrac{1}{n} is not a terminating decimal in base 2014 2014 .

Proof: Let n = ( 2 a 1 9 b 5 3 c ) ( 3 e 1 5 e 2 7 e 3 ) n=(2^a\cdot 19^b\cdot 53^c)\cdot (3^{e_1}\cdot 5^{e_2}\cdot 7^{e_3}\cdots ) , where e 1 , e 2 , e 3 , Z + e_1,e_2,e_3,\ldots \in \mathbb{Z}^+ (this is just the prime factorization form of the number n n ). We multiply 1 n \dfrac{1}{n} by 201 4 x 2014^x for some positive integer x x to move the decimal point x x places to the right. However, notice that for all x x , 201 4 x ( 2 a 1 9 b 5 3 c ) ( 3 e 1 5 e 2 ) \dfrac{2014^x}{(2^a\cdot 19^b\cdot 53^c)\cdot (3^{e_1}\cdot 5^{e_2}\cdots)} will only be an integer if e 1 = e 2 = e 3 = = 0 e_1=e_2=e_3=\cdots = 0 , because 3 , 5 , 7 , ∤ 2014 3,5,7,\cdots \not\mid 2014 .

Conclusion: Therefore, the only way for 1 n \dfrac{1}{n} to be a terminating decimal is when n = 2 a 1 9 b 5 3 c n=2^a\cdot 19^b\cdot 53^c .

Finishing the problem: We want to find the sum of all values of 1 2 a 1 9 b 5 3 c \dfrac{1}{2^a\cdot 19^b\cdot 53^c} as a , b , c a,b,c ranges through all non-negative integers. You may calculate this the classic way, but here is a neat trick:

We see that ( 1 2 0 + 1 2 1 + 1 2 2 + ) ( 1 1 9 0 + 1 1 9 1 + 1 1 9 2 + ) ( 1 5 3 0 + 1 5 3 1 + 1 5 3 2 + ) \left(\dfrac{1}{2^0}+\dfrac{1}{2^1}+\dfrac{1}{2^2}+\cdots\right)\left(\dfrac{1}{19^0}+\dfrac{1}{19^1}+\dfrac{1}{19^2}+\cdots\right)\left(\dfrac{1}{53^0}+\dfrac{1}{53^1}+\dfrac{1}{53^2}+\cdots\right) covers every single ordered pair ( a , b , c ) (a,b,c) for all a , b , c 0 a,b,c\ge 0 . (Convince yourself this is true with the distributive property.) We use the sum of geometric sequence formula for each of the geometric sums, to get the sum of all 1 2 a 1 9 b 5 3 c \dfrac{1}{2^a\cdot 19^b\cdot 53^c} as a , b , c a,b,c ranges through all non-negative integers as: ( 2 1 ) ( 19 18 ) ( 53 52 ) = 1007 468 \left(\dfrac{2}{1}\right)\left(\dfrac{19}{18}\right)\left(\dfrac{53}{52}\right)=\dfrac{1007}{468} . However, remember that r < 1 r<1 , but we included the case where r = 1 2 0 1 9 0 5 3 0 = 1 r=\dfrac{1}{2^0\cdot 19^0\cdot 53^0}=1 . Therefore, we subtract 1 1 from 1007 468 \dfrac{1007}{468} to get 539 468 \dfrac{539}{468} , and our answer is therefore 539 \boxed{539} . Phew! \Box

I just forgot to subtract 1 from 1007 468 \frac{1007}{468}

Shriram Lokhande - 7 years, 2 months ago

Log in to reply

I too forgot to subtract 1 from (1007/468)

Ronak Agarwal - 6 years, 11 months ago

In the first lemma you say "If 1 n \frac1n is a terminating decimal in base 2 19 43 2\cdot19\cdot43 , then n = 2 a 1 9 b 5 3 c n=2^a\cdot19^b\cdot53^c for non-negative integers a , b , c a,b,c ." But in the proof you actually proved the converse: "If n = 2 a 1 9 b 5 3 c n=2^a\cdot19^b\cdot53^c for non-negative integers a , b , c a,b,c , then 1 n \frac1n is a terminating decimal in base 2 19 43 2\cdot19\cdot43 " . Luckily this is what we need, since both lemmas altoghether say "If it is of the proposed shape, then it works, and if it is not of the proposed shape, it doesn´t".

Luis Rivera - 7 years, 2 months ago

I'm so proud of myself for having solved this one! ^^

Richard Polak - 7 years, 2 months ago

Log in to reply

Great job! Glad you find it challenging enough to be so proud. :D

Daniel Liu - 7 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...