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