Prove that the equation has no rational solutions.
Solution
The equation can be written equivalently as .
If would be a solution of this equation with rational components, denoting , , , one would have integers satisfying the equality .
This would lead to the existence of four integers such that . If the greatest common divisor of is , dividing by one would obtain a solution of the equation with . Then cannot all be even.
But a perfect square is congruent to either , , or modulo , so the left hand side can only be , , , or modulo , while the right hand side, , is , or modulo . In conclusion, the equality cannot hold.
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.