Maths Olympiad Prep

Library / /34 of 61

Number theory Difficulty 6.5 National Olympiad Prove it Canada

Problem:
Let kk be a given even positive integer. Sarah first picks a positive integer NN greater than 11 and proceeds to alter it as follows: every minute, she chooses a prime divisor pp of the current value of NN, and multiplies the current NN by pkp1p^{k}-p^{-1} to produce the next value of NN. Prove that there are infinitely many even positive integers kk such that, no matter what choices Sarah makes, her number NN will at some point be divisible by 20182018.

Solution

Solution:
Note that 10091009 is prime. We will show that if k=1009m1k=1009^{m}-1 for some positive integer mm, then Sarah's number must at some point be divisible by 20182018. Let PP be the largest divisor of NN not divisible by a prime congruent to 11 modulo 10091009. Assume for contradiction that NN is never divisible by 20182018. We will show that PP decreases each minute. Suppose that in the ttht^{\text{th}} minute, Sarah chooses the prime divisor pp of NN. First note that NN is replaced with pk+11pN\frac{p^{k+1}-1}{p} \cdot N where
pk+11=p1009m1=(p1)(p1009m1+p1009m2++1) p^{k+1}-1 = p^{1009^{m}}-1 = (p-1)\left(p^{1009^{m}-1}+p^{1009^{m}-2}+\cdots+1\right)
Suppose that qq is a prime number dividing the second factor. Since qq divides p1009m1p^{1009^{m}}-1, it follows that qpq \neq p and the order of pp modulo qq must divide 1009m1009^{m} and hence is either divisible by 10091009 or is equal to 11. If it is equal to 11 then p1(modq)p \equiv 1 \pmod{q}, which implies that
0p1009m1+p1009m2++11009m(modq) 0 \equiv p^{1009^{m}-1}+p^{1009^{m}-2}+\cdots+1 \equiv 1009^{m} \quad (\bmod q)
and thus q=1009q=1009. However, if q=1009q=1009 then p1010p \geq 1010 and pp must be odd. Since p1p-1 now divides NN, it follows that NN is divisible by 20182018 in the (t+1)th(t+1)^{\text{th}} minute, which is a contradiction. Therefore the order of pp modulo qq is divisible by 10091009 and hence 10091009 divides q1q-1. Therefore all of the prime divisors of the second factor are congruent to 11 modulo 10091009. This implies that PP is replaced by a divisor of p1pP\frac{p-1}{p} \cdot P in the (t+1)th(t+1)^{\text{th}} minute and therefore decreases. Since P1P \geq 1 must always hold, PP cannot decrease forever. Therefore NN must at some point be divisible by 20182018.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.