Maths Olympiad Prep

Library / /3 of 28

Number theory Difficulty 7.9 National olympiad, round 2 Prove it China

Let nn be a positive integer, set A{1,2,,n}A \subseteq \{1, 2, \dots, n\}, and for every a,bAa, b \in A, lcm(a,b)n\text{lcm}(a, b) \le n. Prove that
A1.9n+5. |A| \le 1.9\sqrt{n} + 5.

Solution

Proof For a(n,2n]a \in (\sqrt{n}, \sqrt{2n}], lcm(a,a+1)=a(a+1)>n\text{lcm}(a, a+1) = a(a+1) > n, so A(n,2n]12(21)n+1|A \cap (\sqrt{n}, \sqrt{2n}]| \le \frac{1}{2}(\sqrt{2}-1)\sqrt{n} + 1.
For a(2n,3n]a \in (\sqrt{2n}, \sqrt{3n}], we have
lcm(a,a+1)=a(a+1)>n, \text{lcm}(a, a+1) = a(a+1) > n,
lcm(a+1,a+2)=(a+1)(a+2)>n, \text{lcm}(a+1, a+2) = (a+1)(a+2) > n,
lcm(a,a+2)12a(a+2)>n. \text{lcm}(a, a+2) \ge \frac{1}{2}a(a+2) > n.
So
A(2n,3n]13(32)n+1. |A \cap (\sqrt{2n}, \sqrt{3n}]| \le \frac{1}{3}(\sqrt{3}-\sqrt{2})\sqrt{n} + 1.
Similarly
A(3n,2n]14(43)n+1. |A \cap (\sqrt{3n}, 2\sqrt{n}]| \le \frac{1}{4}(\sqrt{4}-\sqrt{3})\sqrt{n} + 1.
Hence
A[1,2n]n+12(21)n+13(32)n+14(43)n+3=(1+26+312)n+3. \begin{aligned} |A \cap [1, 2\sqrt{n}]| & \le \sqrt{n} + \frac{1}{2}(\sqrt{2}-1)\sqrt{n} + \frac{1}{3}(\sqrt{3}-\sqrt{2})\sqrt{n} \\ & \quad + \frac{1}{4}(\sqrt{4}-\sqrt{3})\sqrt{n} + 3 \\ & = \left(1 + \frac{\sqrt{2}}{6} + \frac{\sqrt{3}}{12}\right)\sqrt{n} + 3. \end{aligned}
Let kNk \in \mathbb{N}^*, suppose a,b(nk+1,nk)a, b \in (\frac{n}{k+1}, \frac{n}{k}), a>ba > b, and lcm(a,b)=as=bt\text{lcm}(a, b) = as = bt, where s,tNs, t \in \mathbb{N}^*. Then
a(a,b)s=b(a,b)t. \frac{a}{(a, b)s} = \frac{b}{(a, b)t}.
Since gcd(a(a,b),b(a,b))=1\text{gcd}(\frac{a}{(a, b)}, \frac{b}{(a, b)}) = 1, so b(a,b)s\frac{b}{(a, b)}|s. It follows that
lcm(a,b)=asab(a,b)abab=b+b2ab>nk+1+(nk+1)2nknk+1=n. \begin{align*} \operatorname{lcm}(a, b) &= as \ge \frac{ab}{(a, b)} \ge \frac{ab}{a-b} \\ &= b + \frac{b^2}{a-b} > \frac{n}{k+1} + \frac{\left(\frac{n}{k+1}\right)^2}{\frac{n}{k} - \frac{n}{k+1}} \\ &= n. \end{align*}
Therefore, A(nk+1,nk)1|A \cap (\frac{n}{k+1}, \frac{n}{k})| \le 1.
Suppose TNT \in \mathbb{N}^* such that nT+12n<nT\frac{n}{T+1} \le 2\sqrt{n} < \frac{n}{T}. Then
A(2n,n]k=1TA(nk+1,nk]T<12n. \begin{aligned} |A \cap (2\sqrt{n}, n]| &\le \sum_{k=1}^{T} \left|A \cap \left(\frac{n}{k+1}, \frac{n}{k}\right]\right| \\ &\le T < \frac{1}{2}\sqrt{n}. \end{aligned}
By the above arguments, we arrive at
A(32+162+1123)n+3<1.9n+5. |A| \le \left(\frac{3}{2} + \frac{1}{6}\sqrt{2} + \frac{1}{12}\sqrt{3}\right)\sqrt{n} + 3 < 1.9\sqrt{n} + 5.

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 and solution reproduced as published; topic and difficulty added by this site.