在复平面上，已知直线
上的点所对应的复数
满足
，则直线的倾斜角为 .（结果反三角函数值表示）
方程log2（x﹣3）=log4（5﹣x）的解为 ．
幂函数y=f（x）的图象经过点（4，
），则
= ．
已知|
|=2，|
|=1，
的夹角为
，则
= ．
函数f（x）=x2﹣1（x≥1）的反函数是f﹣1（x）= ．
设[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，则
的最小值为
，其中所有真命题的序号为 ．