给出以下4个命题，其中所有正确结论的序号是________
⑴当a为任意实数时，直线恒过定点，则焦点在y轴上且过点的抛物线的标准方程是．
⑵若直线与直线垂直，则实数k=1；
⑶已知数列对于任意，有，若，则4
⑷对于一切实数，令为不大于的最大整数，例如： ，则函数称为高斯函数或取整函数，若，为数列的前项和，则145