下面给出的四个命题中：
①以抛物线的焦点为圆心，且过坐标原点的圆的方程为；
②若，则直线与直线相互垂直；
③命题“，使得”的否定是“，都有”；
④将函数的图象向右平移个单位，得到函数的图象。
其中是真命题的有___________（将你认为正确的序号都填上）．