Let $~a~$ and $~b~$ be positive integers such that $~ab + 1~$ divides $~a^2 + b^2$.
Show that:
$$\dfrac{a^2+b^2}{1+ab}$$ is the square of an integer.