定义：表示两个数中的最大值，表示两个数中的最小值。给出下列4个命题：
①且；
②且；
③设函数和的公共定义域为，若，恒成立，则；
④若函数的图像关于直线对称，则的值为。
其中真命题是               。（写出所有真命题的序号）