(1) $n$ を自然数とする。 不等式 $\int_0^1 \frac{x^n}{1+x} dx \le \int_0^1 x^n dx$ を示し、$\lim_{n \to \infty} \int_0^1 \frac{x^n}{1+x} dx$ を求めよ。 (2) $F_n(x) = 1 + (-x) + (-x)^2 + \cdots + (-x)^{n-1}$ とし、$S_n = \int_0^1 F_n(x) dx$ とする。 $S_n = 1 - \frac{1}{2} + \frac{1}{3} - \cdots + \frac{(-1)^{n-1}}{n}$ を示し、無限級数 $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots$ の和を求めよ。

解析学積分極限不等式無限級数はさみうちの原理ln(x)
2025/5/28

1. 問題の内容

(1) nn を自然数とする。
不等式 01xn1+xdx01xndx\int_0^1 \frac{x^n}{1+x} dx \le \int_0^1 x^n dx を示し、limn01xn1+xdx\lim_{n \to \infty} \int_0^1 \frac{x^n}{1+x} dx を求めよ。
(2) Fn(x)=1+(x)+(x)2++(x)n1F_n(x) = 1 + (-x) + (-x)^2 + \cdots + (-x)^{n-1} とし、Sn=01Fn(x)dxS_n = \int_0^1 F_n(x) dx とする。
Sn=112+13+(1)n1nS_n = 1 - \frac{1}{2} + \frac{1}{3} - \cdots + \frac{(-1)^{n-1}}{n} を示し、無限級数 112+1314+1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots の和を求めよ。

2. 解き方の手順

(1)
まず、不等式 01xn1+xdx01xndx\int_0^1 \frac{x^n}{1+x} dx \le \int_0^1 x^n dx を示す。
区間 [0,1][0, 1] において、1+x11+x \ge 1 であるから 11+x1\frac{1}{1+x} \le 1 。したがって、xn1+xxn\frac{x^n}{1+x} \le x^n が成り立つ。
積分区間 [0,1][0, 1] において、xn1+xxn\frac{x^n}{1+x} \le x^n が成り立つので、
01xn1+xdx01xndx\int_0^1 \frac{x^n}{1+x} dx \le \int_0^1 x^n dx が成り立つ。
次に、limn01xn1+xdx\lim_{n \to \infty} \int_0^1 \frac{x^n}{1+x} dx を求める。
01xndx=[xn+1n+1]01=1n+1\int_0^1 x^n dx = \left[ \frac{x^{n+1}}{n+1} \right]_0^1 = \frac{1}{n+1}
したがって、01xn1+xdx1n+1\int_0^1 \frac{x^n}{1+x} dx \le \frac{1}{n+1} である。
001xn1+xdx1n+10 \le \int_0^1 \frac{x^n}{1+x} dx \le \frac{1}{n+1} であり、limn1n+1=0\lim_{n \to \infty} \frac{1}{n+1} = 0 であるから、
limn01xn1+xdx=0\lim_{n \to \infty} \int_0^1 \frac{x^n}{1+x} dx = 0 (はさみうちの原理)。
(2)
Fn(x)=1+(x)+(x)2++(x)n1=k=0n1(x)k=1(x)n1(x)=1(x)n1+xF_n(x) = 1 + (-x) + (-x)^2 + \cdots + (-x)^{n-1} = \sum_{k=0}^{n-1} (-x)^k = \frac{1 - (-x)^n}{1 - (-x)} = \frac{1 - (-x)^n}{1+x}
Sn=01Fn(x)dx=011(x)n1+xdx=0111+xdx01(x)n1+xdxS_n = \int_0^1 F_n(x) dx = \int_0^1 \frac{1 - (-x)^n}{1+x} dx = \int_0^1 \frac{1}{1+x} dx - \int_0^1 \frac{(-x)^n}{1+x} dx
Sn=01k=0n1(x)kdx=k=0n101(x)kdx=k=0n1[(1)kxk+1k+1]01=k=0n1(1)kk+1=112+13+(1)n1nS_n = \int_0^1 \sum_{k=0}^{n-1} (-x)^k dx = \sum_{k=0}^{n-1} \int_0^1 (-x)^k dx = \sum_{k=0}^{n-1} \left[ \frac{(-1)^k x^{k+1}}{k+1} \right]_0^1 = \sum_{k=0}^{n-1} \frac{(-1)^k}{k+1} = 1 - \frac{1}{2} + \frac{1}{3} - \cdots + \frac{(-1)^{n-1}}{n}
したがって、Sn=112+13+(1)n1nS_n = 1 - \frac{1}{2} + \frac{1}{3} - \cdots + \frac{(-1)^{n-1}}{n}
無限級数 112+1314+1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots の和を求める。
Sn=01Fn(x)dx=011(x)n1+xdx=0111+xdx01(x)n1+xdxS_n = \int_0^1 F_n(x) dx = \int_0^1 \frac{1 - (-x)^n}{1+x} dx = \int_0^1 \frac{1}{1+x} dx - \int_0^1 \frac{(-x)^n}{1+x} dx
0111+xdx=[ln(1+x)]01=ln(2)ln(1)=ln2\int_0^1 \frac{1}{1+x} dx = \left[ \ln(1+x) \right]_0^1 = \ln(2) - \ln(1) = \ln 2
limn01(x)n1+xdx=0\lim_{n \to \infty} \int_0^1 \frac{(-x)^n}{1+x} dx = 0 (これは少し難しい)
01(x)n1+xdx01xn1+xdx01xndx=1n+10|\int_0^1 \frac{(-x)^n}{1+x} dx | \le \int_0^1 \frac{|x|^n}{1+x} dx \le \int_0^1 x^n dx = \frac{1}{n+1} \to 0 as nn \to \infty.
したがって、limnSn=limn0111+xdxlimn01(x)n1+xdx=ln20=ln2\lim_{n \to \infty} S_n = \lim_{n \to \infty} \int_0^1 \frac{1}{1+x} dx - \lim_{n \to \infty} \int_0^1 \frac{(-x)^n}{1+x} dx = \ln 2 - 0 = \ln 2

3. 最終的な答え

(1)
01xn1+xdx01xndx\int_0^1 \frac{x^n}{1+x} dx \le \int_0^1 x^n dx
limn01xn1+xdx=0\lim_{n \to \infty} \int_0^1 \frac{x^n}{1+x} dx = 0
(2)
Sn=112+13+(1)n1nS_n = 1 - \frac{1}{2} + \frac{1}{3} - \cdots + \frac{(-1)^{n-1}}{n}
112+1314+=ln21 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots = \ln 2

「解析学」の関連問題

与えられた6つの関数をそれぞれ $x$ で微分する問題です。

微分合成関数三角関数指数関数対数関数
2025/5/29

与えられた9つの関数を$x$で微分する問題です。

微分指数関数対数関数
2025/5/29

問題は、区間 $0 < x < \frac{\pi}{2}$ において、不等式 $\frac{2}{\pi}x < \sin x < x$ が成り立つことを示すことです。

不等式三角関数微分単調性平均値の定理
2025/5/29

$x > 0$ のとき、不等式 $x \log x \geq x - 1$ を証明します。ここで、$\log$ は自然対数(底が $e$)を表すものとします。

不等式自然対数導関数関数の最小値微分
2025/5/29

与えられた関数 $y$ を $x$ で微分し、導関数 $\frac{dy}{dx}$ を求める問題です。関数は以下の8つです。 (1) $y = -\sqrt{x}$ (2) $y = \sqrt[3...

微分導関数関数の微分
2025/5/29

与えられた15個の関数をそれぞれ $x$ で微分する問題です。

微分導関数多項式冪関数
2025/5/29

以下の極限値を求める問題です。 (1) $\lim_{x \to 2} 2x^5$ (2) $\lim_{x \to -2} 3x^3$ (3) $\lim_{x \to 5} (x-8)$ (4) ...

極限関数の極限不定形
2025/5/29

問題1010では関数 $f(x) = 2x^2$ について、次の値を求めるよう指示されています。 (1) $f'(-2)$ (2) $f'(-1)$ (3) $f'(0)$ (4) $f'(1)$ (...

微分導関数関数の微分
2025/5/29

与えられた9つの関数を $x$ で微分する問題です。

微分関数の微分累乗根分数指数
2025/5/29

与えられた関数の導関数を求めます。ここでは、問題(5) $e^{x^x}$ の導関数を求めます。

導関数微分指数関数対数関数
2025/5/29