A乘以A的专置＝＝E。

A就是正交矩阵。