問題は以下の2つの数列について、有界で単調増加であることを示し、極限を求める問題です。 (1) $a_1 = 1, a_{n+1} = \sqrt{a_n + 1}$ (2) $a_1 = 1, a_{n+1} = \frac{3a_n + 4}{2a_n + 3}$

解析学数列単調増加有界性極限
2025/6/5

1. 問題の内容

問題は以下の2つの数列について、有界で単調増加であることを示し、極限を求める問題です。
(1) a1=1,an+1=an+1a_1 = 1, a_{n+1} = \sqrt{a_n + 1}
(2) a1=1,an+1=3an+42an+3a_1 = 1, a_{n+1} = \frac{3a_n + 4}{2a_n + 3}

2. 解き方の手順

(1) a1=1,an+1=an+1a_1 = 1, a_{n+1} = \sqrt{a_n + 1}
(i) 単調増加性を示す
数学的帰納法でan<an+1a_n < a_{n+1}を示す。
n=1のとき、a1=1,a2=1+1=2a_1=1, a_2 = \sqrt{1+1} = \sqrt{2}より、a1<a2a_1 < a_2が成立。
n=kのとき、ak<ak+1a_k < a_{k+1}と仮定すると、ak+1<ak+1+1a_k+1 < a_{k+1}+1より、ak+1<ak+1+1\sqrt{a_k+1} < \sqrt{a_{k+1}+1}
すなわち、ak+1<ak+2a_{k+1} < a_{k+2}が成立。
よって、すべての自然数nに対して、an<an+1a_n < a_{n+1}が成り立つ。
(ii) 有界性を示す
an<La_n < Lと仮定して、LLを求める。
an+1=an+1a_{n+1} = \sqrt{a_n + 1}において、nn \to \inftyとすると、L=L+1L = \sqrt{L+1}
L2=L+1L^2 = L+1より、L2L1=0L^2 - L - 1 = 0
これを解くと、L=1±52L = \frac{1 \pm \sqrt{5}}{2}
L>0L > 0より、L=1+52L = \frac{1 + \sqrt{5}}{2}
ここで、a1=1<1+52a_1 = 1 < \frac{1 + \sqrt{5}}{2}である。
an<1+52a_n < \frac{1+\sqrt{5}}{2}を仮定すると、an+1=an+1<1+52+1=3+52=6+254=(1+5)24=1+52a_{n+1} = \sqrt{a_n + 1} < \sqrt{\frac{1+\sqrt{5}}{2} + 1} = \sqrt{\frac{3+\sqrt{5}}{2}} = \sqrt{\frac{6+2\sqrt{5}}{4}} = \sqrt{\frac{(1+\sqrt{5})^2}{4}} = \frac{1+\sqrt{5}}{2}
よって、すべてのnに対して、an<1+52a_n < \frac{1+\sqrt{5}}{2}が成り立つ。
(iii) 極限を求める
極限はL=1+52L = \frac{1+\sqrt{5}}{2}
(2) a1=1,an+1=3an+42an+3a_1 = 1, a_{n+1} = \frac{3a_n + 4}{2a_n + 3}
(i) 単調増加性を示す
an+1an=3an+42an+3an=3an+42an23an2an+3=42an22an+3=2(2an2)2an+3a_{n+1} - a_n = \frac{3a_n + 4}{2a_n + 3} - a_n = \frac{3a_n + 4 - 2a_n^2 - 3a_n}{2a_n + 3} = \frac{4 - 2a_n^2}{2a_n + 3} = \frac{2(2 - a_n^2)}{2a_n + 3}
a1=1<2a_1 = 1 < \sqrt{2}である。もしすべてのnnについてan<2a_n < \sqrt{2}が成り立つならば、an+1an>0a_{n+1} - a_n > 0が言える。
an<2a_n < \sqrt{2}を仮定すると、an+1=3an+42an+3<23an+4<2(2an+3)(322)an<324an<324322=(324)(3+22)98=92+121282=2a_{n+1} = \frac{3a_n+4}{2a_n+3} < \sqrt{2} \Leftrightarrow 3a_n + 4 < \sqrt{2}(2a_n + 3) \Leftrightarrow (3-2\sqrt{2})a_n < 3\sqrt{2} - 4 \Leftrightarrow a_n < \frac{3\sqrt{2} - 4}{3 - 2\sqrt{2}} = \frac{(3\sqrt{2} - 4)(3+2\sqrt{2})}{9-8} = 9\sqrt{2} + 12 - 12 - 8\sqrt{2} = \sqrt{2}.
よって、すべてのnに対して、an<2a_n < \sqrt{2}
したがって、an+1>ana_{n+1} > a_n
(ii) 有界性を示す
an<2a_n < \sqrt{2}はすでに示した。
(iii) 極限を求める
an+1=3an+42an+3a_{n+1} = \frac{3a_n + 4}{2a_n + 3}において、nn \to \inftyとすると、L=3L+42L+3L = \frac{3L + 4}{2L + 3}
2L2+3L=3L+42L^2 + 3L = 3L + 4より、2L2=42L^2 = 4
L2=2L^2 = 2より、L=±2L = \pm \sqrt{2}
L>0L > 0より、L=2L = \sqrt{2}

3. 最終的な答え

(1) 極限: 1+52\frac{1 + \sqrt{5}}{2}
(2) 極限: 2\sqrt{2}

「解析学」の関連問題

放物線 $C_1: y=2x^2$ 上の点 $A(1,2)$ における接線 $l$ について、その傾きと方程式を求めます。次に、放物線 $C_2: y = -x^2 + ax - b$ が接線 $l$...

微分積分接線面積
2025/6/6

与えられた関数 $y = 4\sin x \cos x - 2\cos^2 x$ を変形して、$y = \sqrt{\text{コ}} \sin(\text{ク} + \alpha) - \text{...

三角関数三角関数の合成関数の変形
2025/6/6

関数 $f(x) = 3x^2 - 4x + \int_0^3 f(t) dt$ が与えられている。$a = \int_0^3 f(t) dt$ とおいて、$f(x)$ を求めよ。

積分関数定積分
2025/6/6

図2は関数 $y = 2\sin{x} + 2\cos{x}$ のグラフである。図2における $a$ の値を求め、さらに式 $2\sin{x} + 2\cos{x}$ を合成したときの $b$ と $...

三角関数関数の合成グラフ振幅位相
2025/6/6

図1に示された関数 $y=A$ と関数 $y=A'$ の式を、選択肢の中から選ぶ問題です。また、関数 $y=$イ と関数 $y=$ウ のグラフが一致することも考慮して回答する必要があります。

三角関数グラフ振幅周期コサイン関数
2025/6/6

実数 $a$ の範囲が $1/2 < a < 3$ のとき、3次関数 $f(x) = x^3 - 3ax^2 + 3(2a^2 - 1)x + 2$ は極大値と極小値を持つ。$f(x)$ の極大値と極...

三次関数極大値極小値微分最大値最小値
2025/6/6

与えられた数列の和を求める問題です。 数列は$\sum_{k=1}^{n} \frac{1}{\sqrt{k+1} + \sqrt{k}}$で表されます。

数列級数有理化望遠鏡和
2025/6/6

与えられた和 $\sum_{k=1}^{10} \frac{1}{k^2 + 3k + 2}$ を計算します。

級数部分分数分解シグマ
2025/6/6

関数 $f(x) = x^3 - 9x^2 + 15x + 7$ について、以下の問いに答えます。 (1) $f(x)$ の増減を調べ、極値を求め、極値をとるときの $x$ の値を求めます。 (2) ...

微分増減極値三次関数方程式グラフ
2025/6/6

関数 $f(x) = (3x^2 - 6x + 10)^{2/3}$ の導関数 $f'(x)$ と、微分係数 $f'(1)$ を求める問題です。

導関数微分合成関数の微分微分係数
2025/6/6