差别

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

--- 数学分析:洛必达法则 [2026/06/02 22:22] – 张叶安
+++ 数学分析:洛必达法则 [2026/06/02 22:40] (当前版本) – 张叶安
@@ 行 1: / 行 1: @@
-===== 5. 定理依赖关系图 =====
+===== 定理依赖关系图 =====
 <uml>
 @startuml
-skinparam backgroundColor #1a1a2e
+:闭区间最值定理(Extreme Value);
-skinparam handwritten false
+note right
+  实数完备性(确界原理)
-skinparam rectangle {
-    BackgroundColor<<fundamental>> #e74c3c20
-    BackgroundColor<<fermat>> #e67e2220
-    BackgroundColor<<rolle>> #f39c1220
-    BackgroundColor<<lagrange>> #27ae6020
-    BackgroundColor<<cauchy>> #3498db20
-    BackgroundColor<<lhopital>> #9b59b620
-    BorderColor<<fundamental>> #e74c3c
-    BorderColor<<fermat>> #e67e22
-    BorderColor<<rolle>> #f39c12
-    BorderColor<<lagrange>> #27ae60
-    BorderColor<<cauchy>> #3498db
-    BorderColor<<lhopital>> #9b59b6
-    BorderThickness 2
-    RoundCorner 15
-    Shadowing 1
-}
-skinparam note {
-    BackgroundColor #16213e
-    BorderColor #ffffff40
-    FontColor #ffffff80
-    FontSize 11
-}
-skinparam Arrow {
-    Color #ffffff60
-    Thickness 2
-}
-' 微积分定理依赖关系图
-rectangle "<color:#fff>**闭区间最值定理**</color>
-<color:#ffffff80>Extreme Value Theorem</color>" <<fundamental>> as EVT
-note right of EVT
-  ← 实数完备性（确界原理）
 end note
+:费马引理(Fermat's Lemma);
-rectangle "<color:#fff>**费马引理**</color>
+note right
-<color:#ffffff80>Fermat's Lemma</color>" <<fermat>> as FL
+  导数定义 + 极值定义
-note right of FL
-  ← 导数定义 + 极值定义
 end note
+:罗尔定理(Rolle's Thm);
-rectangle "<color:#fff>**罗尔定理**</color>
+:拉格朗日中值定理(Lagrange MVT);
-<color:#ffffff80>Rolle's Theorem</color>" <<rolle>> as RT
+:柯西中值定理(Cauchy MVT);
-note right of RT
+:洛必达法则(L'Hôpital's Rule);
-  端点等高 → 内部存在水平切线
-end note
-rectangle "<color:#fff>**拉格朗日中值定理**</color>
-<color:#ffffff80>Lagrange Mean Value Theorem</color>" <<lagrange>> as LMVT
-note right of LMVT
-  构造辅助函数，转化为罗尔定理
-end note
-rectangle "<color:#fff>**柯西中值定理**</color>
-<color:#ffffff80>Cauchy Mean Value Theorem</color>" <<cauchy>> as CMVT
-note right of CMVT
-  参数曲线形式，拉格朗日的推广
-end note
-rectangle "<color:#d4a5ff>**洛必达法则**</color>
-<color:#ffffff80>L'Hôpital's Rule</color>" <<lhopital>> as LHR
-note right of LHR
-  处理 0/0 与 ∞/∞ 型不定式极限
-end note
-' 依赖箭头
-EVT --> FL
-FL --> RT
-RT --> LMVT
-LMVT --> CMVT
-CMVT --> LHR
-' 标题
-legend right
-  |= 颜色 |= 层级 |
-  | <#e74c3c> | 分析基础 |
-  | <#e67e22> | 极值条件 |
-  | <#f39c12> | 核心工具 |
-  | <#27ae60> | 单函数推广 |
-  | <#3498db> | 双函数推广 |
-  | <#9b59b6> | 应用定理 |
-endlegend
-title 微积分三大定理证明链
-从罗尔到洛必达
-@enduml
 @enduml
 </uml>
@@ 行 106: / 行 21: @@
-<file>text>
+===== 洛必达法则（L'Hôpital's Rule） =====
-┌─────────────────┐
-│   闭区间最值定理  │  ← 实数完备性（确界原理）
-│  （Extreme Value│
-└────────┬────────┘
-         │
-         ▼
-┌─────────────────┐
-│    费马引理       │  ← 导数定义 + 极值定义
-│  （Fermat's Lemma│
-└────────┬────────┘
-         │
-         ▼
-┌─────────────────┐
-│    罗尔定理      │
-│  （Rolle's Thm） │
-└────────┬────────┘
-         │
-         ▼
-┌─────────────────┐
-│ 拉格朗日中值定理  │
-│ （Lagrange MVT） │
-└────────┬────────┘
-         │
-         ▼
-┌─────────────────┐
-│  柯西中值定理    │
-│  （Cauchy MVT）  │
-└────────┬────────┘
-         │
-         ▼
-┌─────────────────┐
-│   洛必达法则     │
-│ （L'Hôpital's Rule）│
-└─────────────────┘
-</file>
-===== 1. 罗尔定理（Rolle's Theorem） =====
-==== 定理内容 ====
-设函数 $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)$ 满足：
@@ 行 295: / 行 30: @@
 则：
 $$\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）发现，洛必达通过资助换取了署名权
 ==== 证明（利用柯西中值定理） ====
@@ 行 334: / 行 64: @@
 **证毕。**
-===== 6. 使用注意事项 =====
 ==== 洛必达法则的常见错误 ====
@@ 行 349: / 行 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}$ 更快 |
-==== 柯西中值定理的辅助函数构造技巧 ====
-核心公式：
-$$\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

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

差别

该主题尚不存在

张叶安的博客