不失一般性可令x最高次系数为正,因x趋于正无穷时f(x)趋于正无穷,则存在一个充分大的正数M1使f(M1)>0,又因x趋于负无穷时f(x)趋于负无穷,则存在一个足够小的负数M2使f(M2)<0,又因为f(x)为连续函数,所以在区间(M1,M2)之间至少存在一点M使得f(M)=0
这样