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