1. Suppose there exist positive integers x,y,z,w (with x<y<z<w) such that x2,y2,z2,w2 are four consecutive terms of an arithmetic sequence. We consider such x,y,z,w such that x2+y2+z2+w2 is minimized.
2. Since x2,y2,z2,w2 are in arithmetic progression, there exists a common difference d such that:
y2=x2+d,z2=y2+d,w2=z2+d
This implies:
z2=x2+2dandw2=x2+3d
3. From y2=x2+d and z2=y2+d, we get:
2y2=x2+z2
Similarly, from z2=y2+d and w2=z2+d, we get:
2z2=y2+w2
4. Since x,y,z,w are positive integers, x,y,z,w must all be odd. This is because if any of them were even, the equations 2y2=x2+z2 and 2z2=y2+w2 would not hold for integers.
5. We can express y and z in terms of x and w:
y=2x+zandz=2y+w
6. Therefore, there exist integers m,n such that:
y=m2+n2,2z+x=m2−n2,2z−x=2mn
and integers p,q such that:
z=p2+q2,2w+y=p2−q2,2w−y=2pq
7. From the minimality of x2+y2+z2+w2, we can see that y,2z+x, etc., are coprime. Therefore:
y=m2+n2=∣p2−q2−2pq∣,z=m2−n2+2mn=p2+q2
8. Case 1: y=m2+n2=p2−q2−2pq
2z+y=m2+mn=p2−pq⇒p2−m2=mn+pq
2z−y=mn−n2=q2+pq⇒q2+n2=mn−pq
This leads to:
(p2−m2)(q2+n2)=m2n2−p2q2
which simplifies to:
p2(n2+2q2)=m2(2n2+q2)
Assuming gcd(m,p)=gcd(n,q)=1, we have:
gcd(n2+2q2,2n2+q2)=1 or 3
If gcd(n2+2q2,2n2+q2)=1, then:
p2=2n2+q2,m2=n2+2q2
This implies 3∣p2+m2, so 3∣p,m, which contradicts gcd(m,p)=1.
If gcd(n2+2q2,2n2+q2)=3, then:
3p2=2n2+q2,3m2=n2+2q2
This implies n2,p2,m2,q2 are four consecutive terms of an arithmetic sequence, which contradicts the minimality of x2+y2+z2+w2.
9. Case 2: y=m2+n2=2pq−p2+q2
2z+y=m2+mn=pq+q2
2z−y=mn−n2=p2−pq
This leads to:
(q2−m2)(p2+n2)=m2n2−p2q2
which simplifies to:
m2(p2+2n2)=q2(2p2+n2)
From then on, we proceed in the same way as in Case 1, finishing the proof.
■