由于A为正交矩阵,所以|A|^2=1,A^-1也是正交矩阵,((A^-1)^T(A^-1)=(A^T)^-1(A^-1)=(AA^T)^-1=E^-1=E),所以(A*)^TA*=(|A|A^-1)^T(|A|A^-1)=|A|^2(A^-1)^T(A^-1)=E,因此A*也是正交矩阵.