IMO 1967 LL SWE49

Let n and k be positive integers such that 1 \leqn \leqN + 1,

IMO 1967 LL SWE49

Origin: SWE

Problem

Let n and k be positive integers such that 1 \leqn \leqN + 1, 1 \leqk \leqN + 1. Show that min n̸=k | sin n −sin k| < 2 N .

Solution

Since sin 1, sin 2, . . . , sin(N +1) \in(−1, 1), two of these N +1 numbers have distance less than 2/N. Therefore | sin n −sin k| < 2/N for some integers 1 \leqk, n \leqN + 1, n ̸= k.