证明 若AA^t=I(单位矩阵),则(A*)^t=(A *)^(-1)