Math ClubMath Club
v1 · padrão canônico

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ã

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 y variantes

Caso particular (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.

Aplicación 1: Bisección (algoritmo)

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

  1. m=(a+b)/2m = (a+b)/2.
  2. Si f(m)=0f(m) = 0, parar.
  3. Si f(a)f(m)<0f(a) f(m) < 0, repetir en [a,m][a, m].
  4. Si no, repetir en [m,b][m, b].

Convergencia: el error se divide por la mitad por iteración, cmn(ba)/2n|c - m_n| \leq (b-a)/2^n.

Aplicación 2: Punto fijo

Si gC([a,b])g \in C([a, b]) con g([a,b])[a,b]g([a, b]) \subseteq [a, b], entonces c\exists c con g(c)=cg(c) = c. Aplicar TVI a f(x)=g(x)xf(x) = g(x) - x.

Aplicación 3: Existencia de soluciones de ecuaciones

cosx=x\cos x = x, ex=2xe^x = 2x, tanx=x\tan x = x tienen soluciones por TVI.

Demostración vía completitud

Sea S={x[a,b]:f(x)<k}S = \{x \in [a, b] : f(x) < k\} (asumiendo f(a)<k<f(b)f(a) < k < f(b)). SS \neq \emptyset (aSa \in S) y acotado superiormente. Toma c=supSc = \sup S. Por continuidad y propiedades del supremo, f(c)=kf(c) = k.

Por qué se necesita continuidad

Contraejemplo: f(x)=sgn(x)f(x) = \mathrm{sgn}(x) en [1,1][-1, 1]. f(1)=1f(-1) = -1, f(1)=1f(1) = 1, pero ff nunca toma el valor 0,50{,}5. Falla porque ff no es continua en 0.

TVI vs TVM

TVI: existencia de valor intermedio (ff continua). TVM (Teorema del Valor Medio, Lección 56): existencia de derivada intermedia (ff derivable).

No confundir. TVM requiere derivabilidad; TVI solo continuidad.

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. Demuestra que tiene raíz en (1,2)(1, 2).
  2. Ex. 46.2Application
    f(x)=x3x5f(x) = x^3 - x - 5. ¿Raíz en qué intervalo? (Resp.: (1,2)(1, 2).)
  3. Ex. 46.3Application
    cosx=x\cos x = x tiene solución en (0,π/2)(0, \pi/2). Demuéstralo.
  4. Ex. 46.4Application
    ex=3xe^x = 3 - x tiene solución en (0,1)(0, 1). Demuéstralo.
  5. Ex. 46.5Application
    f(x)=x5+x31=0f(x) = x^5 + x^3 - 1 = 0 tiene solución en (0,1)(0, 1).
  6. Ex. 46.6Application
    Demuestra que un polinomio de grado impar tiene al menos una raíz real.
  7. Ex. 46.7Application
    f(x)=xsinx1f(x) = x \sin x - 1 ¿tiene raíz en (π/2,π)(\pi/2, \pi)?
  8. Ex. 46.8Application
    tanx=x\tan x = x ¿tiene soluciones? ¿Dónde? (Resp.: x=0x = 0 y en cada intervalo ((n1/2)π,(n+1/2)π)((n-1/2)\pi, (n+1/2)\pi) para n1n \geq 1.)
  9. Ex. 46.9Application
    ff continua en [0,1][0, 1] con f(0)=1,f(1)=0f(0) = 1, f(1) = 0. ¿Existe cc con f(c)=1/2f(c) = 1/2? (Resp.: Sí.)
  10. Ex. 46.10ApplicationAnswer key
    Demuestra que lnx=ex\ln x = e^{-x} tiene solución en (1,e)(1, e).
  11. Ex. 46.11Application
    f(x)=x42x1f(x) = x^4 - 2x - 1. Demuestra que tiene raíz en (1,2)(1, 2) y en (1,0)(-1, 0).
  12. Ex. 46.12Application
    ¿Existe cc con sinc=c/3\sin c = c/3 en (0,π)(0, \pi)? Usa TVI.
  13. Ex. 46.13ApplicationAnswer key
    ff continua en [0,1][0, 1], f(0)=f(1)f(0) = f(1). ¿Existe c[0,1/2]c \in [0, 1/2] con f(c)=f(c+1/2)f(c) = f(c + 1/2)? Demuéstralo vía TVI en g(x)=f(x)f(x+1/2)g(x) = f(x) - f(x + 1/2).
  14. Ex. 46.14Application
    Demuestra que x=cosxx = \cos x tiene solución única en R\mathbb{R}.
  15. Ex. 46.15Application
    f(x)=x2x1f(x) = x \cdot 2^x - 1. ¿Raíz en (0,1)(0, 1)?
  16. Ex. 46.16ModelingAnswer key
    Aplicación a la bisección: 5 iteraciones en [1,2][1, 2] para la raíz de x3x1x^3 - x - 1. Aproxima.
  17. Ex. 46.17Modeling
    ¿Cuántas iteraciones de bisección en [1,2][1, 2] para error <106< 10^{-6}? (Resp.: ~20.)
  18. Ex. 46.18Modeling
    En circuitos, ecuación implícita f(V)=0f(V) = 0 resuelta por bisección. Modélala con f(V)=V2V1f(V) = V^2 - V - 1.
  19. Ex. 46.19Modeling
    Ecuación Black-Scholes invertida (vol implícita): el TVI garantiza existencia. La bisección es fallback de Newton.
  20. Ex. 46.20Modeling
    Implementa la bisección mentalmente: 4 iteraciones para la raíz de cosx=x\cos x = x a partir de [0,π/2][0, \pi/2].
  21. Ex. 46.21Modeling
    En optimización, f(x)=0f'(x) = 0 resuelto vía TVI cuando ff' cambia de signo.
  22. Ex. 46.22Modeling
    En pricing, ecuación NPV(r)=0\text{NPV}(r) = 0 resuelta por bisección para la TIR.
  23. Ex. 46.23Understanding
    ¿Por qué ff debe ser continua en el TVI? Exhibe contraejemplo.
  24. Ex. 46.24Understanding
    Demuestra que f(x)=(x1)/(x2)f(x) = (x-1)/(x-2) no satisface el TVI en [1,3][1, 3]. ¿Por qué?
  25. Ex. 46.25Understanding
    Una función continua en [0,1][0, 1] con f(0)=0,f(1)=1f(0) = 0, f(1) = 1 asume todo valor en [0,1][0, 1]. Demuéstralo.
  26. Ex. 46.26UnderstandingAnswer key
    ff continua en [a,b][a, b], f(a)=f(b)f(a) = f(b). ¿El TVI da conclusión útil? Justifícalo.
  27. Ex. 46.27Understanding
    ¿Por qué el TVI falla en Q\mathbb{Q}? Da ejemplo concreto.
  28. Ex. 46.28Understanding
    ¿El TVI garantiza unicidad de la raíz? No. Da contraejemplo.
  29. Ex. 46.29Understanding
    Demuestra: ff continua, f(a)f(b)>0f(a)f(b) > 0, NO implica que no haya raíz.
  30. Ex. 46.30UnderstandingAnswer key
    ff continua en [a,b][a, b] inyectiva. Demuestra que ff es monótona.
  31. Ex. 46.31ChallengeAnswer key
    Demuestra que f(x)=xsin(1/x)f(x) = x \sin(1/x) continua en 0 (tras extender con f(0)=0f(0) = 0). ¿Tiene raíces en (1,0)(-1, 0)?
  32. Ex. 46.32Challenge
    Demuestra que f(x)=exx100f(x) = e^x - x^{100} tiene dos raíces en R+\mathbb{R}^+.
  33. Ex. 46.33Proof
    Demuestra el TVI usando completitud (sup del conjunto donde f<kf < k).
  34. Ex. 46.34ProofAnswer key
    Demuestra el teorema del punto fijo de Brouwer 1D usando el TVI.
  35. Ex. 46.35ProofAnswer key
    Demuestra: fC([a,b])f \in C([a, b]) inyectiva es estrictamente monótona.
  36. Ex. 46.36Proof
    Demuestra que ff continua de [a,b][a, b] en [a,b][a, b] tiene punto fijo.

Fuentes

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.