Đặt $b_n = na_n \Rightarrow \left\{\begin{matrix} b_1=b_2 = 2 \\ b_{n+2}=nb_{n+1}+nb_n-2n+1\end{matrix}\right.$
Đặt $c_n=b_n -1 \Rightarrow \left\{\begin{matrix} c_1=c_2 = 1 \\ c_{n+2}=nc_{n+1}+nc_n(*)\end{matrix}\right.$
Từ (*) suy ra : $c_{n+2}-(n+1)c_{n+1}=-(c_{n+1}-nc_n)= ... = (-1)^n(c_2-1.c_1)=0$
$\Rightarrow c_{n+2}=(n+1)c_{n+1}=...=(n+1)!$
$\Rightarrow a_n=\frac{(n-1)!+1}{n}$
Suy ra theo định lý Wilson : $a_n \in \mathbb{Z} \Leftrightarrow n \in \mathbb{P}$
Edited by Noobmath, 28-10-2012 - 19:15.