AA^T=A^TA，说明A正规，然后化正交相似标准型D=Q^TAQ伴随阵具有性质adj(Q^TAQ)=Q^T adj(A)Q，所以adj(D)=D^T如果D有实特征值λ，那么由条件得det(D)/λ=λ，所以det(D)>=0如果D没有实特征值，那么D的复特征值成对出现，同样有det(D)>=0
