(A)=n,那么说明A有n行是线性无关的,把这n行取出来,设为矩阵C,那么由AB=0可知CB=0,而C是n*n的矩阵且秩为n,即是线性无关的,CB=0两边同时乘以C的逆矩阵,得到B=0
AB=A同理得到CB=C,进而B=E