正交矩阵定义：AA'=E（E为单位矩阵,A'表示“矩阵A的转置矩阵”.）或A′A=E,则n阶实矩阵A称为正交矩阵
对称矩阵A'=A
所以A方=E,命题成立