Let $ x $ and $ y $ be two positive integers. Prove that
$$(xy+1) | (x^2+y^2)\;\implies \frac{x^2+y^2}{xy+1}\;\text{ is a perfect square}$$
I assumed there exists $ k\in \Bbb N $ such that $$x^2+y^2-k(xy+1)=0$$ or $$x^2-kyx+y^2-k=0$$ i said that the discriminant $$\Delta=k^2y^2+4k-4y^2$$ must satisfy $$\sqrt{\Delta}\in \Bbb N$$ but it seems to complicate . Thanks in advance.