以xi为实动力变数(the real dynamical vanible),具有两个特徵向量(eigen vectors),分别为|xi'>, |xi"">。若该两特徵向量属于两个不同的特徵值(eigenvalues)xi'及xi""(即xi'≠xi""),则此两特徵向量为正交。此称为正交定理。因为xi为实动力变数: 由于xi为实动力变数,即运作变数。但xi'为特徵值并非运作变数,故(1)式的共轭虚部为: 今以|xi"">各运作于(3)式两边的右边,则得: 又以<xi'|各运作于(2)式两边的左边,则得: (4)-(5)得(xi'-xi"")<xi'|xi"">=0因不同特徵值,即xi'≠xi""故<xi'|xi"">=0。则此时两个特徵向量|xi'>, |xi"">为正交。<xi'|为|xi'>之共轭虚部。