F是曲线x^2=-2y的焦点,曲线上任意一点P为圆心,以PF为半径做圆,则圆必与直线相切