Math ClubMath Club
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ã

fC([a,b]),  f(a)f(b)<0c(a,b):f(c)=0f \in C([a, b]), \; f(a) \cdot f(b) < 0 \Rightarrow \exists c \in (a, b) : f(c) = 0
Choose your door

Rigorous notation, full derivation, hypotheses

TVI 与变体

特例k=0k = 0):f(a)f(b)<0c(a,b):f(c)=0f(a) \cdot f(b) < 0 \Rightarrow \exists c \in (a, b) : f(c) = 0

应用 1:二分法(算法)

f(a)f(b)<0f(a) f(b) < 0

  1. m=(a+b)/2m = (a+b)/2
  2. f(m)=0f(m) = 0,停。
  3. f(a)f(m)<0f(a) f(m) < 0,在 [a,m][a, m] 重复。
  4. 否则在 [m,b][m, b] 重复。

收敛:每次迭代误差减半,cmn(ba)/2n|c - m_n| \leq (b-a)/2^n

应用 2:不动点

gC([a,b])g \in C([a, b])g([a,b])[a,b]g([a, b]) \subseteq [a, b],则 c\exists c 使 g(c)=cg(c) = c。对 f(x)=g(x)xf(x) = g(x) - x 用 TVI。

应用 3:方程解的存在性

cosx=x\cos x = xex=2xe^x = 2xtanx=x\tan x = x 由 TVI 有解。

通过完备性证明

S={x[a,b]:f(x)<k}S = \{x \in [a, b] : f(x) < k\}(设 f(a)<k<f(b)f(a) < k < f(b))。SS \neq \emptysetaSa \in S)有上界。取 c=supSc = \sup S。由连续性与上确界性质,f(c)=kf(c) = k

为何需要连续性

反例:f(x)=sgn(x)f(x) = \mathrm{sgn}(x)[1,1][-1, 1]f(1)=1f(-1) = -1f(1)=1f(1) = 1,但 ff 永不取 0,50{,}5。失败因 ff 在 0 不连续。

TVI vs TVM

TVI中间值存在性(ff 连续)。 TVM(中值定理,第56课):中间导数存在性(ff 可微)。

不要混淆。TVM 需可微;TVI 仅需连续。

Exercise list

36 exercises · 9 with worked solution (25%)

Application 15Understanding 8Modeling 7Challenge 2Proof 4
  1. Ex. 46.1ApplicationAnswer key
    f(x)=x3x1f(x) = x^3 - x - 1。证 (1,2)(1, 2) 有根。
  2. Ex. 46.2Application
    f(x)=x3x5f(x) = x^3 - x - 5。哪个区间有根?(答:(1,2)(1, 2)。)
  3. Ex. 46.3Application
    cosx=x\cos x = x(0,π/2)(0, \pi/2) 有解。证。
  4. Ex. 46.4Application
    ex=3xe^x = 3 - x(0,1)(0, 1) 有解。证。
  5. Ex. 46.5Application
    f(x)=x5+x31=0f(x) = x^5 + x^3 - 1 = 0(0,1)(0, 1) 有解。
  6. Ex. 46.6Application
    证奇次多项式至少有一实根。
  7. Ex. 46.7Application
    f(x)=xsinx1f(x) = x \sin x - 1(π/2,π)(\pi/2, \pi) 有根?
  8. Ex. 46.8Application
    tanx=x\tan x = x 有解?哪里?(答:x=0x = 0 与每个 ((n1/2)π,(n+1/2)π)((n-1/2)\pi, (n+1/2)\pi)n1n \geq 1。)
  9. Ex. 46.9Application
    ff[0,1][0, 1] 连续,f(0)=1,f(1)=0f(0) = 1, f(1) = 0。存在 cc 使 f(c)=1/2f(c) = 1/2?(答:是。)
  10. Ex. 46.10ApplicationAnswer key
    lnx=ex\ln x = e^{-x}(1,e)(1, e) 有解。
  11. Ex. 46.11Application
    f(x)=x42x1f(x) = x^4 - 2x - 1。证 (1,2)(1, 2)(1,0)(-1, 0) 有根。
  12. Ex. 46.12Application
    (0,π)(0, \pi) 中存在 cc 使 sinc=c/3\sin c = c/3?用 TVI。
  13. Ex. 46.13ApplicationAnswer key
    ff[0,1][0, 1] 连续,f(0)=f(1)f(0) = f(1)[0,1/2][0, 1/2] 中存在 cc 使 f(c)=f(c+1/2)f(c) = f(c + 1/2)?通过对 g(x)=f(x)f(x+1/2)g(x) = f(x) - f(x + 1/2) 用 TVI 证。
  14. Ex. 46.14Application
    x=cosxx = \cos xR\mathbb{R} 有唯一解。
  15. Ex. 46.15Application
    f(x)=x2x1f(x) = x \cdot 2^x - 1(0,1)(0, 1) 中有根?
  16. Ex. 46.16ModelingAnswer key
    二分法应用:x3x1x^3 - x - 1[1,2][1, 2] 上 5 次迭代。近似。
  17. Ex. 46.17Modeling
    [1,2][1, 2] 上误差 <106< 10^{-6} 需多少次二分?(答:约 20。)
  18. Ex. 46.18Modeling
    在电路中,隐方程 f(V)=0f(V) = 0 通过二分法求解。建模 f(V)=V2V1f(V) = V^2 - V - 1
  19. Ex. 46.19Modeling
    Black-Scholes 反演方程(隐含波动率)——TVI 保存在。二分法是牛顿的备选。
  20. Ex. 46.20Modeling
    心算实现二分法:从 [0,π/2][0, \pi/2]cosx=x\cos x = x 根 4 次迭代。
  21. Ex. 46.21Modeling
    在优化中,f(x)=0f'(x) = 0ff' 变号时通过 TVI 求解。
  22. Ex. 46.22Modeling
    在定价中,方程 NPV(r)=0\text{NPV}(r) = 0 通过二分法求 IRR。
  23. Ex. 46.23Understanding
    为何 TVI 中 ff 必连续?给反例。
  24. Ex. 46.24Understanding
    f(x)=(x1)/(x2)f(x) = (x-1)/(x-2)[1,3][1, 3] 不满足 TVI。为何?
  25. Ex. 46.25Understanding
    [0,1][0, 1] 上连续 f(0)=0,f(1)=1f(0) = 0, f(1) = 1[0,1][0, 1] 所有值。证。
  26. Ex. 46.26UnderstandingAnswer key
    ff[a,b][a, b] 连续,f(a)=f(b)f(a) = f(b)。TVI 给有用结论?说明。
  27. Ex. 46.27Understanding
    为何 TVI 在 Q\mathbb{Q} 失败?给具体例。
  28. Ex. 46.28Understanding
    TVI 保根唯一性?否。给反例。
  29. Ex. 46.29Understanding
    证:ff 连续,f(a)f(b)>0f(a)f(b) > 0蕴含无根。
  30. Ex. 46.30UnderstandingAnswer key
    ff[a,b][a, b] 连续单射。证 ff 单调。
  31. Ex. 46.31ChallengeAnswer key
    f(x)=xsin(1/x)f(x) = x \sin(1/x) 扩展 f(0)=0f(0) = 0 后在 0 连续。(1,0)(-1, 0) 中有根?
  32. Ex. 46.32Challenge
    f(x)=exx100f(x) = e^x - x^{100}R+\mathbb{R}^+根。
  33. Ex. 46.33Proof
    用完备性(f<kf < k 集上确界)证 TVI。
  34. Ex. 46.34ProofAnswer key
    用 TVI 证 1D Brouwer 不动点定理。
  35. Ex. 46.35ProofAnswer key
    证:fC([a,b])f \in C([a, b]) 单射严格单调。
  36. Ex. 46.36Proof
    [a,b][a, b][a,b][a, b] 的连续函数有不动点。

参考来源

Updated on 2026-04-30 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.