方企勤 第二章 一元函数微分学 第6题

教材习题

📝 题目

例 6 设 $f\left( x\right)$ 在 $\left\lbrack {a,b}\right\rbrack$ 上连续,在(a, b)内可导,其中 $a > 0$ . 求证:

(1)存在 $\xi \in \left( {a,b}\right)$ ,使得 $f\left( b\right) - f\left( a\right) = \xi {f}^{\prime }\left( \xi \right) \ln \frac{b}{a}$ ;

(2) $\mathop{\lim }\limits_{{n \rightarrow \infty }}n\left( {\sqrt[n]{x} - 1}\right) = \ln x$ .

💡 答案解析

证(1)由柯西中值定理, $\exists \xi \in \left( {a,b}\right)$ ,使得

$$ \frac{f\left( b\right) - f\left( a\right) }{\ln b - \ln a} = \frac{{f}^{\prime }\left( \xi \right) }{\frac{1}{\xi }} = \xi {f}^{\prime }\left( \xi \right) $$

$$ \Rightarrow f\left( b\right) - f\left( a\right) = \xi {f}^{\prime }\left( \xi \right) \ln \frac{b}{a}. $$

(2)对 $\forall x > 0$ ,当 $x = 1$ 时,结论显然成立. 当 $x \neq 1$ 时,令

$$ a = \min \{ 1,x\} ,\;b = \max \{ 1,x\} , $$

在 $\left\lbrack {a,b}\right\rbrack$ 上对函数 $f\left( t\right) = {t}^{\frac{1}{n}}$ 利用第 (1) 小题结果,则有 $\exists \xi \in \left( {a,b}\right)$ ,

使得

$$ {b}^{\frac{1}{n}} - {a}^{\frac{1}{n}} = \xi \frac{1}{n}{\xi }^{\frac{1}{n} - 1}\ln \frac{b}{a} $$

$$ \Rightarrow {x}^{\frac{1}{n}} - 1 = \frac{1}{n}{\xi }^{\frac{1}{n}}\ln x \Rightarrow n\left( {{x}^{\frac{1}{n}} - 1}\right) = {\xi }^{\frac{1}{n}}\ln x. $$

因此 $\mathop{\lim }\limits_{{n \rightarrow \infty }}n\left( {\sqrt[n]{x} - 1}\right) = \mathop{\lim }\limits_{{n \rightarrow \infty }}{\xi }^{\frac{1}{n}}\ln x = \ln x$ .

\subsubsection{二、用辅助区间法}

📋 详细解题步骤

步骤 1/2
目标:证明存在ξ使得f(b)-f(a)=ξf'(ξ)ln(b/a)
应用柯西中值定理于函数f(x)和ln x在区间[a,b]上,存在ξ∈(a,b)使得(f(b)-f(a))/(ln b - ln a) = f'(ξ)/(1/ξ) = ξf'(ξ),整理即得。
公式:\frac{f(b)-f(a)}{\ln b - \ln a} = \frac{f'(\xi)}{1/\xi} = \xi f'(\xi)
提示:注意ln x的导数为1/x,且a>0保证ln x有意义。
步骤 2/2
目标:证明极限lim_{n→∞} n(ⁿ√x - 1) = ln x
当x=1时结论显然。当x≠1时,令a=min{1,x}, b=max{1,x},在[a,b]上对函数f(t)=t^{1/n}应用第(1)小题结论,存在ξ∈(a,b)使得b^{1/n}-a^{1/n}=ξ*(1/n)ξ^{1/n-1} ln(b/a),化简得x^{1/n}-1=(1/n)ξ^{1/n} ln x,即n(x^{1/n}-1)=ξ^{1/n} ln x。取极限n→∞,由于ξ∈(a,b)且ξ^{1/n}→1,故极限为ln x。
公式:n(\sqrt[n]{x}-1) = \xi^{1/n} \ln x \quad \text{且} \lim_{n\to\infty} \xi^{1/n}=1
提示:注意ξ依赖于n,但ξ^{1/n}的极限为1。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。