Lección 46 — Teorema del Valor Intermedio (TVI) y aplicaciones
TVI: existencia de raíces. Bisección, punto fijo. Conexión con continuidad y completitud de 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
TVI y variantes
Caso particular (): .
Aplicación 1: Bisección (algoritmo)
Si :
- .
- Si , parar.
- Si , repetir en .
- Si no, repetir en .
Convergencia: el error se divide por la mitad por iteración, .
Aplicación 2: Punto fijo
Si con , entonces con . Aplicar TVI a .
Aplicación 3: Existencia de soluciones de ecuaciones
, , tienen soluciones por TVI.
Demostración vía completitud
Sea (asumiendo ). () y acotado superiormente. Toma . Por continuidad y propiedades del supremo, .
Por qué se necesita continuidad
Contraejemplo: en . , , pero nunca toma el valor . Falla porque no es continua en 0.
TVI vs TVM
TVI: existencia de valor intermedio ( continua). TVM (Teorema del Valor Medio, Lección 56): existencia de derivada intermedia ( derivable).
No confundir. TVM requiere derivabilidad; TVI solo continuidad.
Exercise list
36 exercises · 9 with worked solution (25%)
- Ex. 46.1ApplicationAnswer key. Demuestra que tiene raíz en .
- Ex. 46.2Application. ¿Raíz en qué intervalo? (Resp.: .)
- Ex. 46.3Applicationtiene solución en . Demuéstralo.
- Ex. 46.4Applicationtiene solución en . Demuéstralo.
- Ex. 46.5Applicationtiene solución en .
- Ex. 46.6ApplicationDemuestra que un polinomio de grado impar tiene al menos una raíz real.
- Ex. 46.7Application¿tiene raíz en ?
- Ex. 46.8Application¿tiene soluciones? ¿Dónde? (Resp.: y en cada intervalo para .)
- Ex. 46.9Applicationcontinua en con . ¿Existe con ? (Resp.: Sí.)
- Ex. 46.10ApplicationAnswer keyDemuestra que tiene solución en .
- Ex. 46.11Application. Demuestra que tiene raíz en y en .
- Ex. 46.12Application¿Existe con en ? Usa TVI.
- Ex. 46.13ApplicationAnswer keycontinua en , . ¿Existe con ? Demuéstralo vía TVI en .
- Ex. 46.14ApplicationDemuestra que tiene solución única en .
- Ex. 46.15Application. ¿Raíz en ?
- Ex. 46.16ModelingAnswer keyAplicación a la bisección: 5 iteraciones en para la raíz de . Aproxima.
- Ex. 46.17Modeling¿Cuántas iteraciones de bisección en para error ? (Resp.: ~20.)
- Ex. 46.18ModelingEn circuitos, ecuación implícita resuelta por bisección. Modélala con .
- Ex. 46.19ModelingEcuación Black-Scholes invertida (vol implícita): el TVI garantiza existencia. La bisección es fallback de Newton.
- Ex. 46.20ModelingImplementa la bisección mentalmente: 4 iteraciones para la raíz de a partir de .
- Ex. 46.21ModelingEn optimización, resuelto vía TVI cuando cambia de signo.
- Ex. 46.22ModelingEn pricing, ecuación resuelta por bisección para la TIR.
- Ex. 46.23Understanding¿Por qué debe ser continua en el TVI? Exhibe contraejemplo.
- Ex. 46.24UnderstandingDemuestra que no satisface el TVI en . ¿Por qué?
- Ex. 46.25UnderstandingUna función continua en con asume todo valor en . Demuéstralo.
- Ex. 46.26UnderstandingAnswer keycontinua en , . ¿El TVI da conclusión útil? Justifícalo.
- Ex. 46.27Understanding¿Por qué el TVI falla en ? Da ejemplo concreto.
- Ex. 46.28Understanding¿El TVI garantiza unicidad de la raíz? No. Da contraejemplo.
- Ex. 46.29UnderstandingDemuestra: continua, , NO implica que no haya raíz.
- Ex. 46.30UnderstandingAnswer keycontinua en inyectiva. Demuestra que es monótona.
- Ex. 46.31ChallengeAnswer keyDemuestra que continua en 0 (tras extender con ). ¿Tiene raíces en ?
- Ex. 46.32ChallengeDemuestra que tiene dos raíces en .
- Ex. 46.33ProofDemuestra el TVI usando completitud (sup del conjunto donde ).
- Ex. 46.34ProofAnswer keyDemuestra el teorema del punto fijo de Brouwer 1D usando el TVI.
- Ex. 46.35ProofAnswer keyDemuestra: inyectiva es estrictamente monótona.
- Ex. 46.36ProofDemuestra que continua de en tiene punto fijo.
Fuentes
- Active Calculus — Boelkins · 2024 · §1.9.
- Calculus (Volume 1) — OpenStax · 2016 · §2.4.
- Cálculo Numérico (Python) — REAMAT · 2024 · cap. 3 (bisección).
- Basic Analysis — Lebl · 2024 · §3.3.