4高知大学 2022年 数学 第4問解答・解説

採用解説: MM-8cb42c07f143-Q4 結論

(1) f(x)=e^{x}-1-x (x$\ge$ 0) とおくと f(0)=0, f'(x)=e^{x}-1>0 (x>0) より f は x$\ge$0 で単調増加。

よって x>0 のとき f(x)>f(0)=0, すなわち $e^{x}>1+x$.

(2) $\displaystyle \sum\limits _{k=1}^{n}$$\displaystyle \frac{1}{k}$>$\log$(n+1)　(n$\ge$ 1).

(3) $\displaystyle \sum\limits _{k=1}^{n}$$\displaystyle \frac{1}{k^{2}}$<2-$\displaystyle \frac{1}{n}$　(n$\ge$ 2).

(4) $\displaystyle \sum\limits _{k=1}^{\infty}$$\displaystyle \frac{1}{k^{2}}$ は正の無限大には発散しない（有界，実際は収束する）。　 $\displaystyle \sum\limits _{k=1}^{\infty}$$\displaystyle \frac{1}{k}$ は正の無限大に発散する。

(1)　 $x>0$ を満たす実数 $x$ に対して $e^{x}>1+x$ が成り立つことを示す。

$x\ge 0$ の範囲で $$f(x)=e^{x}-1-x$$ と定める。$f$ は微分可能で $$f'(x)=e^{x}-1.$$ 指数関数 $y=e^{x}$ は単調増加であり $e^{0}=1$ であるから，$x>0$ のとき $e^{x}>e^{0}=1$，よって $$f'(x)=e^{x}-1>0\qquad(x>0).$$ したがって $f$ は$x\ge0$ の範囲で単調増加である。$f(0)=e^{0}-1-0=0$ であるから，$x>0$ のとき $$f(x)>f(0)=0,$$ すなわち $$e^{x}>1+x\qquad(x>0)$$ が成り立つ。$\blacksquare$

(2)　 $n\ge 1$ に対して $\displaystyle\sum\limits _{k=1}^{n}\frac{1}{k}>\log(n+1)$ が成り立つことを示す。

各自然数 $k$ に対して $\displaystyle x=\dfrac{1}{k}>0$ は正の実数だから，(1) の不等式より $$\displaystyle e^{1/k}>1+\frac{1}{k}\qquad(k=1,2,\dots,n).$$ 両辺はともに正であり，自然対数 $\log$ は単調増加関数であるから，この不等式の両辺の対数をとっても大小関係は保たれる。よって $$\displaystyle \frac{1}{k}=\log\!\left(e^{1/k}\right)>\log\!\left(1+\frac{1}{k}\right)=\log\!\left(\frac{k+1}{k}\right)=\log(k+1)-\log k.$$ この不等式を $k=1,2,\dots,n$ について辺々加えると，右辺は $$\displaystyle \sum\limits _{k=1}^{n}\bigl(\log(k+1)-\log k\bigr) =\bigl(\log2-\log1\bigr)+\bigl(\log3-\log2\bigr)+\cdots+\bigl(\log(n+1)-\log n\bigr) =\log(n+1)-\log1=\log(n+1)$$ と、隣り合う項が打ち消し合って簡単になる。したがって $$\displaystyle \sum\limits _{k=1}^{n}\frac{1}{k}>\log(n+1)\qquad(n\ge1)$$ が成り立つ。$\blacksquare$

(3)　 $k\ge2$ のとき成り立つ $$\displaystyle \frac{1}{k^{2}}<\frac{1}{(k-1)k}$$ を用いて，$n\ge2$ のとき $\displaystyle\sum\limits _{k=1}^{n}\frac{1}{k^{2}}<2-\frac{1}{n}$ を示す。

部分分数分解により $$\displaystyle \frac{1}{(k-1)k}=\frac{1}{k-1}-\frac{1}{k}\qquad(k\ge2)$$ であるから，与えられた不等式は $$\displaystyle \frac{1}{k^{2}}<\frac{1}{k-1}-\frac{1}{k}\qquad(k\ge2)$$ と書き直せる。これを $k=2,3,\dots,n$ について辺々加えると，右辺は隣り合う項が打ち消し合って $$\displaystyle \sum\limits _{k=2}^{n}\frac{1}{k^{2}}<\sum\limits _{k=2}^{n}\left(\frac{1}{k-1}-\frac{1}{k}\right) =\left(\frac11-\frac12\right)+\left(\frac12-\frac13\right)+\cdots+\left(\frac{1}{n-1}-\frac1n\right) =1-\frac1n.$$ 両辺に $k=1$ の項 $\displaystyle \dfrac{1}{1^{2}}=1$ を加えると $$\displaystyle \sum\limits _{k=1}^{n}\frac{1}{k^{2}}=1+\sum\limits _{k=2}^{n}\frac{1}{k^{2}}<1+\left(1-\frac1n\right)=2-\frac1n$$ となり，題意の不等式 $$\displaystyle \sum\limits _{k=1}^{n}\frac{1}{k^{2}}<2-\frac1n\qquad(n\ge2)$$ が成り立つ（$k=2,\dots,n$ の各項で不等号が真に成り立つので，$n\ge2$ すなわち和に少なくとも1項あるとき，全体でも真の不等号が成り立つ）。$\blacksquare$

(4)　 $$\displaystyle \sum\limits _{k=1}^{\infty}\frac{1}{k^{2}}\ \text{は正の無限大には発散しないこと，および}\quad \sum\limits _{k=1}^{\infty}\frac{1}{k}\ \text{は正の無限大に発散すること}$$ を示す。以下，$\displaystyle S_n=\sum\limits _{k=1}^{n}\frac{1}{k^{2}}$，$\displaystyle T_n=\sum\limits _{k=1}^{n}\frac{1}{k}$ とおく（いずれも正の項だけの和だから，$n$ について単調増加である）。

$\displaystyle \sum\limits _{k=1}^{\infty}\dfrac{1}{k^{2}}$ が正の無限大に発散しないこと。

(3) より $n\ge2$ のとき $$\displaystyle S_n<2-\frac1n<2.$$ また $n=1$ のときは $S_1=1<2$ である。よってすべての自然数 $n$ に対して $$S_n<2$$ が成り立つ。もし $\{S_n\}$ が正の無限大に発散するとすれば，定義により「どんな正の数 $M$ に対しても，ある番号から先で $S_n>M$」となるはずである。ところが $M=2$ ととると，上の評価によりすべての $n$ で $S_n<2$ であり，これは矛盾である。したがって $\{S_n\}$（＝$\displaystyle \sum\limits _{k=1}^{\infty}\dfrac{1}{k^{2}}$ の部分和の列）は正の無限大には発散しない（実際には，単調増加かつ上に有界な数列は収束するという数列の極限の基本性質により，$\{S_n\}$ はある有限の値に収束する）。

$\displaystyle \sum\limits _{k=1}^{\infty}\dfrac{1}{k}$ が正の無限大に発散すること。

(2) より，すべての $n\ge1$ について $$T_n>\log(n+1).$$ 対数関数 $y=\log x$ は $x>0$ で単調増加であり，かつ上に有界でない（$x$ を大きくすればいくらでも大きな値をとる）。実際，任意の正の数 $M$ に対して，自然数 $m$ を $\displaystyle m>\dfrac{M}{\log2}$ を満たすように選べば $$\log\left(2^{m}\right)=m\log2>M$$ となる。$n_0=2^{m}-1$ とおくと $n_0+1=2^{m}$ であり，$\log$ の単調増加性から $n\ge n_0$ を満たすすべての $n$ について $$\log(n+1)\ge\log(n_0+1)=m\log2>M$$ が成り立つ。ゆえに $n\ge n_0$ のとき $$T_n>\log(n+1)>M.$$ これは，任意の正の数 $M$ に対してある番号 $n_0$ が存在し，$n\ge n_0$ ならば $T_n>M$ となることを示しており，これはまさに数列 $\{T_n\}$ が正の無限大に発散することの定義である。よって $$\displaystyle \sum\limits _{k=1}^{\infty}\frac{1}{k}$$ は正の無限大に発散する。$\blacksquare$