同一骨架 2024 年四川预赛 · P006598
两题都把线性约束放进平方和的几何中,用柯西控制沿固定系数方向的最短分量,再检查等号分量与原约束兼容。
前题增加一个真实坐标的线性组合后在更高维估计;后题先统一复相位再拆实虚向量,还须控制复平方和的模,不能只留实部平方和。
设点 在平面 上,记 , 是 到平面 的距离,则 的最小值为 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
距离公式把目标化成正定二次型。
先回想这道题的想法,再试试当前题。
与其展开后解三元拉格朗日方程,不如引入 ,把约束写成四个平方变量的线性组合并直接使用柯西不等式。
因为平面 的法向量长度为 ,所以
令 。注意到
由柯西不等式,
又 ,故
取
则 ,约束成立,并且四元组 与 成比例, 柯西不等式取等号。因此最小值为
距离分母为法向量长度 ,故 。给出的等号点同时满足平面约束和 ,所以不是在扩大变量空间后得到的虚假等号。
“到原点距离平方加到过原点平面距离平方”是正定二次型。引入法向投影作为新变量后, 寻找约束线性式的最小范数表示,即可用一次柯西不等式给出最优下界并反推出等号点。
需将9倍点面距离平方化为线性式平方,并选择系数使约束成为平方和的有效柯西下界,再验证等号点。
同一骨架 2024 年四川预赛 · P006598
两题都把线性约束放进平方和的几何中,用柯西控制沿固定系数方向的最短分量,再检查等号分量与原约束兼容。
前题增加一个真实坐标的线性组合后在更高维估计;后题先统一复相位再拆实虚向量,还须控制复平方和的模,不能只留实部平方和。
已记下,谢谢!