MathNet 2009-part-03 — 175 problems (EN–VI) Question 51

Let $a$ and $b$ be integers such that $a = a^2 + b^2 - 8b - 2ab + 16$. Prove that $a$ is a square.