MathDB
r_i +r_j -n is divisible by m

Source: Polish MO Finals 1979 p1

August 24, 2024
number theorydivisible

Problem Statement

Let be given a set {r1,r2,...,rk}\{r_1,r_2,...,r_k\} of natural numbers that give distinct remainders when divided by a natural number mm. Prove that if k>m/2k > m/2, then for every integer nn there exist indices ii and jj (not necessarily distinct) such that ri+rjnr_i +r_j -n is divisible by mm.