n阶实矩阵A是正交矩阵的充分必要条件是ATA=E.