原式可化为x^2+(b-1)x+c=0,先证(1)：
因为原方程有两个实数根,所以有x1=[-(b-1)-sqrt((b-1)^2-4c)]/2
x2=[-(b-1)+sqrt((b-1)^2-4c)]/2,
因为x1sqrt((b-1)^2-4c),得到(b-1)^2>(b-1)^2-4c,所以-4c0.
再证(2)：
因为x2-x1