用反证法证明fx=0没有负实根