4.7 符号微分方程求解