Olympiad Maths Prep

Library / /3 of 5

Number theory Difficulty 6.5 National olympiad Prove it Turkey

If 1<k1<k2<<kn1 < k_1 < k_2 < \dots < k_n and a1,a2,,ana_1, a_2, \dots, a_n are integers such that for every integer NN, kiNaik_i \mid N - a_i for some 1in1 \le i \le n, find the smallest possible value of nn.

Solution

Every integer NN satisfies at least one of the congruences N0(mod2)N \equiv 0 \pmod{2}, N1(mod3)N \equiv 1 \pmod{3}, N3(mod4)N \equiv 3 \pmod{4}, N5(mod6)N \equiv 5 \pmod{6}, N9(mod12)N \equiv 9 \pmod{12}. Therefore nn can be 55. We will show that n4n \le 4 is not possible.

Let 1<k1k2kn1 < k_1 \le k_2 \le \dots \le k_n and a1,a2,,ana_1, a_2, \dots, a_n be integers, and let K=lcm(k1,k2,,kn)K = \operatorname{lcm}(k_1, k_2, \dots, k_n). Since at most Kk1+Kk2++Kkn\frac{K}{k_1} + \frac{K}{k_2} + \dots + \frac{K}{k_n} integers from 11 to KK can satisfy at least one of the congruences xai(modK)x \equiv a_i \pmod{K} for 1in1 \le i \le n, we must have 1k1+1k2++1kn1\frac{1}{k_1} + \frac{1}{k_2} + \dots + \frac{1}{k_n} \ge 1 if every integer satisfies at least one of these congruences.

Now assume that 1<k1<k2<<kn1 < k_1 < k_2 < \dots < k_n and a1,a2,,ana_1, a_2, \dots, a_n satisfy the condition of the problem and that n4n \le 4 has the smallest possible value. If k1=3k_1 = 3, then 1k1+1k2++1kn13+14+15+16=1920<1\frac{1}{k_1} + \frac{1}{k_2} + \dots + \frac{1}{k_n} \le \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \frac{1}{6} = \frac{19}{20} < 1. Therefore k1=2k_1 = 2.

Without loss of generality we may assume that a1=1a_1 = 1. For 2in2 \le i \le n, let ki=kik_i' = k_i and ai=21ai(modK)a_i' = 2^{-1} a_i \pmod{K} if kik_i is odd, and let ki=ki2k_i' = \frac{k_i}{2} and ai=ai2a_i' = \frac{a_i}{2} if kik_i is even. The integers k2,,knk_2', \dots, k_n' and a2,,ana_2', \dots, a_n' satisfy the condition of the problem except that kik_i' might not be distinct. Therefore by the minimality of nn, we must have n=4n = 4 and {k2,k3,k4}={2m+1,4m+2,k}\{k_2, k_3, k_4\} = \{2m+1, 4m+2, k\}.

* If kk is odd, then {k2,k3,k4}={2m+1,2m+1,k}\{k_2', k_3', k_4'\} = \{2m+1, 2m+1, k\} and 22m+1+1k1\frac{2}{2m+1} + \frac{1}{k} \ge 1. Since 22m+1+1k23+15=1315<1\frac{2}{2m+1} + \frac{1}{k} \le \frac{2}{3} + \frac{1}{5} = \frac{13}{15} < 1, this is not possible.

25+24=910<1 and 23+28=1112<1. The only remaining case is 2m+1=3 and k=4. This gives {k2,k3,k4}={3,3,2}. Since the integers in a congruence class modulo 3 cannot be all even or all odd, this also leads to a contradiction. \frac{2}{5} + \frac{2}{4} = \frac{9}{10} < 1 \text{ and } \frac{2}{3} + \frac{2}{8} = \frac{11}{12} < 1. \text{ The only remaining case is } 2m+1 = 3 \text{ and } k=4. \text{ This gives } \{k'_2, k'_3, k'_4\} = \{3, 3, 2\}. \text{ Since the integers in a congruence class modulo 3 cannot be all even or all odd, this also leads to a contradiction.}

* If kk is even, then {k2,k3,k4}={2m+1,2m+1,k2}\{k_2', k_3', k_4'\} = \{2m+1, 2m+1, \frac{k}{2}\} and 22m+1+2k1\frac{2}{2m+1} + \frac{2}{k} \ge 1. If 2m+152m+1 \ge 5 or 2m+1=32m+1=3 and k8k \ge 8, we get contradictions because
25+24=910<1 and 23+28=1112<1. \frac{2}{5} + \frac{2}{4} = \frac{9}{10} < 1 \text{ and } \frac{2}{3} + \frac{2}{8} = \frac{11}{12} < 1.
The only remaining case is 2m+1=32m+1 = 3 and k=4k=4. This gives {k2,k3,k4}={3,3,2}\{k'_2, k'_3, k'_4\} = \{3, 3, 2\}. Since the integers in a congruence class modulo 33 cannot be all even or all odd, this also leads to a contradiction.

Therefore, the smallest possible value of nn is 55.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.