横浜国立大学 2023年度理系数学第4問解答・解説

問題

数列 ${a_{n}}$ は

a_{1} = 1, a_{n + 1} = 2 + 7 a_{n} (n = 1, 2, 3, \dots)

をみたす。次の問いに答えよ。

(1) $α = 2 + 7 α$ をみたす2より大きい実数 $α$ がただ1つ存在することを示し、 $α$ を求めよ。

(2) (1)で求めた $α$ に対して、 $a_{n} < α$ （ $n = 1, 2, 3, \dots$ ）を示せ。

(3) 数列 ${a_{n}}$ の極限を調べ、収束する場合はその極限値を求めよ。

出典：横浜国立大学 2023年度前期理系第4問

(1)は $y = α$ とおいて4次方程式に直し、因数分解で $y = 2$ だけを残す。(2)は帰納法で上界4を示す。(3)では $1 ≦ a_{n} < 4$ の範囲で $a_{n + 1} > a_{n}$ を示し、単調増加かつ上に有界な数列として極限を求める。

$y = α$ とおくと、 $y > 0$ であり

y^{4} - 7 y - 2 = 0

である。左辺は

y^{4} - 7 y - 2 = (y - 2) (y^{3} + 2 y^{2} + 4 y + 1)

と因数分解できる。 $y > 0$ では $y^{3} + 2 y^{2} + 4 y + 1 > 0$ であるから $y = 2$ のみが解である。したがって $α = 4$ である。

数学的帰納法で示す。 $a_{1} = 1 < 4$ である。 $a_{n} < 4$ と仮定すると $a_{n} < 2$ であるから

a_{n + 1} = 2 + 7 a_{n} < 16 = 4

である。よってすべての正の整数 $n$ について $a_{n} < 4$ である。

$1 ≦ x < 4$ とし、 $y = x$ とおくと $1 ≦ y < 2$ である。このとき

y^{4} - 7 y - 2 = (y - 2) (y^{3} + 2 y^{2} + 4 y + 1) < 0

より $x^{2} < 2 + 7 x$ である。したがって $a_{n + 1} > a_{n}$ である。

よって ${a_{n}}$ は単調増加で、上に4で有界であるから収束する。その極限を $L$ とすると

L = 2 + 7 L

である。(1)と同じ因数分解により非負の解は $L = 4$ だけである。したがって

n \to \infty lim a_{n} = 4

である。