任取 x>0,由拉格朗日中值定理,存在 ξ∈(0,x) 使 f(x)−f(0)=f′(ξ)x≥kx。取 x0>−kf(0),即有 f(x0)>0。
由于 f(0)<0 且 f(x0)>0,连续性与介值定理保证在 (0,x0) 中至少有一个零点。
又因 f′(x)≥k>0,函数在 [0,+∞) 上严格递增,故不可能有两个不同零点。因此 f 在 (0,+∞) 内有且仅有一个零点。