問題は、与えられた3つの数列が単調増加数列であることを示し、さらに上に有界であるかどうかを調べることです。具体的には、以下の3つの数列について考えます。 (1) $\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \dots + \frac{1}{n(n+1)}$ (2) $\frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2}$ (3) $\frac{1}{1} + \frac{1}{2} + \dots + \frac{1}{n}$

解析学数列単調増加有界性級数調和級数収束
2025/7/31

1. 問題の内容

問題は、与えられた3つの数列が単調増加数列であることを示し、さらに上に有界であるかどうかを調べることです。具体的には、以下の3つの数列について考えます。
(1) 112+123++1n(n+1)\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \dots + \frac{1}{n(n+1)}
(2) 112+122+132++1n2\frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2}
(3) 11+12++1n\frac{1}{1} + \frac{1}{2} + \dots + \frac{1}{n}

2. 解き方の手順

(1) 数列 an=k=1n1k(k+1)a_n = \sum_{k=1}^n \frac{1}{k(k+1)} について
* 単調増加であること: an+1an=1(n+1)(n+2)>0a_{n+1} - a_n = \frac{1}{(n+1)(n+2)} > 0 より、数列は単調増加。
* 上に有界であること: 1k(k+1)=1k1k+1\frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1} なので、an=k=1n(1k1k+1)=(112)+(1213)++(1n1n+1)=11n+1<1a_n = \sum_{k=1}^n (\frac{1}{k} - \frac{1}{k+1}) = (1 - \frac{1}{2}) + (\frac{1}{2} - \frac{1}{3}) + \dots + (\frac{1}{n} - \frac{1}{n+1}) = 1 - \frac{1}{n+1} < 1。したがって、上に有界である。
(2) 数列 bn=k=1n1k2b_n = \sum_{k=1}^n \frac{1}{k^2} について
* 単調増加であること: bn+1bn=1(n+1)2>0b_{n+1} - b_n = \frac{1}{(n+1)^2} > 0 より、数列は単調増加。
* 上に有界であること: bn=1+122+132++1n2<1+112+123++1(n1)n=1+(11n)<2b_n = 1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2} < 1 + \frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \dots + \frac{1}{(n-1)n} = 1 + (1 - \frac{1}{n}) < 2。したがって、上に有界である。実際には、この数列はπ26\frac{\pi^2}{6}に収束することが知られています。
(3) 数列 cn=k=1n1kc_n = \sum_{k=1}^n \frac{1}{k} について
* 単調増加であること: cn+1cn=1n+1>0c_{n+1} - c_n = \frac{1}{n+1} > 0 より、数列は単調増加。
* 上に有界であること: これは調和級数と呼ばれ、発散することが知られています。つまり、上に有界ではありません。証明はいくつかありますが、例えば、
c2n=1+12+(13+14)+(15++18)++(12n1+1++12n)>1+12+(14+14)+(18++18)++(12n++12n)=1+12+12++12=1+n2c_{2^n} = 1 + \frac{1}{2} + (\frac{1}{3} + \frac{1}{4}) + (\frac{1}{5} + \dots + \frac{1}{8}) + \dots + (\frac{1}{2^{n-1}+1} + \dots + \frac{1}{2^n}) > 1 + \frac{1}{2} + (\frac{1}{4} + \frac{1}{4}) + (\frac{1}{8} + \dots + \frac{1}{8}) + \dots + (\frac{1}{2^n} + \dots + \frac{1}{2^n}) = 1 + \frac{1}{2} + \frac{1}{2} + \dots + \frac{1}{2} = 1 + \frac{n}{2}
したがって、nn を大きくすると c2nc_{2^n} も大きくなるため、上に有界ではありません。

3. 最終的な答え

(1) 単調増加であり、上に有界である。
(2) 単調増加であり、上に有界である。
(3) 単調増加であるが、上に有界ではない。

「解析学」の関連問題

## 問題の内容

微分導関数増減極大極小経済モデル連立方程式
2025/8/1

与えられた公式 $F[e^{-ax^2}] = \sqrt{\frac{\pi}{a}}e^{-\frac{u^2}{4a}}$ を用いて、以下の関数のフーリエ変換を求める。 (a) $e^{-\fr...

フーリエ変換積分変換指数関数
2025/8/1

与えられた4つの問題は、積分または微分を計算する問題です。 (1) $\int \frac{\log x}{x} dx$ (2) $\int e^{-\frac{1}{2}x} dx$ (3) $(\...

積分微分置換積分合成関数の微分対数関数指数関数
2025/8/1

広義積分 $\int_{0}^{\infty} xe^{-2x}(1 + \cos x) \, dx$ の収束・発散を調べます。

広義積分収束発散部分積分
2025/8/1

与えられた三角関数の式を簡単にします。問題は全部で4つあります。 (1) $\frac{\sin\theta}{1+\cos\theta} + \frac{1}{\tan\theta}$ (2) $\...

三角関数三角関数の恒等式式の簡略化
2025/8/1

与えられた式 $\frac{\sin\theta}{1+\cos\theta} + \frac{1}{\tan\theta}$ を簡単にせよ。

三角関数式の簡約化三角関数の恒等式
2025/8/1

関数 $f(x)$ が積分を含む方程式 $f(x) = 3x + 2\int_0^1 f(t) dt$ で定義されているとき、$f(x)$ を求める問題です。

積分関数定積分方程式
2025/8/1

$r \to 0$ の極限を求める問題です。 具体的には、以下の式の極限を計算します。 $\lim_{r \to 0} \left[xtan\theta + \frac{mgz}{r r_0 cos\...

極限テイラー展開対数関数
2025/8/1

数列 $a_n = (-\frac{1}{2})^n$ が与えられたとき、和 $a_1 + a_3 + a_5 + \dots + a_{2n+1}$ を求めよ。

数列等比数列級数
2025/8/1

定積分 $\int_{1}^{2} \frac{dx}{e^x - 1}$ を、$t = e^x$ という変数変換を用いて計算します。

定積分変数変換部分分数分解積分計算
2025/8/1