已知两条直线,两个平面,给出下面四个命题:① ②③ ④ 其中真命题的序号是 ▲ .
不等式的解集是 .
定义一种运算,令,且,则函数的最大值是
直线被圆截得的弦长为________
若向量的夹角为,,则
函数的定义域是 。