计算题 设A是正交矩阵，试证：A^-1和A·也是正交矩阵。