定理 初等列变换 二元一次不定方程 通解公式 矩阵的初等变换 矩阵变换 引理