← All Units← 返回单元列表 ← Course Hub← 课程主页
U N I V E R S I T Y  C A L C U L U S
Unit C5 · Solutions解答

Optimization and Lagrange Multipliers · Solutions最优化与拉格朗日乘数法 · 解答

Companion to the University-Style Practice Set大学风格练习题配套解答

MEDIUM HARD CORE PROOF APPLIED

Sections 1 to 7: critical points, the second-derivative test, absolute extrema on closed regions, Lagrange multipliers (one and two constraints), applications1 至 7 节:极值点、二阶导数判别法、闭区域上的绝对极值、拉格朗日乘数法(单约束与双约束)及应用CALC III



PART I  ·  CORE TECHNIQUES核心技法Computational fluency · 28 marks计算能力 · 28 分

Worked Solutions详细解答

Q1MEDIUMCOREfinding critical points via $\nabla f = \mathbf{0}$通过 $\nabla f = \mathbf{0}$ 求极值候选点[6 marks]

$f(x,y)=x^{3}+y^{3}-3x-12y+20$: (a) compute $f_x,f_y$ and write the system; (b) solve for all critical points; (c) apply the second-derivative test to classify each.(a) 计算 $f_x,f_y$ 并写出方程组;(b) 求所有极值候选点;(c) 应用二阶导数判别法对每个点分类。

Critical points:极值候选点:  $(1,2)$ local min极小值  ·  $(1,-2)$ saddle鞍点  ·  $(-1,2)$ saddle鞍点  ·  $(-1,-2)$ local max极大值

(a) Partial derivatives and the system(a) 偏导数与方程组 M1·A1

Differentiate with respect to each variable: (M1)分别对每个变量求偏导数:(M1)

$$ f_x = 3x^{2}-3, \qquad f_y = 3y^{2}-12. $$

Setting $f_x=0$ and $f_y=0$ gives the independent equations $3x^{2}-3=0$ and $3y^{2}-12=0$. (A1)令 $f_x=0$ 且 $f_y=0$,得到相互独立的方程 $3x^{2}-3=0$ 与 $3y^{2}-12=0$。(A1)

(b) Solving for critical points(b) 求极值候选点 M1·A1

From $3x^{2}=3$ we get $x=\pm 1$, and from $3y^{2}=12$ we get $y=\pm 2$. (M1) Since the equations in $x$ and $y$ decouple, all four combinations are critical points:由 $3x^{2}=3$ 得 $x=\pm 1$,由 $3y^{2}=12$ 得 $y=\pm 2$。(M1) 由于 $x$ 和 $y$ 的方程互相独立,所有四种组合均为极值候选点:

$$ (1,2),\quad (1,-2),\quad (-1,2),\quad (-1,-2). \quad\text{(A1)}$$

(c) Second-derivative test at each critical point(c) 在每个极值候选点应用二阶导数判别法 M1·A1

Compute the second partial derivatives: $f_{xx}=6x$, $f_{yy}=6y$, $f_{xy}=0$. The discriminant is (M1)计算二阶偏导数:$f_{xx}=6x$,$f_{yy}=6y$,$f_{xy}=0$。判别式为 (M1)

$$ D = f_{xx}f_{yy} - f_{xy}^{2} = (6x)(6y) - 0 = 36xy. $$

Evaluate at each point: (A1)在每个点处求值:(A1)

  • $(1,2)$: $D=72>0$ and $f_{xx}=6>0$, so this is a local minimum.且 $f_{xx}=6>0$,故为极小值
  • $(1,-2)$: $D=-72<0$, so this is a saddle point.故为鞍点
  • $(-1,2)$: $D=-72<0$, so this is a saddle point.故为鞍点
  • $(-1,-2)$: $D=72>0$ and $f_{xx}=-6<0$, so this is a local maximum.且 $f_{xx}=-6<0$,故为极大值
Insight.要点。 The discriminant $D=f_{xx}f_{yy}-f_{xy}^{2}$ is the determinant of the Hessian. When $D>0$ the Hessian is definite: positive definite (local min) if $f_{xx}>0$, negative definite (local max) if $f_{xx}<0$. When $D<0$ the Hessian is indefinite, meaning the function curves upward in some directions and downward in others; this is exactly a saddle. When $D=0$ the test is inconclusive.判别式 $D=f_{xx}f_{yy}-f_{xy}^{2}$ 是黑塞矩阵的行列式。$D>0$ 时黑塞矩阵正定或负定:$f_{xx}>0$ 为极小值,$f_{xx}<0$ 为极大值。$D<0$ 时黑塞矩阵不定,函数在某些方向向上弯曲、在另一些方向向下弯曲,恰好对应鞍点。$D=0$ 时判别法失效。
Q2MEDIUMCOREsecond-derivative test with mixed partial含混合偏导数的二阶导数判别法[8 marks]

$g(x,y)=x^{3}+y^{3}-3xy$: (a) find all critical points; (b) compute $D$ at each; (c) classify each point.(a) 求所有极值候选点;(b) 在每个点处计算 $D$;(c) 对每个点分类。

Critical points:极值候选点:  $(0,0)$ saddle鞍点  ·  $(1,1)$ local minimum极小值

(a) Finding critical points(a) 求极值候选点 M1·M1·A1

$g_x=3x^{2}-3y=0$ and $g_y=3y^{2}-3x=0$. (M1)

From $g_x=0$: $y=x^{2}$. Substitute into $g_y=0$: $3(x^{2})^{2}-3x=3x^{4}-3x=3x(x^{3}-1)=0$. (M1)由 $g_x=0$ 得 $y=x^{2}$。代入 $g_y=0$:$3(x^{2})^{2}-3x=3x^{4}-3x=3x(x^{3}-1)=0$。(M1)

So $x=0$ or $x=1$. When $x=0$: $y=0$. When $x=1$: $y=1$. The critical points are $(0,0)$ and $(1,1)$. (A1)故 $x=0$ 或 $x=1$。$x=0$ 时 $y=0$;$x=1$ 时 $y=1$。极值候选点为 $(0,0)$ 和 $(1,1)$。(A1)

(b) The discriminant at each critical point(b) 在每个极值候选点处的判别式 M1·A1·A1

$g_{xx}=6x$, $g_{yy}=6y$, $g_{xy}=-3$. Hence $D=g_{xx}g_{yy}-g_{xy}^{2}=(6x)(6y)-9=36xy-9$. (M1)故 $D=g_{xx}g_{yy}-g_{xy}^{2}=(6x)(6y)-9=36xy-9$。(M1)

  • At $(0,0)$: $D=36(0)(0)-9=-9$. (A1)在 $(0,0)$ 处:$D=36(0)(0)-9=-9$。(A1)
  • At $(1,1)$: $D=36(1)(1)-9=27$. (A1)在 $(1,1)$ 处:$D=36(1)(1)-9=27$。(A1)

(c) Classification(c) 分类 M1·A1

(M1) Applying the second-derivative test: (A1)(M1) 应用二阶导数判别法:(A1)

  • $(0,0)$: $D=-9<0$, so this is a saddle point. (No classification by $g_{xx}$ is possible or needed when $D<0$.)故为鞍点。($D<0$ 时无需也无法用 $g_{xx}$ 进行分类。)
  • $(1,1)$: $D=27>0$ and $g_{xx}(1,1)=6>0$, so this is a local minimum.且 $g_{xx}(1,1)=6>0$,故为极小值

Note that $D=0$ does not occur here; had it occurred at any point, the test would be inconclusive and higher-order analysis (or restriction to curves through the point) would be required.本题中 $D=0$ 的情形不出现;若某点处 $D=0$,则判别法失效,需要高阶分析(或沿过该点的曲线进行限制分析)。

Insight.要点。 The mixed partial $g_{xy}$ is the key difference from Q1: even if $g_{xx}$ and $g_{yy}$ are both positive or both negative at a critical point, a large $|g_{xy}|$ can make $D$ negative and produce a saddle. Here at $(0,0)$ both $g_{xx}=g_{yy}=0$, yet $g_{xy}=-3\ne 0$, immediately giving $D<0$: the function saddles across the $x=y$ and $x=-y$ directions. This is a standard saddle (two descending ridges, two ascending ridges); it is not a monkey saddle, which requires $D=0$ and three descending valleys (the prototype being $x^{3}-3xy^{2}$).混合偏导数 $g_{xy}$ 是与 Q1 的关键区别:即使极值候选点处 $g_{xx}$ 与 $g_{yy}$ 同号,较大的 $|g_{xy}|$ 也可使 $D$ 为负,从而产生鞍点。在 $(0,0)$ 处,$g_{xx}=g_{yy}=0$,但 $g_{xy}=-3\ne 0$,立即给出 $D<0$:函数沿 $x=y$ 和 $x=-y$ 方向形成鞍形。这是标准鞍点(两条下降脊、两条上升脊),不是猴鞍点(猴鞍点要求 $D=0$ 且有三条下降谷,原型为 $x^{3}-3xy^{2}$)。
Q3HARDCOREabsolute extrema on a closed triangular region闭三角形区域上的绝对极值[8 marks]

$h(x,y)=x^{2}-xy+y^{2}-2x$ on the closed triangular region $R$ with vertices $(0,0)$, $(4,0)$, $(0,4)$: (a) interior critical points; (b) extreme values on each edge; (c) absolute max and min on $R$.在顶点为 $(0,0)$、$(4,0)$、$(0,4)$ 的闭三角形区域 $R$ 上:(a) 求内部极值候选点;(b) 求各边上的极值;(c) 求 $R$ 上的绝对最大值和最小值。

Absolute minimum:绝对最小值:  $-\tfrac{4}{3}$ at $\bigl(\tfrac{4}{3},\tfrac{2}{3}\bigr)$  ·  Absolute maximum:绝对最大值:  $16$ at $(0,4)$

(a) Interior critical points(a) 内部极值候选点 M1·A1

$h_x=2x-y-2=0$ and $h_y=-x+2y=0$. From $h_y=0$: $x=2y$. (M1) Substitute: $2(2y)-y-2=3y-2=0$, so $y=\tfrac{2}{3}$ and $x=\tfrac{4}{3}$. The interior critical point is $\bigl(\tfrac{4}{3},\tfrac{2}{3}\bigr)$, which lies inside $R$ since $\tfrac{4}{3}+\tfrac{2}{3}=2<4$. (A1)由 $h_y=0$ 得 $x=2y$。(M1) 代入:$2(2y)-y-2=3y-2=0$,故 $y=\tfrac{2}{3}$,$x=\tfrac{4}{3}$。内部极值候选点为 $\bigl(\tfrac{4}{3},\tfrac{2}{3}\bigr)$,由于 $\tfrac{4}{3}+\tfrac{2}{3}=2<4$,该点在 $R$ 内部。(A1)

$$ h\!\left(\tfrac{4}{3},\tfrac{2}{3}\right)=\tfrac{16}{9}-\tfrac{8}{9}+\tfrac{4}{9}-\tfrac{8}{3}=\tfrac{12}{9}-\tfrac{8}{3}=\tfrac{4}{3}-\tfrac{8}{3}=-\tfrac{4}{3}. $$

(b) Extreme values on each edge(b) 各边上的极值 M1·M1·A1·A1

Edge 1:边 1: $y=0$, $0\le x\le 4$. Then $h=x^{2}-2x$, so $\tfrac{d}{dx}(x^{2}-2x)=2x-2=0$ at $x=1$. (M1) The value is $h(1,0)=1-2=-1$.此时 $h=x^{2}-2x$,令 $\tfrac{d}{dx}(x^{2}-2x)=2x-2=0$,得 $x=1$。(M1) 取值 $h(1,0)=1-2=-1$。

Edge 2:边 2: $x=0$, $0\le y\le 4$. Then $h=y^{2}$, so $\tfrac{d}{dy}(y^{2})=2y=0$ only at $y=0$ (an endpoint). (M1) No interior critical point on this edge.此时 $h=y^{2}$,$\tfrac{d}{dy}(y^{2})=2y=0$ 仅在 $y=0$(端点)处成立。(M1) 该边无内部极值候选点。

Edge 3:边 3(斜边): Hypotenuse $x+y=4$. Parametrize $x=t$, $y=4-t$, $0\le t\le 4$. (A1)斜边 $x+y=4$。参数化:$x=t$,$y=4-t$,$0\le t\le 4$。(A1)

$$ h(t,4-t)=t^{2}-t(4-t)+(4-t)^{2}-2t=t^{2}-4t+t^{2}+16-8t+t^{2}-2t=3t^{2}-14t+16. $$

Setting $\tfrac{d}{dt}(3t^{2}-14t+16)=6t-14=0$ gives $t=\tfrac{7}{3}$, so the critical point on Edge 3 is $\bigl(\tfrac{7}{3},\tfrac{5}{3}\bigr)$. (A1)令 $\tfrac{d}{dt}(3t^{2}-14t+16)=6t-14=0$,得 $t=\tfrac{7}{3}$,故边 3 上的极值候选点为 $\bigl(\tfrac{7}{3},\tfrac{5}{3}\bigr)$。(A1)

$$ h\!\left(\tfrac{7}{3},\tfrac{5}{3}\right)=3\cdot\tfrac{49}{9}-14\cdot\tfrac{7}{3}+16=\tfrac{49}{3}-\tfrac{98}{3}+\tfrac{48}{3}=-\tfrac{1}{3}. $$

(c) Evaluate at vertices and compare all values(c) 计算顶点处函数值并比较所有候选值 M1·A1

Vertices: $h(0,0)=0$; $h(4,0)=16-8=8$; $h(0,4)=16$. (M1) Collect all candidate values:顶点处:$h(0,0)=0$;$h(4,0)=16-8=8$;$h(0,4)=16$。(M1) 汇总所有候选值:

Point$h$ valueSource来源
$(\tfrac{4}{3},\tfrac{2}{3})$$-\tfrac{4}{3}\approx -1.33$Interior CP内部极值候选点
$(1,0)$$-1$Edge 1 CP边 1 极值候选点
$(\tfrac{7}{3},\tfrac{5}{3})$$-\tfrac{1}{3}\approx -0.33$Edge 3 CP边 3 极值候选点
$(0,0)$$0$Vertex顶点
$(4,0)$$8$Vertex顶点
$(0,4)$$16$Vertex顶点

Absolute minimum:绝对最小值: $-\tfrac{4}{3}$ at $\bigl(\tfrac{4}{3},\tfrac{2}{3}\bigr)$ (interior). Absolute maximum: $16$ at $(0,4)$ (vertex). (A1)在 $\bigl(\tfrac{4}{3},\tfrac{2}{3}\bigr)$ 处(内部点)。绝对最大值:$16$ 在 $(0,4)$ 处(顶点)。(A1)

Insight.要点。 The absolute extrema method for a closed bounded region is a three-step sweep: interior critical points, boundary (each edge parametrized to a single-variable problem), and vertices. Vertices are often where the global extremum lives for linear or nearly-linear functions, but here the global minimum is interior. Every candidate must be evaluated; it is a common error to stop after finding a boundary minimum and not check whether the interior point is lower.求闭有界区域上绝对极值的方法分三步:内部极值候选点、边界(每条边参数化为单变量问题)、顶点。对于线性或近似线性函数,全局极值通常在顶点处取得,但本题全局最小值在内部。所有候选值都必须逐一计算;常见错误是找到边界最小值后停止,而未检验内部点是否更小。
Q4MEDIUMCOREabsolute extrema on a closed disk闭圆盘上的绝对极值[6 marks]

$\phi(x,y)=3x+4y$ on the closed disk $x^{2}+y^{2}\le 25$: (a) no interior CPs; (b) extreme values on the boundary circle; (c) absolute max and min.在闭圆盘 $x^{2}+y^{2}\le 25$ 上:(a) 无内部极值候选点;(b) 在边界圆上的极值;(c) 绝对最大值和最小值。

Absolute maximum:绝对最大值:  $25$ at $(3,4)$  ·  Absolute minimum:绝对最小值:  $-25$ at $(-3,-4)$

(a) No interior critical points(a) 无内部极值候选点 M1·A1

$\phi_x=3$ and $\phi_y=4$ are never simultaneously zero. (M1) A linear function has no stationary points, so $\phi$ attains its extreme values on the closed disk only on the boundary circle $x^{2}+y^{2}=25$. (A1)$\phi_x=3$ 与 $\phi_y=4$ 不能同时为零。(M1) 线性函数无驻点,故 $\phi$ 在闭圆盘上的极值只能在边界圆 $x^{2}+y^{2}=25$ 上取得。(A1)

(b) Extreme values on the boundary circle(b) 边界圆上的极值 M1·A1

Parametrize: $x=5\cos t$, $y=5\sin t$, $t\in[0,2\pi)$. Then $\phi=15\cos t+20\sin t$. (M1)参数化:$x=5\cos t$,$y=5\sin t$,$t\in[0,2\pi)$。则 $\phi=15\cos t+20\sin t$。(M1)

$$ \frac{d\phi}{dt}=-15\sin t+20\cos t=0\implies\tan t=\frac{4}{3}. $$

In $[0,2\pi)$ this gives $\sin t=\tfrac{4}{5},\cos t=\tfrac{3}{5}$ (maximum) and $\sin t=-\tfrac{4}{5},\cos t=-\tfrac{3}{5}$ (minimum).在 $[0,2\pi)$ 上,解为 $\sin t=\tfrac{4}{5},\cos t=\tfrac{3}{5}$(最大值)和 $\sin t=-\tfrac{4}{5},\cos t=-\tfrac{3}{5}$(最小值)。

Maximum point: $(5\cdot\tfrac{3}{5},5\cdot\tfrac{4}{5})=(3,4)$, giving $\phi=9+16=25$.最大值点:$(5\cdot\tfrac{3}{5},5\cdot\tfrac{4}{5})=(3,4)$,$\phi=9+16=25$。

Minimum point: $(-3,-4)$, giving $\phi=-9-16=-25$. (A1)最小值点:$(-3,-4)$,$\phi=-9-16=-25$。(A1)

(c) Absolute extrema(c) 绝对极值 M1·A1

Since $\phi$ has no interior extrema, the absolute maximum is $25$ at $(3,4)$ and the absolute minimum is $-25$ at $(-3,-4)$, both on the boundary. (M1·A1)由于 $\phi$ 无内部极值,绝对最大值为 $25$,在 $(3,4)$ 处取得;绝对最小值为 $-25$,在 $(-3,-4)$ 处取得,均在边界上。(M1·A1)

Insight.要点。 For a linear function on a convex compact set, the maximum and minimum always occur on the boundary (indeed at extreme points). An alternative to parametrization is to use Lagrange multipliers: $\nabla\phi=\lambda\nabla(x^{2}+y^{2})$ gives $(3,4)=\lambda(2x,2y)$, so $x=3/(2\lambda)$ and $y=2/\lambda$. Substituting into $x^{2}+y^{2}=25$ yields $\lambda=\pm\tfrac{1}{2}$, recovering the same two points. Both approaches are equally valid; parametrization is slightly faster here.对于凸紧集上的线性函数,最大值和最小值总在边界(实际上是极点)处取得。参数化之外,也可用拉格朗日乘数法:$\nabla\phi=\lambda\nabla(x^{2}+y^{2})$ 给出 $(3,4)=\lambda(2x,2y)$,故 $x=3/(2\lambda)$,$y=2/\lambda$。代入 $x^{2}+y^{2}=25$ 得 $\lambda=\pm\tfrac{1}{2}$,得到相同的两个点。两种方法同样有效;此处参数化略快。
PART II  ·  DEFINITIONS AND PROOF定义与证明Rigorous arguments · 26 marks严格论证 · 26 分

Worked Solutions详细解答

Q5HARDPROOFgeometric derivation of the Lagrange condition拉格朗日条件的几何推导[8 marks]

Let $f,g:\mathbb{R}^{2}\to\mathbb{R}$ be smooth and let $\mathbf{x}^{*}$ be a constrained extremum of $f$ subject to $g=c$ with $\nabla g(\mathbf{x}^{*})\ne\mathbf{0}$. (a) Show $\nabla g\perp$ every constraint-tangent vector; (b) deduce $\nabla f=\lambda\nabla g$; (c) interpret geometrically.设 $f,g:\mathbb{R}^{2}\to\mathbb{R}$ 光滑,$\mathbf{x}^{*}$ 是 $f$ 在约束 $g=c$ 下的极值点,且 $\nabla g(\mathbf{x}^{*})\ne\mathbf{0}$。(a) 证明 $\nabla g$ 与每个约束切向量正交;(b) 推导 $\nabla f=\lambda\nabla g$;(c) 给出几何解释。

Key conclusion:关键结论:  $\nabla f(\mathbf{x}^{*})=\lambda\,\nabla g(\mathbf{x}^{*})$ for some scalar $\lambda$ (the Lagrange multiplier)对某标量 $\lambda$(拉格朗日乘数)成立

(a) $\nabla g$ is perpendicular to the constraint(a) $\nabla g$ 与约束曲线正交 M1·A1·R1

Let $\mathbf{r}(t)$ be any smooth curve in $\mathbb{R}^{2}$ with $g(\mathbf{r}(t))=c$ for all $t$ and $\mathbf{r}(0)=\mathbf{x}^{*}$. Differentiate the identity $g(\mathbf{r}(t))=c$ with respect to $t$ using the chain rule: (M1)设 $\mathbf{r}(t)$ 是 $\mathbb{R}^{2}$ 中满足对所有 $t$ 有 $g(\mathbf{r}(t))=c$ 且 $\mathbf{r}(0)=\mathbf{x}^{*}$ 的任意光滑曲线。利用链式法则对恒等式 $g(\mathbf{r}(t))=c$ 关于 $t$ 求导:(M1)

$$ \nabla g(\mathbf{r}(t))\cdot\mathbf{r}'(t)=0. $$

At $t=0$ this gives $\nabla g(\mathbf{x}^{*})\cdot\mathbf{r}'(0)=0$. (A1) Since $\mathbf{r}$ was an arbitrary smooth curve on the constraint, $\mathbf{r}'(0)$ is an arbitrary vector tangent to the level set $g=c$ at $\mathbf{x}^{*}$; the equation says $\nabla g(\mathbf{x}^{*})$ is orthogonal to every such tangent vector. (R1)在 $t=0$ 处得 $\nabla g(\mathbf{x}^{*})\cdot\mathbf{r}'(0)=0$。(A1) 由于 $\mathbf{r}$ 是约束上的任意光滑曲线,$\mathbf{r}'(0)$ 是等位集 $g=c$ 在 $\mathbf{x}^{*}$ 处的任意切向量;该方程表明 $\nabla g(\mathbf{x}^{*})$ 与每个这样的切向量正交。(R1)

(b) Deducing the Lagrange condition(b) 推导拉格朗日条件 M1·M1·A1

Since $\mathbf{x}^{*}$ is an extremum of $f$ restricted to $g=c$, the directional derivative of $f$ in any direction $\mathbf{v}$ tangent to the constraint must vanish: $\nabla f(\mathbf{x}^{*})\cdot\mathbf{v}=0$ for every constraint-tangent $\mathbf{v}$. (M1)由于 $\mathbf{x}^{*}$ 是 $f$ 限制在 $g=c$ 上的极值点,$f$ 沿任意约束切线方向 $\mathbf{v}$ 的方向导数必须为零:对每个约束切向量 $\mathbf{v}$,$\nabla f(\mathbf{x}^{*})\cdot\mathbf{v}=0$。(M1)

In $\mathbb{R}^{2}$, the tangent space to a smooth curve at $\mathbf{x}^{*}$ is one-dimensional (assuming $\nabla g\ne\mathbf{0}$). Both $\nabla f(\mathbf{x}^{*})$ and $\nabla g(\mathbf{x}^{*})$ are orthogonal to this one-dimensional tangent space, so they must be parallel. (M1) Therefore there exists a scalar $\lambda$ such that在 $\mathbb{R}^{2}$ 中,光滑曲线在 $\mathbf{x}^{*}$ 处的切空间是一维的(假设 $\nabla g\ne\mathbf{0}$)。$\nabla f(\mathbf{x}^{*})$ 和 $\nabla g(\mathbf{x}^{*})$ 都与这个一维切空间正交,故它们必须平行。(M1) 因此存在标量 $\lambda$,使得

$$ \nabla f(\mathbf{x}^{*}) = \lambda\,\nabla g(\mathbf{x}^{*}). \quad\text{(A1)}$$

(c) Geometric interpretation: tangency of level curves(c) 几何解释:等位曲线的切线关系 A1·R1

The condition $\nabla f=\lambda\nabla g$ says the gradients are parallel, which means the gradient of $f$ points in the same (or opposite) direction as the gradient of $g$. Since the gradient of each function is perpendicular to its own level curves, two gradients being parallel implies the two families of level curves are tangent to each other at $\mathbf{x}^{*}$. (A1)条件 $\nabla f=\lambda\nabla g$ 表明梯度平行,即 $f$ 的梯度与 $g$ 的梯度方向相同或相反。由于每个函数的梯度都与其等位曲线垂直,两个梯度平行意味着两族等位曲线在 $\mathbf{x}^{*}$ 处相切。(A1)

At a generic point on the constraint the level curve of $f$ crosses the constraint curve transversally, so moving along the constraint changes $f$; at a constrained extremum the level curve of $f$ can only touch (be tangent to) the constraint, which is exactly when no motion along the constraint produces a first-order change in $f$. (R1)在约束上的一般点处,$f$ 的等位曲线横截约束曲线,故沿约束移动会改变 $f$;在约束极值点处,$f$ 的等位曲线只能与约束相切,恰好是沿约束的运动不产生 $f$ 的一阶变化的情形。(R1)

Insight.要点。 The Lagrange condition $\nabla f=\lambda\nabla g$ is a geometric statement (level curves tangent) disguised as algebra. The sign of $\lambda$ records whether the gradients point in the same direction (positive $\lambda$) or opposite directions (negative $\lambda$), distinguishing maxima from minima in a specific sense. The assumption $\nabla g\ne\mathbf{0}$ (the constraint qualification) is essential: at a singular point of $g$ the tangent space is not well-defined and the argument breaks down.拉格朗日条件 $\nabla f=\lambda\nabla g$ 是以代数形式表达的几何命题(等位曲线相切)。$\lambda$ 的符号记录了梯度方向是否相同($\lambda>0$)或相反($\lambda<0$),在特定意义上区分极大值与极小值。假设 $\nabla g\ne\mathbf{0}$(约束规格条件)至关重要:在 $g$ 的奇点处切空间无法定义,论证失效。
Q6HARDPROOFHessian and the second-derivative test黑塞矩阵与二阶导数判别法[8 marks]

Let $(a,b)$ be a critical point of $f$ with Hessian $H$ and $D=\det H=f_{xx}f_{yy}-f_{xy}^{2}$. (a) Write the Taylor expansion and identify the controlling quadratic form; (b) show $D>0$ forces $Q$ to be definite; (c) explain the saddle case $D<0$ and the inconclusive case $D=0$.设 $(a,b)$ 是 $f$ 的极值候选点,黑塞矩阵为 $H$,$D=\det H=f_{xx}f_{yy}-f_{xy}^{2}$。(a) 写出泰勒展开式并识别控制符号的二次型;(b) 证明 $D>0$ 使 $Q$ 定号;(c) 解释鞍点情形 $D<0$ 与失效情形 $D=0$。

Classification:分类:  $D>0,\,f_{xx}>0\Rightarrow$ local min极小值  ·  $D>0,\,f_{xx}<0\Rightarrow$ local max极大值  ·  $D<0\Rightarrow$ saddle鞍点  ·  $D=0\Rightarrow$ inconclusive失效

(a) Taylor expansion and the quadratic form(a) 泰勒展开式与二次型 M1·A1·R1

Since $(a,b)$ is a critical point, $f_x(a,b)=f_y(a,b)=0$. The second-order Taylor expansion about $(a,b)$ is: (M1)由于 $(a,b)$ 是极值候选点,$f_x(a,b)=f_y(a,b)=0$。在 $(a,b)$ 处的二阶泰勒展开式为:(M1)

$$ f(a+h,b+k)=f(a,b)+\underbrace{f_x\cdot h+f_y\cdot k}_{=\,0}+\tfrac{1}{2}\bigl(f_{xx}h^{2}+2f_{xy}hk+f_{yy}k^{2}\bigr)+O\!\left(h^{2}+k^{2}\right)^{3/2}. $$

The sign of $f(a+h,b+k)-f(a,b)$ near $(a,b)$ is therefore controlled (for small $(h,k)$) by the quadratic form (A1)故 $(a,b)$ 附近 $f(a+h,b+k)-f(a,b)$ 的符号(对较小的 $(h,k)$)由二次型控制 (A1)

$$ Q(h,k) = f_{xx}h^{2}+2f_{xy}hk+f_{yy}k^{2}. $$

If $Q>0$ for all $(h,k)\ne(0,0)$, the function is larger than $f(a,b)$ in every direction, so $(a,b)$ is a local min; if $Q<0$ everywhere, it is a local max; if $Q$ takes both signs, it is a saddle. (R1)若对所有 $(h,k)\ne(0,0)$ 均有 $Q>0$,函数在每个方向上都大于 $f(a,b)$,故 $(a,b)$ 为极小值;若处处 $Q<0$,则为极大值;若 $Q$ 既取正值又取负值,则为鞍点。(R1)

(b) $D>0$ makes $Q$ definite(b) $D>0$ 使 $Q$ 定号 M1·M1·A1

Assume $f_{xx}\ne 0$ (if $f_{xx}=0$ the argument is symmetric in $h,k$). Complete the square in $h$: (M1)设 $f_{xx}\ne 0$(若 $f_{xx}=0$,则论证关于 $h,k$ 对称)。对 $h$ 配方:(M1)

$$ Q = f_{xx}\!\left(h+\frac{f_{xy}}{f_{xx}}k\right)^{2}+\left(f_{yy}-\frac{f_{xy}^{2}}{f_{xx}}\right)k^{2} = f_{xx}\!\left(h+\frac{f_{xy}}{f_{xx}}k\right)^{2}+\frac{D}{f_{xx}}k^{2}. $$

(M1) If $D>0$, then $\tfrac{D}{f_{xx}}$ has the same sign as $f_{xx}$. Both terms in the completed-square form are non-negative (when $f_{xx}>0$) or non-positive (when $f_{xx}<0$), and at least one is strictly so for $(h,k)\ne(0,0)$. Therefore: (A1)(M1) 若 $D>0$,则 $\tfrac{D}{f_{xx}}$ 与 $f_{xx}$ 同号。配方后的两项在 $f_{xx}>0$ 时均非负、在 $f_{xx}<0$ 时均非正,且对 $(h,k)\ne(0,0)$ 至少有一项严格成立。因此:(A1)

  • $D>0$ and $f_{xx}>0$: $Q(h,k)>0$ for all $(h,k)\ne(0,0)$, so $(a,b)$ is a local minimum.$D>0$ 且 $f_{xx}>0$:对所有 $(h,k)\ne(0,0)$ 有 $Q(h,k)>0$,故 $(a,b)$ 为极小值
  • $D>0$ and $f_{xx}<0$: $Q(h,k)<0$ for all $(h,k)\ne(0,0)$, so $(a,b)$ is a local maximum.$D>0$ 且 $f_{xx}<0$:对所有 $(h,k)\ne(0,0)$ 有 $Q(h,k)<0$,故 $(a,b)$ 为极大值

(c) Saddle when $D<0$; inconclusive when $D=0$(c) $D<0$ 时为鞍点;$D=0$ 时判别法失效 M1·A1

(M1) If $D<0$, then $\tfrac{D}{f_{xx}}$ has the opposite sign from $f_{xx}$. Setting $k=0$ shows the first term of the completed-square form can be positive, while choosing $k\ne 0$ and $h=-\tfrac{f_{xy}}{f_{xx}}k$ makes the first term vanish, leaving a term of opposite sign. Hence $Q$ takes both signs, confirming a saddle point.(M1) 若 $D<0$,则 $\tfrac{D}{f_{xx}}$ 与 $f_{xx}$ 异号。令 $k=0$,配方后第一项可为正;令 $k\ne 0$ 且 $h=-\tfrac{f_{xy}}{f_{xx}}k$,则第一项消失,留下异号项。故 $Q$ 既取正值又取负值,确认为鞍点

If $D=0$, the completed square has $\tfrac{D}{f_{xx}}=0$: one squared term vanishes entirely, leaving $Q=f_{xx}\bigl(h+\tfrac{f_{xy}}{f_{xx}}k\bigr)^{2}$, which is zero along the line $h=-\tfrac{f_{xy}}{f_{xx}}k$. The second-order information alone cannot distinguish a flat direction from a local extremum or saddle along that direction; higher-order terms must be examined. The test is genuinely inconclusive. (A1)若 $D=0$,配方后 $\tfrac{D}{f_{xx}}=0$:一个平方项完全消失,剩余 $Q=f_{xx}\bigl(h+\tfrac{f_{xy}}{f_{xx}}k\bigr)^{2}$,沿直线 $h=-\tfrac{f_{xy}}{f_{xx}}k$ 为零。仅凭二阶信息无法区分平坦方向与沿该方向的极值或鞍点,必须检验高阶项。判别法真正失效。(A1)

Insight.要点。 The second-derivative test is really a statement about the eigenvalues of $H$: $D=\det H=\lambda_1\lambda_2$ and $f_{xx}=$ trace contribution. When $D>0$ both eigenvalues have the same sign (given by $f_{xx}$), so $H$ is definite. When $D<0$ they have opposite signs, $H$ is indefinite, and the function curves up in one principal direction and down in the other. The completed-square argument makes this visible without mentioning eigenvalues explicitly.二阶导数判别法本质上是关于 $H$ 特征值的命题:$D=\det H=\lambda_1\lambda_2$,$f_{xx}$ 提供迹的贡献。$D>0$ 时两个特征值同号(由 $f_{xx}$ 给出),$H$ 定号。$D<0$ 时特征值异号,$H$ 不定,函数沿一个主方向向上弯曲,沿另一个向下弯曲。配方论证无需明确提及特征值即可揭示这一点。
Q7HARDPROOFLagrange system: case analysis and two constraints拉格朗日方程组:分情况讨论与双约束[10 marks]

(a) Optimize $f=xy$ subject to $x+y=1$ with full case analysis; (b) state the two-constraint Lagrange condition and count equations and unknowns; (c) write the Lagrange system for $f=x+y+z$ on the intersection of $x^{2}+y^{2}=2$ and $z=xy$.(a) 对 $f=xy$ 在约束 $x+y=1$ 下进行完整的分情况讨论求解;(b) 写出双约束拉格朗日条件并计算方程数与未知数数;(c) 写出 $f=x+y+z$ 在 $x^{2}+y^{2}=2$ 与 $z=xy$ 交线上的拉格朗日方程组。

Part (a):第 (a) 部分:  unique critical point $\bigl(\tfrac{1}{2},\tfrac{1}{2}\bigr)$ with $\lambda=\tfrac{1}{2}$唯一极值候选点 $\bigl(\tfrac{1}{2},\tfrac{1}{2}\bigr)$,$\lambda=\tfrac{1}{2}$  ·  Part (b):第 (b) 部分:  5 equations, 5 unknowns5 个方程,5 个未知数

(a) Case analysis: $\lambda=0$ and $\lambda\ne 0$(a) 分情况讨论:$\lambda=0$ 与 $\lambda\ne 0$ M1·M1·A1·A1

$\nabla f=(y,x)$ and $\nabla g=(1,1)$. The Lagrange system is: (M1)拉格朗日方程组为:(M1)

$$ y=\lambda,\quad x=\lambda,\quad x+y=1. $$

Case $\lambda=0$:情形 $\lambda=0$: Then $y=0$ and $x=0$, but $0+0=0\ne 1$, contradicting the constraint. There is no solution with $\lambda=0$. (M1)则 $y=0$,$x=0$,但 $0+0=0\ne 1$,与约束矛盾。$\lambda=0$ 时无解。(M1)

Case $\lambda\ne 0$:情形 $\lambda\ne 0$: The first two equations give $x=y=\lambda$. Substituting into the constraint: $2\lambda=1$, so $\lambda=\tfrac{1}{2}$. (A1) The unique critical point is $\bigl(\tfrac{1}{2},\tfrac{1}{2}\bigr)$, at which $f=\tfrac{1}{4}$. (A1)前两个方程给出 $x=y=\lambda$。代入约束:$2\lambda=1$,故 $\lambda=\tfrac{1}{2}$。(A1) 唯一极值候选点为 $\bigl(\tfrac{1}{2},\tfrac{1}{2}\bigr)$,此处 $f=\tfrac{1}{4}$。(A1)

(By the extreme value theorem on the closed segment this is the global maximum on $\{x+y=1,\,x,y\ge 0\}$, but on all of the constraint line $f$ is unbounded above.)(根据闭区间上的极值定理,这是 $\{x+y=1,\,x,y\ge 0\}$ 上的全局最大值,但在整条约束线上 $f$ 无上界。)

(b) Two-constraint Lagrange condition in $\mathbb{R}^{3}$(b) $\mathbb{R}^{3}$ 中的双约束拉格朗日条件 M1·A1·R1

For $g_1(\mathbf{x})=c_1$ and $g_2(\mathbf{x})=c_2$ in $\mathbb{R}^{3}$, the condition at a constrained extremum is (M1)对于 $\mathbb{R}^{3}$ 中的 $g_1(\mathbf{x})=c_1$ 和 $g_2(\mathbf{x})=c_2$,约束极值点处的条件为 (M1)

$$ \nabla f = \lambda_1\nabla g_1 + \lambda_2\nabla g_2. $$

Geometrically: the intersection of the two constraint surfaces is a curve in $\mathbb{R}^{3}$; its tangent direction at $\mathbf{x}^{*}$ is perpendicular to both $\nabla g_1$ and $\nabla g_2$. At an extremum, $\nabla f$ is also perpendicular to the curve's tangent, hence $\nabla f$ lies in the plane spanned by $\nabla g_1$ and $\nabla g_2$, which is exactly the condition above. (A1)从几何角度看:两个约束曲面的交线是 $\mathbb{R}^{3}$ 中的一条曲线;其在 $\mathbf{x}^{*}$ 处的切线方向与 $\nabla g_1$ 和 $\nabla g_2$ 都垂直。在极值点处,$\nabla f$ 也与曲线切线垂直,故 $\nabla f$ 落在 $\nabla g_1$ 和 $\nabla g_2$ 所张成的平面内,这正是上述条件。(A1)

The full system consists of 3 gradient equations ($\nabla f=\lambda_1\nabla g_1+\lambda_2\nabla g_2$) plus 2 constraint equations ($g_1=c_1$, $g_2=c_2$), giving 5 equations in 5 unknowns ($x,y,z,\lambda_1,\lambda_2$). (R1)完整方程组由 3 个梯度方程($\nabla f=\lambda_1\nabla g_1+\lambda_2\nabla g_2$)加上 2 个约束方程($g_1=c_1$,$g_2=c_2$)组成,共5 个方程,5 个未知数($x,y,z,\lambda_1,\lambda_2$)。(R1)

(c) Writing the Lagrange system for the given setup(c) 写出给定结构的拉格朗日方程组 M1·M1·A1

Take $g_1=x^{2}+y^{2}-2$ and $g_2=z-xy$. Then: (M1)取 $g_1=x^{2}+y^{2}-2$,$g_2=z-xy$。则:(M1)

$\nabla f=(1,1,1)$, $\nabla g_1=(2x,2y,0)$, $\nabla g_2=(-y,-x,1)$. The three gradient equations are: (M1)三个梯度方程为:(M1)

$$ 1 = 2\lambda_1 x - \lambda_2 y,\quad 1 = 2\lambda_1 y - \lambda_2 x,\quad 1 = \lambda_2, $$

together with the constraint equations $x^{2}+y^{2}=2$ and $z=xy$. This is 5 equations in 5 unknowns $(x,y,z,\lambda_1,\lambda_2)$. (A1)加上约束方程 $x^{2}+y^{2}=2$ 和 $z=xy$,共 5 个方程,5 个未知数 $(x,y,z,\lambda_1,\lambda_2)$。(A1)

Alternative approach: the constraint $x^{2}+y^{2}=2$ is a cylinder, so parametrize $x=\sqrt{2}\cos\theta$, $y=\sqrt{2}\sin\theta$, $z=xy=2\sin\theta\cos\theta=\sin 2\theta$, reducing $f=x+y+z$ to a single-variable function of $\theta$ that can be differentiated directly. This bypasses the multipliers but requires a parametrization to be recognizable.另一种方法:约束 $x^{2}+y^{2}=2$ 是柱面,参数化为 $x=\sqrt{2}\cos\theta$,$y=\sqrt{2}\sin\theta$,$z=xy=2\sin\theta\cos\theta=\sin 2\theta$,将 $f=x+y+z$ 化为关于 $\theta$ 的单变量函数,可直接求导。此法绕过乘数,但需能识别出合适的参数化。

Insight.要点。 Never divide by $\lambda$ (or any other unknown) at the start of a Lagrange calculation; check the case $\lambda=0$ separately first, as in (a). In the two-constraint setting the multipliers $\lambda_1,\lambda_2$ each measure how "sensitive" the optimum is to relaxing the corresponding constraint; they are the shadow prices in the Lagrangian $L=f-\lambda_1 g_1-\lambda_2 g_2$. The system of 5 equations is generally nonlinear, and case analysis (as in (a)) or symmetry arguments (as in Q10 of this paper) are often the most reliable tools.在拉格朗日计算的开始,切勿用 $\lambda$(或任何其他未知数)做除法;应如第 (a) 部分那样先单独讨论 $\lambda=0$ 的情形。双约束中,乘数 $\lambda_1,\lambda_2$ 各自衡量最优值对放松对应约束的"敏感度";它们是拉格朗日函数 $L=f-\lambda_1 g_1-\lambda_2 g_2$ 中的影子价格。5 个方程组成的方程组通常是非线性的,分情况讨论(如第 (a) 部分)或利用对称性(如本卷 Q10)往往是最可靠的方法。
PART III  ·  APPLICATIONS AND SYNTHESIS应用与综合Extended problems · 28 marks综合题 · 28 分

Worked Solutions详细解答

Q8HARDAPPLIEDmaximum volume box inscribed in an ellipsoid内接于椭球面的最大体积长方体[10 marks]

Box with $V=8xyz$ inscribed in $\tfrac{x^{2}}{4}+\tfrac{y^{2}}{9}+z^{2}=1$, $x,y,z>0$: (a) state the Lagrange system; (b) solve for the optimal dimensions; (c) state the maximum volume and justify it.体积 $V=8xyz$ 的长方体内接于 $\tfrac{x^{2}}{4}+\tfrac{y^{2}}{9}+z^{2}=1$,$x,y,z>0$:(a) 写出拉格朗日方程组;(b) 求最优尺寸;(c) 给出最大体积并说明理由。

Maximum volume:最大体积:  $\dfrac{16\sqrt{3}}{3}$  at  $x=\dfrac{2}{\sqrt{3}},\;y=\sqrt{3},\;z=\dfrac{1}{\sqrt{3}}$

(a) Lagrange system(a) 拉格朗日方程组 M1·A1·A1

Objective: maximize $V=8xyz$. Constraint: $g(x,y,z)=\tfrac{x^{2}}{4}+\tfrac{y^{2}}{9}+z^{2}-1=0$. (M1)目标:最大化 $V=8xyz$。约束:$g(x,y,z)=\tfrac{x^{2}}{4}+\tfrac{y^{2}}{9}+z^{2}-1=0$。(M1)

$\nabla V=(8yz,\,8xz,\,8xy)$ and $\nabla g=\bigl(\tfrac{x}{2},\,\tfrac{2y}{9},\,2z\bigr)$. Setting $\nabla V=\lambda\nabla g$ gives: (A1)令 $\nabla V=\lambda\nabla g$ 得:(A1)

$$ 8yz = \tfrac{\lambda x}{2},\quad 8xz = \tfrac{2\lambda y}{9},\quad 8xy = 2\lambda z. \quad\text{(A1)}$$

(b) Solving the system(b) 求解方程组 M1·M1·A1·A1

Since $x,y,z>0$, multiply each gradient equation by the matching variable and use the constraint. From the first equation: $16yz\cdot x=\lambda x^{2}$, giving $\lambda=16yz/x$. Similarly from the second: $\lambda=36xz/y$. (M1)由于 $x,y,z>0$,将每个梯度方程乘以对应的变量并利用约束条件。由第一个方程:$16yz\cdot x=\lambda x^{2}$,得 $\lambda=16yz/x$。同理由第二个方程:$\lambda=36xz/y$。(M1)

Equating the two expressions for $\lambda$: $16yz/x=36xz/y$, and since $z>0$ we cancel $z$: $16y^{2}=36x^{2}$, so $y/x=3/2$, i.e. $y=\tfrac{3x}{2}$. (M1)令两个 $\lambda$ 的表达式相等:$16yz/x=36xz/y$,由于 $z>0$ 可约去 $z$:$16y^{2}=36x^{2}$,故 $y/x=3/2$,即 $y=\tfrac{3x}{2}$。(M1)

From the first and third expressions: $16yz/x=4xy/z$, cancel $y>0$: $16z^{2}=4x^{2}$, so $z=x/2$. (A1)由第一个和第三个表达式:$16yz/x=4xy/z$,约去 $y>0$:$16z^{2}=4x^{2}$,故 $z=x/2$。(A1)

Substitute $y=\tfrac{3x}{2}$ and $z=\tfrac{x}{2}$ into the constraint:将 $y=\tfrac{3x}{2}$ 和 $z=\tfrac{x}{2}$ 代入约束:

$$ \frac{x^{2}}{4}+\frac{(3x/2)^{2}}{9}+\left(\frac{x}{2}\right)^{2}=\frac{x^{2}}{4}+\frac{9x^{2}/4}{9}+\frac{x^{2}}{4}=\frac{x^{2}}{4}+\frac{x^{2}}{4}+\frac{x^{2}}{4}=\frac{3x^{2}}{4}=1. $$

So $x^{2}=\tfrac{4}{3}$, $x=\tfrac{2}{\sqrt{3}}$, $y=\sqrt{3}$, $z=\tfrac{1}{\sqrt{3}}$. (A1) Verify: $\tfrac{4/3}{4}+\tfrac{3}{9}+\tfrac{1}{3}=\tfrac{1}{3}+\tfrac{1}{3}+\tfrac{1}{3}=1$. Constraint satisfied.故 $x^{2}=\tfrac{4}{3}$,$x=\tfrac{2}{\sqrt{3}}$,$y=\sqrt{3}$,$z=\tfrac{1}{\sqrt{3}}$。(A1) 验证:$\tfrac{4/3}{4}+\tfrac{3}{9}+\tfrac{1}{3}=\tfrac{1}{3}+\tfrac{1}{3}+\tfrac{1}{3}=1$。约束满足。

(c) Maximum volume and justification(c) 最大体积及论证 M1·A1·R1

(M1) $V=8xyz=8\cdot\tfrac{2}{\sqrt{3}}\cdot\sqrt{3}\cdot\tfrac{1}{\sqrt{3}}=8\cdot\tfrac{2}{\sqrt{3}}=\dfrac{16}{\sqrt{3}}=\dfrac{16\sqrt{3}}{3}$. (A1)

This critical point is a maximum rather than a minimum because: as $x,y,z\to 0^{+}$ (any side collapses) the volume $V=8xyz\to 0$, while as the point approaches any face of the ellipsoid the volume also tends to zero (the ellipsoid is bounded). The Extreme Value Theorem guarantees a maximum exists on the compact set, and the unique interior critical point (with $x,y,z>0$) must be it. (R1)此极值候选点是极大值而非极小值:当 $x,y,z\to 0^{+}$(任一边长趋于零)时,$V=8xyz\to 0$;当点趋近椭球面的任一面时,体积也趋于零(椭球面有界)。极值定理保证紧集上存在最大值,而唯一的内部极值候选点(满足 $x,y,z>0$)必然是它。(R1)

Insight.要点。 A powerful shortcut: multiply each Lagrange gradient equation by its matching variable ($x$, $y$, or $z$ respectively), observe that the left-hand sides are all $3 \times 8xyz/3 = 8xyz$ (one-third of $3V$), and each right-hand side becomes $\lambda$ times the corresponding term of the constraint. This immediately shows the constraint splits equally among the three terms: $\tfrac{x^{2}/4}{1}=\tfrac{y^{2}/9}{1}=z^{2}=\tfrac{1}{3}$. The optimal box always uses exactly $\tfrac{1}{3}$ of the constraint "budget" in each coordinate direction. This "equal allocation" principle appears in many Lagrange maximization problems.一个有效的捷径:将每个拉格朗日梯度方程乘以对应的变量(分别为 $x$、$y$、$z$),注意到左侧均为 $8xyz$(即 $3V/3$),右侧各为 $\lambda$ 乘以约束中对应的项。这立即表明约束在三项之间平均分配:$\tfrac{x^{2}/4}{1}=\tfrac{y^{2}/9}{1}=z^{2}=\tfrac{1}{3}$。最优长方体总是在每个坐标方向上恰好使用约束"预算"的 $\tfrac{1}{3}$。这一"均等分配"原则在许多拉格朗日最大化问题中均有出现。
Q9HARDAPPLIEDclosest point on a plane to the origin平面上距原点最近的点[8 marks]

Minimize $d^{2}=x^{2}+y^{2}+z^{2}$ subject to $2x+2y+z=9$ using Lagrange multipliers: (a) state the system; (b) solve; (c) compute the distance and confirm via the formula.用拉格朗日乘数法在约束 $2x+2y+z=9$ 下最小化 $d^{2}=x^{2}+y^{2}+z^{2}$:(a) 写出方程组;(b) 求解;(c) 计算距离并用公式验证。

Closest point:最近点:  $(2,2,1)$  ·  Minimum distance:最短距离:  $3$

(a) Minimizing squared distance and the Lagrange system(a) 最小化距离平方与拉格朗日方程组 M1·A1·R1

Minimizing $d^{2}=x^{2}+y^{2}+z^{2}$ subject to $g=2x+2y+z-9=0$ is equivalent to minimizing $d$ because the square root is monotone increasing on $[0,\infty)$; squaring avoids a radical in the gradient calculation. (M1)在约束 $g=2x+2y+z-9=0$ 下最小化 $d^{2}=x^{2}+y^{2}+z^{2}$ 与最小化 $d$ 等价,因为平方根在 $[0,\infty)$ 上单调递增;平方处理避免了梯度计算中出现根号。(M1)

$\nabla(d^{2})=(2x,2y,2z)$ and $\nabla g=(2,2,1)$. Setting $\nabla(d^{2})=\lambda\nabla g$: (A1)令 $\nabla(d^{2})=\lambda\nabla g$:(A1)

$$ 2x=2\lambda,\quad 2y=2\lambda,\quad 2z=\lambda, $$

together with the constraint $2x+2y+z=9$. (R1)加上约束 $2x+2y+z=9$。(R1)

(b) Solving for the closest point(b) 求最近点 M1·A1·A1

From the gradient equations: $x=\lambda$, $y=\lambda$, $z=\tfrac{\lambda}{2}$. (M1) Substitute into the constraint:由梯度方程:$x=\lambda$,$y=\lambda$,$z=\tfrac{\lambda}{2}$。(M1) 代入约束:

$$ 2\lambda+2\lambda+\tfrac{\lambda}{2}=\tfrac{9\lambda}{2}=9\implies\lambda=2. $$

(A1) The closest point is $x=2$, $y=2$, $z=1$. (A1) Verify: $2(2)+2(2)+1=4+4+1=9$. Constraint satisfied.(A1) 最近点为 $x=2$,$y=2$,$z=1$。(A1) 验证:$2(2)+2(2)+1=4+4+1=9$。约束满足。

(c) Minimum distance and the point-to-plane formula(c) 最短距离与点到平面距离公式 M1·A1

$d^{2}=4+4+1=9$, so $d=3$. (M1)故 $d=3$。(M1)

The point-to-plane distance formula from the origin $(0,0,0)$ to $2x+2y+z=9$ is:从原点 $(0,0,0)$ 到平面 $2x+2y+z=9$ 的点到平面距离公式为:

$$ d=\frac{|2(0)+2(0)+(0)-9|}{\sqrt{2^{2}+2^{2}+1^{2}}}=\frac{9}{\sqrt{9}}=\frac{9}{3}=3. $$

Both methods agree: minimum distance is $3$. (A1)两种方法结果一致:最短距离为 $3$。(A1)

Insight.要点。 The Lagrange equations $2x=2\lambda,\,2y=2\lambda,\,2z=\lambda$ say that the position vector $(x,y,z)$ of the closest point is proportional to the normal vector $(2,2,1)$ of the plane. This is geometrically obvious: the closest point from the origin to a plane lies along the perpendicular from the origin to the plane, and that perpendicular has direction equal to the plane's normal. Lagrange multipliers recover this geometric fact algebraically, even when the geometry is not obvious. The multiplier $\lambda=2$ also has an economic interpretation: it equals the rate of change of the minimum squared distance with respect to the right-hand side constant; since $d_{\min}^{2}=9$ and $c=9$, one finds $\partial(d_{\min}^{2})/\partial c=2c/\|\nabla g\|^{2}=18/9=2=\lambda$, consistent with the envelope theorem.拉格朗日方程 $2x=2\lambda,\,2y=2\lambda,\,2z=\lambda$ 表明最近点的位置向量 $(x,y,z)$ 与平面的法向量 $(2,2,1)$ 成比例。这在几何上显而易见:从原点到平面的最近点沿原点到平面的垂线方向,而该垂线方向正是平面的法线方向。拉格朗日乘数法用代数方式恢复了这一几何事实,即使在几何不明显时也同样适用。乘数 $\lambda=2$ 还有经济学解释:它等于最小距离平方关于右端常数的变化率;由于 $d_{\min}^{2}=9$,$c=9$,可得 $\partial(d_{\min}^{2})/\partial c=2c/\|\nabla g\|^{2}=18/9=2=\lambda$,与包络定理一致。
Q10HARDAPPLIEDtwo-constraint Lagrange: extrema on a curve of intersection双约束拉格朗日:交线上的极值[10 marks]

Extrema of $f=x^{2}+y^{2}+z^{2}$ on the curve of intersection of $x^{2}+y^{2}+z^{2}+2z=0$ and $x+y+z=0$: (a) state both constraints and the Lagrange system; (b) show $x=y$; (c) solve for the candidate points; (d) evaluate $f$ and state the extrema.求 $f=x^{2}+y^{2}+z^{2}$ 在 $x^{2}+y^{2}+z^{2}+2z=0$ 与 $x+y+z=0$ 交线上的极值:(a) 写出两个约束和拉格朗日方程组;(b) 证明 $x=y$;(c) 求候选点;(d) 计算 $f$ 并给出极值。

Minimum:最小值:  $f=0$ at $(0,0,0)$  ·  Maximum:最大值:  $f=\tfrac{8}{3}$ at $\bigl(\tfrac{2}{3},\tfrac{2}{3},-\tfrac{4}{3}\bigr)$

(a) Constraints and the Lagrange system(a) 约束与拉格朗日方程组 M1·A1·A1

Rewrite: $g_1=x^{2}+y^{2}+z^{2}+2z=0$ (sphere, equivalently $x^{2}+y^{2}+(z+1)^{2}=1$) and $g_2=x+y+z=0$ (plane through the origin). (M1)改写:$g_1=x^{2}+y^{2}+z^{2}+2z=0$(球面,等价为 $x^{2}+y^{2}+(z+1)^{2}=1$)和 $g_2=x+y+z=0$(过原点的平面)。(M1)

$\nabla f=(2x,2y,2z)$, $\nabla g_1=(2x,2y,2z+2)$, $\nabla g_2=(1,1,1)$. The condition $\nabla f=\lambda_1\nabla g_1+\lambda_2\nabla g_2$ yields: (A1)条件 $\nabla f=\lambda_1\nabla g_1+\lambda_2\nabla g_2$ 给出:(A1)

$$ 2x=2\lambda_1 x+\lambda_2,\quad 2y=2\lambda_1 y+\lambda_2,\quad 2z=\lambda_1(2z+2)+\lambda_2, $$

together with $g_1=0$ and $g_2=0$, giving 5 equations in 5 unknowns $(x,y,z,\lambda_1,\lambda_2)$. (A1)加上 $g_1=0$ 和 $g_2=0$,共 5 个方程,5 个未知数 $(x,y,z,\lambda_1,\lambda_2)$。(A1)

(b) Deducing $x=y$(b) 推导 $x=y$ M1·A1·R1

From equation (i): $\lambda_2=2x(1-\lambda_1)$. From equation (ii): $\lambda_2=2y(1-\lambda_1)$. (M1) Setting these equal:由方程 (i):$\lambda_2=2x(1-\lambda_1)$。由方程 (ii):$\lambda_2=2y(1-\lambda_1)$。(M1) 令两者相等:

$$ 2x(1-\lambda_1)=2y(1-\lambda_1). $$

If $\lambda_1\ne 1$, we may cancel $(1-\lambda_1)$ to get $x=y$. (A1)若 $\lambda_1\ne 1$,可约去 $(1-\lambda_1)$ 得 $x=y$。(A1)

If $\lambda_1=1$: equation (i) gives $2x=2x+\lambda_2$, so $\lambda_2=0$. Equation (iii) then gives $2z=2z+2+0$, i.e. $0=2$, a contradiction. Therefore $\lambda_1\ne 1$ and we must have $x=y$. (R1)若 $\lambda_1=1$:方程 (i) 给出 $2x=2x+\lambda_2$,故 $\lambda_2=0$。方程 (iii) 则给出 $2z=2z+2+0$,即 $0=2$,矛盾。因此 $\lambda_1\ne 1$,必有 $x=y$。(R1)

(c) Solving for candidate points(c) 求候选点 M1·A1

With $x=y$, substitute into $g_2=0$: $2x+z=0$, so $z=-2x$. (M1)令 $x=y$,代入 $g_2=0$:$2x+z=0$,故 $z=-2x$。(M1)

Substitute $y=x$ and $z=-2x$ into $g_1=0$:将 $y=x$ 和 $z=-2x$ 代入 $g_1=0$:

$$ x^{2}+x^{2}+4x^{2}+2(-2x)=6x^{2}-4x=2x(3x-2)=0. $$

So $x=0$ (giving the point $(0,0,0)$) or $x=\tfrac{2}{3}$ (giving $y=\tfrac{2}{3}$, $z=-\tfrac{4}{3}$, the point $\bigl(\tfrac{2}{3},\tfrac{2}{3},-\tfrac{4}{3}\bigr)$). (A1)故 $x=0$(对应点 $(0,0,0)$)或 $x=\tfrac{2}{3}$(对应 $y=\tfrac{2}{3}$,$z=-\tfrac{4}{3}$,点 $\bigl(\tfrac{2}{3},\tfrac{2}{3},-\tfrac{4}{3}\bigr)$)。(A1)

Verify both points satisfy $g_1=0$ and $g_2=0$:验证两个点均满足 $g_1=0$ 和 $g_2=0$:

  • $(0,0,0)$: $g_1=0+0+0=0$ and $g_2=0$. Confirmed.满足。
  • $\bigl(\tfrac{2}{3},\tfrac{2}{3},-\tfrac{4}{3}\bigr)$: $g_1=\tfrac{4}{9}+\tfrac{4}{9}+\tfrac{16}{9}-\tfrac{8}{3}=\tfrac{24}{9}-\tfrac{24}{9}=0$ and $g_2=\tfrac{2}{3}+\tfrac{2}{3}-\tfrac{4}{3}=0$. Confirmed.满足。

(d) Evaluating $f$ and stating the extrema(d) 计算 $f$ 并给出极值 M1·A1

(M1) $f(0,0,0)=0$ and $f\bigl(\tfrac{2}{3},\tfrac{2}{3},-\tfrac{4}{3}\bigr)=\tfrac{4}{9}+\tfrac{4}{9}+\tfrac{16}{9}=\tfrac{24}{9}=\tfrac{8}{3}$. (A1)

Minimum value of $f$: $0$ at $(0,0,0)$.$f$ 的最小值:$0$,在 $(0,0,0)$ 处取得。 The origin lies on both the sphere and the plane and has zero squared distance from itself.原点同时在球面和平面上,与自身的距离平方为零。

Maximum value of $f$: $\tfrac{8}{3}$ at $\bigl(\tfrac{2}{3},\tfrac{2}{3},-\tfrac{4}{3}\bigr)$.$f$ 的最大值:$\tfrac{8}{3}$,在 $\bigl(\tfrac{2}{3},\tfrac{2}{3},-\tfrac{4}{3}\bigr)$ 处取得。

Insight.要点。 Note that $g_1=0$ means $x^{2}+y^{2}+z^{2}=-2z$, so $f=-2z$ on the sphere constraint. Maximizing $f=x^{2}+y^{2}+z^{2}$ on the sphere reduces to minimizing $z$ on the curve; the minimum $z$ corresponds to the lowest point of the curve, found at $z=-\tfrac{4}{3}$, giving $f=-2(-\tfrac{4}{3})=\tfrac{8}{3}$. This algebraic shortcut bypasses the full multiplier system and is a good sanity check. The case analysis $\lambda_1=1$ vs $\lambda_1\ne 1$ (part (b)) is the correct way to avoid dividing by zero; skipping it and assuming $x=y$ without justification would lose the reasoning mark.注意 $g_1=0$ 意味着 $x^{2}+y^{2}+z^{2}=-2z$,故在球面约束上 $f=-2z$。在球面上最大化 $f=x^{2}+y^{2}+z^{2}$ 化为在曲线上最小化 $z$;$z$ 的最小值对应曲线的最低点,在 $z=-\tfrac{4}{3}$ 处取得,给出 $f=-2(-\tfrac{4}{3})=\tfrac{8}{3}$。这一代数捷径绕过了完整的乘数方程组,是很好的验算手段。第 (b) 部分对 $\lambda_1=1$ 与 $\lambda_1\ne 1$ 的分情况讨论是避免除以零的正确方法;若跳过此步骤而未加说明地直接假设 $x=y$,将丢失推理分。