MathNet 2018-part-07 — 177 bài (EN–VI) Câu hỏi 2

Cho $a_{0} = a_{1} = 1$ và $a_{n+1} = 7 a_{n} - a_{n-1} - 2$ với mọi số nguyên dương $n$. Chứng minh rằng $a_{n}$ là số chính phương với mọi $n$.