A sequence of pairs of integers ( x 0 , y 0 ) , ( x 1 , y 1 ) , ( x 2 , y 2 ) , . . . is defined, starting from some initial pair ( x 0 , y 0 ) , by the following formulas: For all positive integers 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 . Find the smallest N such that x N is divisible by 1 0 0 ! for every initial pair of starting values ( x 0 , y 0 ) .
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.
The recursive formulas defining the pairs also hold modulo every prime p . Note that if x i is not zero modulo p , then x i + 1 y i + 1 = x i y i + 1 . Therefore, after p − 1 or fewer steps x i y i will be zero modulo p . This means that y i is zero modulo p , so after one more step x i will be zero modulo p . Once x k ≡ 0 ( m o d p ) , the same is true for all x n with n ≥ k . Therefore, for any prime p , x k ≡ 0 ( m o d p ) for all k ≥ p .
Consider x 9 7 , with 9 7 being the largest prime less than 1 0 0 . By the above, x 9 7 is divisible by all primes from 5 3 to 9 7 , that appear once in the product 1 0 0 ! . For the primes less than 5 0 , notice that once p divides x 5 0 and y 5 0 . From this, the order of p in x 5 1 and y 5 1 is at least 3 , the order of p in x 5 2 and y 5 2 is at least 3 2 , and so on. The order of p in x 9 7 is at least 3 4 7 , which is much bigger than the order of p in 1 0 0 ! (the largest such order, the order of 2 , is given by the sum j = 1 ∑ ∞ ⌊ 2 j 1 0 0 ⌋ , which is at most j = 1 ∑ ∞ 2 j 1 0 0 = 1 0 0 ).
On the other hand, x 9 6 is not divisible by 9 7 if x 0 = y 0 = 1 . So the answer is 9 7 .
We will first show for n ≥ 2 that x n = x 0 ( 3 n + 1 ) and y n =
Then x n + 1 = and y n + 1
It is well known that n ! ∣ i = 1 ∏ n ( a + ( i − 1 ) ∗ d ) for n , a , d ∈ Z + .
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!.
Problem Loading...
Note Loading...
Set Loading...
The first pair is ( x 0 ; y 0 ) and I can choose x 0 =A and y 0 =B.
Calculating the next pairs we notice that x n contains the factors A ∗ B ∗ ( A + B ) ∗ ( 2 A + B ) ∗ ( 3 A + B ) . . . ( ( n − 1 ) A + B )
The most problematic factors of 1 0 0 ! 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 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 divided by 97 (the last prime number less than 100) n must be exactly 97.
⇒ N=97
I'm sorry for my bad english but I often make so big errors!