Appearance
基本指数不等式 (Fundamental Exponential Inequality)
对于任意实数 $x$：
$$ \color{Red}{e^x \geq 1 + x}, \quad \forall x \in \mathbb{R} $$
等号当且仅当 $x = 0$ 时成立。
[!核心地位] 这是指数不等式中最重要的一条，几乎所有其他的指数型不等式都可以由此推导出来。在高等数学中，它是 $e^x$ 的泰勒展开（Taylor Expansion）的一阶截断。
证明 (Proof)
构造函数 $f(x) = e^x - 1 - x$，$x \in \mathbb{R}$，则：
$$ f'(x) = e^x - 1 $$
令 $f'(x) = 0$得$x = 0$。
- 当 $x < 0$ 时，$f'(x) < 0$，$f(x)$ 单调递减（Decreasing）；
- 当 $x > 0$ 时，$f'(x) > 0$，$f(x)$ 单调递增（Increasing）。
故 $f(x)$在$x = 0$处取得全局最小值$f(0) = e^0 - 1 - 0 = 0$，即
$$ e^x - 1 - x \geq 0 \Rightarrow e^x \geq 1 + x $$
当且仅当 $x = 0$ 时等号成立。$\square$
推广 (Generalizations)
二阶推广
当 $x \geq 0$ 时：
$$ e^x \geq 1 + x + \frac{x^2}{2} $$
证明：构造函数 $g(x) = e^x - 1 - x - \dfrac{x^2}{2}$，则 $g'(x) = e^x - 1 - x$。由基本不等式 $e^x \geq 1+x$知$g'(x) \geq 0$，故 $g(x)$在$[0, +\infty)$ 上单调递增，$g(x) \geq g(0) = 0$。$\square$
一般形式 (泰勒展开截断)
对于 $x \geq 0$和任意$n \in \mathbb{N}$：
$$ e^x \geq \sum_{k=0}^{n} \frac{x^k}{k!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots + \frac{x^n}{n!} $$
[!注记] 这一系列不等式层层加强，每一项都是 $e^x$泰勒展开的部分和，体现了$e^x$ 的 Maclaurin 级数收敛性质。
伯努利不等式关联 (Connection to Bernoulli's Inequality)
伯努利不等式（Bernoulli's Inequality）：
$$ (1+x)^n \geq 1 + nx, \quad x > -1,\ n \in \mathbb{N} $$
与指数不等式的关系：由 $e^x \geq 1+x$，令 $x = \dfrac{y}{n}$，则
$$ e^{y/n} \geq 1 + \frac{y}{n} $$
两边取 $n$次方，注意到$e^y = (e^{y/n})^n$，由指数函数的单调性可得某种形式的逼近，但不等号方向与伯努利不等式在形式上相反——这正体现了多项式增长与指数增长在局部与全局行为上的差异。
[!理解] 从极限角度看，$\lim_{n \to \infty} (1+\frac{x}{n})^n = e^x$，二者在 $n$很大时趋近，但$e^x \geq 1+x$和$(1+x)^n \geq 1+nx$ 描述了不同层面的关系。前者是"连续"的指数约束，后者是"离散"的多项式约束。
指数与对数的关系 (Exponential-Logarithmic Relationship)
由 $e^x \geq 1+x$，令 $x = \ln t$（$t > 0$），得：
$$ e^{\ln t} \geq 1 + \ln t \quad\Rightarrow\quad t \geq 1 + \ln t $$
移项即得：
$$ \color{Red}{\ln x \leq x - 1}, \quad \forall x > 0 $$
等号当且仅当 $x = 1$时成立（因为$x=0$时$t=1$）。
[!等价性] $e^x \geq 1+x$与$\ln x \leq x-1$是等价的，二者通过$x \leftrightarrow \ln t$ 互相转化。这正是指数函数与对数函数互为反函数（Inverse Functions）的体现。
对数不等式的图形意义
曲线 $y = \ln x$恒在直线$y = x-1$的下方，且在点$(1, 0)$ 处相切。这为对数函数的凸性分析提供了直观依据。
例题 (Examples)
例1 比较 $e^\pi$与$\pi^e$ 的大小。
解：要比较 $e^\pi$与$\pi^e$，等价于比较 $\pi \ln e = \pi$与$e \ln \pi$，即比较 $\dfrac{\pi}{\ln \pi}$与$e$。
考虑函数 $f(x) = \dfrac{x}{\ln x}$（$x > 0, x \neq 1$），
$$ f'(x) = \frac{\ln x - 1}{(\ln x)^2} $$
- 当 $0 < x < e$ 时，$f'(x) < 0$；
- 当 $x > e$ 时，$f'(x) > 0$。
故 $f(x)$在$x = e$处取得最小值，即$f(e) = \dfrac{e}{\ln e} = e$。
因此 $f(\pi) = \dfrac{\pi}{\ln \pi} > f(e) = e$，即
$$ \frac{\pi}{\ln \pi} > e \quad\Rightarrow\quad \pi > e \ln \pi \quad\Rightarrow\quad e^\pi > \pi^e $$
等号仅在 $\pi = e$时成立，但$\pi > e$，故 $e^\pi > \pi^e$。$\square$
[!注记] 此题是经典的高等数学比较题，方法本质是：利用函数单调性比较两个"不能直接比较"的数。关键是构造合适的比较函数，再利用导数的符号判断单调性。
例2 求证：$e^x + e^{-x} \geq 2$。
证明：由基本指数不等式，$e^x \geq 1+x$且$e^{-x} \geq 1-x$，相加得：
$$ e^x + e^{-x} \geq (1+x) + (1-x) = 2 $$
当且仅当 $x = 0$ 时两个不等式同时取等。$\square$
另证：由 AM-GM不等式，$e^x + e^{-x} \geq 2\sqrt{e^x \cdot e^{-x}} = 2$，等号当且仅当 $e^x = e^{-x}$即$x = 0$。更为简洁。
例3 求证：$\forall x > 0,\ \ln(1+x) \geq \dfrac{x}{1+x}$。
证明：由 $\ln x \leq x-1$，令 $t = \dfrac{1}{1+x}$，则 $t \in (0, 1)$，
$$ \ln t \leq t - 1 \quad\Rightarrow\quad \ln\left(\frac{1}{1+x}\right) \leq \frac{1}{1+x} - 1 = -\frac{x}{1+x} $$
即 $-\ln(1+x) \leq -\dfrac{x}{1+x}$，故 $\ln(1+x) \geq \dfrac{x}{1+x}$。$\square$