微积分(A)随缘一题[6]

设 \(f(x)\) 在 \(\mathbb{R}\) 上可导，且满足 \(\lim_{x \to \infty} \frac{f(x)}{|x|}=+\infty\)，证明：\(\forall a \in \mathbb{R},\exists \zeta \in \mathbb{R}, s.t.f'(\zeta)=a\)

考虑到：

\[\begin{aligned} &\frac{f(x)-f(0)}{x-0}=f'(\zeta) \\ &\lim_{x \to +\infty} \frac{f(x)}{x}=+\infty \\ &\lim_{x \to -\infty} \frac{f(x)}{-x}=+\infty \Rightarrow \lim_{x \to -\infty}\frac{f(x)}{x}=-\infty \\ &\end{aligned} \]

于是有：

\[\begin{aligned} &\lim_{x \to 0} \frac{f(x)-f(0)}{x}=f'(0) \\ &\lim_{x \to -\infty} \frac{f(x)-f(0)}{x}=-\infty \\ &\lim_{x \to +\infty}\frac{f(x)-f(0)}{x}=+\infty \\ \end{aligned} \]

又因为 \(f(x)\) 在 \(\mathbb{R}\) 上可导，所以 \(f(x)\) 在 \(\mathbb{R}\) 上连续，所以 \(\frac{f(x)-f(0)}{x}\) 在 \(\mathbb{R}/\{0\}\) 连续

因此 \(\frac{f(x)-f(0)}{x}\) 值域为 \((-\infty,f'(0))\cup(f'(0),+\infty)\)

所以 \(\frac{f(x)-f(0)}{x} \in (-\infty,f'(0)) \cup (f'(0),+\infty)\)

所以 \(\forall a \ne f'(0),\exists x_0,s.t.f(x_0)=ax_0+f(0) \in \mathbb{R}\)

所以 \(\exists \zeta \in \mathbb{R}, s.t. a=\frac{f(x_0)-f(0)}{x_0-0}=f'(\zeta)\)

当 \(a=f'(0)\) 时，有 \(\zeta=0,f'(\zeta)=f'(0)=a\)

综上，得证