Maths Olympiad Prep

Library / Czech-Polish-Slovak Mathematical Match competition problems /1 of 6

Czech-Polish-Slovak Mathematical Match competition problems

Number theory Difficulty 6.1 National Olympiad Prove it Czech-Polish-Slovak Mathematical Match

Find all positive real numbers cc such that there are infinitely many pairs of positive integers (n,m)(n, m) satisfying the following conditions: n≥m+cm−1+1n \ge m + c\sqrt{m-1} + 1 and among numbers n,n+1,…,2n−mn, n+1, \dots, 2n-m there is no square of an integer.

Solution

We prove that cc satisfies the condition in the statement if and only if c≤2c \le 2.

Let us first consider any c≤2c \le 2. For any positive integer kk, define
n=k2+1andm=(k−1)2+1 n = k^2 + 1 \quad \text{and} \quad m = (k-1)^2 + 1
Observe that
m+cm−1+1≤k2−2k+2+2(k−1)+1=k2+1=n m + c\sqrt{m-1} + 1 \le k^2 - 2k + 2 + 2(k-1) + 1 = k^2 + 1 = n
and
(n,n+1,…,2n−m)=(k2+1,k2+2,…,k2+2k). (n, n+1, \dots, 2n-m) = (k^2+1, k^2+2, \dots, k^2+2k).
Therefore, every such pair (n,m)(n, m) indeed satisfies the property from the problem statement, and there are infinitely many such pairs.

Now let us consider any c>2c > 2, and let (n,m)(n, m) be any pair of positive integers satisfying the property from the problem statement. Observe that for each positive integer nn, the number ⌈n⌉2\lceil\sqrt{n}\rceil^2 is always between numbers nn and (n+1)2(\sqrt{n}+1)^2 (inclusive), hence there is always a square of an integer in the range
n,n+1,…,n+⌊2n⌋+1. n, n+1, \dots, n + \lfloor 2\sqrt{n} \rfloor + 1.
This implies that 2n−m<n+⌊2n⌋+12n - m < n + \lfloor 2\sqrt{n} \rfloor + 1, so in particular
m≥n−2n. m \ge n - 2\sqrt{n}.
Combining this with the inequality from the problem statement yields
n≥n−2n+cn−2n−1+1.(1) n \ge n - 2\sqrt{n} + c\sqrt{n - 2\sqrt{n} - 1} + 1. \quad (1)
Observe that since c>2c > 2, we have cn−2n−1>2nc\sqrt{n - 2\sqrt{n} - 1} > 2\sqrt{n} for large enough nn. Indeed, equivalently we have 1−2n−1n>4c21 - \frac{2}{\sqrt{n}} - \frac{1}{n} > \frac{4}{c^2}, and the left-hand side tends to 1 as nn grows to infinity while the right hand side is strictly smaller than 1. This implies that (1) may be satisfied only for finitely many positive integers nn. Since m≤nm \le n for all pairs (n,m)(n, m) satisfying the conditions from the problem statement, this implies that there are only finitely many such pairs (n,m)(n, m). □\square

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.