´ lica de Chile

Pontificia Universidad Cato
´
Facultad de Matematicas
´ tica
Departamento de Matema
Segundo Semestre de 2013


alculo I - MAT 1116
14 de octubre de 2013
3.4.

Teorema del valor medio

Teorema 3.4.1 (Teorema de Rolle). f : [a, b] → R continua, diferenciable en (a, b). Si
f (a) = f (b) entonces f 0 (ξ) = 0 para alg´
un ξ ∈ (a, b).
Teorema 3.4.2 (Teorema del valor medio). f : [a, b] → R continua, diferenciable en (a, b),
f (b) − f (a)
para alg´
un ξ ∈ (a, b).
entonces f 0 (ξ) =
b−a
Proposici´
on. Si f 0 (x) = 0 para todo x ∈ (a, b) entonces f es constante en (a, b).

3.5.

Propiedad del valor intermedio (teorema de Darboux)

Teorema 3.5.1 (Teorema de Darboux, [Kit68], §6.2, Ej. 8). Suponga que f 0 existe en el
intervalo [a, b] y que K es cualquier n´
umero entre f 0 (a) y f 0 (b). Entonces existe X tal que
0
a < X < b y f (X) = K.
Demostraci´on. Sea g(x) := f (x) − Kx. Se tiene que g 0 (a) < 0 y g 0 (b) > 0 o viceversa. Esto
implica que el m´aximo de g se alcanza en el interior, no en la frontera. En ese punto de
m´aximo la derivada es cero: esto completa la demostraci´on.
Teorema 3.5.2 (Teorema generalizado del valor medio, [Kit68], Teo. 11.1.1). Sean f, g :
[a, b] → R continuas en [a, b], diferenciables en (a, b) y tales que g 0 6= 0 en todo (a, b).
f 0 (ξ)
f (b) − f (a)
= 0
para alg´
un ξ ∈ (a, b).
Entonces
g(b) − g(a)
g (ξ)
Demostraci´on. Como g 0 6= 0 en todo (a, b), por el teorema de Darboux se tiene que g 0 es
siempre positiva o bien siempre negativa. En ambos casos g es mon´otona y por lo tanto
invertible. Sea I el intervalo cerrado determinado por g(a) y g(b), sea φ = f ◦ g −1 . Por
teoremas anteriores tenemos que φ es continua en I y diferenciable en el interior de I, luego
existe η en el interior de I tal que
φ(g(b)) − φ(g(a)) = φ0 (η)(g(b) − g(a)).

(1)

Llamando ξ a ξ = g −1 (η) vemos que φ0 (η) = f 0 (ξ)/g 0 (ξ). Como φ(g(b)) = f (b) y φ(g(a)) =
f (a), se tiene el resultado pedido.
1

3.6. Derivadas de orden superior Si g = f 0 (x) a la derivada.

de g la llamamos segunda derivada de f . . Notaci´on: f 00 (x0 ).

2 .

n .

d f.

d f.

f 000 (x0 ) y f (n) (x0 ). . o bien y .

dx2 x=x0 dxn .

Teorema 3. §5. |Rn (x)| ≤ sup |f (n+1) | n! [x0 . 491). Secc. Observaci´on de Taylor. 4 3 5 1 1 1 log 2 = 1 − + − + · · · 2 3 4 P −2 2 Demostraci´on de Euler de que n = π6 .1. §11-2. 6! (3) Calcular la serie de la arcotangente y del logaritmo. p. ! |x − x0 |n+1 .x] Ejemplo.2. [Kit68]. Ejemplo. Regla de l’Hˆ opital Referencia: [Kit68. Polinomio de Taylor Ejemplo. 462. Aplicaciones 4. 484]. logaritmos y derivada del logaritmo: sea {xn }n∈N una sucesi´on de n´ umeros entre cero y uno tal que supn∈N n2 x2n < ∞.1) ≈ x5 5! (2) + ··· 1 1 1 − + . Aproximaci´on cuadr´atica en el caso del √ 9. Queremos demostrar que log yn → 0 cuando n → ∞. p. ´ordenes de aproximaci´on ¿C´omo encontrar los coeficientes del mejor polinomio que aproxima a una funci´on en un punto? F´ormula de Newton para los polinomios. Soluci´on: sea yn := (1 − x2n )n+1 .1 (Teorema de Taylor: [CJ71]. 4. Demuestre que (1 − x2n )n+1 → 1 cuando n → ∞.3.x=x0 3. F´ormula para el coseno de la suma de dos ´angulos. Serie de la exponencial y f´ormula eit = cos t + i sen t.7. Ejemplos de series basados en Taylor: 1 1 π = 1 − + − ··· (Courant. p. 11. 462. Regla de la cadena o L’Hˆopital. 2 . p. 5. f´ormula 7). Teo. 10 6000 12000000 |error| ≤ 10−7 < 10−9 . Serie de Taylor para definir sen z con z ∈ C.7.1.2. sen x = x − x3 3! + sen(0.1.

Introducci´on al C´alculo y al An´alisis Matem´ atico. 1968. [Kit68] Joseph Kitchen. (log x)q  x cuando x → ∞. 1971. Referencias [CJ71] Richard Courant y Fritz John. Funciones anal´ıticas. Limusa. n entonces     A2 A log(1 − zn2 ) (n + 1) log 1 − 2 = 1 + log(1 − zn2 ) = log(1 − zn2 ) + A .Sea A > 0 tal que n2 x2n < A2 para todo n ∈ N. Addison-Wesley. Calculus of one variable. M´exico. 3 . n zn zn Como zn → 0 cuando n → ∞ y log(1 − z 2 ) −2z = l´ım = 0. 2 Ejemplo. z→0 z→0 z 1 − z2 l´ım se tiene el resultado pedido. entonces 0 ≥ log yn = (n + 1) log(1 − x2n ) > (n + 1) log(1 − Sea zn = A2 ) ∀ n ∈ N. volumen 1. n2 A . Ejemplo. Serie de Taylor de e−1/x .