函数与的图象所围成封闭图形的面积为 .
方程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,则的最小值为,其中所有真命题的序号为 .