如果有f(x1)=0,f(x2)=0,那f(x1)=f(x2),再有单调函数的定义,对于定义域内的每一个自变量x1、x2,都有f(x1)<（或大于）f(x2),而现在f(x1)=f(x2),就与定义相矛盾,所以说原命题成立.