IMC 1999 · Problem 6

Day 220 points6th IMC · Keszthely, Hungary

Statement

Let AA be a subset of Zn=Z/nZ\mathbb{Z}_n = \mathbb{Z}/n\mathbb{Z} containing at most 1100lnn\dfrac{1}{100} \ln n elements. Define the rrth Fourier coefficient of AA for rZnr \in \mathbb{Z}_n by

f(r)=sAexp(2πinsr).f(r) = \sum_{s \in A} \exp\left( \frac{2\pi i}{n} sr \right).

Prove that there exists an r0r \ne 0, such that f(r)A2|f(r)| \ge \dfrac{|A|}{2}.

Official solution

Hidden so you can work on the problem first.