自然対数の底に収束することの証明
自然対数の底:
数列 の極限は存在するので,その値を と定義して自然対数の底(ネイピア数)と呼ぶ。
自然対数の底の収束
定理1:単調で有界なら収束する
定理2: は単調増加
定理3: は上に有界
自然対数の底の収束
自然対数の底 の(同値な)定義はいくつかありますが,上記の定義が広く知られています。しかし,教科書では数列 の極限が存在する,すなわち収束すること自体は認めて自然対数の底を定義していました。
そこで,このページでは「 が収束すること」をそれなりにきちんと証明します。
以下の3ステップで証明します。
定理1:単調増加で上に有界な数列は収束する
定理2: は単調増加
定理3: は上に有界
後で説明するように,定理1は高校数学の範囲で厳密な証明はできませんが,直感的には納得できる事実です。定理2と3は証明方法も美しく入試問題のテーマとしてちょうどよい難易度なのでオススメです。
定理1:単調で有界なら収束する
「上から抑えられている増え続ける数列は収束する」というのは 直感的には当たり前です。同様に「下から抑えられている減り続ける数列は収束する」というのも成立します。
この場合の単調性は広義単調でOKです。つまり という強い条件が成立していなくても という条件でOKです。
こんなの証明するまでもなく自明だと感じられるかもしれませんが,厳密に証明するには実数の連続性の公理を使って収束先が実数から飛び出さないことを言う必要があります。
有理数の世界では単調有界でも収束しないこともある
の近似数列 は単調増加で上に有界だが収束先は となり有理数の世界から飛び出している。
定理2: は単調増加
であること,つまり であることを,3通りの方法で証明します。
二項定理を使って展開し,各項を比較する。
よって, を示せば十分。
分母を払って二項係数を整理した不等式:
つまり
を示せば十分。
これは, 個の と 個の に相加相乗平均の不等式を使うことで証明できる:
二項定理を使わずに,直接証明する方法もある。
個の と 個の に相加相乗平均の不等式を用いると,
この式を整理すると となる。
証明2は,微積分/基礎の極意という本で知り,感動した記憶があります。
数列をつなげた関数 を考えて,微分して不等式を示すという方針。このままでは計算しにくいので対数を取ってから微分する。
の での単調増加性を示せばよい。
となり, は減少関数で なので, で が分かる。よって は単調増加。
証明3はわりと自然なのですが,「自然対数の底の存在を示す!」というこのページの目標を考えると,上記の定理の証明で対数関数の微分を用いるのは循環論法に陥っているので,良い証明とは言えないかもしれません。
定理3: は上に有界
方針:二項定理を用いて を評価します。具体的な値で上からおさえるためには等比数列を作りだす必要があります。
二項定理より,
が上に有界であることを示した副産物として,ネイピア数が3より小さいことも示せました。
Tag:大学入試で頻出の有名な関数まとめ