olymmath

ISL 2019 N6

Let H={⌊i2⌋:i∈Z>0}={1,2,4,5,7,…}H=\left\{\lfloor i \sqrt{2}\rfloor: i \in \mathbb{Z}_{>0}\right\}=\{1,2,4,5,7, \ldots\}, and let nn be a positive integer. Prove that there exists a constant CC such that, if A⊂{1,2,…,n}A \subset\{1,2, \ldots, n\} satisfies ∣A∣⩾Cn|A| \geqslant C \sqrt{n}, then there exist a,b∈Aa, b \in A such that a−b∈Ha-b \in H. (Brazil)

Dataset text NuminaMath olympiads. Quoted with source.

Show the answer

\sqrt{2 \sqrt{2}-2} \cdot \sqrt{n}>k-1

Solutions

Official solution Solution 1 by the IMO Problem Selection Committee

The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

Locator isl/2019/n6 · Tag G6T48EC034 · Edit this page on GitHub · Keys: j next, k previous