已知关于x的一元二次方程x²+bx+c=x有两个实数根x1.x2,且满足x1>0,x2-x1>1

f(x)=x²+bx+c=x
x²+(b-1)x+c=0
x1+x2=-(b-1)/1=1-b
x1x2=c
(x1-x2)²=(x1+x2)²-4x1x2=(1-b)²-4c>1
由于x2-x1>1,且x1>0所以平方必然大于1
那么有(1-b)²-4c>1
1+b^2-2b-4c>1
b^2>2(b+2c)
证毕