用反证法证明方程f(x)=0无负数根
0,即f(x)为增函数.已知f"}}}'>