已知定义在R上的减函数的图像经过点、，若函数的反函数为（），则不等式的解集为               。