数学的帰納法, 極限(自作問題12)

この記事の所要時間: 548

問題.

自作問題の12番, 数学的帰納法と極限の問題です.

問題.

(1). 任意の自然数\(n\)対して

\(\displaystyle \sum_{k=1}^{2n} \frac{(-1)^{k-1}}{k} = \sum_{k=1}^n \frac{1}{n+k}\)

が成り立つことを証明せよ.

(2). \(\displaystyle \lim_{m\to\infty} \sum_{k=1}^m \frac{(-1)^{k-1}}{k}\)

を求めよ.

(1)は数学的帰納法を用いて示します.

(1)は有名な等式なので, 1995年度神戸大学や, 2005年度大阪大学の入試でも問われています.

(2)では(1)の等式を利用して極限を計算します.

極限の計算では, 区分求積法を用います.

また, \(S_n\)の値が\(n\)が偶数か奇数かで異なってくることに注意して場合分けする必要があります.

区分求積法. 

\begin{align*}
\lim_{n\to\infty}\dfrac{1}{n}\sum_{k=0}^{n-1}f\left(\frac{k}{n}\right) = \lim_{n\to\infty}\dfrac{1}{n}\sum_{k=1}^{n}f\left(\frac{k}{n}\right) = \int_0^1 f(x)\,dx
\end{align*}

解答例.

(1).

数学的帰納法を用いる.

[1]  \(n=1\)のとき

\begin{align*}
\sum_{k=1}^2 \dfrac{(-1)^{k-1}}{k} &= 1-\dfrac{1}{2}\\
&= \dfrac{1}{2}
\end{align*}

\begin{align*}
\sum_{k=1}^1 \dfrac{1}{1+k} = \dfrac{1}{2}
\end{align*}

よって, \(n=1\)のときは成り立つ.

[2]  \(n=m\)のとき成り立つと仮定すると,

\begin{align*}
\sum_{k=1}^{2m}\dfrac{(-1)^{k-1}}{k} = \sum_{k=1}^m \dfrac{1}{m+k}
\end{align*}

\(n=m+1\)のとき,

\begin{align*}
\sum_{k=1}^{2(m+1)}\dfrac{(-1)^{k-1}}{k} &= \left\{\sum_{k=1}^{2m} \dfrac{(-1)^{k-1}}{k}\right\} + \dfrac{1}{2m+1}-\dfrac{1}{2m+2}\\
&= \left\{\sum_{k=1}^m \dfrac{1}{m+k}\right\}+\dfrac{1}{2m+1}-\dfrac{1}{2(m+1)}\\
&= \dfrac{1}{m+1}+\left\{\sum_{k=2}^m\dfrac{1}{m+k}\right\}-\dfrac{1}{2m+1}-\dfrac{1}{2(m+1)}\\
&= \left\{\sum_{k=2}^m \dfrac{1}{m+k}\right\}+\dfrac{1}{2m+1}+\dfrac{1}{2(m+1)}\\
&= \left\{\sum_{k=1}^{m-1}\dfrac{1}{m+(k+1)}\right\}+\dfrac{1}{m+m+1}+\dfrac{1}{m+m+2}\\
&= \sum_{k=1}^{m+1} \dfrac{1}{m+k+1}\\
&= \sum_{k=1}^{m+1} \dfrac{1}{(m+1)+k}
\end{align*}

よって, \(n=m+1\)のときも成り立つ.

したがって, [1], [2]より, 任意の自然数\(n\)に対して

\begin{align*}
\sum_{k=1}^{2n}\dfrac{(-1)^{k-1}}{k} = \sum_{k=1}^n\dfrac{1}{n+k}
\end{align*}

が成り立つ.

(2).
\begin{align*}
S_m &= \sum_{k=1}^m \dfrac{(-1)^{k-1}}{k}\\
T_m &= \sum_{k=1}^m \dfrac{1}{m+k}
\end{align*}
とおくと, \(S_{2m} = T_m\).
\begin{align*}
\lim_{m\to\infty} S_{2m} &= \lim_{m\to\infty} T_m\\
&= \lim_{m\to\infty} \sum_{k=1}^m \dfrac{1}{m+k}\\
&= \lim_{m\to\infty} \dfrac{1}{m}\sum_{k=1}^m \dfrac{1}{1+\frac{k}{m}}\\
&= \int_0^1 \dfrac{1}{1+x}\,dx\\
&= \Big[\log{|1+x|}\Big]_0^1\\
&= \log{2}
\end{align*}
また,
\begin{align*}
\lim_{m\to\infty} S_{2m-1} &= \lim_{m\to\infty} \left\{S_{2m}-\dfrac{(-1)^{2m-1}}{2m}\right\}\\
&= \log{2}-0\\
&= \log{2}
\end{align*}
よって,
\begin{align*}
\lim_{m\to\infty} S_{2m} = \lim_{m\to\infty}S_{2m-1} = \log{2}
\end{align*}
より,
\begin{align*}
\lim_{m\to\infty} S_m = \lim_{m\to\infty} \sum_{k=1}^m \dfrac{(-1)^{k-1}}{k} = \log{2}
\end{align*}

スポンサーリンク
sub2
sub2
  • このエントリーをはてなブックマークに追加