Let $\,x,y,z\in\mathbb Q\,$ satisfy $\,xy+yz+zx=1$.
Given this, I would like to prove that
$$\big(1+x^2\big)\big(1+y^2\big)\big(1+z^2\big)$$
is the square of a rational number $n$.
That is, you can write ... let's call that $E(x,y,z)$.
You may say that $E(x,y,z)=n^2$ with $n\in\mathbb Q$.
I tried to factor it out, it just got worse. I tried to prove some sort of relationship, and I ended up where I started.
The only thing that seems to work is to write two of them in terms of the other, but that also gets me nowhere.