证明：上三角形的正交矩阵必为对角矩阵,且主对角线上的元素是正1或负1.

设上三角形的正交矩阵A=[a1,a2,。。。,an]a1=(a11,0,。。。,0)^T,a2=(a12,a22,0,。。。,0)^T,。。。,an=(a1n,a2n,。。。,ann)(akk≠0,k=1,2,。。。,n)由a1^T*ak=0(k≠1)得：a11*a1k=0,即a1k=0(k=2,3,。。。,n)同理：aij=0(i