F(x1)-F(5)=f(x1)+1/f(x1)-f(5)-1/f(5)=(f(x1)-f(5))(1-1/f(x1)*f(5))=[f(x1)-f(5)]^2/f(x1)》0
只有当x1=5时候取等号
也就是在 《5时是减函数
》5时是增函数