ANTIDERIVADAS

La antiderivada es la funcin que resulta del proceso inverso de la derivacin,

es decir, consiste en encontrar una funcin que, al ser derivada produce la
funcin dada.
Por ejemplo:
Si f(x) = 3!, entonces, "(x) = x3, es una antiderivada de f(x). #$serve que no
existe una derivada %nica para cada funcin. Por ejemplo, si &(x) = x3' (,
entonces es otra antiderivada de f(x).
La antiderivada tam$i)n se conoce como la primitiva o la inte*ral indefinida
se expresa de la si*uiente manera: en donde: f(x) es el inte*rando+ dx, la
varia$le de inte*racin o diferencial de x , - es la constante de inte*racin.
Notacin
La notacin que emplearemos para referirnos a una antiderivada es la
si*uiente:
Teorema
Si dos funciones h , g son antiderivadas de una misma funcin f en un
conjunto . de n%meros reales, entonces esas dos funciones h , g solo difieren
en una constante.

-onclusin: Si g(x) es una antiderivada de f en un conjunto . de n%meros
reales, entonces cualquier antiderivada de f es en ese conjunto . se puede
escri$ir como c constante real.
Frmula que relaciona la integral definida y la indefinida
/ la 0ora de resolver una antiderivada o inte*ral indefinida se de$en tener
disponi$les los recursos aritm)ticos , 0eur1sticos. 2stos son:
-oncepto.
Propiedades.
3e*las de inte*racin.
4nte*rales inmediatas.
5)todos cl6sicos de inte*racin:
74nte*racin por sustitucin.
74nte*racin por partes.
74nte*racin de fracciones racionales mediante fracciones simples.
8so de ta$las.
4nte*racin de funciones tri*onom)tricas sencillas.
4nte*racin de funciones racionales sencillas.
Funcin primitiva
una funcin primitiva es aquella que despu)s de 0a$er sido derivada pasando
por su diferencial , por el proceso de inte*racin no vuelve exactamente a su
funcin ori*inal
ej:
,=3x9'!x':;
d,<dx==x'!
d,==x'! (dx)
4nte*ral=3x9'!x = 3x9'!x'c
Integral definida: Proceso de c6lculo de 6reas encerrada entre una curva , un
eje cartesiano. "uncin Primitiva: 3elacin dependiente de datos so$re uno (o
m6s) valores, que declaran los l1mites de un 6rea. 2s la ra>n del por qu) se le
llama funcin primitiva, al ser la $ase del c6lculo inte*ral. Sean " , f dos
funciones definidas so$re el mismo intervalo (o, m6s *eneralmente, dominio).
" es una primitiva de f si , slo si f es la derivada de ": "? = f. 5ientras que la
derivada de una funcin, cuando existe, es %nica, no es el caso de la primitiva,
pues si " es una primitiva de f, tam$i)n lo es " ' @, donde @ es cualquier
constante real. Para encontrar una primitiva de una funcin dada, $asta con
descomponerla (escri$irla $ajo forma de una com$inacin lineal) en funciones
elementales cu,as primitivas son conocidas o se pueden o$tener le,endo al
rev)s una ta$la de derivadas, , lue*o aplicar la linealidad de la inte*ral:
/qu1 est6n las principales funciones primitivas: "uncin ": primitiva de f
funcin f: derivada de "
Por ejemplo, $usquemos una primitiva de x A x(!B3x). -omo no se conoce
primitivas de un producto, desarollemos la expresin: x(!B3x)= !x B 3!. !x
es la derivada de x!, 3! es la de x3, por lo tanto !x B 3! tiene como
primitiva x! B x3 ' @. Si adem6s se pide que la primitiva verifique una
condicin "(xC) = ,C (que reci$e el nom$re de condicin inicial cuando se
trata de un pro$lema de f1sica), entonces la constante @ es un1vocamente
determinada. 2n el ejemplo, si se impone "(!) = 3, entonces for>osamente @ =
D. /l diferir las primitivas de una misma funcin f de una constante solamente,
resulta que la diferencia "($) B "(a) tiene un valor que no depende de la
primitiva esco*ida. 2s por lo tanto l*ico notarla sin mencionar a ", sino
solamente a f:
Se llama inte*ral de f entre a , $ este valor. La inte*ral tiene un si*nificado
mu, concreto en el campo de la *eometr1a: es el 6rea entre la curva de f, el eje
de los x, , dos rectas verticales x = a , x = $: )ste es el teorema fundamental
del an6lisis.
Por linealidad, cuando f es ne*ativa en un intervalo tam$i)n lo es su inte*ral.
Por lo tanto el 6rea de la que 0emos 0a$lado es al*e$raica , no *eom)trica. Si
una funcin es alternadamente positiva , ne*ativa, su inte*ral ser6 la suma de
las 6reas positivas , ne*ativas entre la curva de f , el eje de los x.
La relacin de Chasles: cu,a prue$a es elemental, tanto si se recurre a
ar*umentos *eom)tricos (con a EF , La se*unda frmula se interpreta
f6cilmente: el 6rea entre las rectas x = a , .. x = a de nuevo es nula, pues la
rectas est6n pe*adas. La primera se puede justificar as1: cuando se recorre un
se*mento de la derec0a a la i>quierda, el 6rea correspondiente cam$ia de
si*no. 2sto sucede porque la nocin de 6rea est6 mu, relacionada con el
producto vectorial de dos vectores (, con el determinante), , tal producto
cam$ia de si*no si un vector lo 0ace. #tras propiedades
Las primitivas de una funcin impar es siempre par. 2n efecto, como se ve en
la fi*ura si*uiente, las 6reas antes , despu)s de cero son opuestas, lo que
implica que la inte*ral entre 7a , a es nula, lo que se escri$e as1: "(a) 7 "(7a) =
C, " siendo una primitiva de f, impar. Por lo tanto siempre tenemos "(7a) =
"(a): " es par.
La primitiva " de una funcin f par es impar con tal de imponerse "(C) = C. 2n
efecto, se*%n la fi*ura, la 6reas antes , despu)s de cero son i*uales, lo que se
escri$e con la si*uiente i*ualdad de inte*rales:
2s decir "(C) 7 "(7 a) = "(a) 7 "(C). Si "(C) = C, "(7 a) = 7 "(a): " es impar. La
primitiva de una funcin peridica es la suma de una funcin lineal , de una
funcin peridica
Para pro$arlo, 0a, que constatar que el 6rea $ajo una curva de una funcin
peridica, entre las a$cisas x , x ' G (G es el per1odo) es constante es decir no
depende de x. La fi*ura si*uiente muestra tres 6reas i*uales. Se puede mostrar
utili>ando la periodicidiad , la relacin de -0asles, o sencillamente Hcon unas
tijerasI (cortando , superponiendo las 6reas de color). 2n t)rmino de
primitiva, si*nifica que "(x ' G) 7 "(x) es una constante, que se puede llamar
/. 2ntonces la funcin &(x) = "(x) 7 /x<G es peridica de per1odo G. 2n
efecto &(x ' G) = "(x ' G) 7 /(x ' G)<G = "(x) ' / 7 /x<G 7 /G<G = "(x) 7
/x<G = &(x). Por consi*uiente "(x) = &(x) ' /x<G es la suma de &, peridica,
, de /x<G, lineal.
J por %ltimo, una relacin entre la inte*ral de una funcin , la de su rec1proca.
Para simplificar, se impone f(C) = C+ a es un n%mero cualquiera del dominio de
f. 2ntonces tenemos la relacin:
2l 6rea morada es la inte*ral de f, el 6rea amarilla es la de f K:, , la suma es el
rect6n*ulo cu,os costados miden a , f(a) (valores al*e$raicos). Se pasa de la
primera curva, la de f, a la se*unda, la de f K: aplicando la simetr1a axial al
rededor de la dia*onal , = x. 2l inter)s de esta frmula es permitir el c6lculo
de la inte*ral de f K: sin conocer una primitiva+ de 0ec0o, ni 0ace falta
conocer la expresin de la rec1proca.
4nte*racin indefinida
(3ediri*ido desde L4nte*rales indefinidasM)
2l campo vectorial definido asi*nando a cada punto (x, ,) un vector que tiene
por pendiente (x) = (x
3
<3)7(x
!
<!)7x. Se muestran tres de las infinitas primitivas
de(x) que se pueden o$tener variando laconstante de inte*racin C.
2n c6lculo infinitesimal, la funcin primitiva o antiderivada de
una funcin f es una funcin F cu,a derivada esf, es decir, F N = f.
8na condicin suficiente para que una funcin f admita primitivas so$re
un intervalo es que sea continua en dic0o intervalo.
Si una funcin f admite una primitiva so$re un intervalo, admite una infinidad,
que difieren entre s1 en una constante: si F
:
, F
!
son dos primitivas de f,
entonces existe un n%mero real C, tal que F
:
= F
!
' C. / C se le conoce
como constante de integracin. -omo consecuencia, si F es una primitiva de
una funcin f, el conjunto de sus primitivas es F ' C. / dic0o conjunto se le
llama integral indefinida de f , se representa como:

2l proceso de 0allar la primitiva de una funcin se conoce
como integracin indefinida , es por tanto el inverso de la derivacin.
Las inte*rales indefinidas est6n relacionadas con las inte*rales definidas a
trav)s del teorema fundamental del c6lculo, , proporcionan un m)todo
sencillo de calcular inte*rales definidas de numerosas funciones.
Ejemplo [editar]
Una primitiva de la funcin en es la funcin ya que:
Dado que la derivada de una constante es cero, tendremos que cos(x) tendr un
nmero infinito de primitivas tales como sin(x), sin(x) + 5, sin(x) - !!, etc" #s ms,
cualquier primitiva de la funcin f(x) $ cos(x) ser de la forma sin(x) + C donde C es
una constante conocida como constante de inte%racin"
Constante de integracin [editar]
Artculo principal: &onstante de inte%racin.
'a derivada de cualquier funcin constante es cero" Una ve( que se )a encontrado
una primitiva F, si se le suma o resta una constante C, se o*tiene otra primitiva" #sto
ocurre porque (F + C) + $ F + + C + $ F + + 0 $ F +" 'a constante es una manera de
e,presar que cada funcin tiene un nmero infinito de primitivas diferentes"
-ara interpretar el si%nificado de la constante de inte%racin se puede o*servar el
)ec)o de que la funcin f (x) es la derivada de otra funcin F (x), es decir, que para
cada valor de x, f (x) le asi%na la pendiente de F (x)" .i se di*u/a en cada punto (x, y)
del plano cartesiano un peque0o se%mento con pendiente f (x), se o*tiene un campo
vectorial como el que se representa en la fi%ura de la derec)a" #ntonces el pro*lema
de encontrar una funcin F (x) tal que su derivada sea la funcin f (x) se convierte en
el pro*lema de encontrar una funcin de la %rfica de la cual, en todos los puntos sea
tan%ente a los vectores del campo" #n la fi%ura de la derec)a se o*serva como al
variar la constante de inte%racin se o*tienen diversas funciones que cumplen esta
condicin y sontraslaciones verticales unas de otras"
Otras propiedades [editar]
Linealidad de la integral indefinida [editar]
'a primitiva es lineal, es decir:
" .i f es una funcin que admite una primitiva F so*re un intervalo I, entonces
para todo real k, una primitiva de kf so*re el intervalo I es kF"
1" .i F y G son primitivas respectivas de dos funciones f y g, entonces una
primitiva de f + g es F + G"
'a linealidad se puede e,presar como si%ue:
La primitiva de una funcin impar es siempre par [editar]
#n efecto, como se ve en la fi%ura si%uiente, las reas antes y despu2s de cero
son opuestas, lo que implica que la inte%ral entre -a y a es nula, lo que se escri*e
as3: 4(a) - 4(-a) $ !, 4 siendo una primitiva de f, impar" -or lo tanto siempre
tenemos 4(-a) $ 4(a): 4 es par"
La primitiva F de una funcin f par es impar con tal de
imponerse F(0) = 0 [editar]
#n efecto, se%n la fi%ura, la reas antes y despu2s de cero son i%uales, lo que se
escri*e con la si%uiente i%ualdad de inte%rales:
#s decir 4(!) - 4(- a) $ 4(a) - 4(!)" .i 4(!) $ !, 4(- a) $ - 4(a): 4 es impar"
La primitiva de una funcin peridica es la suma de una
funcin lineal de una funcin peridica [editar]
-ara pro*arlo, )ay que constatar que el rea *a/o una curva de una funcin
peridica, entre las a*cisas , y , + 5 (5 es el per3odo) es constante es decir no
depende de ," 'a fi%ura si%uiente muestra tres reas i%uales" .e puede mostrar
utili(ando la periodicidad y la relacin de &)asles, o sencillamente 6con unas
ti/eras7 (cortando y superponiendo las reas de color)"
#n t2rmino de primitiva, si%nifica que 4(, + 5) - 4(,) es una constante, que se
puede llamar 8" #ntonces la funcin 9(,) $ 4(,) - 8,:5 es peridica de per3odo 5"
#n efecto 9(, + 5) $ 4(, + 5) - 8(, + 5):5 $ 4(,) + 8 - 8,:5 - 85:5 $ 4(,) - 8,:5 $
9(,)" -or consi%uiente 4(,) $ 9(,) + 8,:5 es la suma de 9, peridica, y de 8,:5,
lineal"
; por ltimo, una relacin entre la inte%ral de una funcin y la de su rec3proca"
-ara simplificar, se impone f(!) $ !< a es un nmero cualquiera del dominio de f"
#ntonces tenemos la relacin:
#l rea morada es la inte%ral de f, el rea amarilla es la de f
-
, y la suma es el
rectn%ulo cuyos costados miden a y f(a) (valores al%e*raicos)"
.e pasa de la primera curva, la de f, a la se%unda, la de f
-
aplicando la simetr3a
a,ial alrededor de la dia%onal y = x"
#l inter2s de esta frmula es permitir el clculo de la inte%ral de f
-
sin conocer
una primitiva< de )ec)o, ni )ace falta conocer la e,presin de la rec3proca"
E!istencia de primitivas [editar]
&ualquier funcin continua so*re admite localmente una
antiderivada o primitiva" .in em*ar%o en espacios de dimensin finita la
continuidad no %aranti(a la e,istencia de antiderivadas" Una condicin suficiente
de e,istencia de antiderivadas es que la ima%en pertene(ca a un espacio vectorial
conveniente, tam*i2n llamado -completo" 'a propiedad definitoria de dic)os
espacios es que toda funcin con admite una
funcin primitiva" .i el espacio no es -completo la continuidad o incluso
la suavidad de una funcin no %aranti(a la e,istencia de antiderivadas"
C"lculo de primitivas [editar]
#ntegrales inmediatas [editar]
Artculo principal: 8ne,o:=nte%rales.
-ara encontrar una primitiva de una funcin dada, *asta con descomponerla
(escri*irla *a/o forma de una com*inacin lineal) en funciones elementales cuyas
primitivas son conocidas o se pueden o*tener leyendo al revs una ta*la de
derivadas, y lue%o aplicar la linealidad de la inte%ral:
8qu3 estn las principales funciones primitivas:
Funcin $ primitiva de funcin $ derivada de
-or e/emplo, *usquemos una primitiva de , > ,(1-?,)" &omo no se conocen
primitivas de un producto, desarrollemos la e,presin: ,(1-?,)$ 1, - ?,
1
" 1, es la
derivada de ,
1
, ?,
1
es la de ,
?
, por lo tanto 1, - ?,
1
tiene como primitiva ,
1
- ,
?
+ @"
.i adems se pide que la primitiva verifique una condicin 4(,!) $ y!(que reci*e el
nom*re de con!ici"n inicial cuando se trata de un pro*lema de f3sica), entonces la
constante @ es un3vocamente determinada" #n el e/emplo, si se impone 4(1) $ ?,
entonces for(osamente @ $ A"
El teorema fundamental del clculo
#sla afirmacin de que la derivacin y la inte%racin son operaciones inversas: si
una funcin continua primero se inte%ra y lue%o se deriva, se recupera la funcin
ori%inal" Una consecuencia importante, en ocasiones denominada el segun!o
teore#a fun!a#ental !el c$lculo, permite calcular inte%rales a *ase de emplear
una primitiva de la funcin a inte%rar"
Enunciado de los teoremas
Teorema fundamental del clculo. %ea f una funcin real integra&le definida en
un intervalo cerrado [a' b]( %i se define F para cada x de [a' b] por
entonces F es continua en Ba, %C" .i f es continua en x de Ba, %C,
entonces F es deriva*le en x, y F D(x) $ f(x)"
&egun!o teore#a fun!a#ental !el c$lculo" .ea f una funcin real,
inte%ra*le definida en un intervalo cerrado Ba, %C" .i F es una funcin tal
que F D(x) $ f(x) para todo x de Ba, %C (es decir, F es una primitiva de f),
entonces
Corolario" .i f es una funcin continua en Ba, %C, entonces f es
inte%ra*le en Ba, %C, y F, definida por
es una primitiva de f en Ba, %C" 8dems,
)rimer teorema fundamental del c"lculo
.ada una funcin f inte*ra$le so$re el intervalo , definimos F so$re
por . Si f escontinua en Oa,$P ,
entonces F es deriva$le en , .
&onsecuencia directa del primer teorema fundamental del clculo infinitesimal es:
.iendo f(t) una funcin inte%ra*le so*re el intervalo Ba(,),*(,)C con a(,) y *(,)
deriva*les"
3. -#Q-2PG#S &2Q23/L2S.

3.: 5)todos aproximados para determinar el 6rea $ajo una curva en un
intervalo.

3.:.: 5)todo *eneral.

2l principio fundamental del c6lculo inte*ral para determinar el 6rea $ajo una
curva ,=f(x) para
un intervalo Oa, $P de la varia$le x es usualmente explicado como si*ue: se
divide el intervalo en
un n%mero n de se*mentos o su$intervalos O P i i
x x , : K de i*ual lon*itud, n a $ x < ) ( K = R , en donde
n i , , ! , : S = , a x = C , $ xn = , , se les asocian rect6n*ulos de alturas ) (
T
i
x f en donde
T
i
x puede
ser cualquier punto del su$intervalo. Los puntos
T
i
x , se llaman puntos muestra. Los m6s
utili>ados son: los extremos i>quierdos, los extremos derec0os , los puntos
medios de los
su$intervalos. 2l 6rea $ajo la curva se aproxima mediante la suma de las 6reas
de los
rect6n*ulos, U =
R
n
i
i
x x f
C
T
) ( . -onforme el n%mero n se incrementa, la aproximacin es mejor , en
el l1mite cuando ese n%mero tiende a infinito, se o$tiene el 6rea exacta, como
se ilustra en la
fi*ura 3.:. 2n ese l1mite, la suma se define como una inte*ral particular
denominada inte*ral
definida , se escri$e como V
$
a
dx x f ) ( . .e 0ec0o, los se*mentos pueden tener diferente lon*itud ,
la condicin ser1a que en el l1mite, cuando su n%mero tiende a infinito, la
lon*itud del se*mento
ma,or tienda a cero (-ourant , Wo0n, :X=(+ SteYart, !CC!).