17

Teorema

f R-integrable en [ a,b ]
a f

e = ext f ([ a, b ])
E
e
ba

E = ext f ([ a,b ])

Dem:
n

Como f

([ x

con ei = ext f ([ x i 1 , x i ])

s(f , P) = ei i

Si P P[a ,b]

i =1

i 1

, x i ]) f ([ a, b ]) ei e i de 1 a n
n

i =1

i =1

i =1

s(f , P) = ei i e i = e i = e(b a)

proposicin vlida P P[a ,b ]

Anlogamente se demuestra que: S(f , P) E(b a)

P P[a ,b]

Como f es R-integrable en [ a,b ]

s(f , P)

S(f , P) P P[a ,b]

a
b

e(b a)

E(b a) e

f
a

ba

f
Nota: Al nmero real

se le denomina valor medio de f en [ a, b ]

ba

1) Si f es R-integrable en [ a, b ] llamamos rea de la superficie plana limitada por las curvas de ecuacin

y = f (x) , y = 0 , x = a x = b al real

Si f (x) 0

x [ a, b ] podemos interpretar el valor medio de la funcin f en [ a, b ] como la altura de un

b

rectngulo de rea

y base b - a.

2) Si f y g son dos funciones R-integrables en [ a, b ] llamamos rea de la superficie plana limitada por las
b

curvas de ecuacin y = f (x) , y = g(x) , x = a x = b al numero real

f-g

Adems de realizar los bosquejos correspondientes para interpretar las recientes definiciones le invitamos a leer
un desarrollo formal de tema rea de una superficie. Puede encontrar uno en el Tomo I del Clculus de
T.Apostol.
Teorema
b

f continua en [ a,b ] c (a,b) / f (c) =

f
a

ba

Dem:
b

f continua en [ a, b ]

f es R-integrable en [ a,b ] e

Como f es continua en [ a,b ]

f
a

ba

e = min f ([ a,b ]) [ a, b ] / f () = e

E = max f ([ a,b ]) [ a,b ] / f () = E

17

18
b

Ahora f () baa f () Suponiendo que <

[, ] [ a, b]

y por lo tanto f es continua en [ , ]

Por Darboux c (, ) (a, b) / f (c) =

f
a

ba

Le sugerimos realice una interpretacin grfica de este teorema denominado habitualmente teorema de valor medio
para integrales.
Definicin

Consideramos f : X funcion ; X , a, b ; a < b

a

1) Definimos

f = 0
a

2) Si f es R-integrable en [ a, b ] definimos

f = f

Ejercicio:

a, b,c
f una funcion integrable en el intervalo que tiene por

Probar: H)
extremos dos de los tres reales a,b o c y que el tercero
es interior a ellos

f es integrable en los tres intervalos cuyos extremos son

T) dos de los tres numeros dados (a,b o c)

b
c
a
Ademas
f
+
f
+
a b c f = 0

Nota

Consideramos f una funcin R-integrable en [ a, b ]

f es R-integrable en [ a,x ] x [ a, b ]
x

Podemos definir entonces una nueva funcin F : [ a, b ] ; F(x) = f

Si c [ a,b ] tambin podemos definir G : [ a,b ] ; G(x) = f

Observemos que F(x) G(x) = f f = f + f f = f = K

Definicin

x [ a, b ]

Consideramos: f una funcin R-integrable en [ a, b ] y c [ a, b ]

x

A la funcin : [ a,b ] ; (x) = f

la denominamos funcin integral de f en [ a, b ]

Observemos que existen infinitas funciones integrales de f en [ a, b ] dependiendo del c elegido. Pero todas ellas
difieren entre s en una constante.
Ejercicio: Hallar una funcin integral de f : ; f (x) = 2

18

y de g : : g(x) = sig x en [ 3, 2]

19
Teorema Fundamental del clculo integral

f es R-integrable en [ a,b ]

H) c [ a, b ]

x
: [ a,b ] ; (x) = f
c

1) es continua en [ a,b ]
2) Si f es continua en x 0 [ a, b ] es derivable en x 0 y (x 0 ) = f (x 0 )

T)

Dem. 1)

es continua en [ a,b ] es continua en (a,b) y en a + y b

Probemos que es continua en (a,b) es continua en (a,b)

es continua en

(x) () =

> 0 > 0 / x (a, b) ; x <

f f =
c

(*) K una cota superior de

Por lo tanto tomando =

(x) () <

(*)

( f ) ([a,b ])

= K x

tenemos que x (a, b) ; x < (x) () K x < K. =

K
K

Dem 2)
Por comodidad supongamos que x 0 (a, b) Queremos demostrar que lim

xx0

> 0 > 0 / x (a, b) ; 0 < x x 0 <

(x) (x 0 )
f (x 0 ) <
x x0

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

1
x x0
1
x x0

f f (x 0 )(x x 0 ) =
x0

1
x x0

x0

x0

(x) (x 0 )
= f (x 0 )
x x0

f f (x 0 ) =

X0

1
x x0

f f (x

)(x x 0 ) =

( f f (x ) )
0

x0

f (t) f (x

) dt

x0

Como f es continua en x 0

Dado > 0 > 0 / t (a, b) ; 0 < t x 0 <

f (t) f (x 0 ) <

Entonces x E*a , (a,b)

(x) (x 0 )
f (x 0 ) =
x x0
Tomando 0 < <

1
x x0

f (t) f (x 0 ) dt

x0

y = tenemos que:
19

1
x x0

dt
x0

1
x x 0 =
x x0

20

(x) (x 0 )
f (x 0 ) <
x x0

> 0 > 0 / x (a, b) ; 0 < x x 0 <

l.q.q.d.
Nota Por lo tanto si f es continua en [ a,b ] toda funcin integral de f en [ a, b ] es una primitiva de f en dicho
intervalo.
En consecuencia si una funcin es continua tiene primitiva (no necesariamente elemental) Es cierto el recproco?

2
F(x) = x sen
Anteriormente vimos que F :
x
F(0) = 0

f (x) = 2x sen cos

f :
x
x
f (0) = 0

si x 0

si x 0

es derivable en y su derivada ( llammosla f ) es

Por lo tanto F es una primitiva de f en

Analice la continuidad de f en 0
Qu relevancia tiene conocer una primitiva de la funcin?
Teorema

Regla de Barrow

f R-integrable en [ a,b ]

F una primitiva de f en [ a,b ]

f = F(b) F(a)
a

Dem.
b

Para probar que

f = F(b) F(a)

intentaremos demostrar: s(f ,P) F(b) F(a) S(f , P)

P P[a ,b]

F es derivable en [ a,b ] y F(x) = f (x) x (a, b)

Por hiptesis F es una primitiva de f en [ a, b ] F ( a + ) = f (a)

F ( b ) = f (b)
F continua en [ x i-1 , x i ]
Entonces F es continua en [ a, b ] Si P = { x 0 , x1 ,....., x n } P[a ,b]
Lagrange
F derivable en ( x i-1 , x i )
ci ( x i 1 , x i ) / F(ci ) = f (ci ) =
Adems como ci ( x i 1 , x i )

F(x i ) F(x i 1 )
x i x i 1

ei f (ci ) E i

( x i 1 x i ) f (ci ) = F(x i ) F(x i1 )

(x i x i 1 ) ei (x i x i 1 ) f (ci ) (x i x i 1 ) E i

Teniendo en cuenta que esta doble desigualdad se verifica para todo intervalo de la particin. Sumando nos queda:
n

(x
i =1

i =1

i =1

x i 1 )ei (x i x i 1 ) f (ci ) (x i x i 1 ) E i

s(f ,P)

S(f ,P)

Como la particin P es cualquiera s(f , P)

(x
i =1

x i 1 ) f (ci ) S(f ,P) P P[a ,b]

Teniendo en cuenta que

n

i =1

i =1

( x i1 x i ) f (ci ) = F(x i ) F(x i 1 ) (x i x i 1 ) f (ci ) = F(x i ) F(x i 1 ) =(*) F(b) F(a)

b

Por lo tanto s(f , P) F(b) F(a) S(f , P)

P P[a ,b]

f = F(b) F(a)
a

20

21
n

(*)

F(x ) F(x
i

i =1

i 1

) = F(x1 ) F(x 0 ) + F(x 2 ) F(x1 ).......... + F(x n ) F(x n 1 ) = F(x n ) F(x 0 ) = F(b) F(a)

Nota A la diferencia F(b) F(a) la anotamos F(x) a

Ejemplo

Calcular:

cos x dx
0

cos x dx = sen x

= sen

sen 0 = 1 0 = 1
2
b

Por lo tanto si conozco una primitiva de la funcin en [ a, b ] puedo hallar facilmente f

El inconveniente es que

no siempre es posible hallar una primitiva elemental. Y en caso de ser posible el proceso no es en general tan
mecnico como el de encontrar la derivada.
Veamos ahora algunos teoremas que nos pueden ayudar al clculo de integrales.
Teorema Integracin por partes

f y g continuas en [ a,b ]

f .G es integrable en [ a,b ]

b
F una primitiva de f en [ a,b ] b
b
f
.G
=
F(x)G(x)

a g.F
a
G una primitiva de g en [ a,b ]
a

Dem:

( F.G ) = FG + F.G = f .G + F.g

miembros son integrables en [ a, b ] e integrarlos.

f .G = ( F.G ) F.g

Observemos:

La idea es probar que ambos

G es una primitiva de g en [ a,b ] G es derivable en [ a,b ] G es cont. en [ a, b ] como f es continua en

[a,b ]

f.G es continua en [ a, b ] f .G es R-integrable en [ a,b ]

Anlogamente se demuestra que F.g es R-integrable en [ a, b ] y por lo tanto tambin lo es ( F.G )

Ahora: f .G = ( F.G ) F.g

f .G = ( F.G ) F.g

f .G = F(x).G(x) a F.g

Ejemplos
2

1)

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

En este caso consideramos: f (x) = e x

F(x) = e x
G(x) = x g(x) = 1
2

x.e dx ; tambin encontramos una primitiva de

x

Observemos que no solamente hallamos

h : h(x) = x.e

( H : H(x) = e (x 1) )

1
4
4
4
4
2) Lx dx = 1.Lx dx = x.Lx 1 x. dx = x.Lx 1 1 dx = x.Lx 1 x 1 = x(Lx 1) 1 = 4(L4 1) + 1
x
1
1
1
1
4

21

22
En este ejemplo consideramos f (x) = 1 ,

3)

sen x dx
2

Busquemos primero

F(x) = x

G(x) = Lx g(x) =

1
x

sen x dx
2

sen x dx = sen x.sen x dx = sen x ( cos x ) ( cos x ) cos x dx

sen x dx = sen x cos x + cos x dx = sen x cos x + (1 sen x) dx
2

sen x dx = sen x cos x + 1 dx sen x dx

2

2 sen 2 x dx = sen x cos x + x

sen x dx =
2

x sen x cos x
2

Entonces:

2
sen x dx =
0

x sen x cos x

=
2
2
0

Teorema Cambio de variable o sustitucin

H) : [a,b] R, y es R integrable en [a,b]
f : ([a,b]) R, continua
( b )

( a )

f ( t)dt = f ((t ))' ( t )dt

T)

Dem:
La idea consiste en hallar los dos miembros y verificar que coinciden
([a,b]) es un intervalo cerrado de reales ya que es continua por ser derivable
( en caso que ([a,b]) = k la tesis es inmediata quedando 0 = 0 )
a) Como (a) y (b) ([a,b]) y f tiene primitiva en ([a,b]) por ser continua f tiene primitiva en todo
subconjunto de ([a,b]) F : ([a,b]) R / F(x) = f (x) x ([a,b])
( b )

( b )

f ( t)dt = F(x) |(a ) = F ((a)) F((b))

( a )

b) Sea F o , (que est bien definida ya que Rec() D(F) ) adems y F son derivables
(F o ) = F( (t)).(t) = f ( (t)).(t) F o es primitiva de f ( (t)).(t)
b

f ((t ))' ( t )dt = (F o )(x) |a = F((x)) |a = F((a)) F((b))

a

22

23

Ejemplo:

1)

cos t.e

sen t

dt =

t
e dt = et |

f (x) = ex
(x) = sen x
(x) = cos x
(0) = sen 0 = 0
( ) = sen

en la prctica se hace

cos t.e

sen t

dt = = .e du = e = e
u

sen t

cos t.e

sen t

dt = et | 4 = e
0

u = sen t
du = cos t dt

No nos extenderemos en presentar las distintas estrategias que pueden utilizarse para el clculo de primitivas.
Existe abundante bibliografa al respecto. En el tomo 1 del Calculus de Apostol se presentan las mas usuales de
forma breve y amable. Otra opcin un poco mas extensa puede encontrarse en Calculo diferencial e integral de
Sadosky Guber Tomo 2 en el primer captulo bajo el ttulo de integrales indefinidas (nombre que tambin reciben
las primitivas ) Le sugerimos consultar alguna; no necesariamente las que indicamos.

23