如何证明一个函数连续：判定方法全梳理

如何证明一个函数连续，核心抓手只有三个：极限值等于函数值、左右极限相等、初等函数在定义区间内天然连续。你拿到题目先看函数类型——初等函数直接写"在定义区间内连续"，分段函数在分界点用左右极限核对，抽象函数或含参数的证明题退回ε-δ定义或海涅归结原理。这套路径覆盖高数、数学分析绝大多数考题，但对黎曼函数、狄利克雷函数这类人为构造函数失效，必须按点逐一定义验证，不能套用现成结论。

用定义法证明函数连续

定义法是最基础的判定方式：你要证f在x0连续，就是证lim(x→x0)f(x)=f(x0)，拆成三件事——f(x0)有定义、x→x0时f(x)的极限存在、极限值恰好等于函数值。实操时把|f(x)-f(x0)|放大成C·|x-x0|的形式，对任意ε>0取δ=ε/C即可。含根号的项用分子有理化消去根号，含三角函数用|sinθ|≤|θ|放缩，对数项用|ln(1+t)|≤|t|估计。

容易踩的坑是把"极限存在"和"连续"画等号。f(x)=(x²-1)/(x-1)在x=1处极限为2，但f(1)根本没定义，这叫可去间断点，不算连续。三件事缺一件就停笔补条件。

用极限运算法则证明函数连续

两个连续函数的和、差、积、商（分母不为零）仍连续，连续函数的复合函数在外层连续点处连续，严格单调连续函数的反函数在对应区间上也连续。你拿到一个看起来复杂的表达式，先拆成常见连续函数（多项式、指数、对数、三角）的四则复合，再逐层判定——能拆就不用硬算极限。

初等函数的连续判定

同济大学数学系编《高等数学》（第七版）上册明确给出：基本初等函数在其定义域内连续，一切初等函数在其定义区间内连续。这条结论意味着你遇到幂函数、指数函数、对数函数、三角函数、反三角函数经过有限次四则与复合得到的式子，只要写出定义区间，就能直接判定连续，不必再算极限。

"定义区间"和"定义域"不是一回事。定义域可能是离散点集，定义区间特指含内点的区间，比如f(x)=√(cosx-1)的定义域只有x=2kπ这些孤立点，谈不上连续与否。

孤立点不讨论连续性。

分段函数与间断点排查

分段函数在每一段内部通常是初等函数，连续没问题，风险全压在分界点上。你要做三件事：算左极限、算右极限、算分界点函数值，三者完全相等才连续。f(x)=sin(1/x)在x=0附近无限振荡，x→0时极限不存在，x=0是第二类振荡间断点，即便补充定义f(0)=0也补不成连续。

闭区间上的连续函数有几条硬性质：有界、取到最值、介值定理、零点存在定理。你做题时遇到"证明存在ξ使f(ξ)=0"，先验f在闭区间[a,b]上连续且f(a)·f(b)<0，再直接套零点定理，不用从头构造。一致连续比点态连续更强，普通连续是对每个x0单独找δ，一致连续要求一个δ管整个区间；f(x)=1/x在(0,1)上逐点连续但不一致连续，因为x越接近0需要的δ越小，找不到全局统一的δ。闭区间上的连续函数由康托定理保证一致连续，开区间上这条结论不成立。