数列 $\{a_n\}$ は、$a_1 = 1$, $a_{n+1} = \sqrt{2 + a_n}$ で定義される。 (1) 数列 $\{a_n\}$ が単調増加であることを数学的帰納法で示す。 (2) 数列 $\{a_n\}$ が上に有界であることを数学的帰納法で示す(ヒント:$a_n < 5/2$)。 (3) 数列 $\{a_n\}$ は単調増加かつ上に有界なので収束する。その極限 $\alpha$ を求めよ。

解析学数列単調増加有界極限数学的帰納法
2025/5/18

1. 問題の内容

数列 {an}\{a_n\} は、a1=1a_1 = 1, an+1=2+ana_{n+1} = \sqrt{2 + a_n} で定義される。
(1) 数列 {an}\{a_n\} が単調増加であることを数学的帰納法で示す。
(2) 数列 {an}\{a_n\} が上に有界であることを数学的帰納法で示す(ヒント:an<5/2a_n < 5/2)。
(3) 数列 {an}\{a_n\} は単調増加かつ上に有界なので収束する。その極限 α\alpha を求めよ。

2. 解き方の手順

(1) 数列 {an}\{a_n\} が単調増加であること、つまり任意の自然数 nn に対して an+1ana_{n+1} \ge a_n であることを数学的帰納法で示す。
* (i) n=1n=1 のとき: a2=2+a1=2+1=3a_2 = \sqrt{2 + a_1} = \sqrt{2 + 1} = \sqrt{3}. a2=3>1=a1a_2 = \sqrt{3} > 1 = a_1 なので、a2a1a_2 \ge a_1 は成り立つ。
* (ii) n=kn = k のとき、ak+1aka_{k+1} \ge a_k が成り立つと仮定する。このとき、n=k+1n = k + 1 のとき、ak+2ak+1a_{k+2} \ge a_{k+1} が成り立つことを示す。
ak+2=2+ak+1a_{k+2} = \sqrt{2 + a_{k+1}}
ak+1=2+aka_{k+1} = \sqrt{2 + a_{k}}
仮定より ak+1aka_{k+1} \ge a_k なので、
2+ak+12+ak2 + a_{k+1} \ge 2 + a_k
2+ak+12+ak\sqrt{2 + a_{k+1}} \ge \sqrt{2 + a_k}
ak+2ak+1a_{k+2} \ge a_{k+1}
したがって、n=k+1n = k+1 のときも、an+1ana_{n+1} \ge a_n が成り立つ。
以上 (i), (ii) より、数学的帰納法によって、すべての自然数 nn に対して an+1ana_{n+1} \ge a_n が成り立つ。よって、数列 {an}\{a_n\} は単調増加である。
(2) 数列 {an}\{a_n\} が上に有界であること、つまり任意の自然数 nn に対して an<5/2a_n < 5/2 であることを数学的帰納法で示す。
* (i) n=1n=1 のとき:a1=1a_1 = 1. 1<5/21 < 5/2 なので、a1<5/2a_1 < 5/2 は成り立つ。
* (ii) n=kn = k のとき、ak<5/2a_k < 5/2 が成り立つと仮定する。このとき、n=k+1n = k+1 のとき、ak+1<5/2a_{k+1} < 5/2 が成り立つことを示す。
ak+1=2+aka_{k+1} = \sqrt{2 + a_k}
仮定より ak<5/2a_k < 5/2 なので、
2+ak<2+5/2=9/22 + a_k < 2 + 5/2 = 9/2
2+ak<9/2=3/2=(32)/2=18/2\sqrt{2 + a_k} < \sqrt{9/2} = 3/\sqrt{2} = (3\sqrt{2})/2 = \sqrt{18}/2
ここで、18<25/44=2518 < 25/4 * 4 = 25 なので、
ak+1=2+ak<9/2<5/2a_{k+1} = \sqrt{2 + a_k} < \sqrt{9/2} < 5/2.
したがって、n=k+1n = k+1 のときも、an<5/2a_{n} < 5/2 が成り立つ。
以上 (i), (ii) より、数学的帰納法によって、すべての自然数 nn に対して an<5/2a_n < 5/2 が成り立つ。よって、数列 {an}\{a_n\} は上に有界である。
(3) 数列 {an}\{a_n\} は単調増加かつ上に有界なので、極限値 α\alpha を持つ。an+1=2+ana_{n+1} = \sqrt{2 + a_n} の両辺の極限を取ると、
limnan+1=limn2+an\lim_{n \to \infty} a_{n+1} = \lim_{n \to \infty} \sqrt{2 + a_n}
α=2+α\alpha = \sqrt{2 + \alpha}
両辺を2乗すると、
α2=2+α\alpha^2 = 2 + \alpha
α2α2=0\alpha^2 - \alpha - 2 = 0
(α2)(α+1)=0(\alpha - 2)(\alpha + 1) = 0
α=2,1\alpha = 2, -1. 数列 {an}\{a_n\}a1=1a_1 = 1 より正の値を取るので、極限値も正でなければならない。したがって、α=2\alpha = 2.

3. 最終的な答え

(1) 省略(上記の解き方の手順を参照)
(2) 省略(上記の解き方の手順を参照)
(3) α=2\alpha = 2

「解析学」の関連問題

関数 $y = |x-1| - 2|x+1|$ の $-4 \le x \le 2$ における最大値と最小値を求めよ。

絶対値最大値最小値場合分け関数グラフ
2025/6/21

与えられた関数 $y = \frac{x}{(3x-2)^2}$ の微分を求め、$\frac{dy}{dx}$ を計算する。

微分商の微分導関数
2025/6/21

与えられた2変数関数の極限を求め、偏導関数の定義を述べ、与えられた関数を偏微分する問題です。具体的には以下の3つの問題があります。 * 問題1:$\lim_{(x,y) \to (0,0)} \f...

多変数関数極限偏微分
2025/6/21

$0 \le \theta < 2\pi$ のとき、次の方程式を解く。 (1) $\sin(\theta - \frac{\pi}{3}) = -\frac{\sqrt{3}}{2}$ (3) $\t...

三角関数三角方程式方程式を解く
2025/6/21

関数 $f(x) = 8\sqrt{3}\cos^2 x + 6\sin x\cos x + 2\sqrt{3}\sin^2 x$ について、以下の問題を解く。 (1) $f(x)$ を $\sin ...

三角関数最大値最小値合成
2025/6/21

関数 $y = \sin\theta + \cos\theta - 2\sin\theta\cos\theta$ について、以下の問いに答えます。 (1) $t = \sin\theta + \cos...

三角関数最大値最小値三角関数の合成二次関数
2025/6/21

$\frac{\pi}{2} < \theta < \pi$ のとき、$\sin \theta = \frac{1}{3}$ である。このとき、$\sin 2\theta$, $\cos \frac{...

三角関数加法定理倍角の公式半角の公式
2025/6/21

問題は多変数関数の極限を求める問題と、偏導関数の定義を記述する問題、そして多変数関数の偏微分を求める問題です。具体的には以下の問題があります。 * HW 11.1 (1) $ \lim_{(x,y...

多変数関数極限偏導関数偏微分
2025/6/21

$3\sin\theta + \cos\theta = 3$ が成り立つとき、$\sin 2\theta$ の値を求める問題です。ただし、$0 < \theta < \frac{\pi}{2}$ です...

三角関数三角関数の合成倍角の公式方程式
2025/6/21

関数 $f(x) = (3x+2)^2$ を微分した結果 $f'(x)$ を求め、その結果の $x$ の係数と定数項にあてはまる数字を選択肢から選ぶ問題です。

微分合成関数関数の微分
2025/6/21