二元三角根式函数的值域端点
二元函数
的最小值和最大值的和为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
分别凸指固定另一个变量后,对当前变量为凸函数;在矩形上可逐变量推至边界顶点求最大值。向量三角不等式 可以把两个根式整体估计,避免不相容的逐项等号。
想法从哪来:二倍角与四倍角混在根式里,先统一成二倍角余弦,原来的实变量就变成独立的两个闭区间变量。第三个被开方式再用平均与半差改写,能看出它始终非负,也提示对称位置可能是最值候选。 最大值先试逐项上界:前两项由变量绝对值控制,第三项对每个变量分别凸,故最大值可推到正方形顶点检查。最小值却不能分别求三项最小后相加,因为取等位置未必相同;将前两根式视为向量长度,用三角不等式合成只含平均值的下界,再让第三项控制半差。最后用一个一元平方不等式压住总和,并检查所有估计能在同一端点同时取等。
令 ,三处根式都化为二次型。最大值逐项估计;最小值则对前 两项使用平面向量三角不等式。
令 ,则 ,且
记 。由向量三角不等式,
第三个根式等于 。又
因为两边均非负,平方后之差为 。故括号内不少于 , 当 时取等号,所以最小值为 。
再看最大值。前两个根式均不超过 。函数 分别关于 为凸函数,故在正方形 上的最大值可在顶点取得;代入四个顶点知其最大值为 。 所以括号内不超过 ,且 时取到,最大值为 。 所求之和为
与 都可分别由 的实际取值达到,故上下界不是仅有的形式估计。 第三个被开方数写成 ,始终非负。
含 与 的根式,可用 统一代换。二次型根式常可解释成 向量长度,以三角不等式同时给出可达的整体界。
需先将四倍角和平方正弦统一为 p、q,再通过均值差值拆出控制最小值的线性下界;最大值还要独立确认二元二次式在方框顶点达到,两端等号须同时核实。
已记下,谢谢!