Prove that if positive integer $a$ and $b$ are such that $ab+1$ divides $a^2 + b^2$. then $$\frac{a^2+b^2}{ab+1}$$ is a square number.