(1) $h > 0$ かつ $n$ を3以上の整数とするとき、不等式 $(1+h)^n > \frac{1}{6}n(n-1)(n-2)h^3$ が成り立つことを示す。 (2) $-1 < r < 1$ のとき、$\lim_{n \to \infty} n^2 r^n = 0$ が成り立つことを示す。

解析学不等式二項定理極限数列収束
2025/4/5

1. 問題の内容

(1) h>0h > 0 かつ nn を3以上の整数とするとき、不等式 (1+h)n>16n(n1)(n2)h3(1+h)^n > \frac{1}{6}n(n-1)(n-2)h^3 が成り立つことを示す。
(2) 1<r<1-1 < r < 1 のとき、limnn2rn=0\lim_{n \to \infty} n^2 r^n = 0 が成り立つことを示す。

2. 解き方の手順

(1) 二項定理を用いて (1+h)n(1+h)^n を展開し、必要な項を取り出すことで不等式を示す。
(1+h)n=k=0n(nk)hk(1+h)^n = \sum_{k=0}^{n} \binom{n}{k}h^k
ここで、nn は3以上の整数なので、k=0,1,2,3の項を取り出すと、
(1+h)n=(n0)h0+(n1)h1+(n2)h2+(n3)h3+k=4n(nk)hk(1+h)^n = \binom{n}{0}h^0 + \binom{n}{1}h^1 + \binom{n}{2}h^2 + \binom{n}{3}h^3 + \sum_{k=4}^{n} \binom{n}{k}h^k
(1+h)n=1+nh+n(n1)2h2+n(n1)(n2)6h3+k=4n(nk)hk(1+h)^n = 1 + nh + \frac{n(n-1)}{2}h^2 + \frac{n(n-1)(n-2)}{6}h^3 + \sum_{k=4}^{n} \binom{n}{k}h^k
h>0h>0 より k=4n(nk)hk>0\sum_{k=4}^{n} \binom{n}{k}h^k > 0 だから、
(1+h)n>n(n1)(n2)6h3(1+h)^n > \frac{n(n-1)(n-2)}{6}h^3
よって、
(1+h)n>16n(n1)(n2)h3(1+h)^n > \frac{1}{6}n(n-1)(n-2)h^3
が成り立つ。
(2) an=n2rna_n = n^2 r^n とおく。1<r<1-1<r<1 なので、r<1|r|<1 である。
r=11+h|r| = \frac{1}{1+h} とおくと、h>0h>0 である。
an=n2rn=n2(1+h)n|a_n| = n^2 |r|^n = \frac{n^2}{(1+h)^n} となる。
(1+h)n>16n(n1)(n2)h3(1+h)^n > \frac{1}{6}n(n-1)(n-2)h^3 を用いると、n3n \geq 3 において
0<an=n2(1+h)n<6n2n(n1)(n2)h3=6n(n1)(n2)h30 < |a_n| = \frac{n^2}{(1+h)^n} < \frac{6n^2}{n(n-1)(n-2)h^3} = \frac{6n}{(n-1)(n-2)h^3}
limn6n(n1)(n2)h3=limn6n(n23n+2)h3=limn6/n(13/n+2/n2)h3=0h3=0\lim_{n \to \infty} \frac{6n}{(n-1)(n-2)h^3} = \lim_{n \to \infty} \frac{6n}{(n^2 - 3n + 2)h^3} = \lim_{n \to \infty} \frac{6/n}{(1 - 3/n + 2/n^2)h^3} = \frac{0}{h^3} = 0
したがって、limnan=0\lim_{n \to \infty} |a_n| = 0 となるので、limnan=limnn2rn=0\lim_{n \to \infty} a_n = \lim_{n \to \infty} n^2 r^n = 0 である。

3. 最終的な答え

(1) (1+h)n>16n(n1)(n2)h3(1+h)^n > \frac{1}{6}n(n-1)(n-2)h^3
(2) limnn2rn=0\lim_{n \to \infty} n^2 r^n = 0

「解析学」の関連問題

(1) $0 \le x \le \frac{1}{3}$ のとき、$1+x^2 \le \frac{1}{1-x^2} \le 1+\frac{9}{8}x^2$ が成り立つことを示す。 (2) (...

不等式対数近似
2025/4/11

関数 $y = f(x) = \sqrt{1 - \sin{3x}}$ を微分する。

微分合成関数三角関数
2025/4/11

関数 $y = f(x) = \sqrt{1 - \sin 3x}$ の定義域を求める問題です。

三角関数定義域平方根不等式
2025/4/11

与えられた関数 $y = f(x) = \cos^5(x^2 + 1)$ の導関数 $\frac{dy}{dx}$ を求める問題です。

微分導関数合成関数連鎖律三角関数
2025/4/11

与えられた関数 $y = f(x) = (1 + \log(2x))^3$ の微分を求める問題です。

微分合成関数の微分対数関数
2025/4/11

与えられた関数 $y = f(x) = (x^2 + 2) \cdot 3^x$ の導関数を求める問題です。

導関数積の微分指数関数微分
2025/4/11

関数 $y = f(x) = (1 + \log(2x))^3$ の導関数 $y'$ を求める問題です。

微分導関数合成関数の微分対数関数
2025/4/11

与えられた関数 $y = f(x) = (x^2 + 2) \cdot 3^x$ の導関数を求める問題です。

導関数積の微分指数関数微分
2025/4/11

与えられた関数 $y = f(x) = \log{3x}$ を扱います。特に指示がないので、この関数について何をするかは不明です。一般的な場合として、この関数の性質について考察します。例えば、定義域を...

対数関数定義域不等式
2025/4/11

与えられた関数 $y = f(x) = \sin^3 x$ の導関数 $\frac{dy}{dx}$ を求める問題です。

導関数三角関数合成関数の微分
2025/4/11