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