下图展示了一个由区间
到实数集R的映射过程：区间中的实数m对应数轴上的点M，如图①；将线段
围成一个圆，使两端点A、B恰好重合，如图②；再将这个圆放在平面直角坐标系中，使其圆心在y轴上，点A的坐标为，在图形变化过程中，图①中线段AM的长度对应于图③中的弧A
DM的长度，如图③．图③中直线
与x轴交于点
，则m的象就是n，记作
．
给出下列命题：①
；②
是偶函数；③
在定义域上单调递增；④的图象关于点
对称，则所有真命题的序号是_______．（填出所有真命题的序号）
已知
是抛物线
的焦点，
是该抛物线上的两点，
，则线段
的中点到
轴的距离为
．定义：
，其中
为向量
与
的夹角，若
，则
等于．
．若某程序框图如图所示，则输出的
的值是
已知单位向量
的夹角为
，若
，如图，则
叫做向量
的
坐标，记作
，有以下命题：
①已知
，则
；
②若
，则
；
③若，则
；
④若
，
，且
三点共线，则
。
上述命题中正确的有 ．（将你认为正确的都写上）
＝m，且α是第三象限角，则sinα＝