Maths Olympiad Prep

Track / Stage 5 / 391 of 400 #1471 of 2444

Problem 1471

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

Find all integers n2n \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 ajaka_j - a_k, 1j<kn1 \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 ajaka_j - a_k, 1j<kn1 \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 n3n \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, 0j<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 a3a1a_3 - a_1 is divisible by pp; a3a2a_3 - a_2 is divisible by qq; and a2a1a_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(j3)+1a_j = pqr(j-3) + 1 for j4j \ge 4. We may easily check that each of the differences ajaka_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.