Maths Olympiad Prep

Library / /432 of 520

Number theory Difficulty 7.1 National olympiad, round 2 Prove it

(a) Prove that for every positive integer nn, there exists a fraction ab\frac{a}{b} where aa and bb are integers satisfying 0<bn+10<b \leqslant \sqrt{n}+1 and nabn+1\sqrt{n} \leqslant \frac{a}{b} \leqslant \sqrt{n+1}.

(b) Prove that there are infinitely many positive integers nn such that there is no fraction ab\frac{a}{b} where aa and bb are integers satisfying 0<bn0<b \leqslant \sqrt{n} and nabn+1\sqrt{n} \leqslant \frac{a}{b} \leqslant \sqrt{n+1}.

Solution

(a) Let r r be the unique positive integer for which r2n<(r+1)2 r^2 \leq n < (r+1)^2 . Write n=r2+s n = r^2 + s . Then we have 0s2r 0 \leq s \leq 2r . We discuss in two cases according to the parity of s s .

- Case 1. s s is even.
Consider the number (r+s2r)2=r2+s+(s2r)2 \left(r + \frac{s}{2r}\right)^2 = r^2 + s + \left(\frac{s}{2r}\right)^2 . We find that
n=r2+sr2+s+(s2r)2r2+s+1=n+1 n = r^2 + s \leq r^2 + s + \left(\frac{s}{2r}\right)^2 \leq r^2 + s + 1 = n + 1
It follows that
nr+s2rn+1 \sqrt{n} \leq r + \frac{s}{2r} \leq \sqrt{n+1}
Since s s is even, we can choose the fraction r+s2r=r2+(s/2)r r + \frac{s}{2r} = \frac{r^2 + (s/2)}{r} since rn r \leq \sqrt{n} .

- Case 2. s s is odd.
Consider the number (r+12r+1s2(r+1))2=(r+1)2(2r+1s)+(2r+1s2(r+1))2 \left(r + 1 - \frac{2r + 1 - s}{2(r + 1)}\right)^2 = (r + 1)^2 - (2r + 1 - s) + \left(\frac{2r + 1 - s}{2(r + 1)}\right)^2 . We find that
n=r2+s=(r+1)2(2r+1s)(r+1)2(2r+1s)+(2r+1s2(r+1))2(r+1)2(2r+1s)+1=n+1 \begin{aligned} n = r^2 + s = (r + 1)^2 - (2r + 1 - s) & \leq (r + 1)^2 - (2r + 1 - s) + \left(\frac{2r + 1 - s}{2(r + 1)}\right)^2 \\ & \leq (r + 1)^2 - (2r + 1 - s) + 1 = n + 1 \end{aligned}
It follows that
nr+12r+1s2(r+1)n+1 \sqrt{n} \leq r + 1 - \frac{2r + 1 - s}{2(r + 1)} \leq \sqrt{n+1}
Since s s is odd, we can choose the fraction (r+1)2r+1s2(r+1)=(r+1)2r+((s1)/2)r+1 (r + 1) - \frac{2r + 1 - s}{2(r + 1)} = \frac{(r + 1)^2 - r + ((s - 1)/2)}{r + 1} since r+1n+1 r + 1 \leq \sqrt{n} + 1 .

(b) We show that for every positive integer r r , there is no fraction ab \frac{a}{b} with br2+1 b \leq \sqrt{r^2 + 1} such that r2+1abr2+2 \sqrt{r^2 + 1} \leq \frac{a}{b} \leq \sqrt{r^2 + 2} . Suppose on the contrary that such a fraction exists. Since br2+1<r+1 b \leq \sqrt{r^2 + 1} < r + 1 and b b is an integer, we have br b \leq r . Hence,
(br)2<b2(r2+1)a2b2(r2+2)b2r2+2br<(br+1)2 (b r)^2 < b^2 (r^2 + 1) \leq a^2 \leq b^2 (r^2 + 2) \leq b^2 r^2 + 2br < (br + 1)^2
This shows the square number a2 a^2 is strictly bounded between the two consecutive squares (br)2 (br)^2 and (br+1)2 (br + 1)^2 , which is impossible. Hence, we have found infinitely many n=r2+1 n = r^2 + 1 for which there is no fraction of the desired form.

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.