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

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