Browse · MathNet
Print67th Romanian Mathematical Olympiad
Romania number theory
Problem
Let be a positive integer. Prove that the following statements are equivalent: a) One can find positive integers , such that . b) One can find a positive integer , such that the equations and have integer roots.
Solution
Let us suppose that . The numbers and could not be both odd (the sum of two odd numbers is which is not a square). Then at least one is an even number and thus, the product is even.
On the other hand, the discriminants of the two equations are and . If we define we have and thus, the roots of the first equation are . It is clear that are integers. (If both are even, then is also an even number, and if have different parities, then is odd, as it is.) Similarly we can show that the second equation has integer roots.
Conversely, we suppose that the equations have only integer roots. Then their discriminants are squares. Let and . We have
It is clear that have the same parity. If we add the two equalities we get Define now and . The numbers and are integers and .
On the other hand, the discriminants of the two equations are and . If we define we have and thus, the roots of the first equation are . It is clear that are integers. (If both are even, then is also an even number, and if have different parities, then is odd, as it is.) Similarly we can show that the second equation has integer roots.
Conversely, we suppose that the equations have only integer roots. Then their discriminants are squares. Let and . We have
It is clear that have the same parity. If we add the two equalities we get Define now and . The numbers and are integers and .
Techniques
Pythagorean triplesQuadratic functions