用反证法证明方程f(x)=0无负数根