ネイピア数eの存在と一意性を数学的に厳密に証明することは、解析学の重要な基礎課題の一つです。
ネイピア数の存在証明の核心は、数列(1+1/n)ⁿが単調増加かつ有界であることを示し、単調有界定理によって極限値の存在を保証するというアプローチにあります。
本記事では、ネイピア数の存在証明・一意性の証明・関連する重要な極限値の導出を段階を追って解説します。
ネイピア数の存在証明：単調有界定理の適用
それではまず、ネイピア数eの存在証明の核心となる単調有界定理の適用について解説していきます。
数列aₙ = (1+1/n)ⁿがeの定義として使われる場合、この数列が収束することを証明することがeの存在証明となります。
存在証明の方針：数列aₙ=(1+1/n)ⁿに対して（1）単調増加性：aₙ<aₙ₊₁を示す、（2）上に有界：aₙ<3（または適切な上界）を示す、（3）単調有界定理：単調増加かつ有界な数列は収束する（実数の完備性）→ 極限値eの存在が保証されます。
単調増加性の証明（AM-GM不等式の活用）
aₙ<aₙ₊₁を示すために、算術・幾何平均不等式（AM-GM不等式）が活用されます。
AM-GM不等式：n個の正の数の算術平均≥幾何平均（等号は全て等しいとき）
n+1個の数：(1+1/n)を n個と1を1個で合計n+1個の算術平均を考えます。
算術平均 = [n×(1+1/n) + 1]/(n+1) = (n+1+1)/(n+1) = 1+1/(n+1)
幾何平均 = [(1+1/n)ⁿ × 1]^(1/(n+1)) = (1+1/n)^(n/(n+1))
AM ≥ GM より：1+1/(n+1) ≥ (1+1/n)^(n/(n+1))
両辺を(n+1)乗すると：(1+1/(n+1))^(n+1) ≥ (1+1/n)^n
つまり aₙ₊₁ ≥ aₙ（単調増加性の証明完了）
この証明では、AM-GM不等式という基本的な道具を巧みに使って単調増加性を導くという数学的な美しさがあります。
上に有界であることの証明
aₙ = (1+1/n)ⁿが3未満であることを示します。
2項定理（または二項展開）を使って(1+1/n)ⁿを展開し、各項を上から評価します。
(1+1/n)ⁿ = Σ(k=0 to n) C(n,k)×(1/n)ᵏ
各項 C(n,k)/nᵏ ≤ 1/k!（これは詳細な評価から示される）
したがって(1+1/n)ⁿ ≤ Σ(k=0 to n) 1/k! ≤ Σ(k=0 to ∞) 1/k!
≤ 1+1+1/2+1/4+1/8+… = 1+1+1 = 3（等比級数の和）
よってaₙ ≤ 3（上に有界の証明完了）
単調有界定理による収束の結論
「単調増加かつ上に有界な実数列は収束する」という定理（単調有界定理）は、実数の完備性（デデキント切断またはカントール公理）から導かれます。
aₙが単調増加（証明済み）かつ上に有界（証明済み）であることから、数列aₙの極限値e = lim(n→∞)aₙが存在することが保証されます。
これがeの数学的に厳密な存在証明です。
eの一意性の証明
続いては、「y’=yかつy(0)=1を満たす関数が唯一eˣである」という一意性の証明について確認していきます。
微分方程式y’=yの解の一意性
微分方程式y’=y、y(0)=1の解が一意であることは、常微分方程式の解の存在と一意性定理（ピカール・リンデレーフの定理）から導かれます。
この定理は「右辺の関数がリプシッツ条件を満たすとき、初期値問題の解は一意に存在する」という重要な定理です。
y’=yにおいてf(y)=yはリプシッツ条件を満たすため、y(0)=1という初期条件の下で解が唯一存在することが保証されます。
その唯一の解がy=eˣであることは、eˣを代入して確認できます。
自然対数の定義とeの一意性
自然対数を積分で定義するアプローチ（ln x = ∫[1,x] 1/t dt）から出発すると、eは「ln e = 1となる唯一の正の数」として一意に定義できます。
この定義では循環論法なしにeを厳密に定義でき、解析学の厳密な基礎づけとして高く評価される方法です。
関連する重要な極限値の証明
続いては、eの証明に関連する重要な極限値の導出を確認していきます。
lim(h→0)(eʰ-1)/h = 1 の証明
この極限値はeˣの微分導出の鍵となる値です。
t = eʰ-1 とおくと h = ln(1+t)であり、h→0のとき t→0です。
lim(h→0)(eʰ-1)/h = lim(t→0) t/ln(1+t) = 1/lim(t→0)[ln(1+t)/t]です。
lim(t→0)[ln(1+t)/t] = lim(t→0) ln((1+t)^(1/t)) = ln(e) = 1から、lim(h→0)(eʰ-1)/h = 1が証明されます。
級数表現とe定義の等価性
極限定義lim(1+1/n)ⁿと級数定義Σ1/n!が同じeを表すことの証明も、数学的厳密性の観点から重要です。
二項定理を使って(1+1/n)ⁿを展開し、n→∞の極限を取ることで各項が1/k!に収束することを示すことで、両定義の一致が証明されます。
まとめ
ネイピア数eの存在証明は、数列(1+1/n)ⁿがAM-GM不等式により単調増加であり、二項定理による評価で上に有界であることを示し、単調有界定理で収束を導く論理構成です。
一意性の証明では微分方程式y’=yの解の一意性定理または自然対数の積分定義を通じて、eが唯一の数として特徴づけられます。
lim(h→0)(eʰ-1)/h=1という重要な極限値の証明も、変数変換と自然対数の性質を組み合わせることで厳密に導出できます。
これらの証明を通じて、eという数が単なる近似値ではなく数学的に厳密に定義された特別な定数であることが深く理解できるでしょう。
