若A为正交矩阵,则A可逆,且A^-1=