Math ClubMath Club
v1 · padrão canônico

Lesson 46 — Intermediate Value Theorem (IVT) and Applications

IVT: existence of roots. Bisection, fixed point. Connection with continuity and completeness of 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

IVT and variants

Special case (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.

Application 1: Bisection (algorithm)

If f(a)f(b)<0f(a) f(b) < 0:

  1. m=(a+b)/2m = (a+b)/2.
  2. If f(m)=0f(m) = 0, stop.
  3. If f(a)f(m)<0f(a) f(m) < 0, repeat in [a,m][a, m].
  4. Otherwise, repeat in [m,b][m, b].

Convergence: error halves per iteration, cmn(ba)/2n|c - m_n| \leq (b-a)/2^n.

Application 2: Fixed point

If gC([a,b])g \in C([a, b]) with g([a,b])[a,b]g([a, b]) \subseteq [a, b], then c\exists c with g(c)=cg(c) = c. Apply IVT to f(x)=g(x)xf(x) = g(x) - x.

Application 3: Existence of equation solutions

cosx=x\cos x = x, ex=2xe^x = 2x, tanx=x\tan x = x have solutions by IVT.

Proof via completeness

Let S={x[a,b]:f(x)<k}S = \{x \in [a, b] : f(x) < k\} (assuming f(a)<k<f(b)f(a) < k < f(b)). SS \neq \emptyset (aSa \in S) and bounded above. Take c=supSc = \sup S. By continuity and supremum properties, f(c)=kf(c) = k.

Why continuity is needed

Counterexample: f(x)=sgn(x)f(x) = \mathrm{sgn}(x) on [1,1][-1, 1]. f(1)=1f(-1) = -1, f(1)=1f(1) = 1, but ff never takes the value 0.50.5. Fails because ff is not continuous at 0.

IVT vs MVT

IVT: existence of an intermediate value (ff continuous). MVT (Mean Value Theorem, Lesson 56): existence of an intermediate derivative (ff differentiable).

Don't confuse them. MVT requires differentiability; IVT only continuity.

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. Show it has a root in (1,2)(1, 2).
  2. Ex. 46.2Application
    f(x)=x3x5f(x) = x^3 - x - 5. Root in which interval? (Ans: (1,2)(1, 2).)
  3. Ex. 46.3Application
    cosx=x\cos x = x has a solution in (0,π/2)(0, \pi/2). Show.
  4. Ex. 46.4Application
    ex=3xe^x = 3 - x has a solution in (0,1)(0, 1). Show.
  5. Ex. 46.5Application
    f(x)=x5+x31=0f(x) = x^5 + x^3 - 1 = 0 has a solution in (0,1)(0, 1).
  6. Ex. 46.6Application
    Show that an odd-degree polynomial has at least one real root.
  7. Ex. 46.7Application
    f(x)=xsinx1f(x) = x \sin x - 1 has a root in (π/2,π)(\pi/2, \pi)?
  8. Ex. 46.8Application
    tanx=x\tan x = x has solutions? Where? (Ans: x=0x = 0 and in each interval ((n1/2)π,(n+1/2)π)((n-1/2)\pi, (n+1/2)\pi) for n1n \geq 1.)
  9. Ex. 46.9Application
    ff continuous on [0,1][0, 1] with f(0)=1,f(1)=0f(0) = 1, f(1) = 0. Is there cc with f(c)=1/2f(c) = 1/2? (Ans: Yes.)
  10. Ex. 46.10ApplicationAnswer key
    Show that lnx=ex\ln x = e^{-x} has a solution in (1,e)(1, e).
  11. Ex. 46.11Application
    f(x)=x42x1f(x) = x^4 - 2x - 1. Show it has a root in (1,2)(1, 2) and in (1,0)(-1, 0).
  12. Ex. 46.12Application
    Is there cc with sinc=c/3\sin c = c/3 in (0,π)(0, \pi)? Use IVT.
  13. Ex. 46.13ApplicationAnswer key
    ff continuous on [0,1][0, 1], f(0)=f(1)f(0) = f(1). Is there c[0,1/2]c \in [0, 1/2] with f(c)=f(c+1/2)f(c) = f(c + 1/2)? Show via IVT on g(x)=f(x)f(x+1/2)g(x) = f(x) - f(x + 1/2).
  14. Ex. 46.14Application
    Show that x=cosxx = \cos x has a unique solution in R\mathbb{R}.
  15. Ex. 46.15Application
    f(x)=x2x1f(x) = x \cdot 2^x - 1. Root in (0,1)(0, 1)?
  16. Ex. 46.16ModelingAnswer key
    Bisection application: 5 iterations on [1,2][1, 2] for the root of x3x1x^3 - x - 1. Approximate.
  17. Ex. 46.17Modeling
    How many bisection iterations on [1,2][1, 2] for error <106< 10^{-6}? (Ans: ~20.)
  18. Ex. 46.18Modeling
    In circuits, implicit equation f(V)=0f(V) = 0 solved via bisection. Model with f(V)=V2V1f(V) = V^2 - V - 1.
  19. Ex. 46.19Modeling
    Inverted Black-Scholes equation (implied vol) — IVT guarantees existence. Bisection is a Newton fallback.
  20. Ex. 46.20Modeling
    Implement bisection mentally: 4 iterations for the root of cosx=x\cos x = x starting from [0,π/2][0, \pi/2].
  21. Ex. 46.21Modeling
    In optimization, f(x)=0f'(x) = 0 solved via IVT when ff' changes sign.
  22. Ex. 46.22Modeling
    In pricing, equation NPV(r)=0\text{NPV}(r) = 0 solved by bisection for IRR.
  23. Ex. 46.23Understanding
    Why must ff be continuous in IVT? Provide a counterexample.
  24. Ex. 46.24Understanding
    Show that f(x)=(x1)/(x2)f(x) = (x-1)/(x-2) does not satisfy IVT on [1,3][1, 3]. Why?
  25. Ex. 46.25Understanding
    Continuous function on [0,1][0, 1] with f(0)=0,f(1)=1f(0) = 0, f(1) = 1 takes every value in [0,1][0, 1]. Show.
  26. Ex. 46.26UnderstandingAnswer key
    ff continuous on [a,b][a, b], f(a)=f(b)f(a) = f(b). Does IVT give a useful conclusion? Justify.
  27. Ex. 46.27Understanding
    Why does IVT fail on Q\mathbb{Q}? Give a concrete example.
  28. Ex. 46.28Understanding
    Does IVT guarantee uniqueness of the root? No. Give a counterexample.
  29. Ex. 46.29Understanding
    Show: ff continuous, f(a)f(b)>0f(a)f(b) > 0, does NOT imply there is no root.
  30. Ex. 46.30UnderstandingAnswer key
    ff continuous on [a,b][a, b] injective. Show ff is monotone.
  31. Ex. 46.31ChallengeAnswer key
    Show that f(x)=xsin(1/x)f(x) = x \sin(1/x) continuous at 0 (after extending with f(0)=0f(0) = 0). Has roots in (1,0)(-1, 0)?
  32. Ex. 46.32Challenge
    Show that f(x)=exx100f(x) = e^x - x^{100} has two roots in R+\mathbb{R}^+.
  33. Ex. 46.33Proof
    Prove IVT using completeness (sup of the set where f<kf < k).
  34. Ex. 46.34ProofAnswer key
    Prove the 1D Brouwer fixed-point theorem using IVT.
  35. Ex. 46.35ProofAnswer key
    Prove: fC([a,b])f \in C([a, b]) injective is strictly monotone.
  36. Ex. 46.36Proof
    Prove that ff continuous from [a,b][a, b] to [a,b][a, b] has a fixed point.

Sources

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.