∵ AB=B
∴(A-E)B=0
∴ B的列向量为齐次方程组 (A-E)X=0的解
∵R(B)=n
∴ 方程组有n个线性无关的解向量
∴由通解与系数矩阵秩的关系可知R(A-E)=0,
∴A-E=0,即 A=E