>>32
これは質問ですか?

p,qを相異なる素数とする。
n=1,2,...に対して(px+q)^nをn^2+n+1で割った余りをa[n]x+b[n]とおくとき、a[n]とb[n]の最大公約数を求めよ。
という問題で、a[n]とb[n]の漸化式を立てましたがその先が分かりません。解答の方針、類題と解答などをご教示いただけますと幸いです。よろしくお願いします。