计算题 证明正交矩阵的性质：若Q为正交矩阵，则Q可逆且Q^-1=Q^T。