Finding the Integer

For any integer k 1 k\ge1 , let p ( k ) p(k) be the smallest prime which does not divide k k . Define the integer function X ( k ) X(k) to be the product of all primes less than p ( k ) p(k) if p ( k ) > 2 p(k)>2 , and X ( k ) = 1 X(k)=1 if p ( k ) = 2 p(k)=2 . Let { x n } \{x_n\} be the sequence defined by x 0 = 1 x_0=1 , and x n + 1 X ( x n ) = x n p ( x n ) x_{n+1}X(x_n)=x_np(x_n) for n 0 n\ge0 . Find the smallest positive integer, t t such that x t = 2090 x_t=2090 .


The answer is 149.

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

Johanz Piedad
Sep 12, 2015

Let q k q_k denote the k k -th prime. Assign to the positive integer m = k = 1 q k a k m=\prod_{k=1}^\infty q_k^{a_k} the infinite string S ( m ) = a 1 , a 2 , S(m)=\overline{a_1,a_2,\dots} (of course, for some K K , all k > K k>K have a k = 0 a_k=0 ). Look at how we get S ( x n + 1 ) S(x_{n+1}) from S ( x n ) S(x_n) . Recall that x n + 1 = x n p ( x n ) X ( x n ) x_{n+1}=\frac{x_n p(x_n)}{X(x_n)} . Let the index of the prime p ( x n ) p(x_n) in ( q k ) (q_k) be \ell , then a a_{\ell} is the index of the first number in S ( x n ) S(x_n) for which a = 0 a_\ell=0 . Hence S ( x n + 1 ) S(x_{n+1}) is the same as S ( x n ) S(x_n) with its first 1 \ell-1 numbers decreased by 1 1 , and its \ell -th number increased by 1 1 . Let's prove by induction that S ( x n ) S(x_n) is none other than the binary representation of n n written backwards. It's easy to check that this holds for small n n , now assume it holds for some n > 0 n>0 . Then the binary representation of n + 1 n+1 can be derived from S ( x n ) S(x_n) by changing the first few 1 1 digits to 0 0 , until we hit a 0 0 , and we switch that 0 0 to 1 1 . But since this is the same way to reach S ( x n + 1 ) S(x_{n+1}) , the two strings are the same. This establishes our claim. Since S ( 2090 ) = S ( 2 5 11 19 ) = S ( p 1 p 3 p 5 p 8 ) = 1010100 1 000 S(2090)=S(2\cdot 5\cdot 11\cdot 19)=S(p_1\cdot p_3\cdot p_5\cdot p_8)=\overline{10101001'000\dots} , this means that the index n n we are looking for is 2 7 + 2 4 + 2 2 + 2 0 = 128 + 16 + 4 + 1 = 149 2^{7}+2^4+2^2+2^0=128+16+4+1=\boxed{149}

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...