第262回 分数を極める:調和の和(後編)

「そんな証明方法はどうやったら思いつくんでしょうか……って考えるんです」とテトラちゃんが証明について問う! 1+1から何が始まる?

登場人物紹介

:数学が好きな高校生。

テトラちゃんの後輩。 好奇心旺盛で根気強い《元気少女》。言葉が大好き。

$ \newcommand{\UL}[1]{\underline{#1}} \newcommand{\FBOX}[1]{\fbox{$#1$}} \newcommand{\FOCUS}[1]{\fbox{$#1$}} \newcommand{\BINOM}[2]{\binom{#1}{#2}} \newcommand{\LEQ}{\leqq} \newcommand{\ABS}[1]{\left|\mathstrut #1\right|} \newcommand{\EPSLN}{\varepsilon} \newcommand{\DLT}{\delta} \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\SETM}{\,|\,} $

図書室

問題($H_n$の極限)

$n$を正の整数($1,2,3,\ldots$)として、 $$ H_n = \frac11 + \frac12 + \frac13 + \cdots + \frac1n $$ と置く。$n \to \infty$のとき、$H_n$の極限は選択肢(1)と(2)のどちらになるか。

選択肢(1)$n \to \infty$で$H_n \to \infty$になる。(正の無限大に発散)

選択肢(2)$n \to \infty$で$H_n \to H$になる。ただし、$H$はある実数とする。(収束)

テトラちゃんは、 $$ H_n = \frac11 + \frac12 + \frac13 + \cdots + \frac1n $$ で表される数を考え、$n \to \infty$のときの$H_n \to \text{?}$について考えている。

いまは具体的な数をコンピュータで計算し終えたところ。

「$H_{10000} = 9.7876\cdots$だね」

テトラ「$H_{10000}$までいっても$10$にすら届かないんですか……これは、収束するのが濃厚ですねっ!」

「そう思っちゃうよね。でも、そうじゃないんだ。$n \to \infty$のとき、$H_n \to \infty$になる。つまり、$H_n$は正の無限大に発散するんだよ」

テトラ「えっ? ということは、選択肢(1)が正解なんですか?」

選択肢(1)$n \to \infty$で$H_n \to \infty$になる。(正の無限大に発散)

「そうだね」

テトラ「う、うーん……どうしてそんなことが言い切れるんでしょうか。確かに、正の数を足していけばそれだけ大きくなるのはわかります。 でも、$n$がすごく大きくなると、$\frac1n$はすごく小さくなるはずです。 なのに、$H_n$がいくらでも大きくなれるなんて理解できません」

「うん。僕も初めてこれを知ったときはほんとうにびっくりしたし、納得できなかった」

テトラ「あっ、そうなんですね。先輩もびっくりなさった?」

「もちろんだよ。うまく理解できなかったし、納得できなかった」

テトラ「そういうものなんですね。ちょっと安心しました……でも、いまは納得していらっしゃるわけですよね」

「そうだね」

テトラ「こういう数学を納得できる感覚というのは、数学のセンスなんでしょうか。あたしにはパッと理解できないんですが……」

「いやいや、数学のセンスとかそういうものじゃないよ。《$H_n$は正の無限大に発散する》とだけ言われて理解できるわけじゃないし、納得もできない。 僕が納得したのは、本に書いてあった証明を読んで、よく考えたからだよ」

テトラ「証明……?」

「うん、オレームの証明だね。証明しないで『これはすごく大きくなる』とか『それほどは大きくない』のように考えても、 ものごとはハッキリしないよね。 そういうところ、ぼんやりと考えたくなるところをどうやって精密に考えるか……そこが大事なんだよ。 パッと理解するのが数学のセンスじゃあないんだ」

テトラ「なるほど……」

「じゃあ、$H_n \to \infty$になることを順序立てて説明しようか」

テトラ「はい、お願いします」

「僕たちがいま考えている$H_n$というのは、$\frac11 + \frac12 + \cdots + \frac1n$という数だね。$n$という文字が入っているけど、大丈夫だよね」

$$ H_n = \frac11 + \frac12 + \cdots + \frac1n $$

テトラ「はい。$n$は$1,2,3,\ldots$という正の整数です。一般的に考えたいので、$n$という文字を使っています。大丈夫です」

「そうだね。それで、僕たちは$n$を決めたときに$H_n$がどんな大きさを持っているのかを考えたいわけだ」

テトラ「そうですね。$n \to \infty$のときに$H_n$がどうなるかを知りたいのですから」

「そういうこと。そこで、$H_n$を構成している$\frac11, \frac12, \ldots, \frac1n$のひとつひとつに注目する」

テトラ「はい……」

「たとえば、これが成り立つ」

$$ \frac11 \LEQ \frac11 $$

テトラ「はい? ……はい、そうですね。$\frac11 = \frac11$ですから、$\frac11 \LEQ \frac11$といっても構いません。$1$は$1$以下です」

「同じように、こんな式も成り立つ。当たり前のことを言ってるんだよ」

$$ \frac12 \LEQ \frac12 $$

テトラ「はい、当たり前です」

「これはどうかな」

$$ \frac14 \LEQ \frac13 $$

テトラ「これも、当たり前ですね。$\frac14 < \frac13$ですから、$\frac14 \LEQ \frac13$といっても構いません」

「そして、これもわかる」

$$ \frac14 \LEQ \frac14 $$

テトラ「はい……あの、先輩、これが?」

「うん、ここまでは分数を一つ一つ比べてきたけど、最後の二つをこんなふうに足し算しても不等式が成り立つのはわかるよね」

$$ \frac14 + \frac14 \LEQ \frac13 + \frac14 $$

テトラ「ええと、はい、わかります。$\frac14 \LEQ \frac13$という不等式と$\frac14 \LEQ \frac14$という不等式で、《小さいもの同士》を足して《大きいもの同士》を足して、その二つを比べています。 もちろん、《大きいもの同士》を足した方が大きくなります」

「そういうこと。厳密に言えば《小さい・大きい》は《以下・以上》だけどね……それで、と。いまは$2$個の足し算をしたけど、次は$4$個の足し算をしてみよう。この不等式が成り立つことはわかる?」

$$ \frac18 + \frac18 + \frac18 + \frac18 \LEQ \frac15 + \frac16 + \frac17 + \frac18 $$

テトラ「分母が$8,8,8,8$と$5,6,7,8$ですね……ははあ、なるほどです。わかってきましたよ! この不等式は成り立ちますね。 左辺も右辺も$4$個の分数を足していますけれど、 $$ \begin{align*} \frac18 &\LEQ \frac15 \\ \frac18 &\LEQ \frac16 \\ \frac18 &\LEQ \frac17 \\ \frac18 &\LEQ \frac18 \\ \end{align*} $$ という$4$個の不等式を考えて、左辺同士、右辺同士を足したわけですね!」

「その通り! テトラちゃんはちゃんと式の形とその繰り返しを見抜いたね。同じことをもう一回やってみよう。つまり、こう」

テトラ「あっ!」

「えっ!」

テトラ「$6$個ではなくて$8$個の足し算なのですね……」

「うん、そうだね。ここまでいくつかの不等式を書いてきたけど、これをもう一度並べてみよう」

成り立つことを確認してきた不等式

テトラ「なるほど……」

「左辺を計算すると、最初だけは$\frac11$だけど、あとはぜんぶ$\frac12$になることがわかる」

左辺を計算した不等式(成り立つ)

この続きは有料会員登録をすると
読むことができます。
cakes会員の方はここからログイン

1週間無料のお試し購読する

cakesは定額読み放題のコンテンツ配信サイトです。簡単なお手続きで、サイト内のすべての記事を読むことができます。cakesには他にも以下のような記事があります。

人気の連載

おすすめ記事

ケイクス

この連載について

初回を読む
数学ガールの秘密ノート

結城浩

数学青春物語「数学ガール」の女子高生たちが数学トークをする楽しい読み物です。中学生や高校生の数学を題材に、 数学のおもしろさと学ぶよろこびを味わってください。本シリーズはすでに11巻も書籍化されている大人気連載です。 (毎週金曜日更新)

この連載の人気記事

関連記事

関連キーワード

コメント

a_kanda @linuxer101 @hyuki それはまさに結城先生の連載の前回のテーマですね! https://t.co/7t4Rmm0GzP 5ヶ月前 replyretweetfavorite

asangi_a4ac 2の冪乗でまとめるという発想も本当は何もないところから突然現れたわけじゃないんだけど... https://t.co/noFMOdUfuI 5ヶ月前 replyretweetfavorite

as_bara3 なるほど確かに。 《代数が等号で象徴されるなら、解析は不等号で象徴される》 既刊の秘密ノートに細かい話があるのだろうか。 5ヶ月前 replyretweetfavorite

Monallowtail テトラちゃんの中にあるであろう(と自分が勝手に思っている)、雑に学ぼうとはしていないのに気… https://t.co/GZL3pG95p2 5ヶ月前 replyretweetfavorite