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ã
Rigorous notation, full derivation, hypotheses
IVT and variants
Special case (): .
Application 1: Bisection (algorithm)
If :
- .
- If , stop.
- If , repeat in .
- Otherwise, repeat in .
Convergence: error halves per iteration, .
Application 2: Fixed point
If with , then with . Apply IVT to .
Application 3: Existence of equation solutions
, , have solutions by IVT.
Proof via completeness
Let (assuming ). () and bounded above. Take . By continuity and supremum properties, .
Why continuity is needed
Counterexample: on . , , but never takes the value . Fails because is not continuous at 0.
IVT vs MVT
IVT: existence of an intermediate value ( continuous). MVT (Mean Value Theorem, Lesson 56): existence of an intermediate derivative ( differentiable).
Don't confuse them. MVT requires differentiability; IVT only continuity.
Exercise list
36 exercises · 9 with worked solution (25%)
- Ex. 46.1ApplicationAnswer key. Show it has a root in .
- Ex. 46.2Application. Root in which interval? (Ans: .)
- Ex. 46.3Applicationhas a solution in . Show.
- Ex. 46.4Applicationhas a solution in . Show.
- Ex. 46.5Applicationhas a solution in .
- Ex. 46.6ApplicationShow that an odd-degree polynomial has at least one real root.
- Ex. 46.7Applicationhas a root in ?
- Ex. 46.8Applicationhas solutions? Where? (Ans: and in each interval for .)
- Ex. 46.9Applicationcontinuous on with . Is there with ? (Ans: Yes.)
- Ex. 46.10ApplicationAnswer keyShow that has a solution in .
- Ex. 46.11Application. Show it has a root in and in .
- Ex. 46.12ApplicationIs there with in ? Use IVT.
- Ex. 46.13ApplicationAnswer keycontinuous on , . Is there with ? Show via IVT on .
- Ex. 46.14ApplicationShow that has a unique solution in .
- Ex. 46.15Application. Root in ?
- Ex. 46.16ModelingAnswer keyBisection application: 5 iterations on for the root of . Approximate.
- Ex. 46.17ModelingHow many bisection iterations on for error ? (Ans: ~20.)
- Ex. 46.18ModelingIn circuits, implicit equation solved via bisection. Model with .
- Ex. 46.19ModelingInverted Black-Scholes equation (implied vol) — IVT guarantees existence. Bisection is a Newton fallback.
- Ex. 46.20ModelingImplement bisection mentally: 4 iterations for the root of starting from .
- Ex. 46.21ModelingIn optimization, solved via IVT when changes sign.
- Ex. 46.22ModelingIn pricing, equation solved by bisection for IRR.
- Ex. 46.23UnderstandingWhy must be continuous in IVT? Provide a counterexample.
- Ex. 46.24UnderstandingShow that does not satisfy IVT on . Why?
- Ex. 46.25UnderstandingContinuous function on with takes every value in . Show.
- Ex. 46.26UnderstandingAnswer keycontinuous on , . Does IVT give a useful conclusion? Justify.
- Ex. 46.27UnderstandingWhy does IVT fail on ? Give a concrete example.
- Ex. 46.28UnderstandingDoes IVT guarantee uniqueness of the root? No. Give a counterexample.
- Ex. 46.29UnderstandingShow: continuous, , does NOT imply there is no root.
- Ex. 46.30UnderstandingAnswer keycontinuous on injective. Show is monotone.
- Ex. 46.31ChallengeAnswer keyShow that continuous at 0 (after extending with ). Has roots in ?
- Ex. 46.32ChallengeShow that has two roots in .
- Ex. 46.33ProofProve IVT using completeness (sup of the set where ).
- Ex. 46.34ProofAnswer keyProve the 1D Brouwer fixed-point theorem using IVT.
- Ex. 46.35ProofAnswer keyProve: injective is strictly monotone.
- Ex. 46.36ProofProve that continuous from to has a fixed point.
Sources
- Active Calculus — Boelkins · 2024 · §1.9.
- Calculus (Volume 1) — OpenStax · 2016 · §2.4.
- Cálculo Numérico (Python) — REAMAT · 2024 · ch. 3 (bisection).
- Basic Analysis — Lebl · 2024 · §3.3.