令f(x)=a0x^n+a1x^n-1+...+an-1x
因为f(0)=f(x0)=0
所以由罗尔定理得,至少存在一个实数在0和x0之间,使f'(x)=0,即a0nx^n-1+..an=0
即a0nx^n-1+..an=0至少有个实根小于x0