设P为双曲线y2=1上一动点,O为坐标原点,M为线段OP的中点,则点M的轨迹方程是 .
用符号“”与“”表示含有量词的命题:存在一对实数,使2x+3y+3>0成立______________________.
用符号“”与“”表示含有量词的命题: 实数的平方大于等于0______________;
命题“有”的否定是.
直线过定点_____________。
曲线的参数方程是,则它的普通方程为__________________。