方程有两个不等的负实根要求