展开 有三角函数的微分方程是线性