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 thatare 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.
.