略证如下:若Xn有聚点,即存在收敛子列X‘n->rf(X'n)=0,由中值定理得存在θn介于X'n两两之间使 f‘(θn)=0 易知 θn->r ,由f’(X‘n)≠0知 函数在 r 处导数不存在,与f在[a,+∞)矛盾因此原数列无聚点,由条件知Xn->+∞ ■
若a=0由f(x)<0单调知成立,下面对a<0证明,(a>0)同理采用反证法:不妨设它有两个实根x1,x2,则有f'(x1)<0,f'(x2)<0;有f(x)的连续性知存在一个y1>x1使得f(y1)<0;存在y20,进而由介值定理知存在y1