Solution:
One easily sees that neither x nor y can be zero.
For y=1 one obtains from x2+(x+1)2=(x+2)2 the equation x2−2x−3=0, of which only the solution x=3 comes into question.
Now let y>1.
Since x and x+2 have the same parity, x+1 is even and hence x is odd.
With x=2k−1 (k∈N) the equation becomes
(2k−1)2y+(2k)2y=(2k+1)2y
from which, by expanding, one obtains the following:
(2k)2y−2y(2k)2y−1+…−2y2k+1+(2k)2y=(2k)2y+2y(2k)2y−1+…+2y2k+1
Since y>1, we also have 2y≥3. If one now collects all terms in yk on one side and factors out (2k)3 on the other side, one obtains:
8yk=(2k)3[2(32y)+2(52y)(2k)2+…−(2k)2y−3]
from which it follows that y is a multiple of k.
Dividing the equation by (2k)2y gives:
(1−2k1)2y+1=(1+2k1)2y
where the left side is less than 2. The right side, however, is greater than 1+2k2y≥2, which cannot be, since y is a multiple of k.
The given equation therefore has only the solution x=3 and y=1.