设[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,则的最小值为,其中所有真命题的序号为 .
已知函数在x=-1时有极值0,则=______ .
已知圆C的方程为,若直线y=kx-2上至少存在一点,使得以该点为圆心,1为半径的圆与圆C有公共点,则k的最大值是.
在三棱锥A-BCD中,侧棱AB,AC,AD两两垂直,△ABC,△ACD,△ABD的面积分别为则三棱锥A-BCD的外接球体积为.
设若,则.
已知等差数列中,,那么.