若K>0,则x平方+2Kx-k=0有实根,是什么命题