充分性:
由已知, A* = A^T
所以 AA^T=AA*=|A|E = E
所以A为正交矩阵
必要性:
因为A是正交矩阵
所以 AA^T=E
而 AA*=|A|E=E
所以 AA^T=AA*
由A可逆, 得 A^T=A*
所以 aij=Aij.
注: 似乎用不上A的对称性