Maths Olympiad Prep

Library / /117 of 520

Combinatorics Difficulty 5.8 AIME, harder Find the answer

Let AA be a set of positive integers with the following properties:

(a) If nn is an element of AA then n2018n \leqslant 2018.

(b) If SS is a subset of AA with S=3|S|=3 then there are two elements n,mn, m of SS with nmn+m|n-m| \geqslant \sqrt{n}+\sqrt{m}.

What is the maximum number of elements that AA can have?

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

Solution

Assuming n>m n > m we have

nmn+m(nm)(n+m)n+mnm+1. \begin{aligned} |n-m| \geqslant \sqrt{n}+\sqrt{m} & \Leftrightarrow (\sqrt{n}-\sqrt{m})(\sqrt{n}+\sqrt{m}) \geqslant \sqrt{n}+\sqrt{m} \\ & \Leftrightarrow \sqrt{n} \geqslant \sqrt{m}+1 . \end{aligned}

Let Ak={k2,k2+1,,(k+1)21} A_{k} = \left\{ k^2, k^2 + 1, \ldots, (k+1)^2 - 1 \right\} . Note that each Ak A_{k} can contain at most two elements since if n,mAk n, m \in A_{k} with n>m n > m then

nm(k+1)21k2<(k+1)k=1 \sqrt{n} - \sqrt{m} \leqslant \sqrt{(k+1)^2 - 1} - \sqrt{k^2} < (k+1) - k = 1

In particular, since SA1A44 S \subseteq A_{1} \cup \cdots \cup A_{44} , we have S244=88 |S| \leqslant 2 \cdot 44 = 88 .

On the other hand, we claim that A={m2:1m44}{m2+m:1m44} A = \left\{ m^2 : 1 \leqslant m \leqslant 44 \right\} \cup \left\{ m^2 + m : 1 \leqslant m \leqslant 44 \right\} satisfies the properties and has A=88 |A| = 88 . We check property (b) as everything else is trivial.

So let r,s,t r, s, t be three elements of A A and assume r<s<t r < s < t . There are two cases for r r .

(i) If we have that r=m2 r = m^2 , then t(m+1)2 t \geqslant (m+1)^2 and so tr1 \sqrt{t} - \sqrt{r} \geq 1 verifying (b).

(ii) If we have that r=m2+m r = m^2 + m , then t(m+1)2+(m+1) t \geqslant (m+1)^2 + (m+1) and

tr+1(m+1)2+(m+1)m2+m+1m2+3m+2m2+m+1+2m2+m2m+12m2+m4m2+4m+14m2+4m. \begin{aligned} \sqrt{t} \geqslant \sqrt{r} + 1 & \Leftrightarrow \sqrt{(m+1)^2 + (m+1)} \geqslant \sqrt{m^2 + m} + 1 \\ & \Leftrightarrow m^2 + 3m + 2 \geqslant m^2 + m + 1 + 2\sqrt{m^2 + m} \\ & \Leftrightarrow 2m + 1 \geqslant 2\sqrt{m^2 + m} \\ & \Leftrightarrow 4m^2 + 4m + 1 \geqslant 4m^2 + 4m . \end{aligned}

So property (b) holds in this case as well.

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.