利用这条性质：
A的最小特征值等于min (x'Ax)/(x'x),其中x取遍非零向量转化到带约束x'x=1的最值min x'Ax，然后用谱分解或者Lagrange乘子法都可以证明