8.6 符号方程求解