Articulos 04 PDF

http://www.sinewton.
org/numeros
ISSN: 1887-1984
Volumen 77, julio de 2011, pginas 8598
Un anlisis del uso de la tecnologa para el clculo de primitivas

Juan Carlos Ponce Campuzano (Cinvestav-IPN. Mxico)
Antonio Rivera Figueroa (Cinvestav-IPN. Mxico)
Fecha de recepcin: 22 de octubre de 2010
Fecha de aceptacin: 17 de enero de 2011
Resumen
En el presente documento planteamos y analizamos situaciones matemticas que surgen

cuando contrastamos resultados obtenidos usando un Sistema de Cmputo Algebraico con
la teora matemtica. En particular, damos ejemplos en el caso del clculo de primitivas.
Trabajar con este tipo de situaciones puede ser provechoso para la reflexin y la
enseanza de contenidos matemticos.
Palabras clave
Primitiva, Integral definida, Teorema Fundamental del Clculo, CAS.
Abstract
In this paper we introduce and analyze mathematical situations that arise when we
contrast results obtained by using a Computer Algebraic System with mathematical
theory. In particular, we give examples in the case of the calculation of primitives.
Working with this kind of situations can be helpful for reflection and teaching of
mathematical topics.
Keywords
Primitive, Definite integral, Fundamental Theorem of Calculus, CAS.
1. Introduccin
Los sistemas de cmputo algebraico (CAS, por sus siglas en ingls: Computer Algebraic
System) son un tipo de software que nos permite manipular expresiones algebraicas, dibujar funciones
y operar con nmeros. En el caso del clculo diferencial e integral existe software especialmente
poderoso y de gran ayuda tanto para el aprendizaje de las matemticas como para el mismo quehacer
matemtico. En general, los algoritmos utilizados en estos programas son eficientes mtodos que en
ocasiones entraan relaciones matemticas mejor conocidas por los expertos programadores que por
los matemticos.
Tambin suele ocurrir que los CAS empleen mtodos que producen resultados ms complejos a
los obtenidos con lpiz y papel o incluso llegan a producir resultados errneos an en casos simples.
Nuestra experiencia y capacidad de anlisis en ocasiones supera a los ordenadores y nos ayuda a elegir
mejores mtodos para casos especficos.
Las capacidades numricas, grficas, simblicas y de programacin de las nuevas herramientas
tecnolgicas, juegan un papel importante en el futuro de la enseanza de las matemticas, no slo
como ayuda pedaggica sino como un vehculo para nuevas aproximaciones (Lagrange, 2005). A
continuacin, analizamos casos particulares del clculo de primitivas usando diferentes tipos de CAS.
Sociedad Canaria Isaac Newton

de Profesores de Matemticas

J. C. Ponce Campuzano y A. Rivera Figueroa
2. El Clculo de primitivas: CAS vs Teora

Un teorema importante dentro del Clculo diferencial e integral es el famoso Teorema
Fundamental del Clculo, el cual establece relaciones de reciprocidad entre los procesos de integracin
y diferenciacin. Antes de citarlo, primero recordemos que una funcin G :[ a, b] R , derivable en
todo [ a, b] , es una primitiva de la funcin f :[ a, b] R si cumple que G( x) = f ( x) para todo
x [ a, b] .
Teorema Fundamental del Clculo: Sea f :[ a, b] R una funcin continua y sea F :[ a, b] R
dada por
x
F ( x) = f (u )du , con c [a, b] .

c
Entonces
1. F es derivable en cada x [a, b] y adems F ( x ) = f ( x) para toda x [a, b] .
2. Si G :[a, b] R es una primitiva de f , se tiene que
b
f (u )du = G (b) G (a) .

a
x
Observacin 1: La funcin F ( x ) =
f (u)du
del inciso 1, llamada integral indefinida, es una
primitiva de f .
Observacin 2: El teorema anterior se puede encontrar de distintas formas, en diversos libros
de Clculo avanzado. Incluso se puede encontrar de manera ms general para funciones Riemann
integrables (ver por ejemplo Apostol, 1998 y Spivak, 1996). Sin embargo, es suficiente citarlo aqu
para funciones continuas.
La frmula
b
f (u )du = G (b) G (a)

a
nos ofrece una herramienta para calcular integrales en un intervalo, razn por la cual resultan
importantes los famosos Mtodos de Integracin, que no son otra cosa que mtodos para encontrar
primitivas de funciones.
Algunos de los mtodos de integracin ms populares que suelen estudiarse en los primeros
cursos de Clculo son:
1.
2.
3.
4.
Identificacin de integrales inmediatas.

Integracin de funciones racionales, mediante la descomposicin en fracciones simples.
Integracin por partes.
Cambio de variable.
Para el caso del clculo de primitivas el CAS resulta ser una herramienta eficaz ya que en la
prctica puede facilitar clculos engorrosos. Camacho (2005) comenta, por ejemplo, que:
86
Vol. 77
julio de 2011
NMEROS

el uso del software (Derive y Maple) proporciona un importante

instrumento para que los estudiantes puedan librarse de memorizar frmulas
o procedimientos de clculo, aunque es fundamental tener en cuenta que los
estudiantes necesitan un cierto tiempo para madurar y desarrollar una
comprensin conceptual segura de los conceptos. Necesitan prestar atencin
al proceso de transformacin y relacin que pueden establecerse entre las
representaciones grficas, algebraicas y numricas. (Camacho, 2005, pp. 108)
Sin embargo, existen casos donde los resultados del CAS difieren a los obtenidos con lpiz y
papel usando la teora, lo cual puede influir de diversas maneras. Lo idneo es analizar el porqu de
esta diferencia.
En la siguiente seccin ilustraremos con algunos ejemplos, situaciones matemticas
relacionadas con el clculo de primitivas en donde los resultados obtenidos con el ordenador difieren
de aquellos obtenidos de manera natural con lpiz y papel. Estas situaciones pueden servir para
analizar y profundizar conceptos matemticos especficos del Clculo tales como: clculo de
primitivas, integral definida, constante de integracin, continuidad de funciones y el Teorema
Fundamental del Clculo.
Para nuestro anlisis hemos utilizado tres herramientas de CAS: los programas Derive 6.0 y el
Scientific Work Place 4.0 y el sitio de acceso libre WolframAlpha (basado en Mathematica: para
mayor informacin acerca de este sitio consultar la pgina http://www.wolframalpha.com/). Es
importante sealar que no se trata de casos aislados, sino de ejemplos particulares de una familia de
situaciones que muestran fenmenos similares.
2.1. Situacin matemtica I
Como primer ejemplo consideremos el problema de calcular
cos 2 x
sen x cos x dx .
Es posible que esta integral sea uno de los primeros ejercicios de integrales inmediatas en un
curso de clculo elemental. No se requiere mucha experiencia para mirarla en la forma
cos 2 x
cos 2 x
sen x cos x dx = 2 sen 2 x dx ,

as que alguien que inicia sus estudios de mtodos de integracin, seguramente escribir
cos 2 x
cos 2 x
sen x cos x dx = 2 sen 2 x dx = log(sen 2 x) + C .

Alguien con ms informacin o ms reflexivo escribira
cos 2 x
cos 2 x
sen x cos x dx = 2 sen 2 x dx = log | sen 2 x | +C .

Vol. 77
julio de 2011
87

En la Tabla 1 se muestran los resultados obtenidos utilizando el CAS.

CAS
Resultado
Derive
WolframAlpha
cos( 2 x )
1
d x = ln( 2 2 cos 4 x )
sin x cos x
2
Scientific
WorkPlace
Resultado
terico
sen x cos x dx = log | sen 2 x | +C
cos 2 x
Tabla 1. Diferentes resultados del CAS para el clculo de una primitiva
Adems de las diferencias de forma en estas respuestas, tambin hay diferencias de fondo.
Primero veamos las diferencias de forma: Nos encontramos ante cuatro expresiones diferentes del
mismo resultado? De los cuatro, hay algn mejor resultado? En qu sentido sera un mejor
resultado?
Quiz al principio pueda parecer un problema difcil, pues podra considerarse como un
problema de equivalencias de expresiones en donde, para probarlas, se requiere cierta destreza en el
manejo de identidades trigonomtricas para transformar cada una de ellas en cualquier otra. Una
estrategia, quiz la ms simple, sea derivar todos los miembros de la derecha y mostrar que en todos
los casos se obtiene el integrando. La insuficiencia de este procedimiento radica en que adems deben
analizarse los dominios de las funciones involucradas.
Al derivar y simplificar (tambin se puede utilizar el CAS para simplificar esta laboriosa tarea)
los resultados anteriores obtenemos:
d
1
cos 2 x
2 log ( sen x ) log ( tan x ) ) = 2 cot x
= 2 cot 2 x =
(
dx
sen x cos x
sen x cos x
d
sen x cos x
cos 2 x
log ( cos x ) + log ( sen x ) + C ) =
+
=
(
dx
cos x sen x sen x cos x
d 1
cos 2 x
log ( 2 2 cos 4 x ) = 2 cot 2 x =

dx 2
sen x cos x
d
cos 2 x
log sen 2 x + C ) =
(
dx
sen x cos x
88
Vol. 77
julio de 2011
NMEROS

Lo anterior podra convencernos de que los resultados son correctos, ya que las derivadas de las
funciones del miembro derecho son iguales al integrando. Probablemente no es una respuesta que nos
deje satisfechos, pues quiz algunos deseen verificar que ciertamente cada resultado es transformable
en cualquier otro. No es una tarea fcil, por el contrario, pueden presentarse algunas dificultades, pero
ofrecen una magnfica oportunidad para revisar algunas relaciones trigonomtricas y propiedades de
los logaritmos. La transformacin de un resultado en otro requiere del importante concepto de
constante de integracin, ya que los resultados, debern ser funciones que difieren en una constante.
En este momento aparece la constante de integracin como un concepto relevante.
a)
log ( cos x ) + log ( sen x )
b) log sen 2x
2 log ( sen x ) log ( tan x )
c)
1
log ( 2 2 cos ( 4 x ) )
2
Figura 1. Grficas de los diferentes resultados: a) WolframAlpha y Derive,

b) Terico y c) ScientificWorkplace
Figura 2. Grfica de

cos 2 x
sen x cos x
Vol. 77
julio de 2011
89

Ahora veamos el problema de fondo: Los resultados obtenidos por los distintos programas nos
ofrecen respuestas diferentes. Una manera de convencernos de estas diferencias es mediante las
grficas que los mismos programas nos proporcionan (ver Figura 1). Como podemos observar, la
solucin terica es mejor que las de WolframAlpha y Derive, pues las respuestas de estos ltimos no
estn definidas en el mismo dominio que el integrando (Figura 2). Por otra parte, Scientific
WorkPlace ofrece una solucin que difiere solamente en una constante.
2.2. Situacin matemtica II
Consideremos ahora el clculo de
tan x
log ( cos x ) dx .
Un estudiante que ya ha adquirido un poco de experiencia con integrales inmediatas, podr
darse cuenta que la integral anterior es de este tipo, ya que puede escribirse en la forma
u( x)
dx
u ( x)
Al realizar los clculos de manera inmediata es posible llegar al siguiente resultado:
tan x
u( x)
log ( cos x ) dx = u ( x) dx = log(u( x)) + C = log(log(cos x)) + C .

La respuesta que presentan Derive y WolframAlpha es la misma (Tabla 2).
CAS
Resultado
Derive
WolframAlpha
Tabla 2.
Al parecer usan el mismo algoritmo y aparentemente todo est correcto, pero analizando
cuidadosamente el integrando, observamos que est definido solamente cuando 0 < cos x 1 y
adems en este caso se tiene log(cos x) 0 , as que no est definido log(log(cos x)) en los nmeros
reales. Esto significa que es incorrecta la respuesta
log ( cos x ) dx = log ( log ( cos x ) ) + C .

tan x
90
Vol. 77
julio de 2011
NMEROS

Para precisar lo anterior, la funcin u ( x) = log(cos x) tiene por dominio un conjunto
4n 1 4n + 1
I=
,
nZ
2
2
(ver Figura 3). Pero lo ms importante es que sus valores son negativos, por lo que la funcin
F ( x ) = log log ( cos x ) tiene por dominio el conjunto vaco.
Figura 3. Grfica de
u ( x) = log(cos x)
Por otra parte, la funcin f ( x ) = tan x log ( cos x ) tiene por dominio la unin de intervalos de
la forma
4n 1 4n + 1
,
2
2
con excepcin de los puntos 2n (ver Figura 4). Es decir, el dominio de la funcin f es el conjunto
4n + 1
4n 1

, 2n 2n ,
.
J=
nZ
2
2

Figura 4. Grfica de

f ( x) =
tan x
log ( cos x )
Vol. 77
julio de 2011
91

La funcin f es continua en su dominio. Si se restringe a un intervalo cerrado [ a, b ] H , el

Teorema Fundamental afirma que existe una primitiva en dicho intervalo. El problema al cual nos
podramos enfrentar es el de poder expresar esa primitiva en trminos de operaciones finitas de
funciones elementales, es decir, es posible que la primitiva no sea elemental. Sin embargo, este no es
el caso, porque podemos hallar una primitiva elemental, simplemente debemos utilizar de manera
adecuada la expresin
u( x) dx = log ( u ( x ) ) + C .
u( x)
Es importante resaltar que la anterior expresin es vlida cuando u ( x ) > 0 . Para ser ms
precisos, debera escribirse de la siguiente manera
u( x)
u( x) dx = log u ( x ) + C
Considerando lo anterior, la respuesta a la que llegamos es la siguiente
tan x
u( x)
log ( cos x ) dx = u ( x) dx = log u ( x) + C = log log ( cos x ) + C
Figura 5. Grfica de
log log ( cos x )
Como hemos observado, si se aplica un mtodo para calcular primitivas de manera automtica
(usado como un algoritmo sin reflexin previa), podemos llegar a soluciones incorrectas. Adems, en
este caso, ni Wolframalpha ni Derive nos ofrecen una respuesta apropiada.
2.3. Situacin matemtica III
Otra situacin interesante se presenta en el clculo de primitivas de la forma

R ( sen x, cos x ) dx , donde R ( sen x, cos x ) es una funcin racional en las funciones seno y coseno.
Supongamos, por ejemplo, que deseamos calcular la integral definida
2
5 + 3cos x dx .
0
92
Vol. 77
julio de 2011
NMEROS

Para ello, es suficiente encontrar una primitiva del integrando y as hacer uso del Teorema
Fundamental.
Usaremos el mtodo de cambio de variable u = tan
x
(un mtodo muy socorrido para este tipo
2
de funciones, el cual suele encontrarse en diversos libros de Clculo, ver por ejemplo: Granville, 1911,
pp. 343-344; Hirst, 2006, pp. 195-196; Spivak, 1996, pp.531-532).
Con este mtodo encontramos la primitiva:
1
x
1
F ( x ) = arctan tan .
2
2
2
Por lo que, usando la segunda parte del Teorema Fundamental, tenemos
2
5 + 3cos x dx = F ( 2 ) F ( 0 ) = 0
0
ya que tan ( 2 ) = tan ( 0 ) = 0 y arctan ( 0 ) = 0 .

Aqu surge un problema, debido a que el integrando es una funcin continua y positiva en el
intervalo [ 0, 2 ] , por lo que el valor de la integral debe ser positivo, lo cual es contradictorio al
resultado obtenido (ver Figura 5). De hecho, el valor de la integral es
2
5 + 3cos x dx = 2 .
0
Figura 6. rea bajo el integrando
En este caso, la aparente contradiccin se debe a que la primitiva F no est definida en los
puntos de la forma x = ( 2n + 1) , con n un entero. En particular F no est definida en
[ 0, 2 ] . As que F no cumple con la condicin F ' ( x ) = f ( x ) para toda x [ 0, 2 ] .
Propiamente dicho, F no es una primitiva del integrando en el intervalo [ 0, 2 ] .

Vol. 77
julio de 2011
93

Podemos afirmar que F es una primitiva del integrando slo si se restringe a ciertos intervalos
cerrados, es decir, F es una primitiva en el intervalo cerrado [ a, b ] I , donde
I=
nZ
( ( 2n 1) , ( 2n + 1) ) .
Figura 7. Grfica de la funcin F
Ahora, utilicemos el CAS para calcular una primitiva. Por una parte, WolframAlpha nos
muestra el siguiente resultado
el cual tampoco nos sirve para evaluar la integral definida ya que la funcin
1
x
H ( x ) = arctan 2 cot
2
2
no est definida en los puntos x1 = 2 y x2 = 0 . La funcin H no es una primitiva del integrando en
el intervalo [ 0, 2 ] .
Figura 8. Grfica de la funcin H
94
Vol. 77
julio de 2011
NMEROS

Observacin 3: Es posible incurrir en una falsa creencia acerca de la continuidad de las

funciones F y H (mencionadas anteriormente), debido a las grficas que observamos en las Figuras
5 y 6. Como las grficas estn formadas por trozos, es posible pensar que estas funciones no son
continuas. Sin embargo, esto no es as. Ambas funciones son continuas en sus dominios. No debemos
olvidar que, en la definicin de continuidad se consideran los elementos pertenecientes al dominio de
la funcin (ver Apostol, 1998, pp 160-161 y Spivak, 1996, pp. 141-144). En este caso, es fcil ver que
los dominios de F y H son
I=
nZ
( ( 2n 1) , ( 2n + 1) ) y J = ( 2n , 2 ( n + 1) ) ,
nZ
respectivamente. Ciertamente, por ejemplo, si se definen las funciones F y H de la siguiente

manera:
1
x
1
arctan tan para x ( 2n + 1) y F ( x ) = 0 para x = ( 2n + 1) .
2
2
2
1
x
2. H ( x ) = arctan 2 cot para x 2 ( n + 1) y H ( x ) = 0 para x = 2 ( n + 1) .

2
2
1. F ( x ) =
Entonces, en este ltimo caso, ambas tienen como dominio a R y adems son discontinuas en los
puntos x = ( 2n + 1) y x = 2 ( n + 1) , respectivamente.
Ahora continuemos con la bsqueda de una primitiva. Si utilizamos en esta ocasin Derive, este
programa nos muestra lo siguiente:
Con este resultado, definimos la funcin G : R R como
G ( x) =
x 1
sen x
arctan
.
4 2
cos x + 3
Esta funcin es una primitiva del integrando, la cual podemos utilizar para evaluar la integral definida
ya que est definida en todos los reales y por lo tanto es posible aplicar el Teorema Fundamental:
2
5 + 3cos x dx = G ( 2 ) G ( 0 ) = 2
0
porque G ( 2 ) =
y G ( 0) = 0 .

Vol. 77
julio de 2011
95

Observacin 4: Es posible utilizar la funcin
1
x
1
F ( x ) = arctan tan
2
2
2
para evaluar la integral definida en el intervalo [ 0, 2 ] pero haciendo algunas consideraciones.
Primero, utilicemos la propiedad aditiva de la integral para partirla en los intervalos [ 0, ] y [ , 2 ] .

Entonces tenemos
2
1
1
dx =
dx +
5 + 3cos x
5
+
3cos
x
0
5 + 3cos x dx .
Ahora, para poder evaluar las dos integrales definidas del lado derecho es necesario usar una versin,
ms general, de la segunda parte del Teorema Fundamental (Apostol, 1974, pp. 207-208):
Teorema 1: Sea f :[ a, b] R una funcin continua y sea G : I R una funcin derivable tal que
G ' ( x ) = f ( x ) para todo x I , con I un intervalo abierto o semiabierto. Entonces se cumplen los
siguientes casos
1. Si I = ( a, b ) y los lmites G ( a + ) = lim+ G ( x ) y G ( b ) = lim G ( x ) existen,
xa
x b
entonces
f ( x)dx = G ( b ) G ( a + ) .
a
2. Si
I = [ a, b )
el
lmite
G ( b ) = lim G ( x )
existe,
entonces
lmite
G ( a + ) = lim+ G ( x )
existe,
entonces
x b
f ( x)dx = G ( b ) G ( a ) .
a
3. Si
I = ( a, b ]
el
xa
f ( x)dx = G ( b ) G ( a + ) .
a
De esta manera, debido a que
F '( x) =
1
5 + 3cos x
para todo x [ 0, ) ( , 2 ] y adems los lmites F ( ) y F ( + ) existen, entonces, por los

incisos 2 y 3 del Teorema 1, tenemos
2
5 + 3cos x dx = F ( ) F ( 0 ) + F ( 2 ) F ( + ) = 2
0
96
Vol. 77
julio de 2011
NMEROS

ya que F ( 0 ) = F ( 2 ) = 0 , F ( ) =
y F ( + ) =
De la misma forma, la funcin
1
x
H ( x ) = arctan 2 cot
2
2
se puede usar para evaluar la integral definida porque
H '( x) =
1
5 + 3cos x
para todo x ( 0, 2 ) y los lmites H ( 2 ) y H ( 0 + ) existen. Por lo tanto, por el inciso 1 del
Teorema 1, tenemos
2
5 + 3cos x dx = H ( 2 ) H ( 0 + ) = 2
0
porque H ( 2 ) =
y H (0 + ) =
3. Comentarios finales
Mucho se ha escrito sobre el gran potencial que ofrece el uso de los CAS en el aprendizaje de
las matemticas, pero poco se escribe sobre la problemtica que se crea cuando estos sistemas no
generan los resultados esperados o presenta resultados aparentemente incorrectos. La existencia de
estas situaciones tiene su parte positiva porque pueden aprovecharse como una oportunidad para
profundizar en los contenidos matemticos.
Los ejemplos aqu expuestos muestran situaciones interesantes en relacin al clculo de
primitivas. En primera instancia, mostramos que en algunos casos los resultados del CAS no son
apropiados, mientras que la teora nos da mejores resultados (un hecho prcticamente obvio). En
segundo lugar, las situaciones aqu presentadas dan pauta para considerar y analizar varios hechos
importantes, por ejemplo: 1) no siempre existe primitiva de una funcin a pesar de que esta sea
integrable (en el sentido de Riemann); 2) no siempre existe una frmula para expresar una primitiva de
una funcin con operaciones finitas de funciones elementales y 3) no siempre se pone atencin a los
dominios de las primitivas.
Por ltimo, en la tercera situacin, hemos observado que al usar la teora nos encontramos con
un resultado inadecuado mientras que, usando la tecnologa (en este caso Derive), obtenemos un
resultado mucho mejor el cual podemos utilizar para calcular una integral definida. El uso del CAS
hace que surja una problemtica antigua existente pero que no est explcita en los libros de Clculo:
el mtodo de integracin que se refiere al clsico cambio de variable u = tan x 2 no es vlido para
ciertos intervalos. El problema radica en que nos proporciona una funcin (aparentemente una
primitiva) que no est definida en el mismo intervalo del integrando y por esta razn resulta no ser

Vol. 77
julio de 2011
97

una primitiva y este hecho puede ser usado para analizar las condiciones necesarias para aplicar el
Teorema de Cambio de Variables. Esta revelacin solamente es una de varias que pueden presentarse
mientras se estudia matemticas con el uso del CAS.
Bibliografa
Apostol, T. M. (1974). Anlisis Matemtico: Introduccin Moderna al Clculo Superior. Espaa:
Editorial Revert.
Apostol, T. M. (1998). Calculus. Vol. I. Mxico: Editorial Revert.
Camacho, M. (2005). La enseanza y aprendizaje del anlisis matemtico haciendo uso de CAS
(computer algebra system). En A. Maz, B. Gmez y M. Torralbo. (Eds.) Investigacin en
Educacin Matemtica: Noveno Simposio de la Sociedad Espaola de Educacin Matemtica
SEIEM. 97-110.
Granville, W. A. (1911). Elements of the Differential and Integral Calculus. Ginn and Company.
USA.
Hirst, K. E. (2006). Calculus of one variable. Springer-Verlag London Limited.
Lagrange, J. (2005). Transposing computer tools from the mathematical sciences into teaching. In D.
Guin, K. Ruthven & L. Trouche (Eds.), The Didactical Challenge of Symbolic Calculators. New
York: Springer, 67-82.
Spivak, M. (1996). Clculo infinitesimal. Mxico: Editorial Revert.
Juan Carlos Ponce Campuzano, Estudiante de Doctorado en el Departamento de Matemtica Educativa
del Cinvestav-IPN, Mxico.
Antonio Rivera Figueroa, Investigador Titular del Departamento de Matemtica Educativa del
Cinvestav-IPN, Mxico.
98
Vol. 77
julio de 2011
NMEROS

Articulos 04 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Articulos 04 PDF

Transféré par

Droits d'auteur :

Formats disponibles

http://www.sinewton.

Un anlisis del uso de la tecnologa para el clculo de primitivas

En el presente documento planteamos y analizamos situaciones matemticas que surgen

Primitiva, Integral definida, Teorema Fundamental del Clculo, CAS.

Primitive, Definite integral, Fundamental Theorem of Calculus, CAS.

Sociedad Canaria Isaac Newton

Un anlisis del uso de la tecnologa para el clculo de primitivas

2. El Clculo de primitivas: CAS vs Teora

F ( x) = f (u )du , con c [a, b] .

f (u )du = G (b) G (a) .

del inciso 1, llamada integral indefinida, es una

f (u )du = G (b) G (a)

Identificacin de integrales inmediatas.

Un anlisis del uso de la tecnologa para el clculo de primitivas

el uso del software (Derive y Maple) proporciona un importante

sen x cos x dx = 2 sen 2 x dx ,

sen x cos x dx = 2 sen 2 x dx = log(sen 2 x) + C .

sen x cos x dx = 2 sen 2 x dx = log | sen 2 x | +C .

Sociedad Canaria Isaac Newton

Un anlisis del uso de la tecnologa para el clculo de primitivas

En la Tabla 1 se muestran los resultados obtenidos utilizando el CAS.

sen x cos x dx = log | sen 2 x | +C

Tabla 1. Diferentes resultados del CAS para el clculo de una primitiva

log ( 2 2 cos 4 x ) = 2 cot 2 x =

Un anlisis del uso de la tecnologa para el clculo de primitivas

log ( cos x ) + log ( sen x )

2 log ( sen x ) log ( tan x )

Figura 1. Grficas de los diferentes resultados: a) WolframAlpha y Derive,

Sociedad Canaria Isaac Newton

Un anlisis del uso de la tecnologa para el clculo de primitivas

Al realizar los clculos de manera inmediata es posible llegar al siguiente resultado:

log ( cos x ) dx = u ( x) dx = log(u( x)) + C = log(log(cos x)) + C .

log ( cos x ) dx = log ( log ( cos x ) ) + C .

Un anlisis del uso de la tecnologa para el clculo de primitivas

Para precisar lo anterior, la funcin u ( x) = log(cos x) tiene por dominio un conjunto

Sociedad Canaria Isaac Newton

Un anlisis del uso de la tecnologa para el clculo de primitivas

La funcin f es continua en su dominio. Si se restringe a un intervalo cerrado [ a, b ] H , el

log ( cos x ) dx = u ( x) dx = log u ( x) + C = log log ( cos x ) + C

log log ( cos x )

Otra situacin interesante se presenta en el clculo de primitivas de la forma

Un anlisis del uso de la tecnologa para el clculo de primitivas

ya que tan ( 2 ) = tan ( 0 ) = 0 y arctan ( 0 ) = 0 .

Figura 6. rea bajo el integrando

[ 0, 2 ] . As que F no cumple con la condicin F ' ( x ) = f ( x ) para toda x [ 0, 2 ] .

Propiamente dicho, F no es una primitiva del integrando en el intervalo [ 0, 2 ] .

Sociedad Canaria Isaac Newton

Un anlisis del uso de la tecnologa para el clculo de primitivas

Figura 7. Grfica de la funcin F

no est definida en los puntos x1 = 2 y x2 = 0 . La funcin H no es una primitiva del integrando en

Figura 8. Grfica de la funcin H

Un anlisis del uso de la tecnologa para el clculo de primitivas

Observacin 3: Es posible incurrir en una falsa creencia acerca de la continuidad de las

respectivamente. Ciertamente, por ejemplo, si se definen las funciones F y H de la siguiente

2. H ( x ) = arctan 2 cot para x 2 ( n + 1) y H ( x ) = 0 para x = 2 ( n + 1) .

Con este resultado, definimos la funcin G : R R como

Sociedad Canaria Isaac Newton

Un anlisis del uso de la tecnologa para el clculo de primitivas

Observacin 4: Es posible utilizar la funcin

Primero, utilicemos la propiedad aditiva de la integral para partirla en los intervalos [ 0, ] y [ , 2 ] .

De esta manera, debido a que

para todo x [ 0, ) ( , 2 ] y adems los lmites F ( ) y F ( + ) existen, entonces, por los

Un anlisis del uso de la tecnologa para el clculo de primitivas