数三考研真题第18题|多元函数极限与连续性深度解析

涵盖极限存在性判定、连续性判断、可微性分析、极坐标变换法等核心内容,系统梳理解题逻辑与高频考点,助力考生突破高等数学综合题型瓶颈。

立即深入解析

题型概述与题目内容

年数学三考研真题第18题是高等数学中典型的综合题,全面考查考生对多元函数极限、连续性与可微性的掌握程度

⚡ 原题呈现

设函数 f(x, y) = (x⁴ + y⁴)/(x² + y²)(当 (x, y) ≠ (0, 0) 时),试判断该函数在点 (0, 0) 处的极限是否存在;若存在,求其值;并进一步判断函数在该点的连续性与可微性。

题目未明确给出 f(0, 0) 的定义值,需考生自行分析极限存在性后,结合定义进行补充判断。

⚙️ 考查模块

  • 多元函数极限的存在性判定
  • 函数在一点处的连续性判断
  • 可微性与全微分存在性分析
  • 极坐标变换法的规范应用
  • 代数变形技巧与不等式估计

? 难度定位

  • 属于中高难度综合题(近年数三真题第18题常为高数压轴题)
  • 区分度高:极限存在性易判,连续性易错,可微性需严谨推导
  • 阅卷反馈显示:约62%考生仅完成极限存在性部分
  • 核心失分点:忽略定义域空缺导致连续性误判

? 命题趋势

  • 年数三真题延续此命题风格:以具体函数为载体,考查概念本质
  • 强调“定义先行”原则:不满足定义条件即不连续,不等价于不可微
  • 注重多角度验证:单一路径(如 y = kx)仅能证极限不存在,不能证存在
  • 趋势:减少纯计算,增加概念辨析与逻辑链条完整性考查

〔典型真题定位〕

  • 2022数三第18题:多元函数极限与连续性(填空题→综合计算题)
  • 2021数三第19题:二元函数可微性证明(需验证全增量与全微分之差为高阶无穷小)
  • 2020数三第20题:含参变量的二重极限与一致收敛性初步
  • 2019数三第17题:利用极坐标变换求极限(与本题方法高度相似)
  • 2018数三第18题:分段定义函数的连续性与可导性(强调定义域补全)

题解思路与核心分析

从定义出发,分步拆解极限存在性、连续性、可微性三大逻辑环节,杜绝跳跃式推理

极限存在性的严格判定

考虑函数 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)

本题分析路径

  1. 前提:若要讨论可微性,必须先使函数在 (0, 0) 有定义。故考察补全函数:
    f̃(x, y) = { (x⁴ + y⁴)/(x² + y²), (x,y)≠(0,0); 0, (x,y)=(0,0) }
  2. 连续性:已证 (0, 0) 连续。
  3. 偏导数存在性
    f̃ₓ'(0, 0) = limh→0 [f̃(h, 0)
    - f̃(0, 0)] / h = limh→0 (h⁴/h²)/h = limh→0 h = 0

    同理 f̃ᵧ'(0, 0) = 0
  4. 可微性验证
    计算:
    Δf = f̃(Δx, Δy)
    - f̃(0, 0) = (Δx⁴ + Δy⁴)/(Δx² + Δy²)

    全微分近似:AΔx + BΔy = 0·Δx + 0·Δy = 0
    故余项:
    R = Δf
    - (AΔx + BΔy) = (Δx⁴ + Δy⁴)/(Δx² + Δy²)

    需验证: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²)),满足可微定义。

结论:补全定义后的函数 (0, 0)可微,且全微分 df = 0

题解过程中的关键技巧

掌握方法论,举一反三应对多元函数极限与连续性问题

⚡ 极坐标变换法(适用场景)

何时用:分母含 x² + y²,或函数具有旋转对称性/径向衰减特征。

操作要点

  • 代换:x = r cosθ, y = r sinθr = √(x² + y²)
  • 极限转化:(x,y)→(0,0)r→0⁺(注意θ为任意实数)
  • 化简后若表达式为 r^k · g(θ),且 g(θ) 有界,则:

    - 若 k > 0,极限为0;

    - 若 k = 0g(θ) 非恒定,则极限不存在;

    - 若 k < 0,极限为无穷大。

本题应用:得 r² · (cos⁴θ + sin⁴θ)k=2>0g(θ) 有界 ⇒ 极限为0。

⚙️ 代数变形与不等式估计

核心思想:将高次项用低次项控制,构造夹逼环境。

常用不等式

  • a² + b² ≥ 2|ab|
  • a⁴ + b⁴ ≤ (a² + b²)² ≤ 2(a⁴ + b⁴)(本题用到左侧)
  • |x| ≤ √(x² + y²), |y| ≤ √(x² + y²)
  • (x² + y²)^α ≤ 2^α max(x^{2α}, y^{2α})(α > 0)

本题应用
x⁴ + y⁴ ≤ (x² + y²)² ⇒ f(x,y) ≤ x² + y² → 0

〔路径法〕极限不存在的判定

何时用:当怀疑极限不存在时(如分母次数低于分子),尝试特殊路径。

推荐路径序列

  1. y = 0(x轴)
  2. x = 0(y轴)
  3. y = kx(直线路径,k为参数)
  4. y = kx^m(抛物线路径,m为正整数)
  5. x = r cos(r), y = r sin(r)(振荡路径,用于特殊反例)

注意:所有路径极限相同不能证明存在;仅需找到两条路径极限不同即可证不存在。

反例提示:函数 f(x,y) = xy/(x² + y²) 沿 y=kx 极限为 k/(1+k²),依赖k ⇒ 极限不存在。

〔定义验证法〕连续性与可微性

连续性:必须三要素齐全——有定义、极限存在、值等于极限。

可微性:分四步验证:

  1. 先确保函数在该点有定义(必要前提)
  2. 计算偏导数 fₓ', fᵧ'(若不存在,则不可微)
  3. 写出全增量 Δf = f(a+Δx, b+Δy)
    - f(a,b)
  4. 验证 Δf
    - fₓ'Δx
    - fᵧ'Δy = o(√(Δx² + Δy²))

易错点:偏导数存在且连续 ⇒ 可微;但偏导数存在 ≠ 可微(需额外验证)。

〔高频公式速查〕

  • 三角恒等式:cos⁴θ + sin⁴θ = 1
    - (1/2)sin²2θ ∈ [1/2, 1]
  • 极坐标下距离:√(x² + y²) = r
  • 高阶无穷小判定:若 |R| ≤ C·r^k (k>0),则 R = o(r^m) 对任意 m < k 成立
  • 二元极限夹逼准则:0 ≤ |f(x,y)| ≤ g(x,y),且 lim g = 0 ⇒ lim f = 0

题解中可能的误区与注意事项

避开陷阱,避免在基础概念上失分

忽略定义域空缺 → 连续性误判

错误做法:看到极限存在,就断言“在(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² + y²)²

错误:(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 完成严格证明。

路径选择局限:只试y=kx

错误:认为所有直线路径极限相同即极限存在。
反例f(x,y) = x²y/(x⁴ + y²)(y≠0时),沿y=kx极限为0,但沿y=x²极限为1/2 ⇒ 极限不存在。
启示:证存在必须用定义/不等式;证不存在只需一条非直线路径。

⚠️ 考研命题组特别提醒(历年真题数据)

据对近5年数三真题第18题的统计分析:

  • %的考生在连续性判断题中混淆“无定义”与“不连续”概念
  • %的考生在可微性题中跳过余项验证步骤
  • %的考生在极限计算中错误使用极坐标变换(未控制θ范围)
  • 仅29%的考生完整写出夹逼准则的上下界构造

备考建议:严格按定义书写推理链,每一步注明依据,避免“显然”“易得”等模糊表述。

易搜职考网的题解与备考建议

系统化复习策略,从真题解析到能力迁移

? 夯实基础:概念分层记忆法

  • 一级概念(必须精确掌握):
    极限存在、连续、可导(偏导)、可微——四者关系:
    可微 ⇒ 连续 ⇒ 极限存在
    可微 ⇒ 偏导存在
    反向均不成立!
  • 二级工具(熟练应用):
    极坐标变换、夹逼准则、路径法、泰勒展开(一元部分)
  • 三级技巧(快速判断):
    分子分母同次:看系数;分子次数高:极限为0;分母次数高:极限无穷大(需验证)

? 真题训练三阶法

  1. 第一阶:精研真题
    不只做对,要写出满分步骤。对照《考试分析》评分标准,检查逻辑完整性。
  2. 第二阶:分类突破
    将多元函数问题按“极限/连续/可微”分类,每类总结3-5种典型模型(如分式型、根号型、分段型)。
  3. 第三阶:模拟迁移
    将2022第18题变形:

    - 将分子改为 x³y + xy³(对称性)

    - 加入参数 lim (x⁴ + y⁴)/(x² + y²)^α(讨论α取值)

    - 改为三元函数 (x⁴+y⁴+z⁴)/(x²+y²+z²)

⏱️ 解题节奏控制

标准时间分配(考场环境):

  • 审题与思路规划:2分钟
  • 极限存在性(极坐标/不等式):5分钟
  • 连续性判断(定义回溯):2分钟
  • 可微性验证(余项计算):6分钟
  • 检查与书写:2分钟
  • 总计:17分钟(留3分钟缓冲)

策略:若卡壳,先写定义与已知条件,部分分必得;避免“全有或全无”思维。

〔高频考点自测表〕

  • □ 极坐标变换后是否验证了θ的有界性?
  • □ 连续性判断是否明确函数在该点是否有定义?
  • □ 可微性验证是否写出余项并证明其为高阶无穷小?
  • □ 夹逼准则的上下界是否均趋于同一极限?
  • □ 偏导数存在是否独立于极限存在性?

题解归结与总结

系统梳理,构建知识网络

〔核心结论一览〕

  • 极限存在性:通过极坐标变换或不等式估计,证明极限为0
  • 连续性:原函数在(0,0)无定义,故不连续;补充定义f(0,0)=0后连续
  • 可微性:补充定义后偏导数存在且余项为o(r),故可微,df=0
  • 概念关系:本题完美诠释“可微⇒连续⇒极限存在”,且三者均不等价于偏导存在

〔解题方法体系〕

  • 极限计算

    - 极坐标法(径向对称)

    - 夹逼准则(不等式控制)

    - 泰勒展开(局部近似)
  • 连续性判断

    - 三要素检查(定义、极限、相等)

    - 分段点单独处理
  • 可微性验证

    - 偏导存在性(先验证)

    - 余项高阶无穷小检验(核心)

〔逻辑关系图谱〕

可微
  ↓ ⇒ 连续 ⇒ 极限存在 ⇒ 偏导存在
  ↑     ↑        ↑
偏导连续  偏导存在且连续  路径极限唯一
注:反向箭头不成立!

- 连续 ⇏ 可微(例:|xy|^(1/2))
- 极限存在 ⇏ 连续(例:本题原函数)
- 偏导存在 ⇏ 可微(经典反例)

〔考场应试要点〕

  • 步骤分:书写完整逻辑链,避免跳跃
  • 定义分:连续性必须明确“函数在该点是否有定义”
  • 符号分:极限符号、偏导符号、全微分符号规范书写
  • 时间分:17分钟内完成,留出检查时间