设[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,则的最小值为,其中所有真命题的序号为 .
已知各顶点都在一个球面上的正四棱柱高为4,体积为16,则这个球的表面积是 .
过点A(2,3)且垂直于直线2x+y-5=0的直线方程为__________.
直线的倾斜角的大小是______.
直线与不等式组表示的区域没有公共点,则的取值范围是 .
过圆外一点作圆的切线,则切线方程为__________.