Rational numbers and satisfy the equality
Prove that is a square of a rational number. (R. Zhenodarov)
Solution
First solution. Transform the original expression:
Notice that , because otherwise .
Therefore, ; since and are rational numbers, is also a rational number, and the statement is proved.
Second solution. Multiply the given equation by and transform:
From the last equality, the statement follows.
Third solution. If , then the statement is true:
If , then the quadratic equation has a rational root () and rational coefficients. By the quadratic formula, its discriminant is a square of a rational number. But , and the statement is proved.
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.