Notas de Anlisis - www.algoritmos.itgo.com - Nicols S.

Botbol
1

N NO OT TA AS S D DE E A AN N L LI IS SI ISS
(Segn el programa de Anlisis Matemtico Exactas/Ing. - del C.B.C. - U.B.A.)


Estas notas estn dirigidas principalmente a un estudiante que se inicia en los
estudios de la matemtica universitaria. Contienen un resumen de los temas tratados en
un curso de Anlisis I. En estas notas slo se enuncian algunas definiciones y los
principales resultados, acompaados de algunos ejemplos, sin presentar demostraciones
o justificaciones tericas. Y concluye con una hoja de frmulas que contiene una tabla
con las derivadas, integrales e identidades trigonomtricas ms frecuentemente usadas.
Este apunte no pretende cubrir lo dictado en las clases ni mucho menos sustituir
la cursada, sino ms bien acompaar y reforzar los apuntes tomados y tal vez presentar
otro enfoque y nuevos ejemplos.


PREELIMINARES

Definiciones: Algunas consideraciones sobre los conjuntos numricos con los que se
trabajar:
Naturales: { } 1,2,3, K no daremos una definicin formal de estos
nmeros.
Enteros: { } 0 donde { } 1, 2, 3, K i.e. los naturales con
signo opuesto.
Racionales:
{ }
a
a y b
b
observemos que los nmeros
racionales son los nmeros fraccionarios, para los cuales el denominador no se
anula ya que es un nmero natural.
Reales: no daremos una descripcin formal de los nmeros reales, slo
diremos que son aquellos nmeros con los que el alumno de secundario est
acostumbrado a trabajar. Aceptaremos que son todas las posibles tiras de
nmeros que sepamos construir, como ser: 234,23411213567899000044;
0,45454545
No entraremos en detalle sobre los nmeros complejos .

Obs.: Con la notacin anterior, tenemos que: , es decir, vale la
inclusin, pero no vale en ninguno de estos casos la igualdad.

Definicin: Un conjunto A ( ) A se dice acotado superiormente si existe un
nmero real M tal que cualquiera sea a A , resulta que a M . Un valor M como el
hallado se llama una cota superior de A.

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
2
Definicin: (anloga a la anterior) Un conjunto A ( ) A se dice acotado
inferiormente si existe un nmero real m tal que cualquiera sea a A , resulta que m a .
Un valor mcomo el hallado se llama una cota inferior de A.

Definicin: Un conjunto A , acotado superiormente posee una cota superior S que es
menor que las dems. Es decir, cualquiera sea M cota superior de A , podemos afirmar
que a S M para todo a A . Un valor S como el hallado se llama el supremo de
A (este valor es nico).

Definicin: (anloga a la anterior) Un conjunto A , acotado inferiormente posee una
cota inferior I que es mayor que las dems. Es decir, cualquiera sea m cota superior de
A , podemos afirmar que m I a para todo a A . Un valor I como el hallado se
llama el nfimo de A (este valor es nico).

Definicin: Sea A un conjunto acotado superiormente con supremo S decimos que
S es el mximo del conjunto si S A . Es decir, si el supremo est dentro del conjunto lo
llamamos mximo (este valor es nico, por se nico el supremo).

Definicin: Sea A un conjunto acotado inferiormente con nfimo I decimos que I es
el mnimo del conjunto si I A . Es decir, si el nfimo est dentro del conjunto lo
llamamos mnimo (este valor es nico, por se nico el nfimo).

Definicin: Llamaremos intervalos a los segmentos de la recta real.

Definicin: Diremos que I es un intervalo cerrado si:
{ } , : [ , ] I x a b a x b a b

Definicin: Diremos que I es un intervalo abierto si:
{ } , : ( , ) I x a b a x b a b < <

Definicin: Diremos que I es un intervalo cerrado a izquierda y abierto a derecha si:
{ } , : [ , ) I x a b a x b a b <

Definicin: Diremos que I es un intervalo abierto a izquierda y cerrado a derecha si:
{ } , : ( , ] I x a b a x b a b <

Definicin: Se dice que Ges un conjunto abierto, si para cualquier elemento g G , se
puede encontrar un intervalo abierto I que contenga a g , tal que I est completamente
contenido en el conjunto G. Usando notacin matemtica diremos que Ges abierto si
g G , I intervalo abierto tal que g I G . Claramente el inrvalo I depende de
la eleccin de g .

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
3
Definicin: Se dice que un conjunto F es un conjunto cerrado si su complemento
( )
c
F F es abierto.

Obs.: Para ver esta idea pensemos en el intervalo [ , ] I a b , su complemento se escribe
como [ , ] ( , ) ( , )
c
I a b a b + que es unin de dos intervalos abiertos (se deja al
lector hacer las demostraciones que se crean necesarias)

Proposicin: El conjunto vaco ( ) es abierto

Proposicin: El conjunto de todos los nmeros reales es abierto.

Corolario: El conjunto vaco ( ) es cerrado

Corolario: El conjunto de todos los nmeros reales es cerrado

Teorema (Principio de Arquimedeanidad): El conjunto formado por los nmeros
naturales , no est acotado superiormente. Es decir, , ( ) n m tal que
n m < .

Ejemplos: Dado el conjunto A, escribir A como intervalo o como unin de intervalo,
graficarlo en la recta numrica. Calcular: sup( ) A , inf( ) A , y decidir si estos son mximos
o mnimos.


{ }
2 2
2 3 2 1 A x x x > +
Comencemos considerando el conjunto dado:
{ }
2 2
2 3 2 1 A x x x > +
Aqu, los elementos del conjunto son los x y
2 2
2 3 2 1 x x > + es la
condicin que deben cumplir los elementos para pertenecer al conjunto A.

Luego a partir de la condicin despejamos:

2 2
2 2
2
2
2
2 3 2 1
2 3 ( 2 1) 0
4 4 0
4( 1) 0
1
1
1 1
1 1
( , 1) (1, )
x x
x x
x
x
x
x
x x
x x
x
> +
+ >
>
>
>
>
> >
< >
+

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
4

En este caso es claro que el conjunto obtenido no est acotado, tanto superior
como inferiormente. Luego no tiene sentido hablar de supremo o nfimo, ni
mximos o mnimos, ya que para esto necesitamos que el conjunto est
acotado superior o inferiormente respectivamente.


{ } 2
1
n
A n
n

+

Veamos ahora
{ } 2
1
n
A n
n

+

Si calculamos los primeros trminos de la sucesin (*) generada por los
elementos del conjunto obtenemos:

{ } 2
1 2 3 4 5 6 7 8 9
, , , , , , , , ,
1
2 5 10 17 26 37 50 65 82
n
n
n


' ;
+

L
No es inmediato, pero mostraremos que
1
sup( )
2
A y que inf( ) 0 A .
Esto probablemente sea inmediato para el alumno que tenga conocimientos
sobre lmites (ya que esta sucesin es decreciente con lmite cero). De todas
maneras haremos el anlisis completo:
Veamos que inf( ) 0 A : podemos observar primero que dado 0 > , a A
tal que 0 a < < . Esto es claro por el principio de arquimedeanidad que nos
indica que el conjunto de los nmeros naturales no est acotado, luego como
( ) ( )
2
2
2
1 1 1
1
1
n n
n n n
n n
n

+
< < + < +
+
, pero esta ltima
condicin se satisface trivialmente ya que independientemente de cual sea el
valor de 0 > , podemos tomar
1
n n

< y por lo tanto

( )
1 1
n
n
< + .
Volviendo tenamos que: para todo 0 > , 0 a A a < < luego hemos
obtenido que el nfimo del conjunto no puede superar a cero. Entonces
inf( ) 0 A . Veamos que no es posible que sea inf( ) 0 A < , ya que podemos
encontrar un elemento x ajeno a A , que sea mayor que el nfimo (basta tomar
0 x ). Finalmente obtenemos que inf( ) 0 A . Y como inf( ) A A , este
conjunto no posee mnimo.
Veamos ahora que
1
sup( )
2
A , esto es obvio ya que si fuera
1
sup( )
2
A > ,
dado un 0 > y tomando
1
sup( )
2
A + , podemos encontrar
1
2 2
x

+
que cumple que
1
sup( )
2
x A < < , y x A , lo cual es absurdo. Y tomando
1
sup( )
2
A < , basta tomar
1
2
x , y ver que sup( ) A x < con x A , lo cual
| | | ) | ( | | |

-4 -3 -2 -1 0 1 2 3 4

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
5
tambin es absurdo. Por lo tanto tenemos que
1
sup( )
2
A . Y en este caso
como sup( ) A A , este resulta ser un mximo del conjunto.
Se deja como ejercicio para el lector completar el ejercicio realizando el
grfico del conjunto en la recta. (Tener en cuenta que los puntos de este
conjunto son puntos aislados)

(*) estudiaremos ms adelante con mayor detalle estos elementos matemticos


FUNCIONES

Definicin: Diremos que ( ) R es una funcin si cumple las siguientes condiciones:
A cada punto de A le asigna un punto de B
Para un punto dado a A fijo, si existen , b b B tales que ( , ) a b R y
( , ) a b R entonces b b .

Definicin: Sea : f A B una funcin. Decimos que A es el dominio de f (notado
como ( ) Dom f A )

Definicin: Sea : f A B una funcin. Decimos que B es el codominio de f (notado
como ( ) Cod f B )

Definicin: Sea : f A B una funcin. Decimos que ( ) f A B es la imagen (o rango)
de f (notado como ( ) ( ) Im f f A )

Definicin: Una funcin : f A B se dice inyectiva si dados
1 2
, x x A y
1 2 1 2
( ) ( ) f x f x x x

Definicin: Una funcin : f A B se dice sobreyectiva (o suryectiva) si y B x A
tal que ( ) f x y .

Teorema: Sea : f A B una funcin. Son equivalentes:
f es sobreyectiva
( ) f A B
( ) ( ) Im f Cod f

Definicin: Una funcin : f A B se dice biyectiva si es inyectiva y sobreyectiva.

Definicin: Una funcin f se dice par si ) ( ) ( x f x f para todo x en el dominio.

Obs.: Toda funcin par es simtrica respecto del eje Y.

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
6
Definicin: Una funcin f se dice imp ar si ) ( ) ( x f x f para todo x en el dominio.

Obs.: Toda funcin par es simtrica respecto del origen.

Definicin: Una funcin f se dice peridica con perodo ) 0 ( > p p si ) ( ) ( x f p x f +
para todo x .

Obs.: El perodo de la funcin sin( ) o cos( ) y A Bx C y A Bx C + + es
B
2
.
Su amplitud es A . El perodo de tan es y x .

Ejemplos:
Sea : , ( ) , , f f x mx b m b + , entonces si 0 m , f es
sobreyectiva ya que dado
0
( ) y Cod f , basta tomar
0
0
( )
y b
x Dom f
m

, y se verifica que
0 0
( ) f x y , (observar que
( ) ( ) Im f Cod f ). f es inyectiva ya que si
1 2
( ) ( ) f x f x , entonces
1 2
mx b mx b + + , luego despejando
1 2
x x . Por lo tanto f es biyectiva y se
ve que como ( ) f a ma b + y como ( ) ( ) f a m a b ma b + + , resulta ser
par si
( ) ( ) f a f a ( ) ( ) 2 0 0 m a b ma b m a ma ma m + + . Y
resulta ser impar si ( ) ( ) f a f a ( ) m a b ma b b b +
2 0 0 b b . Observar que la nica funcin par impar a la vez es la
funcin ( ) 0 f x x .

Sea
2
: , ( ) f f x x , entonces f no es sobreyectiva ya que existe un
valor
0
( ) y Cod f para el cual no existe
0
( ) x Dom f tal que
0 0
( ) f x y , en este caso basta tomar
0
1 y , y claramente no existe
( ) x Cod f tal que
2
( ) f x x y , observar que
0
( ) ( ) Im f Cod f
>
. Y f no es inyectiva ya que existen
1 2
, ( ) x x Dom f tales que
1 2
( ) ( ) f x f x , en este caso basta tomar
1
x 1 ,
2
x 1 , y se ve que
2 2
1 2
( ) (1) 1 ( 1) ( ) f x f x . Por lo tanto f no
resulta ser biyectiva. Se puede ver que
2 2
( ) ( ) ( ) f a a a f a , luego f
es par.

Sea
2
0 0
: , ( ) f f x x

. Se deja de ejercicio mostrar que f es
biyectiva, y analizar los casos
0
: f

y
2
0
: , con ( ) f f x x

.

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
7
Sea { } { } : f a b , con
2 (2 )
( )
bx ba
f x b
x a x a
+
+

, veamos que
es biyectiva. Es sobreyectiva ya que { } ( ) ( ) Im f b Cod f (se deja de
ejercicio verificar esto). Es inyectiva ya que si
1 2
( ) ( ) f x f x entonces
2 1 2 1
1 2 1 2
2 2 2 2
2( ) 2( ) b b x a x a x x
x a x a x a x a
+ +

. Por
lo tanto f es biyectiva. Se deja como ejercicio para el lector verificar que f
no es ni par ni impar.

Definicin (Composicin de Funciones): Sean : , : f A g B dos funciones.
Definiremos la composicin de g con f como g f o , tal que ( )( ) ( ( )) g f x g f x o , es
decir que g compuesta con f aplicada a un x funciona como aplicar g al resultado de
haber aplicado f a x .


Teorema (de la Funcin Inversa) : Sean : , : f A g B dos funciones tales que
x x g f )) ( ( para todo x en el dominio de g y x x f g )) ( ( para todo x en el dominio
de f , entonces f y g son funciones inversas (se suele decir que g es la funcin inversa
de f y se nota
1
g f

).

Teorema: Una funcin : , f A B con , A B admite inversa si y slo si es biyectiva.

Teorema: Sea : f A estrictamente creciente o decreciente en un intervalo,
entonces f admite inversa.

Ejemplos:
Sea : , ( ) , , f f x mx b m b + , como f es biyectiva si 0 m ,
entonces admite inversa. Calculemos
1
f

: tomo y mx b + y despejamos.
y mx b + y b mx
y b
x
m

ya que 0 m , luego
1
: , f


se define como
1
( )
x b
f x
m

.

Sea
2
: , ( ) f f x x , como f no es biyectiva no admite inversa.
f
g
A B
f(A)
x
( ) f x

( ( )) g f x
g(B)
g f o
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
8

Sea
2
0 0
: , ( ) f f x x

. Se deja de ejercicio mostrar que existe
1
f


definida como
1
0 0
: f


y que
1
( ) f x x

y analizar los casos

0
: f

y
2
0
: , con ( ) f f x x

.

Sea { } { } : f a b , con
2 (2 )
( )
bx ba
f x b
x a x a
+
+

. Hemos visto
que es biyectiva luego admite inversa y despejando obtenemos que como
2 2 2
y b y b x a
x a x a y b
+

(ya que 0 y b , porque
( ) b Cod f )
2
x a
y b
+

, luego existe
1
f

definida como
{ } { }
1
: f b a

donde
1
2
( ) f x a
x b

SUCESIONES

Definicin: Definimos una sucesin como una funcin : f donde a cada
elemento ( ) f n lo llamamos
n
a .

Definicin: Una sucesin { }
n
a tiene lmite L , es decir, L
n
a
n


lim si
0 0
0, tal que n
n
n n a L > < .

Definicin: Si L , entonces se dice que la sucesin converge a L.
Si L se dice que la sucesin diverge.
Si no existe el lmite (ni finito ni infinito) se dice que la sucesin es
oscilante.

Definicin: Una sucesin { }
n
a se dice acotada inferiormente si 0 m > tal que
n
n
a m .
Anlogamente se dice acotada superiormente si M 0 tal que M n
n
a > .
Si las dos anteriores se cumplen simultneamente decimos que { }
n
a est acotada.

Teorema: Sea { }
n
a una sucesinconvergente, entonces lim a L
n
n

y su lmite es
nico.

Proposicin: Sea { }
n
a una sucesin convergente tal que lim a a
n
n

, entonces
0 0
tal que n a a n n
n
.
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
9

Teorema (lgebra de Lmites): Sean { }
n
a y { } b
n
dos sucesiones convergentes tales que
lim y lim a a b b
n n
n n


, entonces valen los siguientes resultados:

0 0
lim . . , constante
lim
lim
lim . .
lim / / , si tal que n 0 y 0
k a k a k
n
n
a b a b
n n
n
a b a b
n n
n
a b ab
n n
n
a b a b n n b b
n n n
n

+ +

Teorema (del sandwich) : Sean { }
n
a , { } b
n
y { } c
n
sucesiones convergentes tales que
lim lim y a c L a b c
n n n n n
n n


, entonces lim b L
n
n

.

Teorema: Toda sucesin convergente es acotada.

Teorema: Toda sucesin montona y acotada es convergente.

Teorema: Sea { }
n
a una sucesin acotada, entonces posee una subsucesin
{ }
a
n
k

convergente.

Teorema: Sea { }
n
a una sucesin creciente tal que { } lim a L
n
n

, entonces L
es una cota superior de { }
n
a (ms an, es el supremo).
Teorema: Sea { }
n
a una sucesin tal que lim a
n
n

, entonces
1
lim 1
n
e
a n
n
a
_
+

,
.
En particular tomando a n
n
se obtiene
( )
1
lim 1 e
n n
n
+

Teorema: Sean { }
n
a y { } b
n
dos sucesiones acotadas tal que lim 0 a
n
n

, entonces
lim . 0 a b
n n
n

Teorema: Sea { }
n
a una sucesin tal que lim 0 a
n
n

, entonces
( )
lim 1
sen a
n
n
a
n

Algunos lmite tiles:
( )
1
ln
lim 0; lim 1; lim 1; lim 0
!
n
n
n x
n
x n
n n n n
n n


.


Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
10
LMITES DE FUNCIONES Y CONTINUIDAD

Definicin: Sea { } : ( , )
o
f a b x y sea L . Entonces lim ( )
o
f x L
x x

si
0 > , 0 > tal que 0
o
x x < < entonces ) ( < L x f . (Es importante en este
caso tener en cuenta que el valor buscado = ( , )
o
x , es decir no slo depende de
sino tambin de
o
x )

Propiedades (Lmites de funciones racionales en el infinito):
0
) (
) (
lim
t
x g
x f
x
si el grado de ( ) es menor que el grado de ( ) f x g x
Ej: 0
3
3
2
2
lim
+

x
x x
x


( )
lim
( )
f x
g x
x t
es infinito si el grado de ( ) es mayor que el grado de ( ) f x g x
Ej:

+

8
2
2
3
lim
x
x x
x


( )
lim
( )
f x
g x
x t
es infinito si el grado de ( ) es igual al grado de ( ) f x g x
Ej:
5
2
2
5 10
2 3
2
2
lim

+

x x
x x
x


Definicin: Sea : con f A A . Entonces f se dice continua en
0
x si 0 > ,
0 > tal que si
o
x x < entonces ) ( < L x f . (Es importante en este caso tener
en cuenta que el valor buscado = ( , )
o
x , es decir no slo depende de sino
tambin de
o
x )
Si f resulta continua para todos los valores del dominio, se dice que f es continua, o
que f es continua en A .

Teorema: Dada : con f A a A , son equivalentes:
f es continua en a x
lim ( ) f x
x a

y lim ( ) ( ) f x f a
x a

.

Teorema: Sea : [ , ] f a b continua y sea { }
n
a una sucesin tal que
lim [ , ] a L a b
n
n

, entonces lim ( ) ( lim ) ( ) f a f a f L

n n
n n


.

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
11
Teorema (lgebra de Lmites): Sean
0 0
: , : con , f A g B x A x B y
tales que { }
0
0 0
lim ( ) y lim ( ) con f x a g x b x
x x x x


, entonces valen los
siguientes resultados:

0
0
0
0
0 0
0
lim . ( ) . , constante
lim ( ) ( )
lim ( ) ( )
lim ( ). ( ) .
lim ( ) / ( ) / , si 0 talque g( ) 0 ( , ) y 0
k f x k a k
x x
f x g x a b
x x
f x g x a b
x x
f x g x a b
x x
f x g x a b x x x x b
x x

+ +

> +

Teorema: Sean : , : con ( ) f A g B f A B y tales que f sea continua en
0
x A y g sea continua en
0 0
( ) f x y B , entonces g f o es continua en
0
x .


Teorema (del valor medio): Sea :[ , ] f a b continua en [ ] b a, , entonces f toma todos
los valores entre ( ) y ( ) f a f b .

Obs (Teorema de Bolzano) : Si f es continua en [ ] b a, y ) (a f y ) (b f tienen signos
opuestos, entonces 0 ) ( x f tiene al menos una solucin en el intervalo abierto ) , ( b a .

Teorema: Sea : f A continua en A , cerrado y acotado, entonces , M m constantes
tales que ( ) , m f x M x A .

Teorema: Sea : f A continua en A , cerrado y acotado, entonces
1 2
, x x A tales
que
1 2
( ) ( ) ( ), f x f x f x x A .

Corolario (Teorema del Mximo y Mnimo): Sea f continua en un intervalo cerrado
[ ] b a, , entonces ) ( x f alcanza un valor mximo en[ ] b a, . (Esto realmente no es un
corolario sino una reformulacin del teorema anterior)

f
g
A B
f(A)
0
x

0
y


0
( ( )) g f x
g(B)
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
12
Teorema: Sea : f A con
0
x A una funcin tal que lim ( )
o
f x
x x

, entonces
( )
1
lim 1
( )
( )
o
e
f x x x
f x
+

.
En particular tomando
0
( ) y f x x x se obtiene
( )
1
lim 1 e
x x
x
+

Teorema: Sean , : f g A con
0
x A dos funciones acotadas tal que
0
lim ( ) 0 f x
x x

,
entonces
0
lim ( ). ( ) 0 f x g x
x x

Teorema: Sea : f A con
0
x A una funcin tal que lim ( ) 0
o
f x
x x

, entonces
( ( ))
lim 1
( )
0
sen f x
x x
f x

DERIVADAS

Definicin: Sea A abierto y : f A . Decimos que f es derivable en el punto
0
x A si existe
0 0
( ) ( )
lim
0
f x h f x
h
h
+

o, equivalentemente, si
0
0
0
( ) ( )
lim
f x f x
x x
x x

existe.
En este caso decimos que

0 0 0
0
0
0
( ) ( ) ( ) ( )
lim lim ( )
0
f x h f x f x f x
f x
h x x
h x x
+

y a este valor lo denominamos la
derivada de f en
0
x .
Si f es derivable en todos los puntos de A decimos que f es derivable, o que f es
derivable en A .

Ejemplo (Aplicacin de la definicin de derivada al clculo): consideremos : f ,
( ) , , constantes f x mx b m b + , luego f es lineal. Entonces f (su funcin
derivada) resulta ser : , ( ) f f x m .
Veamos esto: adoptando la primera definicin tenemos que
0
( ) f x
0 0
( ) ( )
lim
0
f x h f x
h
h
+

, en nuestro caso
0
( ) f x
0 0
( ( ) ) ( )
lim
0
m x h b mx b
h
h
+ + +

0 0
( )
lim
0
m x h mx
h
h
+

lim
0
mh
m
h
h

, luego como f es derivable en todo su

dominio, : , ( ) f f x m

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
13

Obs (Recta tangente): Sea : f A derivable en
0
x con
0
x A , entonces la
aproximacin linear de f cerca de
0
x x est dada por: ) )( ( ) (
0 0 0
x x x f x f y +
para x suficientemente cerca de
0
x .

Teorema (Rolle): Sea f continua en [ ] b a, y derivable en ( ) b a, tal que ) ( ) ( b f a f ,
entonces existe un valor c ( ) b a, tal que 0 ) ( c f .

Teorema (Lagrange): Sea f continua en [ ] b a, y derivable en ( ) b a, , entonces existe un
valor c ( ) b a, tal que ) (
) ( ) (
c f
a b
a f b f

.

Teorema (Cauchy) : Sean : , : f A g B , [ , ] a b A continuas en [ ] b a, y
derivables en ( ) b a, , entonces existe un valor c ( ) b a, tal que
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) g c f b f a f c g b g a .

Teorema: Sea f continua en [ ] b a, y derivable en ( ) b a, ,
Si 0 ) ( > x f para todo x en ( ) b a, , entonces f es creciente en [ ] b a, .
Si 0 ) ( < x f para todo x en ( ) b a, , entonces f es decreciente en [ ] b a, .

Teorema: Supongamos que existe ) (x f en ( ) b a, ,
Si 0 ) ( > x f en ( ) b a, , entonces f tiene concavidad positiva en ( ) b a, .
Si 0 ) ( < x f en ( ) b a, , entonces f tiene concavidad positiva en ( ) b a, .

Obs.: Para encontrar los puntos de inflexin de f , buscar los puntos donde se satisface
0 ) ( x f o donde ) (x f no est definida. Estos son los nicos candidatos donde .
f puede tener puntos de inflexin. Luego verificar que 0 ) ( < x f de un lado y 0 ) ( > x f
del otro.

Teorema: Sea : f A derivable en
0
x con
0
x A , entonces es continua en ese
punto.

Obs.: Es claro que la implicacin inversa es falsa (pensar en |x| y tomar x=0), en otras
palabra la continuidad no implica la derivabilidad.

Teorema (lgebra de derivadas): Sean : , : f A g B derivables en
0
x con
0
x A , entonces valen los siguientes resultados:

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
14
( )
( )
( )
( )
( )
0 0 2
. ( ) . ( ) , constante
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ). ( ) ( ). ( ) ( ). ( )
( ). ( ) ( ). ( )
( ) / ( ) , si 0 talque g( ) 0 ( , )
( )
k f x k f x k
f x g x f x g x
f x g x f x g x
f x g x f x g x f x g x
f x g x f x g x
f x g x x x x x
g x


+ +

+

> +

Teorema (Regla de LHpital): Sean : , : f A g B derivables en
0
x con
0
x A . Si
0
( )
lim
( )
f x
g x
x x
es una indeterminacin de la forma
0

0

, y si
0
( )
lim
( )
f x
g x
x x

existe, entonces
0 0
( ) ( )
lim lim
( ) ( )
f x f x
g x g x
x x x x

.

Ejemplo: Calculemos
2
( 1)ln
lim
x
x x
x

+
, como esto resulta ser una indeterminacin del tipo

, podemos resolver este lmite mediante el teorema anterior:

2
( 1)ln
lim
x
x x
x

+
=
=
( 1)
ln
lim
2
x
x
x
x
x

+
+
=
( 1)
ln
lim
2 2
x
x
x
x
x x

+ _

+


,
=
1 1
lim 0
4 2
x
x x

_
+

,
.


Teorema (Regla de la Cadena): Sean : , : con ( ) f A g B f A B y tales que f
sea derivable en
0
x A y g sea derivable en
0 0
( ) f x y B , entonces g f o
es derivable en
0
x y ( )
0 0 0
( ) ( ( )). ( ) g f x g f x g x o .

Teorema: Sea : f A derivable en un intervalo I A , y 0 ) ( x f en I , entonces
1
g f

est bien definida y es derivable en cada punto de ) ( I f (notar que ) ( I f es
tambin un intervalo) y
) (
1
)) ( (
x f
x f g

.

Aplicacin de las Derivadas al Estudio de Funciones

1) Tratamiento Preeliminar
Se comienza calculando ( ) Dom f , determinando con qu tipo de funcin estamos
trabajando (polinmicas, exponenciales, logartmicas, ninguna de ellas).

2) Asntotas Horizontales, Verticales y Oblicuas
a. La recta b y es una asntota horizontal del grfico de f si
LHp. LHp.
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
15
lim ( ) o lim ( ) f x b f x b
x x


.
b. La recta a x es una asntota vertical del grfico de f si
lim ( ) o lim
-
x a
f x
x a
t t
+

.
c. La recta y mx b + es una asntota oblicua a derecha del grfico de f si
( )
lim y lim ( )
f x
m f x mx b
x
x x


, { } 0 m , b,
anlogamente a izquierda.

3) Extremos
Para encontrar los valores mximos y mnimos de f :
1. calcular los valores de x tales que ) ( x f es cero o donde ) ( x f no existe
(conjunto de puntos crticos de f ).
2. calcular los valores en los extremos del intervalo.

4) Intervalos de Crecimiento y de Decrecimiento
Con los resultados obtenidos de 3) 1. y conociendo los puntos de discontinuidad
de f podemos estudiar los intervalos de positividad y negatividad de f usando
el contrarecproco del teorema de Bolzano.

Obs.: Notar que estos son los nicos lugares donde la funcin puede tener extremos.

5) (optativo) Hacer una tabla donde se coloquen los puntos distinguidos
correspondientes a la funcin y a su derivada (por ejemplo puntos fuera del
dominio de f o de f , o puntos de nulidad de f o de f ).

6) Analizar los cambios concavidad de f en los distintos subintervalos mediante es
estudio de f .

7) (optativo) Agregar a la tabla los datos obtenidos para f .

8) Grfico
Con la informacin obtenida realizar un grfico aproximado de f .

Corolario1: Sea
0
: f
>
, donde ( )
x
f x e , entonces:
Las funciones ( )
x
f x e y
0
: g
>
, donde ( ) ln( ) g x x son inversas.
Su dominio es el conjunto de todos los nmeros reales (y los reales positivos
para la segunda).
Por lo tanto la imagen de la funcin ( )
x
f x e coincide con el dominio de la
funcin x y ln .
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
16
( ) ( )
d
x x x
e e e
dx


2 1 2 1
x x
e
x
e
x
e
+

( )
x
f x e es continua, creciente, y de concavidad positiva en todo el dominio.
+
+
x
e
x
lim y 0 lim

x
e
x
.
x
x
e
ln
, para 0; ln( )
x
x e x > para todo x .

Corolario2: Sea
0
: f
>
, donde ( ) ln( ) f x x , entonces:
El dominio de ( ) ln( ) f x x Es el conjunto de todos los reales positivos.
La imagen es el conjunto de todos los reales.
( ) ln( ) f x x es continua, creciente y con concavidad negativa en todo su
dominio.
( ) b a ab ln ln ln + , si
0
, a b
>
.
b a
b
a
ln ln ln

,
_

, si
0
, a b
>
.
a r
r
a ln ln , si
0
a
>
.
( ) ln( ) f x x 0 si 0 1 x < < < .
lim ln y lim ln
0
x x
x
x
+
+
+

.

a
x
x
a
ln
ln
log


POLINOMIO DE TAYLOR

Definicin: Sea f n+1 veces derivable en ( , ) a b . Llamamos
n
P y
n
R al polinomio de
Taylor de orden n centrado en el punto
0
x y su correspondiente resto. Donde
( )
2 0 0
0 0 0 0 0
( ) ( )
( ) ( ) ( )( ) ( ) ( )
2 !
n
n
n
f x f x
P x f x f x x x x x x x
n
+ + + + K y
1
1
0
( )
( ) ( )
( 1)!
n
n
n
f
R x x x
n

+
+

+
con
0
entre y x x .

Definicin: En el caso anterior si tomamos
0
0 x como punto donde se centrar el
desarrollo, decimos que
( )
2
(0) (0)
( ) (0) (0)( ) ( ) ( )
2 !
n
n
n
f f
P x f f x x x
n
+ + + + K es el
desarrollo de Maclaurin de f de orden n.

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
17
Ejemplo: Consideremos ( )
x
f x e , desarrollemos
n
P de Maclaurin y estimemos
n
R en
2 x
2
( ) 1 ...
2! ! !
0
n
n i n
x x x
P x x
n i
i
+ + + +

y como
1
( )
( 1)!
n
n
e x
R x
n
+

+
, entonces:
1 2 1
2
( )
( 1)! ( 1)!
n n
n
e x e
R x
n n
+ +

+ +
ya que como
0
0 2 x x tenemos que
1 2 1
2
n n
e x e
+ +
.

Teorema: Sea f n+1 veces derivable en ( , ) a b , y sea
n
R el resto de orden n de Taylor,
entonces
0
( )
lim 0
( ) o
n
n
x x
R x
x x

. Esto indica que un polinomio de Taylor de orden n es una

buena aproximacin para valores cercanos de
0
x .


INTEGRALES

Definicin: Sea f continua en [ ] b a, . Consideremos una particin regular en
n subintervalos del intervalo original, de longitud
n
a b
x

. Consideremos
{ } sup ( ) / i-simointervalo
i
M f x x y { } inf ( ) / i-simointervalo
i
m f x x . Definimos
1
inf
( ) lim .
a
n
i
i
b
f x dx m x
n

y la llamamos la integral inferior. Anlogamente definimos

1
sup
( ) lim .
a
n
i
i
b
f x dx M x
n

Si ambas coinciden decimos que f es integrable y llamamos a ese valor la integra
definida. Dicho de otra forma: si
sup inf
( ) ( )
a a
b b
f x dx f x dx

entonces esto es ( )
b
a
f x dx

Propiedades (de la Integral Definida): Sean f y g continuas en [ ] b a, .



b
a
dx x f c
b
a
dx x f c ) ( ) ( para toda constante c .
0 ) (

a
a
dx x f



a
b
dx x f
a
b
dx x f ) ( ) (
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
18


+
b
c
dx x f
c
a
dx x f
b
a
dx x f ) ( ) ( ) ( , donde f es continua en un intervalo que
contiene a , , y a b c .
Si ) ( x f es una funcin par, entonces 0 ) (

a
a
dx x f .
Si ) ( x f es una funcin impar, entonces

a
dx x f
a
a
dx x f
0
) ( 2 ) (
Si 0 ) ( x f en [ ] b a, , entonces 0 ) (

b
a
dx x f
Si ) ( ) ( x f x g en [ ] b a, , entonces


b
a
dx x f
b
a
dx x g ) ( ) (

Teorema: Sea : [ , ] f a b continua y acotada en [ , ] a b (salvo quiz en un nmero
finito de puntos), entonces f es integrable en [ , ] a b .

Teorema (Fundamental del Clculo) : Sea : [ , ] f a b integrable sobre [ , ] a b y
continua en [ , ]
o
x a b , entonces ( ) ( )
x
a
F x f t dt

donde ( ) ( ) [ , ] F x f x x a b (a esta
funcin F se la llama una primitiva de f ).

Teorema (Regla de Barrow): Sea : [ , ] f a b continua sobre [ , ] a b y : [ , ] F a b
una primitiva de f , entonces ( ) ( ) ( )
b
f x dx F b F a
a

.

Teorema (del Valor Medio) : Sea : [ , ] f a b integrable, su promedio en [ ] b a, es

b
a
dx x f
a b
) (
1
. O equivalentemente c tal que ( ) ( )
b
f x dx c b a
a

Teorema: Sean , :[ , ] g f a b funciones integrables tales que ) ( ) ( x g x f en [ ] b a, ,
entonces el rea encerrada entre las curvas ( , ( )) x f x y ( , ( )) x g x es [ ] dx
b
a
x g x f ) ( ) (

.

Definicin: Sea : f A integrable en A , y sea : F A una primitiva de f .
Definimos ( ) ( ) f f x dx F x c +

como el conjunto de todas las primitivas de f , y lo
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
19
llamamos la integral indefinida de f . (Suele ser conveniente pensar que f

es una
funcin que representa cualquier primitiva de f ).


Teorema (Mtodo de Integracin por Partes): Sean , : g f A funciones derivables, s i
) ( x f u y ) (x g v y si ) ( x f y ) ( x g son continuas, entonces

du v uv dx u .
Se suele escribir: ( ) ( ) ( ) ( ) ( ) ( ) f x g x d x f x g x f x g x dx



Obs.: Lo interesante de este procedimiento es elegir u y dv de forma tal que

du v sea
ms fcil de resolver que la integral original.

Sugerencia: Cuando uno elige u , podemos emplear una regla mnemotcnica
I.L.P.E.T., donde I corresponde a las funciones inversas, L a las logartmicas, P a la
funciones polinmicas, E a las exponenciales y T a las trigonomtricas.

Ejemplo: si queremos calcular
x
xe dx

usando la segunda expresin del mtodo

obtenemos
x x x x x
xe dx xe 1.e dx xe e c +

, tomando
x x
u x u 1
v e v e

'

Definicin: Dada f decimos que

b
a
dx x f ) ( es una integral impropia de f si:
f se hace infinita en uno o ms de un punto del dominio de integracin, o
uno o ambos lmites de integracin es infinito, o
valen los item 1 y 2 a la vez.


Aplicacin de las Integrales al clculo de:

1) Volumen de Slidos de Revolucin
Sea f no negativa y continua en [ ] b a, , y sea R una regin acotada por encima por
) ( x f y , por debajo por el eje x y a ambos lados por las rectas a x y b x .
Cuando la regin R es rotada alrededor del eje x, denera un slido (cuerpo
tridimensional) (cuya interseccin con los planos , x c a c b es
circular circulares) cuyo volumen est dado por [ ] dx
b
a
x f x V
2
) (

.
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
20
Cuando R es rotado alrededor del eje y, genera un slido cuyo volumen est
dado por

dx x xf V ) ( 2 .En este caso su interseccin con los planos

, ( ) ( ) y c f a c f b es circular.

2) Integrales mediante Sustituciones Trigonomtricas
Para integrales que contienen
2 2
u a , sea sin a u . Entonces
cos
2 2
a u a donde
2 2

.
Para integrales que contienen
2 2
u a + , sea tan a u . Entonces
sec
2 2
a u a + donde
2 2

.
Para integrales que contienen
2 2
a u , sea sec a u . Entonces
tan
2 2
a a u t donde

< <
2
or
2
0 . Usar la valuacin
positiva si a u > ; y la negativa si a u < .

3) Longitud de Arco
Dada f una funcin que representa una curva suave en [ ] b a, (esto quiere decir que la
funcin sea derivable con derivada continua, aunque en realidad basta pedir que esto
ocur ra en todo el dominio salvo en una cantidad finita de puntos). Entonces la longitud de
del arco de f entre a y b est dado por: [ ]
2
( , , ) 1 ( )
b
long f a b f x dx
a
+

.


SERIES

Definicin: Definimos una suma parcial como una suma de trminos de una sucesin, es
decir,
1

N
N n
n
S a , que representa la suma de los primeros N trminos de la sucesin
{ }
n
a .
Definicin: Definimos la serie de { }
n
a al lmite de la suma parcial
N
S , es decir:
1 1
lim

N
N n n
N
n n
S a a
Teorema: La Serie harmnica

1
1

n
n
diverge
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
21
Teorema: La Serie geomtrica

0

n
n
ar converge a
r
a
1
si 1 < r y diverge si 1 r y
0 a .
Teorema: Las series-p

1
1

n
p
n
convergen si 1 > p y divergensi 1 p .
Teorema (Criterio de Comparacin Va Lmite) : Sean

1 n
n
a y

1 n
n
b dos series de
trminos no negativos, con 0
n
a para todos los n suficientemente grandes, y
supongamos que:
0 lim >

c
n
a
n
b
n
, entonces, ambas series convergen o ambas divergen.
lim

b
n
n
a
n
y
1

b
n
n
converge, entonces

1 n
n
a converge.
lim 0

b
n
n
a
n
y

1 n
n
a converge, entonces

1 n
n
b converge.

Teorema (Criterio de Leibniz para Series Alternadas) : Sea

1 n
n
a una serie tal que
La serie es alternada

1
n
a
n
a
+
para todo n , y
0 lim

n
a
n

Entonces la serie converge.

Definicin: Una serie
n
a se dice absolutamente convergente si la serie
n
a
converge. Si
n
a converge, pero
n
a no converge, entonces la serie es
condicionalmente convergente.

Teorema: Si

1 n
n
a converges (es decir que la serie es absolutamente convergente),
entonces

1 n
n
a converge.

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
22
Teorema (Criterio de Comparacin): Si
n
b
n
a 0 para todos los n suficientemente
grandes, y

1 n
n
b converge, entonces

1 n
n
a converge. Y si

1 n
n
a diverge, entonces

1 n
n
b diverge.


Teorema (Criterio de la Integral de Cauchy): Sea f una funcin positiva, continua y
decreciente en [ ) , 1 y sea ) (n f
n
a . Entonces la serie

1 n
n
a converge si la integral
impropia

1
) ( dx x f converge. Y si la integral impropia

1
) ( dx x f diverge, entonces la
serie

1 n
n
a diverge.

Teorema (Criterio de DAlembert): Sea
n
a una serie sin trminos nulos.
Si 1
1
lim <
+

n
a
n
a
n
, entonces la serie converge absolutamente.
Si 1
1
lim >
+

n
a
n
a
n
, entonces la serie diverge.
Si 1
1
lim
+

n
a
n
a
n
, entonces el criterio no sirve.

Definicin (Series de Potencias): Llamamos series de potencias a aquellas de la forma
... ...
2
2 1 0
0
+ + + + +

n
x
n
c x c x c c
n
x
n
n
c ( )
0
n
c x a
n
n

2
( ) ( ) ... ( ) ...
0 1 2
n
c c x a c x a c x a
n
+ + + + + en donde a es el punto donde et
centrada la serie y los coeficientes ,... ,...,
2
,
1
,
0
n
c c c c son constantes. El conjunto
formado por los valores de x para los cuales la serie numrica converge es llamado el
intervalo de convergencia.

Definicin (Series de Taylor): Sea f una funcin con infinitas derivadas en un entorno
de a . Entonces la serie de Taylor generada por f en a es
( )
( )
( )
!
0
k
f a
k
x a
k
k

Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
23
( )
( ) ( )
2
( ) ( )( ) ( ) ... ( ) ...
2! !
n
f a f a
n
f a f a x a x a x a
n

+ + + + + . Los terminos restantes

luego de la n-sima derivada pueden ser expresados como el resto de Taylor

Teorema (del Resto de Taylor): Sea f cuyo desarrollo de orden N es:
( )
( ) ( ) ( )( ) ( )
1
N
N
n n
f x f a f a x a R x
n
+ +

donde
1
( 1)
( ) ( ) ( )
!
N
x
N
R x x t f t dt
N
N
a
+

Frmula de Lagrange del Resto de Taylor) :
( 1) 1
( )( )
( 1)!
N
N N
f c x a
R x
N
+ +

+
, donde
x c a < < .

Obs.: La serie converge para todos los valores de x donde el resto tiende a cero.

Ejemplos (Series tiles):

+ + + + +

0
... ...
2
1
1
1
n
n
x
n
x x x
x
, 1 < x

+ + +
+
0
) 1 ( ... ) ( ...
2
1
1
1
n
n
x
n n
x x x
x
, 1 < x

+ + + + +
0
!
...
!
...
! 2
2
1
n
n
n
x
n
n
x x
x
x
e , < x

+
+

+
+
+
+ +
0
)! 1 2 (
1 2
) 1 (
...
)! 1 2 (
1 2
) 1 ( ...
! 5
5
! 3
3
sin
n
n
n
x
n
n
n
x
n
x x
x x , < x

+ + +
0
)! 2 (
2
) 1 (
...
)! 2 (
2
) 1 ( ...
! 4
4
! 2
2
1 cos
n
n
n
x
n
n
x
n
x x
x , < x

+ + +
1
1
) 1 (
...
1
) 1 ( ...
3
3
2
2
) 1 ln(
n
n
n
x
n
n
n
x
n
x x
x x , 1 1 < x

+
+

+
+
+
+ +
0
1 2
1 2
) 1 (
...
1 2
1 2
) 1 ( ...
5
5
3
3
tan
n
n
n
x
n
n
n
x
n
x x
x x Arc , 1 x
Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
24
HOJA DE FRMULAS

Frmulas Trigonomtricas

1. 1 cos sin
2 2
+
2.
2 2
sec tan 1 +
3.
2 2
csc cot 1 +
4. sin ) sin(
5. cos ) cos(
6. tan ) tan(
7. A B B A B A cos sin cos sin ) sin( + +
8. A B B A B A cos sin cos sin ) sin(
9. B A B A B A sin sin cos cos ) cos( +

10. B A B A B A sin sin cos cos ) cos( +

11. cos sin 2 2 sin
12.
2 2 2 2
sin 2 1 1 cos 2 sin cos 2 cos

13.

cot
1
cos
sin
tan
14.

tan
1
sin
cos
cot
15.

cos
1
sec
16.

sin
1
csc
17.

sin )
2
cos(
18.

cos )
2
sin(


Frmulas de Derivacin

1.
1
) (

n n
nx x
dx
d

2. f g g f fg
dx
d
+ ) (
3.
2
) (
g
g f f g
g
f
dx
d

4. ) ( )) ( ( )) ( ( x g x g f x g f
dx
d

5. x x
dx
d
cos ) (sin
6. x x
dx
d
sin ) (cos
7. x x
dx
d
2
sec ) (tan
8. x x
dx
d
2
csc ) (cot
9. x x x
dx
d
tan sec ) (sec
10. x x x
dx
d
cot csc ) (csc
11.
x x
e e
dx
d
) (
12. a a a
dx
d
x x
ln ) (
13.
x
x
dx
d 1
) (ln
14.
2
1
1
) sin (
x
x Arc
dx
d

15.
2
1
1
) tan (
x
x Arc
dx
d
+

16.
1 | |
1
) sec (
2

x x
x Arc
dx
d

17.
dx
du
dx
dy
dx
dy
Regla de la Cadena


Notas de Anlisis - www.algoritmos.itgo.com - Nicols S. Botbol
25
Frmulas de Integracin

1. C ax dx a +

2.

+
+

+
1 ,
1
1
n C
n
x
dx x
n
n

3.

+ C x dx
x
ln
1

4.

+ C e dx e
x x

5.

+ C
a
a
dx a
x
x
ln

6.

+ C x x x dx x ln ln
7.

+ C x dx x cos sin
8.

+ C x dx x sin cos
9.

+ + C x C x dx x cos ln or sec ln tan

10.

+ C x dx x sin ln cot
11.

+ + C x x dx x tan sec ln sec

12.

+ C x x dx x cot csc ln csc

13. C x x d x +

tan sec
2

14.

+ C x dx x x sec tan sec

15.

+ C x dx x cot csc
2

16.

+ C x dx x x csc cot csc

17.

+ C x x dx x tan tan
2

18.

,
_

+
C
a
x
Arc
a x a
dx
tan
1
2 2

19.

+
,
_

C
a
x
Arc
x a
dx
sin
2 2

20.

+ +

C
x
a
Arc
a
C
a
x
Arc
a
a x x
dx
cos
1
sec
1
2 2