Maths Olympiad Prep

Library / /68 of 105

Algebra Difficulty 6.2 National Olympiad Prove it JBMO

Problem:
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?

Solution

Solution:
Assuming n>mn>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}=\{k^{2}, k^{2}+1, \ldots,(k+1)^{2}-1\}. Note that each AkA_{k} can contain at most two elements of AA since if n,mAkn, m \in A_{k} with n>mn>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 AA1A44A \subseteq A_{1} \cup \cdots \cup A_{44}, we have A244=88|A| \leqslant 2 \cdot 44=88.

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

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

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

ii. If we have that r=m2+mr=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}+3 m+2 \geqslant m^{2}+m+1+2 \sqrt{m^{2}+m} \\ & \Leftrightarrow 2 m+1 \geqslant 2 \sqrt{m^{2}+m} \\ & \Leftrightarrow 4 m^{2}+4 m+1 \geqslant 4 m^{2}+4 m . \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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.