展开 线性微分方程两个特解相减等于零说明什么