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

教材习题

📝 题目

例 13 对任意的自然数 $n$ ,求证: 对 $\forall 0 \leq t \leq n$ ,

$$ 0 \leq {\mathrm{e}}^{-t} - {\left( 1 - \frac{t}{n}\right) }^{n} \leq \frac{{t}^{2}}{n}{\mathrm{e}}^{-t}. $$

💡 答案解析

证 因为 ${\mathrm{e}}^{x}$ 在 $\left( {-\infty , + \infty }\right)$ 上是凹函数,所以曲线 $y = {\mathrm{e}}^{x}$ 在点 $x = 0$ 处的切线上方,而点 $x = 0$ 处的切线方程是 $y = 1 + x$ ,从而

$$ {\mathrm{e}}^{x} \geq 1 + x \Rightarrow {\mathrm{e}}^{-\frac{t}{n}} \geq 1 - \frac{t}{n} \geq 0\;\left( {0 \leq t \leq n}\right) . $$

两边 $n$ 次方,即得

$$ {\left( 1 - \frac{t}{n}\right) }^{n} \leq {\mathrm{e}}^{-t}\left( {0 \leq t \leq n}\right) \Rightarrow 0 \leq {\mathrm{e}}^{-t} - {\left( 1 - \frac{t}{n}\right) }^{n}. $$

另一方面,

$$ {\mathrm{e}}^{-t} - {\left( 1 - \frac{t}{n}\right) }^{n} = {\mathrm{e}}^{-t}\left\{ {1 - {\mathrm{e}}^{t}{\left( 1 - \frac{t}{n}\right) }^{n}}\right\} , \tag{6.17} $$

$$ {\mathrm{e}}^{x} \geq 1 + x \Rightarrow {\mathrm{e}}^{\frac{t}{n}} \geq 1 + \frac{t}{n} \Rightarrow {\mathrm{e}}^{t} \geq {\left( 1 + \frac{t}{n}\right) }^{n} $$

$$ \Rightarrow {\mathrm{e}}^{t}{\left( 1 - \frac{t}{n}\right) }^{n} \geq {\left( 1 + \frac{t}{n}\right) }^{n}{\left( 1 - \frac{t}{n}\right) }^{n} $$

$$ = {\left( 1 - \frac{{t}^{2}}{{n}^{2}}\right) }^{n}\text{ . } \tag{6.18} $$

又设 $f\left( x\right) = {\left( 1 + x\right) }^{n}$ ,则

$$ {f}^{\prime }\left( x\right) = n{\left( 1 + x\right) }^{n - 1}, $$

$$ {f}^{\prime \prime }\left( x\right) = n\left( {n - 1}\right) {\left( 1 + x\right) }^{n - 2} \geq 0\;\left( {x \geq - 1}\right) . $$

因此, $f\left( x\right)$ 在 $\lbrack - 1, + \infty )$ 上是凹函数,从而曲线 $y = f\left( x\right)$ 在点 $x = 0$ 处的切线上方,而点 $x = 0$ 处的切线方程正是 $y = 1 + {nx}$ ,因此

$$ {\left( 1 + x\right) }^{n} \geq 1 + {nx}\;\left( {x \geq - 1}\right) , $$

从而

$$ {\left( 1 - \frac{{t}^{2}}{{n}^{2}}\right) }^{n} \geq 1 - n \cdot \frac{{t}^{2}}{{n}^{2}} = 1 - \frac{{t}^{2}}{n}\;\left( {0 \leq t \leq n}\right) . \tag{6.19} $$

联合 (6.17), (6.18) 和 (6.19) 式我们有

$$ {\mathrm{e}}^{-t} - {\left( 1 - \frac{t}{n}\right) }^{n} \leq \frac{{t}^{2}}{n}{\mathrm{e}}^{-t}\;\left( {0 \leq t \leq n}\right) . $$

\subsubsection{二、讨论函数零点}

📋 详细解题步骤

步骤 1/2
目标:证明左边不等式:0 ≤ e^{-t} - (1 - t/n)^n
利用指数函数的凹性:e^x ≥ 1 + x,代入 x = -t/n 得 e^{-t/n} ≥ 1 - t/n ≥ 0,两边 n 次方得 (1 - t/n)^n ≤ e^{-t},即左边不等式成立。
公式:e^x ≥ 1 + x, e^{-t/n} ≥ 1 - t/n
提示:注意指数函数的切线不等式,以及 n 次方保持不等号方向。
步骤 2/2
目标:证明右边不等式:e^{-t} - (1 - t/n)^n ≤ (t^2/n) e^{-t}
将差写为 e^{-t}[1 - e^t (1 - t/n)^n]。利用 e^x ≥ 1 + x 得 e^{t/n} ≥ 1 + t/n,从而 e^t ≥ (1 + t/n)^n,代入得 e^t (1 - t/n)^n ≥ (1 - t^2/n^2)^n。再对函数 f(x) = (1+x)^n 在 x = -t^2/n^2 处使用切线不等式:f(x) ≥ 1 + nx,得 (1 - t^2/n^2)^n ≥ 1 - t^2/n。因此 1 - e^t (1 - t/n)^n ≤ t^2/n,乘以 e^{-t} 即得右边不等式。
公式:e^t ≥ (1 + t/n)^n, (1 + x)^n ≥ 1 + nx (x ≥ -1)
提示:注意两次使用切线不等式,第二次是对幂函数。

📷 拍照上传批改

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