Somewhat Big Numbers

A sequence of pairs of integers ( x 0 , y 0 ) , ( x 1 , y 1 ) , ( x 2 , y 2 ) , . . . (x_0,y_0),\ (x_1,y_1),\ (x_2,y_2),... is defined, starting from some initial pair ( x 0 , y 0 ) , (x_0,y_0), by the following formulas: For all positive integers k k , { x k = x k 1 2 y k 1 y k = x k 1 2 y k 1 + x k 1 y k 1 2 . \begin{cases} x_{k}=x_{k-1}^2y_{k-1}\\ y_{k}=x_{k-1}^2y_{k-1}+x_{k-1}y_{k-1}^2. \end{cases} Find the smallest N N such that x N x_N is divisible by 100 ! 100! for every initial pair of starting values ( x 0 , y 0 ) . (x_0,y_0).


The answer is 97.

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.

4 solutions

Diego Stucchi
May 20, 2014

The first pair is ( x 0 (x_0 ; y 0 y_0 ) and I can choose x 0 x_0 =A and y 0 y_0 =B.

Calculating the next pairs we notice that x n x_n contains the factors A B ( A + B ) ( 2 A + B ) ( 3 A + B ) . . . ( ( n 1 ) A + B ) A * B * (A+B) * (2A+B) * (3A+B) ... ((n-1)A+B)

The most problematic factors of 100 ! 100! are prime numbers: if A and B are the prime numbers we need there is no problem. If they aren't then the x p x_p pair (where p is a prime number) can be divided by p.

We can demonstrate it using remainder classes: A can have remainder from 1 to p-1 in the division by p and when we multiplicate A by every n drom 1 to p-1 we obtain every reaminder fro 1 to p-1; the same happend to B that summed to n*A gives 0 (at least once).

In conclusion, if we want x n x_n divided by 97 (the last prime number less than 100) n must be exactly 97.

\Rightarrow N=97

I'm sorry for my bad english but I often make so big errors!

Calvin Lin Staff
May 13, 2014

The recursive formulas defining the pairs also hold modulo every prime p p . Note that if x i x_i is not zero modulo p p , then y i + 1 x i + 1 = y i x i + 1. \frac{y_{i+1}}{x_{i+1}}=\frac{y_i}{x_i}+1. Therefore, after p 1 p-1 or fewer steps y i x i \frac{y_i}{x_i} will be zero modulo p p . This means that y i y_i is zero modulo p p , so after one more step x i x_i will be zero modulo p p . Once x k 0 ( m o d p ) x_k\equiv 0\pmod p , the same is true for all x n x_n with n k n\geq k . Therefore, for any prime p p , x k 0 ( m o d p ) x_k\equiv 0 \pmod p for all k p k\geq p .

Consider x 97 x_{97} , with 97 97 being the largest prime less than 100. 100. By the above, x 97 x_{97} is divisible by all primes from 53 53 to 97 97 , that appear once in the product 100 ! 100! . For the primes less than 50 50 , notice that once p p divides x 50 x_{50} and y 50 y_{50} . From this, the order of p p in x 51 x_{51} and y 51 y_{51} is at least 3 3 , the order of p p in x 52 x_{52} and y 52 y_{52} is at least 3 2 3^2 , and so on. The order of p p in x 97 x_{97} is at least 3 47 3^{47} , which is much bigger than the order of p p in 100 ! 100! (the largest such order, the order of 2 2 , is given by the sum j = 1 100 2 j \sum \limits_{j=1}^{\infty} \lfloor \frac{100}{2^j} \rfloor , which is at most j = 1 100 2 j = 100 \sum \limits_{j=1}^{\infty} \frac{100}{2^j} = 100 ).

On the other hand, x 96 x_{96} is not divisible by 97 97 if x 0 = y 0 = 1 x_0=y_0=1 . So the answer is 97 97 .

Jared Low
May 20, 2014

We will first show for n 2 n \geq 2 that x n = x 0 ( 3 n + 1 ) x_n = x_0^(3^n+1) and y n = y_n =

Then x n + 1 = x_{n+1}= and y n + 1 y_{n+1}

It is well known that n ! i = 1 n ( a + ( i 1 ) d ) n!| \displaystyle\prod_{i=1}^{n}(a+(i-1)*d) for n , a , d Z + n, a, d \in Z^+ .

Does not make any sense.

Calvin Lin Staff - 7 years ago
Devin Ky
May 20, 2014

By substituting x0= y0 = 1, we find out that y0 = x0, y1 = 2x1, y2=3x2 and so on. By prime factorising xk, we find out that he factorisation of x2 contain 2, factorisation of x3 contain 3 and so on, so the factorisation of x97 contain 97. Since the largest prime number obtained by prime factorising 100! is 97, x97 must be the smallest value that is divisible by 100!.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...