$x-\frac1x+y-\frac1y=4\,$ has no rational solutions?
No, your reasoning is incorrect.
As a simple example, consider the equation $x^2 + y^2 - 1 = 0$. The LHS is irreducible over $\mathbb Q$, but the equation has lots of rational solutions (e.g., $(x,y) = (3/5,4/5)$).
As another example, take your equation and replace "4" by "3". With that "minor" change, you get the rational solution $(x,y) = (2,2)$, and yet the corresponding polunomial in $x,y$ is irreducible over $\mathbb Q$.
As for your actual equation, I suspect there are no rational solutions, but if so, a proof will probably require methods from the theory of elliptic curves.
@quasi's answer establishes that the original question is basically equivalent to this one: "Are there any rational points on $v^2=b^3+6b^2+b$?" As quasi remarks, the solution $(b,v)=(0,0)$ doesn't lead to a rational solution to the original equation; neither (this is not mentioned at present in quasi's answer) does any solution with $b=-1$ because these correspond to $a=\infty$ in quasi's reparameterization of the original equation.
Well, this is an elliptic curve so let's ask an elliptic curve expert, in this case Sage.
In[2]: E = EllipticCurve([0,6,0,1,0]); E
Out[2]: Elliptic Curve defined by y^2 = c^3 + 6*x^2 + x over Rational Field
In[3]: E.analytic_rank_upper_bound()
Out[3]: 0
In[4]: E.prove_BSD()
Out[4]: []
In[5]: E.torsion_points()
Out[5]: [(-1 : -2 : 1), (-1 : 2 : 1), (0 : 0 : 1), (0 : 1 : 0)]
Here, Out[3]
is telling us that the analytic rank of this curve (conditional on GRH) is definitely zero. In fact the curve is equivalent to Cremona's 32a4
which is known to have analytic rank 0, but I'm ignorant and don't know how to get Sage to report this. Out[4]
is telling us that it can prove Birch-Swinnerton-Dyer for this curve with no exceptions, so the rank of the curve's group is also 0. And Out[5]
is telling us that the only torsion points on the curve (hence, since the rank is zero, the only points) are the point at infinity, the point $(b,v)=(0,0)$, and the points $(b,v)=(-1,\pm2)$. None of these yields a rational solution to the original equation.
Consider the equation
$$x-\frac1x+y-\frac1y=4 \tag{1}$$
Let $a = x + y$ and let $b = -xy$. Then
$$x-\frac1x+y-\frac1y = a + \frac{a}{b}$$
$$(x - y)^2 = a^2 + 4b$$
It follows that equation (1) has a rational solution $(x,y)$ if and only if there exist rational numbers $a,b,u$ such that
$$a+\frac{a}{b} = 4 \tag{2}$$
$$a^2 + 4b = u^2 \tag{3}$$
Note that equation (2) implies $b \ne 0$.
Solving equation (2) for $a$ yields
$$a = \frac{4b}{b+1}$$
which gives another restriction, namely $b \ne -1$.
Replacing $a$ by $((4b)/(b+1))$ in equation (3), and then simplifying the result, we get
$$v^2 = b^3 + 6b^2 + b \tag{4}$$
where $v = (u/2)(b+1)$.
It follows that equation (1) has a rational solution $(x,y)$ if and only if equation (4) has a rational solution $(b,v)$ with $b \ne 0$, $b \ne -1$.
Now equation (4) is the equation of an elliptic curve, so the question becomes, does the elliptic curve for equation (4) have a rational point $(b,v)$ with $b \ne 0$, $b \ne -1$?
I'll let the elliptic curve experts take it from here.