AX=0的解都是BX=0的解,∴A,B的列数相等﹙例如都是n﹚,且R(A)=R(B)＝rAX=0,BX=0的基础解系的容量都是n-r.AX=0的基础解系 ,都是BX=0的解,正好构成BX=0的基础解系,即BX=0的任何解,都是AX=0的基础解系的线性组合,从而也是AX=0的解 .∴两个方程组同解.
