特征值性质证明