整数からなる数列

を漸化式

(n=1,2,…)によって定める.
(1)

が偶数となることと,nが3の倍数となることは同値であることを示せ.
(2)

が10の倍数となるための条件を(1)と同様の形式で求めよ.
(1)
mod 2で考える.

であり,

は奇数,

は偶数.
従って

が偶数⇔nが3の倍数.
(2)
mod 5で考える.

が5の倍数となるための条件を考える.

.

は5の倍数ではなく,

は5の倍数.
従って,

が5の倍数⇔nが4の倍数.
(1)の結果と合わせて,

が10の倍数⇔nが12の倍数.
最終更新:2011年10月28日 17:28