Are there infinitely many pairs of positive integers such that
Solution
Solution 1. If is a solution with , then so is where
It is immediate that so we have to show only that . We can calculate:
As then and are relatively prime, so implies that . To complete the construction we just need to observe that implies and so . We can then use this rule and produce an infinitude of increasing solutions starting with .
Solution 2. Let be Fibonacci number, so that and . Catalan's identity, shown by induction, states that:
Putting and odd gives which provides us with an infinitude of solutions of the form .
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.