证明验证：二阶可导函数f在(0,+∞)上恒正的推导问询

我来接着你的思路把这个证明补全，整体用反证法+构造辅助函数就能完成全局的推导：

第一步：先证f在x=0的右邻域内恒正 #

你已经用泰勒展开的思路完成了这部分，我再把细节理清楚：
我们对f在x=0处做一阶泰勒展开：
$$f(x) = f(0) + f'(0)x + R_1(x) = f'(0)x + R_1(x)$$
其中佩亚诺余项满足$\frac{R_1(x)}{x} \to 0$（当$x\to0^+$时）。

因为$f'(0)>0$，根据极限的保号性，存在$\delta>0$，当$x\in(0,\delta)$时，$\left|\frac{R_1(x)}{x}\right| < \frac{f'(0)}{2}$，于是：
$$\frac{f(x)}{x} = f'(0) + \frac{R_1(x)}{x} > f'(0) - \frac{f'(0)}{2} = \frac{f'(0)}{2} > 0$$
所以在$(0,\delta)$内$f(x)>0$，这部分的推导完全正确。

第二步：用反证法+构造辅助函数完成全局证明 #

假设存在$x_0 > \delta$使得$f(x_0)=0$，并且取$x_0$是$\delta$之后第一个满足$f(x_0)=0$的点——根据这个取法，在$(0,x_0)$内必然有$f(x)>0$，同时由函数的连续性和单调性趋势，$f'(x_0) \leq 0$（因为函数从正值降到0，在$x_0$处的一阶导数非正）。

现在构造关键的辅助函数：$g(x) = e^{-x}f(x)$，我们先求它的一阶导数：
$$g'(x) = e^{-x}(f'(x) - f(x))$$
接下来分析$f'(x)-f(x)$的符号：令$h(x) = f'(x) - f(x)$，对h求导可得：
$$h'(x) = f''(x) - f(x)$$
题目中给出$f''(x) \geq f(x)$，所以$h'(x) \geq 0$，这说明$h(x)$在$(0,x_0)$上是单调递增的。

在$x=0$处，$h(0) = f'(0) - f(0) = f'(0) > 0$，结合单调性可知，对所有$x\in(0,x_0)$，都有$h(x) > h(0) > 0$，也就是：
$$f'(x) - f(x) > 0$$

回到辅助函数g(x)的导数，因为$e^{-x}$恒正，所以$g'(x) = e^{-x} \cdot h(x) > 0$，这说明$g(x)$在$(0,x_0)$上严格单调递增。

但我们来看端点值：$g(x_0) = e^{-x_0}f(x_0) = 0$，而$g(\delta) = e^{-\delta}f(\delta) > 0$——严格递增的函数不可能从一个正值降到0，这就产生了矛盾。

因此我们的假设不成立，不存在任何$x_0>0$使得$f(x_0)=0$。结合第一步的邻域结论，f在$(0,+\infty)$上恒正。

内容的提问来源于stack exchange，提问作者Theorem