垫脚石(此题 → 相关题) 2024 年内蒙古预赛 · P006553
先用和的平方把混合乘积与平方和连接起来,再选总和或一个保留变量消去其余量。得到一元式后,还要证明参数真的能由原三数组成。
对称目标可直接考察球面上的总和;分离一个变量后,另外两个数必须是实数,判别式及被除变量非零会改变可行域。
已知 ,则 的值域为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把三个乘积合并成和的平方,约束便将问题化为球面上线性式的范围。
求出两端后,再给出球面上一条连续路径,确认没有缺少中间值。
记 。由约束,
柯西不等式给出 ,从而 。为证整个区间均能取得,取正交单位向量
并令 ,其中 。此时三元组的模平方恒为1,且
当 从0变化到 时,上式连续取遍 。故值域为 。
上端1在 取得;下端 在 取得。两组三元组均满足平方和为1。仅有柯西上界还不足以证明值域完整,前述路径同时证明两端及所有中间值可达。
固定平方和时,对称的两两乘积可换成总和的平方。线性式在球上的支撑界负责定界,球面上的连续构造负责证明值域充分性。
先用和的平方合并两两乘积,再由固定平方和得到线性支撑界;除了分别核两端,还需在球面上构造连续合法路径,证明值域没有缺少中间值。
垫脚石(此题 → 相关题) 2024 年内蒙古预赛 · P006553
先用和的平方把混合乘积与平方和连接起来,再选总和或一个保留变量消去其余量。得到一元式后,还要证明参数真的能由原三数组成。
对称目标可直接考察球面上的总和;分离一个变量后,另外两个数必须是实数,判别式及被除变量非零会改变可行域。
已记下,谢谢!