证明正交矩阵( A^T A = I )有 A^(-1) = A^T 。