[Calculus 微積分入門] 以畫圖和數值方法求極限（圖解、實例與 ε-δ 嚴格定義）EP1.2
編輯製作： 蔡豐聲
出品團隊： 中國醫藥大學 醫療資訊學系 程式俱樂部
YT： (a)函數值與極限值 https://youtu.be/i7oHvJu8rdo (b)函數極限定義 https://youtu.be/M8xxQe5mVT0 (c)從定義證明函數極限 https://youtu.be/66l5ExVj6TI
在進入微積分的核心殿堂之前，「極限（Limit）」是不可或缺的基石
今天我們就透過 數值逼近（表格）、幾何畫圖 以及數學上最嚴謹的 $\epsilon-\delta$ 定義，帶你徹底搞懂極限的基本概念
📌 本篇學習重點
學會使用數值法（列表）與作圖法估計極限
。 認識「極限不存在」的 3 種典型情形
。 釐清「函數值 $f(c)$」與「極限值 $\lim_{x\to c} f(x)$」的關係
。 初探柯西的極限嚴格定義（$\epsilon-\delta$ 語言）與實戰例題
。
🧩 暖身補充：在學極限之前，先重新搞懂「函數（Function）」！
在微積分裡，我們無時無刻都在與「函數」打交道。但在求極限之前，你真的清楚什麼是函數嗎？
1. 什麼是函數？（自動販賣機比喻）
在數學上，函數 $f$ 就像一台規則嚴格的販賣機：
輸入值（Input, $x$）：你投進去的代幣，所有「允許投入的合法代幣」集合稱為定義域（Domain）。
輸出值（Output, $y$ 或 $f(x)$）：販賣機掉出來的飲料，所有對應得到的結果集合稱為值域（Range）。
唯一性原則（關鍵特徵）：
一個輸入 $x$，只能對應到唯一的輸出 $y$（不能按了可樂鍵，同時掉出可樂和綠茶）。
幾何上可用「垂直線檢定法（Vertical Line Test）」驗證：任意一條垂直線 $x = c$ 通過圖形，最多只能交於一點。
2. 定義域的「兩大物理地雷」⚠️
在實數範圍內，不是所有數值都能隨意塞進函數裡，最常見的兩大限制：
分母不可為零（Division by Zero）
： 範例：$f(x) = \displaystyle\frac{x^3 - 1}{x - 1}$
因為除以 0 在數學上是沒有意義的，所以 $x - 1 \neq 0 \implies x \neq 1$
。 該函數的定義域為：$\{x \in \mathbb{R} \mid x \neq 1\}$
。這也是為什麼 $x=1$ 的圖形位置會出現一個「孔洞（Hole）」 ！
偶次方根號內必須大於等於零：
範例：$f(x) = \displaystyle\frac{x}{\sqrt{x+1} - 1}$
根號內限制：$x + 1 \ge 0 \implies x \ge -1$。
分母不能為零限制：$\sqrt{x+1} - 1 \neq 0 \implies \sqrt{x+1} \neq 1 \implies x \neq 0$
。 因此定義域是 $[-1, 0) \cup (0, \infty)$
。
一、 什麼是極限？從「填補空洞」開始
試想一下，如果要畫出函數 $f(x) = \displaystyle\frac{x^3 - 1}{x - 1}$ 的圖形：
當 $x \neq 1$ 時，分子可以因式分解為 $(x-1)(x^2+x+1)$，約分後得到 $f(x) = x^2+x+1$。
但當 $x = 1$ 時，分母為 0，函數是沒有定義的
！
為了知道 $f(x)$ 在 $x$ 靠近 1 時的行為，我們從左右兩邊取值觀察
| x 從左邊趨近 1 | f(x) | x 從右邊趨近 1 | f(x) |
| 0.75 | 2.313 | 1.25 | 3.813 |
| 0.9 | 2.710 | 1.1 | 3.310 |
| 0.99 | 2.970 | 1.01 | 3.030 |
| 0.999 | 2.997 | 1.001 | 3.003 |
我們記作：
$$\lim_{x \to 1} \frac{x^3 - 1}{x - 1} = 3$$
讀作：「當 $x$ 趨近於 1 時，$f(x)$ 的極限是 3」
🎯 極限的非正式描述
若 $x$ 從 $c$ 的左右兩邊趨近 $c$ 時，$f(x)$ 可以與固定值 $L$ 任意接近，我們就說：
$$\lim_{x \to c} f(x) = L$$
二、 數值方法估計極限實戰
【例題 1】 估計 $\displaystyle\lim_{x \to 0} \frac{x}{\sqrt{x+1}-1}$ 的極限值
當 $x = 0$ 代入時，分子分母皆為 0（未定式），我們在 $0$ 附近選取數值
| x | -0.01 | -0.001 | -0.0001 | 0 | 0.0001 | 0.001 | 0.01 |
| $f(x)$ | 1.99499 | 1.99950 | 1.99995 | 無定義 | 2.00005 | 2.00050 | 2.00499 |
從左右逼近的趨勢可以看出，極限值估計為 2
三、 動動腦：極限值與函數值的常見迷思 🤔
思考以下兩個問題：
$\lim_{x \to c} f(x) = L$，一定要 $f(c) = L$ 嗎？
👉 不用！ 極限只在乎 $x$「靠近」$c$ 時的趨勢，完全不在意 $x = c$ 當下的函數值是多少（甚至該點沒有定義也無所謂）
。
已知 $f(2) = 4$，能推斷 $\lim_{x \to 2} f(x)$ 嗎？
👉 不行！ 函數值存在不代表極限存在（例如函數在 $x=2$ 可能發生跳躍斷裂）。
已知 $\lim_{x \to 2} f(x) = 4$，能推斷 $f(2)$ 嗎？
👉 不行！ 該點可能被挖空（無定義），或是定義在其他數值上（可去不連續點）。
四、 極限不存在的三種情形
並不是所有函數在每一點都有極限，常見的「極限不存在」原因如下
1. 左右極限不相等（左跳右不同）
典型例子： $f(x) = \displaystyle\frac{\vert{}x\vert{}}{x}$，求 $\displaystyle\lim_{x \to 0} \frac{\vert{}x\vert{}}{x}$
。 當 $x > 0$ 時，$f(x) = \displaystyle\frac{x}{x} = 1$
當 $x < 0$ 時，$f(x) = \displaystyle\frac{-x}{x} = -1$
從左邊逼近是 $-1$，從右邊逼近是 $1$。兩邊對不起來，因此極限不存在
！
2. 無限制增加或減少（趨近正負無限大）
例如垂直漸近線附近的行為，函數值衝向 $\infty$ 或 $-\infty$。
3. 在兩個定值之間劇烈振盪
例如 $x \to 0$ 時的 $\sin(1/x)$，震盪頻率無限加快，沒有單一趨近值。
五、 邁向高等數學：極限的嚴格定義（$\epsilon-\delta$ 定義）
為了擺脫「任意接近」這種模稜難辨的口語，19 世紀數學家柯西（Cauchy）提出了數學史上極其重要的 $\epsilon-\delta$ 語言
設 $f$ 定義在包含 $c$ 的開區間（$c$ 點本身除外亦可），$L$ 為實數
$$\lim_{x \to c} f(x) = L$$
代表：對於任意給定的正數 $\epsilon > 0$（不管它多小），都存在一個正數 $\delta > 0$，使得只要：
$$0 < \vert{}x - c\vert{} < \delta$$
就會保證：
幾何直觀：
你給一個容許誤差範圍 $(L - \epsilon, L + \epsilon)$
。 我都能在 $c$ 附近找到一個控制區間 $(c - \delta, c + \delta)$
。 只要 $x$ 落在這個控制區間內（且 $x \neq c$），對應的 $f(x)$ 就一定乖乖落在你的誤差範圍裡
！
✍️ 實戰演練：給定 $\epsilon$，求 $\delta$
【例題】 已知 $\lim_{x \to 3} (2x - 5) = 1$，若指定 $\epsilon = 0.01$，請找出一組 $\delta$，滿足定義
【解析步驟】
從目標不等式倒推：
$$\vert{}(2x - 5) - 1\vert{} < 0.01$$$$\vert{}2x - 6\vert{} < 0.01$$$$2\vert{}x - 3\vert{} < 0.01$$$$\vert{}x - 3\vert{} < \frac{0.01}{2} = 0.005$$決定 $\delta$： 取 $\delta = 0.005$（或任何比它更小的正數皆可）
。 驗證： 只要 $0 < \vert{}x - 3\vert{} < 0.005$，就有 $\vert{}(2x-5) - 1\vert{} = 2\vert{}x-3\vert{} < 2(0.005) = 0.01$，條件成立
！
🧠 結語與小試身手
1. 一張表釐清：「函數值」vs.「極限值」的本質差別
這是初學者最容易卡關的盲點：
| 比較項目 | 函數值 $f(c)$ | 極限值 $\lim_{x \to c}f(x)$ |
| 白話意義 | $x$ 「正好等於」 $c$ 時，算出來是多少？ | $x$ 「無限靠近但不等於」 $c$ 時，趨勢是多少？ |
| 代數符號 | $x = c$ | $0 < \Vert{}x - c\Vert{} < \delta$（強調 $x \neq c$） |
| 定義要求 | $f$ 在 $c$ 點必須有定義，否則不存在 | $f$ 在 $c$ 點完全不需要有定義！只要周圍有定義即可 |
| 幾何圖形 | 圖形上實心點 $(c, f(c))$ 的高度 | 左右兩側軌跡朝向的目標高度（即使那裡是空心圓洞） |
「函數值在乎的是『當下站立的位置』，而極限在乎的是『前進奔赴的方向』！」
就算目標地是一個踩空懸崖（無定義的空心洞），也不妨礙我們知道大家都正在朝著那個洞走去。
2. 函數化簡時的「隱形陷阱」
很多同學在算極限時，會直接這樣化簡：
⚠️ 請注意：嚴格來說，這兩個函數並不完全相等！
函數 $g(x) = x^2 + x + 1$ 的定義域是所有實數 $\mathbb{R}$，圖形是一條連貫無瑕的拋物線。
函數 $f(x) = \displaystyle\frac{x^3 - 1}{x - 1}$ 在 $x=1$ 處分母為 0，無定義。
只有在附加條件 $x \neq 1$ 的前提下，兩者才完全等價：
$$f(x) = x^2 + x + 1 \quad (\text{其中 } x \neq 1)$$
這也是為什麼求極限 $\displaystyle\lim_{x \to 1} \frac{x^3 - 1}{x - 1}$ 時可以約分代入：因為極限探討的是 $x \to 1$（此時 $x \neq 1$），約分在極限的世界裡是完全合法的！
極限是微積分中「連續性」與「導數」的靈魂。掌握了畫圖與數值列表的直觀，再結合 $\epsilon-\delta$ 的嚴密性，微積分的世界就會變得清晰許多！
【參考書目】Ron Larson, Bruce H. Edwards, Calculus, 11/e (Metric Version), Cengage Learning