Maths Olympiad Prep

Track / Stage 5 / 391 of 400 #1631 of 2604

Problem 1631

AIME late
Number theory Difficulty 6.0 Prove it India — Team Selection Test · India · 2009

Find all integers n≥2n \ge 2 and all primes p,q,rp, q, r with the property: whenever distinct positive integers a1,a2,…,ana_1, a_2, \dots, a_n are such that the difference aj−aka_j - a_k, 1≤j<k≤n1 \le j < k \le n is divisible by at least one of p,q,rp, q, r implies that one of p,q,rp, q, r divides all the differences aj−aka_j - a_k, 1≤j<k≤n1 \le j < k \le n.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

If n=2n = 2, the statement holds for any primes p,q,rp, q, r. We show that the result fails for n≥3n \ge 3. Suppose n=3n = 3 and p<q<rp < q < r are some primes. Let a1=1a_1 = 1 and a2=r+1a_2 = r+1. Consider the numbers r+jqr+jq, 0≤j<p0 \le j < p. One of these numbers is divisible by pp, say r+1r+1 or r+2r+2. Take a3=r+1a_3 = r+1 or a3=r+2a_3 = r+2. Then a3−a1a_3 - a_1 is divisible by pp; a3−a2a_3 - a_2 is divisible by qq; and a2−a1a_2 - a_1 is divisible by rr. None of p,q,rp, q, r divide all the differences. For n>3n > 3, consider a1,a2,a3a_1, a_2, a_3 as above; and aj=pqr(j−3)+1a_j = pqr(j-3) + 1 for j≥4j \ge 4. We may easily check that each of the differences aj−aka_j - a_k is divisible by at least one of p,q,rp, q, r, but there is no single prime among p,q,rp, q, r which divides all the differences.

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