如图，A，B是两圆的交点，AC是小圆的直径，D和E分别是CA和CB的延长线与大圆的交点，已知AC＝4，BE＝10，且BC＝AD，则DE＝ .
已知直线x-y+a=0与圆心为C的圆 
相交于A，B两点，且AC 
BC，则实数a的值为_______．
已知锐角△ABC中，内角A，B，C所对的边分别为a，b，c．设向量m= （cosA，-sinA），n= （cosA, sinA），且 
，若
，则 
_______．
已知实数 
，执行如图所示的程序框图，则输出的x不小于103的概率是________．
已知定义在R上的函数f(x)的图象连续不断，若存在常数
，
使得
对任意的实数x成立，则称f(x)是回旋函数．
给出下列四个命题：
①常值函数
为回旋函数的充要条件是t= -1;
②若
为回旋函数，则t>l;
③函数
不是回旋函数；
④若f(x)是t=2的回旋函数，则f(x)在[0,4030]上至少有2015个零点．
其中为真命题的是_________（写出所有真命题的序号）．
已知一个三棱锥的三视图如图所示，其中俯视图是顶角为120 
的
等腰三角形，则该三棱锥的四个表面中，面积的最大值为_______．