CURSO DE ANLISIS MATEMTICO:

DE LAS FUNCIONES REALES DE

VARIABLE REAL

A LA APLICACIN DE LAS INTEGRALES








ISBN: 978-84-692-2791-6
Pedro J. Lpez Cabello






2


Indice general
Introduccin
1. Funciones reales de variable real. Funciones elementales: situaciones reales en las que
aparecen. Composicin de funciones .................................................................................... 5
2. Funciones dadas en forma de tablas. Interpolacin polinmica. Interpolacin y
extrapolacin de datos. ........................................................................................................ 14
3. Limites de funciones. Continuidad y discontinuidades. Teorema de Bolzano. Ramas
infinitas................................................................................................................................ 19
4. Derivada de una funcin en un punto. Funcin derivada. Derivadas sucesivas.
Aplicaciones. ....................................................................................................................... 27
5. Desarrollo de una funcin en serie de potencias. Teorema de Taylor. Aplicaciones al
estudio local de funciones ................................................................................................... 34
6. El problema del clculo del rea. Integral definida............................................................. 41
7. Primitiva de una funcin. Clculo de algunas primitivas. Aplicaciones de la integral al
clculo de magnitudes geomtricas..................................................................................... 49
Bibliografa

















3




































4


Int roducci n

Al escribir este libro se ha pretendido presentar los resultados ms importantes del anlisis
matemtico real, concretamente abordamos las funciones reales de variable real, la continuidad de
dichas funciones, el clculo diferencial e integral y la interpolacin numrica. Cada uno de los
conceptos principales del anlisis matemtico aparece definido, justificando los resultados
principales mediante una demostracin.
En todos los captulos se utiliza una fundamentacin clsica del clculo infinitesimal de
manera que este libro pude ser utilizado por alumnos de primeros aos de estudios superiores de
ingenieras y ciencias exactas. Est tambin recomendado para los opositores al profesorado en
Educacin Secundaria.
Comentamos, para terminar, que al lector se le supone nicamente unos ciertos
conocimientos de lgebra y algunas nociones elementales de geometra.


























5



Captulo 1

FUNCIONES REALES DE VARIABLE REAL

FUNCIONES ELEMENTALES: SITUACIONES
REALES EN LAS QUE APARECEN

COMPOSI CIN DE FUNCIONES




funciones reales de variable real

Operaciones con funciones. Estructura del
conjunto de funciones reales de variable real.

Funciones elementales







6

1. FUNCIONES REALES DE VARIABLE REAL

CONCEPTO DE FUNCIN REAL DE VARIABLE REAL
Una funcin real de variable real es una correspondencia de un subconjunto no vaco D IR
en IR, lo escribiremos f: D IR, que a cada elemento x D le asocia uno y slo un elemento y
IR. El subconjunto D se llama dominio de definicin o campo de existencia de f y se escribe
Dom(f) = {x IR / !f(x) IR}.
El recorrido o imagen de una funcin es el subconjunto de IR formado por las imgenes de los
elementos del dominio: Im (f) = Rec(f) = {f(x) / x D}.
El nmero x representa un elemento arbitrario del dominio de la funcin y se llama variable
independiente. Al nmero y asociado por la funcin al valor de x se le llama variable dependiente.

REPRESENTACIN GRFICA
Un sistema de coordenadas cartesianas en el plano es un par ordenado de dos ejes
perpendiculares entre s en un punto O. Al eje horizontal se le llama eje de abcisas y se designa con
OX, y al vertical se le llama eje de ordenadas y se designa con OY. Sobre OX se sita la variable
independiente y sobre OY la variable dependiente. Si tomamos el sistema de referencia
{ } j i O , ; = , un punto cualquiera del plano P vendr representado por los coeficientes de la
combinacin lineal que expresa el vector OP en funcin de la base{ } j i, . As, un punto P se
expresara como (x
o
, y
o
), siendo x
o
la abscisa de P e y
o
la ordenada de P. La grfica de una funcin
es el lugar geomtrico de los puntos cuyas coordenadas verifican la ecuacin y = f(x).
La visualizacin de las grficas de las funciones permiten ver ms fcilmente sus propiedades.

Traslacin en la grfica de una funcin
1. Traslacin horizontal
Dada la representacin grfica de una funcin f(x), si consideramos la funcin g(x) = f(x-k),
obtendremos una funcin cuya grfica estar trasladada respecto a la original k unidades a la
derecha, para k > 0 a la izquierda para k < 0.

2. Traslacin vertical
Dada f(x), si consideramos la funcin g(x) = f(x) + k, obtendremos una funcin cuya grfica
estar trasladada respecto a la original k unidades hacia arriba, si k > 0 hacia abajo si k < 0.


7


PROPIEDADES DE LAS FUNCIONES
Paridad
Una funcin real de variable real y = f(x) es par si y slo si se verifica que f(-x)=f(x). La
grfica de una funcin par es simtrica respecto al eje de ordenadas, y verifica que si contiene al
punto (x, y), contendr al (-x, y). Las funciones y = cos x, y = x
4
+x
2
son funciones pares.
Una funcin real de variable real y = f(x) es impar si y slo si se verifica que f(-x) = -f(x).
La grfica de una funcin impar es simtrica respecto al origen de coordenadas, y verifica que si
contiene al punto (x, y), contendr al (-x, -y). Ejemplos: y = sen x, y = x
3
+ x son funciones impares.
Una funcin se dice que no tiene paridad si no es par ni impar.

Funcin inyectiva
Una funcin real de variable real y = f(x) es inyectiva si y slo si se verifica que x
1
, x
2

IR, f(x
1
) = f(x
2
) x
1
= x
2
. Grficamente lo veremos cuando las rectas paralelas al eje OY cortan a
la funcin en un slo punto. Las funciones y = x + 2, y = x
3
son inyectivas.

Funcin sobreyectiva
Una funcin real de variable real y = f(x) es sobreyectiva si y slo si para cualquier y IR
xD, tal que f(x) = y. Grficamente lo veremos cuando Im(f) = IR. Las funciones y = x + 2, y = x
3

son funciones sobreyectivas.

Funcin biyectiva
Una funcin real de variable real y = f(x) es biyectiva si es inyectiva y sobreyectiva.

Funcin peridica
Una funcin real de variable real y = f(x) es peridica si t IR, no nulo / x D se
verifica f(x + t) = f(x). A dicho valor t se le denomina periodo y se verifica que todo mltiplo de t
tambin es un periodo para f. Son peridicas todas las funciones trigonomtricas.

Monotona
Una funcin real de variable real y = f(x) es creciente en D si se verifica: x
1
, x
2
D / x
1
<
x
2
f(x
1
) f(x
2
) y es estrictamente creciente si x
1
, x
2
D / x
1
< x
2
f(x
1
) < f(x
2
).
Una funcin real de variable real y = f(x) es decreciente en D si x
1
, x
2
D / x
1
< x
2

f(x
1
) f(x
2
) y es estrictamente decreciente si x
1
, x
2
D / x
1
< x
2
f(x
1
) > f(x
2
).

8

Las funciones ( )
x
f x a = y ( ) log
a
f x x = son estrictamente crecientes para a > 1 y
estrictamente decrecientes para 0 < a < 1.

Acotacin
Una funcin real de variable real y = f(x) est acotada superiormente si K IR / f(x) K
x D. A ese nmero K lo llamaremos cota superior y ser un mximo si la funcin alcanza ese
valor. Se dice que est acotada inferiormente si K IR / f(x) K x D y a este nmero
K se le llamar cota inferior y ser un mnimo si lo alcanza.
Se dice que una funcin y = f(x) est acotada si lo est superior e inferiormente. La funcin
2
( )
1
k
f x
x
=
+
est acotada, verificndose 0 < f(x) k x IR


2. OPERACIONES CON FUNCIONES. ESTRUCTURA DEL CONJUNTO DE
LAS FUNCIONES REALES DE VARIABLE REAL.

Sea IF(D,IR) = IF el conjunto de las funciones reales de variable real con dominio D: IF = {f : D
IR}, vamos a definir las operaciones que podemos realizar con dichas funciones.

SUMA DE FUNCIONES
Dadas dos funciones f y g IF, la suma es otra funcin real h = f + g que verifica: h(x) = (f +
g)(x) = f(x) + g(x) x D. Se verifica que Dom(f + g) = Dom(f) Dom(g) = D.
Propiedades
1. Ley de composicin interna: La suma verifica que si f y g IF, entonces f + g IF.
2. Asociativa: (f + g) + h = f + (g + h) f, g, h IF.
3. Conmutativa: f + g = g + f f, g IF
4. Elemento neutro: Llamaremos funcin nula a la funcin: 0: D IR / 0(x) = 0 x D.
Como se verifica que f + 0 = 0 + f = f f IF , dicha funcin es el elemento neutro para la
suma de funciones.
5. Elemento simtrico. Llamaremos funcin opuesta de f IF a la funcin: -f : D IR / (-
f)(x) = -f(x) x D. Como se verifica que f + f = f + (-f) = 0, dicha funcin es el elemento
simtrico para la suma de funciones.


9

Con todas las propiedades anteriores respecto de la suma podemos afirmar que el (IF, +) tiene
estructura de grupo abeliano.
Como toda funcin tiene opuesta, podemos definir la diferencia de dos funciones f g como la
suma de f con la opuesta de g: f g = f + (-g), cuyo dominio es Dom(f g) = Dom(f) Dom(g) =
D.

PRODUCTO DE UN NMERO REAL POR UNA FUNCIN
El producto de un nmero real k por una funcin f IF es otra funcin k f que verifica: (k f)(x)
= k f(x) x D. Se verifica que Dom(k f) = Dom(f) = D.
Propiedades
1. Distributividad respecto a la suma de funciones: k (f + g) = k. f + k g.
2. Distributividad respecto a la suma de escalares: (k + k') f = k f + k' f.
3. Asociatividad mixta: (k k') f = k (k' f)
4. Elemento neutro: 1 f = f, siendo 1 el elemento neutro de IR.
Con dichas propiedades podemos afirmar que ( )
IR
IF , ,+ es un espacio vectorial.

PRODUCTO DE FUNCIONES
Dadas dos funciones f y g IF, se define el producto h = f g como la funcin real que verifica:
h(x) = (f g)(x) = f(x) g(x) x D. Se verifica que Dom(f g) = Dom(f) Dom(g).
Propiedades
1. Ley de composicin interna: f g IF f , g IF
2. Asociativa: (f g) h = f (g h). f , g, h IF
3. Conmutativa: f g = g f. f , g IF
4. Elemento neutro: Llamamos funcin unidad a la funcin definida como: 1: D IR / 1(x) =
1 x D. Como se verifica que 1 f = f 1 = f f IF, dicha funcin es el elemento
neutro para el producto de funciones.
5. Distributiva respecto a la suma: f (g + h) = f g + f h f , g, h IF

Con estas propiedades el conjunto (IF,+, ) tiene estructura de anillo conmutativo con elemento
unidad.
Definimos la funcin recproca respecto al producto de funciones como la funcin:
IR D
f
:
1
/
) (
1
) (
1
x f
x
f
= . Se verifica que Dom(
f
1
) = D {x / f(x) = 0}. A partir de esta

10

definicin, podemos considerar la divisin de dos funciones f, g IF como el producto de f por la
funcin recproca de g:
g
f
g
f 1
= , verificando que Dom(
g
f
) = Dom(f) Dom(
1
g
).

COMPOSICIN DE FUNCIONES
Sean f y g dos funciones tales que Im(f) Dom(g), se llama funcin compuesta de f y g a la
funcin go f : Dom(f) Im(g) / go f (x) = g(f(x)) x Dom(f). Dicha funcin compuesta se lee
f compuesta con g y se verifica: Dom(go f) = Dom(f).
Propiedades
1. La composicin de funciones no es conmutativa.
2. Es asociativa: ( ) ( ) h g f h g f o o o o = f , g, h IF
3. Llamamos funcin identidad a la funcin definida como: i: D IR / i(x) = x x D.
Como se verifica que i o f = f o i = f f IF, dicha funcin es el elemento neutro para
la composicin de funciones.

FUNCIN INVERSA
Sea f una funcin inyectiva con f: Dom(f) Im(f), llamamos funcin inversa de f, y lo
denotamos por f
-1
, a la funcin: f
-1
:Im(f) Dom(f) / f
-1
(y) = x f(x) = y. Se verifica que
Dom(f
-1
) = Im(f)
Propiedades
1. Si f no es inyectiva, no existe su funcin inversa.
2. Si f posee funcin inversa, se verifica i f f f f = =
1 1
o o . Luego f
-1
es el elemento
simtrico de f respecto de la composicin de funciones.
3. Las grficas de una funcin y su inversa son simtricas respecto a la bisectriz del primer
cuadrante. As si el par (x,y) pertenece a la grfica de f entonces (y,x) pertenece a la grfica
de f
-1
.


3. FUNCIONES ELEMENTALES. SITUACIONES REALES EN LAS QUE
APARECEN.

LA FUNCION AFN

11

Se dice que una funcin es afn si es del tipo f(x) = a x + b, con a, b IR, no nulos. Su
representacin grfica corresponde a una recta que corta al eje OX en el punto b/a y al eje OY en
el punto b. Se verifica que si a > 0 la recta es creciente y si a < 0 es decreciente.
Existen numerosas situaciones del mundo real cuyo comportamiento corresponde al modelo
de la funcin afn como por ejemplo en algunas facturas como las de telfono se cobra una cuota
inicial fija K y una cantidad constante A para cada periodo de tiempo por lo que la funcin
correspondiente sera f(x) = Ax + K.

LA FUNCIN LINEAL
Si b = 0 tenemos y = a x, que corresponde a una recta que pasa por el origen y cuya pendiente
vale a. Al ser
x
y
constante, esta funcin nos describe situaciones de proporcionalidad directa. Se
verifica que f(k x) = k f(x) y f(x + y) = f(x) + f(y).
Este tipo de funcin aparece en numerosas situaciones, por ejemplo el coste de un producto
segn las unidades adquiridas, la longitud de una circunferencia segn el radio, el espacio recorrido
por un mvil con movimiento uniforme o la deformacin de un muelle sometido a una fuerza.

LA FUNCIN CUADRTICA
Se dice que una funcin es cuadrtica si es del tipo f(x) = ax
2
+ bx + c, con a, b, c IR, a no
nulo. Su representacin grfica corresponde con una parbola. A partir de la derivada de la funcin
podemos deducir que dicha parbola tiene su vrtice en el punto
|
|

\
|
+

c
a
b
a
b
4
,
2
2
. Corta al eje OY
en el punto (0,c) y para el corte con el eje OX estudiamos el signo del discriminante:
si = b
2
4ac > 0, la parbola cortar a dicho eje en los puntos:
a
ac b b
x
2
4
2
1
+
= y
a
ac b b
x
2
4
2
2

=
si = 0, la parbola cortar a dicho eje en el punto:
a
b
x
2

=
si < 0, la parbola no corta a dicho eje.
A partir de la derivada segunda podemos deducir que si a > 0, la parbola es convexa y si
a < 0 es cncava. Adems dicha funcin es simtrica respecto a la recta
a
b
x
2

= .
Este tipo de funciones aparecen por ejemplo en el espacio recorrido por un mvil con
movimiento uniformemente acelerado o el rea de un crculo en funcin del radio.

12


LA FUNCIN DE PROPORCIONALIDAD INVERSA
Se dice que una funcin es de proporcionalidad inversa si se puede escribir como f(x) =
x
k
.
Su grfica corresponde a una hiprbola equiltera, curva simtrica respecto a la bisectriz del primer
y tercer cuadrante si k es positivo o simtrica respecto a la bisectriz del segundo y cuarto cuadrante
si k es negativo.
Aparece en situaciones en las que dos magnitudes son inversamente proporcionales, por ejemplo
en el perodo y la frecuencia de un fenmeno peridico, el reparto de un capital fijo en funcin del
nmero de personas o la relacin presin o volumen y temperatura en la ley de los gases perfectos.

FUNCIN EXPONENCIAL DE BASE a, a > 0.
La funcin exponencial de base a es ( )
x
f x a = x IR y verifica que es continua y derivable
en todo IR, estrictamente creciente para a > 1 y estrictamente decreciente para 0 < a < 1. Su grfica
para a > 1 es de la forma:







La funcin exponencial de mayor inters es aquella en la que la base es el nmero e, pues esta
funcin aparece en problemas relacionados con el crecimiento de una poblacin.


FUNCIN LOGARTMICA DE BASE a, a > 0
La funcin logartmica de base a es ( ) log
a
f x x = x IR y verifica que es continua,
derivable en todo IR, estrictamente creciente para a > 1 y estrictamente decreciente para 0 < a < 1.
Su grfica para a > 1 es de la forma:





13




La funcin logartmica de mayor inters es aquella en la que la base es el nmero e. Se
denomina logaritmo neperiano y se denota por Lnx. Al ser la inversa de la exponencial aparece en
la resolucin de las ecuaciones exponenciales. El pH de una solucin se calcula en funcin del
logaritmo en base 10.











14




CAPTULO 2



FUNCIONES DADAS EN FORMA DE TABLAS

INTERPOLACIN POLINMICA

INTERPOLACIN Y EXTRAPOLACIN DE DATOS

13

1.- INTRODUCCIN.
Un problema clsico en las Matemticas, es el de calcular el valor que toma una funcin en
un punto cuya expresin desconocemos. Se trata de encontrar una funcin lo ms simple posible, de
forma que coincida con la funcin objeto del problema en los datos conocidos. Los valores que
obtengamos a partir de esta funcin sern aproximaciones de los valores reales. Se utilizarn los
polinomios para realizar dicha construccin lo que da lugar a la interpolacin polinmica.

2.- FUNCIONES EN FORMA DE TABLAS

Las funciones que ms comnmente vienen dadas en forma de tablas son las funciones
trigonomtricas, exponenciales y logaritmos y las funciones de distribuciones de probabilidad:
Binomial, Poisson o Normal. En ellas se expresan mediante tablas los valores que dichas funciones
toman para unos determinados valores ms comunes de la variable independiente. Estos suelen estar
ordenados de forma creciente y equidistantes.

3.- PLANTEAMIENTO DEL PROBLEMA DE LA INTERPOLACIN POLINMICA.

El problema de la interpolacin plantea el siguiente problema:
Sea S = {
n
x , ,
1
x ,
0
x L },
i j
x x , un conjunto llamado soporte y : f D , con S
D , hallar p [ ]
n
P x un polinomio de grado n tal que ( ) ( ) 0,...,
j j
p x f x j n = = . A p le
llamaremos polinomio de interpolacin de f asociado a S.

Teorema
En las condiciones anteriores podemos asegurar que existe un nico polinomio interpolador
de grado menor o igual que n, de forma que x
i
p( ) =
i
f(x ) para i = 0, 1,, n.
Demostracin
Sea un polinomio p(x) =
n
x
n
a
1 n
x
1 n
a ... x
1
a
0
a +

+ + + P
n
[x]. Al imponer que
x
i
p( ) =
i
f(x ) para i = 0, 1,, n resulta un sistema de n + 1 ecuaciones con n + 1 incgnitas
n
a ,
1 n
a , ... ,
1
a ,
0
a

:




14

= +

+ + +
= +

+ + +
= +

+ + +

n
y
n
n
x
n
a
1 n
n
x
1 n
a ...
n
x
1
a
0
a
......... .......... .......... .......... ..........

1
y
n
1
x
n
a
1 n
1
x
1 n
a ...
1
x
1
a
0
a

0
y
n
0
x
n
a
1 n
0
x
1 n
a ...
0
x
1
a
0
a

El determinante de la matriz del sistema resulta ser de Vandermonde, por tanto:
n
n
x
n
x 1
n
1
x
1
x 1
n
0
x
0
x 1
L
M O M M
L
L
=
>

i k
)
i
x
k
(x 0 ya que
i
x
k
x si k i
As pues el sistema es compatible determinado y por tanto existe una nica solucin segn el
teorema de Rouch-Frobenius. De este resultado se deduce que existen infinitos polinomios de
interpolacin de grado n + 1.
La demostracin anterior nos da un mtodo para calcular el polinomio interpolador pero
tiene el inconveniente de tener que calcular n + 2 determinantes por lo que este procedimiento no se
utiliza para n 4.

POLINOMIO INTERPOLADOR DE LAGRANGE.
El siguiente teorema da un mtodo constructivo para hallar un polinomio de interpolacin.
Teorema
Sea S = {
n
x , ,
1
x ,
0
x L },
i j
x x , : f D , con S D , entonces existe un nico
polinomio de interpolacin de f asociado a S y adems p(x) =
0
( ) ( )
n
k k
k
f x L x
=

donde
0
( )
( )
( )
j k
n
j
k
j k j
x x
L x
x x

son los polinomios k-simos de Lagrange.

Demostracin
( ) [ ]
k n
L x P x y por tanto [ ]
n
p P x . Adems ( ) 1
k k
L x = y ( ) 0,
k j
L x k j = , luego
0
( ) ( ) ( )
n
j k j k
k
p x L x f x
=
=

0,..., j n =
Es nico pues si existe q [ ]
n
P x que interpola a f, considero el polinomio r(x) = p(x) q(x).
r [ ]
n
P x y r se anula en n + 1 puntos por tanto debe ser r = 0.

15

4.- MTODOS DE INTERPOLACIN

MTODO DE AITKEN
Este mtodo permite calcular el polinomio de interpolacin por recurrencia y obtener el
valor de un punto sin calcular previamente su expresin analtica.

Teorema:
Dado un soporte S = {
n
x , ,
1
x ,
0
x L } y ,
i j
x x ,
i j
x x , ,
i j
x x S , entonces
{ } i
i j
S x ,
j i
S {x } S {x }
j i
(x x )P (x) (x x )P (x)
P (x)
x -x
j
x


=

Demostracin.
{ } { }
,
i i
S x S x
P P

son polinomios de grado n + 1 por poseer n + 2 puntos distintos. Al multiplicarlos
por un factor de x se obtiene un polinomio de grado n + 2.
Sea
k
x S , k i, j,
{ } i
k i k k j k
k
S x ,
j i
(x x )f(x ) (x x )f(x )
P (x ) ( )
x -x
j
k
x
f x

= =
Sea x
i
,
{ } i
i j i
i
S x ,
j i
(x x )f(x )
P (x ) ( )
x -x
j
i
x
f x

= = y anlogamente para x
j
.

Algoritmo
Etapa 0
Denotamos p
j
(x) el polinomio que pasa por x
j
, entonces p
j
(x) = f(x
j
), j = 0,...,n.
Etapa 1
Denotamos por p
0j
(x) el polinomio que tiene {x
0
, x
j
} como soporte, entonces p
0j
(x) =
0 j j 0
j 0
(x x )p (x) (x x )p (x)
x -x

, j = 1,..., n i j.
Etapa k
Conocemos
0,..., 1, k j
p

, j = k,...,n, entonces
0,..., ,
( )
k j
p x =
0 0,...,k-1,j j 0,...,k
j k
(x x )p (x) (x x )p (x)
x -x

, para j = k
+ 1, ..., n.
Etapa n
0,...,
( )
n
p x =
n-1 0,...,n-2,n n 0,...,n-1
n n-1
(x x )p (x) (x x )p (x)
x -x



16

METODO DE LAS DIFERENCIAS SUCESIVAS
Sea S = {
n
x , ,
1
x ,
0
x L },
i j
x x , un conjunto llamado soporte, denotamos por [ ]
k n
p P x el
polinomio que interpola a f en x
0
, ..., x
k
. Se pretende calcular de forma recursiva p
n
(x).
Se tiene que p
0
(x) = f(x
0
) y consideramos
1 0 0 1
( ) ( ) [ ,..., ]( )...( )
k k k k
p x p x f x x x x x x

= donde
0
[ ,..., ]
k
f x x es el coeficiente de x
k
en p
k
.
Como
0
1
( ) ( )
n
n
k
p x p x
=
=
1
( ) ( )
k k
p x p x

=
1
n
k=
0 0 1
[ ,..., ]( )...( )
k k
f x x x x x x

, entonces
0
1
( ) ( )
n
n
k
p x p x
=
= +
0 0 1
[ ,..., ]( )...( )
k k
f x x x x x x

que se denomina polinomio de interpolacin
de la forma de Newton.
A la expresin
0
[ ,..., ]
k
f x x se le denomina diferencia sucesiva de orden k asociada a los puntos x
0
,
..., x
k
. Se tiene que [ ]
i
f x = f(x
i
), i = 0, ..., n y que
0
[ ,..., ]
k
f x x =
1 0 1
0
[ ,..., ] [ ,..., ]
k k
k
f x x f x x
x x

Denotando por p
1,...,k
P
k-1
[x] al polinomio de interpolacin asociado a x
1
, ..., x
k
, el coeficiente que
acompaa a x
k 1
es
1
[ ,..., ]
k
f x x .
Consideremos q
k
(x) =
0 1,...,k k 0,...,k-1
k 0
(x x )p (x) (x x )p (x)
x -x

y tenemos que
{ }
,
i j
S x x
p

=
{ }
{ }
i
j
i j S x
S x
j i
(x x )p (x) (x x )p (x)
x -x

, entonces S = {x
1
, ..., x
k-1
} y q
k
(x) =
{ }
0
,
k
S x x
p

= p
k
(x). El
coeficiente de x
k
en p
k
(x) es
0
[ ,..., ]
k
f x x y en q
k
(x) es
1 0 1
0
[ ,..., ] [ ,..., ]
k k
k
f x x f x x
x x

.

METODO DE LAS DIFERENCIAS FINITAS
Sea S = {x
k
= x
0
+ k h, k = 0, ..., n} un soporte regular. Se define el operador diferencia
progresiva de la siguiente manera:
0
( ) ( )
i i
f x f x = , i = 0, ..., n;
1
1
( ) ( ) ( )
i i i
f x f x f x
+
= , i = 0, ...,
n 1;
2 1 1
1 2
( ) ( ) ( ) ( ) ( )
i i i i i
f x f x f x f x f x
+ +
= = + , i = 0, ..., n 2; y en general
1 1
1
( ) ( ) ( )
k k k
i i i
f x f x f x

+
= , i = 0, ..., n k.
Se tiene que ( ) ! [ ,..., ]
k k
i i i k
f x k h f x x
+
= , k = 0, ..., n ya que:
0
( ) ( )
i i
f x f x = = f[x
i
]

17

1
1
( ) ( ) ( )
i i i
f x f x f x
+
= = f[x
i+1
] f[x
i
] = h
1
[ , ]
i i
f x x
+

Supongamos ( ) ! [ ,..., ]
k k
i i i k
f x k h f x x
+
= y
1
1
( ) ( ) ( )
k k k
i i i
f x f x f x
+
+
= =
1 1
! [ ,..., ]
k
i i k
k h f x x
+ + +
-
! [ ,..., ]
k
i i k
k h f x x
+
=
1 1
! ( [ ,..., ]
k
i i k
k h f x x
+ + +
[ ,..., ])
i i k
f x x
+
= ( )
1 1
! [ ,..., ]
k
i k i i i k
k h x x f x x
+ + + +
=
1
! ( 1) [ ,..., ]
k
i i k
k h k h f x x
+ +
+ .
En concreto para i = 0,
0
0 0
( ) ! [ ,..., ]
k
k
f x k h f x x = , a partir del mtodo de las diferencias sucesivas
se llega a:
0
1
( ) ( )
n
n
k
p x p x
=
= +

0
0 1
( )
( )...( )
!
k
k k
f x
x x x x
k h

.

5.- ERROR EN LA INTERPOLACIN.
Siempre que se sustituye cualquier funcin por un polinomio de interpolacin se comete un
error. Dicho error es inevitable, pero se puede acotar.
Teorema:
Supongamos una funcin f (a,b)
1 n
C
+
y p su polinomio de interpolacin de f en el conjunto de
puntos S = {
n
x , ,
1
x ,
0
x L } (a, b) . Entonces x [ ]
0
,
n
x x
x
)
n
x ,
0
(x tal que e (x) = f (x)
p(x) =
x
(x x ) (x x ) (x x )
n
n 1)
0 1
f ( )
(n 1)!


+

+
L

Demostracin.
Si x =
i
x para algn i = 0, 1,, n entonces e(x) = 0.
Fijo x
i
x , para todo i, consideremos F(t) = (t) p(t)
A(x) (t x ) (t x ) (t x )
n
0 1
L , donde la funcin A(x) es tal que F(x) = 0 , es decir,
(x) P (x)
n
A(x) .
(x x ) (x x ) (x x )
n
0 1
f
=
L

La funcin F es, al menos, n + 1 veces derivable y se anula en
n
x , ,
1
x ,
0
x L , x (n + 2 abscisas)
por construccin. Estamos en las condiciones del teorema de Rolle. Adems este teorema se puede
aplicar hasta n + 1 veces. Al aplicarlo dichas n + 1 veces, se obtiene que

x
)
n
x ,
0
(x de forma que F
1) n+
(
x
) = 0.
Derivando la funcin F (n + 1 veces) obtenemos: F
1) n+
(
x
) = f
1) n+
(
x
) A(x) (n + 1)!

18

As pues, al unir ambos resultados podemos despejar: A(x) =
n 1)
( )
(n 1)!
x
f
+
+

Por tanto tenemos que
(x) P (x)
n
A(x)
(x x ) (x x ) (x x )
n
0 1
f
= =
L
n 1)
( )
(n 1)!
x
f
+
+

f (x) (x)
n
P =
(x x ) (x x ) (x x )
n n 1)
0 1
( )
(n 1)!
x
f

+

+
L

En principio
x
es desconocido pero podemos obtener una cota del error:
{ }
1
0
( ) ( ) max ( )...( ) , ( , )
( 1)!
n
n
M
f x p x x x x x x a b
n
+

+
con
{ }
1)
1
max ( ) , ( , )
n
n
M f x x a b
+
+
= de
manera que el lado derecho no depende de x.

6.- EXTRAPOLACIN DE DATOS.
En algunos problemas el objetivo es calcular el valor de una funcin en un punto no
perteneciente al soporte. Este proceso recibe el nombre de extrapolacin. Tiene el inconveniente de
que cuanto ms nos alejemos del conjunto S ms crecer el error que cometemos y por tanto es
menos preciso que la interpolacin. Por tanto el valor utilizado debe estar tan cerca como sea
posible del soporte.


























19






CAPTULO 3






Limites de funciones. Continuidad y discontinuidades.
Teorema de Bolzano. Ramas infinitas.





































20

1.- LMITE DE UNA FUNCIN

Lmite finito en un punto

Sea I un intervalo de la recta real, a I y f una funcin real definida en I. Se dice l IR es
el lmite de f cuando x tiende al punto a si se verifica:
0 0 / , 0 | | | ( ) | x I x a f x l > > < < < y lo escribiremos como lim ( )
x a
f x l

= .
Observaciones:
1. Como se considera x a, el valor f(a), si existe, no influye sobre el valor del lmite.
2. Al tomar 0 | | x a < < , estamos tomando valores mayores o menores que a. El hecho de
considerar a estos a un lado u otro del punto a da lugar al concepto de lmites laterales.

Limites laterales finitos
Se dice que l es el lmite por la derecha de la funcin f en el punto a si se verifica:
0 0 / ( , ) | ( ) | x a a I f x l > > + < y se denotar lim ( )
x a
f x l
+

=
Anlogamente, se dice que l es el lmite por la derecha de la funcin f en el punto a si se
verifica: 0 0 / ( , ) | ( ) | x a a I f x l > > < y se denotar lim ( )
x a
f x l

=
Propiedades
1. lim ( )
x a
f x l

= lim ( )
x a
f x

= lim ( )
x a
f x l
+

=
2. Si el lmite existe, este es nico.
3. f est acotada en el conjunto (a - , a + ) I.

Lmite infinito en un punto
Sea I un intervalo de la recta real, a I y f una funcin real definida en I. Se dice que f
tiende a ( + ) cuando x tiende al punto a si se verifica:
0 0 / , 0 | | | ( ) | M x I x a f x M > > < < > y lo escribiremos como lim ( )
x a
f x

= .
Lmites laterales infinitos
Se dice que el lmite por la derecha de la funcin f es ( + ) en el punto a si se
verifica: 0 0 / ( , ) | ( ) | M x a a I f x M > > + > y se denotar lim ( )
x a
f x
+

= .
Se dice que el lmite por la izquierda de la funcin f es ( + ) en el punto a si se
verifica: 0 0 / ( , ) | ( ) | M x a a I f x M > > > y se denotar lim ( )
x a
f x

= .


21

Lmite finito al infinito
Sea I un conjunto no acotado superiormente y f una funcin real definida en I. Se dice que f
tiende a l IR cuando x tiende a + si se verifica:
0 0 / , | ( ) | H x I x H f x l > > > < y se escribe lim ( )
x
f x l
+
= .
Anlogamente, sea I un conjunto no acotado inferiormente y f una funcin real definida en I.
Se dice que f tiende a l IR cuando x tiende a - si se verifica:
0 0 / , | ( ) | H x I x H f x l > > < < y se escribe lim ( )
x
f x l

= .

Lmites infinitos al infinito.
Sea I un conjunto no acotado superiormente y f una funcin real definida en I. Se dice que f
tiene a ( + ) cuando x tiende a + si se verifica:
0 0 / , | ( ) | M H x I x H f x M > > > < y se escribe lim ( )
x
f x
+
= .
Sea I un conjunto no acotado inferiormente y f una funcin real definida en I. Se dice que f
tiende a ( + ) cuando x tiende a - si se verifica:
0 0 / , | ( ) | M H x I x H f x M > > < > y se escribe lim ( )
x
f x

= .

lgebra de lmites
Sean f y g funciones reales definidas en I y a I, se pueden realizar las siguientes operaciones
lmites sobre dichas funciones:
1. Suma:
a. Si lim ( )
x a
f x l

= y lim ( ) '
x a
g x l

= entonces lim ( ) ( ) '

x a
f x g x l l

+ = +
b. Si lim ( )
x a
f x

= + y lim ( )
x a
g x

= + entonces lim ( ) ( )
x a
f x g x

+ = +
c. Si lim ( )
x a
f x

= y lim ( )
x a
g x

= entonces lim ( ) ( )
x a
f x g x

+ =
d. Si |f(x)| M x I y lim ( )
x a
g x

= entonces lim ( ) ( )
x a
f x g x

+ =
e. Si lim ( )
x a
f x

= + y lim ( )
x a
g x

= entonces lim ( ) ( )
x a
f x g x

+ da lugar a una
indeterminacin.
2. Producto:
a. Si lim ( )
x a
f x l

= y lim ( ) '
x a
g x l

= entonces lim ( ) ( ) '

x a
f x g x l l

=
b. Si |f(x)| > h > 0 y lim ( )
x a
g x

= entonces lim ( ) ( )
x a
f x g x

=
c. Si |f(x)| M x I y lim ( ) 0
x a
g x

= entonces lim ( ) ( ) 0
x a
f x g x

=

22

d. Si lim ( ) 0
x a
f x

= y lim ( )
x a
g x

= entonces lim ( ) ( )
x a
f x g x

da lugar a una
indeterminacin
3. Cociente:
a. Si lim ( )
x a
f x l

= , lim ( ) '
x a
g x l

= y g(x) 0 x I entonces
( )
lim
( ) '
x a
f x l
g x l

=
b. Si |f(x)| > h > 0 y lim ( ) 0
x a
g x

= entonces
( )
lim
( )
x a
f x
g x

=
c. Si lim ( ) 0
x a
f x

= , |g(x)| > h > 0 entonces

( )
lim 0
( )
x a
f x
g x

=
d. Si |f(x)| M x I y lim ( )
x a
g x

= entonces
( )
lim 0
( )
x a
f x
g x

=
e. Si lim ( )
x a
f x

= , |g(x)| M x I entonces
( )
lim
( )
x a
f x
g x

=
f. Si lim ( ) 0
x a
f x

= y lim ( ) 0
x a
g x

= entonces
( )
lim
( )
x a
f x
g x

da lugar a una indeterminacin.

4. Funcin potencia:
a. Si lim ( ) 0
x a
f x l

= , lim ( ) '
x a
g x l

= entonces
( ) '
lim ( )
g x l
x a
f x l

=
b. Si lim ( ) 0
x a
f x

= , lim ( ) ' 0
x a
g x l

= entonces
( )
lim ( ) 0
g x
x a
f x

= si l > 0 y
( )
lim ( )
g x
x a
f x

= +
si l < 0
c. Si lim ( )
x a
f x

= +, lim ( )
x a
g x

= + entonces
( )
lim ( )
g x
x a
f x

= +
d. Si lim ( )
x a
f x

= +, lim ( ) ' 0
x a
g x l

= entonces
( )
lim ( )
g x
x a
f x

= + si l > 0 y
( )
lim ( ) 0
g x
x a
f x

= si l < 0.
e. Si lim ( )
x a
f x

= +, lim ( )
x a
g x

= entonces
( )
lim ( ) 0
g x
x a
f x

=
f. Si [ ) lim ( ) 0,1
x a
f x l

= , entonces
( )
lim ( ) 0
g x
x a
f x

= si lim ( )
x a
g x

= + y
( )
lim ( )
g x
x a
f x

= + si
lim ( )
x a
g x

= .
g. Si lim ( ) 1
x a
f x l

= > , entonces
( )
lim ( )
g x
x a
f x

= + si lim ( )
x a
g x

= + y
( )
lim ( ) 0
g x
x a
f x

= si
lim ( )
x a
g x

= .
h. Si lim ( ) 0
x a
f x

= y lim ( ) 0
x a
g x

= , lim ( )
x a
f x

= + y lim ( ) 0
x a
g x

= o bien lim ( ) 1
x a
f x

= y
lim ( )
x a
g x

= + entonces
( )
lim ( )
g x
x a
f x

da lugar a una indeterminacin.

23

Se obtendrn los mismos resultados para el caso en que I sea no acotado y x tienda a . Las
indeterminaciones se resuelven realizando transformaciones en las funciones que permitan llegar al
valor de dicho lmite, aplicando infinitsimos equivalentes o aplicando la regla de LHpital.

2.- CONTINUIDAD Y DISCONTINUIDAD
Sea I un intervalo de la recta real, a I y f una funcin real definida en I. Se dice f es
continua en a si se verifica:
0 0 / , | | | ( ) ( ) | x I x a f x f a > > < < y se escribe lim ( ) ( )
x a
f x f a

= .
Se dice que f es continua a la derecha de a si lim ( ) ( )
x a
f x f a
+

= y se dice que es continua a la

izquierda de a si lim ( ) ( )
x a
f x f a

= . Por tanto, una funcin es continua si se verifica que

lim ( )
x a
f x
+

= lim ( ) ( )
x a
f x f a

= .
Sea J I, J , se dice que f es continua en J si f es continua en a, a J.

Observacin
Las funciones x
a
, x > 0, a IR; a
x
, x IR; lg
b
x, b IR
+
, b 1, x > 0; Sen x y Cos x, x
IR son continuas en los puntos donde estn definidas.
Propiedad
Sean f, g : I IR IR, a I, f y g continuas en a, entonces se verifica:
1. f + g es continua en a
2. f g es continua en a
3. si g(a) 0 entonces f/g est bien definida en ( ) , a a I + y es continua en a

De aqu se deduce que las funciones enteras:
0 1
( ) ...
p
p
f x a a x a x = + + + p IN, x IR, son
funciones continuas en IR, y las funciones racionales:
0 1
0 1
...
( )
...
p
p
q
q
a a x a x
Q x
b b x b x
+ + +
=
+ + +
y las funciones
trigonomtricas tgx, Ctgx, Secx y Cosecx son continuas excepto donde se anula el denominador.

Composicin de funciones continuas
Sea f : I IR IR, g : J IR IR, f ( I ) J. Si f es continua en a I y g es continua en
f(a) J, entonces go f es continua en a

Demostracin
Hay que probar que

24

0 0 / , | | | ( ( )) ( ( )) | x I x a g f x g f a > > < <
Al ser g continua en f(a), se verifica que
dado
1 1
0 0 / , | ( ) | | ( ) ( ( )) | y J y f a g y g f a > > < <
como f es continua en a,
dado
1 1
0 0 / , | | | ( ) ( ) | x I x a f x f a > > < < y por tanto
| ( ( )) ( ( )) | g f x g f a <

Discontinuidades
Sea f : I IR IR, a I, si f no es continua en a, se dice que es discontinua. Se pueden
presentar los siguientes tipos de discontinuidades:
1. Discontinuidad evitable, si lim ( ) ( )
x a
f x f a

2. Discontinuidad infinita, si lim ( )
x a
f x

=
3. Discontinuidad de salto finito o de primera especie, si lim ( )
x a
f x

lim ( )
x a
f x
+

4. Discontinuidad de salto infinito, si lim ( )
x a
f x

o lim ( )
x a
f x
+

=
5. Discontinuidad esencial o de segunda especie, si no existe lim ( )
x a
f x

o lim ( )
x a
f x
+

.

Propiedades de las funciones continuas
1. Sea f : [a,b] IR continua en [a,b], entonces f alcanza sus valores mximos y mnimos en
[a,b].
2. Sea f continua en a, con f(a) 0 entonces existe un entorno de a en el que la funcin no
cambia de signo: f(x) f(y) > 0, ( ) , , x y a a + .
3. Sea f continua en a entonces existe un entorno de a en el que la funcin est acotada.

3.- TEOREMA DE BOLZANO

Sea f : [a,b] IR continua en [a,b] y f(a) f(b) < 0, entonces existe x
0
(a,b) tal que f(x
0
) =
0.

Demostracin
Por reduccin al absurdo, supongamos que f(x) 0, x [a,b] y sea [ ] ,
2
a b
a b
+
,
entonces ( ) 0
2
a b
f
+
.

25

Denotamos por [ ]
1 1
, a b el subintervalo ,
2
a b
a
+ (
(

,
2
a b
b
+ (
(

en el que se verifica que f(a
1
) f(b
1
) <
0, [ ]
1 1
, a b [a,b] y b
1
a
1
=
2
b a

Supuesto definido [a
n
, b
n
] verificando [ ] ,
n n
a b [ ]
1 1
,
n n
a b

... [a,b] con b
n
a
n
=
2
n
b a
y f(a
n
)
f(b
n
) < 0, hemos definido un sistema de intervalos cerrado y encajado. Por el Teorema de Cantor
tenemos que [ ] ,
n n
n IN
a b

I
. Sea x
0
[ ] ,
n n
n IN
a b

I
, f es continua en x
0
y f(x
0
) 0, entonces
[ ]
0 0 0
0 / ( , ) , ( ) ( ) 0 x x x a b f x f x > + >
Para ese valor , n IN /
2
n
b a
< y [ ] ( )
0 0
, ,
n n
a b x x + [a,b], luego f(a
n
) y f(b
n
) tienen
el mismo signo que f(x
0
), pero f(a
n
) f(b
n
) < 0.

El teorema de Bolzano se utiliza para la bsqueda de races de ecuaciones y el estudio del
signo de una funcin.


4.- RAMAS INFINITAS. ASNTOTAS

Sea f(x) una funcin continua en un intervalo no acotado decimos que f(x) tiene una rama
infinita si existen puntos M = (x, f(x)) cuya distancia al origen sea mayor que cualquier nmero
prefijado.
Se dice que una funcin con rama infinita posee una asntota si existe una recta cuya distancia
de la recta a un punto de la rama infinita se puede hacer tan pequea como se quiera.
Se dice que una funcin con rama infinita posee una rama parablica si no posee asntotas.

Ramas infinitas en el infinito
Al hacer lim ( )
x
f x
+
, se nos puede presentar los siguientes casos:
1. Si lim ( )
x
f x l
+
= , entonces la recta y = l es asntota horizontal.


2. Si lim ( )
x
f x
+
= , pasamos a hacer el
( )
lim
x
f x
x
+
y podemos obtener los siguientes casos:

26

a.
( )
lim
x
f x
x
+
= 0, la funcin tiene una rama parablica en la direccin del eje OX.

b.
( )
lim
x
f x
x
+
= , la funcin tiene una rama parablica en la direccin del eje OY.



c.
( )
lim
x
f x
m
x
+
= , lim ( )
x
f x mx
+
= , la funcin tiene una rama parablica en la
direccin y = m x.


d.
( )
lim
x
f x
m
x
+
= , lim ( )
x
f x mx n
+
= , la recta y = m x + n es una asntota oblicua para
f(x). Si
( )
( )
( )
P x
f x
Q x
= y grado(P(x)) = grado (Q(x)) + 1 entonces la asntota oblicua
coincide con el cociente de P(x) : Q(x).



Una funcin no puede tener a la vez asntota oblicua y horizontal.

Ramas infinitas en un punto
Si lim ( )
x a
f x

= entonces la recta x = a es una asntota vertical. Si ( ) f x es una funcin

racional sin races comunes, las asntotas verticales se encuentran en los valores de x que son races
del denominador.


De la misma manera se pueden obtener los resultados para x - .




27


CAPTULO 4




Derivada de una funcin en un punto


Funcin derivada


Derivadas sucesivas


Aplicaciones














28


1. DERIVADA DE UNA FUNCIN EN UN PUNTO

Sea : f S , y
0
' x S S , S conjunto de puntos de acumulacin de S. Si existe el
lmite
0
0
0
( ) ( )
lim
x x
f x f x
x x

se dice que f es derivable o diferenciable en x

0
y el valor del lmite se
denota por f(x
0
) que llamaremos derivada de f en x
0
.
Observaciones
1. Se puede utilizar la notacin: f(x
0
) =
0 0
0
( ) ( )
lim
h
f x h f x
h

+
, donde h = x x
0
.
2. Se dice que f es derivable en x
0
por la derecha si
0
0
0
0
( ) ( )
lim '( )
x x
f x f x
f x
x x
+
+

y f es
derivable en x
0
por la izquierda si
0
0
0
0
( ) ( )
lim '( )
x x
f x f x
f x
x x

. Si f es derivable por la
izquierda y derecha de x
0
entonces f es derivable en x
0
si
0
'( ) f x
+
=
0
'( ) f x

. Si
0
'( ) f x
+

0
'( ) f x

se dice que f tiene en x
0
un punto anguloso.
Teorema
Sea : f S , y
0
' x S S . Si f es derivable en x
0
entonces f es continua en x
0
.
El recproco no es cierto, por ejemplo f(x) = |x| es continua y no derivable en 0.

INTERPRETACIN GEOMTRICA DE LA DERIVADA
Sea : f S , y
0
' x S S y consideramos el haz de rectas
0 0
( ) ( )
m
r y m x x f x = + .
Denominamos tangente a la curva y = f(x) en el punto (x
0
, f(x
0
)) a la recta del haz que verifique
0
0
( )
lim 0
x x
f x y
x x

.





x
0

La tangente es la recta del haz que mejor aproxima a la curva en un entorno de x
0
. Para que
exista la tangente se debe cumplir:
0
0 0
0
( ) ( ( ) ( ))
lim 0
x x
f x m x x f x
x x

+
=

0
0
0
( ) ( )
lim
x x
f x f x
x x

= m. Por

29

tanto existe recta tangente a una funcin f(x) en un punto x
0
si y slo si f es derivable en x
0
y f(x
0
)
= m. La ecuacin de la recta tangente es:
0 0 0
'( )( ) ( ) y f x x x f x = + .


2. FUNCIN DERIVADA. DERIVADAS SUCESIVAS.

Sea : f S , si f es derivable en x, x S se dice que f es derivable en S y la
funcin que a cada punto le asocia su derivada se denomina funcin derivada primera de f y se
denota f. Si la funcin f es derivable en
0
' x S S , a la derivada de f en x
0
se le denomina
derivada segunda de f en x
0
y se denota f(x
0
). En general si f es n veces derivable en S, la funcin
que a cada punto le asocia el valor de la funcin derivada n veces se denomina funcin derivada n-
sima y se denota f
n
(x).

LGEBRA DE DERIVADAS
Sean , : f g S , y
0
' x S S . Si f y g son derivables en x
0
entonces:
1. f g es derivable en x
0
y (f g)(x
0
) = f(x
0
) g(x
0
).
2. f g es derivable en x
0
y (f g)(x
0
) = f(x
0
) g(x
0
) + f(x
0
) g(x
0
).
3. Si g(x
0
) 0,
f
g
es derivable en x
0
y
/
0 0 0 0
0 2
0
'( ) ( ) ( ) '( )
( )
( )
f x g x f x g x f
x
g g x
| |
=
|
\


Derivacin de la funcin compuesta (Regla de la cadena)
Sea : f S , : g T , f(S) T. Si f es derivable en x
0
y g es derivable en f(x
0
)
entonces go f es derivable en x
0
y ( )
0 0 0
'( ) '( ( )) '( ) g f x g f x f x = o .
Demostracin
Sea : h T /
0
0
0
0 0
( ) ( ( ))
; ( )
( ) ( )
'( ( )) ; ( )
g y g f x
y f x
y f x h y
g f x y f x

h es continua en f(x
0
) pues
0 0
( ) ( )
lim ( ) lim
y f x y f x
h y

=
0
0
0
( ) ( ( ))
'( ( ))
( )
g y g f x
g f x
y f x

= h(f(x
0
)).
Sea
0
0
0
0 0
( ( )) ( ( ))
; ( ) ( )
( ) ( ) ( ( ))
'( ( )) ; ( ) ( )
g f x g f x
f x f x
f x f x h f x
g f x f x f x

30

f es continua en x
0
por ser derivable, por tanto ho f es continua en x
0
y
0
0 0
lim ( ( )) ( ( )) '( ( ))
x x
h f x h f x g f x

= =
0
x x se tiene (
0
( ) ( ) f x f x ) h(f(x)) = g(f(x)) g(f(x
0
)), por tanto (
0
0
( ) ( ) f x f x
x x

) h(f(x)) =
0
0
( ( )) ( ( )) g f x g f x
x x

. Tomando lmites para x x

0
queda:
0
'( ) f x
0
'( ( )) g f x = ( )
0
'( ) g f x o .

Derivada de la funcin inversa
Sea ( )
0 0
: , f x r x r + , si f es continua y estrictamente montona en ( )
0 0
, x r x r + y
es derivable en x
0
, con f(x
0
) 0 entonces f
-1
es derivable en f(x
0
) y se verifica
1
0
0
1
( ) '( ( ))
'( )
f f x
f x

= .
Ejemplo
[ ] : , 1,1
2 2
Sen
(

(

es continua y estrictamente creciente por lo que
1
:[ 1,1] ,
2 2
f

(

(

continua y derivable en todo punto de ,
2 2
| |

|
\
con
1
( ) ( ) f y arcsen y

= .
Por el teorema de la funcin inversa:
1
0
2 2
0
0 0
1 1 1
( ) '( )
1 1
f y
Cosx
Sen x y

= = =


Luego (arcsenx) =
2
1
1 x
( ) 1,1 x

DERIVADA DE LAS FUNCIONES ELEMENTALES
f (x) = k f

(x) = 0
f (x) = x
n
f (x) = nx
n 1

f(x) = e
x
f(x) = e
x
f(x) = a
x
f(x) = a
x
lna
f(x) = lnx f(x) =
1
x

f(x) = log
a
x f(x) =
1
ln x a

f(x) = senx f(x) = cosx
f(x) = cosx f(x) = - senx

31

f(x) = tgx f(x) = sec
2
x
f(x) = cotgx f(x) = - cosec
2
x
f(x) = arcsenx f(x) =
2
1
1 x

f(x) = arccosx f(x) =
2
1
1 x

f(x) = arctgx f(x) =
2
1
1 x +


3. APLICACIONES
FUNCIONES CON DERIVADA NO NULA
Sea : f S , x S, se dice que f tiene en x
0
un mximo relativo si tal que f(x) es un
mximo de f en ( )
0 0
, . x x S + Anlogamente se dice que tiene un mnimo relativo si f(x) es
un mnimo de f en dicho intervalo.

Teorema
Sea : f S , x
0
int(S), si f es derivable en x
0
y f(x
0
) 0, entonces > 0 tal que:
1. Si f(x
0
) > 0 entonces
0 0 0
0 0 0
( ) ( )
( ) ( )
f x f x si x x x
f x f x si x x x

< < < +

< < <

2. Si f(x
0
) < 0 entonces
0 0 0
0 0 0
( ) ( )
( ) ( )
f x f x si x x x
f x f x si x x x

> < < +

> < <

Consecuencia
Sea : f S , x
0
int(S), si f tiene en x
0
un extremo relativo y f es derivable en x
0

entonces f(x
0
) = 0.
Este resultado da una condicin necesaria para la existencia de extremos relativos. En la
prctica si f: [a,b] IR es continua, f alcanza el mximo y mnimo absoluto en alguno de los
puntos:
1. a b
2. x
0
(a,b) / no existe f(x
0
)
3. x
0
(a,b) / f(x
0
) = 0

TEOREMA DE ROLLE Y DEL VALOR MEDIO

32

Teorema de Rolle
Sea f: [a,b] IR continua y derivable en (a,b), entonces:
1. si f(a) = f(b)
0 0
( , ) / '( ) 0 x a b f x =
2. si f(x) 0 x ( , ) a b f es estrictamente creciente si f(a) < f(b) y estrictamente
decreciente si f(a) > f(b).

Demostracin
1.- Por reduccin al absurdo.
Supongamos que ( , ) / '( ) 0 x a b f x , entonces el mximo y mnimo de f no se
alcanzan en (a,b). Al ser f continua en un compacto f debe alcanzar su mximo y mnimo absoluto
en [a,b], entonces maxf = minf = f(a) = f(b) f es constante y f = 0
2.- Supongamos que f(a) < f(b), por el mismo razonamiento anterior f(a) =
[ ] ,
min
x a b
f

y f(b) =
[ ] ,
max
x a b
f

.
Adems f(a) < f(x) < f(b) ( , ) x a b ya que si f(a) = f(x), por el apartado anterior existira x
0

(a,x) / f(x
0
) = 0 y lo mismo si f(b) = f(x).
Sean x
1
, x
2
[a,b], a x
1
< x
2
b. Si a = x
1
f(x
1
) < f(x
2
) y si a < x
1
< x
2
b aplicando
el mismo razonamiento en [a, x
2
] llegamos a que f(a) < f(x
1
) < f(x
2
). Por tanto f es estrictamente
creciente.
De forma anloga se puede probar para f(a) > f(b).

Teorema del valor medio
Sean f, g: [a,b] IR continuas y derivables en (a,b), entonces
0 0 0
( , ) / ( ( ) ( )) '( ) ( ( ) ( )) '( ) x a b f b f a g x g b g a f x =

Teorema del valor medio de Lagrange
Sea f: [a,b] IR continua y derivable en (a,b), entonces
0
( , ) x a b /
0
( ) ( ) ( ) '( ) f b f a b a f x =
Se obtiene a partir del teorema del valor medio tomando g(x) = x.

Consecuencia
Sea f: [a,b] IR continua y derivable en (a,b), se tiene:
a. f(x) = 0 x ( , ) a b f es constante en [a,b]
b. f(x) > 0 x ( , ) a b f es estrictamente creciente en [a,b]
c. f(x) < 0 x ( , ) a b f es estrictamente decreciente en [a,b]


33

REGLA DE LHOPITAL
Sean f, g: (a,b) IR derivables en (a,b), g(x) 0 en (a,b) y lim ( ) lim ( ) 0
x a x a
f x g x
+ +

= = o .
Si
'( )
lim
'( )
x a
f x
l o
g x
+

= entonces
( )
lim
( )
x a
f x
l
g x
+

= .
Se puede obtener de forma anloga el resultado cuando xb
-


Sean f, g: (M, +) IR derivables en (M, +), g(x) 0 en (M, +) y
lim ( ) lim ( ) 0
x a x a
f x g x
+ +

= = o . Si
'( )
lim
'( )
x a
f x
l o
g x
+

= entonces
( )
lim
( )
x a
f x
l
g x
+

= .
Se puede obtener de forma anloga el resultado para el intervalo (- , M).


























34



CAPTULO 5


D E S A R R O L L O D E U N A F U N C I O N E N S E R I E D E
P O T E N C I A S
T E O R E M A D E T A Y L O R



A P L I C A C I O N E S A L E S T U D I O L O C A L D E F U N C I O N E S


























1. DESARROLLO DE UNA FUNCIN EN SERIE DE POTENCIAS


35

Sean a, a
0
, a
n
IR, n IN y sean f
n
: IR IR / f
0
(x) = a
0
y f
n
(x) = a
n
(x a)
n
. Se define la
serie de potencias en a como
0
( )
n
n
n
a x a

Resultados
1. Criterio de la raz. Sea
0
n
n
a

, a
n
0, sea lim | |
n
n
a = L. Si L < 1, la serie converge y si L
< 1 la serie diverge.
2. Criterio de Weierstrass. Sea
0
( )
n
n
f x

serie de funciones con ( )

n n
f x a x U ,
0
n
n
a

< , entonces
0
( )
n
n
f x

es uniformemente convergente en U y absolutamente

convergente en todo punto de U.

Teorema
Sea
0
( )
n
n
n
a x a

y L = lim | |
n
n
a , se tiene:
1. si L = + entonces la serie converge en x = a
2. si 0 < L < + entonces converge absolutamente en
1 1
, a a
L L
| |
+
|
\
, uniformemente en todo
compacto contenido en
1 1
, a a
L L
| |
+
|
\
y diverge en
1 1
, , a a
L L
| | | |
+ +
| |
\ \

3. si L = 0 entonces la serie converge absolutamente en IR y uniformemente en todo compacto
contenido en IR.

Demostracin
Fijo x IR, lim | || | | |
n
n
n
a x a x a L =
Si L = +, x a , lim ( ) 0
n
n
n
a x a

0
( )
n
n
n
a x a

= +, y si x = a,
0
( )
n
n
n
a x a

= 0.
Si 0 < L < +, por el criterio de la raz la serie converge absolutamente si y slo si L |x a|
< 1
1 1
, a a
L L
| |
+
|
\

Si L = 0, L |x a| < 1 x IR y la serie es absolutamente convergente en IR.

36

Sea T
1 1
, a a
L L
| |
+
|
\
IR, la aplicacin | | x T x a es continua en T por lo que existe
x
0
T mximo absoluto:
0
| || | | || |
n n
n n
a x a a x a n x T y
0
0
| || |
n
n
n
a x a

< +

pues x
0
T. Por el Criterio de Weierstrass
0
( )
n
n
n
a x a

converge uniformemente.

Notas
1. A [ ]
1
0,
L
+ se le denomina radio de convergencia y al intervalo que define intervalo de
convergencia.
2. En los extremos del intervalo de convergencia la serie puede tener cualquier carcter.
3. Utilizando el Criterio de Stolz tenemos que si
1
| |
lim
| |
n
n
n
a
a

entonces lim | |
n
n
a
Sea
0
( )
n
n
n
a x a

, 0 el radio de convergencia, I el intervalo de convergencia. La funcin f: I

IR / f(x) =
0
( )
n
n
n
a x a

se denomina funcin definida por la serie de potencias. Se verifica que

f es continua y derivable en I con / f(x) =
1
1
( )
n
n
n
na x a

. Adems ( )
k
f x k x I y
( )
!
n
n
f a
a
n
=

FUNCIONES ELEMENTALES DEFINIDAS COMO SERIE DE POTENCIAS
1.
0
!
k
x
k
x
e
k
+
=
=


2.
1
1
log(1 ) ( 1)
k
k
k
x
x
k
+

=
+ =

3.
1
1
1
k
k
x
x
+
=
=

4.
2 1
0
( 1)
(2 1)!
k
k
k
x
Senx
k
+ +
=
=
+

5.
2
0
( 1)
(2 )!
k
k
k
x
Cosx
k
+
=
=

37

2. FRMULA DE TAYLOR
Sea f: (b, c) IR y f n veces derivable en a (b, c), n IN. El polinomio
'( )
( ) ( ) ...
1!
f a
f a x a + + +
( )
( )
!
n
n
f a
x a
n
se denomina polinomio de Taylor de f en el punto a de
grado n.
T
n
(x) = f(x) {
'( )
( ) ( ) ...
1!
f a
f a x a + + + }
( )
( )
!
n
n
f a
x a
n
se denomina trmino complementario o
resto de orden n de f en a. La frmula: f(x) =
'( )
( ) ( ) ...
1!
f a
f a x a + + +
( )
( )
!
n
n
f a
x a
n
+ T
n
(x) se
denomina frmula de Taylor de orden n de f en el punto a.

Teorema de Taylor
Sea f: (b, c) IR, a (b, c), f es n 1 veces derivable en (b, c) y n veces derivable en a, entonces
( )
( )
lim 0
n
n
x a
T x
x a

Al ser f continua en a tenemos que
( )
( ) 0
lim
0
n
n
x a
T x
x a

. T
n
es n 1 veces derivable en (b,c) por
serlo f as que podemos aplicar la regla de LHopital n 1 veces, quedando el lmite:
( )
1
( )
lim
( 1)...2
n
n
x a
T x
n n x a

=
( )
1 1
( ) ( ) ( )( )
lim
!
n n n
x a
f x f a f a x a
n x a

1 1
1 ( ) ( )
lim ( ) 0
!
n n
n
x a
f x f a
f a
n x a

(
=
(

, existe pues f es n veces derivable en el punto a.
Se denota ( ) (( ) )
n
n
T x x a que se lee infinitsimo de orden superior a (x a)
n
cuando x
a
Con el polinomio de Taylor se pretende aproximar localmente funciones mediante
polinomios con un grado dado. Cuando a = 0, la frmula de Taylor recibe el nombre de Frmula de
McLaurin: f(x) =
'(0)
(0) ...
1!
f
f x + + +
(0)
!
n
n
f
x
n
+ ( )
n
x y
0
(( ) )
lim 0
n
n
x
x
x

=

FORMULA DE McLAURIN DE ALGUNAS FUNCIONES ELEMENTALES
1.
1
1 x
=
2
1 ...
n
x x x + + + + + ( )
n
x
2.
x
e =
2
1 ...
2! !
n
x x
x
n
+ + + + + ( )
n
x

38

3.
2 3 1
( 1)
log(1 ) ...
2 3
n n
x x x
x x
n

+ = + + + ( )
n
x
4. ( )
2
1 ...
0 1 2
n
x x x x
n

| | | | | | | |
+ = + + + +
| | | |
\ \ \ \
+ ( )
n
x
5. Sen x =
3
6
x
x +
5 2 1
( 1)
...
120 (2 1)!
n n
x x
n
+

+
+
+
2 2
( )
n
x
+

6. Cos x =
2
1
2
x
+
4 2
( 1)
...
24 (2 )!
n n
x x
n

+ +
2 1
( )
n
x
+


EXPRESIONES DEL TRMINO COMPLEMENTARIO
Teorema
Sea f: (b, c) IR, a, x (b, c), a x, f n + 1 veces derivable en (b, c), entonces
1 2
, ( , ) x x I a x / T
n
(x) =
1
1 1
( )
( )
( 1)!
n
n
f x
x a
n
+
+

+
, denominada Expresin de Lagrange y T
n
(x) =
1
2
2
( )
( ) ( )
!
n
n
f x
x x x a
n
+
, denominada Expresin de Cauchy.
Demostracin
Sea F: [ , ] I x a derivable en I(x, a), F(t) =
'( )
( ) ( ) ...
1!
f t
f t x t + + +
( )
( )
!
n
n
f t
x t
n

F(t) =
1
( )
( )
!
n
n
f t
x t
n
+

Sea G: [ , ] I x a derivable en I(x, a), G(t) =
1
( )
n
x t
+
. Aplicando el teorema del valor medio a F
y G, tenemos que ( , )
x
t I x a / [ ] '( ) ( ) ( )
x
F t G x G a = [ ] '( ) ( ) ( )
x
G t F x F a . G(x) = 0, F(x) = f(x),
F(a) = P
n
(x), luego queda:
1
1
( )
( ) ( )
!
n
n n x
x
f t
x t x a
n
+
+
= (n + 1)(x t
x
)
n
(-1) T
n
(x). Despejando se
obtiene la expresin de Lagrange.
Para obtener la expresin de Cauchy se aplica el mismo procedimiento tomando G(x) = x t.

3. APLICACIN AL ESTUDIO DE EXTREMOS RELATIVOS

Sea f: (b, c) IR, si f es derivable en a (b, c) y f(a) = 0 se dice que a es un punto crtico de f.
Si a es un punto crtico y no es ni un mximo ni mnimo relativo se dice que a es un punto de
inflexin.

39

Sea f: (b, c) IR y f n veces derivable en a (b, c), n > 1, y f(a) = 0 =
1
''( ) ... ( )
n
f a f a

= = y
( ) 0
n
f a entonces:
1. Si n es par y:
a. ( ) 0
n
f a > entonces f tiene en a un mnimo relativo
b. ( ) 0
n
f a < entonces f tiene en a un mximo relativo
2. Si n es impar, f tiene en a un punto de inflexin

Demostracin
f(x) = ( ) f a +
( )
( )
!
n
n
f a
x a
n
+ T
n
(x)
( ) ( ) ( ) ( )
( ) ! ( )
n
n
n n
T x f x f a f a
x a n x a

= +


( )
( )
n
n
T x
x a
no tiene signo cuando x a porque tiene a 0, as que para ( ) , x a a + , x a,
0 > /
( ) ( ) ( )
( ) ( )
( ) !
n
n
f x f a f a
sg sg
x a n

Si n es par, f
n
(a) > 0 y entonces f(x) > f(a), ( ) , x a a + , x a
Si n es par, f
n
(a) < 0 y entonces f(x) < f(a), ( ) , x a a + , x a
Si n es impar, para x < a: (x a)
n
< 0 y para x > a: (x a)
n
> 0. Luego f(x) f(a) debe cambiar de
signo en ( ) { } , a a a + para que coincida con
( )
( )
!
n
f a
sg
n
.

CONCAVIDAD Y CONVEXIDAD
Sea f: (b, c) IR, f es derivable en a (b, c), la recta tangente a y = f(x) en a tiene por
ecuacin: y = f(a) (x a) + f(a). Si 0 > / ( ) , x a a + f(x) f(a) (x a) + f(a), se dice
que f es convexa en a. Si 0 > / ( ) , x a a + f(x) f(a) (x a) + f(a), se dice que f es
cncava en a.




Convexa
Cncava
Teorema

40

Sea f: (b, c) IR y f n veces derivable en a (b, c), n > 1, y f(a) = 0 =
1
'''( ) ... ( )
n
f a f a

= = y ( ) 0
n
f a entonces:
1. Si n es par y:
a. ( ) 0
n
f a > entonces f es convexa
b. ( ) 0
n
f a < entonces f es cncava
2. Si n es impar, f no es ni cncava ni convexa

Demostracin
f(x) = ( ) f a + f(a)(x a) +
( )
( )
!
n
n
f a
x a
n
+ T
n
(x)
( ) ( ( ) '( )( ))
( )
n
f x f a f a x a
x a

( ) ( )
! ( )
n
n
n
T x f a
n x a
= +

Se sigue los mismos pasos que en la demostracin anterior. Para el caso en que n sea impar se
obtiene que la recta tangente queda a ambos lados de la funcin en el intervalo
( ) , a a + .



















41

C A P T U L O 6




EL PROBLEMA DEL CLCULO DEL REA



I N T E G R A L D E F I N I D A

























42

1. EL PROBLEMA DEL CLCULO DEL REA 1. EL PROBLEMA DEL CLCULO DEL REA 1. EL PROBLEMA DEL CLCULO DEL REA 1. EL PROBLEMA DEL CLCULO DEL REA
Medir el rea de una figura es dar un valor de su tamao o extensin. Para hallar el rea de
regiones poligonales descomponemos dicha regin en tringulos disjuntos tomando como valor del
rea la suma de las reas de dichos tringulos. Para otro tipo de figuras utilizaremos una reunin de
rectngulos disjuntos de lados paralelos.
El concepto de rea debe verificar los cuatro siguientes postulados:
1. El rea de una figura es un nmero mayor o igual que cero.
2. Dos figuras congruentes tienen igual rea.
3. El rea de dos figuras disjuntas es la suma de las reas de cada figura.
4. El rea, tal como se defina, debe coincidir con las frmulas del rea de las figuras
elementales.
Para la primera definicin de rea consideraremos un nmero finito de rectngulos disjuntos de
lados paralelos cuya reunin contienen y estn contenidos en una figura F. Si dado > 0, las reas
de dichos conjuntos difieren menos de , entonces se dir que F tiene rea en el sentido de Riemann.
No todas las figuras planas cumplen esta definicin.
Una segunda definicin de rea generaliza a sta tomando una serie infinita de rectngulos
disjuntos para lo que se denomina rea en el sentido de Lebesgue. En este caso se resuelven
problemas en los que aparecen operaciones con lmites o espacios ms abstractos.
Ambas definiciones verifican los cuatro postulados anteriores. Si una figura tiene rea en el
sentido de Riemann, tambin la tiene en el sentido de Lebesgue. En la mayora de los casos basta
con utilizar la primera para los conjuntos que trataremos.

2. INTEGRAL DEFINIDA. INTEGRAL DE RIEMANN 2. INTEGRAL DEFINIDA. INTEGRAL DE RIEMANN 2. INTEGRAL DEFINIDA. INTEGRAL DE RIEMANN 2. INTEGRAL DEFINIDA. INTEGRAL DE RIEMANN
Sea [a,b] IR, una particin de [a,b] es un conjunto P ={x0, x1, , xn} tal que a = x0 <
x1 < < xn = b. Sea f : [a,b] IR acotada y sea P ={x0, x1, , xn} una particin de [a,b].
Sea m
i
= inf{f(x) / x
i-1
x x
i
} y M
i
= sup{f(x) / x
i-1
x x
i
}. Se define la suma inferior
de f para P como S ( f, P ) =

n
i
i i i
x x m
1
1
) ( y la suma superior de f para P como S ( f, P ) =

n
i
i i i
x x M
1
1
) ( .

43

La condicin de que f est acotada en el intervalo [a , b] es fundamental para que los m
i
y M
i

queden definidos. Adems consideramos los nfimos y supremos ya que f puede no ser continua.
Las sumas superiores e inferiores verifican las siguientes propiedades:
1. S ( f, P ) S ( f, P )
2. Si consideramos una particin P tal que P P, obtenemos unas sumas que
verifican: S ( f, P ) S ( f, P ) y S ( f, P ) S ( f, P ).
3. Las sumas inferiores estn acotadas superiormente por cualquier suma superior, y
por tanto existe Sup S ( f, P ). Anlogamente tambin existe Inf S ( f, P ).
Se define la Integral Superior de Darboux como

b
a
dx x f ) ( = inf{ S (f ,P) / P P [a,b] }
Se define la Integral Inferior de Darboux como

b
a
dx x f ) ( = sup{ S (f ,P) / P P [a,b] }
Se verifica por la propiedades del nfimo y supremo que

b
a
dx x f ) (

b
a
dx x f ) ( .
Una funcin f: [ ] b a, acotada, se dice que f es integrable de Riemann en [a,b]
si

b
a
dx x f ) ( =

b
a
dx x f ) ( . A este nmero se le llama integral de Riemann de f sobre [a, b] y
se denota por dx x f
b
a
) (

.
Adems, si f(x) 0 en [a,b] para A = {(x,y); a x b, 0 y f(x)} se define el rea
de A como dx x f
b
a
) (

. Si f(x) 0 en [a,b] para B = {(x,y); a x b, f(x) y 0} se define

el rea de B como - dx x f
b
a
) (

.
Teorema
Sea f: [ ] b a, funcin acotada, con a, b . Entonces f es integrable Riemann
[ ] 0, , / P P a b > < ) , ( ) , ( P f S P f S .

44

Demostracin:

Sea f integrable Riemann y >0.
dx x f
b
a
) (

=inf{ S (f,P)/PP[a,b]}
dx x f
b
a
) (

es la mayor de las cotas inferiores de { S (f ,P) / P P [a,b] }

dx x f
b
a
) (

+ ++ + /2 no es cota inferior del conjunto

P1 P [a,b] / dx x f
b
a
) (

S (f ,P1) < < < < dx x f

b
a
) (

+ ++ + /2
De la misma forma, dx x f
b
a
) (

= == =sup{ S (f ,P) / P P [a,b] }

dx x f
b
a
) (

es la menor de las cotas superiores del conjunto{ S (f ,P) / P P [a,b] }

dx x f
b
a
) (

- -- - /2 no es cota superior
P2 P [a,b] / dx x f
b
a
) (

- -- - /2 < S (f ,P2) dx x f
b
a
) (

. .. .
Entonces dx x f
b
a
) (

- -- - /2 < S (f ,P2) y S (f ,P1) < < < < dx x f

b
a
) (

+ ++ + /2.
Restando, S (f ,P1) - S (f ,P2) dx x f
b
a
) (

+ ++ + /2- ( dx x f
b
a
) (

- -- - /2 ) =

45

Sea P = P1 P2. Como P1 P S (f ,P) S (f ,P1) < < < < dx x f
b
a
) (

+ ++ + /2
Como P2 P dx x f
b
a
) (

- -- - /2 < S (f ,P2) S (f ,P)

Entonces < ) , ( ) , ( P f S P f S .

Sea >0 cualquiera, P P [a,b] / < ) , ( ) , ( P f S P f S
S (f ,P)

b
a
dx x f ) (

b
a
dx x f ) ( S (f ,P)
0 S (f ,P) - -- - S (f ,P)

b
a
dx x f ) ( -

b
a
dx x f ) ( , 0 >

b
a
dx x f ) ( =

b
a
dx x f ) (
Luego f integrable Riemann.
Teoremas
1. Si f : [a,b] IR es continua en [a,b] entonces f es integrable Riemann en [a,b].
2. Si f : [a,b] IR es acotada y continua en [a,b] excepto en un conjunto finito de
puntos entonces f es integrable Riemann en [a,b].
3. Si f : [a,b] IR es montona en [a,b] entonces f es integrable Riemann en [a,b].
Propiedades

46

1. f, g integrables Riemann en [a, b] f + g es integrable Riemann en [a,b] y ) ( g f
b
a
+

= = = =
f
b
a

+ ++ + g
b
a

2. f integrable Riemann en [a, b] f es integrable Riemann en [a,b] y

b
a
f = == = f
b
a

3. f, g integrables Riemann en [a, b] f.g integrable Riemann en [a ,b ]
4. f integrable Riemann en [a, b] y c (a,b) f integrable Riemann en [a, c] y [c,b] y
b
a
f

= = = =
c
a
f

+ ++ +
b
c
f

5. f integrable Riemann en [a, b] y en [b, c] f integrable Riemann en [a, c] y

c
a
f = = = =
f
b
a

+ ++ +

c
b
f
6. f, g integrables Riemann en [a, b] / f g f
b
a

g
b
a

7. f integrable Riemann en [a, b] entonces |f| integrable Riemann en [a, b] y
f
b
a

| | | f
b
a

8. dx x f
b
a
) (

= = = = - -- - dx x f
a
b
) (

Teorema Fundamental del Clculo Integral.
Sea f : [ ] b a, integrable Riemann y F : [a,b] IR definida como F(x) =
x
a
f

.
Entonces F es continua en [ ] b a, . Adems si f es continua en x0 [a,b] entonces F es
derivable en x0 y F(x0) = f(x0).
Demostracin:

47

F est bien definida en [a.b] pues [ ] , x a b f es integrable Riemann en [a,x] por
serlo en [a,b]. Sea [ )
0
, x a b , veamos que F es continua a la derecha de x0.
[ ]
0
, x x b , 0
0
0
( ) ( )
x x
a a
F x F x f f =

=
0 0
0
x x x
a x a
f f f +

=
0
x
x
f

0
0
( )
x
x
f M x x

siendo
M = sup{|f(x)|, x [a,b]}
Luego para x
0
x
+
se obtiene
0
0
lim ( ) ( )
x x
F x F x
+

= 0.
Anlogamente, si x0 (a,b], [ ]
0
, x a x se tiene 0
0
0
( ) ( )
x x
a a
F x F x f f =

=
0
( )
x x x
a a x
f f f +

=
0
x
x
f

0
0
( )
x
x
f M x x

siendo M = sup{|f(x)|, x [a,b]}

Luego para x
0
x

se obtiene
0
0
lim ( ) ( )
x x
F x F x

= 0.
Sea f continua en [a,b] y [ )
0
, x a b , veamos que
0
0
0
( ) ( )
lim
x x
F x F x
x x
+

= f(x0)
Dado > 0, por ser f continua en x0 0 >
0 0
x x x b < + tal que
0
( ) ( ) f x f x <
0
0
0 0
0 0
( ) ( ) 1
( ) ( )
x
x
F x F x
f x f f x
x x x x

=


=
0
1
x x
0
0 0
( )( )
x
x
f f x x x

=
0
1
x x
0 0
0
( )
x x
x x
f f x


0
1
x x
0
0
( )
x
x
f f x <

0
1
x x
(x-x0) =
Sea x0 (a,b], veamos que
0
0
0
( ) ( )
lim
x x
F x F x
x x

= f(x0)
Dado > 0, por ser f continua en x0 0 >
0 0
a x x x < tal que
0
( ) ( ) f x f x <

48

0
0
( ) ( )
x x
a a
F x F x f f =

=
0
( )
x x x
a a x
f f f +

=
0
x
x
f

=
0
x
x
f

0
0
0 0
0 0
( ) ( ) 1
( ) ( )
x
x
F x F x
f x f f x
x x x x

=


=
0
1
| | x x
0
0 0
( )( )
x
x
f f x x x

=
0
1
| | x x
0 0
0
( )
x x
x x
f f x


0
1
| | x x
0
0
( )
x
x
f f x <

0
1
x x
(x-x0) =
Consecuencias
1. Si f es continua en [a,b], entonces existe una primitiva de f en [a,b]: F
: [a,b] IR, F(x) =
x
a
f

con F derivable en [a,b] y F = f

2. Regla de Barrow. Sea f continua en [a,b] y G una primitiva de f en [a,b], entonces
( ) ( )
b
a
f G b G a =

3. Sea f : [ ] b a, integrable Riemann y G una primitiva de f en [a,b], entonces
( ) ( )
b
a
f G b G a =

.



















49



CAPTULO 7





PRIMITIVA DE UNA FUNCIN


CLCULO DE ALGUNAS PRIMITIVAS


APLICACIONES DE LA INTEGRAL AL CLCULO DE
MAGNITUDES GEOMTRICAS












o Primitiva de una funcin
o Integrales inmediatas
o Mtodo de sustitucin
o Integracin por partes
o Frmulas recurrentes
o Integracin de funciones racionales
o Mtodo de Hermite
o Integracin de funciones irracionales
o Integrales binomias
o Integracin de funciones trigonomtricas
o Aplicaciones



50



1.- PRIMITIVA DE UNA FUNCIN

Dada una funcin f(x), si existe una funcin F(x) tal que F(x) = f(x) se dice que F(x) es una
primitiva de f(x) y se escribe F(x) = ( ) f x dx

. Si la funcin f(x) admite una primitiva entonces toda

funcin de la forma F(x) + C, con C constante es tambin una primitiva de f.

Propiedades
1.
( )
( ) ' ( ) f x dx f x =

2. ( ) ( ) a f x dx a f x dx =

a constante
3.
1 2 1 2
( ) ( ) ( ) ( ) f x f x dx f x dx f x dx =



Integrales inmediatas
1.
1
1
n
n
x
x dx C
n
+
= +
+

n -1
2.
x x
e dx e C = +

3.
ln
x
x
a
a dx C
a
= +

4.
1
ln | | dx x C
x
= +

5. ( ) Sen x dx Cosx C = +

6. ( ) Cos x dx Senx C = +

7.
2
1
dx tgx C
Cos x
= +

8.
2
sec Co xdx Cotgx C = +

9. ( ) ln | | tg x dx Cosx C = +

10. ( ) ln | | Cotg x dx Senx C = +

11.
2
1
1
dx arcSenx C
x
= +

12.
2
1
1
dx arcCosx C
x

= +

13.
2
1
1
dx arctgx C
x
= +
+

51

14. ( ) Sh x dx Chx C = +

15. ( ) Ch x dx Shx C = +

En general, si ( ) f x dx

es una integral inmediata, entonces ( ) f ax b dx +

tambin lo es y
( ) f ax b dx +

=
1
( ) F ax b C
a
+ + , donde F es una primitiva de f.


2.- METODO DE SUSTITUCIN

Este mtodo consiste en encontrar una funcin g(t) que al sustituirla bajo el signo integral,
convierte la integral en otra ms sencilla con la nueva variable t. Dicha funcin debe cumplir que
sea derivable y con derivada no nula y que admita funcin inversa.
Sea x = g(t), entonces ( ) ( ( )) '( ) f x dx f g t g t dt =

.


3.- INTEGRACIN POR PARTES

Sean u y v dos funciones de x. Aplicando el diferencial a u v, tenemos: d(u v) = u dv + v
du. Despejando u dv e integrando llegamos a:
( ) udv d uv vdu =

= u v - vdu

que es la llamada frmula de integracin por partes.

Sea la integral ( ) ( ) f x g x dx

y tomamos u = f(x) con du = f(x)dx y dv = g(x)dx, donde G es

una primitiva de g, aplicando al integracin por parte obtenemos:
( ) ( ) ( ) '( ) udv f x G x G x f x dx =

.
Hemos descompuesto la integral como producto de dos funciones, escogiendo estas de
manera que la nueva integral debe ser ms sencilla. Este mtodo se utiliza generalmente cuando en
la integral aparecen funciones trigonomtricas, exponenciales, logaritmos de integracin inmediata
y polinomios.
Frmulas recurrentes
Se utilizan frmulas de recurrencia en integrales que se resuelven por el mtodo de
integracin por partes y que contiene una funcin con exponente natural. Por ejemplo la integral:
n
I =
( )
2 2
1
n
dx
x a +

52

( )
2 2 2
2
2 2
1
n n
a x x
I dx
a
x a
+
=
+

=
( )
1 2
2 2
1 1
n
dx
a
x a

+

( )
2
2 2
1
n
x
x dx
a
x a

=
1 2
1
n
I
a


( )
2
2 2
1
n
x
x dx
a
x a

Hacemos u = x, du = dx y dv =
( )
2 2
n
x
dx
x a +
, v =
( )
1
2 2
1
2( 1)
n
n x a

+

n
I =
1 2
1
n
I
a

+
( ) ( )
1 1 2
2 2 2 2
1 1 1
2( 1)
2( 1)
n n
x
dx
a n
n x a x a

(
(

(
+ +

=
1 2
1
n
I
a

+
( )
1
2 2 2
2 ( 1)
n
x
a n x a

+
1 2
1
2 ( 1)
n
I
a n

Luego
n
I =
( )
1
2 2 2
2 ( 1)
n
x
a n x a

+
+
1 2
1 2 3
2 2
n
n
I
a n

4.- INTEGRACIN DE FUNCIONES RACIONALES

Es la integracin de la forma
( )
( )
P x
dx
Q x

donde P(x) y Q(x) son polinomios. Se debe

comprobar que la fraccin no se reduce a una integral de las ya estudiadas:
1.
A
x a
da lugar a un logaritmo.
2.
( )
m
A
x a
m -1 , da lugar a una funcin potencial
3.
2
Ax B
x px q
+
+ +
, donde
2
4 0 p q < , da lugar a un logaritmo y una arcotangente.
4.
2
( )
n
Ax B
x px q
+
+ +
, donde n Z
+
y
2
4 0 p q < , se descompone en dos integrales, la primera se
pasa a una funcin potencial mediante el cambio t =
2
x px q + + y la segunda se aplica la
frmula de recurrencia vista en el ejemplo anterior.


53

Integracin de funciones racionales
Para integrar una funcin racional
( )
( )
P x
Q x
, conviene hacer las transformaciones algebraicas
siguientes:
1. Si el gr(P(x)) gr(Q(x)), se debe hacer la divisin de los polinomios, transformando la
fraccin de la forma
( ) ( )
( )
( ) ( )
P x R x
M x
Q x Q x
= + , de manera que gr(R(x)) < gr(Q(x))
2. Descomponer el denominador en factores lineales y cuadrticos:
Q(x) = ( )
m
x a ...
( )
2
n
x px q + + ..., donde
2
4 0 p q < .
3. Descomponer una fraccin racional en elementos simples:
( )
( )
R x
Q x
=
1
( )
m
A
x a
+
2
1
( )
m
A
x a

+...+
m
A
x a
+...+
1 1
2
( )
n
B x C
x px q
+
+ +
+
2 2
2 1
( )
n
B x C
x px q

+
+ +
+ ... +
2
n n
B x C
x px q
+
+ +

4. Se calculan los coeficientes indeterminados A
1
, A
2
, ..., A
m
, ..., B
1
, C
1
, ..., B
n
, C
n
, ...,
reduciendo a comn denominador la ltima igualdad, igualando entre s los coeficientes de
potencias iguales de x en ambos miembros y resolviendo el sistema de ecuaciones lineales.
Los coeficientes tambin se pueden obtener dando a la variable valores numricos
arbitrarios en la identidad. La integracin se reduce a integrar un polinomio y fracciones
elementales racionales.

En la descomposicin de Q(x) se pueden dar los siguientes casos:
a. Races reales simples. La integral va a dar logaritmos.
b. Races reales mltiples. La integral va a dar logaritmos y funciones potenciales.
c. Races complejas simples. Va a dar logaritmos y arcotangentes.
d. Races reales mltiples. Va a dar funciones potenciales, arcotangentes y logaritmos. En este
caso se suele resolver la integral por el Mtodo de Hermite.

Mtodo de Hermite
Partimos del cociente de polinomios
( )
( )
P x
Q x
, donde Q(x) se puede descomponer en cualquiera
de los 4 casos vistos anteriormente. Entonces escribimos la igualdad:
( )
( )
P x
Q x
=
( )
( )
( )
d S x
D x
dx T x
| |
+
|
\

donde T(x) es un polinomio con las mismas races que Q(x) pero con una unidad menos en el orden
de multiplicidad, S(x) es un polinomio con gr(S(x)) < gr(T(x)) y D(x) es la descomposicin de la

54

fraccin
( )
( )
P x
Q x
considerando las races de Q(x) como simples. Se deriva la fraccin
( )
( )
S x
T x
, se
expresan el lado derecho con denominador Q(x), se igualan los numeradores y se calculan los
coeficientes indeterminados. La integral queda como: I =
( )
( )
S x
T x
+ ( ) D x dx

, donde sta ltima

corresponde a uno de los tres primeros casos anteriores.


5.- INTEGRACIN DE FUNCIONES IRRACIONALES
1. Integrales del tipo ( )
2
1
2
1 , , ( ) ,...
m
m
n
n
R x ax b ax b dx
(
+ + (
(

, donde R es una funcin racional y m

1
,
n
1
, m
2
, n
2
, ... son nmeros enteros. La sustitucin a x + b = t
s
, donde s = m.c.m. ( n
1
, n
2
,...)
transforma la funcin dada en una funcin racional.
2. Integrales abelianas. Se denomina integral abeliana a una del tipo
2
, R x ax bx c dx
(
+ +

.
Se resuelven mediante sustitucin, atendiendo a los tres siguientes casos:
a. Si a > 0, entonces tomamos
2
ax bx c + + = ax t +
b. Si c > 0, entonces tomamos
2
ax bx c + + = c xt +
c. Si a < 0, entonces tomamos
2
ax bx c + + = ( ) x t , donde es una solucin de la
ecuacin
2
ax bx c + + .
Si b = 0, utilizaremos la sustitucin usando funciones trigonomtricas.
3. Integrales del tipo
2
( )
p
dx
x ax bx c + +

. El cambio
1
( )
p
t
x
=

transforma la integral en
una del tipo anterior.
4. Integrales del tipo
2
( )
n
P x
dx
ax bx c + +

, donde P
n
(x) es un polinomio de grado n. Estas
integrales se calculan teniendo en cuenta la identidad:
2
( )
n
P x
dx
ax bx c + +

= Q
n-1
(x)
2
ax bx c + + +
2
dx
ax bx c + +

donde Q
n-1
(x) es un polinomio
de grado n-1 de coeficientes indeterminados y un nmero real. Derivando dicha identidad y
reduciendo a comn denominador el resultado, se tiene la igualdad de dos polinomios de la que
se determinar los coeficientes y .


55

Integrales binomias
Las integrales binomias son de la forma ( )
m n p
x a bx dx +

, donde m, n y p son nmeros

racionales. Este tipo de integrales se pueden expresar por medio de funciones elementales en los
tres siguientes casos:
1. p . Se hace el cambio x = t
s
, donde s es el mnimo comn mltiplo de los
denominadores de m y n.
2.
1 m
n
+
. Se hace el cambio a + bx
n
= t
s
, donde s es el denominador de la fraccin p.
3.
1 m
p
n
+
+ . Se hace el cambio ax
-n
+ b = t
s
donde s es el denominador de la fraccin
p.

Integracin de funciones trigonomtricas
1. Integrales del tipo ( ) , R Senx Cosx dx

, donde R es una funcin racional.

Las integrales de este tipo se resuelven realizando la sustitucin tg
2
x
= t. Como consecuencia de
este cambio se tiene:
2
2 2
2
1 2
2 1
2
x
Sen
x Cosx
t tg
x Cosx
Cos
| |
|
| |
\
= = =
|
+ | |
\
|
\
, por lo que Cos x =
2
2
1
1
t
t

+
, Sen x =
2
2
1
t
t +
, x = 2arctg(t), dx =
2
2
1
dt
t +
.
Esta sustitucin lleva a clculos muy complicados. En ciertos casos particulares, este tipo de
integrales se resuelve mediante otras funciones que la simplifican:
a. Si la funcin R(-Senx, Cosx) = - R(Senx, Cosx) entonces es impar en Senx, hacemos el cambio
t = Cosx.
b. Si la funcin R(Senx, - Cosx) = - R(Senx, Cosx) entonces es impar en Cosx, hacemos el cambio
t = Senx.
c. Si la funcin R(-Senx, -Cosx) = - R(Senx, Cosx) entonces es impar en Senx y Cosx, hacemos el
cambio t = tgx.
2. Integrales del tipo
m n
Sen xCos xdx

. Consideramos los dos siguientes casos de especial

importancia.
a. m o n es impar positivo. Si lo es n, se toma t = Senx, si lo es m; t = Cosx.

56

b. m y n son pares positivos. Utilizamos las frmulas de trigonometra: Senx Cosx =
1
2
Sen(2x),
2
1 2
2
Cos x
Sen x

= ,
2
1 2
2
Cos x
Cos x
+
=
3. Sustituciones trigonomtricas.
Las integrales de la forma
2 2
, R x a x dx
(

,
2 2
, R x a x dx
(
+

y
2 2
, R x x a dx
(

se
reducen a integrales de una funcin racional en Sen(t) y Cos(t) utilizando las sustituciones:
x = aSen(t), x = atg(t) y x = aSec(t) respectivamente.


6.- APLICACIONES
1. Longitud de una curva y = f(x) entre dos puntos x = a y x = b.
L = ( )
2
1 '( )
b
a
f x dx +

2. rea de la figura limitada por la curva y = f(x) entre dos puntos x = a, x = b y el eje OX.
A = ( ) ( )
c b
a c
f x dx f x dx




3. rea de la figura limitada por dos curvas y = f(x) e y = g(x).
A = ( ) ( )
b
a
f x g x dx

4. Volumen del cuerpo engendrado por la revolucin de la curva y = f(x) entre dos puntos x =
a y x = b al girar el eje OX.
V =
2
( )
b
a
f x dx

5. Volumen del cuerpo engendrado por la revolucin de la curva y = f(x) entre dos puntos x =
a y x = b al girar el eje OY.

57

V = 2 ( )
b
a
xf x dx

6. rea del cuerpo generado por el giro alrededor del eje OX de la curva y = f(x) entre x = a y
x = b.
A = ( )
2
2 ( ) 1 '( )
b
a
f x f x dx +

58




Bibliografa


1. R. AGUADO MUOZ , S. F. CUTILLAS: Matemticas COU. Ed. CEIPSA, Madrid 1981

2. J. VIZMANOS, M. ANZOLA Y A. PRIMO. Funciones-1,2 y 3.Ediciones S. M. 1981

3. J. W KITCHEN: Clculo. MCgRAW-Hill, 1986.

4. BURGOS, J.:Clculo Infinitesimal en una variable. Ed. Mc-Graw-Hill

5. LINS, E .: Principios de Anlisis Matemtico. Ed. Revert.

6. J. M. ORTEGA: Introduccin al Anlisis Matemtico, Ed. Labor.

7. M. de GUZMN, B. RUBIO: Anlisis Matemtico, Ed, Pirmide

8. W. RUDIN: Principios de Anlisis Matemtico. Ed. McGraw-Hill

9. M. SPIVAK: Calculus, Ed. Revert, Barcelona, 1977

10. E. L. LUNA: Curso de Anlisis Matemtico I, Ed. Edunsa, 1991