证明:记<,>为复线性空间上的标准的hermitian inner product任意的酉矩阵A有任意的向量V,U=现在假设V1是A的特征向量,特征直为T1则:===T1*共扼(T1)所以,T1*共扼(T1)=1
