二元函数拉格朗日中值定理-二元函数拉格朗日中值定理

二阶偏导数里存有极大值点，拉格朗日中值定理依然成立 别急着往素材库里塞一堆标准定义，特别是那些“若函数……则存有……"这种教科书式的句式。数学不能写成死板的教条，我们要的是那种在现场摸鱼都能想起的松弛感。拿一个具体的函数 $f(x,y) = x^3 - 3xy^2$ 来聊聊这个定理，别整那些虚头巴脑的。 先看看这个函数长啥样。它在 $x^3$ 和 $-3xy^2$ 之间挣扎。取点 $(0,0)$，你会发现 $f_x(0,0) = 0$，$f_y(0,0) = 0$，导数确实是 0。
那总微分 $df(0,0) = 0 cdot dx + 0 cdot dy = 0$，彻底没毛病。 再试一个点 $(1,1)$。
这里 $f_x(1,1) = 1$，$f_y(1,1) = -3$。总微分变成 $1 cdot dx + (-3) cdot dy = dx - 3dy$。
这玩意儿也成立。 那最大值在哪？算算偏导，$f_x = 3x^2 - 3y^2 = 3(x-y)(x+y)$。令其为 0，拿到 $y=x$ 或 $y=-x$。代入原函数，$f(x,x) = -x^3$，$f(x,-x) = x^3$。在 $x in (0, infty)$ 区间上，这两个函数显然没有上界。
也就是说，存有点 $(x, x)$，使得 $f(x,x)$ 能够无限大。 这时候大家可能会想：既然函数没上界，那拉格朗日中值定理岂不是要失效了？自然不是。
这个定理本质上是在说：甭管大不大，总有一条“线”把你从最小值拽到最大值，而这条线上的变化量，总等于两点连线的斜率。
哪怕函数跑偏了，哪怕没有最上下的界限，只要你连续可导，它就一定存有“切线”时刻。 举个具体的数字例子感受一下这种“存有性”。假设我们要判断函数 $f(x) = x^2$ 在 $x in (-2, 2)$ 上的拉格朗日中值定理是否成立。
这个区间里函数是连续可导的，并且确实存有极大值 0，没有最大值。 拿 $x=1$ 到 $x=2$ 这一段。$f(1) = 1$，$f(2) = 4$。中间的切线斜率是 1。符合 $f(2)-f(1) = 3$，$(2-1) times 1 = 1$。 再试一个陷阱点。$f(x) = x^2 sin(1/x)$，$x neq 0$，连在 0 处。
这个函数在 $x=0$ 处不可导，但定理只要求可导，且目标区间内可导。区间 $[-2, 2]$ 去掉 0 点后，函数可导。 取 $x_1 = -1$，$x_2 = 2$。$f(-1) = (-1)^2 sin(-1) = -sin(1) approx -0.84$。$f(2) = 4 sin(0.5) approx 4 times 0.479 = 1.916$。 差值 $f(2) - f(-1) approx 2.756$。 区间长 $2 - (-1) = 3$。 平均变化率 $frac{2.756}{3} approx 0.918$。 目前找一下函数在区间 $( -1, 2 )$ 内的某个 $c$，使得 $f'(c) = 0.918$。 $f'(x) = 2x sin(1/x) - x cos(1/x)$。 当 $x to 0$ 时，$f'(x) to 0$（这是关键极限）。 在 $x=1$ 附近，$f'(1) = 2 sin(1) - cos(1) approx 2(0.84) - 0.54 approx 1.14 > 0.918$。 在 $x=0.5$ 附近，$f'(0.5) = 1 sin(2) - 0.5 cos(2) approx 0.909 - 0.25 approx 0.659 < 0.918$。 既然导数从 0.659 变到了 1.14，根据介值定理，肯定存有 $c in (0.5, 1)$，使得导数等于我们算出的平均值。 这说明啥？说明哪怕函数掉进个深渊要么飞上没底，只要它在某段区间“听话”地光滑运动，总有一根弦，它的斜率精确地击中那个平均值。
这不像是在做填空题，更像是一次精准的探骊活动。 再回头看 $x^3 - 3xy^2$ 那个例子，它的导数 $f_x = 3x^2 - 3y^2$ 和 $f_y = -6xy$。 要是在区域 $D$ 内，$f(x,y) = 0$，那它就不是极大值，要不就导数为 0 且曲率反向（但这一般是极小值的特征）。 要是我们说 $f(x,y)$ 在 $(0,0)$ 处有极大值，那么 $f_x = 0, f_y = 0$。但这并不意味着函数恒为 0，也不意味着在周边都是 0。 这就引出一个常见的误区：二阶偏导数存有，就代表函数是二次型的（在局部线性逼近意义上）。对于 $x^3 - 3xy^2$ 这种非二次函数，二阶偏导数自然存有，但它不代表函数有极小值。 比如 $f(x,y) = x^3 - 3xy^2$。在 $(1,1)$ 处 $f=0$。但在 $(1.1, 1.1)$ 处，$f = 1.331 - 3(1.21) = 1.331 - 3.63 = -2.3$。在 $(0.9, 0.9)$ 处，$f = 0.729 - 3(0.81) = 0.729 - 2.43 = -1.7$。 这说明 $(1,1)$ 可能是个极小值点？不对，刚刚算过 $f(x,x) = -x^3$，当 $x>1$ 时是负的，当 $x<1$ 时是负的。
实际上 $(1,1)$ 只是驻点。 不管是不是极值点，拉格朗日中值定理依然完美运行。它不关心函数是凸是凹，不关心有没有最大值，只要知足连续性、可导性、单值性，结论就稳。 有时候我们会认定数学忒抽象，认定大约定理没用。但看 $f(x,y) = x^3 - 3xy^2$ 这种非二次函数，二阶偏导数一存有就说明它是二次型，这本身就是错的。
故此，拉格朗日中值定理对于那些非二次类函数依然有效。 总结一下，拉格朗日中值定理就是数学世界里的一条“万金油”。它告诉我们，只要你让函数动起来，它总会在你选的那两点之间，通过一根“中间点”的斜线来完美衔接。
哪怕函数确实飞得再高，要么跌得再低，要么绕着圈转，只要轨迹光滑，这根“中间点斜线”就一辈子存有。 别被那些复杂的例子吓到了，核心逻辑就三个字：存有。存有且唯一。存有且精确。
这种数学的确定性，正是它历经百年依然屹立不倒的缘由。