4.7 常微分方程的符号解