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 .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.