线性代数求基础解析时提到的同解方程组是什么