本当はちょっとだけ手間がかかる(1-λ/x)^x (λ>0)のx→∞の極限値の導出。

はじめに

久々に計算用紙に書いたことをそのまま公開するだけの記事をお送りする次第でございます。

ネイピア数の定義式の一つである

(1)

を使うと、が正の実数の場合には、

(2)

であることを容易に導くことができます(本記事末尾の「おまけ」の節参照)。

次に、が負の実数である場合を考えます。

とおいて( $2$ )の左辺に代入すると…

(3)

となります。

しかし、は正の実数であるため、( $1$ )式の左辺及び( $2$ )式の左辺の一部または全部に合致する式ではありません。

そこで、「が負の実数である場合のの値を求めること」を課題と設定します。

前節で定めた課題を解くにあたり、( $3$ )式の右辺の式から( $1$ )式の右辺の式の形を式変形などによって作りだすことを最初の目標とします。

最初に、( $3$ )式の右辺の括弧内を以下のように変形していきます。

(4)

次に( $4$ )式を( $3$ )式の右辺に代入し、とおきます。

すると、のとき、についてもとなることから…

(5)

となります。

( $5$ )式の右辺の積の第1因子には( $2$ )式を適用することができます。また、第2因子についてはの時にが1に収束し、かつは定数なので、第2因子全体としても1に収束します。

したがって…

(6)

となり、

(7)

となることがわかります。

( $7$ )式が成り立つことが示せたので、( $2$ )式はの場合でも成り立つことがわかりました。

また、の場合についてもと計算できることから( $2$ )式は成り立つので、( $2$ )式はすべての実数において成立することもわかります。

…と、ここまで考察してきたところで、「( $2$ )式がすべての実数において成り立つのなら、それをそのまま暗記しておけばいいじゃん。」と結論づけたくなるところですが、数学系の丸暗記した知識はいずれ忘れてしまうばかりか、丸暗記自体が長続きしないものです。

むしろ、暗記するのはネイピア数の定義である( $1$ )式だけにしておいて、他の式はすべて( $1$ )式から導けるようにしておいた方が、

「( $2$ )式がすべての実数において成り立つことを証明せよ。」

のような証明問題にも対応できるので、より意味がある学びになると考えております。

この記事は以上です。

( $2$ )式でとおくと、のとき、についてもとなるので…

(8)

のように変形することができます。