破解一道三角最值问题

消元思想，高次方程求解。充分利用已知条件限制角的范围。好猜不易证。