Problem:
Prove: If with , then none of the square numbers can fall below .
, 2005
Solution
Solution:
If , then the claim is true; the only solutions for are, apart from order, the quadruples , and . For every , is divisible by . Since the square of a natural number can only have remainder or upon division by , only numbers of the same residue class modulo are possible for .
If are (all) odd, then the right-hand side is indeed divisible by , but not by , and certainly not by . In this case, therefore, only is possible. If , then the four numbers on the right-hand side must accordingly all be even.
Assuming the property that all square numbers exceed does not hold for all , then there exists a smallest () for which it does not hold. Since it holds for , must be greater than . But then (see above) are all even. One could then divide both sides by , and the property would also fail to hold for , which, however, cannot be the case due to the minimality of . The claim therefore holds for all natural numbers , .