若方程x的平方+2x-m+1=0没有实数根,求证:方程x的平方+mx+12m=1一定有两个不相等的实数根