Maths Olympiad Prep

Library / /200 of 520

Combinatorics Difficulty 5.4 AIME, harder Find the answer

Problem 3

Let nn be an integer greater than or equal to 1. Find, in terms of nn, the smallest integer k2k \geqslant 2 such that, among kk real numbers, there necessarily exist two whose difference, in absolute value, is either strictly less than 1/n1 / n or strictly greater than nn.

## §

A number or a short expression. Spacing and $ signs are ignored.

Solution

Solution

We will prove that k=n2+2k=n^{2}+2. Indeed, if kn2+1k \leqslant n^{2}+1, consider the kk real numbers 0,1/n,2/n,0, 1 / n, 2 / n, \ldots, (k1)/n(k-1) / n. The minimum distance between any two of these numbers is 1/n1 / n, and the maximum distance between any two of these numbers is (k1)/n(k-1) / n, which is less than or equal to nn.

Now suppose that k=n2+2k=n^{2}+2. Let x0,x1,,xk1x_{0}, x_{1}, \ldots, x_{k-1} be real numbers, sorted in ascending order, and let ss be the smallest possible difference between any two of these numbers. It can be shown by immediate induction that xx0+sx_{\ell} \geqslant x_{0}+\ell s for all integers k1\ell \leqslant k-1. Consequently, xn2+1x0+(n2+1)sx_{n^{2}+1} \geqslant x_{0} + (n^{2}+1)s. Since ss is the smallest difference, ss must be strictly greater than 1/n1/n. Therefore, (n2+1)s(n^{2}+1)s is strictly greater than nn.

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.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.