为什么要单独造出"单侧极限"这个概念
函数在一点附近，左边和右边可能是两种完全不同的行为 （分段函数、含 |x|、含 1/x 的壳）。直接问"极限存在吗"不好答；拆成两侧各问一次，问题立刻清晰 。此外，定义域端点（如 √x 在 x=0）本来就只有一侧，非用单侧极限不可。
① 精确定义先抄原文，一字不改
左极限
设
f(x) 在 x
0 的某个
去心左邻域 (x0 −δ0 , x0 ) 内有定义。若存在常数 A，使得
∀ε>0，∃δ>0 ，当
x0 −δ < x < x0 时
恒有 |f(x)−A| < ε ，
则称 A 为
f(x) 当
x→x0 时的
左极限 。
记作
limx→x₀⁻ f(x) = A ，或
f(x0 ⁻) = A ，或
f(x0 −0) = A 。
右极限
同上，只把范围换成
x0 < x < x0 +δ 。记
f(x0 ⁺) = A 或
f(x0 +0) = A 。
定理（极限存在的充要条件）
limx→x₀ f(x) = A ⟺ f(x0 ⁻) = f(x0 ⁺) = A
等号右边其实是三个要求叠在一起。为了后文引用方便，先给它们编号：
C1 左极限存在 —— f(x0 ⁻) 是一个确定的有限数 C2 右极限存在 —— f(x0 ⁺) 是一个确定的有限数 C3 二者相等 —— f(x0 ⁻) = f(x0 ⁺)
三条是"与"的关系 （缺任何一条，双侧极限就不存在），不是"或" 。⚠️ 本文后面的图注、表格、例题里出现的 C1 / C2 / C3，一律指上面这三条。
x₀
x₀−δ
A
A+ε
A−ε
只看左半边
右边怎么走，左极限一概不管
图 1 左极限的 ε-δ 含义。 对手先给出任意窄的横带 A±ε ；你要能找到一条竖带宽度 δ ，使得 x₀ 左侧 这段区间里的函数图像整根落在横带内 。竖带只画在 x₀ 左边——这就是"单侧"。x₀ 处的空心点表示去心 ：该点函数值是多少（甚至有没有）都与左极限无关。
限定词逐个拆（错误几乎全发生在这里）
限定词 它到底管住了什么 丢掉它会怎样
去心 要求 x ≠ x0 ：极限只看 x0 附近 的趋势，不看 x0 这一点本身 。注意：单侧 定义里 x0 −δ<x<x0 是严格不等号 ，x0 已自动排除，"去心"是顺带 满足的；这个词真正需要显式写出来的地方，是双侧 定义中的 0<|x−x0 |<δ ——那个打头的 0< 就是"去心"。
会误以为要把 x0 代进去算，把 f(x0 ) 当成极限值。
左邻域 左极限只要求左侧 有定义。右侧是死是活都不管。
分不清"左极限不存在"和"左侧根本没定义"——后者是不讨论 ，不是不存在。
∀ε>0 对任意 小的 ε 都要能办到，ε 是对手给的。
若只要求"某个 ε 成立"，任何有界函数都有"极限"，概念直接失效。
恒有 该范围内所有 x 都满足，不是"有些 x"。
振荡函数（如 sin(1/x) ）会被误判成有极限——它确实无限次接近，但不是恒在。
δ 由 ε 定 δ = δ(ε) ，ε 越小 δ 一般越小。先有 ε 后有 δ，顺序不能反。 写成"∃δ，∀ε"意思完全变了（那是极强的条件，几乎没函数满足）。
这个知识点同时是「概念」和「定理」
定义部分是概念（ε-δ），"左＝右 ⟺ 极限存在"是定理。两块要分开各练一遍 ——很多人定义背得出、定理却用不对，就是因为把它当成一个东西囫囵记了。
最容易困惑的一处记号：lim = +∞ 到底算不算"存在"
教材里会写 limx→0⁺ e1/x = +∞ ，看着像"等于某个东西"，于是很多人以为右极限存在。实际上：极限存在的定义要求 A 是一个有限常数 。 写成 = +∞ 只是借用等号描述"趋于无穷"这种特定的发散方式 ，属于极限不存在 的情形之一。正确说法： "该极限不存在，但可记作 +∞ "，或直接说"是无穷大 "。为什么必须分清： 用充要条件判断双侧极限时，一侧是 ∞ 就等于该侧不存在 ，C2 右极限存在 直接不满足——若误当成"存在且等于 +∞"，会去和左边比大小，然后得出错误结论。
两条顺带要知道的性质（后面章节会用）
① 四则运算照样成立： 左（右）极限也满足和、差、积、商的运算法则，条件同双侧极限（分母极限不为 0）。所以算单侧极限时，该拆就拆、该用等价无穷小就用，不必因为"是单侧的"而束手束脚 。② 单调有界必有单侧极限： 若 f 在 (x0 −δ, x0 ) 内单调且有界，则 f(x0 ⁻) 必定存在 。这条是后面证明重要极限 lim(1+1/x)x = e 的地基之一。
② 崩坏测试删掉一个条件，构造反例 这一节是核心训练 ：反例要么构造得出来、要么构造不出来，有客观对错，骗不了自己 。读定义时的"我懂了"，绝大多数在这一关会露馅。
动了哪里 反例 结论怎么崩的
去掉 C3 C3＝二者相等 f(x) = |x| / x，x→0
两侧各自都好好的、都收敛，但拼不到一起 ⟹ 极限不存在。这是最经典的崩法，也是跳跃间断点 的来源。
去掉 C2 C2＝右极限存在 f(x) = { sin(1/x), x>0
左边再规矩也没用，一侧崩，全盘崩 。这条专门检验你有没有把三条当"与"关系。
去掉 C2 C2＝右极限存在 f(x) = e1/x ，x→0
右侧趋于无穷也算"不存在" （极限须为有限常数 A）。这题最阴——左边算出个漂亮的 0，很多人当场收笔。
动"去心" 限定词测试 f(x) = { 1, x≠0
极限值与该点函数值毫无关系 。这正是为什么"连续"必须额外 要求 lim = f(x0 ) ——如果极限自动等于函数值，连续性就不需要定义了。
两侧全崩 f(x) = sin(1/x)，x→0
连单侧极限都没有 ⟹ 第二类间断点（振荡型） 。
反向测试 条件全满足 f(x) = sin x / x，x→0
极限照样存在 ＝1。再次印证"去心"：x0 处有没有定义，与极限存不存在完全无关 ⟹ 可去间断点 。
跳跃 |x| / x
左 −1 右 +1
两侧各自都收敛 ，但值不同C3（二者相等）不满足
一侧无穷 e^(1/x)
左 0 右 +∞
右侧发散 ，∞ 不算存在C2（右极限存在）不满足
一侧振荡 sin(1/x)
左 0 右 不存在
右侧反复穿越 ，不趋近任何数C2（右极限存在）不满足
可去 sin x / x
左 ＝ 右 ＝ 1
C1C2C3 全满足 ，极限存在＝1 四张图＝四种崩坏方式，一眼分清（C1/C2/C3 见①定理框）： 左上 两侧都收敛但不等（跳跃，第一类）；右上 一侧奔向无穷（无穷型，第二类）；左下 一侧反复振荡（振荡型，第二类）；右下 三条全满足、极限确实存在，只是该点无定义（可去，第一类）。空心点表示该处函数无定义或取值另有其人。
自测方式（重要）
合上这一页，只看左列"动了哪里"，自己把反例写出来 。写不出来的那一行，就是你没真懂的那一条。查回来不算失败——查完 10 分钟后能默写出来才算过关 。
③ 识别信号看到什么，就该想到"要分左右" 这一节对应的是最常见的失分点：不是不会算，是根本没想到该分左右 。下面每条都给出"触发词"——那个让你条件反射的形状。
# 题目特征 触发词／形状 例子 1 分段函数在分段点 处求极限大括号 { ，且要求的点正好是分界点 f(x)={x², x≤1; 2x, x>1}，x→1：左 1，右 2 ⟹ 不存在 2 含 |x| 或 |x−a| ，在零点／a 点 绝对值号——它在两侧是两个不同表达式 limx→0 x/|x|：左 −1，右 1 ⟹ 不存在 3 1/x 套在对 ±∞ 敏感 的外层函数里看到 e1/x 、arctan(1/x) 、21/x ——1/x 在 0 两侧奔向 ±∞，外层对两者反应完全不同 arctan(1/x)，x→0：左 −π/2，右 +π/2 ⟹ 不存在 4 取整函数在整数点 方括号 [x] ，且趋近的是整数 limx→1 [x]：左 0，右 1 ⟹ 不存在 5 判断连续性 ／给间断点分类 题面出现"连续""间断点""求参数使其连续" 必须算左右极限，无一例外 6 判断可导性 "是否可导"＋函数带尖角 y=|x| 在 x=0：左导 −1，右导 +1 ⟹ 不可导 7 定义域端点 只有一侧有定义 √x 在 x=0：只能讨论右极限 8 x→∞ 时分 +∞ / −∞ （严格说这不叫"单侧极限"，见下方说明） 看到 arctan x 、ex 而趋向是 ∞（不带正负号） limx→∞ arctan x：+∞ 得 π/2，−∞ 得 −π/2 ⟹ 不存在
术语精确性：x→±∞ 不是"单侧极限"
单侧极限（左/右极限）严格来说只对有限点 x0 定义 ——讨论的是"从 x0 的左边还是右边靠近"。x→+∞ 与 x→−∞ 是另一套独立定义 （用 ∃X>0 ，当 x>X 时……），只是"要分两个方向讨论"这个思路完全一样 ，所以放在一起记。记号后果： 写 x→∞⁻ 是错的 ，正确写法是 x→−∞ 。同理没有 f(∞⁻) 这种记号。
易误用——看起来像但其实不用分
① 函数在该点邻域内就是同一个初等表达式 且两侧行为一致时，分左右纯属浪费时间（如 limx→2 x² ）。② f(x0 ⁻) 是"x 从左边趋近 x0 "，不是 f(−x0 ) 。③ 分段函数在非分段点 处求极限，不用分左右——只有分界点才需要。
④ 推理骨架每步标依据，找出关键跳跃 必要性 ⟹（已知极限存在，推出左＝右）
∀ε>0，∃δ>0 ，当 0<|x−x0 |<δ 时 |f(x)−A|<ε
依据：函数极限的 ε-δ 定义 0<|x−x0 |<δ 等价于 x ∈ (x0 −δ, x0 ) ∪ (x0 , x0 +δ)
依据：绝对值不等式的拆解（去心邻域＝左半段 ∪ 右半段） 只取左半段：x0 −δ<x<x0 ⟹ |f(x)−A|<ε ，这正是左极限的定义 ⟹ f(x0 ⁻)=A ；同理取右半段得 f(x0 ⁺)=A
依据：左／右极限定义
充分性 ⟸（已知左＝右，推出极限存在）
∀ε>0 ，由 f(x0 ⁻)=A 得 ∃δ1 >0 ：当 x0 −δ1 <x<x0 时 |f(x)−A|<ε
依据：左极限定义 对同一个 ε ，由 f(x0 ⁺)=A 得 ∃δ2 >0 ：当 x0 <x<x0 +δ2 时 |f(x)−A|<ε
依据：右极限定义（ε 必须取同一个，否则拼不起来） 取 δ = min{δ1 , δ2 }
依据：两侧给出的 δ 不一样，只有取更小的那个 ，才能保证左右两边的结论同时成立 此时若 0<|x−x0 |<δ ：x 在左侧则落入步 1，x 在右侧则落入步 2，两种情况都得 |f(x)−A|<ε
依据：去心邻域＝左半段 ∪ 右半段，无第三种情况
符合极限定义 ⟹ limx→x₀ f(x)=A ，证毕
依据：函数极限的 ε-δ 定义
★ 关键跳跃 ＝ 充分性第 3 步「取 δ = min{δ₁, δ₂}」
判据 ：遮住这一步，你还能自己接上吗？——接不上，它就是关键跳跃。为什么值得单独记 ：这不是本题特有的技巧，而是 ε-δ 证明的通用招式 。后面证极限四则运算法则 、夹逼准则 时会反复出现"取 min 把多个 δ 统一起来"。练熟这一步，收益远超这一个定理。
x₀
x₀−δ₁
x₀−δ
x₀+δ
x₀+δ₁
A
A+ε
A−ε
左边宽松：δ₁ 大
贪心取 δ₁ → 右支已冲出横带
δ = min{δ₁,δ₂} = δ₂
图 3 为什么必须取 min。 同一个 ε 下，左支要到 x₀−δ₁ 才触到 A−ε（δ₁ 较宽 ），右支在 x₀+δ₂ 就触到 A+ε（δ₂ 较窄 ）。红点 示意：若贪心取 δ₁，右支在 x₀+δ₁ 处早已冲出横带 ，结论失效。只有取较小的 δ₂ （深色竖带），左右两支才同时 被 A±ε 罩住。这一步是 ε-δ 证明的通用招式 ——极限四则运算、夹逼准则里都会再见到它。
⑤ 主要用途连续性 与 间断点分类 左右极限最重要的价值不在求极限本身，而在于它是连续性和间断点分类的唯一工具 。
连续
f 在 x
0 连续
⟺ limx→x₀ f(x) = f(x0 ) ⟺ f(x0 ⁻) = f(x0 ⁺) = f(x0 )
三者相等 ，注意这里比极限存在
多要求了一个 "＝函数值"。
左连续：
f(x0 ⁻) = f(x0 ) ｜ 右连续：
f(x0 ⁺) = f(x0 )
在 x0 连续 ⟺ 既左连续又右连续。
间断点类型 左右极限的状态 典型例子 第一类：左右极限都存在 可去 间断点左＝右，但 ≠ f(x0 ) ，f(x0 ) 无定义 sin x / x 在 x=0（左＝右＝1，f(0) 无定义） 跳跃 间断点左、右都存在但不相等 |x|/x 在 x=0（左 −1，右 +1，跳跃度 2） 第二类：至少一侧 不存在 （下列两种是最常见的类型，并非全部 ） 无穷 间断点至少一侧趋于 ∞ 1/x 在 x=0；e1/x 在 x=0（右侧→+∞） 振荡 间断点至少一侧振荡无极限 sin(1/x) 在 x=0
分类口诀（但要理解，别只背）
先看两侧存不存在 → 都存在＝第一类，否则第二类。第一类里再看相不相等 → 相等＝可去，不等＝跳跃。两个易错点： ① "第一类"只关心左右极限是否存在 ，不关心 f(x0 ) 有没有定义 ——这是最常混淆的地方。② 第二类的定义 是"至少一侧极限不存在"，无穷型和振荡型只是其中最常见的两种 ，不是全部。分类时以定义为准，别拿这两个标签去套。
前向链接：这套东西在第二章会原样再用一次
左导数 / 右导数 的定义，就是把差商 [f(x)−f(x0 )]/(x−x0 ) 拿去求单侧极限 ：f′₋(x0 ) = limx→x₀⁻ [f(x)−f(x0 )]/(x−x0 ) ，右导数同理。f 在 x0 可导 ⟺ 左导数、右导数都存在且相等 y=|x| 在 x=0 不可导（左导 −1、右导 +1），本质上就是本节 ② 里 |x|/x 那个反例换了层包装。现在把充要条件吃透，第二章那一块等于白送。
⑥ 典型例题每题附带"当场会踩的坑"
例 1 求 limx→0 e1/x
左： x→0⁻ ⟹ 1/x→−∞ ⟹ e1/x →0 ，左极限＝0
右： x→0⁺ ⟹ 1/x→+∞ ⟹ e1/x →+∞ ，右极限
不存在
结论： C2 右极限存在 不满足 ⟹
limx→0 e1/x 不存在 （x=0 为第二类·无穷间断点）
坑： 左边算出漂亮的 0，手就停了，直接写"极限=0"。这是识别失败（想不到必须两侧都算），不是计算失误 ——修法是回去补识别信号，不是重背定义。
例 2 设 f(x) = { x²+1, x<0 ; 0, x=0 ; x+1, x>0 } ，求 limx→0 f(x)
左： limx→0⁻ (x²+1) = 1 ｜
右： limx→0⁺ (x+1) = 1
左＝右＝1 ⟹
limx→0 f(x) = 1
但 f(0)=0 ≠ 1 ⟹ x=0 是
可去间断点 （极限存在≠连续）
坑： 看到 f(0)=0 白纸黑字写在那儿，就以为极限是 0。这是"去心"没吃透 ——极限压根不看 x0 那一点。
例 3 求 limx→1 [x] （[·] 为取整）
左： x 略小于 1（如 0.99），
[x]=0 ⟹ 左极限＝0
右： x 略大于 1（如 1.01），
[x]=1 ⟹ 右极限＝1
左≠右 ⟹
极限不存在 （跳跃间断点）
坑： 直接算 [1]=1 就写答案。取整函数在每个整数点 都跳一次，务必两侧代具体数试。
例 4 设 f(x) = { (sin x)/x, x<0 ; a, x=0 ; x+b, x>0 } ，问 a、b 取何值时 f 在 x=0 连续
左极限： limx→0⁻ (sin x)/x = 1 （重要极限）
右极限： limx→0⁺ (x+b) = b ｜
函数值： f(0) = a
连续要求
三者相等 ：
1 = b = a ⟹
a = 1，b = 1 坑： 只让左＝右（得 b=1）就交卷，漏掉"＝f(0)"这一条 ，a 没求。连续是三个 相等，不是两个。
例 5 求 limx→∞ arctan x
x→+∞： arctan x → π/2 ｜
x→−∞： arctan x → −π/2
二者不等 ⟹
极限不存在
坑： 看到 x→∞ 就默认往 +∞ 想，答 π/2。x→∞ 含正负两个方向arctan x 、ex 、ax 必须分开。
⑦ 常见单侧极限速查表背下来直接提速，但每个都要能自己推一遍 1/x e^(1/x) arctan(1/x) 1/(1+e^(1/x)) [x] 取整 |x|/x 形状图鉴。 先记形状、再记数值。注意前四个的共同点：内层 1/x 在 0 两侧奔向 ∓∞ ，而外层函数（et 、arctan t ）对 +∞ 和 −∞ 的反应完全不对称 ——这就是它们左右极限必然不同的统一原因。
下面这些是考试里反复出现的固定组合 。建议先自己算一遍再对答案，算不出的那行就是你的漏洞 。
函数 在哪点 左极限 右极限 双侧极限 为什么两侧不同 1/x x→0 −∞ +∞ 不存在无穷间断点 分母变号 e1/x x→0 0 +∞ 不存在 1/x 奔向 ∓∞，而 et 对 t→−∞ 得 0、对 t→+∞ 得 +∞（不对称 ）e−1/x x→0 +∞ 0 不存在 同上，方向反过来 21/x x→0 0 +∞ 不存在 底数 >1，同 e1/x arctan(1/x) x→0 −π/2 +π/2 不存在跳跃间断点 arctan 有两条水平渐近线 1 / (1 + e1/x ) x→0 1 0 不存在 考试常客 ：左边 e1/x →0 得 1/(1+0)=1 ；右边 e1/x →+∞ 得 0|x| / x （即 sgn x） x→0 −1 +1 不存在跳跃间断点 绝对值在两侧脱不同的号 [x]（取整） x→nn 为整数 n−1 n 不存在 每个整数点跳一格 √x x→0 不讨论左侧无定义 0 按端点处理 定义域端点，本来就只有一侧 (sin x) / x x→0 1 1 ＝1 可去间断点 反例中的反例 ：两侧一致，极限存在，只是 f(0) 无定义arctan x x→∞ −π/2(x→−∞) +π/2(x→+∞) 不存在 两条水平渐近线 ex x→∞ 0(x→−∞) +∞(x→+∞) 不存在 指数函数左右完全不对称
这张表真正要记的不是数值，是那条"分水岭"
上面九成的情形都源自同一个机制 ：内层 （1/x 、x 本身）在该点两侧奔向 ∓∞ 或变号 ，而外层函数对这两个方向的反应不对称 （et 、arctan t 、开方、取整都是如此）。抓住"内层变号 ＋ 外层不对称"这一条，比死记 12 行更管用 ——遇到没见过的组合也能当场判断。
⑧ 本知识点专属错误清单做完题回来对照，定位自己错在哪一层
# 典型错误 错在哪一层 回哪一节补 1 只算一侧就下结论（尤其算出漂亮数字时） 识别 回 ③ 补识别信号 2 把 f(x0 ) 当成极限值 概念（"去心"） 回 ① 限定词表 ＋ ② 第 4 行反例 3 分段函数代错表达式（左极限用了 x>x0 那段） 概念（范围） 回 ① 定义中的不等式方向 4 把 x→∞ 写成 x→∞⁻ ，或把 f(x0 ⁻) 当 f(−x0 ) 记号 回 ③ 易误用 5 判连续时只验"左＝右"，漏掉"＝f(x0 ) " 条件漏验 回 ⑤ 连续定义（三者 相等） 6 认为一侧趋于 ∞ 也算"极限存在"（被 lim = +∞ 这个记号骗了） 概念（A 须为有限常数） 回 ① 的红框 ：= +∞ 是描述发散方式，属"不存在" 7 证明时忘记取 δ = min{δ1 ,δ2 } 推理断链 回 ④ 关键跳跃，单独重推 3 遍 8 混淆"左侧无定义"与"左极限不存在" 概念（定义前提） 回 ① 限定词表第 2 行
用这张表的正确姿势
做错题后，先定位是哪一层出的问题 再动手补。最常见的浪费是：明明是"识别层"没形成条件反射（第1条），却跑去反复重背定义 ——定义本来就没错，越背越没用。纯计算失误（如符号抄错、代数化简错）不属于这张表 ，它和"懂不懂"无关，单独记进计算错题本，否则会误判自己没理解。
自测清单——合上这页，你应该能做到
默写左极限的 ε-δ 定义，一字不差地说出 5 个限定词 及各自管什么
为 C2（右极限存在） 、C3（二者相等） 各手写一个反例 ，并说明结论怎么崩的
说出至少 5 条 "该分左右"的识别信号及其触发词
独立推完充分性证明，不看提示写出第 3 步取 min
拿到任一分段函数，10 秒内 判断出该不该分左右讨论
第 4 条是最容易在一周后掉的（关键跳跃最易忘）；第 3 条是最能拉开分数的（识别层决定考场上想不想得到）。