極限の計算を正確に行うためには、基礎となる定理を体系的に理解しておくことが不可欠です。
「なんとなく計算している」状態から、「なぜそうなるか理解して計算できる」状態へステップアップするために、定理の一覧を整理しておきましょう。
この記事では、極限の四則演算・合成関数の定理・中間値定理・最大値最小値定理を中心に、基本定理から応用まで一覧形式でわかりやすく解説していきます。
定理の意味と使い方をしっかり押さえて、数学的に正確な極限の議論ができるようになりましょう。
極限の四則演算に関する基本定理
それではまず、極限の四則演算に関する基本定理から解説していきます。
これらの定理は、複雑な極限を単純な極限の組み合わせに分解して計算するための根拠となります。
極限の四則演算定理（lim(x→a)f(x)=L, lim(x→a)g(x)=M が存在するとき）：
① lim[f(x)±g(x)] = L±M（和・差）
② lim[f(x)・g(x)] = L・M（積）
③ lim[f(x)/g(x)] = L/M（M≠0のとき）（商）
④ lim[cf(x)] = cL（cは定数）（定数倍）
これらの定理があることで、関数を分解して個別の極限を求め、最後に組み合わせるという手順が正当化されます。
四則演算定理の注意点
商の定理（③）はM≠0の場合にのみ適用可能です。
M=0の場合は「分母が0に近づく」状況であり、不定形や発散が起きる可能性があります。
また、これらの定理はあくまで「極限が存在するとき」の話であり、極限が存在しない場合は適用できません。
定理の適用条件を確認することが、厳密な証明の基本です。
極限の線形性
①と④を合わせると、極限の「線形性」が成立します。
lim[af(x)+bg(x)] = a・lim f(x) + b・lim g(x) という性質で、これは線形代数・関数解析でも重要な概念です。
合成関数・連続関数に関する定理
続いては、合成関数と連続性に関する重要定理を確認していきます。
合成関数の極限定理
合成関数の極限定理は以下の通りです。
lim(x→a)g(x)=b かつ f が b で連続ならば、
lim(x→a)f(g(x)) = f(b) = f(lim(x→a)g(x))
つまり、外側の関数fが連続である場合、極限と関数の順序を交換できます。
この定理は非常によく使われますが、fがbで連続であることを確認してから使うことが重要です。
連続関数の演算に関する定理
連続関数の和・差・積・商（分母≠0）は連続です。
連続関数の合成も連続です。
これらの定理によって、多項式・有理関数・三角関数・指数関数・対数関数などの基本的な関数はすべて、定義域上で連続であることが保証されます。
はさみうちの原理（再掲）
g(x)≤f(x)≤h(x) かつ lim g(x)=lim h(x)=L ならば lim f(x)=L が成立するはさみうちの原理も、極限の基本定理のひとつです。
中間値定理とその応用
続いては、連続関数の性質を述べた重要定理である中間値定理を確認していきます。
中間値定理の内容
中間値定理：f が [a,b] 上で連続かつ f(a)≠f(b) ならば、f(a) と f(b) の間のすべての値 c に対して、f(ξ)=c となる ξ ∈ (a,b) が少なくとも一つ存在する。
直感的には、「連続な曲線が2点をつなぐなら、その間の値を必ずとる」ということです。
グラフを紙から鉛筆を離さずに描ける連続関数は、出発点と終着点の間の高さを必ず通過するという直感と一致しています。
中間値定理の応用：方程式の解の存在
中間値定理は、方程式 f(x)=0 の解の存在を示すのに使われます。
例：f(x)=x³−x−1 の解の存在
f(1)=1−1−1=−1<0, f(2)=8−2−1=5>0
中間値定理より、(1,2)の間に f(ξ)=0 となるξが存在する
方程式の解が「存在するかどうか」を示す際、中間値定理は最強の道具のひとつです。
不動点定理との関係
中間値定理から、ブラウワーの不動点定理（1次元版）が導かれます。
f:[0,1]→[0,1] が連続ならば、f(ξ)=ξ となる ξ が存在するという定理で、h(x)=f(x)−xに中間値定理を適用して証明します。
最大値・最小値定理と極値
続いては、最大値・最小値定理と極値に関する定理を確認していきます。
最大値・最小値定理（ワイエルシュトラスの定理）
最大値・最小値定理：f が閉区間 [a,b] 上で連続ならば、f はその上で最大値と最小値を取る。すなわち、f(m)≤f(x)≤f(M) となる m,M∈[a,b] が存在する。
「連続関数は有界閉区間上で必ず最大・最小値を持つ」というこの定理は、最適化問題の理論的根拠となります。
開区間や非有界区間では最大・最小値が存在しない場合があることに注意が必要です。
平均値定理と極限の関係
平均値定理は、f が [a,b] で連続かつ (a,b) で微分可能ならば、f'(c)=(f(b)−f(a))/(b−a) となる c ∈ (a,b) が存在するという定理です。
これは接線の傾きと平均変化率の等価性を述べており、極限・微分と深く関係しています。
ロールの定理
ロールの定理は平均値定理の特殊なケースで、f(a)=f(b)ならば f'(c)=0 となる c が存在するという定理です。
グラフ上で始点と終点の高さが同じなら、その間に水平な接線の点がある、という直感的に理解しやすい定理です。
まとめ
この記事では、極限の定理一覧として、四則演算定理・合成関数の定理・中間値定理・最大値最小値定理・平均値定理などを解説してきました。
これらの定理は単なる暗記事項ではなく、それぞれに深い数学的意味と広範な応用を持っています。
四則演算定理は計算の根拠、中間値定理は解の存在の保証、最大値最小値定理は最適化の基盤と、役割がはっきり分かれています。
定理の意味・条件・応用を三点セットで理解することが、真の数学力につながります。
