Skip to content

7-1-2 引理2中不等式的证明补充

要证明不等式 \(u_1 + u_2 + \cdots + u_n < (1 + u_1)(1 + u_2) \cdots (1 + u_n) < e^{u_1 + u_2 + \cdots + u_n}\) ,我们可以使用数学归纳法和一些初等不等式。

不等式的两部分

第一部分:\( u_1 + u_2 + \cdots + u_n < (1 + u_1)(1 + u_2) \cdots (1 + u_n) \)

这是基本的乘法不等式,可以使用归纳法证明。

基础情况:

\( n = 1 \) 时,不等式显然成立,因为 \( u_1 < 1 + u_1 \)

归纳假设:

假设对 \( n = k \) 时,不等式成立,即 \[ u_1 + u_2 + \cdots + u_k < (1 + u_1)(1 + u_2) \cdots (1 + u_k). \]

归纳步骤:

现在考虑 \( n = k + 1 \) 的情况, \[ u_1 + u_2 + \cdots + u_k + u_{k+1} < (1 + u_1)(1 + u_2) \cdots (1 + u_k)(1 + u_{k+1}). \]

根据归纳假设和基础情况, \[ u_1 + u_2 + \cdots + u_k + u_{k+1} < (1 + u_1)(1 + u_2) \cdots (1 + u_k) + u_{k+1}. \]

由于 \( (1 + u_1)(1 + u_2) \cdots (1 + u_k) \)\( (1 + u_{k+1}) \) 都是大于 1 的正数,所以我们可以进一步验证:

\[ (1 + u_1)(1 + u_2) \cdots (1 + u_k) + u_{k+1} \leq (1 + u_1)(1 + u_2) \cdots (1 + u_k)(1 + u_{k+1}). \]

所以,通过数学归纳法,我们证明了第一部分不等式对所有 \( n \) 都成立。

第二部分:\( (1 + u_1)(1 + u_2) \cdots (1 + u_n) < e^{u_1 + u_2 + \cdots + u_n} \)

我们使用对数函数和初等不等式来证明这个部分。

考虑 \( \ln((1 + u_1)(1 + u_2) \cdots (1 + u_n)) \) : \[ \ln((1 + u_1)(1 + u_2) \cdots (1 + u_n)) = \ln(1 + u_1) + \ln(1 + u_2) + \cdots + \ln(1 + u_n). \]

因为对于 \( 0 < x < 1 \) ,有 \( \ln(1 + x) < x \) ,所以 \[ \ln(1 + u_i) < u_i. \]

因此, \[ \ln((1 + u_1)(1 + u_2) \cdots (1 + u_n)) < u_1 + u_2 + \cdots + u_n. \]

取指数, \[ (1 + u_1)(1 + u_2) \cdots (1 + u_n) < e^{u_1 + u_2 + \cdots + u_n}. \]

综上所述

结合这两个证明部分,我们得出不等式 \[ u_1 + u_2 + \cdots + u_n < (1 + u_1)(1 + u_2) \cdots (1 + u_n) < e^{u_1 + u_2 + \cdots + u_n}. \]


要证明当 \(0 < x < 1\) 时,有 \(\ln(1 + x) < x\) ,可以从导数和泰勒级数展开两个角度来考虑。

方法一:导数

考虑函数 \(f(x) = x - \ln(1 + x)\) 。我们先计算其导数 \(f'(x)\)

\[ f'(x) = 1 - \frac{1}{1 + x} = \frac{1 + x - 1}{1 + x} = \frac{x}{1 + x}. \]

注意到当 \(0 < x < 1\) 时,\(f'(x) = \frac{x}{1 + x}\) 是正数。这意味着 \(f(x)\)\(0 < x < 1\) 上是单调递增的。

接下来,我们计算 \(f(x)\)\(x = 0\) 处的值:

\[ f(0) = 0 - \ln(1 + 0) = 0. \]

由于 \(f(x)\)\(0 < x < 1\) 上是单调递增的且在 \(x = 0\) 处取零值,所以对于 \(0 < x < 1\)\(f(x) = x - \ln(1 + x) > 0\) 。这表明:

\[ x > \ln(1 + x) \]

即:

\[ \ln(1 + x) < x. \]

方法二:泰勒级数展开

考虑 \(\ln(1 + x)\) 的泰勒级数展开:

\[ \ln(1 + x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots. \]

显然,对于 \(0 < x < 1\)\(\ln(1 + x)\) 的泰勒级数展开中的每一项 \( - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots \) 都是负数或者零。因此:

\[ \ln(1 + x) = x - \left( \frac{x^2}{2} - \frac{x^3}{3} + \frac{x^4}{4} - \cdots \right) < x. \]

综合上述两种方法,我们可以得出对于 \(0 < x < 1\)

\[ \ln(1 + x) < x. \]

Related Posts

  1. 7-1-1 全纯函数集合与无限可微函数集合的关系
  2. 7-1-1 复函数在孤立奇点z_0和无穷远点的洛朗级数形式
  3. 6-1-1 u为C2的则存在全纯函数使得u为此函数的实部
  4. 5-1-1 复积分的换元
  5. 5-2-2 全纯函数在任意小领域上恒为零推出在U上恒为零
  6. 5-2-2 全纯函数的模在一个小圆盘上是常数推出此函数为常数
  7. 4-2-2 全纯函数任意阶可导-证明跳步骤的补充