Mercator級数の求値と調和級数の発散を高校範囲で同時証明できたという話

はじめに

どうもこんにちは🐟️🍊みかん🍊🐟️です。今回は以前Twitterで投稿した「調和級数の発散証明とMetcator級数の求値を高校数学で同時に示す」ことについて語ってみます。結論から言えば次のような計算をします。

$$\begin{array}{rl}\sum _{k=n}^{2n}\frac{1}{k}& =\sum _{k=1}^{2n}\frac{1}{k}-\sum _{k=1}^{n-1}\frac{1}{k}\\ & =\sum _{k=1}^{2n}\frac{1}{k}-2\sum _{k=1}^{n-1}\frac{1}{2k}\\ & =\sum _{k=1}^{2n}\frac{(-1{)}^{k+1}}{k}+\frac{1}{n}\\ & \to \sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}(n\to \mathrm{\infty }),\\ \sum _{k=n}^{2n}\frac{1}{k}& \to {\int }_1^2\frac{1}{x}dx(n\to \mathrm{\infty })\\ & =\ln 2\end{array}$$
$$\begin{array}{rl}\therefore \sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}& =\ln 2,\\ \sum _{k=1}^{\mathrm{\infty }}\frac{1}{k}& =\mathrm{\infty }\end{array}$$

一番最後にCauchyの収束判定を用いてはいますが、特殊な場合のみ要求していることから高校数学の範疇で発散自体は示せるので、高校範囲とします。

Mercator級数

この手法を思い付いた背景として、1997年の東京工業大学の大学入試問題にあります。その問題をここで引用します。

本題は $(1)$ にあります。初見時「Mercator seriesだっ！」と思い区分求積のことなど考えもしなかったので、普通に級数変形して

$$\begin{array}{rl}\sum _{k=n}^{2n}\frac{1}{k}& =\sum _{k=1}^{2n}\frac{1}{k}-\sum _{k=1}^{n-1}\frac{1}{k}\\ & =\sum _{k=1}^{2n}\frac{1}{k}-2\sum _{k=1}^{n-1}\frac{1}{2k}\\ & =\sum _{k=1}^{2n}\frac{(-1{)}^{k+1}}{k}+\frac{1}{n}\\ & \to \sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}(n\to \mathrm{\infty })\\ & =\ln 2\end{array}$$

と結論を出したのですが、正直Mercator級数の求値は高校数学だと少々重いので、あまり(入試数学としては)良い方法ではないかもしれません。恐らく正攻法としては

$$\begin{array}{rl}\sum _{k=n}^{2n}\frac{1}{k}& =\frac{1}{n}\sum _{k=0}^n\frac{1}{1+\frac{k}{n}}\\ & \to {\int }_0^1\frac{1}{1+x}dx& (n\to \mathrm{\infty })\\ & =\ln 2\end{array}$$

となります。しかし、明らかに極限の存在は一意的(厳密にいえば高校範囲外の知識)なので、はじめの方法と最後の方法では同一の極限に収束するはずなので、逆にMercator級数の求値をすることができることになります。面白い方法ですね。

調和級数の発散性

先の結果から、次の等式が成立します。

$$\underset{n\to \mathrm{\infty }}{lim}\sum _{k=n}^{2n}\frac{1}{k}=\ln 2$$

ここから調和級数

$$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k}$$

の発散を示していきます。まず調和級数の部分和は明らかに単調増加数列なので、任意の $u$ に対して $u>2n$ となるように $n$ をとれば

$$\sum _{k=1}^u\frac{1}{k}>\sum _{k=1}^{2^n}\frac{1}{k}$$

となるので、 $u\to \mathrm{\infty }$ の議論を $n\to \mathrm{\infty }$ の極限にすり替えることができます。(Oremの証明に似ていますね)ここで次のように計算します。

$$\begin{array}{rl}\sum _{k=1}^{2^n}\frac{1}{k}& =\sum _{k=1}^n\sum _{l=k}^{2k-1}\frac{1}{l}+\frac{1}{2^n}\end{array}$$

ここで右辺第一項の級数は各項の極限が $\ln 2$ に収束するので、発散します。以上の議論により調和級数が発散することが分かります。

どうせなので

どうせなので$(2)$ も解いてみようと思います。見やすさも考え再度引用します。

というわけでサクッと解いてしまいましょう。まず任意に $u<a<v$ なる $u,v\in \mathbb{Z}$ をとれば

$$\sum _{k=n}^{2n}\frac{1}{v+k}<\sum _{k=n}^{2n}\frac{1}{a+k}<\sum _{k=n}^{2n}\frac{1}{u+k}$$

という不等式の成立が確かめられます。さて任意に $m\in \mathbb{Z}$をとれば

$$\sum _{k=n}^{2n}\frac{1}{k+m}=\sum _{k=n}^{2n}\frac{1}{k}-\sum _{k=0}^{m-1}\frac{1}{k+n}+\sum _{k=1}^m\frac{1}{k+2n}$$

となり、右辺第一項は $(1)$ で求めたものです。またその他の項に関しても三角不等式より

$$\begin{array}{rl}|-\sum _{k=0}^{m-1}\frac{1}{k+n}+\sum _{k=1}^m\frac{1}{k+2n}|& \le \left|\sum _{k=0}^{m-1}\frac{1}{k+n}\right|+\left|\sum _{k=1}^m\frac{1}{k+2n}\right|\\ & <\sum _{k=0}^{m-1}\frac{1}{n}+\sum _{k=1}^m\frac{1}{n}\\ & =\frac{2m}{n}\end{array}$$

と評価できるので、 $n\to \mathrm{\infty }$ で消えます。従って

$$\sum _{k=n}^{2n}\frac{1}{k+m}\to \ln 2(n\to \mathrm{\infty })$$

より、最初の不等式を合わせれば挟み撃ちの原理により

$$\sum _{k=n}^{2n}\frac{1}{a+k}\to \ln 2(n\to \mathrm{\infty })$$

となって題意が示されました。

おわりに

今回はTwitterで投稿した式変形について背景も含め語ってみました。ついでに東工大過去問を級数変形で処理してみました。初等的な変形だけで処理できるところが級数変形の魅力だと思います。

それではまたね！