Câu hỏi 80
Cho dãy số thực $\left(x_n\right)_{n\in\mathbb N}$ thỏa mãn $x_0=0$, $x_1=1$ và $x_{n+2}=3x_{n+1}-2x_n$ với mọi $n\geqslant0$. Đặt $y_n=x_n^2+2^{n+2}$ với mọi số tự nhiên $n$. Chứng minh rằng với mọi số nguyên $n\gt 0$, $y_n$ là bình phương của một số nguyên lẻ.