年数学三考研真题第18题是高等数学中典型的综合题,全面考查考生对多元函数极限、连续性与可微性的掌握程度
设函数 f(x, y) = (x⁴ + y⁴)/(x² + y²)(当 (x, y) ≠ (0, 0) 时),试判断该函数在点 (0, 0) 处的极限是否存在;若存在,求其值;并进一步判断函数在该点的连续性与可微性。
题目未明确给出 f(0, 0) 的定义值,需考生自行分析极限存在性后,结合定义进行补充判断。
从定义出发,分步拆解极限存在性、连续性、可微性三大逻辑环节,杜绝跳跃式推理
考虑函数 f(x, y) = (x⁴ + y⁴)/(x² + y²) 在 (x, y) → (0, 0) 时的极限。
误区警示:仅验证 y = kx 路径极限为0不能证明极限存在!多元极限存在要求所有路径极限一致且有限。
正确方法一:极坐标变换法
令 x = r cosθ, y = r sinθ,则当 (x, y) → (0, 0) 时,r → 0⁺,且:
x² + y² = r²,x⁴ + y⁴ = r⁴(cos⁴θ + sin⁴θ)
代入得:
f(r, θ) = [r⁴(cos⁴θ + sin⁴θ)] / r² = r²(cos⁴θ + sin⁴θ)
由于 cos⁴θ + sin⁴θ = (cos²θ + sin²θ)² - 2cos²θsin²θ = 1 - (1/2)sin²2θ ∈ [1/2, 1],即恒为有界量(介于0.5与1之间)。
因此:
limr→0⁺ r² · [有界量] = 0
结论:极限存在且为 0。
正确方法二:不等式估计法(夹逼准则)
注意到:
x⁴ + y⁴ = (x²)² + (y²)² ≤ (x² + y²)²(因 a² + b² ≤ (a + b)² 对非负a,b成立)
故:
0 ≤ |f(x, y)| = (x⁴ + y⁴)/(x² + y²) ≤ (x² + y²)² / (x² + y²) = x² + y²
当 (x, y) → (0, 0) 时,x² + y² → 0,由夹逼准则得:
lim(x,y)→(0,0) f(x, y) = 0
两种方法互为印证,逻辑自洽。
连续性定义:函数 f 在点 (a, b) 连续 ⇔
① f(a, b) 有定义;
② lim(x,y)→(a,b) f(x, y) 存在;
③ 极限值等于函数值。
本题中:
- 极限存在且为 0 ✔️
- 但原函数在 (0, 0) 处未定义!表达式 (0⁴ + 0⁴)/(0² + 0²) = 0/0 无意义 ✘
关键点:函数定义域为 D = {(x, y) | (x, y) ≠ (0, 0)},点 (0, 0) 是定义域的边界点(孤立点),但不是定义域内点,故在该点谈不上“连续”或“不连续”——严格来说,连续性仅在定义域内点讨论。
常见误解纠正:
“极限存在但函数值不存在,所以不连续”——此说法不严谨!不连续的前提是函数在该点有定义但不满足连续条件。若无定义,则该点根本不在讨论范围内。
补全定义后的再讨论:
若人为定义 f(0, 0) = 0,则新函数 f̃(x, y) 在 (0, 0) 处连续。此即“可去间断点”的本质:通过重新定义函数值可使函数连续。
结论:原函数在 (0, 0) 处无定义,故不讨论连续性;若补充定义 f(0, 0) = 0,则连续。
二元函数可微定义:设 f 在 (a, b) 的某邻域有定义,若存在常数 A, B,使得
Δf = f(a+Δx, b+Δy) - f(a, b) = AΔx + BΔy + o(√(Δx² + Δy²))
当 Δx → 0, Δy → 0 时成立,则 f 在 (a, b) 可微,且 df = A dx + B dy。
必要条件:
- 若可微,则必连续;
- 若可微,则偏导数存在,且 A = fₓ'(a, b), B = fᵧ'(a, b)。
本题分析路径:
需验证:R / √(Δx² + Δy²) → 0?
注意到:
|R| / √(Δx² + Δy²) = (Δx⁴ + Δy⁴) / [(Δx² + Δy²)^{3/2}]
令 Δx = r cosθ, Δy = r sinθ,则:
= [r⁴(cos⁴θ + sin⁴θ)] / r³ = r (cos⁴θ + sin⁴θ) ≤ r · 1 → 0 (r→0)
故 R = o(√(Δx² + Δy²)),满足可微定义。
结论:补全定义后的函数 f̃ 在 (0, 0) 处可微,且全微分 df = 0。
掌握方法论,举一反三应对多元函数极限与连续性问题
何时用:分母含 x² + y²,或函数具有旋转对称性/径向衰减特征。
操作要点:
本题应用:得 r² · (cos⁴θ + sin⁴θ),k=2>0,g(θ) 有界 ⇒ 极限为0。
核心思想:将高次项用低次项控制,构造夹逼环境。
常用不等式:
本题应用:
x⁴ + y⁴ ≤ (x² + y²)² ⇒ f(x,y) ≤ x² + y² → 0
何时用:当怀疑极限不存在时(如分母次数低于分子),尝试特殊路径。
推荐路径序列:
注意:所有路径极限相同不能证明存在;仅需找到两条路径极限不同即可证不存在。
反例提示:函数 f(x,y) = xy/(x² + y²) 沿 y=kx 极限为 k/(1+k²),依赖k ⇒ 极限不存在。
连续性:必须三要素齐全——有定义、极限存在、值等于极限。
可微性:分四步验证:
易错点:偏导数存在且连续 ⇒ 可微;但偏导数存在 ≠ 可微(需额外验证)。
避开陷阱,避免在基础概念上失分
错误做法:看到极限存在,就断言“在(0,0)处连续”。
正确逻辑:函数在点P连续 ⇔ P ∈ 定义域 ∧ limx→P f(x) = f(P)。
本题:(0,0) ∉ 定义域 ⇒ 不在讨论范围内。这是概念性错误,阅卷中直接扣光步骤分。
错误做法:变换后得 r² cos⁴θ,认为“当r→0时与θ无关,故极限为0”——未考虑 cos⁴θ 可能为0(如θ=π/2),但需整体有界性。
正确操作:必须证明 |g(θ)| ≤ M(M为常数),再用有界量乘无穷小。
错误:(x² + y²)² = x⁴ + 2x²y² + y⁴ ⇒ x⁴ + y⁴ = (x² + y²)² - 2x²y²。
本题修正:x⁴ + y⁴ = (x² + y²)² - 2x²y² ≤ (x² + y²)²,因 -2x²y² ≤ 0,不等式方向正确。
错误做法:偏导数存在 ⇒ 可微。
反例:f(x,y) = √(|xy|) 在(0,0)处偏导数均为0,但不可微(全增量与Δx,Δy不成线性关系)。
本题验证:通过 R / r → 0 完成严格证明。
错误:认为所有直线路径极限相同即极限存在。
反例:f(x,y) = x²y/(x⁴ + y²)(y≠0时),沿y=kx极限为0,但沿y=x²极限为1/2 ⇒ 极限不存在。
启示:证存在必须用定义/不等式;证不存在只需一条非直线路径。
据对近5年数三真题第18题的统计分析:
备考建议:严格按定义书写推理链,每一步注明依据,避免“显然”“易得”等模糊表述。
系统化复习策略,从真题解析到能力迁移
标准时间分配(考场环境):
策略:若卡壳,先写定义与已知条件,部分分必得;避免“全有或全无”思维。
系统梳理,构建知识网络
可微
↓ ⇒ 连续 ⇒ 极限存在 ⇒ 偏导存在
↑ ↑ ↑
偏导连续 偏导存在且连续 路径极限唯一
注:反向箭头不成立!
- 连续 ⇏ 可微(例:|xy|^(1/2))
- 极限存在 ⇏ 连续(例:本题原函数)
- 偏导存在 ⇏ 可微(经典反例)