\(r\) を \(0\) 以上の整数とし, 数列 \(\{ a _ n \}\) を次のように定める. \[\begin{align} & a _ 1 = r , \quad a _ 2 = r+1 , \\ & a _ {n+2} = a _ {n+1} ( a _ n +1 ) \quad ( n = 1 , 2 , 3 , \cdots ) \end{align}\] また, 素数 \(p\) を \(1\) つとり, \(a _ n\) を \(p\) で割った余りを \(b _ n\) とする. ただし, \(0\) を \(p\) で割った余りは \(0\) とする.
(1) 自然数 \(n\) に対し, \(b _ {n+2}\) は \(b _ {n+1} ( b _ n +1 )\) を \(p\) で割った余りと一致することを示せ.
(2) \(r=2\) , \(p=17\) の場合に, \(10\) 以下のすべての自然数 \(n\) に対して, \(b _ n\) を求めよ.
(3) ある \(2\) つの相異なる自然数 \(n , m\) に対して, \[ b _ {n+1} = b _ {m+1} \gt 0 , \quad b _ {n+2} = b _ {m+2} \] が成り立つとする. このとき \(b _ n = b _ m\) が成り立つことを示せ.
続きを読む