对正交矩阵A定义：有AA^T=E
而对A^T
A^T(A^T)^T=A^TA=E
所以是正交矩阵为什么AA^T=E?
ps：我就是推不出这个才没办法证明......A^TA=AA^T=E

正交矩阵的定义。
满足这个条件的成为正交矩阵