ANÁLISIS MATEMÁTICO I

Agosto 2019

1 Sobre Proposiciones y Teoremas

Los enunciados matemáticos tienen caracterı́sticas generales, que introducimos a modo de definición:

Proposición. Es una afirmación que contiene una hipótesis (un supuesto) P y una tesis (conclusión) Q tal que:
siempre que P sea una sentencia verdadera, se puede asegurar que Q también es una sentencia verdadera. A
veces puede ocurrir que una Proposición no tenga una hipótesis. En ese caso debe entenderse que los resultados y
convenciones tomadas en el texto de referencia se toman como supuestos, ocupando el lugar de la hipótesis.

Cuando en un texto se quiere diferenciar cuál es la importancia de cada Proposición, se usan nombres distintos:

• Teorema. Es una Proposición que se considera muy importante, posiblemente debido a que tiene una
naturaleza básica, fundamental, en la materia que se estudia.

• Lema. Es una Proposición auxiliar que permite demostrar una parte crucial de uno o varios Teoremas.

• Corolario. Es una Proposición que se deduce rápidamente a partir de un Teorema, y que también se enuncia
debido a su utilidad práctica.

2 Sobre cómo demostrar o utilizar una Proposición o Teorema

Demostración. El método tı́pico que permite validar una Proposición es la demostración, que consiste en una
argumentación, un razonamiento lógico válido, que contiene una secuencia de implicaciones, que paso a paso van
llevando desde la hipótesis hasta la conclusión.
Resolución de problemas. A la hora de resolver un problema, sin embargo, la manera de aplicar una
Proposición consiste en (1) demostrar que las hipótesis se cumplen para el enunciado, o parte del enunciado del
problema propuesto; y (2) escribir la conclusión de la Proposición aplicada a los elementos particulares a los que se
refiere el enunciado.

3 Proposiciones en Análisis Matemático I

Este documento será utilizado durante las clases para construir con los estudiantes las demostraciones de los teo-
remas correspondientes. La evaluación de los mismos se realizará de igual manera en los parcialitos y parciales de
la asignatura. El objetivo es adquirir la lógica aplicada en las demostraciones como herramienta deductiva y no
memorı́stica.

1
3.1 UNIDAD 2: Lı́mites y Continuidad de funciones
A continuación estudiaremos algunas propiedades de los lı́mites de funciones, que nos ayudaran a determinar el
valor de algunos lı́mites, ası́ como también a demostrar la validez de los lı́mites en forma sencilla.

3.1.1 Teorema 2.24. Unicidad del Lı́mite

Sea f una función definida en todos los puntos de un intervalo abierto (a, b) que contiene a x0 , con posible excepción
del x0 . Si existe el lı́mite de la función en el punto x0 , este es único.
* Identifique y haga una lista de las hipótesis y la tesis del teorema

Demostración por el absurdo Supongamos que existen l1 , l2 ∈ R con l1 6= l2 , tal que

lim f (x) = l1 y lim f (x) = l2

x→x0 x→x0

* Escriba la definición para cada uno de los lı́mites considerando δ1 y δ2 para los lı́mites l1 y l2 y
acotando con /2 en cada caso

Luego si consideramos δ = min {δ1 , δ2 }, entonces si 0 < |x − x0 | < δ sucede que

|l1 − l2 | = |l1 − l2 − f (x) + f (x)| ≤ |l1 − f (x)| + |f (x) − l2 | < ε/2 + ε/2 = ε

Pero como esta desigualdad es válida para todo valor positivo de ε, |l1 − l2 | = 0 (por ser 0 el único número real no
negativo que es menor que ε, para cualquier ε). Luego l1 = l2
* ¿Cómo concluye el teorema?

3.1.2 Teorema 2.26 Propiedades Algebraicas de los lı́mites

Sean f y g funciones que tienen lı́mite en c, es decir existen

lim f (x) y lim g(x)

x→c x→c

y k un número real. Entonces valen las siguientes igualdades:

* Complete en cada caso lo que corresponda, considerando la existencia de los lı́mites

i) lim k = ...
x→c

ii) lim x = ...

x→c

iii) lim [f (x) ± g(x)] = lim f (x) ± lim g(x)

x→c x→c x→c

iv) lim [f (x).g(x)] = ...)

x→c

v) limx→c [f (x)/g(x)] = limx→c f (x) limx→c g(x) si ...

h in
n
vi) lim [f (x)] = lim f (x) para cada n ∈ N
x→c x→c

2
 p q
vii) lim n
f (x) = n lim f (x) para cada n ∈ N(en el caso de que n sea par, ...)
x→c x→c
h i
viii) lim [ln f (x)] = ln lim f (x) si ...
x→c x→c

ix) lim [f (x)g(x) ] = ...

x→c

El siguiente teorema conocido como teorema del emparedado (o teorema de la compresión, o teorema de encaje)
afirma que si dos funciones tienen el mismo lı́mite L cuando x tiende a x0 , entonces cualquier otra función que
pueda ser acotada entre las dos anteriores, tendrá lı́mite L cuando x tiende a x0 . Es un teorema muy útil para
determinar el lı́mite de ciertas funciones un poco raras.

3.1.3 Teorema 2.30 del emparedado

Sean f, g y h tres funciones definidas en un intervalo (a, b), con posible excepción del x0 , que cumplen las siguientes
condiciones:

1. lim f (x) = L = lim g(x) (tienen el mismo lı́mite cuando x tiende a x0 ).

x→x0 x→x0

2. ∀x ∈ (a, b), x 6= x0 se cumple que f (x) ≤ h(x) ≤ g(x) (la función h está acotada por las funciones f y g en el
intervalo (a, b) salvo, quizás en x0 )

Entonces
lim h(x) = L
x→x0

* Identifique y haga una lista de las hipótesis y la tesis del teorema

En la siguiente representación gráfica se ilustra el teorema del emparedado

3
 Demostración
* Escriba la definición para cada uno de los lı́mites considerando δ1 y δ2 para las funciones f (x) y
g(x)

Consideremos δ = min {δ1 , δ2 }, entonces si 0 < |x − x0 | < δ sucede que

−ε < f (x) − L < ε y −ε < g(x) − L < ε

y como ∀x ∈ (a, b), x 6= x0 sucede que f (x) ≤ h(x) ≤ g(x), se cumple que ...

* ¿Cómo puede trabajar con ambas desigualdades para concluir la demostración?

3.1.4 Teorema 2.63 Continuidad en un punto

Sean f y g : A ⊂ R → R funciones continuas en el punto x0 y k un número real, entonces se cumplen las siguientes
afirmaciones:

(i) k.f es continua en x0

ii) f ± g es continua en x0 .

4
ii) f.g es continua en x0 .
f
iv) g es continua en x0 , si g(x0 ) 6= 0.

* Identifique las hipótesis de partida

3.1.5 Teorema 2.72 Continuidad en un punto

Sean f y g : A ⊂ R → R funciones continuas y k un número real, entonces se cumplen las siguientes afirmaciones:
* Escriba las propiedades que se cumplen comparando este teorema con el Teorema 2.63.

* ¿Para qué valores de x se cumple el cociente de funciones?

3.1.6 Teorema 2.75 Teorema de Bolzano

Sea f una función continua definida en el intervalo cerrado [a, b], tal que f (a) y f (b) tienen signos opuestos entonces
existe al menos un número real x0 perteneciente al intervalo (a, b) tal que f (x0 ) = 0.
* Aplicación: Demostrar que se cumplen las hipótesis en el siguiente enunciado y escribir la conclusión
del Teorema
4x3 −12x+4
Ejercicio propuesto: La función f (x) = x+1 tiene una raı́z en el intervalo [1; 2]

3.1.7 Teorema 2.79 Teorema del Valor Intermedio

Sea f una función continua definida en el intervalo cerrado [a, b] tal que f (a) < f (b). Si d es cualquier número entre
f (a) y f (b), f (a) < d < f (b), entonces existe un punto c ∈ (a, b) tal que f (c) = d.
* Identifique y haga una lista de las hipótesis y la tesis del teorema

* Esboce un gráfico que le ayude a interpretar el teorema

Demostración Consideremos la función g(x) = f (x) − d, es una función contı́nua en el intervalo cerrado [a, b],
porque es resta de funciones contı́nuas (f (x) por hipótesis y d por ser constante), además
(
g(a) = f (a) − d < 0
g(b) = f (b) − d > 0

ya que de
f (a) < d < f (b) =⇒ f (a) − d < 0 < f (b) − d

Luego estamos en condiciones de aplicar a la función g(x) el Teorema de Bolzano, entonces ...
* Concluya la demostración aplicando el Teorema de Bolzano

Además c 6= a, porque sino serı́a g(c) = g(a) = f (a) − d = 0. Absurdo. Se procede análogamente para
demostrar c 6= b.

5
3.2 UNIDAD 3: Derivada
3.2.1 Teorema 3.12 Continuidad y Derivabilidad

Si una función f es derivable en x0 , entonces f es continua en x0

Demostración Sea f derivable en x0 , entonces existe el lı́mite ... escriba la definición de derivada
Para probar que la función f es continua en x0 deberemos mostrar que limx→x0 f (x) = f (x0 )
Para lograrlo, partimos de

f (x) − f (x0 ) f (x) − f (x0 )

lim f (x) − f (x0 ) = lim (x − x0 ) = lim . lim (x − x0 )
x→x0 x→x0 x − x0 x→x0 x − x0 x→x0

*¿qué propiedad utilizó para poder realizar el anterior paso?

*¿cómo puede continuar la demostración para llegar a la última lı́nea que se plantea debajo?

lim [f (x) − f (x0 )] = 0 =⇒ lim f (x) = lim f (x0 ) = f (x0 )

x→x0 x→x0 x→x0

que es lo que querı́amos probar.

3.2.2 Teorema 3.18 Propiedad de Linealidad

Si f y g son dos funciones derivables, entonces la suma f + g y el producto por un escalar k.f también son funciones
derivables y se cumple:

• (k.f )0 (x) = k.f 0 (x)

0
• (f + g) (x) = f 0 (x) + g 0 (x)

* Identifique y haga una lista de las hipótesis y la tesis del teorema Demostración
Primera propiedad:
0
(k.f ) (x) = limh→0 (k.f )(x+h)−(k.f
h
)(x)
= limh→0 k.f (x+h)−k.f
h
(x)

* Extraiga factor comun en el numerador del lı́mite y construya la conclusión de la demostración

detallando qué propiedad utiliza

...= k.f 0 (x)

Segunda propiedad:

0 (f +g)(x+h)−(f +g)(x) f (x+h)+g(x+h)−f (x)−g(x)

(f + g) (x) = limh→0 h = limh→0 h
* Redistribuya los términos del numerados en el lı́mite y construya la conclusión de la demostración
detallando qué propiedad utiliza

... = f 0 (x) + g 0 (x)

3.2.3 Teorema 3.47

Si f es una función continua en el intervalo [a, b], entonces existen x1 , x2 ∈ [a, b] tal que (x1 , f (x1 )) es un máximo
absoluto de f y (x2 , f (x2 )) es un mı́nimo absoluto de f
* Identifique las hipótesis y la tesis del teorema y esboce una gráfica que lo ejemplifique

6
3.2.4 Teorema 3.48 (Fermat)

Sea f definida en el intervalo abierto (a, b), y x0 ∈ (a, b). Si f es derivable en x0 y (x0 , f (x0 )) es un máximo o un
mı́nimo de f entonces
f 0 (x0 ) = 0

* Identifique y haga una lista de las hipótesis y la tesis del teorema

* Esboce un gráfico que ejemplifique el enunciado

Demostración
Supongamos primero que (x0 , f (x0 )) es un mı́nimo =⇒ f (x0 ) ≤ f (x)∀x ∈ (a, b) . Como f es derivable en x0 , en-
tonces existe f 0 (x0 ). Analicemos las derivadas laterales de la función f en x0 . Consideremos primero la derivada
lateral por derecha
0 f (x) − f (x0 )
f + (x0 ) = lim
x→x+
0
x − x0

* Analice el signo del numerador y del denominador del lı́mite y extraiga una conclusión respecto
del signo de la derivada

Consideramos ahora la derivada lateral por izquierda

0 f (x) − f (x0 )
f − (x0 ) = lim
x→x−
0
x − x0

* Analice el signo del numerador y del denominador del lı́mite y extraiga una conclusión respecto
del signo de la derivada

luego ... * ¿Cómo concluye que la derivada en el punto x0 es cero?

3.2.5 Teorema 3.51 (Rolle)

Sea f una función que cumple las siguientes condiciones:

i) Continua en [a, b] .

ii) Derivable en (a, b) .

iii) f (a) = f (b).

Entonces existe al menos un valor real c, perteneciente al intervalo (a, b), tal que f 0 (c) = 0.

* Identifique las hipótesis y la tesis del teorema

* Esboce un gráfico que ejemplifique el enunciado
Demostración
Como f es una función continua en el intervalo cerrado [a, b] por el teorema 3.47, f alcanza en dicho intervalo
un máximo y un mı́nimo.
Sean (x1 , f (x1 )) mı́nimo absoluto y (x2 , f (x2 )) máximo absoluto.

7
 Si x1 6= a y x1 6= b (no es ninguno de los extremos) entonces x1 ∈ (a, b), y se cumplen las condiciones del
Teorema de Fermat para (x1 , f (x1 )). Luego
0
f (x1 ) = 0

es decir c = x1
* ¿Qué ocurre cuando x2 no está en alguno de los extremos del intervalo?

* ¿Qué ocurre cuando x1 y x2 están en los extremos del intervalo?

3.2.6 Teorema 3.56 (Lagrange o Teorema del Valor Medio)

Sea f una función que cumple las siguientes condiciones:

i) Continua en [a, b] .

ii) Derivable en (a, b) .

Entonces existe al menos un valor real c, perteneciente al intervalo (a, b), tal que

f (b) − f (a)
f 0 (c) =
b−a

* Identifique hipótesis y tesis y esboce un gráfico que ejemplifique el enunciado del teorema

Demostración
Consideremos para cada x ∈ [a, b] , la longitud g(x) del segmento vertical indicado en la figura,

g(x) = f (x) − y

para determinar y consideremos la recta que pasa por los puntos (a, f (a)) y (b, f (b))

y − f (a) x−a
=
f (b) − f (a) b−a

f (b) − f (a)
=⇒ y = (x − a) + f (a)
b−a
luego
f (b) − f (a)
g(x) = f (x) − y = f (x) − (x − a) − f (a)
b−a
* La función g(x) ¿es continua en[a, b]?, ¿es derivable en (a, b)?, ¿qué valor toma la función en los
extremos del intervalo?

* Observando las condiciones anteriores, ¿qué teorema anterior puede aplicar para demostrar el
teorema de Lagrange?

8
3.2.7 Teorema 3.59 (Cauchy)

Sean las funciones f y g

i) Continuas en [a, b] .

ii) Derivables en (a, b) .

iii) g 0 (x) 6= 0 en todos los valores del intervalo (a, b) .

Entonces existe al menos un valor real c perteneciente al intervalo (a, b) tal que
f 0 (c) f (b) − f (a)
=
g 0 (c) g (b) − g (a)
Demostración
Consideremos la función

h(x) = (f (b) − f (a))(g(x) − g(a)) − (g (b) − g (a))(f (x) − f (a))

la función h(x) es continua en [a, b] y derivable en (a, b) , por ser producto y diferencia de funciones de ese tipo ,
además,

h(a) = (f (b) − f (a))(g(a) − g(a)) − (g (b) − g (a))(f (a) − f (a)) = 0

h(b) = (f (b) − f (a))(g(b) − g(a)) − (g (b) − g (a))(f (b) − f (a)) = 0
0
entonces h(x) satisface el T. de Rolle, ∃ c ∈ (a, b) tal que h (c) = 0
0 0 0
h (x) = (f (b) − f (a)) g (x) − (g (b) − g (a)) f (x)
0 0 0 0
h (c) = 0 =⇒ h (c) = (f (b) − f (a)) g (c) − (g (b) − g (a)) f (c) = 0
f 0 (c) f (b) − f (a)
si g 0 (x) 6= 0 =⇒ 0 =
g (c) g (b) − g (a)
que es lo que querı́amos demostrar.

3.2.8 Proposición 3.74

Sea f una función continua en [a, b] , derivable en (a, b) ,

0
a) Si f (x) > 0 ∀ x ∈ (a, b) =⇒ f es estrictamente creciente en[ a, b] .
0
b) Si f (x) < 0 ∀ x ∈ (a, b) =⇒ f es estrictamente decreciente en[ a, b] .

Demostración

a) * ¿Qué tenemos de hipótesis en este apartado? ¿Cómo escribirı́amos matemáticamente aquello

que queremos probar?
Sean x1 , x2 ∈ (a, b) tal que x1 < x2 f es continua en [x1 , x2 ] , y derivable en (x1 , x2 ) entonces se cumplen
las hipótesis del Teorema del Valor Medio, éste nos asegura que ∃ c ∈ (x1 , x2 ) tal que

* Completar lo que el teorema asegura

0
=⇒ f (c) (x2 − x1 ) = f (x2 ) − f (x1 )

* Analizar los signos de los términos de la igualdad anterior

* ¿Qué pueden concluir?

b) Para demostrarlo se procede en forma similar, queda para el ustedes realizarlo.

9
3.2.9 Proposición 3.77

Supongamos que x0 es un valor del dominio de f tal que f 0 (x0 ) = 0 y f 00

(x0 ) 6= 0. Entonces:
00
a) f (x0 ) > 0 entonces (x0 , f (x0 )) es un mı́nimo relativo de f
00
b) f (x0 ) < 0 entonces (x0 , f (x0 )) es un máximo relativo de f

Demostración
Notemos que para hablar de derivada segunda en x0 , debe tener derivada primera en un entorno de x0 . Luego

a) * ¿Qué tenemos como hipótesis en ese apartado?

Esto se traduce en 0 0 0
f (x0 + h) − f (x0 ) f (x0 + h)
lim = lim >0
h→0 h h→0 h
0 0
Si 0 < h < δ =⇒ f (x0 + h) > 0. Por otro lado, si −δ < h < 0 =⇒ f (x0 + h) < 0. Pero esto es lo mismo
que decir que f 0 > 0 en (x0 , x0 + δ), entonces f crece y f 0 < 0 en (x0 − δ, x0 ) entonces f decrece.
*¿Cómo concluyen esta demostración?

b) Para demostrar el inciso b es un razonamiento análogo, queda como ejercicio.

3.3 UNIDAD 5: Sucesiones y Series

3.3.1 Unicidad del Lı́mite de Sucesiones

Si {an }n≥1 es una sucesión tal que lim an = l1 y lim an = l2 para ciertos números reales l1 y l2 , entonces l1 = l2 .
n→∞ n→∞
Esto quiere decir que si el lı́mite de una sucesión existe, es único.
Demostración
*Explicite las hipótesis utilizando la definición de lı́mite de sucesiones en cada caso, considere dos
valores, n1 y n2 , y acote con /2 en ambos casos

Considerando n0 = máx {n1 , n2 }, la diferencia |l1 − l2 | = |l1 − an + an − l2 |...

*Aplique desigualdad triangular y concluya la demostración sabiendo que |l1 − l2 | ≥ 0

3.3.2 Sucesiones convergentes y acotadas

Toda sucesión convergente es acotada.

Demostración
Sea {an }n≥1 una sucesión convergente, entonces:
*Plantee el lı́mite por definición

Entonces ∀n ∈ N se cumple que

− ≤ an − l ≤ 
− + l ≤ an ≤  + l
De esta forma tendrı́amos acotados todos los términos de la sucesión para n ≥ n0 . Ahora tendrı́amos que acotar
lso primeros términos de la sucesión a1 , a2 , ..., an0 −1 . Consideramos

H1 = mı́n{a1 , a2 , ..., an0 −1 }

10
 H2 = máx{a1 , a2 , ..., an0 −1 }

Luego tomamos
M1 = mı́n{H1 , − + l}

M2 = máx{H2 ,  + l}

y ası́ tenemos que ∀n ∈ N, M1 ≤ an ≤ M2 . De esta manera queda demostrado que la sucesión {an }n≥1 es acotada.

3.3.3 Teorema del Emparedado

Supongamos que {bn }n≥1 y {cn }n≥1 son dos sucesiones convergentes con el mismo lı́mite L, lim bn = L = lim cn
n→∞ n→∞
y sea {an }n≥1 una sucesión tal que cn ≤ an ≤ bn con ∀n ∈ N entonces {an }n≥1 es una sucesión convergente y su
lı́mite es L lim an = L
n→∞

Demostración
*Explicite las hipótesis utilizando la definición de lı́mite de sucesiones

Considerando n0 = máx {n1 , n2 }, las desigualdades

− ≤ cn − L ≤ 

− ≤ bn − L ≤ 

y la hipótesis cn ≤ an ≤ bn
*Concluya la demostración del teorema

3.3.4 Teorema de convergencia

Toda sucesión monótona y acotada es convergente (enunciado y aplicación)

3.3.5 Condición necesaria de convergencia de una serie numérica

P∞
Si la serie i=1 ai converge, entonces:
lim an = 0
n→∞

Demostración
P∞
Que la serie i=1 ai converja implica que la sucesión de sumas parciales {Sn }n≥1 converge, o sea lim Sn = S.
n → ∞

Sn = a1 + a2 + ... an−1 + an
Sn−1 = a1 + a2 + ... + an−1
Sn − Sn−1 = an

Por la unicidad del lı́mite,

lim (Sn − Sn−1 ) = lim an
n → ∞ n → ∞

11
analizando el primer término , lim (Sn − Sn−1 ) = lim Sn − lim Sn−1 , aplicando el limite de una resta igual
n → ∞ n → ∞ n → ∞
a la resta de los limites, porque cada limite existe, y además por la unicidad del lı́mite,

lim Sn − lim Sn−1 = lim an

n → ∞ n → ∞ n → ∞

S − S = lim an
n → ∞

0 = lim an
n → ∞

Que es lo que se querı́a demostrar.

De la condición necesaria de la convergencia se desprende:
P∞
si lim an 6= 0 o si lim an no existe entonces la serie i=1 ai diverge.
n → ∞ n → ∞

12