约束为非空紧球面,目标函数连续,故最大值和最小值均存在。约束函数的梯度为 2(x,y,z),在球面上不为零,故最值点满足拉格朗日条件。令 L=xy+2yz+λ(x2+y2+z2−10),得
y+2λxx+2z+2λy2y+2λzx2+y2+z2=0,=0,=0,=10.
若 λ=0,则 y=0,x=−2z,约束给出 z=±2,此时 u=0。
若 λ=0,由第一、三式得 z=2x、y=−2λx,再代入第二式得 (4λ2−5)x=0。若 x=0 则三坐标全为零,与球面约束矛盾,故 λ=±25。约束进一步给出 10x2=10,即 x=±1。此时 u=y(x+2z)=5xy=−10λ。
比较候选值 0,±55,最大值为 55,在 (1,5,2)、(−1,−5,−2) 处取得;最小值为 −55,在 (1,−5,2)、(−1,5,−2) 处取得。
由柯西不等式,∣x+2z∣≤5x2+z2=510−y2,所以
∣u∣=∣y(x+2z)∣≤5∣y∣10−y2≤25[y2+(10−y2)]=55.
第二个不等式由 2ab≤a2+b2 得到。两步同时取等要求 z=2x、y2=5;结合约束得 x2=1。当 (x,y,z)=(1,5,2) 时取到 55,当 (1,−5,2) 时取到 −55,因此上下界均可达,分别为最大值、最小值。
令 X=(x,y,z)T,则 u=XTAX,其中
A=02102101010.
实对称矩阵 A 的特征方程为 det(A−μI)=−μ3+45μ=0,特征值为 0,±25。由正交对角化,在 XTX=10 上,二次型最大值和最小值分别为最大、最小特征值的 10 倍,故为 ±55。对应特征向量可取 (1,5,2)、(1,−5,2),其模平方均为 10,确实满足约束并取得相应值。