Originally posted by PBE6
Weird!! Just tried a simple brute force sampling, but the pairings I get are:
which is just the Fibonacci numbers taken in pairs. Interesting! I'll have to take a look at the Fibonacci identities to see where this comes from.
Here's part of the explanation.
If F(x, y) = x^2 + xy - y^2
Then F(y, x + y) = -x^2 - xy + y^2 = -F(x, y)
(just try the substitution)
So once you have (1, 1) as a solution, you can construct the rest of the Fibonacci series from it: (1, 2), (2, 3), (3, 5), (5, 8) etc...
So all you need to show is that there aren't any other solutions