数列における余りの周期性

問題文

$a_{1} = 3$ , $a_{n+1} = \frac{a_{n}(a_{n}+1)}{2}$

とする($n$は自然数)。

また、$2$ 以上の自然数を $p$ とし、$a_{n}$を $3^{p}$ で割った時の余りを $R_{n}^{p}$ とする。

このとき、数列 {$R_{n}^{p}$} は
「周期の長さが $2×3^{p-2}$ 」であり、
かつ「 $0$ 以上 $3^{p}$ 未満の $3$ の倍数のうち $9$ の倍数ではない数」

をすべて巡回することを示せ。

解答形式

論述形式です。途中までの投稿もOKです。$p$ の値が小さければ、試してみると成立していることが分かります。