MathNet 2009-part-03 — 175 bài (EN–VI) Câu hỏi 51

Cho $a$ và $b$ là các số nguyên thỏa mãn $a = a^2 + b^2 - 8b - 2ab + 16$. Chứng minh rằng $a$ là một số chính phương.