先设x_1,x_n为A的最小和最大特征值λ1,λn的特征向量,
令y_s=(x_1+s x_n)/|(x_1+s x_n)|
则构造函数
f(s)=y_s^TAy_s=(λ1+s^2λn)/(1+s^2)
可证命题成立