数学III / 本質理解型教材
対象：極限の考え方を初めて学ぶ高校生。到達目標：(1)極限の本質を日常語で説明できる (2)なぜ特定の極限公式が成り立つのかを自分の言葉で説明できる。
「\(0.999\dots\) という数は、1より少しだけ小さいのではないか？」そう思ったことはありませんか。また、古代ギリシャの哲学者ゼノンは「駿足のアキレスは、一歩前を歩く亀に永遠に追いつけない」と主張しました。アキレスが亀のいた場所に達する頃には、亀は少し先へ進んでおり、その差は縮まるものの無限のステップが繰り返されるからです。
「限りなく近づく」という現象を、あやふやなイメージのまま放置すると、「0で割ることはできないのに、0に限りなく近い数で割る」という微分の計算や、無限の足し算を正しく扱うことができなくなってしまいます。この「近づく先」を、気分の問題ではなく、1つの確定した数として数学的に扱うための共通の作法が必要になります。
極限を理解するための最も重要な鍵は、「近づく途中の状態（プロセス）」ではなく、「最終的に向かっている目的地（ゴール）」だけを見つめるという姿勢です。
途中でその値にぴったり届くかどうか、あるいは通り過ぎるかどうかは、極限を考える上では一切関係ありません。「もしこの変化をどこまでも無限に続けたとしたら、その行き先はどこになるか」という、行き先（ゴール）のみを問うのです。
この行き先という抽象的な存在を、計算可能な「1つの数」として正式に認めることで、私たちは無限の世界を有限の数式で支配できるようになります。
規則正しく並んだ数の列（数列）が、無限に進んだ先でどこへ向かうかを考えます。
例えば、数列 \(1, 0.5, 0.333, \dots, \frac{1}{n}\) を考えましょう。\(n\) をどんどん大きくしていくと、値は \(0.1, 0.01, 0.001, \dots\) となり、どんどん小さくなります。このとき、「どんなに小さな幅を指定されても、数列を十分に先まで進めれば、すべての項がその幅の中に完全に入りっぱなしになる」という状態が成り立ちます。これが、数学的に「行き先が0である」ということです。この行き先を、記号 \(\lim\)（リミット）を使って次のように表します。
これは「\(1/n\) はいつか0になる」という意味ではなく、「無限の彼方における行き先がぴったり0である」ことを宣言しています。
数値例として、\(n=10\) で \(0.1\)、\(n=1000\) で \(0.001\) となり、確かに0へと近づく様子がわかります。
数列の行き先には、大きく分けて3つのパターンがあります。
第1に、これまで見てきたように、どこか1つの目標値に向かってぴったりと落ち着く場合です。これをと言います。第2に、目標値を持たず、どこまでも限りなく大きくなっていくような場合です。これをと言い、正の無限大に向かうときは記号 \(\infty\) を使って表します。注意すべきなのは、\(\infty\) は「無限に大きくなり続けている状態」を表す記号であり、特定の「数」ではないため、普通の数と同じように計算することはできません。第3に、収束も発散もせず、行ったり来たりを繰り返して行き先がいつまでも決まらない場合です。例えば、数列 \((-1)^n\) は \(-1, 1, -1, 1, \dots\) と交互に繰り返すため、行き先が定まりません。これをと呼びます。
これまでは飛び飛びの数（数列）を扱いましたが、今度はなだらかな変数 \(x\) がある値 \(a\) に近づくときの、関数 \(f(x)\) の行き先を考えます。
通常、多くのグラフは途切れなく描かれます。この「グラフがつながっている」という状態を、極限を使って数式で表現したのが**「連続」**の定義です。具体的には、「\(x\) を \(a\) に近づけたときの行き先（極限値）」と、「\(x\) がぴったり \(a\) のときの実際の値」が完全に一致するとき、その関数は \(x=a\) でであると言います。
もし、左右から近づいたときの行き先が異なっていたり（片側極限の不一致）、その場所にだけポッカリと穴が開いて値が別の場所に飛び出ていたりすると、それは「不連続」な状態です。
極限を求めるとき、単純に値を代入しようとすると、分母も分子も0になってしまう \(\frac{0}{0}\) や、無限同士で割る \(\frac{\infty}{\infty}\) といった形に出くわすことがあります。これらをと呼びます。
不定形は、単に式を眺めただけでは「行き先が決まらない」という意味です。例えば、\(x \to 0\) のとき、\(\frac{x^2}{x}\) の行き先は0ですが、\(\frac{x}{x^2}\) は無限大に発散し、\(\frac{2x}{x}\) は2に収束します。すべて \(\frac{0}{0}\) の形なのに、行き先はバラバラです。つまり、極限の計算とは、「0や無限に向かうスピード（変化の速さ）の勝負」において、どちらの勢いが強いかを見極める技術そのものなのです。
極限を直接計算するのが非常に難しい複雑な関数でも、その行き先をスマートに決定できる強力な武器が「はさみうちの原理」です。
これは、調べたい関数の値を、常に「上側」と「下側」から挟み込むような、より単純な2つの関数で包囲するというアイデアです。もし、上から抑えている関数と、下から支えている関数の両方が、\(x\) を進めるにつれて同じ行き先（値 \(L\)）に収束するならば、その間に挟まれた複雑な関数も、逃げ場を失って自動的に同じ値 \(L\) に向かわざるを得なくなります。
この原理は、特に振動しながら減衰していくような、そのままでは極限が捉えにくい関数の挙動を突き止める際に絶大な威力を発揮します。
「無限に数を足し合わせる」とはどういうことでしょうか。単に足し続けるプロセスを想像すると、いつまでも終わりません。数学では、これを「\(n\) 個目まで足した合計（部分和）」という数列の「行き先」として定義します。
例えば、\(0.9 + 0.09 + 0.009 + \dots\) という無限の足し算を考えます。この部分和は、\(0.9, 0.99, 0.999, \dots\) と進み、その行き先はぴったり 1 になります。一般に、最初の数が \(a\)、かける割合が \(r\)（ただし \(-1 < r < 1\)）である無限の足し算の和は、次の公式で表されます。
これにより、「\(0.999\dots\)」という無限小数は、「1に限りなく近い数」などではなく、極限（行き先）として「ぴったり 1 に等しい」ことが論理的に証明されます。
別の数値例として、\(\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots\) も、部分和の極限を考えることで、ぴったり 1 に収束することがわかります。
角度を「度（°）」ではなく、弧の長さで表す「弧度法（ラジアン）」を使う最大の理由が、この極限の美しさにあります。
円の半径を1とし、中心角を \(\theta\) とします。このとき、中心角を限りなく0に近づけていくと、扇形の「弧の長さ \(\theta\)」と、まっすぐな「弦の長さ \(\sin\theta\)」の比は、極限においてぴったり 1 に近づきます。
これは、非常に小さなミクロの世界では、「曲がったカーブ（弧）」と「まっすぐな直線（弦）」が全く区別できなくなり、完全に同一視できることを示しています。
数値例として、\(\theta = 0.1\) ラジアンのとき、\(\sin 0.1 = 0.0998\) となり、その比はすでにほぼ 1 になっています。
お金の利息がつくスピードを細かくしていく状況を想像してみましょう。
「年率100%（1倍）」の利息があるとき、年1回なら元利合計は2倍になります。これを半年ごと（50%ずつ2回）にすると \((1 + 1/2)^2 = 2.25\) 倍に増えます。さらに毎日、毎秒、毎瞬と、利息の計算を無限に細かく分割（\(n \to \infty\)）していったら、元金は無限に増え続けるでしょうか？
実は、分割をどれほど細かくしても、増え方には限界があり、ある不思議な定数 \(2.718\dots\) で頭打ちになります。この極限値を「自然対数の底」または「ネイピア数」と呼び、記号 \(e\) で表します。
数値例として、\(n=1 \to 2\)、\(n=10 \to 2.594\)、\(n=100 \to 2.705\)、\(n=10000 \to 2.7181\)、極限値は \(e \approx 2.718\) となります。
関数が「連続である（グラフがつながっている）」という事実が持つ、極めて強力な性質の1つが「中間値の定理」です。
ある区間でつながっているグラフにおいて、スタート地点 \(a\) での値 \(f(a)\) がマイナス（負）で、ゴール地点 \(b\) での値 \(f(b)\) がプラス（正）だったとします。このとき、グラフは途中で千切れることなくつながっているため、左から右へ進む途中で、必ずどこかで \(x\) 軸（値がぴったり0になる場所）を通過しなければならない、ということを主張する定理です。
この定理は、「具体的な解の値はすぐには分からないが、とにかくそこに解が『存在する』ことだけは100%保証されている」という状況を作り出すために、数学やプログラミングにおいて非常に重宝されます。
近づくイメージ（ゼノンのパラドックス）
↓
行き先の確定（数列の極限・収束の定義）
↓
連続性の数式化（関数の極限、グラフのつながり）
↓
特別な極限（\(\frac{\sin\theta}{\theta}\to 1\)、自然対数の底 \(e\) の誕生）
↓
微分・積分への架け橋