证明:n阶主对角元素为正数的上三角正交矩阵是单位矩阵