展开 怎么判断一个微分方程是不是线性的