Let , , be rational numbers such that
Prove that is rational.
, 2012
Solutions — 2
Solution 1
The given relation is equivalent to
so therefore
It follows
If , from the given relation we get
which is not possible. Therefore, we have , and from (1) we obtain
Using (2), it follows
Finally,
Solution 2
Assume . Then we get
which is not possible. It follows that , so we can divide by in the given relation and obtain
Let . Then (1) is equivalent to
From (2) we obtain , hence . This is a quadratic equation with rational roots, hence the discriminant must be a perfect square of a rational number. We have
implying that is a perfect square of a rational number, and we are done.
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.