\(p ,q\) は実数の定数で, \(0 \lt p \lt 1\) , \(q \gt 0\) をみたすとする. 関数 \[ f(x) = (1-p) x +(1-x)( 1-e^{-qx} ) \] を考える. 以下の問いに答えよ. 必要であれば, 不等式 \(1+x \leqq e^x\) がすべての実数 \(x\) に対して成り立つことを証明なしに用いてよい.

1. (1)　\(0 \lt x \lt 1\) のとき, \(0 \lt f(x) \lt 1\) であることを示せ.

2. (2)　\(x _ 0\) は \(0 \lt x _ 0 \lt 1\) をみたす実数とする. 数列 \(\left\{ x _ n \right\}\) の各項 \(x _ n \ ( n = 1 , 2 , 3 , \cdots )\) を, \[ x _ n = f( x _ {n-1} ) \] によって順次定める. \(p \gt q\) であるとき, \[ \displaystyle\lim _ {n \rightarrow \infty} x _ n = 0 \] となることを示せ.

3. (3)　\(p \lt q\) であるとき, \[ c = f(c) , \quad 0 \lt c \lt 1 \] をみたす実数 \(c\) が存在することを示せ.

\(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. (1)　自然数 \(n\) に対し, \(b _ {n+2}\) は \(b _ {n+1} ( b _ n +1 )\) を \(p\) で割った余りと一致することを示せ.

2. (2)　\(r=2\) , \(p=17\) の場合に, \(10\) 以下のすべての自然数 \(n\) に対して, \(b _ n\) を求めよ.

3. (3)　ある \(2\) つの相異なる自然数 \(n , m\) に対して, \[ b _ {n+1} = b _ {m+1} \gt 0 , \quad b _ {n+2} = b _ {m+2} \] が成り立つとする. このとき \(b _ n = b _ m\) が成り立つことを示せ.

4. (4)　\(a _ 2 , a _ 3 , a _ 4 , \cdots\) に \(p\) で割り切れる数が現れないとする. このとき, \(a _ 1\) も \(p\) で割り切れないことを示せ.

座標平面の原点を O で表す. 線分 \(y = \sqrt{3} x \quad ( 0 \leqq x \leqq 2 )\) 上の点 P と, 線分 \(y = - \sqrt{3} x \quad ( -2 \leqq x \leqq 0 )\) 上の点 Q が, 線分 OP と線分 OQ の長さの和が \(6\) となるように動く. このとき, 線分 PQ の通過する領域を \(D\) とする.

1. (1)　\(s\) を \(0 \leqq s \leqq 2\) をみたす実数とするとき, 点 \((s,t)\) が \(D\) に入るような \(t\) の範囲を求めよ.

2. (2)　\(D\) を図示せよ.