若二次函数y=x2+0.5与y=-x2+k的图像的顶点重合,则下列结论正确的有