Suppose that there are rational numbers x and y such that x−x1+y−y1=4.
Since (−x1,y), (x,−y1) and (−x1,−y1) are solutions of the equation, we can assume that x>0 and y>0.
Letting u=xy, we get x+y=xy−14xy=u−14u. Note that u>0 and u=1.
Now the quadratic equation
T2−u−14uT+u=0
has rational solutions x and y. So the discriminant (u−14u)2−4u is a square of a rational number. Then
4u2−u(u−1)2=u(6u−u2−1)
is a square of a rational number.
Let u=pq with distinct positive integers p and q such that (p,q)=1. From
u(6u−u2−1)=p3q(6pq−p2−q2)=p41⋅pq(6pq−p2−q2),
we know pq(6pq−p2−q2) is a square of an integer. Because p,q and 6pq−p2−q2 are pairwise relatively prime, there are positive integers s,t and w such that
p=s2,q=t2,andw2=6pq−p2−q2.
Thus w2=6s2t2−s4−t4=(2st)2−(s2−t2)2. Note that (s,t)=1 and s=t.
Without loss of generality assume s>t>0. Assume that (s,t,w) is the positive integer solution of w2=6s2t2−s4−t4=(2st)2−(s2−t2)2 which makes s+t minimum.
Because 2st is even in the Pythagorean triple {w,s2−t2,2st}, we know s2−t2 is even and s and t are odd. So (2s2−t2,st)=1. Then
(2w)2+(2s2−t2)2=(st)2
gives a primitive Pythagorean triple (2w,2s2−t2,st). So there are positive integers m and n such that (m,n)=1, s2−t2=4mn and st=m2+n2. We can assume that m is even and n is odd.
From the equality s2−t2=(s+t)(s−t)=4mn, there are positive integers A,B,C,D which are pairwise relatively prime satisfying
s+t=2AB,s−t=2CD,m=AC,n=BD.
By plugging these to st=m2+n2, we have 2A2B2=(A2+D2)(B2+C2). Then we know C is even from the assumption that m is even. Note that A,B,D are odd.
Now from the equality 2A2B2=(A2+D2)(B2+C2), we get A2=B2+C2, 2B2=A2+D2. Then from A2=B2+C2, we get A=a2+b2, B=a2−b2, C=2ab with
positive integers a and b such that (a,b)=1 and a>b>0. Then 2B2=A2+D2
becomes a4+b4−6a2b2=D2. Now (2D)2=6(a+b)2(a−b)2−(a+b)4−(a−b)4.
We have a contradiction from the minimality of s+t since s+t=2AB=2B(a2+b2)>2a=(a+b)+(a−b)>0.
Therefore, there are no rational numbers x and y such that x−x1+y−y1=4.