非専門的シンギュラリティー研究所

無限に動き続けるシステムを表す方法を AI なども使って考えていきます。

指数関数(4)

この項は、ChatGPT でプログラムを書いてもらおうとしたのだと思いますが、最後の方はそうなっていないのでいったんやり直します。

ChatGPT で以下のように入力しました。

自然対数の底の定義について教えてください

以下のような答えが返されました。

自然対数の底  e は、いくつかの等価な方法で定義されます。代表的で本質的な定義を、数学的な意味とともに説明します。

① 極限による定義(最も基本的)

 \displaystyle
e = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n

これは「1を無限に細かく分割して複利をかけるとどうなるか」を表しています。
金融的には「利率100%を無限回複利で運用したときの極限値」です。

② 無限級数による定義

 \displaystyle
e = \sum_{n=0}^{\infty} \frac{1}{n!}

これは計算しやすく、実際に数値を求めるときによく使われます。

③ 微分方程式による定義(本質的な意味)

関数  f(x) = e^x

  • 自分自身が微分になる関数
  •  f'(x) = f(x), f(0)=1

を満たす唯一の関数です。

つまり
👉「増え方が常に自分自身に比例する」
という現象(人口増加、放射性崩壊など)を表す基準の数が  e です。

④ 自然対数との関係

自然対数  \ln x

 \displaystyle \frac{d}{dx} \ln x = \frac{1}{x}

となるように定義され、その逆関数が  e^x です。

つまり
👉  e は「対数を最も自然にする底」

まとめ(直感)

 e は一言でいうと:

  • 無限に細かい変化の極限で現れる数
  • 自己増殖(連続成長)の基準となる数
  • 微分と指数関数が最もきれいにつながる数

もし興味があれば、

  • 「なぜ  \ln x の微分が  1/x になると  e が出てくるのか」
  • 「指数関数を公理的に定義する方法」

など、もう一段深い定義(解析的・代数的な視点)も説明できます。

さらに ChatGPT で以下のように入力しました。

 \displaystyle  \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = \sum_{n=0}^{\infty} \frac{1}{n!} が成り立つことを証明してください

以下のような答えが返されました。

とても良い問いです。これは「極限の定義」と「級数の定義」が一致することを示す、解析の基本的な結果です。順を追って厳密に証明します。

証明の方針

示したいのは

 \displaystyle
\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = \sum_{k=0}^{\infty} \frac{1}{k!}

です。

アイデアは:

1. 二項定理で展開する
2. 各項の極限を調べる
3. 和として極限に収束することを示す

① 二項定理で展開

 \displaystyle
\left(1 + \frac{1}{n}\right)^n = \sum_{k=0}^{n} \binom{n}{k} \frac{1}{n^k}

② 各項の極限

二項係数を展開すると:

 \displaystyle
\binom{n}{k} \frac{1}{n^k} = \frac{n(n-1)(n-2)\cdots(n-k+1)}{k! , n^k}

これを整理すると:

 \displaystyle
= \frac{1}{k!}
\left(1\right)
\left(1 - \frac{1}{n}\right)
\left(1 - \frac{2}{n}\right)
\cdots
\left(1 - \frac{k-1}{n}\right)

ここで  n \to \infty とすると、

 \displaystyle
\left(1 - \frac{j}{n}\right) \to 1
\quad (j = 0,1,\dots,k-1)

したがって

 \displaystyle
\lim_{n \to \infty}
\binom{n}{k} \frac{1}{n^k} =
\frac{1}{k!}

③ 極限と和の交換

したがって形式的には:

 \displaystyle
\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n =
\sum_{k=0}^{\infty} \frac{1}{k!}

となりますが、ここが一番重要です:

👉 極限と和の交換が正当化される必要がある

④ 厳密化(はさみうち)

各項について次が成り立ちます:

 \displaystyle
0 \le
\binom{n}{k} \frac{1}{n^k}
\le \frac{1}{k!}

さらに、固定した (k) に対して単調増加し:

 \displaystyle
\binom{n}{k} \frac{1}{n^k}
\uparrow \frac{1}{k!}

したがって部分和について:

 \displaystyle
\sum_{k=0}^{m} \binom{n}{k} \frac{1}{n^k}
\;\longrightarrow\;
\sum_{k=0}^{m} \frac{1}{k!}

また

 \displaystyle
\sum_{k=0}^{n} \binom{n}{k} \frac{1}{n^k}
\le
\sum_{k=0}^{\infty} \frac{1}{k!}

なので、はさみうちにより

 \displaystyle
\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n =
\sum_{k=0}^{\infty} \frac{1}{k!}

結論

 \displaystyle
\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n =
\sum_{k=0}^{\infty} \frac{1}{k!}

直感的な意味

  • 左辺:離散的な「細分化された成長」
  • 右辺:連続的な「無限級数による構成」

👉 両者が一致することで離散と連続がつながるのが本質です

必要なら、この証明を

  • 一様収束を使った厳密版
  • 指数関数の定義から逆に導く方法
  • C++で数値的に確認するコード

などにも展開できます。