Skip to main content
OlympiadHQ

Browse · MathNet

Print

SELECTION EXAMINATION 2019

Greece 2019 number theory

Problem

Let and be two positive integers. Prove that the integer is not a square of an integer.
Solution
We suppose that: By putting , we have: . Equivalently, we have supposed that the equation has a solution in the positive integers with even. We suppose that equation (1) has a solution , where is the least possible integer and we will try to find a contradiction. We have: Also, we have: From relations (2) (3) it follows that: , and hence there exists such that: From (3) and (4) we have: From relations (5) and (6) we get: From which we conclude that equation (1) has a solution in the positive integers with , which is absurd.

Techniques

Infinite descent / root flippingTechniques: modulo, size analysis, order analysis, inequalitiesFloors and ceilings