A*(AT)=E
两边取行列式,由于A与AT行列式相等,
则|A|^2=1
注：AT是A的转置