“fx在D上有反函数”是“fx在D上单调”的什么条件?要理由