ｋを自然数とする。数列{ａn}が関係式 ａ1＝ｋ，ａ2＝ｋ,ａn+2＝ａn+1＋３ａn
をみたしているとする。
①任意のｎに対して、ａn+6≡ａn (mod8) を示せ。
②数列{ａn}の各項を素因数分解したとき、素因数２を二個だけ含むものが存在し
ないための、ｋについての条件を求めよ。
です。