I'm currently investigating the curve implicitly defined by $x^2-y^2= \ln (xy)$. Now I can see that by considering the region $xy>1$ and $xy<1$, we can determine where the curve is above or below the line $y=x$.
However, I do not feel that this is not enough to prove that the line $y=x$ is an asymptote in itself, just whether it approaches it from above or below.
For an implicitly defined curve like this, what kind of approach would I take to show that $y=x$ is an asymptote?