本题以函数 f(x, y) = (x − y)² 在单位正方形区域 D = [0,1] × [0,1] 上的极值求解为核心,全面考查考生对闭区域上极值判定、内部驻点识别、边界分段分析及函数简化变形的综合能力。题目形式简洁但逻辑严密,是考研数学二中典型的“理论+应用”双重要求题型。
年全国硕士研究生入学考试数学二第17题,以一道看似基础的多元函数极值问题为载体,深入考查考生对以下核心能力的掌握程度:
题目虽未要求使用拉格朗日乘数法(因区域为矩形而非约束曲线),但其设计明显呼应了“多元函数极值求解”这一高频考点。数据显示,在近十年考研数学二中,涉及闭区域极值的题目年均出现1.3次,其中72%考查矩形或三角形区域,41%要求边界分段处理——本题正是这一趋势的典型体现。
首先对目标函数进行代数变形:
该变形是解题的关键突破口。由此可知:
进一步分析偏导数(用于验证驻点):
令偏导数为零:
可见,驻点集合为整条直线 x = y,而非孤立点。这与常规二次函数极值点(如 x² + y² 的唯一驻点 (0,0))有本质区别。该特性直接导致:在区域 D 内,函数沿对角线段 {(t, t) | 0 ≤ t ≤ 1} 恒取极小值 0。
区域 D = {(x, y) | 0 ≤ x ≤ 1, 0 ≤ y ≤ 1} 的内部为开区域 {(x, y) | 0 < x < 1, 0 < y < 1}。驻点条件 x = y 与内部条件的交集为线段:
在此线段上,函数值恒为 0。为判定其是否为极小值,考察任意点 (t, t) ∈ L 的邻域:
对任意小量 ε > 0,在点 (t, t) 的邻域 B_ε(t, t) 内任取点 (t + h, t + k):
等号成立当且仅当 h = k(即仍落在直线 y = x 上)。因此,(t, t) 是极小值点,且极小值为 0。
重要说明:由于驻点构成连续线段,无法使用二阶导数检验(Hessian矩阵在驻点处为零矩阵),必须回归定义判断。此为本题易错点——许多考生误认为“极值点必孤立”,从而遗漏整条对角线上的极小值。
在区域 D 的闭包内,线段 L 的端点 (0,0) 与 (1,1) 也属于极小值点集合,且位于角点处。因此,极小值 0 的取值点包括:
区域 D 的边界由四条线段构成,需分别参数化后求单变量极值:
代入得:f(0, y) = (0 − y)² = y²
单变量函数 g(y) = y² 在 [0,1] 上单调递增:
代入得:f(1, y) = (1 − y)²
令 h(y) = (1 − y)²,则 h'(y) = −2(1 − y):
代入得:f(x, 0) = (x − 0)² = x²
单变量函数 k(x) = x² 在 [0,1] 上单调递增:
代入得:f(x, 1) = (x − 1)²
令 m(x) = (x − 1)²,则 m'(x) = 2(x − 1):
边界极值汇总:
综合内部与边界分析,函数 f(x, y) = (x − y)² 在闭区域 D 上的极值为:
值:0
取值点集合:
对角线段 {(t, t) | 0 ≤ t ≤ 1},即所有满足 x = y 且 0 ≤ x ≤ 1 的点。
典型点例:(0,0), (0.2,0.2), (0.5,0.5), (0.8,0.8), (1,1)
值:1
取值点集合:
边界角点 {(0,1), (1,0)}
验证:f(0,1) = (0−1)² = 1,f(1,0) = (1−0)² = 1
关键结论:
本题作为2022年数二“压轴题”(第20题前最后一道大题),其命题逻辑深刻影响后续备考方向。易搜职考网教研组基于十年真题大数据分析,提炼以下核心策略:
%的多元极值题可通过代数变形(配方、因式分解)降低难度。例如:
• x² + y² − xy 可配成 (x−½y)² + ¾y²
• x⁴ + y⁴ − 2x²y² 直接得 (x²−y²)²
训练建议:每天精析1道真题的简化步骤,建立“先变形再求导”肌肉记忆。
矩形区域:按四边分治;三角形区域:按三边分治;圆形区域:用极坐标参数化。
注意:角点可能被多条边重复计算,需去重验证。
避坑指南:边界极值点必须满足约束条件!如 x=0 时 y 必在 [0,1] 内。
规律:每2年出现1次矩形区域极值题,2022年为周期回归年。
易搜职考网专项建议:
根据易搜职考网2022-2024年考研数据平台统计,关于本题及同类问题,考生最常搜索以下问题。我们逐一解析,消除认知盲区:
极小值点不孤立是函数退化的结果——当函数可写成平方形式且平方项系数为0时(如 (x−y)²),极小值点集形成流形。2019年数二17题(函数 x²+2y²−2xy)同样出现线段极小值,证明这是命题组有意设计的考点,旨在区分对“极值定义”本质理解的考生。建议重点掌握:
• 极小值定义:存在邻域使 f(x,y) ≥ f(x₀,y₀)
• 驻点孤立性≠极值点孤立性
• 本题中 f(t,t)=0 对任意 t∈[0,1] 成立,故所有点均为极小值点。
不适用!拉格朗日法仅适用于光滑约束曲线(如 g(x,y)=c),而矩形边界是分段线性且含角点(不可导点)。例如在 x=0 边界上,约束为 x=0(非光滑约束),直接代入参数化更高效。若强行使用拉格朗日法:
• 对 x=0 边界,设 L = y² + λx,得 ∂L/∂x=λ=0,无法确定 y,需额外分析;
• 角点处梯度不线性相关,方法失效。
结论:矩形区域极值必须用“分段参数化+单变量极值”标准流程。
以边界 x=0 为例,f(0,y)=y² 在 y=0.5 处值为 0.25 < 1,非最大值。同理:
• x=1 边界:f(1,y)=(1−y)² 在 y=0.5 处为 0.25
• y=0 边界:f(x,0)=x² 在 x=0.5 处为 0.25
• y=1 边界:f(x,1)=(x−1)² 在 x=0.5 处为 0.25
所有边界中点函数值均为 0.25,远小于角点处的 1。因此极大值仅在 (0,1) 和 (1,0) 处取得,符合函数对称性。
年题目考查:函数 f(x,y)=x³+y³−3xy 在区域 x²+y²≤2 上的极值存在性。虽区域不同(圆形 vs 矩形),但核心逻辑一致:
• 内部驻点:解 ∇f=0 得 (0,0) 和 (1,1)
• 边界分析:用极坐标参数化 x=√2cosθ, y=√2sinθ
• 比较所有候选点函数值
差异在于:
• 2022题函数可简化,2023题需直接求导;
• 2022题极小值点不孤立,2023题驻点孤立。
备考启示:掌握“区域类型→参数化方法”映射是提分关键。
易搜职考网特别提醒:2025年考研命题趋势显示,多元函数极值题将更注重“几何直观+代数验证”的结合。建议考生在刷题时,主动绘制函数等高线图(如本题为平行于 y=x 的直线族),强化数形结合能力。