Maths Olympiad Prep

Library / /122 of 155

Number theory Difficulty 6.8 National olympiad Prove it Saudi Arabia

Denote by {x}\{x\} the fractional part of a real number xx, that is {x}=xx\{x\} = x - \lfloor x \rfloor where x\lfloor x \rfloor is the maximum integer not greater than xx. Prove that
1. For every integer nn, we have {n17}>1217n\{n \sqrt{17}\} > \frac{1}{2 \sqrt{17} \cdot n}.
2. The value 1217\frac{1}{2 \sqrt{17}} is the largest constant cc such that the inequality {n17}>cn\{n \sqrt{17}\} > c n holds for all positive integers nn.

Solution

1) For all nZ+n \in \mathbb{Z}^{+}, we have n17Zn \sqrt{17} \notin \mathbb{Z} then [n17]<n17[n \sqrt{17}] < n \sqrt{17} or
[n17]2<(n17)2n. [n \sqrt{17}]^{2} < \left(n \sqrt{17}\right)^{2} \forall n.
This implies that
17n2[n17]2117n2(n17{n17})2117n2(17n22n17{n17}+{n17}2)1.{n17}1+{n17}22n17>12n17 \begin{aligned} & 17 n^{2} - [n \sqrt{17}]^{2} \geq 1 \\ & \Leftrightarrow 17 n^{2} - (n \sqrt{17} - \{n \sqrt{17}\})^{2} \geq 1 \\ & \Leftrightarrow 17 n^{2} - \left(17 n^{2} - 2 n \sqrt{17} \{n \sqrt{17}\} + \{n \sqrt{17}\}^{2}\right) \geq 1. \\ & \Leftrightarrow \{n \sqrt{17}\} \geq \frac{1 + \{n \sqrt{17}\}^{2}}{2 n \sqrt{17}} > \frac{1}{2 n \sqrt{17}} \end{aligned}

2) Consider the Pell equation m217n2=1m^{2} - 17 n^{2} = -1, since 1717 is the prime of form 4k+14k+1 then this equation has infinitely many positive integer solutions.
Thus n17=m2+1n \sqrt{17} = \sqrt{m^{2} + 1} then [n17]=m[n \sqrt{17}] = m for all m,nZ+m, n \in \mathbb{Z}^{+}.
Then we have {n17}=n17m\{n \sqrt{17}\} = n \sqrt{17} - m which means
n17m>cn17n2m2n17+m>cnc<117+mn. n \sqrt{17} - m > \frac{c}{n} \Leftrightarrow \frac{17 n^{2} - m^{2}}{n \sqrt{17} + m} > \frac{c}{n} \Leftrightarrow c < \frac{1}{\sqrt{17} + \frac{m}{n}}.
Note that mn=171n2\frac{m}{n} = \sqrt{17 - \frac{1}{n^{2}}} then when m,n+m, n \rightarrow +\infty, we have mnlim171n2=17\frac{m}{n} \rightarrow \lim \sqrt{17 - \frac{1}{n^{2}}} = \sqrt{17}. This implies that
c117+limm,n+mn=1217 c \leq \frac{1}{\sqrt{17} + \lim_{m, n \rightarrow +\infty} \frac{m}{n}} = \frac{1}{2 \sqrt{17}}
Hence, c=1217c = \frac{1}{2 \sqrt{17}} is the maximum constant that satisfies the given condition.

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.