8.7 符号方程求解