定义在上的函数的图像如图所示，它在定义域上
是减函数，给出如下命题：
①；②；③若，则；
④若，则。其中正确的命题是