Maths Olympiad Prep

Library / /83 of 121

Algebra Difficulty 6.4 National Olympiad Prove it India

Problem:

a. Prove that if nn is a positive integer such that n40112n \geq 4011^{2}, then there exists an integer ll such that n<l2<(1+12005)nn < l^{2} < \left(1 + \frac{1}{2005}\right) n.

b. Find the smallest positive integer MM for which whenever an integer nn is such that nMn \geq M, there exists an integer ll, such that n<l2<(1+12005)nn < l^{2} < \left(1 + \frac{1}{2005}\right) n.

Solution

Solution:

a. Let n40112n \geq 4011^{2} and mNm \in \mathbb{N} be such that m2n<(m+1)2m^{2} \leq n < (m+1)^{2}. Then
(1+12005)n(m+1)2(1+12005)m2(m+1)2=m220052m1=12005(m24010m2005)=12005((m2005)2200522005)12005((40112005)2200522005)=12005(20062200522005)=12005(40112005)=20062005>0 \begin{aligned} \left(1+\frac{1}{2005}\right) n - (m+1)^{2} & \geq \left(1+\frac{1}{2005}\right) m^{2} - (m+1)^{2} \\ & = \frac{m^{2}}{2005} - 2m - 1 \\ & = \frac{1}{2005}\left(m^{2} - 4010m - 2005\right) \\ & = \frac{1}{2005}\left((m-2005)^{2} - 2005^{2} - 2005\right) \\ & \geq \frac{1}{2005}\left((4011-2005)^{2} - 2005^{2} - 2005\right) \\ & = \frac{1}{2005}\left(2006^{2} - 2005^{2} - 2005\right) \\ & = \frac{1}{2005}(4011 - 2005) = \frac{2006}{2005} > 0 \end{aligned}
Thus we get
n<(m+1)2<(1+12005)n n < (m+1)^{2} < \left(1 + \frac{1}{2005}\right) n
and l2=(m+1)2l^{2} = (m+1)^{2} is the desired square.

b. We show that M=40102+1M = 4010^{2} + 1 is the required least number. Suppose nMn \geq M. Write n=40102+kn = 4010^{2} + k, where kk is a positive integer. Note that we may assume n<40112n < 4011^{2} by part (a). Now
(1+12005)n40112=(1+12005)(40102+k)40112=40102+24010+k+k200540112=(4010+1)2+(k1)+k200540112=(k1)+k2005>0 \begin{aligned} \left(1 + \frac{1}{2005}\right) n - 4011^{2} & = \left(1 + \frac{1}{2005}\right)\left(4010^{2} + k\right) - 4011^{2} \\ & = 4010^{2} + 2 \cdot 4010 + k + \frac{k}{2005} - 4011^{2} \\ & = (4010 + 1)^{2} + (k - 1) + \frac{k}{2005} - 4011^{2} \\ & = (k - 1) + \frac{k}{2005} > 0 \end{aligned}
Thus we obtain
40102<n<40112<(1+12005)n 4010^{2} < n < 4011^{2} < \left(1 + \frac{1}{2005}\right) n
We check that M=40102M = 4010^{2} will not work. For suppose n=40102n = 4010^{2}. Then
(1+12005)40102=40102+24010=401121<40112 \left(1 + \frac{1}{2005}\right) 4010^{2} = 4010^{2} + 2 \cdot 4010 = 4011^{2} - 1 < 4011^{2}
Thus there is no square integer between nn and (1+12005)n\left(1 + \frac{1}{2005}\right) n.
This proves (b).

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.