Let , and be positive integers satisfying . Prove that if , then and are perfect squares.
, 2010
Solution
Remove the parentheses, collect the terms and divide both sides by to get . This equality can be written as . Hence is a square of an integer. If and have a common divisor , then is divisible by , and by the previous equality is divisible by , therefore is divisible by . Since and are divisible by , must be divisible by , hence , i.e. and do not have common divisors. Since is a square of an integer, it follows that both and are squares of integers.
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.