计算题 证明：上三角形的正交矩阵必为对角矩阵，且对角线上的元素为+1或-1。