设[x]表示不超过x的最大整数,若[π]=3,[﹣1.2]=﹣2.给出下列命题: ①对任意的实数x,都有x﹣1<[x]≤x. ②对任意的实数x、y,都有[x+y]≥[x]+[y]. ③[lg1]+[lg2]+[lg3]+…+[lg2014]+[lg2015]=4940. ④若函数f(x)=[x[x]],当x∈[0,n)(n∈N*)时,令f(x)的值域为A,记集合A中元素个数为an,则的最小值为,其中所有真命题的序号为 .
函数的部分图象如图所示,则函数解析式 .
.
设若函数在区间上有三个零点,则实数的取值范围是 .
由直线上的一点向圆引切线,则切线长的最小值为 .
已知=1,=2,与的夹角为,那么 .