Maths Olympiad Prep

Library / /263 of 520

Number theory Difficulty 6.5 National olympiad Find the answer

Find the largest integer k(k2)k(k \geq 2), for which there exists an integer n(nk)n(n \geq k) such that from any collection of nn consecutive positive integers one can always choose kk numbers, which verify the following conditions:

1. each chosen number is not divisible by 6, by 7 and by 8;
2. the positive difference of any two different chosen numbers is not divisible by at least one of the numbers 6, 7 or 8.

A number or a short expression. Spacing and $ signs are ignored.

Solution

An integer is divisible by 6, 7, and 8 if and only if it is divisible by their Least Common Multiple, which equals 6×7×4=1686 \times 7 \times 4 = 168.

Let nn be a positive integer and let AA be an arbitrary set of nn consecutive positive integers. Replace each number aia_{i} from AA with its remainder rir_{i} (mod 168). The number aia_{i} is divisible by 6 (7 or 8) if and only if its remainder rir_{i} is divisible by 6 (respectively 7 or 8). The difference aiaj\left|a_{i} - a_{j}\right| is divisible by 168 if and only if their remainders ri=rjr_{i} = r_{j}.

Choosing kk numbers from the initial set AA, which verify the required conditions, is the same as choosing kk their remainders (mod 168) such that:

1. each chosen remainder is not divisible by 6, 7, and 8;
2. all chosen remainders are different.

Suppose we have chosen kk numbers from AA, which verify the conditions. Therefore, all remainders are different and k168k \leq 168 (otherwise, there would be two equal remainders).

Denote by B={0,1,2,3,,167}B = \{0, 1, 2, 3, \ldots, 167\} the set of all possible remainders (mod 168) and by BmB_{m} the subset of all elements of BB, which are divisible by mm. Compute the number of elements of the following subsets:

B6=168÷6=28,B7=168÷7=24,B8=168÷8=21B6B7=B42=168÷42=4,B6B8=B24=168÷24=7B7B8=B56=168÷56=3,B6B7B8=B168=1 \begin{gathered} \left|B_{6}\right| = 168 \div 6 = 28, \quad \left|B_{7}\right| = 168 \div 7 = 24, \quad \left|B_{8}\right| = 168 \div 8 = 21 \\ \left|B_{6} \cap B_{7}\right| = \left|B_{42}\right| = 168 \div 42 = 4, \quad \left|B_{6} \cap B_{8}\right| = \left|B_{24}\right| = 168 \div 24 = 7 \\ \left|B_{7} \cap B_{8}\right| = \left|B_{56}\right| = 168 \div 56 = 3, \quad \left|B_{6} \cap B_{7} \cap B_{8}\right| = \left|B_{168}\right| = 1 \end{gathered}

Denote by D=B6B7B8D = B_{6} \cup B_{7} \cup B_{8}, the subset of all elements of BB, which are divisible by at least one of the numbers 6, 7, or 8. By the Inclusion-Exclusion principle we got

D=B6+B7+B8(B6B7+B6B8+B7B8)+B6B7B8=28+24+21(4+7+3)+1=60. \begin{gathered} |D| = \left|B_{6}\right| + \left|B_{7}\right| + \left|B_{8}\right| - \left(\left|B_{6} \cap B_{7}\right| + \left|B_{6} \cap B_{8}\right| + \left|B_{7} \cap B_{8}\right|\right) + \left|B_{6} \cap B_{7} \cap B_{8}\right| = \\ 28 + 24 + 21 - (4 + 7 + 3) + 1 = 60. \end{gathered}

Each chosen remainder belongs to the subset BDB \setminus D, since it is not divisible by 6, 7, and 8. Hence, kBD=16860=108k \leq |B \setminus D| = 168 - 60 = 108.

Let us show that the greatest possible value is k=108k = 108. Consider n=168n = 168. Given any collection AA of 168 consecutive positive integers, replace each number with its remainder (mod 168). Choose from these remainders 108 numbers, which constitute the set BDB \setminus D. Finally, take 108 numbers from the initial set AA, having exactly these remainders. These k=108k = 108 numbers verify the required conditions.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.