数学分析:洛必达法则

差别

这里会显示出您选择的修订版和当前版本之间的差别。

到此差别页面的链接

两侧同时换到之前的修订记录 前一修订版
后一修订版		 前一修订版
数学分析:洛必达法则 [2026/06/02 22:35] – 张叶安数学分析:洛必达法则 [2026/06/02 22:40] (当前版本) – 张叶安
行 1: 行 1:
-===== 5. 定理依赖关系图 =====+===== 定理依赖关系图 =====
 <uml> <uml>
 @startuml @startuml
行 6: 行 6:
   实数完备性(确界原理)   实数完备性(确界原理)
 end note end note
-:费马引理(Fermat's Lemma);<-- :导数定义 + 极值定义;+:费马引理(Fermat's Lemma); 
 +note right 
 +  导数定义 + 极值定义 
 +end note
 :罗尔定理(Rolle's Thm); :罗尔定理(Rolle's Thm);
 :拉格朗日中值定理(Lagrange MVT); :拉格朗日中值定理(Lagrange MVT);
行 18: 行 21:
  
  
-===== 1. 罗尔定理（Rolle's Theorem） ===== +===== 洛必达法则（L'Hôpital's Rule） =====
- +
-==== 定理内容 ==== +
- +
-设函数 $f(x)$ 满足： +
-  * 在闭区间 $[a, b]$ 上**连续** +
-  * 在开区间 $(a, b)$ 内**可导** +
-  * $f(a) = f(b)$ +
- +
-则存在 $\xi \in (a, b)$，使得： +
-$$f'(\xi) = 0$$ +
- +
-==== 几何意义 ==== +
- +
-端点等高的连续光滑曲线，内部必有一点的切线水平（平行于 x 轴）。 +
- +
-==== 证明 ==== +
- +
-**第一步：最值存在性** +
- +
-由于 $f(x)$ 在 $[a, b]$ 连续，根据**闭区间连续函数最值定理**，$f(x)$ 在 $[a, b]$ 上必取得最大值 $M$ 和最小值 $m$。 +
- +
-**第二步：分类讨论** +
- +
-  - **情形一**：若 $M = m$，则 $f(x)$ 在 $[a, b]$ 上为**常函数**。 +
-    此时对任意 $x \in (a, b)$，$f'(x) = 0$，定理显然成立。 +
- +
-  - **情形二**：若 $M > m$，由于 $f(a) = f(b)$，则最大值 $M$ 和最小值 $m$ **至少有一个**在区间内部 $(a, b)$ 取得。 +
-    不妨设存在 $\xi \in (a, b)$，使得 $f(\xi) = M$（最大值情形）。 +
- +
-**第三步：费马引理** +
- +
-由于 $f(x)$ 在 $(a, b)$ 可导，且 $\xi$ 是** interior maximum point（内部极大值点）**，根据**费马引理**： +
-> 若 $f$ 在 $\xi$ 可导且 $\xi$ 是局部极值点，则 $f'(\xi) = 0$ +
- +
-因此： +
-$$f'(\xi) = 0$$ +
- +
-**证毕。** +
- +
- +
-===== 2. 拉格朗日中值定理（Lagrange MVT） ===== +
- +
-==== 定理内容 ==== +
- +
-设函数 $f(x)$ 满足： +
-  * 在 $[a, b]$ 上**连续** +
-  * 在 $(a, b)$ 内**可导** +
- +
-则存在 $\xi \in (a, b)$，使得： +
-$$f'(\xi) = \frac{f(b) - f(a)}{b - a}$$ +
- +
-==== 几何意义 ==== +
- +
-曲线上存在一点，其切线与端点连线平行。 +
- +
-==== 证明（利用罗尔定理） ==== +
- +
-**构造辅助函数**（消去"倾斜"，转化为罗尔定理的"水平"情形）： +
- +
-$$\varphi(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a}(x - a)$$ +
- +
-**验证 $\varphi(x)$ 满足罗尔定理条件**： +
- +
-  * **连续性**：$\varphi(x)$ 是连续函数的组合，在 $[a, b]$ 连续 +
-  * **可导性**：$\varphi(x)$ 在 $(a, b)$ 可导 +
-  * **端点值**： +
-    * $\varphi(a) = f(a) - f(a) - \frac{f(b)-f(a)}{b-a}(a-a) = 0$ +
-    * $\varphi(b) = f(b) - f(a) - \frac{f(b)-f(a)}{b-a}(b-a) = f(b)-f(a) - [f(b)-f(a)] = 0$ +
- +
-故 $\varphi(a) = \varphi(b) = 0$。 +
- +
-**应用罗尔定理**： +
- +
-存在 $\xi \in (a, b)$，使得 $\varphi'(\xi) = 0$。 +
- +
-计算导数： +
-$$\varphi'(x) = f'(x) - \frac{f(b) - f(a)}{b - a}$$ +
- +
-令 $\varphi'(\xi) = 0$： +
-$$f'(\xi) - \frac{f(b) - f(a)}{b - a} = 0$$ +
- +
-即： +
-$$f'(\xi) = \frac{f(b) - f(a)}{b - a}$$ +
- +
-**证毕。** +
- +
- +
-===== 3. 柯西中值定理（Cauchy MVT） ===== +
- +
-==== 定理内容 ==== +
- +
-设函数 $f(x)$ 和 $g(x)$ 满足： +
-  * 在 $[a, b]$ 上**连续** +
-  * 在 $(a, b)$ 内**可导** +
-  * $g'(x) \neq 0$ 对任意 $x \in (a, b)$ +
- +
-则存在 $\xi \in (a, b)$，使得： +
-$$\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(\xi)}{g'(\xi)}$$ +
- +
-==== 备注 ==== +
- +
-  * 由条件可推出 $g(b) \neq g(a)$（否则由罗尔定理，存在 $c$ 使 $g'(c)=0$，矛盾） +
-  * 令 $g(x) = x$ 即退化为**拉格朗日中值定理** +
- +
-==== 几何意义 ==== +
- +
-参数曲线 $(g(t), f(t))$ 上存在一点，其切线方向与端点连线方向相同。 +
- +
-==== 证明（利用罗尔定理） ==== +
- +
-**构造辅助函数**（类比拉格朗日的构造，将 $x-a$ 替换为 $g(x)-g(a)$）： +
- +
-$$\varphi(x) = f(x) - f(a) - \frac{f(b) - f(a)}{g(b) - g(a)}\big[g(x) - g(a)\big]$$ +
- +
-**验证 $\varphi(x)$ 满足罗尔定理条件**： +
- +
-  * **连续性**：在 $[a, b]$ 连续 +
-  * **可导性**：在 $(a, b)$ 可导 +
-  * **端点值**： +
-    * $\varphi(a) = f(a) - f(a) - \frac{f(b)-f(a)}{g(b)-g(a)}[g(a)-g(a)] = 0$ +
-    * $\varphi(b) = f(b) - f(a) - \frac{f(b)-f(a)}{g(b)-g(a)}[g(b)-g(a)] = 0$ +
- +
-故 $\varphi(a) = \varphi(b) = 0$。 +
- +
-**应用罗尔定理**： +
- +
-存在 $\xi \in (a, b)$，使得 $\varphi'(\xi) = 0$。 +
- +
-计算导数： +
-$$\varphi'(x) = f'(x) - \frac{f(b) - f(a)}{g(b) - g(a)} \cdot g'(x)$$ +
- +
-令 $\varphi'(\xi) = 0$： +
-$$f'(\xi) - \frac{f(b) - f(a)}{g(b) - g(a)} \cdot g'(\xi) = 0$$ +
- +
-整理得： +
-$$\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(\xi)}{g'(\xi)}$$ +
- +
-**证毕。** +
- +
- +
-===== 4. 洛必达法则（L'Hôpital's Rule） ===== +
- +
-==== 定理内容（$\frac{0}{0}$ 型） ====+
  
 设函数 $f(x)$ 和 $g(x)$ 满足： 设函数 $f(x)$ 和 $g(x)$ 满足：
行 170: 行 30:
 则： 则：
 $$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)} = L$$ $$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)} = L$$
- 
-==== 历史注记 ==== 
- 
-  * 由**洛必达侯爵**（Guillaume de l'Hôpital）于 1696 年发表 
-  * 实际由**约翰·伯努利**（Johann Bernoulli）发现，洛必达通过资助换取了署名权 
  
 ==== 证明（利用柯西中值定理） ==== ==== 证明（利用柯西中值定理） ====
行 209: 行 64:
  
 **证毕。** **证毕。**
- 
- 
- 
- 
- 
-===== 6. 使用注意事项 ===== 
  
 ==== 洛必达法则的常见错误 ==== ==== 洛必达法则的常见错误 ====
行 224: 行 73:
 | 忘记其他方法 | $\lim_{x\to 0} \frac{x-\sin x}{x^3}$ 洛必达需三次求导 | 泰勒展开：$\frac{x-(x-\frac{x^3}{6}+o(x^3))}{x^3} = \frac{1}{6}$ 更快 | | 忘记其他方法 | $\lim_{x\to 0} \frac{x-\sin x}{x^3}$ 洛必达需三次求导 | 泰勒展开：$\frac{x-(x-\frac{x^3}{6}+o(x^3))}{x^3} = \frac{1}{6}$ 更快 |
  
-==== 柯西中值定理的辅助函数构造技巧 ==== 
- 
-核心公式： 
-$$\varphi(x) = f(x) - f(a) - k \cdot [g(x) - g(a)]$$ 
- 
-其中常数 $k$ 由端点条件 $\varphi(b) = 0$ 确定： 
-$$k = \frac{f(b) - f(a)}{g(b) - g(a)}$$ 
- 
-**口诀**：//"原函数减起点值，减去比例乘另一差"// 
- 
- 
-===== 7. 经典例题 ===== 
- 
-==== 例1：验证罗尔定理 ==== 
- 
-设 $f(x) = x^2 - 3x + 2$ 在 $[1, 2]$ 上，验证罗尔定理。 
- 
-  * $f(1) = 1 - 3 + 2 = 0$ 
-  * $f(2) = 4 - 6 + 2 = 0$ 
-  * $f'(x) = 2x - 3 = 0 \Rightarrow x = \frac{3}{2} \in (1, 2)$ 
- 
-验证成立，$\xi = \frac{3}{2}$。 
- 
-==== 例2：拉格朗日中值定理求 $\xi$ ==== 
- 
-$f(x) = x^3$ 在 $[0, 2]$ 上，求 $\xi$。 
- 
-$$\frac{f(2)-f(0)}{2-0} = \frac{8-0}{2} = 4$$ 
-$$f'(\xi) = 3\xi^2 = 4 \Rightarrow \xi = \frac{2}{\sqrt{3}} = \frac{2\sqrt{3}}{3} \approx 1.155 \in (0, 2)$$ 
- 
-==== 例3：洛必达法则 ==== 
- 
-$$\lim_{x \to 0} \frac{e^x - 1 - x}{x^2}$$ 
- 
-  * 验证：$e^0 - 1 - 0 = 0$，分母 $0$，是 $\frac{0}{0}$ 型 
-  * 第一次洛必达：$\lim_{x\to 0} \frac{e^x - 1}{2x}$（仍是 $\frac{0}{0}$） 
-  * 第二次洛必达：$\lim_{x\to 0} \frac{e^x}{2} = \frac{1}{2}$ 
- 
-==== 例4：柯西中值定理应用 ==== 
- 
-设 $f(x) = e^x$，$g(x) = x^2$ 在 $[0, 1]$ 上，求 $\xi$。 
- 
-$$\frac{f(1)-f(0)}{g(1)-g(0)} = \frac{e - 1}{1 - 0} = e - 1$$ 
-$$\frac{f'(\xi)}{g'(\xi)} = \frac{e^\xi}{2\xi} = e - 1$$ 
  
-需解方程 $e^\xi = 2(e-1)\xi$，数值解 $\xi \approx 0.351$。 
Detach Close

该主题尚不存在

您访问的页面并不存在。如果允许，您可以使用创建该页面按钮来创建它。

  • 数学分析/洛必达法则.1780410907.txt.gz
  • 最后更改: 2026/06/02 22:35
  • 由 张叶安