1

FCFM - UMSNH
Notas mnimas de Clculo Diferencial e Integral II.
Mario Csar Surez Arriaga Semestre Marzo-Junio 2013

CAPITULO I.- EL TEOREMA GENERAL DE STOKES
Sea e una forma diferencial exterior definida en
1 n
R y sea de su diferencial en
n
R , ( 1, 2,3) n = . Sea
n
DcR y su frontera
1 n
D

c cR . Entonces se cumple que:
D D
de e
c
=
} }
(1)
D es en general una variedad cerrada en
n
R (n=1 es un arco de curva, n=2 es una porcin de
superficie y n=3 es un volumen o dominio 3D). La sub-variedad D c es la frontera de D en
1 n
R (n = 1,
2 puntos; n = 2 es una curva cerrada; n = 3 es una superficie cerrada). Este teorema es muy importante
en todas las reas de la Fsica. Lo enuncio sin demostracin (ver Courant y John, Introduccin al
Clculo y al Anlisis, vol. II y Claudio Pita, Clculo Vectorial).
Lo aceptaremos tal cual y lo emplearemos en la deduccin de varios subteoremas muy importantes,
detallados a continuacin:
Definicin y propiedades de formas diferenciales exteriores.
Una diferencial exterior es toda expresin analtica que involucre diferenciales:
1
:
n
e

R R (2)
por ejemplo:
a) ( , ) x y f dx g dy e = +
b)
1 2 3
( , , ) x y z dx dy dz e e e e = + +
c)
1
1 2 1
1
( , , , )
n
n i i
i
x x x dx e e

=
=

d) ln
y
e xdx xy dy x senz dz e = +
1.- CONSECUENCIAS DEL TEOREMA DE STOKES
Una vez aceptado el Teorema de Stokes como un resultado general, podemos deducir varios teoremas
tiles en el contexto del Clculo Integral (II) en una dimensin:
2


1
1
( ), [ , ]
'( ) , { , }
'( ) ( ) ( ) ( )
( ) ( ), [ ,
.
b
b
a
a
Sea f x x I a b
El Teorema Fundamental d f x dx a b
del Clculo Integral en
f x dx f x f b f a
Teorema de Stokes
Sea u x v x x I a b
d
El Teo de Integracin
por partes en
e
e
e
e e
O cO

= e = = O

= cO =

= =

= e =
=

}
} }
R
R
]
int : { , }
( )
( ) '( ) ( ) '( ) ( ) ( )
b b b
a a a
b b
b
a
a a
la frontera sonlos dos puntos externos del
ervalo I a b
d d u v u dv v du
u x v x dx v x u x dx u x v x
e
O

= O

cO =

= = +

+ =

} } } }
} }

Este Teorema es muy prctico pues nos permite despejar una de las integrales en funcin de la otra. En
principio se despeja la ms difcil y se calcula la ms fcil. El siguiente ejemplo lo ilustra.
Ejemplo: Calcular cos
x
I e xdx =
}

hacemos
( ) '( )
'( ) cos ( )
x x
u x e u x e dx
v x xdx v x senx
= =
= =
, entonces cos
x x x
e xdx e senx e senxdx =
} }
,
repitiendo el mtodo, ahora
( ) '( )
'( ) ( ) cos
x x
u x e u x e dx
v x senxdx v x x
= =
= =
de esta manera
s cos cos
x x x
e enxdx e x e xdx = +
} }
por lo tanto
( cos cos )
x x x
I e senx e x e xdx = +
}
cos
x x
I e senx e x I = +
2 cos
x x
I e senx e x = +
( )
1
cos cos
2
x x x
I e x dx e senx e x = = +
}
.
El Teorema de Taylor:
Este es una consecuencia directa del Teorema Fundamental del Clculo en
1
R ). Sea
o
I
f C e , donde
1
[ , ] I a b = cR , del Teorema Fundamental del Clculo Integral: '( ) ( ) ( )
b
a
f x dx f b f a =
}

(3)
despejando ( ) ( ) '( )
b
a
f b f a f x dx = +
}
(4)
e integrando por partes: '( )
b
a
f x dx
}
(5)
3

( ) '( ) '( ) ''( ) u x f x u x f x = = , '( ) ( ) v x dx v x x b = =
'( ) ( ) '( ) ( ) ''( )
b b
b
a
a a
f x dx x b f x x b f x dx =
} }
(6)
integrando otra vez por partes, ahora con
''( ) '( ) '''( ) u f x u x f x = = ,
2
( )
'( ) ( ) ( )
2
x b
v x x b dx v x

= = , entonces (6) es igual a
2 2
( ) ( )
( ) '( ) ''( ) '''( )
2 2
b
b
a
a
x b x b
b a f a f x f x dx

+
}
(7)
donde
( )
'''( ) '( ) ( )
iv
u f x u x f x = = ,
2 3
( ) ( )
'( ) ( )
2 2 3
x b x b
v x dx v x

= =

integrando nuevamente
2 3 3
( ) ( ) ( )
( ) ( ) '( ) ''( ) '''( ) ( )
1 2 2 3 2 3
b
b
iv
a
a
b a x b x b
f a b a f a f a f x f x dx

+ + +

}
(8)
( )
( )
iv
u f x = ,
3 4
( ) ( )
'( ) ( )
2 3 1 2 3 4
x b x b
v x dx v x

= =


2 3 4 4
( ) ( )
( ) ( ) ( ) ( )
( ) ( ) '( ) ''( ) '''( ) ( ) ( )
1 2 1 2 3 1 2 3 4 1 2 3 4
b b
iv v
a a
b a b a x b x b
f a b a f a f a f a f x f x dx

+ + + +

}

Supongamos que para n par, la frmula es:
2
( ) ( 1)
( ) ( ) ( )
( ) ( ) ( ) '( ) ''( ) ( ) ( )
2! ! !
n n
b
n n
a
b a b a x b
f b f a b a f a f a f a f x dx
n n
+

= + + + + +
}

Recalculando la integral por partes, donde

( 1) ( 2)
( ) ' ( )
n n
u f x u f x
+ +
= = y
1
( ) ( )
'
! ( 1) !
n n
x b x b
v v
n n n
+

= =
+


1 1
( 1) ( 2)
( ) ( )
( ) ( ) ( ) ( )
( 1)! ( 1)!
n n
b b
n n
a a
x b x b
f x f a f x f x dx
n n
+ +
+ +

= + +
+ +
}

1
( ) ( 1)
( ) ( ) ( )
( ) '( ) ( ) ( ) ( 2)
1! ! ( 1)!
n n
n n
b a b a b a
f a f a f a f a Error n
n n
+
+

= + + + + + +
+


1
0
( ) ( )
( ) ( ) ( 1) ( )
! !
i n n
b
i n n
a
i
b a x b
f b f a f x dx
i n
+
=

= +

}

4

El resultado anterior se llama Teorema de Taylor (aunque en realidad lo desarroll Newton) y
se enuncia as:
Sea : f I R una funcin continua definida en [ , ] I a b = , con
1 n
I
f C
+
e entonces f admite una
representacin aproximada como una serie para calcular ( ) f b , en trminos de ( ) f a y de su k-
sima derivada ( )
k
f a y del tamao del intervalo I :
0
( )
( ) ( ) ( 1)
!
k n
k
k
b a
f b f a Error n
k
=

= + +

donde
1
( )
( 1) ( )
!
n
b
n
a
x b
Error n f x dx
n
+

+ =
}
, es + si es par y es si n es impar.
Ntese: como el intervalo I es arbitrario, entonces podemos tomar un subintervalo,
tambin arbitrario, contenido en I , cuya cota superior sea variable: sean
0 0
, x x I e
0
[ , ] [ , ] x x a b I c = .
El Teorema de Taylor en este subintervalo queda:
1 0
0
0
( ) ( )
( ) ( ) ( 1) ( )
! !
k n n
b
k n n
a
k
x x x b
f x f x f x dx
k n
+
=

= +

}

con
1
( )
( 1) ( 1) ( )
!
n
b
n n
a
x b
Error n f x dx
n
+

+ =
}
.
Definiendo
0
h x x =
0
0
( ) ( ) ( 1)
!
k n
k
k
h
f x f x Error n
k
=
= + +

Esta es la frmula ms comn del Teorema de Taylor. Si en particular
I
f C

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

=
=

,
0
, x x I e .

El concepto de continuidad de Lipschitz (Rudolph, 1832-1903)
Una funcin : f I R se dice Lipschitz - Continua (L-C) en
1
R (o en
n
R ) si existe una
constante
f
L tal que
2 1 2 1
( ) ( )
f
f x f x L x x s ,
1 2
, [ , ] x x I a b e =
5

Este concepto de continuidad es muy prctico y mucho ms fcil de aplicar que le concepto
tradicional con c y o . Los siguientes son algunos ejemplos:
1.- ( ) f x mx b = +
2 1 2 1
( ) ( ) f x f x m x x s f es L-C.
2.-
2
( ) f x x = , [ , ] I a a =
2 2
2 1 2 1 2 1 2 1
2 x x x x x x a x x = + s .
(ojo:
1 2
, x x I e
1 2
2 x x a + s ).
3.- ( )
m
f x x = , meN, [ , ] I a b = , sean
1 2
, x x I e

1 2 2 1
2 1 2 1 2 2 1 2 1 1
m m m m m m
x x x x x x x x x x

= + + + + pero cada
1 1
2
m m
x b

s

1
2 1 2 1
m m m
x x mb x x

s , en este caso, la constante de Lipschitz

1 m
f
L mb

= .
4.-Corolario: Todo polinomio
0 1
m
m
a a x a x + + + es L-C.
5.- Teorema: Sean
1 2
, , ,
n
f f f funciones L-C en I , con
1 2
, , ,
n
L L L sus constantes de
Lipschitz respectivas. Entonces, toda combinacin lineal
1 1 2 2
( ) ( ) ( )
n n
c f x c f x c f x + + + es L-C,
donde
1 1 2 2 f n n
L C L C L C L = + + + (donde 0
f
L > siempre).
6.-Toda funcin L-C en
0
x I e es automticamente continua en
0
x (en el sentido tradicional de
continuidad).
Prueba: Supongamos
L C
I
f C

e (Lipschitz continua en I ). Sea
0
x I e - 0
f
L > tal que
0 0
( ) ( )
f
f x f x L x x s . Esto es por hiptesis, ahora observamos que:
Sea 0 o > tal que
0
x x o <
0 f f
L x x L o c < = entonces, 0 c > , -
f
L
c
o = tal que s
0
f
x x
L
c
o < =
0 0
( ) ( )
f f
f x f x L x x L o c s < =
0
I
f C e .

6

2.- ALGUNOS TEMAS PRELIMINARES AL CLCULO INTEGRAL

SERIES ALTERNADAS

Series en las cuales los trminos son alternantemente positivos y negativos (serie alternada) y van
disminuyendo en valor absoluto. Son convergentes si el trmino general 0
n
u .

SERIES DE TRMINOS DE SIGNOS CUALESQUIERA

La serie es convergente si la serie formada de valores absolutos (o mdulos) de los trminos es
convergente. El recproco no es cierto.

Frmulas de Taylor y de Mac-Laurin
Frmula de Taylor (ya desarrollada) con h = b - a.
( )
( ) ( ) '( ) ( )
!
n
n
n
h
f a h f a h f a f a R
n
+ = + + + +
Residuo:
1
( 1)
( )
( 1)!
n
n
n
h
R f a h
n
u
+
+
= +
+
, 0 1 u < < ,
Si
( ) ( 1)
, ', ..., ,
n n
f f f f
+
son definidas y continuas en [ , ] x a a h e + .
Frmula de Mac-Laurin. Simplemente se toma a = 0
( )
( ) (0) '(0) (0)
!
n
n
n
x
f x f x f f R
n
= + + + + ,

1
( 1)
( )
( 1)!
n
n
n
x
R f a h
n
u
+
+
= +
+
, o ( )
n
n
R x x c = ,
0 1 u < <
0
lim 0
x
c

= ;

Las hiptesis son las mismas que las de ms arriba, reemplazando a por 0 y a+h por x.

Residuo de la suma de una serie.
a) Si la convergencia fue identificada mediante la regla
1 n
n
u
u
+
y si
1 n
n
u
K
u
+
< , el residuo de la serie es
inferior a
1
1
p
u
K
+

. Donde
1 p
u
+
es el primer trmino suprimido.

b) Si la convergencia viene de la regla de Cauchy y si
n
n
u K < , el residuo de la serie es inferior a
1
1
p
K
K
+

. Donde 1 p + es el orden el 1er trmino suprimido.

7


c) Si la convergencia fue identificada por la bsqueda del orden infinitesimal 1 o > , el producto
n
n u
o
es inferior a un nmero fijo K. El residuo de la serie es inferior a:
1
1 1
( 1) 2 1
K K
p
o
o o

+
.

Donde 1 p + es el rango del primer trmino suprimido.

d) Si la serie es absolutamente convergente, tomaremos el residuo de la serie de los mdulos o
valores absolutos.

e) Si la serie es alternante, el residuo es inferior en mdulo al primer trmino suprimido.

Desarrollo de series usuales de funciones simples.

A)
2
1
1! 2! !
n
x
x x x
e
n
= + + + + +

2
( ) ( )
1
1! 2! !
n
x
x Lna x Lna x Lna
a
n
= + + + + +

2 4 2
1 ( 1)
2! 4! (2 )!
n
n
x x x
Cos x
n
= + + +

3 5 2 1
( 1)
3! 5! (2 1)!
n
n
x x x
Sen x x
n
+
= + + +
+


2 4 2
1
2! 4! (2 )!
n
x x x
Ch x
n
= + + + + +
3 5 2 1
3! 5! (2 1)!
n
x x x
Sh x x
n
+
= + + + + +
+


Estos desarrollos son vlidos para todo valor de x.


B)
2
1
1
1
n
x x x
x
= + + + + +

2
1
1 ( 1)
1
n n
x x x
x
= + + +
+


2 3
1
(1 ) ( 1)
2 3 !
n
n
x x x
Ln x x
n
+
+ = + + +
8


2 3
(1 )
2 3
n
x x x
Ln x x
n
=

3 5 2 1
( 1)
3 5 2 1
n
n
x x x
Arctg x x
n
+
= + + +
+


3 5 2 1
3 5 2 1
n
x x x
Arcth x x
n
+
= + + + + +
+


2
( 1) ( 1) ( 1)
(1 ) 1
2! !
m n
m m m m m n
x m x x x
n
+
+ = + + + + +

Para cualquier real m.

2
1 1 1 3 1 3 (2 1)
1
2 2 4 2 4 (2 ) 1
n
n
x x x
n x

= + + + + +

3 5 2 1
1 1 3 1 3 5 (2 1)
2 3 2 4 5 2 4 6 (2 ) 2 1
n
x x n x
ArcSen x x
n n
+

= + + + + +
+

3 5 2 1
1 1 3 1 3 5 (2 1)
( 1)
2 3 2 4 5 2 4 6 (2 ) 2 1
n
n
x x n x
ArcSh x x
n n
+

= + + +
+

2 3 4
1 1 1 1 1 3 1 1 3 5
1 1
2 2 4 2 4 6 2 4 6 8
x x x x x

+ = + + +


2 3 4
1 1 1 3 1 3 5 1 3 5 7
1
2 2 4 2 4 6 2 4 6 8 1
x x x x
x

= + +
+


2 3 4 3
1 1 2 1 2 5 1 2 5 8
1 1
3 3 6 3 6 9 3 6 9 12
x x x x x

+ = + + +



2 3 4
3
1 1 1 4 1 4 7 1 4 7 10
1
3 3 6 3 6 9 3 6 9 12 1
x x x x
x

= + +
+


Estos desarrollos no son vlidos ms que para 1 x < .

3 5 7
1
2
1 3 5 7
x x x x
Ln x
x
| | + | |
= + + + +
| |

\ .
\ .
1 x < .

3 5
1 1 1 1
2
1 3 5
x
Ln
x x x x
| | + | |
= + + +
| |

\ .
\ .
1 x > .

9

3 5
1 1 1 1 1
2
1 3 1 5 1
x x x
Ln x
x x x
| |
| | | |
= + + +
|
| |
|
+ + +
\ . \ .
\ .
0 x >

( )
3 5 7
2
1 1 3 1 3 5
1 arg
2 3 2 4 5 2 4 6 7
x x x
Ln x x x sh x

+ + = + + =

1 x s

3 5 7 9
2 2
2 17 62
3 3 5 3 5 7 3 5 7 9
x x x x
Tg x x = + + + + +


2
x
t
s

3 5 7
2 2 2 2
1 2
3 3 5 3 5 7 3 5 7
x x x x
Cot x
x
=

0 x t < s

3 5
1 1 1 1 1
4 1 3 1 5 1
x x x
Arctg x
x x x
t | | | |
= + +
| |
+ + +
\ . \ .
0 x >

3 5
2 6 10
2 2 2
2! 6! 10!
Sen x Sh x x x x = +

2 3
3 5 7
2 2 2
3! 5! 7!
Sen x Ch x x x x x = + +

2 3
3 5 7
2 2 2
3! 5! 7!
Cos x Sh x x x x x = +

2 4 6
4 8 12
2 2 2
1
4! 8! 12!
Cos x Ch x x x x = + +

1 1 1 1 1 1 1
2 2 3 3
Cot x
x x x x x x x t t t t t t
= + + + + + + +
+ + +


3.- ALGORITMO DE NEWTON-RAPHSON (Linearizacin)
Supongamos que queremos calcular las races de la ecuacin a resolver: ( ) 0 f x = . Hagamos el
cambio de variable
0
x x h = + , en donde
0
x es un valor inicial arbitrario. Entonces ejecutando
un desarrollo de Taylor para
0
( ) 0 f x h + = :
2
0 0 0 0
( ) ( ) '( ) ''( ) 0
2
h
f x h f x hf x f x + = + + + ~
10

Despreciando los trminos de
2
h en adelante, la ecuacin se lineariza y toma la forma:
0 0
( ) '( ) 0 f x h f x +
0
0
( )
'( )
f x
h
f x
. De donde
0
0
0
( )
'( )
f x
x x
f x
. Esta es una primera
aproximacin. Definamos ahora el 1er punto de la secuencia como:
0
1 0
0
( )
'( )
f x
x x
f x
= . Repitiendo
el proceso ahora sobre
1
x x h = + . Llegamos a construir
1
2 1
1
( )
'( )
f x
x x
f x
= , as consecutivamente.
El algoritmo de Newton-Raphson consiste en una serie de linearizaciones seguidas de iteracin
a partir de un valor inicial
0
x y se escribe:
1
( )
; '( ) 0, 1,
'( )
n
n n k
n
f x
x x f x k n
f x
+
= = =
En donde
1 n
x x c
+
< para un cierto 0 c > pequeo.
4.- ALGORITMO DE TAYLOR DE SEGUNDO ORDEN (Newton no-lineal)
Consideremos nuevamente
1 0 2
x x h = + , para resolver ( ) 0 f x = . El desarrollo de Taylor hasta el
segundo orden
2
2
1 0 2 0 0
( ) ( ) '( ) ''( )
2
h
f x f x h f x f x = + + +
Supongamos
1
( ) 0 f x
2
0 2 0 2 0
( ) '( ) ''( )
2
h
f x h f x h f x + . Tomemos la primera h del
segundo miembro de Newton-lineal:
0
0
( )
'( )
f x
h
f x

0 0
0 0 2
0
( ) ''( )
( ) '( )
2 '( )
f x f x
f x f x h
f x
(

(

.
Mejorando esta aproximacin sucesivamente hasta 1 n + :
1 2 n n
x x h
+
= + , con
| |
2 2
2 ( ) '( )
( ) ''( ) 2 ' ( )
n n
n n n
f x f x
h
f x f x f x
=

,
2
''( ) 2 '( ) 1
2 '( ) ( )
n n
n n
f x f x
h f x f x
=
Con ms detalle:
0
0
0
( ) ( )
'( )
f x f x
f x
x x

,
0
0
0
( )
'( )
f x
x x
f x
=
0
0
0
( )
'( )
f x
x x
f x
=

2
0
0 0 0 0
( )
( ) ( ) '( )( ) ''( )
2
x x
f x f x f x x x f x

= + +

2
0
0 0 0 0 0
( )
( ) ( ) ''( ) ( ) '( )( )
2
x x
f x f x f x f x f x x x

0
0 0
0
( )
( ) ( ) '( )
'( )
f x
f x f x f x
f x
| |
= +
|
\ .

11

2
0 0
0 0 0
0
''( ) ( )
( ) ( ) '( )( )
2 '( )
f x f x
f x f x f x x x
f x
(
= + +
(


0 0
0 0 0 0
0
''( ) ( )
0 ( ) ( ) '( )( ) ( )
2 '( )
f x f x
f x f x f x x x x x
f x
| |
~ = + +
|
\ .

( )
2
0 0 0 0 0 0 0
0 ( ) '( ) '( ) ( ) ''( )( ) ( ) f x f x f x x x f x x x f x = + +

( )
2
0 0 0 0 0 0
0 ( ) '( ) ( ) '( ) ''( ) ( ) f x f x x x f x f x f x
(
= + +


( )
2
0 0 0 0 0
0
1
''( ) ( ) ''( ) ( ) '( ) f x f x f x f x f x
x x
=

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

0 0
'( ) ( ) f x f x
( )
2
0
0 0
'( )
'( ) ( )
f x
f x f x
,
0 0
0 0 0
1 ''( ) '( )
'( ) ( )
f x f x
x x f x f x
=

( )
0 0
0 2
0 0 0
'( ) ( )
''( ) ( ) '( )
f x f x
x x
f x f x f x
=

( )
0 0
0 2
0 0 0
2 '( ) ( )
2 '( ) ''( ) ( )
f x f x
x x
f x f x f x
=

( )
1 2
2 '( ) ( )
''( ) ( ) 2 '( )
n n
n n
n n n
f x f x
x x
f x f x f x
+
= +

Como
1 n n n
x x h
+
= + , por lo tanto
1
''( ) 2 '( )
2 '( ) ( )
n n
n
n n
f x f x
h
f x f x

=
5.- FUNCIONES PRIMITIVAS
Problema: Dada : f I R, encontrar una funcin ( ) : u x I R tal que '( ) ( ) u x f x = , x I e .
Ejemplos:
1.- ( ) 1 ( ) f x u x x = = pues '( ) 1 ( ) u x f x = = .
2.-
2
( ) ( )
2
x
f x x u x = = pues '( ) ( ) u x x f x = = .
3.-
1
( ) ( )
1
m
m
x
f x x u x
m
+
= =
+
pues '( ) ( )
m
u x x f x = = .
4.- ( ) ( )
x x
f x e u x e = = , '( ) ( )
x
u x e f x = = .
12

5.-
1
( ) ( ) ln f x u x x
x
= = ,
1
'( ) ( ) u x f x
x
= = .
Se dice que ( ) u x es la solucin de la EDO '( ) ( ) u x f x = y que ( ) u x es una funcin primitiva de
( ) f x en I . Aqu van algunos otros ejemplos.
6.-
1
4 4
1
3
1
1
1 ( 1)
0
4 4 4
x
x dx

= = =
}
.
1
4
1
3
0
0
1
4 4
x
x dx = =
}
,
0
4
0
3
1
1
1
4 4
x
x dx

= =
}
.
7.- Ecuaciones del movimiento rectilneo en el vaco sujeto a una aceleracin a(t):
0 0
0
( ) '( ) ( ) ( )
v t
v t
dv
a t v t dt v t v a t dt
dt
= = =
} }
.
Si . a cte =
0 0
( ) ( ) v t v a t t = +
( )
0 0
0 0
( ) '( ) ( )
t t
t t
dx
v t x t dt v a t t dt
dt
= = +
} }

( )
2
0 0 0 0
( ) ( ) ( )
2
a
x t x t v t t t t = + + .
Supongamos que F es primitiva de f en [ , ] I a b = y que se escribe:
( ) ( )
x
a
F x f t dt =
}
, [ , ] x a b e .
Sea un subintervalo variable [ , ] [ , ] x x x a b + A c ( ) ( )
x x
a
F x x f t dt
+A
+ A =
}

( ) ( ) ( ) ( )
x x x x
a x
F x x F x f t dt f t dt
+A +A
+ A =
} }

T.V.Medio
0 0
[ , ] ( ) x x x x f x - e + A +
1
( )
x x
x
f t dt
x x x
+A
=
+ A
}
( ) ( ) F x x F x
x
+ A
=
A

0
0 0
( ) ( )
lim ( ) lim '( ) ( )
x x
F x x F x
f x F x f x
x
A A
+ A
= = =
A

Por lo tanto '( ) ( ) F x f x = .
Ahora supongamos que '( ) ( ) F x f x = , ( ) x I dF f x dx e = ( )
x x
a a
dF f x dx =
} }

( ) ( ) ( ) '( )
x x
a a
F x F a f x dx F x dx = =
} }

13

6.- DEFINICIN DE LA INTEGRAL DE RIEMANN

El Clculo Integral, aunque formalmente se descubre en la segunda mitad del XVII, en realidad las
ideas bsicas hunden sus races en la remota Grecia de Arqumides, y ms atrs, hasta los egipcios,
sumerios, chinos, olmecas y mayas. Todos los pueblos antiguos que supieran calcular volmenes y
reas, tuvieron que poseer las nociones intuitivas fundamentales del clculo integral.

En este curso desarrollaremos esencialmente la teora de la
llamada Integral de Riemann (1826-1866), aunque otras
formulaciones son igualmente posibles.

Construyamos una curva cualquiera (x, f(x)) como la ilustra-
da en la figura 1. Intuitivamente se siente que el rea
acotada por las rectas x = a, x = b, el eje X y la curva y = f(x),
llamada rea bajo la curva, es dada aproximadamente por la
suma de las reas de los rectngulos ilustrados:
1
( ( ))
n
f i
i
A Area y f x A
=
= = ~

(9)

Cada subrea A
i
es calculada como el producto de la base del rectngulo por su altura. La base de cada
A
i
es la longitud del subintervalo
1 i i i
x x x

A = , la altura correspondiente es ( )
i i
y f x = . Resulta obvio
que conforme aumentemos el nmero de intervalos anidados en [a,b], la aproximacin al rea real ser
cada vez ms precisa. Entonces en el lmite, cuando n , la longitud de cada subintervalo 0
i
x A ,
el rea calculada por la suma infinita ser exacta. sta es nuestra hiptesis fundamental:
1
lim ( )
b
n
f i i
n
i
a
A y x f x dx

=
= =

}
. (10)

La anterior ecuacin (10) es una hiptesis de trabajo y una definicin. Al mismo tiempo, esta definicin
nos proporciona una herramienta de clculo o algoritmo, para calcular integrales y/o reas bajo curvas.
Esto es lo que procedemos a hacer en el taller de clculo usando Mathematica y en la siguiente seccin:

6.1. Clculo completo de algunas integrales

A) Sea f(x) = c la funcin constante, aplicando la definicin (1):

1 1
lim lim ( )
b
n n
i i
n n
i i
a
cdx c x c x c b a

= =
= = =

}
. .


B) Sea f(x) = x la funcin identidad.
Entonces de (10):
1
lim
b
n
i i
n
i
a
x dx x x

=
=

}
.

Calcular esta suma no es fcil con los trminos
1
( )
i i i
x x x

.
14

En cambio, si definimos una longitud constante para cada subintervalo:

1
( )
i i i
h x x x

= = . 1,..., i n =

Obtenemos lo siguiente:

b a
h
n

= , b a nh = + ,
1
x a h = + ,
2
2 x a h = + ,
3
3 x a h = + , ,
i
x a ih = + , ,
n
x a nh b = + =

De esta forma la integral se escribe:

2 2
1 1 1
( 1)
lim lim ( ) lim lim
2
b
n n n
i
n n n n
i i i
a
n n
xdx x h h a ih nah h i nah h

= = =
+ ( (
= = + = + = + =
( (


}


2 2 2
2
( ) ( )
lim ( 1) ( )
2 2 2
n
b a b a b a b a
na n n b a
n n

(
+
= + + = =
(



C) Sea
2
( ) f x x = la parbola con vrtice en el origen.
De (10), usando
b a
h
n

= :

2 2 2
1 1
lim lim ( )
b
n n
i i
n n
i i
a
x dx x x a ih h

= =
= = + =

}
.

2 2 3
( 1)
lim 2 ( 1)(2 1)
2 6
n
n n n
na h ah h n n

+ (
= + + + + =
(



2 3
2
3 2
( ) ( )
lim ( 1) ( 1)(2 1)
6
n
b a b a b a
na a n n n n n
n n n

(
= + + + + + =
(



2 2
2 2
2
1 ( ) 1 1 ( )
lim ( )( ( ) 1 (2 1) ( ) ( )
6 3
n
b a b a
b a a a b a n b a a a b a
n n n

( | | | | | |
= + + + + + = + +
| ( | |
\ . \ .
\ .

2 3 2 3 2 2 3 3
3 3
a b b ab a ab a b b a + +
= =

D) De manera anloga podramos seguir calculando para
3 4
, ,...,
m
x x x y a partir del siguiente
resultado:
1
1 2 3 1
lim
1
m m m m
m
n
n
n m
+

( + + + +
=
(
+

15

Obtenemos la formula general para integrar ( )
m
f x x = :

1 1
1
lim
1
b m m n
m m
i
n
i
a
b a
x dx x h
m
+ +

= =
+

}


Sin embargo, en la prctica no procedemos as porque sera demasiado complicado calcular todas las
integrales conocidas usando el lmite. Lo que vamos a hacer es construir herramientas mucho ms
potentes y directas a partir del Teorema Fundamental del Clculo. Esto nos permitir integrar ms
fcilmente funciones analticas. Pero deben tener en cuenta que el concepto de integral de Riemann es
muy general y nos permite evaluar numricamente integrales que no puedan resolverse en forma
exacta, sino solo aproximada. Ilustrar este punto con algunos ejemplos en Mathematica.

6.2. Preliminares al Teorema Fundamental del Clculo

Como en todas las ramas de las matemticas, requerimos de algunos resultados preliminares antes de
poder demostrar el Teorema Fundamental de este curso.

Sea | |
: , f a b R, | |
, f C a b e , para cualquier valor del rango de f tal que
0
( ) ( ) f a w f b < < , existe | |
0
, x a b e tal que
0 0
( ) f x w = . (Demostracin
hecha en Clculo I).

Observemos que si tenemos n valores
1 2
, , ,
n
f f f . de la funcin anterior, con ( )
i i
f f x = , i=1, , n,
podemos definir su promedio aritmtico como:
1 2
1 1
1
n n
n i i
A i
i i
f f f f x
f f
n n b a
= =
+ + + A
= = =

Donde:
1
i
i
b a x
x
n b a n
A
A = =

. Supongamos que hacemos crecer el nmero de valores

i
f
indefinidamente, es decir n y calculamos el lmite:

1
1 1
lim lim ( )
b
n
A A i i
n n
i
a
y f f x f x dx
b a b a

=
= = A =

}


Como f est definida entre [a, b] y es continua en ese intervalo compacto, entonces existen dos
nmeros m y M en el rango de f (R
f
) tales que acotan a la funcin:

| |
( ) , , m f x M x a b s s e
Es decir que:
( ) ( ) ( )
b
a
m b a f x dx M b a s s
}

O lo que es igual:
1
( ) ( ) ( )
b
m M
a
f x m f x dx M f x
b a
= s s =

}


TeoremadelValor
Intermedio(repaso)
Porpropiedadesdela
integral
16

OJO: LEMA: ( ) ( ) ( ),
b
a
f x M f x dx M b a x I s s e
}


Donde ( )
m
f x es el valor mnimo de f en [a, b] y ( )
M
f x es el valor mximo de f en [a,b].
Consideremos ahora el subintervalo definido por | | | |
, ,
m M
x x a b c , donde hemos construido a la
funcin promedio aritmtico ( )
A
y x con:

( ) ( ) ( )
m A M
f x y x M f x s s = , | |
,
m M
x x x e | |
,
A m M
y C x x e

El Teorema del Valor Intermedio nos permite deducir la existencia de un punto ,
m M
x x e tal que
1
( ) ( ) ( )
b
A
a
y x f f x dx
b a
= =

}
. Lo cual completa la prueba del siguiente teorema:

Sea | |
, f C a b e , entonces existe un valor , a b e donde la funcin f
alcanza su valor medio:

| |
, , f C a b a b e - e ( ) ( ) ( )
b
a
f b a f x d x =
}


Ntese que este teorema solamente afirma la existencia de , pero no dice que es, ni cmo calcularlo.
Sin embargo, ste es un resultado importantsimo que nos indica que una integral definida se puede
calcular o es equivalente siempre, al rea de un rectngulo de base (b-a) y altura ( ) f . Esta propiedad
bsica es el fundamento del clculo integral y permite, en una y ms dimensiones, deducir mtodos
numricos muy potentes para resolver modelos matemticos de fenmenos de evolucin en el tiempo
(por ej., volmenes finitos). En los siguientes ejemplos sencillos se puede calcular exactamente a .


Sea ( ) f x c = la funcin constante. Entonces: , , ( ) ( )
b
a
a b f c cdx c b a e = =
}

Por otra parte ( ) ( ) ( ) f b a c b a = , lo cual es cierto.


Sea
2 2
( ) ( )
2
b b
a a
b a
f x x f x dx x dx

= = =
} }


Por otro lado, sea , ( )( ) ( ) a b f b a b a e = . Segn el T.V.M:
2 2
( )
2 2
b a a b
b a
+
= = , que corresponde al punto medio del intervalo [a,b].



TeoremadelValor
Mediopara
Integrales(TVM)
Ejemplo0.
Ejemplo1.
17


Sea
3 3
2 2
( ) ( )( )
3
b
a
b a
f x x x dx f b a

= = =
}


Para , a b e , segn el TVM,
2
( ) f =

Pero: ( )
3
2 2 2
( )
( ) ( ) 0
3
b a
b a a b a a b a

= + + =

2 2
2 2 2
1
,
3 3
a b ab
a b ab a b
+ +
= = + + e

Sea
2
( ) 1 f x x = en
| | | | , 1,1 a b = , esto es un semicrculo de radio 1 y centro en el
origen. Por el TVM:
1
2 2
1
1 (1 1) 1
2
x dx
t

+ = =
}
(rea del semicrculo).
2 2 2
2 2 2
16 16
1 1
4 16 16 4
t t t t


= = = = ,

es decir, 0.61899 = ambos valores 1,1 e .

Calculamos el rea del rectngulo de base
(1+1) = 2 y altura
2
1 0.7854 =

0.7854 2 1.5408
2
Area
t
= = =

Que nos da exactamente el rea del semicrculo. Este resultado resuelve el viejo enigma
griego de la cuadratura del crculo!!

Un ama de casa prepara un caldo tlalpeo y, como an no llega a comer su familia, lo
mete al refrigerador. Al cabo de cierto tiempo, el caldo se enfra hasta alcanzar una
temperatura de 5C. En ese momento llega la familia y la seora saca el caldo del refri,
ponindolo al fuego durante 10 minutos. Suponiendo que en ese lapso la temperatura del
caldo es dada por:

( 1)
( ) 5
2
t t
T t
+
= + , | |
0,10 t e min.
Calcular la temperatura inicial y final del caldo y su temperatura media en ese intervalo
de tiempo.

Solucin. La temperatura inicial es T(0) = 5C, la misma que el refrigerador en su
interior. La T final es:
10(11)
(10) 5 60
2
T C = + =
Ejemplo2.
Ejemplo3.
Ejemplo4.
18

La temperatura promedio es, de acuerdo al TVM:
10
10 2 3 2 3 2
0
0
10 10 1 241.64
( ) 5 5 50 0 24.2
2 2 6 4 6 4 10 10
a
t t t t
T T dt t C
| | | | | |
= = + + = + + = + + = ~
| | |
\ . \ . \ .
}

Del mismo problema, calcular el tiempo t

para el cual el caldo alcanz su temperatura promedio:

Segn el TVM, 0,10 t

- e para el cual ( )
a
T T t

= , es decir, hay que resolver:

( 1)
24.167 ( ) 5
2
t t
T t

+
= = +
Agrupando se obtiene la ecuacin:
2
38.33 0 t t + =

Cuyas soluciones son:
5.7
1 154.33 1 12.42
6.7 2 2
t

= ~

=

La solucin realista es: 5.7 t

~ min para que el caldo alcance su temperatura promedio. Obviamente se

trata de una estufa con fogn grande. En una estufa domstica mas pequea, el tiempo de calentamiento
sera mayor.

I.3. El Teorema Fundamental del Clculo

Procedo a dar dos formulaciones clsicas del Teorema Fundamental del Clculo (TFC), una debida a
Richard Courant y la otra del libro de Haaser, Lasalle y Sullivan (Anlisis Matemtico 1). Ambas
formulaciones proceden a su vez de las ideas bsicas formuladas por Newton, Leibnitz y, ms tarde,
por Riemann; estas ideas son hasta la fecha, esenciales. Esencialmente el TFC asegura que los procesos
de integracin y de derivacin son opuestos o se cancelan el uno al otro.

Cualquier funcin F(x) que sea la primitiva de otra funcin
| | , a b
f C e puede escribirse de la forma:

a) ( ) ( )
x
a
F x f t dt c = +
}
, (c = cte. arbitraria)

b) Adems, '( ) ( ) F x f x =

c) ( ) ( ) ( )
b
a
f t dt F b F a =
}
, y

d) Si
1
( ) F x y
2
( ) F x son dos primitivas de
f (x) entonces
1 2
( ) ( ) F x F x C = +

Demostracin: Supongamos primero que F, como funcin primitiva de f en [a,b] se escribe:
(sta es la definicin de primitiva de f ) ( ) ( )
x
a
F x f t dt =
}
,
| | , x a b e . Consideremos ahora un
subintervalo:
| | | | , , x x x a b + A c . Entonces: ( ) ( )
x x
a
F x x f t dt
+A
+ A =
}
, restando ambas:
( ) ( ) ( ) ( )
x x x
a a
F x x F x f t dt f t dt
+A
+ A =
} }
, usamos ahora las siguientes propiedades:
TFC,1
ra
Formulacin.
19

( ) ( ) f t dt f t dt
| o
o |
=
} }
y ( ) ( ) ( )
c
c
f t dt f t dt f t dt
| |
o o
= +
} } }

Luego: ( ) ( ) ( ) ( ) ( )
x x a x x
a x x
F x x F x f t dt f t dt f t dt
+A +A
+ A = + =
} } }

Apliquemos el Teorema del Valor Medio para integrales a la funcin f en el intervalo | |
, x x x +A : como
f es continua en | |
, x x x +A , entonces existe en ese intervalo tal que:
( )( ) ( ) ( ) ( )
x x
x
f x x x f t dt F x x F x
+A
+ A = = + A
}
. Por lo tanto:
( ) ( )
( )
F x x F x
f
x

+ A
=
A

Calculando el lmite:
0 0
( ) ( )
( ) lim ( ) lim ' ( )
x x
F x x F x
f x f F x
x

A A
+ A
= = =
A


Es decir, F primitiva de '( ) ( ) f F x f x = | |
, x a b e (qed)

Supongamos ahora que '( ) ( ) F x f x dF fdx = = . Integrando ambos miembros de la igualdad:
( )
x x
a a
dF f t dt =
} }
. Y usando la parte c) del Teorema: ( ) ( ) , ( )
x
a
F x C f t dt C F a = + =
}

Esto demuestra la parte a) como consecuencia de b) y c). (qed)

Suponga ahora ciertas a) y b): ( ) ( )
x
a
F x f t dt C = +
}
y '( ) ( ) F x f x =
Entonces: ( ) ( )
a
a
F a f t dt C = +
}
, pero ( ) ( ) ( )
a a
a a
f t dt f t dt f t dt
|
|
= + =
} } }

( ) ( ) 0 ( )
a a
f t dt f t dt F a C
| |
= = =
} }
, pues ( ) 0
a
a
f t dt =
}

Calculando: ( ) ( ) ( ) ( ) ( ) ( ) '( ) ( )
b b b b
a a a a
F b f t dt F a f t dt F b F a F t dt dF t = + = = =
} } } }
(qed)

Por ltimo, en d) supongamos F
1
y F
2
dos primitivas de f. Sea
1 2
( ) ( ) ( ) G x F x F x = , entonces G es
derivable y su derivada es:
1 2
'( ) '( ) '( ) ( ) ( ) 0 G x F x F x f x f x = = =

Por lo tanto:
1 2
( ) ( ) ( ) G x c F x F x C = = + (qed).

Esto complete la demostracin del Teorema Fundamental del Clculo en una dimensin.

Consiste en dos partes o teoremas relacionados:

1
ra
PARTE del TFC: Sea la funcin ( ) ( )
x
a
F x f t dt =
}
. Entonces s
| | ,
o
a b
f C e , tendremos que:
'( ) ( ) F x f x = en | |
, a b .
TFC,2
da
Formulacin.
20

2
da
PARTE del TFC: Sea
| | ,
o
a b
f C e , si '( ) ( ) F x f x = | |
, x a b e , entonces: ( ) ( ) ( )
b
a
f t dt F b F a =
}

La demostracin de esta 2
da
formulacin del TFC en sus dos partes, que-da como ejercicio para el
lector. Podemos construir una tercera formula-cin del TFC mucho ms
intuitiva y geomtrica. Observando esta figura, consideremos a la
funcin definida como el rea bajo la curva f (x) en el subintervalo [a, x]:
( ) ( )
x
x
a
a
F x f t dt Area = =
}

El TFC dice que si derivamos esta funcin: ( ) ( )
x
a
d
f t dt f x
dx
=
}
.
Y entonces ( ) '( ) f x F x = ; pero como x es variable, entonces se deduce que F(x) representa la rapidez
con que est creciendo el rea bajo la curva f (x), la cual puede estar definiendo a la trayectoria de un
objeto mvil en el plano XY. Por otra parte el TFC tambin nos dice que s '( ) ( ) F x f x = , entonces:

( ) '( ) ( ) ( ) ( )
x x x
a a a
f t dt F t dt dF t F x F a = = =
} } }


Y el rea bajo la curva f entre [a, b] es simplemente igual a la diferencia de valores de la primitiva entre
los puntos extremos del intervalo [a, x].

Por ltimo, para cerrar esta seccin, consideremos y aclaremos la estrecha relacin entre el TFC, el T.
de Valor Medio para integrales y el mismo para derivadas:

Sea F una funcin primitiva de
| | ,
o
a b
f C e ; entonces F es diferenciable en [a,b] y segn el T. del Valor
Medio para derivadas, existe , c a b e tal que:
( ) ( )
'( )
F b F a
F c
b a

Pero como F(x) = f (x) y ( ) ( )
b
a
F x f t dt =
}

Entonces: ( ) ( ) ( ) ( ) ( ) ( )
b b
a a
f t dt F b F a f c b a f t dt = =
} }


Y ste es el Teorema del Valor Medio para Integrales.


CAPITULO II. TCNICAS BSICAS DE INTEGRACIN ANALTICA

II.1.- El Teorema Fundamental del Clculo constituy una primera tcnica de integracin analtica,
pues asegura que si: '( ) ( ) F x f x = , entonces ( ) ( )
x
a
f t dt F x C =
}
.
O sea que es suficiente conocer una funcin primitiva de f, o sea F, para poder calcular su integral.
Dicho de otra forma, hay que adivinar cul es la F(x) tal que F(x)=f(x). Esto, en el fondo, equivale a
resolver una ecuacin diferencial, pero como an no sabemos cmo hacerlo, esta tcnica queda muy
restringida a funciones relativamente sencillas donde sea fcil visualizar F(x).
21

II.2. En lo que sigue hacemos uso sistemtico de la siguiente notacin:
'( ) ( ) ( ) ( ) F x f x f x dx F x C = = +
}

Llamada la integral indefinida en el sentido de Riemann. Obsrvese algo muy importante: La integral
definida proporciona un nmero:
( ) ( ) ( )
b
a
f t dt F b F a = e
}
R
La Integral Indefinida proporciona una frmula general de integracin:

( ) ( ) f x dx F x C = +
}


Donde C es una constante arbitraria de integracin, la cual podemos hacer 0 no, segn nos convenga.
La diferencia entre ambas integrales se har ms clara en los siguientes ejemplos.

0) Integracin de la funcin constante
( )
0
f x C =
Cul es la funcin primitiva F tal que
( )
0
' F x C = ? Aqu obviamente
( )
0
F x C x = , por lo tanto:
0 0
C dx C x =
}
y
0 0
( ) ( ) ( )
b
a
C dx F b F a C b a = =
}

1) Integracin de la funcin identidad: f (x) = x. La primitiva debe de ser ( )
2
1
'( )
2
F x x F x x = =
Luego:
2
1
2
x d x x C = +
}
y
( )
2 2
1
2
b
a
x d x b a =
}

2) Integral de la parbola ( )
2 3
1
( )
3
f x x F x x = =
Luego:
2 3
1
3
x dx x C = +
}
y
( )
2 3 3
1
3
b
a
x dx b a =
}

3) Integral general de
( ) ,
n
f x x n = eN; tenemos
1
1
( )
1
n
F x x
n
+
=
+

1
1
1
n n
x dx x C
n
+
= +
+
}
y
( )
2 1 1
1
1
b
n n n
a
x dx b a
n
+ +
=
+
}

II.3.- Integrales trigonomtricas:
4) Cos x dx Sen x C = +
}
, pues
d
Sen x Cos x
dx
=

5) Sen x dx Cos x C = +
}
, pues
d
Cos x Sen x
dx
=

6)
2
Sec y d y Tan y C = +
}
, pues
2 2
1
y
D Tan y Sec y Tan y = = +

7)
2
Csc z dz Cot y C = +
}
, pues
2 2
( ) 1
z
D Cot z Csc z Cot z = = +
LaIntegralDefinida
22

II.4.- Integracin de Funciones Inversas. Sea : f R R una funcin continua y, por consiguiente,
integrable en algn intervalo I = [a,b]. Supongamos adems que f (x) es montonamente creciente o
decreciente en ese intervalo. Tendremos el siguiente resultado: Si la funcin f
| | ,
o
a b
C e es montona en I
y ( ), ( ) f a f b o | = = , entonces f tiene una inversa llamada
| | ,
o
C
o |
e que tambin es montona.

En base a este resultado (ver algn libro de clculo) sea y = f (x), su inversa es x = (y) de modo que:

( ) ( ) ( ( )) ( ) f y f y f x y = = = . Y tambin: ( ) ( ) ( ( )) ( ) f x f x y x = = =

Apliquemos la regla de la cadena a la composicin f I = (la funcin identidad):

1
( ( )) 1 ' ( )
' ( )
d d d f d
f x y
dx d f dx dy y x

= = = =

Esta es una frmula simple y notablemente til para calcular con sencillez una buena cantidad de
derivadas e integrales de funciones inversas. Enseguida van unos ejemplos que ilustran el punto.


II.5.- Ejemplos de Integracin con Funciones Inversas

8) Sea ( )
n
f x y x = = , su inversa es:
1
( )
n n
y x y y = = =
Como
1
'
n
y n x

= , entonces:
( )
1
1 1 1 1/
1
1 1 1 1 1
' ( ) ( )
'
n
n n n
n
y x x y
y n x n n n

= = = = = =
1 1
1
1
1 1 1
n
n
n n n
y y y
n n n

= = =
La frmula anterior, aparte de la derivacin, nos permite deducir la siguiente frmula de
integracin.
1
1
n
n n
y d y y C
n

= +
}

Y la correspondiente integral definida:
( )
1 n n n n
y d y n
|
o
| o

=
}


9) Sea y Sen x = , a la inversa del Sen x se le llama Arcsen y se denota: ( ) y x Arcsen y = = . Sin
embargo, esta inversa no est definida de manera nica pues , x e , el seno oscila
infinitamente entre [-1,1], es decir,
| | 1, 1 x Sen x y e = e R . El problema al momento de
evaluar su inversa es que a cualquier
| | 1,1 y e le corresponde una infinidad correcta de
posibles valores para ( ) y Arcsen y = eR.

Por ejemplo: ( ) ( ) 0 0 ( ) 2 Sen Sen Sen Sen Sen k t t t t = = = = = =

23


3 5
1 (2 1)
2 2 2 2
Sen Sen Sen Sen k
t t t t | | | | | |
= = = = = +
| | |
\ . \ . \ .



3 5
1 .
2 2 2
Sen Sen Sen etc
t t t | | | | | |
= = = =
| | |
\ . \ . \ .


Luego entonces 0 0, , , 2 , , Arcsen k t t t t =

( )
3 5
1 , , , , (2 1)
2 2 2 2
Arcsen k
t t t t
= + ;
3 5
( 1) , , , , (2 1)
2 2 2 2
Arcsen k
t t t t
= + , etc.

Por esta propiedad al Arcsen (y) se le nombra funcin multivaluada o de valuacin mltiple. Para evitar
la ambigedad en su inversin, se escoge de antemano un intervalo, por ejemplo ,
2 2
t t
(intervalo
abierto) donde la funcin sea montona. Calculemos ah la derivada de ( ) y :

2 2
1 1 1 1
' ( ) , 1, 1
'
1 1
y y
y Cos x
Sen y y

= = = = e



Por lo tanto:
2
1
, donde ,
2 2
1
Arcsen y C Arcseny
y
t t
= + e

}


Ntese que otros intervalos igualmente vlidos son:
5 3
,
2 2
t t
o
3
,
2 2
t t
, 0,
2
t
, etc.


10) Calculemos ahora la inversa de , cos ( ) y Cos x x Arc y y = = =

2 2
1
' ( ) cos
1 1
dy
y Arc y C
y y

= = +

}

1,1
cos 0,
y
Arc y t
e
e


Nota: En las tablas de integrales se toma usualmente el signo + en la raz cuadrada.


11) Para el arco tangente: tan ( ) y Tan x x Arc y y = = =

2 2
2 2 2
1 1 1 1
' ' ( )
' 1 1
y Sec x y Cos x
y Sec x Tan x y
= = = = = =
+ +


24

Luego:
2
tan
1
dy
Arc y C
y
= +
+
}

1, 1
tan ,
2 2
y
Arc y
t t
e
e



12) Anlogamente para cot ( ) y Cot x x Arc y y = = =

2
2 2 2
1 1 1 1
' ' ( )
' 1 1
y y Sen x
Sen x y Cot x y

= = = = =
+ +


Luego:
2
cot
1
dy
Arc y C
y
= +
+
}

1,1
cot 0,
y
Arc y t
e
e


Nota: En todas las anteriores funciones trigonomtricas inversas, la restriccin a los intervalos
,
2 2
t t
y 0, t de esas funciones, se le llama Rama Principal de la Funcin.

13) Calcule la
1
2
0
1
dt
t +
}
y deduzca una expresin para t

Aplicando la frmula del ejemplo (11)
( ) ( )
1
2
0
tan 1 tan 0
1
dt
Arc Arc
t
=
+
}


Pero ( ) tan 0 0 Arc = y ( )
1
2
0
tan 1 4
4 1
dt
Arc
t
t
t = =
+
}


(Pues ( ) 0 0 Tan = y 1
4
Tan
t | |
=
|
\ .
)

II.6.- El Teorema de Sustitucin de Funciones.

Sea f una funcin tal que | | | |
0 1
, sea , donde , , ,
I J
f C u C I a b J o | e e = = dos intervalos
reales. Entonces ( ) ( ) ( ) ( ) ( ) ( ) ( ) ' , con , , .
b
a
f x dx f u t u t dt x u y u a u b
|
o
o | = = = =
} }

Demostracin: Sean dos funciones auxiliares ( ) ( ) ( ) ( )( ) ( ) ( )
,
x
a
y x f t dt z t y u t y u t = = =
}
,
z(t) es obviamente una funcin compuesta. Aplicando el TFC a y (x) y la regla de la cadena a z:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ' , , ' ' ' ' , y x f x x I z t y u t u t f u t u t t J = e = = e . Integrando todo:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ' '
b
a
f u t u t dt z t dt z z y u y u y b y a f x dx
| |
o o
| o | o = = = = =
} } }
quod erat demostrandum.

25

II.7.- Ejemplos de Integracin por Sustitucin de Funciones

Ejemplo 1:
3
1
1 x x dx =
}
?
Haciendo el siguiente cambio de variable 1 t x = ,
2
1 x t = + ; 2 dx t dt =
Obteniendo los nuevos lmites de integracin: 3 1 2 t = = y 1 1 0 t = = ; sustituyendo
=
2
2
0
( 1) 2 t t tdt +
}
2
4 2
0
2 ( ) t t dt = + =
}
2 2
4 2
0 0
2 2 t dt t dt + =
} }
2
5 3
0
2 2
5 3
t t
(
+ =
(

( ) ( )
5 3
2 2
2 2
5 3
(
+
(

=
8 4 8 4 44
2 2 2 2
5 3 5 3 15
| |
+ = + =
|
\ .

Ejemplo 2:
5
1
1
5 2
dx
x
}
= ? Haciendo el siguiente cambio de variable:
5 2
5
u x
du dx
=
=
los nuevos
lmites de integracin son:
1 2
25 2 23; 5 2 3 u u = = = = , de donde:
5
1
1
5 2
dx
x
}
=
( )
23
1/ 2
23
3
3
1 1 2
. 23 3
5 5 1/ 2 5
du u
u
(
= =
(

}

Ejemplo 3:
( )
2
2
2
1
Cos x dx
Sen x
t
t

+
}
= ? Haciendo el siguiente cambio de variable:
u Sen x
du Cos x dx
=
=
y
obteniendo los nuevos lmites de integracin:
1 2
1, 1
2 2
u Sen u Sen
t t | | | |
= = = =
| |
\ . \ .
; sustituyendo y
aplicando directamente la frmula de integracin tenemos:
1
1
2
2 1
1
ln 1 ln 1 2 ln 1 2
1
du
u u
u

(
= + + = + +
(

+
}

Ejemplo 4:
( )
2 2
ln
1 4
1 4ln ln
x u
dx du
u u
x x x
=


} }
, donde:
ln
1
u x
du dx
x
=
=

2 2 2
1 2 4 4 1 4 2 4
2 2 2
1 4 1 4 1 4
u u du
du du
u u u u u u
+
= =

} } }

Sea
1
2
4 2
1 4
u
I du
u u

=

}
y
2
2
1
1 4
I du
u u
=

}
entonces
1 2
1
2
2
I I I =
26

1
2
4 2
1 4
u
I du
u u

=

}
2
2 2 1 4
1/ 2
dz z
z u u
z
= = = =
}
. Haciendo:
( )
2
1 4
4 2
z u u
dz u du
=
=

2
2
1
1 4
I du
u u
=

}
( )
( )
2
2
1 2
5
2 5
u
du ArcSen
u
+ | |
= =
|
\ .
+ +
}
ln 2
5
x
ArcSen
+ | |
=
|
\ .

( ) ( ) ( )
( )
( )
( )
2
2 2 2
2 2 2
1 4 4 1 4 2 2 1 2 5 u u u u u u u = + = + + = + +
Sustituyendo en I :
1 2
1
2
2
I I I = =
2
ln 2
1 4 2
5
x
u u ArcSen
+ | |

|
\ .
c +
Ejemplo 5:
( )
1
2
0
1
x
xe
dx
x +
}
= ?
( )
( )
( )
1 1
1 1
2 2
0 0
1 1
1 1
x
x
x e
xe
dx dx
x x
+
+
=
+ +
} }
=
( )
( ) ( )
1
1
1 1
2 2
0 0
1
1 1
1 1
x
x
x e
e
dx dx
e e
x x
+
+
+

+ +
} }
( )
( )
1 1
1 1
2
0 0
1 1
1
1
x x
e e
dx dx
e x e
x
+ +
=
+
+
} }

Haciendo
1 z x
dz dx
= +
=
y calculando los nuevos lmites de integracin:
1
2
1 1 2
0 1 1
z
z
= + =
= + =

2 2
2
1 1
1 1
z z
e e
dz dz
e z e z

} }
2
1
1
1 1
z
e
I dz I
e z e
=
}
, donde
2
1 2
1
z
e
I dz
z
=
}
, que se resuelve por el mtodo de
integracin por partes:
2
1 1
; , ;
z z
u e du e dz dv dz v
z z
= = = =
2
2
1
z
e
dz
z
}
=
2
1
dz
z z
e e
z z
+
}
sustituyendo esto en I nos queda:
2
2 2
1 1
1
1 1
dz
z z z
e e e
I dz
e z e z z
| |
(
| = +
(
|

\ .
} }
=
2 2
1 1
1 1 1
. dz
z z z
e e e
dz
e z e z e z
+
} }
=
2
1 2 1 1 1
1
1
2 1 2
z
e e e e
z

(
= =
(


Ejemplo 6:
1
2
2
1
x
e
dx
x
}
= ?
2
1 1
, u du dx
x x
= = . Cambiamos los lmites de integracin por:
( )
( )
1 1
1
2
2
u
u
=
=

Sustituimos y resolvemos:
1/ 2 1 1
1/ 2
1/ 2 1 1/ 2
u u u
e du e du e e e ( = = =
} }

27

Ejemplo 7:
5 2
0
Sen x Cos x dx
t
}
= ?
Primero reducimos la funcin a integrar usando la identidad trigonomtrica fundamental:
( ) ( )
2 2
2 2 2 2 2 2
1 1 Sen x Cos x Sen x Sen x Cos x Cos x Sen xCos x + = =
Sustituimos y reescribimos la integral a resolver:
( )
2
2 2
0
1 , con: , Cos x Sen x Cos x dx u Cos x du Sen x dx
t
= =
}

Cambiamos los lmites de integracin: ( ) ( ) 0 1, 1 u u t = = . Sustituimos y resolvemos:
( ) ( ) ( ) ( )
2 2
1 1 1
2 2 2 2 2 4 6
1 1 1
3 5 7
1 1 2
2 1 2 1 1 2 1 16
3 5 7 3 5 7 3 5 7 105
u u du u u du u u u du
u u u

= = + =
( ( (
= + = + + =
(
( (


} } }

Ejemplo 8:
( )
/ 2
0
1
2 2 2 2 5 4 Cos x dx
x
t
+ + + +
}

Primero reducimos la funcin a integrar usando la identidad trigonomtrica
2 2 2
1 2
1 2 1
2
, , 2 1
2 2 2 2 2 2
x
Cos
Cos x x Cos x x
Cos Cos Cos Cos x
o
o o
+
+ +
= = = = = +
Tomamos la primera raz y la reducimos usando el resultado anterior:
( ) ( )
2
5 4
2 2 5 4 2 1 5 4 2 2
2
5 4 5 4
2 2 2
2 2
x
Cos x Cos x Cos
x x
Cos Cos
| |
+
+ + = + + = =
|
|
\ .
| | | |
+ +
= =
| |
| |
\ . \ .

Luego reducimos la segunda sustituyendo la primera
( )
2
5 4 5 4
2 2 2cos 5 4 2 2cos 2 1 cos
2 2
5 4 5 4
2 2cos 2cos
4 4
x x
x
x x
| | | |
+ +
+ + + = + = +
| |
| |
\ . \ .
| | | |
+ +
= =
| |
| |
\ . \ .

Por ltimo reducimos todas las races a la siguiente expresin:
28

( )
2
5 4 5 4
2 2 2 2cos 5 4 2 2cos 2 1 cos
4 4
5 4 5 4
2 2cos 2cos
8 8
x x
x
x x
| | | |
+ +
+ + + + = + = +
| |
| |
\ . \ .
| | | |
+ +
=
| |
| |
\ . \ .

Sustituyendo reescribimos la integral a resolver:
/ 2
0
5 4 1
2
8
x
Cos dx
x
t | |
+

|
|
\ .
}

5 4 5 1 5 1 16
, ,
8 8 16 5 2
x
u du dx dx dx x du
x x
+
= = = =
Cambiamos los lmites de integracin:
4 5 / 2 4
(0) , ( / 2)
8 8
u u
t
t
+
= =
Sustituimos y resolvemos:
| |
5 / 2 4 5 / 2 4 5 / 2 4
8 8 8
4 4 4
8 8 8
1 16 32 32
2
5 5 5
32 5 / 2 4 4
5 8 8
Cosu x du Cosu du Sen u
x
Sen Sen
t t t
t
+ + +
| | | |
= =
| |
\ . \ .
( | |
+ | |
=
( |
|
|
\ .
(
\ .
} }

Ejemplo 9:
2
1
0
1
x
x
e
dx
e +
}
= ?
2 2 2
2
2
1, 1 1, ln( 1),
1
x x x
u
u e u e e u x u dx
u
= + = + = = =

Cambiamos los lmites de integracin: (0) 2 , (1) 1 u u e = = + . Sustituimos y resolvemos:
( )
( )
( )
( )
2
2
2
1 1 1
2
2
0 2 2
3
1
3
3
2
1
2
2 1
1
1
1
2 2
2 2 1
3 3 3
x
e e
x
e
u
e u
dx du u du
u u
e
e
u
u e
+ +
+

= =

+
(
+
(
(
= = + +
(
(

(

} } }

Ejemplo 10:
2
1
1
1
x
x
e
dx
e
+

}
= ? , haciendo ,
x x
u e du e dx = =
Cambiamos los lmites de integracin:
2
(1) , (2) u e u e = = . Entonces:
2
2
1
1 1 1
1 1
x
e
x
e
e u
dx du
e u u
+ +
=

} }

29

La siguiente expresin podemos reescribirla de la siguiente manera usando descomposicin en
fracciones parciales:
1 1
1 1
u A B
u u u u
+
= +


( ) ( )
( )
1 1
1 1
1
A u u B u u
u A u B u A u B u B
u u

+ = + = + = +

Se igualan el lado derecho con el lado izquierdo de la siguiente manera
( ) ( ) , 1, 1 1 2 A B u u B A B A B A = = = = + =
Y as obtenemos:
1 1 2 1
1 1
u
u u u u
+
= +

. Reescribimos la integral y resolvemos:
| |
| |
2 2
2
2 2 2
1 1 2 1
2ln(1 ) ln( )
1 1
2ln(1 ) ln( ) 2ln(1 ) ln( ) 2ln(1 ) 2ln(1 ) 1
e e
e
e
e e
u
du du u u
u u u u
e e e e e e
+ | |
= + = + =
|

\ .
( = + + = + +

} }


II.7.- Estudio Completo de la Funcin Logaritmo Natural y de su inversa, la Exponencial

II.7.1.-Definicin: La funcin Logaritmo Natural se define como la integral:
1
, 0
x
du
y Ln x x
u
= = >
}


Es decir, el logaritmo de x es el rea acotada por la hiprbola
equiltera
1
y
x
= , el eje x y las rectas verticales x = 1, x = x.

II.7.2.- Propiedades fundamentales:

0) ( )
1
1
1 0
du
Ln
u
= =
}


1) Propiedad aditiva: De la figura anterior observamos que: ( )
1
x y
du
Ln x y
u
=
}
, donde estamos
suponiendo que 1 y x > > definamos la variable: w xy dw x dy y dx = = + .

Entonces:
1 1
( )
w w
x dy y dx dy dx
Ln x y Ln w
xy y x
| | +
= = = +
|
\ .
} }

30

Obsrvese que la regin de integracin para la variable y es distinta de la regin para integrar x,
entonces:
1 1 1 1
( )
y u u x
dy dx du dv
Ln xy Ln y Ln x
y x u v
= + = + = +
} } } }


Este resultado es vlido si 1 x > y 1 y x y > . Supongamos ahora que
1
1 1 x
x
< > .
Entonces de la propiedad anterior:

( ) ( ) ( ) ( ) ( )
1 1
( )
1 1
1 0
Ln x Ln y Ln x Ln x y Ln x Ln Ln x y
x x
Ln Ln x Ln x y Ln x Ln x y Ln Ln x y Ln x y
x x
| | | |
+ = + = + + =
| |
\ . \ .
| | | |
+ + = + = + = +
| |
\ . \ .


Por lo tanto, 0 x > y 0 y > se tiene que: ( ) Ln x y Ln x Ln y = +

2) Logaritmos recprocos:
1 1
0 (1) 0
x
Ln Ln Ln x Ln Ln x
x x x
| | | | | |
= = = = + =
| | |
\ . \ . \ .


1
1
( ) Ln Ln x Ln x
x

| |
= =
|
\ .
. Es decir:
1
1 1
, 0
x x
du du
x
u u
= >
} }


3).- Logaritmo de un cociente:
1
1
( )
x
Ln Ln x Ln x Ln y Ln x Ln y
y y

| | | |
= = + =
| |
\ . \ .


4).- Logaritmo de una potencia: ( ) ( )
n n
n
Ln x Ln x x x Ln x Ln x Ln x nLn x = = + + + =



Es decir:
1 1
( )
n n
n
i i
Ln x Ln x Ln x nLn x n
= =
| |
= = = e
|
\ .
[
N

Sea ahora m entero negativo 0 m > , luego:

1
( ) ( ) ( )
m m
m
Ln x Ln Ln x m Ln x mLn x
x

| |
= = = =
|
\ .

Esta frmula tambin vale para nmeros racionales
m
q
n
= e , sea
m
q
n
x y y = =

1 1
( ) ( ) ( ) 0,
n
n m q
n
m
Ln x Ln x Ln x Ln y Ln y q Ln y Ln y y q
n n n
| |
= = = = = = > e
|
\ .

31

5).- El logaritmo como lmite de una sucesin (Euler, 1730). De la definicin de integral y de un
ejercicio que resolvern los alumnos se tiene que:

lim 1
b
n
n
a
dx b
n Ln b Ln a
x a

| |
= =
|
|
\ .
}


Con ayuda de la sucesin anterior, podemos demostrar tambin la adicin de los logaritmos:

por demostrar que ( ) Ln xy Ln x Ln y = + :

( ) ( ) ( ) ( )
( ) lim 1 lim 1 lim 1 1
n n
n n n n
n n
n
Ln xy n xy n x y n x y n y


(
= = = +



( ) ( )
lim 1 lim lim 1 1
n
n n
n n n
n x y n y Ln x Ln y

= + = + qed.

6).-La exponencial como lmite de una sucesin (Euler, 1730).
Consideremos ahora la siguiente sucesin: 1
n
n
x
s Ln
n
| |
= +
|
\ .

Pero:
1
1
1
x
n
n
x du
s n Ln n
n u
+
| |
= + =
|
\ .
}
por definicin de logaritmo, pero del teorema del valor medio para
integrales sabemos que existe un 1, 1
n
x
n
e + tal que ( ) ( ) ( )
b
n
a
f b a f u du =
}

1
1
1 1
x
n
n n n
du n x nx x
n
u n n
+
(
= + = =
(

}
. Pero como 1, 1 lim 1
n n
n
x
n
n

(
e + =
(



Por lo tanto: lim lim 1
n
n
n n
x
s Ln x
n

| |
= + =
|
\ .
. Deducimos entonces que: lim 1
n
x
n
x
e
n

| |
= +
|
\ .
.

Esta es una de las frmulas ms notables para definir la exponencial como el lmite de una sucesin.
Con la ayuda de los lmites anteriores, podemos demostrar que las funciones logaritmo y exponencial
son inversas.
1
ro
) lim 1 lim 1 lim
n n
x x
n
n n n
x x
e Ln e s x
n n

| | | |
= + = + = =
| |
\ . \ .

2
do
.-
( )
lim 1
n
n
Ln x n x

= evaluando de la exponencial en ambos lados:

( )
( )
( ) ( )
1
1
lim lim 1 lim 1 1 lim
n
n
n
n n
n x
Ln x n n
n n n n
n x
e e x x x
n

| |

|
= = + = + = =
|
\ .

Por lo tanto:
( )
x Ln x
Ln e e x = = , ambas funciones son inversas mutuas.
32


7.- Potencias de reales positivos.

Sea r eR , es decir, si x > 0, podemos escribir:
r r Ln x
x e =

De donde:
( ) ( )
Ln x Ln x
x e e x x
| o |
o | o | o | o
= = = =
Y tambin:
( ) Ln x Ln x Ln x Ln x Ln x x
x x e e e e
o |
o | o | o | +
= = =

Por otra parte:

( ) ( ) ( )
Ln x x Ln x Ln x Ln x Ln x Ln x Ln x
o | o | o |
o | o |
+
= + = + = + =
Por lo tanto: x x x
o | o | +
=


8.- Logaritmos de cualquier base.

Ya definimos el logaritmo natural como una integral y tambin como la funcin tal que:
1,
x
Ln e x Ln e = = . Por eso, al nmero e se le llama la base de los logaritmos naturales.

Definicin.- Un logaritmo natural de xeR es el nmero al que hay que elevar la base e para obtener
dicho nmero, log
e
x Ln x = . Sea ahora a
+
eR , con: log
y
a
x a y x = = ,
pero ( ) log
y y Ln a
a
x a e Ln x y Ln a x Ln a = = = = log
a
Ln x
x
Ln a
= .
Esta sencilla frmula permite construir logaritmos en c ualquier base.

9.- Derivada e Integral de Exponenciales.

Como la exponencial es la funcin inversa del logaritmo natural, tendremos:

1 1 1
, ( ) ; , '
1
'
x
x x
d e
y e x y x Ln y y e
y d x y
y
= = = = = = = =

Pero el TFC
x x
e d x e C = +
}

Por otra parte: sea log
x
a
Ln y
y a x y
Ln a
= = =

'
x x Ln a x Ln a x
d d
y a e Ln a e Ln a a
d x d x
= = = =

1
x x
a d x a C
Ln a
= +
}
por el TFC.
33

10.- Derivacin Logartmica.

El logaritmo tiene muchas cualidades que la hacen una funcin muy til en innumerables contextos.
Desde su origen, su popularidad se debi a que simplificaba enormemente todas las operaciones
aritmticas bsicas en una poca donde todos los clculos se hacan a mano: el producto y divisin de
dos nmeros cualesquiera se hace sumando o restando los logaritmos de dichos nmeros. La potencia
real, entera o fraccionaria de cualquier nmero es simplemente el producto de la potencia por el
logartitmo del mismo nmero. El descubridor histrico del logaritmo fue el matemtico, fsico,
astrnomo (y astrlogo), adems de rico terrateniente escocs John Napier de Merchiston (nace en
1550, muere el 4 de Abril de 1617) . Le apodaban el Marvellous Merchiston, pues fue el
8vo Laird of Merchistoun, algo as como un Barn en la aristocracia escocesa. Su trabajo principal
sobre los logaritmos fue escrito y publicado en latn en 1614 con el ttulo Mirifici Logarithmorum
Canonis Descriptio. Esta obra contiene 57 pginas explicando el tema
y 90 pginas con tablas numricas de logaritmos naturales. La palabra
logaritmo que us Napier viene del griego (logos = proporcin y
arithmos = nmero), que en Espaol equivaldra a nmero
proporcional. El concepto actual del logaritmo se debe a Leonhard
Euler, quien los conect a la exponencial y en particular al nmero e.
Lo que descubri Napier fue la asombrosa igualdad siguiente:
( )
7
10
1 7
1 10 e

~ , la cual pueden verificar con Mathematica, pero que
a Napier le tom establecer unos 20 aos. Treinta aos ms tarde,
Grgoire de Saint-Vincent relacion el logaritmo con la cuadratura o
rea bajo la hiprbola 1/x.

Aparte de sus usos mltiples dentro de las matemticas, el logaritmo se aplica hoy en da a numerosas
disciplinas externas a la matemtica. Una caracterstica muy importante es que la funcin logaritmo
crece muy lentamente, dando valores pequeos Ln (x) para x grandes. Por eso es til para comprimir la
escala de grandes datos cientficos e ingenieriles. Otro uso es la derivacin logartmica que describo a
continuacin con ejemplos concretos, la cual conserva exactamente las mismas propiedades que el
logaritmo. Sea f (t) una funcin real no nula en todo su rango, entonces la derivada de su logaritmo es:
( )
( )
( )
' f t d
Ln f t
dt f t
= (

, de aqu se derivan las siguientes propiedades:

10.1) Sea f (t) = u (t) v (t)
( ) ( )
( )
( ) ( )
' ' ' ' ' u v d u v u v u v d d
Ln u t v t Ln u t Ln v t
dt u v u v u v dt dt
+
= = = + = + ( ( (




10.2) Sea f (t) = 1/u (t)
( )
( ) ( )
( )
( )
( )
2
1/ ' ' 1 '
1/ 1/
u t u u d u d
Ln Ln u t
dt u t u t u u dt

(
= = = = (
(

(



10.3) Sea f (t) = u (t) / v (t)
( )
( )
( ) ( )
( ) ( )
2
/ ' ' ' / ' '
/ /
u t u v u v u v v d u v d d
Ln Ln u t Ln v t
dt v t u v u v u v dt dt
(
= = = = ( (
(

(


34

10.4) Sea f (t) = u
n
(t) ( )
( )
( )
1
'
' '
n
n
n
n n
u
d nu u u d
Ln u t n n Ln u t
dt u u u dt

( = = = = (



10.5) Sea f (t) = u (t) v (t)
( )
( )
( )
( ) ( ) ( ) ( )
' ' ' ' '
'
f t d d u v u v
Ln f t Ln u t v t f t f t
dt f t dt u v u v
| |
= = = + = + ( (
|
\ .


11.- Suavizacin Logartmica.

El logaritmo tiene muchas cualidades que la hacen una funcin muy til en innumerables contextos. En
particular la derivacin logartmica especial permite calcular numricamente derivadas de funciones
que tengan ruido, o sea, error experimental. Esto se aplica en particular al llamado mtodo de la derivada
que consiste en calcular numricamente ( ) | | ( )
/ / Ln t p p p p c c = c c a partir de los datos obtenidos de una prueba
de presin en pozos de petrleo, de gas, de agua o geotrmicos (pPT). Enseguida se grafica esta derivada vs Dt
junto con (Dp vs Dt ), ambas en escala log - log en base 10. La informacin que se obtiene es muy valiosa. su
principal ventaja es que permite analizar en una sola grfica muchas caractersticas separadas de la prueba, que
requiere cada una su propia grfica. Esta tcnica se trata con todo detalle en Mathematica para este curso.