可逆矩阵判定典型例题