Maths Olympiad Prep

Library / Junior Balkan Mathematical Olympiad /60 of 95

Junior Balkan Mathematical Olympiad

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 n⩽2018n \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 ∣n−m∣⩾n+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
∣n−m∣⩾n+m⇔(n−m)(n+m)⩾n+m⇔n⩾m+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)2−1}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,m∈Akn, m \in A_{k} with n>mn>m then
n−m⩽(k+1)2−1−k2<(k+1)−k=1 \sqrt{n}-\sqrt{m} \leqslant \sqrt{(k+1)^{2}-1}-\sqrt{k^{2}}<(k+1)-k=1
In particular, since A⊆A1∪⋯∪A44A \subseteq A_{1} \cup \cdots \cup A_{44}, we have ∣A∣⩽2⋅44=88|A| \leqslant 2 \cdot 44=88.

On the other hand we claim that A={m2:1⩽m⩽44}∪{m2+m:1⩽m⩽44}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 t−r≥1\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
t⩾r+1⇔(m+1)2+(m+1)⩾m2+m+1⇔m2+3m+2⩾m2+m+1+2m2+m⇔2m+1⩾2m2+m⇔4m2+4m+1⩾4m2+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.