如果函数y=f（x）是定义域D上的单调函数,那么f（x）一定有反函数存在,且反函数一定是单调的.