4． 下列命题：

①若则对恒成立；

②要得到函数的图象，只需将的图象向右平移个单位；

③若锐角满足，则．

其中真命题的个数是（      ）

6． 以直角坐标系的原点为极点，轴的正半轴为极轴，并在两种坐标系中取相同的长度单位． 则曲线C1： 上的点到曲线C2 ：（为参数）上的点的最短距离为（      ）

15． 在实数集中，我们定义的大小关系“”为全体实数排了一个“序”．类似实数排序的定义，我们定义“点序”记为“”：已知和，，当且仅当“”或“且”．定义两点的“”与“”运算如下：    ．

则下面四个命题：

①已知和，则；

②已知和，若，则，且；

③已知，，则；

④已知，则对任意的点，都有；

⑤已知，则对任意的点，都有．

其中真命题的序号为___________（把真命题的序号全部写出）