Hi! Can anyone provide a proof for the following:
The following formula
generates all the positive integers that satisfy .
Thanks!
I believe we can use an argument similar to the one in this thread post #22.
What undefined suggests is good! Here is another way.
You can suppose that are relatively prime. Then it is impossible for both to be odd (because then , which is impossible), and impossible for both of them to be even, which would contradict the hypothesis that are relatively prime. Hence, say is even and are odd. Write . Now both are even, say ; moreover are relatively prime. Since is a square, both must be squares, so we have , i.e. .