MathNet 2013 Câu hỏi 6

Cho $a,b$ là các số nguyên dương nguyên tố cùng nhau, và các dãy số nguyên $a_n,b_n$ xác định bởi $(a+b\sqrt2)^{2n}=a_n+b_n\sqrt2$. Tìm tất cả các số nguyên tố $p$ sao cho tồn tại số nguyên dương $n\le p$ thỏa $b_n\equiv0\pmod p$.