|
kuing
Post time 2024-6-6 15:26
能解,只是数字给得太随便,结果不好看。
引理:以下不等式恒成立
\[A\sin(x+t)+B\sin x\leqslant\sqrt{A^2+B^2+2AB\cos t}.\]
引理的证明:
\begin{align*}
\LHS&=(A\cos t+B)\sin x+A\sin t\cos x\\
&=\sqrt{(A\cos t+B)^2+(A\sin t)^2}\sin(x+\varphi)\\
&\leqslant\RHS.
\end{align*}
回到原题,记 `p=1/2`, `q=1/6`, `r=1/7`,即求下式的最大值
\[f=\sin(x+y+z)+p\sin x+q\sin y+r\sin z.\]
由引理有
\begin{align*}
f&\leqslant\sqrt{1+p^2+2p\cos(y+z)}+q\sin y+r\sin z\\
&=\sqrt{1+p^2+2p\cos(y+z)}+q\sin y-r\sin(y-y-z)\\
&\leqslant\sqrt{1+p^2+2p\cos(y+z)}+\sqrt{q^2+r^2-2qr\cos(y+z)},
\end{align*}
记 `u=\cos(y+z)`,然后把 `p`, `q`, `r` 的值代入计算,上式即
\begin{align*}
f&\leqslant\sqrt{\frac54+u}+\sqrt{\frac1{21}\left(\frac{85}{84}-u\right)}\\
&\leqslant\sqrt{1+\frac1{21}}\sqrt{\frac54+u+\frac{85}{84}-u}\\
&=\frac{\sqrt{1045}}{21},
\end{align*}
取等懒得算,略了吧…… |
|