两方程组解完全相同则为同解方程组。 若 $Ax=0, Bx=0$ 同解，则： - 可互相把解带入到对方方程组里面； - $r(A) = r(B) = r\left(\begin{bmatrix}A\\B\end{bmatrix} \right)$ （三秩相同）