Ax=0與Bx=0同解的充要條件是r(A)=r(B)=r(AB)(A，B上下放置)。
可以轉化成方程組理解一下，r(AB)=r(A)就說明以A爲係數矩陣的方程組和以(AB)爲係數矩陣的方程組的約束條件數量一致，說明AX=0和BX=0兩個方程組等價。即同解。這是充分性。必要性也一樣可以透過方程組理解。
線性方程組的解法
1、克萊姆法則：用克萊姆法則求解方程組，有兩個前提，一是方程的個數要等於未知量的個數，二是係數矩陣的行列式要不等於零。
用克萊姆法則求解方程組實際上相當於用逆矩陣的方法求解線性方程組，它建立線性方程組的解與其係數和常數間的關係，但由於求解時要計算n+1個n階行列式，其工作量常常很大，所以克萊姆法則常用於理論證明，很少用於具體求解。
2、矩陣消元法：將線性方程組的增廣矩陣透過行的初等變換化爲行簡化階梯形矩陣 ，則以行簡化階梯形矩陣爲增廣矩陣的線性方程組與原方程組同解。當方程組有解時，將其中單位列向量對應的未知量取爲非自由未知量，其餘的未知量取爲自由未知量，即可找出線性方程組的解。
