極限エクスプローラー

極限を視覚的に探ろう。xがある目標値に近づくとき、関数の値が(収束するかどうか含めて)どう変化するかを観察できる。

初期値 — 極限エクスプローラー

f(x)	sin(x)/x
x → a	0

上のコントロールを変えると、ここから結果が計算し直されます。

インタラクティブシミュレーションを読み込んでいます...

すべての微分は姿を変えた 0/0 🖖

極限は微分積分へ至る途中の形式的な手続きではありません。極限がなければ微分積分はそもそも始まりません。ある一点での曲線の傾きは (f(x+h) − f(x)) / h で h = 0 とした値ですが、これはどんな関数でも 0/0 になります。割り算では答えられません。0/0 は数ではなく、どれだけ式を変形しても数にはならないからです。極限がしていることは問いのすり替えです。h が 0 に達したときいくらになるかではなく、h が縮んでいくあいだに商がどこへ向かうかを問います。この回避こそが、接線に傾きが存在する理由そのものです。

関数がどこへ向かうか、その点の値ではなく 🖖

極限は、x がある点に近づくとき関数がどこへ向かうかを問うもので、その点そのもので何が起こるかではありません。この違いが重要です。sin(x)/x は x = 0 で未定義（0/0 になる）ですが、両側からグラフはちょうど 1 を目指します。x を目標点へドラッグし、左極限と右極限が一致する様子を見てください。一致すれば、曲線に穴があっても極限は存在します。

数表が嘘をつくとき 🖖

このツールは n = 1, 2, …, 8 について x = 10⁻ⁿ で f を評価します。0 の近くで sin(π/x) を入力すると、整数の指数では sin(10ⁿπ) = 0 となるため、各行はちょうど 0 を示し、数表は平然と極限 0 を報告します。しかしこれらの標本点の間で関数は −1 と +1 の間を無限に振動するので、真の極限は存在しません。数値的な収束はヒントであって、決して証明ではありません。

極限の理論 — x が a に近づくときグラフは何をするか

あなたの極限はどの型か

極限が問うのは、x が a に近づくとき f がどこへ向かうかであり、a での f の値ではありません。まず左右の片側極限を読み取ります。一致すれば極限は存在し、あとは f(a) がその値と合うかどうかだけです。一致しなければ、そのずれ方 — 段差、発散、終わらない振動 — が型の名前になります。

除去可能な穴 — 両側は一致し、f(a) だけがない L⁻ = L⁺ ≠ f(a)

約分できる 0/0 — 結論の前に因数分解する 0/0 → ÷(x − a)

跳び — 左右が食い違う L⁻ ≠ L⁺

無限 — 値が目盛りの外へ飛び出す f → ±∞ at x = a

振動 — 値が決して落ち着かない ∄L, |f| ≤ 1

除去可能な穴 — 両側は一致し、f(a) だけがない

わかっていること: 左右の極限は等しく有限だが、f(a) は定義されていない。a を代入すると 0/0 になり、約分できる因子もない。

判定: L⁻ = L⁺ ≠ f(a)

計算例: f(x) = sin(x)/x、a = 0 → f(0) は 0/0 だが、f(±0.001) = 0.99999983 → 極限 = 1

この型を開く: sinc sin(x)/x

除去可能な穴 — 両側は一致し、f(a) だけがない. 左右の枝は同じ高さを目指し、点だけがくり抜かれている。左右の極限は等しく有限だが、f(a) は定義されていない。a を代入すると 0/0 になり、約分できる因子もない。 — 左右の枝は同じ高さを目指し、点だけがくり抜かれている。

約分できる 0/0 — 結論の前に因数分解する

わかっていること: a を代入すると 0/0 になり、分子と分母は共通因子 (x − a) をもつ。

判定: 0/0 → ÷(x − a)

計算例: f(x) = (x² − 1)/(x − 1)、a = 1 → (x − 1)(x + 1)/(x − 1) = x + 1 → 極限 = 2

この型を開く: ロピタル

約分できる 0/0 — 結論の前に因数分解する. 約分後のグラフは、一点だけ抜けた直線 y = x + 1 になる。 a を代入すると 0/0 になり、分子と分母は共通因子 (x − a) をもつ。 — 約分後のグラフは、一点だけ抜けた直線 y = x + 1 になる。

跳び — 左右が食い違う

わかっていること: 片側極限はどちらも有限だが値が異なる。グラフは a で一方の高さから他方の高さへ段差を作る。

判定: L⁻ ≠ L⁺

計算例: f(x) = |x|/x、a = 0 → 左極限 = −1、右極限 = +1 → 極限は存在しない

この型を開く: 跳び不連続 |x|/x

跳び — 左右が食い違う. 高さの違う二本の平らな枝：左右が食い違い、単一の極限はない。片側極限はどちらも有限だが値が異なる。グラフは a で一方の高さから他方の高さへ段差を作る。 — 高さの違う二本の平らな枝：左右が食い違い、単一の極限はない。

無限 — 値が目盛りの外へ飛び出す

わかっていること: 少なくとも一方の側が限りなく大きくなる。a を代入すると 0 でない数を 0 で割る形になり、x = a に垂直漸近線が立つ。

判定: f → ±∞ at x = a

計算例: f(x) = 1/x、a = 0 → 左からは → −∞、右からは → +∞ → 有限の極限はない

この型を開く: 無限大 1/x

無限 — 値が目盛りの外へ飛び出す. 二本の枝は垂直漸近線 x = a に沿って離れていく。少なくとも一方の側が限りなく大きくなる。a を代入すると 0 でない数を 0 で割る形になり、x = a に垂直漸近線が立つ。 — 二本の枝は垂直漸近線 x = a に沿って離れていく。

振動 — 値が決して落ち着かない

わかっていること: 関数は有界のままだが、a にどれだけ近づいて見ても、同じ範囲を無限回行き来する。

判定: ∄L, |f| ≤ 1

計算例: f(x) = sin(1/x)、a = 0 → x = 0.001 から x = 0.002 の間でグラフは約 80 周し、[−1, 1] のすべての値を通る

この型を開く: 発散振動 sin(1/x)

振動 — 値が決して落ち着かない. x が 0 に近づくほど、振動は小さくならず速くなる。関数は有界のままだが、a にどれだけ近づいて見ても、同じ範囲を無限回行き来する。 — x が 0 に近づくほど、振動は小さくならず速くなる。

全プロセスの詳細解説

sin x / x → 1 の証明（すべての ε に対する δ を使用） 5 ステップ
すべての ε に対して δ を提示することで sin x / x → 1 を証明し、表の読み取り可能な2つの行を読み取る前に予測せよ。 これは x → 0 における f(x) = sin(x)/x の問題である。
1. 正弦の級数を x で割る操作は、極限が着目する唯一の領域であるすべての x ≠ 0 において正当である。得られる式には x の偶数乗しか含まれないため、表の左右の列はどの行でもまったく同じ数字を表示することになる。
  
  $\frac{sin x}{x} = \frac{1}{x} (x - \frac{x ^{3}}{6} + \frac{x ^{5}}{120} - \dots) = 1 - \frac{x ^{2}}{6} + \frac{x ^{4}}{120} - \dots$
2. ここでは2つの項で十分である。x⁴ の項はすでに 8.33 × 10⁻⁷ まで小さくなっており、小数第6位に影響を与えるには小さすぎる。
  
  $x = \pm 0.1 : 1 - \frac{1 0 ^{- 2}}{6} + \frac{1 0 ^{- 4}}{120} - \dots = 1 - 1.666667 \times 1 0^{- 3} + 8.33 \times 1 0^{- 7} = 0.998334$
3. x の大きさを10分の1に近づけると、1 との差は100分の1に縮小する。この近づき方は x に関して2次であり、これは「極限が 1 である」という主張よりもはるかに強い主張である。そして、表自体の2つの行だけでそれを示すには十分である。
  
  $x = \pm 0.01 : 0.999983, \frac{1 - f ( 0.1 )}{1 - f ( 0.01 )} = \frac{1.665834 \times 1 0 ^{- 3}}{1.666658 \times 1 0 ^{- 5}} = 99.95$
4. 証拠は証明ではないため、残りの無限項全体を一括して評価する。|x| ≤ 1 において、この級数は項の絶対値が減少する交互級数となるため、1 より後ろのすべての項の大きさは取り除かれた最初の項よりも小さくなる。そしてその項は x²/6 である。不等式を逆算することで、δ は探索ではなくひとつの公式となる。
  
  $\frac{sin x}{x} - 1 \leq \frac{x ^{2}}{6} (∣ x ∣ \leq 1) ⟹ δ (ε) = 6 ε (ε \leq \frac{1}{6})$
5. 平方根がもたらす代償を読み取る。ε を100万分の1に厳しくしても、x で得られる精度は1000分の1にすぎない。
  
  $ε = 1 0^{- 6} \Rightarrow δ = 2.449 \times 1 0^{- 3}; ε = 1 0^{- 12} \Rightarrow δ = 2.449 \times 1 0^{- 6}$
解答

表は x = 0.1 で 0.998334、x = 0.01 で 0.999983 と表示しており、これらはどちらもパネルを参照する前に級数の4つの項から導き出されたものである。δ = √(6ε) がもたらすものは確信である。任意の許容誤差を指定すれば、それを満たす x は平方根を1度計算するだけで得られるため、どれほど拡大しても予期せぬ結果が生じることはない。これはまた、表が示す情報に限界が来る理由も説明している。表の各行は x を10分の1ずつ減少させ、差は100分の1に縮小するため、第3行までにその差は 1.6667 × 10⁻⁷（小数第6位の半分未満）となり、x = 0.001 での実際の値は 0.99999983 であるにもかかわらず、その行と以下の5つの行はすべて 1.000000 と表示される。差を切り捨てるのではなく保持してみよう。第1行の 1.665834 × 10⁻³ を 0.01 で割ると 0.16658 が得られ、これは 1/6 である。有名な極限の下には第2の極限が隠れており、級数はそれをあらかじめ示していたのである。

$δ (ε) = 6 ε, x \to 0 lim \frac{1 - \frac{s i n x}{x}}{x ^{2}} = \frac{1}{6}$

学習の道すじ

なぜ、近づけばすべてはまっすぐに見えるのか

この次に導関数その点での値が存在しない状況で、近づくとはどういうことなのかという概念。これはすぐに重要になります。導関数の基礎となる差分商は、知りたいまさにその点で 0/0 になってしまい、その値が何であるかを決着させられるのは極限だけだからです。

参考文献 (1)

When “heading towards” stopped being a way of speaking and became something you can check: J. V. Grabiner, "Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus", in Who Gave You the Epsilon? And Other Tales of Mathematical History, 5–13. Mathematical Association of America, 2009.

42Math チーム · 更新 2026-08-17

公表された資料と照合しています。訂正のご指摘を歓迎します。編集方針 · 訂正

数学のレッスン一覧 →

例題

sinc sin(x)/x - 両側とも ε = 0.001 の時点で 1.000000 に達するので極限は存在し、ページは連続と判定する
跳び不連続 |x|/x - どの ε でも L⁻ = −1 に対し L⁺ = +1 — 跳躍であり、両側極限は存在しない
無限大 1/x - −∞ と +∞。ε = 10⁻⁶ では両側が −1000000 と 1000000 を示し、際限なく増大する
発散振動 sin(1/x) - どちらの側も落ち着かない。左の列は 0.544021、次に 0.506366、次に −0.826880。だから片側極限はどちらも「未定義」と表示される
ロピタル - x = 1 で 0/0 になるのに両側とも 2.000000 に近づく。除去可能で、f(1) は未定義のまま