若线性方程组$A_1x=b_1$的解都是线性方程组$A_2x=b_2$的解；反之，$A_2x=b_2$的解也都是$A_1x=b_1$的解，则称线性方程组$A_1x=b_1$与$A_2x=b_2$是同解方程组