设 为正实数,求 的最小值。
换元,把隐藏的约束摆到明面上。 令 、、,这样自动就有 。于是
先把取等的情形猜出来。 取 得 , 剩下的工作,就是证明没有别的取法能比它更小。
借平方和往下降一级。 对 用幂平均不等式, 于是只要证 就够了。(那条诱人的捷径 根本不成立 —— 取 只得到 —— 所以该去估计的是平方和,而不是一次和。)
用一个两元的引理。 对一切 , 因为去掉分母之后剩下的正是恒等式 。
取 来用这个引理。 引理给出 ,于是
合起来并确认。 因此 取等当且仅当 且 ,也就是 。做 次随机重启的数值全局搜索,最低也停在 ,对应 。
Need to solve a different problem like this? Open the solver →