线性表示 常系微分方程 同步求解 极大无关组 幂级数 常数项级数 通解 最简形矩阵