Browse · MathNet
Print75th Romanian Mathematical Olympiad
Romania number theory
Problem
Let be a real number for which the number is an integer. Show that, if one of the numbers , or is rational, then is an integer. Cristi Șăvescu
Solution
Let , with integer . If is rational, then , where are coprime integers. It follows from here that , so , which implies . This is possible only if , which shows us that is an integer number.
If is rational, then , so , which leads to . An argument analogous to the previous one, applied to the last relation, shows us that is an integer and therefore is an integer.
If is rational, then is also rational; we get from here that the number is rational, so is also a rational number. Hence is rational. If , this would imply that is rational, so, due to the first part, it will follow from here that is an integer number. If , then , which means .
If is rational, then , so , which leads to . An argument analogous to the previous one, applied to the last relation, shows us that is an integer and therefore is an integer.
If is rational, then is also rational; we get from here that the number is rational, so is also a rational number. Hence is rational. If , this would imply that is rational, so, due to the first part, it will follow from here that is an integer number. If , then , which means .
Techniques
Greatest common divisors (gcd)FractionsIntegers