【大学入試作問】メルカトル級数に係る漸化式

メルカトル級数とは

自然数の逆数を、符号を正負交互にして和を取ることにより得られる級数

問題

解答

$$(1)$$
$$a_2=0,a_3=\frac{1}{2},a_4=-\frac{1}{6}$$
である。
$$a_{n+1}+a_{n+2}=\frac{1}{n+1}$$
であるから、与えられた漸化式との差をとって、
$$a_{n+2}-a_n=-\frac{1}{n(n+1)}$$
$$\therefore a_{n+2}=a_n-\frac{1}{n(n+1)}$$
(i)$n$が十分大きい奇数のとき、
$$a_n=a_{n-2}-\frac{1}{(n-2)(n-1)}=a_{n-4}-\frac{1}{(n-4)(n-3)}-\frac{1}{(n-2)(n-1)}=\cdots =a_3-\frac{1}{3\cdot 4}-\cdots -\frac{1}{(n-4)(n-3)}-\frac{1}{(n-2)(n-1)}$$
$$>\frac{1}{2}-\sum _{k=3}^{n-2}\frac{1}{k(k+1)}=\frac{1}{2}+\frac{1}{1\cdot 2}+\frac{1}{2\cdot 3}-\sum _{k=1}^{n-2}\frac{1}{k(k+1)}=\frac{7}{6}-1+\frac{1}{n+1}>\frac{1}{6}$$
(ii)$n$が十分大きい偶数のとき、
$$a_n=a_{n-2}-\frac{1}{(n-2)(n-1)}=a_{n-4}-\frac{1}{(n-4)(n-3)}-\frac{1}{(n-2)(n-1)}=\cdots =a_4-\frac{1}{4\cdot 5}-\cdots -\frac{1}{(n-4)(n-3)}-\frac{1}{(n-2)(n-1)}<-\frac{1}{6}$$
以上(i),(ii)より、十分大きい$n$について、
$$\left|a_n\right|>\frac{1}{6}\therefore \left|n{a}_n\right|=n\left|a_n\right|>\frac{n}{6}\to \mathrm{\infty }(n\to \mathrm{\infty })$$
したがって
$$\underset{n\to \mathrm{\infty }}{lim}\left|n{a}_n\right|=\mathrm{\infty }$$
$$(2)$$
$$\sum _{k=1}^{2n}\frac{(-1{)}^{k-1}}{k}$$
$$=(\sum _{k=1}^{2n}\frac{(-1{)}^{k-1}}{k}+2\sum _{k=1}^n\frac{1}{2k})-2\sum _{k=1}^n\frac{1}{2k}$$
$$=\sum _{k=1}^{2n}\frac{1}{k}-\sum _{k=1}^n\frac{1}{k}=(\sum _{k=1}^n\frac{1}{k}+\sum _{k=n+1}^{2n}\frac{1}{k})-\sum _{k=1}^n\frac{1}{k}$$
$$=\sum _{k=n+1}^{2n}\frac{1}{k}=\sum _{k=1}^n\frac{1}{n+k}$$
$(3)$
与えられた漸化式の両辺に$(-1{)}^{n+1}$をかけると
$$-(-1{)}^n{a}_n+(-1{)}^{n+1}{a}_{n+1}=\frac{(-1{)}^2(-1{)}^{n-1}}{n}$$
$$\therefore b_{n+1}-b_n=\frac{(-1{)}^{n-1}}{n}$$
よって$n\ge 2$のとき
$$b_n=b_1+\sum _{k=1}^{n-1}\frac{(-1{)}^{k-1}}{k}=\sum _{k=1}^{n-1}\frac{(-1{)}^{k-1}}{k}-1$$
ここで
$$S_n=\sum _{k=1}^{n-1}\frac{(-1{)}^{k-1}}{k}(n\ge 2)$$
とすると、自然数$m$について
$$S_{2m+1}-S_{2m}=-\frac{1}{2m}\to 0(m\to \mathrm{\infty })$$
$$\therefore \underset{m\to \mathrm{\infty }}{lim}{S}_{2m+1}=\underset{m\to \mathrm{\infty }}{lim}{S}_{2m}$$
であり、これより
$$\underset{n\to \mathrm{\infty }}{lim}{S}_n=\underset{m\to \mathrm{\infty }}{lim}{S}_{2m+1}=\underset{m\to \mathrm{\infty }}{lim}\sum _{k=1}^{2m}\frac{(-1{)}^{k-1}}{k}=\underset{m\to \mathrm{\infty }}{lim}\sum _{k=1}^m\frac{1}{m+k}$$
$$=\underset{m\to \mathrm{\infty }}{lim}\frac{1}{m}\sum _{k=1}^m\frac{1}{1+\frac{k}{m}}={\int }_0^1\frac{1}{1+x}dx={[\log |x+1|]}_0^1=\log 2$$
$$\therefore \underset{n\to \mathrm{\infty }}{lim}\left|a_n\right|=\underset{n\to \mathrm{\infty }}{lim}\left|b_n\right|=\underset{n\to \mathrm{\infty }}{lim}|S_n-1|=|\log 2-1|=1-\log 2$$

コメント

メルカトル級数を題材にした問題を探しましたが、漸化式の形になっている問題は見つかりませんでした。もしかしたら既出かもしれませんが、今後どこかの大学で出題されてもおかしくないと思います。

(1)と(2)・(3)で問題の流れが分かれています。
(2)から解くと、(1)が解けなくても正の無限大に発散することが(3)の結果からわかるので、あまりよろしくないかもしれません。

(1)は階差数列の考え方を問う問題となっています。簡単な大小評価で$a_n$の絶対値はある値より大きくなることがわかります。$\frac{1}{6}$である必要はありません。
(2)は有名な等式です。解答のように式変形でも解けますし、置換積分と同じ要領でも解けます(そもそも積分は総和の極限なので云うなら逆)。あるいは数学的帰納法を使ってしまうというのも手ですね。総和記号はわかりにくかったら書き下すことをしてみるとすぐわかることが多いですね。
(3)は、求める極限は絶対値がついているので「$a_n$の代わりに$b_n$の極限を求めればよい」ということですね。

誘導を手厚くしてるので、「２次試験の過去問を解くぞ」という段階の上位大理系受験生は全員解けてほしい問題です。

類題

・1997東京工業大学(前期)第３問
本問題の一部を抜粋してシンプルな形にした問題です。
・2015山形大学工学部系(前期)第３問
定積分で定義された数列とその階差数列を利用して級数を求める問題です。
・2018名古屋大学理系(前期)第１問
2015山形大学と同じ定積分を大小評価して極限を求める問題です。
・2023大阪大学理系(前期)第１問
与えられた不等式を示して、積分した結果の大小関係を利用して極限を求める問題です。

せっかくなので
・2009北海道大学理系(前期)第５問
こちらは似た級数のライプニッツ級数の問題です。