Olympiad Number Theory · Superchallenge problem

Positive integers $a, b$ satisfy $\dfrac{a^2 + b^2}{ab + 1} = k$ for an integer $k$. For $(a, b) = (8, 2)$, compute $k$ — and note the famous theorem that $k$ must always be a perfect square.