计算题 证明正交矩阵的下述性质：若P，Q都是正交矩阵，则它们的乘积PQ也是正交矩阵。