设ab为同阶可逆矩阵则