设命题p 方程x²+mx 1=0