v1 · padrão canônico
第46课 — 中间值定理(TVI)与应用
TVI: existência de raízes. Bisseção, ponto fixo. Conexão com continuidade e completude de R.
Used in: 2.º ano do EM (cálculo intro) · Equiv. Math II japonês §5 · Equiv. Analysis/Klasse 11 alemã
Choose your door
Rigorous notation, full derivation, hypotheses
TVI 与变体
特例():。
应用 1:二分法(算法)
若 :
- 。
- 若 ,停。
- 若 ,在 重复。
- 否则在 重复。
收敛:每次迭代误差减半,。
应用 2:不动点
若 且 ,则 使 。对 用 TVI。
应用 3:方程解的存在性
、、 由 TVI 有解。
通过完备性证明
设 (设 )。()有上界。取 。由连续性与上确界性质,。
为何需要连续性
反例: 在 。,,但 永不取 。失败因 在 0 不连续。
TVI vs TVM
TVI:中间值存在性( 连续)。 TVM(中值定理,第56课):中间导数存在性( 可微)。
不要混淆。TVM 需可微;TVI 仅需连续。
Exercise list
36 exercises · 9 with worked solution (25%)
Application 15Understanding 8Modeling 7Challenge 2Proof 4
- Ex. 46.1ApplicationAnswer key。证 有根。
- Ex. 46.2Application。哪个区间有根?(答:。)
- Ex. 46.3Application在 有解。证。
- Ex. 46.4Application在 有解。证。
- Ex. 46.5Application在 有解。
- Ex. 46.6Application证奇次多项式至少有一实根。
- Ex. 46.7Application在 有根?
- Ex. 46.8Application有解?哪里?(答: 与每个 ,。)
- Ex. 46.9Application在 连续,。存在 使 ?(答:是。)
- Ex. 46.10ApplicationAnswer key证 在 有解。
- Ex. 46.11Application。证 与 有根。
- Ex. 46.12Application中存在 使 ?用 TVI。
- Ex. 46.13ApplicationAnswer key在 连续,。 中存在 使 ?通过对 用 TVI 证。
- Ex. 46.14Application证 在 有唯一解。
- Ex. 46.15Application。 中有根?
- Ex. 46.16ModelingAnswer key二分法应用: 在 上 5 次迭代。近似。
- Ex. 46.17Modeling上误差 需多少次二分?(答:约 20。)
- Ex. 46.18Modeling在电路中,隐方程 通过二分法求解。建模 。
- Ex. 46.19ModelingBlack-Scholes 反演方程(隐含波动率)——TVI 保存在。二分法是牛顿的备选。
- Ex. 46.20Modeling心算实现二分法:从 求 根 4 次迭代。
- Ex. 46.21Modeling在优化中, 在 变号时通过 TVI 求解。
- Ex. 46.22Modeling在定价中,方程 通过二分法求 IRR。
- Ex. 46.23Understanding为何 TVI 中 必连续?给反例。
- Ex. 46.24Understanding证 在 不满足 TVI。为何?
- Ex. 46.25Understanding上连续 取 所有值。证。
- Ex. 46.26UnderstandingAnswer key在 连续,。TVI 给有用结论?说明。
- Ex. 46.27Understanding为何 TVI 在 失败?给具体例。
- Ex. 46.28UnderstandingTVI 保根唯一性?否。给反例。
- Ex. 46.29Understanding证: 连续,,不蕴含无根。
- Ex. 46.30UnderstandingAnswer key在 连续单射。证 单调。
- Ex. 46.31ChallengeAnswer key证 扩展 后在 0 连续。 中有根?
- Ex. 46.32Challenge证 在 有两根。
- Ex. 46.33Proof用完备性( 集上确界)证 TVI。
- Ex. 46.34ProofAnswer key用 TVI 证 1D Brouwer 不动点定理。
- Ex. 46.35ProofAnswer key证: 单射严格单调。
- Ex. 46.36Proof证 到 的连续函数有不动点。
参考来源
- Active Calculus — Boelkins · 2024 · §1.9。
- Calculus (Volume 1) — OpenStax · 2016 · §2.4。
- Cálculo Numérico (Python) — REAMAT · 2024 · 第3章(二分法)。
- Basic Analysis — Lebl · 2024 · §3.3。