Let . Let be a sequence of pairwise distinct integers. Prove that is divisible by if we have whenever .
Solution
Let with denote the minimum. Translating the sequence by a constant, we may assume that . Moreover, reversing the order of the sequence if necessary, we may assume that . By the minimality of , we have and from the distance assumption we have . Thus the pairwise distinct integers form a permutation of .
Assuming gives a contradiction: , thus . Similarly, is the maximum and since all the numbers are distinct integers, we have . Let for . Then , thus . This completes the solution.
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.