设 是 的三个内角,则
的取值范围为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
偏导驻点法用于可微函数:内部极值的两个偏导都必须为0,是比普通一元求导更进阶的工具。它只给必要条件;必须同时核边界与所有可行分支,不能由几组数值驻点宣布全局最值。
想法从哪来:三个角的和固定,先消去一个角,把问题放到一个平面角域。 真正三角形的角域是开区域,数值试探到很小的角时容易把下确界误报为最小值。因此先在闭包三条边上分别做一元化,找到候选端点,再回头检查内部有没有更小的驻点。 内部偏导条件使 ,这个等式提供有限的分支,比在整个二维区域盲目估计有效。每个分支还要保留角度范围,排除等正弦带来的多余周期。确认闭包最值之后,再用正角条件、可逼近性及连通连续性判断值域端点开闭。
角度区域是开三角形,极值可能只在退化边界上逼近。先在闭包上求最值;边界 给出候选下界 ,再用驻点条件排除更小的内部值,最后根据连续性判断端点是否属于值域。
令
其中 ,且 。
先考察闭区域的边界。
当 时,令 ,则
当 时,
求导可得其最小值为 。当 时,令 ,则
检查端点及两个驻点 ,其最小值为
故闭区域边界的最小值是 ,只在 时取得。
下面排除更小的内部驻点。若 是内部驻点,则
所以 且 。结合角的范围,只有以下三种可能:
在情形 (i) 中,
在 内,若 ,置
则 。令 ,可得
在 内, 时,驻点等式不可能成立,因为此时相应的 满足
若 且 ,令 、 及 ,则
并且
这四个值也均大于 。因此情形 (i) 不会给出更小值。
在情形 (ii) 中,,从而
在情形 (iii) 中,,故
所以闭区域上的最小值确为 。
另一方面,每个余弦均不超过 ,所以 ;闭区域的点 给出 。在真正三角形中 ,上述最小值和最大值都不能取得,但分别可以令
以及令 来逼近。角度区域连通且 连续,故其值域为
边界等号 与 都对应退化三角形,因此两个端点均不属于值域;内部驻点由 的全部分支穷尽。所用比较中
可直接平方核验。
三角形内角的多元三角最值,先把角域闭合并分别检查三条退化边界,再用偏导条件枚举内部驻点。若极值只出现在闭包边界,最后必须区分“最值”与“上、下确界”,并借连续性确定开区间值域。
低界不由各余弦独立下界给出,需发现其来自C趋零的特殊退化角,再建立完整内部驻点结构并逐类排除更小值;这是非直接的全局三角优化。
已记下,谢谢!