Maths Olympiad Prep

Library / /10 of 24

Number theory Difficulty 6.2 National Olympiad Prove it Italy

Problem:

Determine for which n3n \geq 3 it is possible to find nn positive integers such that any two of them have at least one common factor different from 1, but any three of them are coprime.
If we add the condition that all the integers are less than 5000, what is the maximum possible value of nn?

Solution

Solution:

It is possible for all positive integers n3n \geq 3. To each pair of integers {i,j}\{i, j\} with 1i<jn1 \leq i < j \leq n associate a prime number pij=pjip_{ij} = p_{ji} in such a way that distinct pairs are associated with distinct primes.
Then define, for 1in1 \leq i \leq n, aia_{i} as the product of all the prime numbers pijp_{ij} with ii fixed and jj ranging over all numbers from 11 to nn different from ii. Then the numbers aia_{i} satisfy the required properties. Indeed, the prime number pijp_{ij} divides only aia_{i} and aja_{j}, and therefore the greatest common divisor of aia_{i} and aja_{j} is equal to pijp_{ij}, while there is no prime number that divides three of the numbers a1,,ana_{1}, \ldots, a_{n}.

The answer to the second question is 44. For n=4n = 4 one can take the numbers a1=235a_{1} = 2 \cdot 3 \cdot 5, a2=2711a_{2} = 2 \cdot 7 \cdot 11, a3=3713a_{3} = 3 \cdot 7 \cdot 13, a4=51113a_{4} = 5 \cdot 11 \cdot 13. For n=5n = 5, however, it is not possible, and a fortiori it is not possible for n>5n > 5. Indeed, if a1,,a5a_{1}, \ldots, a_{5} satisfied the given conditions, then for each pair {ai,aj}\{a_{i}, a_{j}\} there would be a prime number pijp_{ij} dividing both aia_{i} and aja_{j}, and all these prime numbers would have to be distinct. Therefore each number would have to be divisible by at least 44 distinct prime numbers, and each prime number would have to divide at most two of the numbers aia_{i}. In particular, the prime number 22 and the prime number 33 could each divide at most 22 of the numbers aia_{i}, so at least one of the aia_{i} would not be divisible by either 22 or 33. Such a number, being the product of at least four distinct prime numbers, would have to be greater than or equal to 571113=50055 \cdot 7 \cdot 11 \cdot 13 = 5005, contradicting the hypothesis.

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 translated into English from it; metadata (topic, difficulty) added by this project.