関数 $f(x) = x^2 - 2$ が与えられている。曲線 $y = f(x)$ 上の点 $(x_n, f(x_n))$ における接線がx軸と交わる点のx座標を $x_{n+1}$ とする。$x_1 = 2$ であるとき、以下の問いに答えよ。 (1) $x_{n+1}$ を $x_n$ を用いて表せ。 (2) $\sqrt{2} < x_{n+1} < x_n$ であることを示せ。 (3) $x_{n+1} - \sqrt{2} < \frac{1}{2}(x_n - \sqrt{2})$ であることを示せ。 (4) $\lim_{n \to \infty} x_n$ を求めよ。

解析学数列極限接線関数の解析
2025/5/9

1. 問題の内容

関数 f(x)=x22f(x) = x^2 - 2 が与えられている。曲線 y=f(x)y = f(x) 上の点 (xn,f(xn))(x_n, f(x_n)) における接線がx軸と交わる点のx座標を xn+1x_{n+1} とする。x1=2x_1 = 2 であるとき、以下の問いに答えよ。
(1) xn+1x_{n+1}xnx_n を用いて表せ。
(2) 2<xn+1<xn\sqrt{2} < x_{n+1} < x_n であることを示せ。
(3) xn+12<12(xn2)x_{n+1} - \sqrt{2} < \frac{1}{2}(x_n - \sqrt{2}) であることを示せ。
(4) limnxn\lim_{n \to \infty} x_n を求めよ。

2. 解き方の手順

(1) 点 (xn,f(xn))(x_n, f(x_n)) における接線の方程式を求める。
f(x)=2xf'(x) = 2x より、接線の傾きは f(xn)=2xnf'(x_n) = 2x_n である。
したがって、接線の方程式は
yf(xn)=2xn(xxn)y - f(x_n) = 2x_n(x - x_n)
y(xn22)=2xn(xxn)y - (x_n^2 - 2) = 2x_n(x - x_n)
y=2xnx2xn2+xn22y = 2x_n x - 2x_n^2 + x_n^2 - 2
y=2xnxxn22y = 2x_n x - x_n^2 - 2
この接線がx軸と交わる点では y=0y = 0 なので、
0=2xnxxn220 = 2x_n x - x_n^2 - 2
2xnx=xn2+22x_n x = x_n^2 + 2
x=xn2+22xnx = \frac{x_n^2 + 2}{2x_n}
したがって、xn+1=xn2+22xnx_{n+1} = \frac{x_n^2 + 2}{2x_n} である。
(2) 2<xn+1<xn\sqrt{2} < x_{n+1} < x_n を示す。
まず、xn+12>0x_{n+1} - \sqrt{2} > 0 を示す。
xn+12=xn2+22xn2=xn2+222xn2xn=(xn2)22xnx_{n+1} - \sqrt{2} = \frac{x_n^2 + 2}{2x_n} - \sqrt{2} = \frac{x_n^2 + 2 - 2\sqrt{2}x_n}{2x_n} = \frac{(x_n - \sqrt{2})^2}{2x_n}
x1=2>2x_1 = 2 > \sqrt{2} であり、xn>2x_n > \sqrt{2} と仮定すると、 xn+1>2x_{n+1} > \sqrt{2} となるので、すべての nn について xn>2x_n > \sqrt{2} である。
したがって、(xn2)22xn>0\frac{(x_n - \sqrt{2})^2}{2x_n} > 0 より、xn+1>2x_{n+1} > \sqrt{2} である。
次に、xn+1<xnx_{n+1} < x_n を示す。
xnxn+1=xnxn2+22xn=2xn2xn222xn=xn222xnx_n - x_{n+1} = x_n - \frac{x_n^2 + 2}{2x_n} = \frac{2x_n^2 - x_n^2 - 2}{2x_n} = \frac{x_n^2 - 2}{2x_n}
xn>2x_n > \sqrt{2} より、xn2>2x_n^2 > 2 であるから、xn22>0x_n^2 - 2 > 0 である。
また、2xn>02x_n > 0 なので、xn222xn>0\frac{x_n^2 - 2}{2x_n} > 0 である。
したがって、xnxn+1>0x_n - x_{n+1} > 0 より、xn+1<xnx_{n+1} < x_n である。
(3) xn+12<12(xn2)x_{n+1} - \sqrt{2} < \frac{1}{2}(x_n - \sqrt{2}) を示す。
xn+12=(xn2)22xnx_{n+1} - \sqrt{2} = \frac{(x_n - \sqrt{2})^2}{2x_n} であり、
12(xn2)\frac{1}{2}(x_n - \sqrt{2}) と比較すると、
(xn2)22xn<12(xn2)\frac{(x_n - \sqrt{2})^2}{2x_n} < \frac{1}{2}(x_n - \sqrt{2})
xn22xn<12\frac{x_n - \sqrt{2}}{2x_n} < \frac{1}{2}
xn2<xnx_n - \sqrt{2} < x_n
2<0-\sqrt{2} < 0
これは常に成り立つ。したがって、xn+12<12(xn2)x_{n+1} - \sqrt{2} < \frac{1}{2}(x_n - \sqrt{2}) が成り立つ。
(4) limnxn\lim_{n \to \infty} x_n を求める。
2<xn+1<xn\sqrt{2} < x_{n+1} < x_n より、xnx_n は下に有界な単調減少列であるから、極限値を持つ。
limnxn=α\lim_{n \to \infty} x_n = \alpha とすると、limnxn+1=α\lim_{n \to \infty} x_{n+1} = \alpha である。
xn+1=xn2+22xnx_{n+1} = \frac{x_n^2 + 2}{2x_n} より、α=α2+22α\alpha = \frac{\alpha^2 + 2}{2\alpha}
2α2=α2+22\alpha^2 = \alpha^2 + 2
α2=2\alpha^2 = 2
α=±2\alpha = \pm \sqrt{2}
xn>2x_n > \sqrt{2} より、α=2\alpha = \sqrt{2} である。
したがって、limnxn=2\lim_{n \to \infty} x_n = \sqrt{2} である。

3. 最終的な答え

(1) xn+1=xn2+22xnx_{n+1} = \frac{x_n^2 + 2}{2x_n}
(2) 2<xn+1<xn\sqrt{2} < x_{n+1} < x_n
(3) xn+12<12(xn2)x_{n+1} - \sqrt{2} < \frac{1}{2}(x_n - \sqrt{2})
(4) limnxn=2\lim_{n \to \infty} x_n = \sqrt{2}

「解析学」の関連問題

与えられた数列の極限を求める問題です。具体的には、以下の3つの数列について $n \to \infty$ のときの極限を求めます。 (1) $\frac{\sqrt{3n^2+1}}{\sqrt{n^...

数列極限有理化ルート
2025/5/11

数列の極限を求める問題です。具体的には、以下の3つの数列の極限を求めます。 (1) $n^2 - n$ (2) $\frac{n+1}{3n^2 - 2}$ (3) $\frac{5n^2}{-2n^...

数列極限
2025/5/11

与えられた3つの極限値を計算する問題です。 (4) $\lim_{n \to \infty} \frac{(-2)^n}{4^n - (-3)^n}$ (5) $\lim_{n \to \infty}...

極限数列の極限発散
2025/5/11

数列 $\{(2x)^n\}$ が収束するための $x$ の値の範囲を求め、そのときの極限値を求める。

数列収束極限不等式
2025/5/11

以下の3つの極限を求める問題です。 (1) $\lim_{n \to \infty} \frac{3 \cdot 2^n - 5}{2^n + 3}$ (2) $\lim_{n \to \infty}...

極限数列収束発散
2025/5/11

与えられた6つの数列の極限を求める問題です。各数列は $n$ を自然数として、ある定数の $n$ 乗の形で表されています。

数列極限指数関数
2025/5/11

与えられた数列の極限を求める問題です。問題は2つのパートに分かれています。 パート1 (710新編 数学III 練習9) では、以下の極限を求めます。 (1) $\lim_{n \to \infty}...

数列の極限極限指数関数
2025/5/11

数列 ${(x-1)^n}$ が収束するような $x$ の範囲を求め、そのときの極限値を求めよ。

数列収束極限不等式
2025/5/11

次の4つの数列の極限を求めます。 (1) $(\sqrt{3})^n$ (2) $(\frac{2}{3})^n$ (3) $(-\frac{4}{3})^n$ (4) $2(-\frac{4}{5}...

数列極限収束発散
2025/5/11

関数 $y = x^3 - 2x^2 + 5x - 1$ を微分せよ。

微分導関数合成関数積の微分商の微分対数微分法ロピタルの定理極限
2025/5/11