Browse · MathNet
PrintSELECTION 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