线代,证明,若A是正交矩阵则