等变换法.如果矩阵formula_11和formula_25互逆，则formula_26。由条件formula_27以及矩阵乘法的定义可知，矩阵formula_11和formula_25都是方阵。再由条件formula_30以及定理“两个矩阵的乘积的行列式等于这两个矩阵的行列式的乘积”可知，这两个矩阵的行列式都不为0。也就是说，这两个矩阵的秩等于它们的级数（或称为阶，也就是说，A与B都是formula_31方阵，且rank(A) = rank(B) = n.换而言之, formula_32与formula