Olympiad Maths Prep

Track / Stage 7 / 97 of 300 #1497 of 2000

Problem 1497

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.1 Prove it

We call a natural number [i]almost a square[/i] if it can be represented as a product of two numbers that differ by no more than one percent of the larger of them. Prove that there are infinitely many consecutive quadruples of almost squares.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Definition and Initial Setup:
We need to prove that there are infinitely many consecutive quadruples of almost squares. A natural number n n is called *almost a square* if it can be represented as a product of two numbers that differ by no more than one percent of the larger of them.

2. Identifying Almost Squares:
Consider the numbers 4m41 4m^4 - 1 , 4m4 4m^4 , and 4m4+1 4m^4 + 1 . We need to show that these numbers are almost squares for large m m .

3. **Verification for 4m4+1 4m^4 + 1 **:
4m4+1=(2m22m+1)(2m2+2m+1) 4m^4 + 1 = (2m^2 - 2m + 1)(2m^2 + 2m + 1)
We need to check that the ratio of the factors is close to 1:
2m22m+12m2+2m+1>0.99form199 \frac{2m^2 - 2m + 1}{2m^2 + 2m + 1} > 0.99 \quad \text{for} \quad m \geq 199
This inequality holds for sufficiently large m m , specifically m199 m \geq 199 .

4. **Verification for 4m4 4m^4 **:
4m4=(2m2)(2m2) 4m^4 = (2m^2)(2m^2)
Clearly, 4m4 4m^4 is a perfect square and thus trivially an almost square.

5. **Verification for 4m41 4m^4 - 1 **:
4m41=(2m21)(2m2+1) 4m^4 - 1 = (2m^2 - 1)(2m^2 + 1)
We need to check that the ratio of the factors is close to 1:
2m212m2+1>0.99form199 \frac{2m^2 - 1}{2m^2 + 1} > 0.99 \quad \text{for} \quad m \geq 199
This inequality also holds for sufficiently large m m .

6. **Verification for 4m4+2 4m^4 + 2 **:
We need to show that 4m4+2 4m^4 + 2 is an almost square. Assume:
4m4+2=(2m22a)(2m2+b) 4m^4 + 2 = (2m^2 - 2a)(2m^2 + b)
Solving for m2 m^2 :
m2=ab+1b2a m^2 = \frac{ab + 1}{b - 2a}
Let b2a=1 b - 2a = 1 :
m2=2a2+a+1 m^2 = 2a^2 + a + 1
This is a Pell's equation, which has infinitely many solutions starting with (0,1)(0,1) and (1,2)(1,2).

7. Conclusion:
Therefore, 4m4+2=(4a2+2)(4a2+4a+3) 4m^4 + 2 = (4a^2 + 2)(4a^2 + 4a + 3) is an almost square for infinitely many values of a a .

Thus, we have shown that there are infinitely many consecutive quadruples of almost squares.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.