Anda di halaman 1dari 80

Curso de Clculo Diferencial

Introduccin
Este trabajo, de Clculo Diferencial (CD), es parte de los requerimientos
didcticos El incesante avance que existe en la ciencia y en la tcnica durante los
ltimos 150 aos, tiene su origen germinal en gran parte del desarrollo de las
matemticas. En esta direccin, la rama de la matemtica conocida por el Clculo
Diferencial e Integral, son un instrumento natural y potente para abordar una gran
variedad de problemas que emergen en la Fsica, Astronoma, Ingeniera,
Qumica, Geologa, Biologa, ciencias sociales y otros campos.
Para que usted amigo aprendedor tenga una idea de la gran rea de diferentes
clases de problemas que puede analizar por los mtodos del clculo; extendemos
aqu, una seleccin significativa de problemas que se generan en el seno de la
sociedad y que son retomados por el Sector Industrial y de Servicios, para darles
solucin. P.ej., Cuntos cientos de tabiques se requieren para satisfacer la
exigencia de construccin de casas habitacin? Cul sera la cantidad de tela
que se requiere para la confeccin de pantalones para el sexo femenino o
masculino?
Qu cantidad de cubetas con capacidad de 25 litros se requieren para abastecer
una colonia de 30 000 habitantes? Ahora, consideremos algunos casos del Sector
Industrial (SI), veamos: Con qu velocidad debe lanzarse una bala a travs de un
can para alcanzar un objetivo que est a 1500 metros de distancia? Cul es el
volumen de material extrado de una esfera de radio 2 al atravesarla por un
orificio cilndrico de radio cuyo eje pase por el centro de la esfera? Estos
ejemplos, seleccionados en distintos campos, muestran algunos de los problemas
tcnicos que usted y todos podemos resolver como aplicaciones comunes del
Clculo.
Caracteres
El clculo no slo es un algoritmo matemtico, sino que tambin tiene como
subconjunto una coleccin de ideas fascinantes y atrayentes que han ocupado el
pensamiento humano durante siglos. Estas ideas estn relacionadas con
velocidad, rea, volumen, razn de crecimiento, tangente a una curva y con otros
del campo real.
El clculo exige avanzar lentamente para pensar cuidadosamente acerca del
significado de estos conceptos.

Otra observacin notable dl clculo, es su potencia unificadora. Muchos de estos


problemas pueden ser formulados de manera que se transformen en otros
problemas de naturaleza puramente geomtricos.
Para qu sirve el clculo?
Fundamentalmente, el clculo se ocupa de la formulacin precisa y resolucin de
estos dos problemas considerados. En el clculo se definen los conceptos de rea
y tangente y se calculan el rea de una regin dada y la pendiente de la tangente
a una curva dada. Coloquialmente, el Clculo Integral se ocupa del problema del
rea; mientas que el Clculo Diferencial del problema de la tangente.

Intencin Didctica
Siempre con la preocupacin de maximizar la didctica en la direccin del
conocimiento, comprensin, significado en las ciencias y Sector Industrial y de
Servicios (SIS), para el aprendizaje de las matemticas y muy especialmente un
curso de Clculo Integral (CI), sugerimos una propuesta que refiere a la teora
fundamental, para luego ocuparnos de los procesos de abstraccin (construir
matemtica con lo ya aprendido); le hacemos llegar este esfuerzo que sienta su
base en el trabajo de CI del Profesor Investigador Benjamn Garza Olvera y, que
fue auspiciado por la DGTI.
Sumamos al trabajo del maestro Olvera, nuevas ideas didcticas para la
apropiacin del Clculo; con esta preocupacin, incluimos nuevos argumentos
tericos de la Notacin Sigma para que usted (aprendedor), est enterado y opere
con mayor facilidad con la Teora de Riemann. En esta direccin, el estudio de la
funcin primitiva lo abordamos en forma paralela con el Teorema Fundamental del
Clculo, como un resultado de su correspondencia interna. Adems, dedicamos
una especial atencin a los contenidos de la Integral Propia e Impropia (IPI).

Competencias Desarrolladas
Con respecto de las Competencias Especficas
CE1) Conceptualizar en direccin de los usos de la Teora Formal del Clculo
Integral (TFCI), ms afines con el SIS.
CE2) Seleccionar los procesos algortmicos ms adecuados en la resolucin de
clculo de reas, integrales y sus aplicaciones (usos) en el SIS.
CE3) Alcanzar un nivel mximo de pensamiento a travs de la potencia acadmica
que tiene el CI en la Resolucin de Problemas de Ingeniera (RPI).

Con direccin de las Competencias Genricas


CG1) Utilizar la Teora de la Modelacin Pura de Fourier (TMPF), Modelacin
Matemtica (MM) de problemas que tienen su origen germinal en el seno de la
sociedad y, que el SIS los aborda para produccin de satisfactores de
necesidades.
CG2) Construir un tipo d pensamiento lgico, de procesos algortmicos, heurstico,
analtico y sinttico en cada uno de los grupos de aprendedores, en un curso de
CI.
CG3) Favorecer el trabajo de grupo acadmico en cada una de las sesiones de
clases en un Curso de Clculo Integral (CCI) y; as, fomentar la correcta
argumentacin concreta y eficaz de cada uno de los integrantes del curso.
CG4) Propiciar a travs del trabajo arduo y alternante semanal, la significacin e
interpretacin de problemas del SIS, para darles solucin.
CG5) conocer, comprender y aplicar la multiplicidad en lenguaje oral y escrito los
conceptos numricos, algebraicos, geomtricos la resolucin de PI en el SIS en el
saln de clases.
CG6) Usar el buen manejo del lenguaje matemtico oral y escrito.
CG7) Familiarizarse con los conceptos, principios, leyes, teoremas, lemas,
proposiciones, axiomas, otros.
CG8) Extender generalizaciones de la teora del CI.
CG9) Favorecer el uso de la tecnologa de manera general; i.e., en las clases y
examen, en la presentacin de algn subtema del tema que define la unidad de
estudio.
CG10) Resolver Problemas del SIS.
CG11) Efectuar la trasposicin de la matemtica en otras reas de las ciencias.

Objetivo del Tema Uno (Teorema Fundamental del Clculo)


Familiarizarse con el uso del Operador Sigma, ecuaciones tales como =1 ;
, =1 , =1 2 , =1 3 , y utilizacin de estos conceptos en el estudio de la
sumas de Riemann y clculo de reas.

Competencias anteriores al CCI

En Calidad de Dominio

ECD1) Aritmtica.
ECD2) lgebra fundamental.
ECD3) Trigonometra.
ECD4) Geometra euclidiana.
ECD5) Geometra analtica.
ECD6) Clculo diferencial.

Programa Sinttico del Tema Uno


Sub-T1) Clculo de reas de superficies amorfas.
Sub-T2) Operador Sigma.
Sub-T3) Sumas de Riemann.
Sub-T4) Conceptualizacin de la integral definida.
Sub-T5) Teorema de existencia.
Sub-T6) Estructuras algebraicas de la integral definida.
Sub-T7) Funcin Primitiva.
Sub-T8) Teorema Fundamental del clculo.
Sub-T9) Clculo de integrales definidas, utilizando las subcompetencias
anteriores.
Sub-T10) Anlisis de las integrales propias e impropias.

Sugerencias Didcticas para el Desarrollo de las


Competencias Genricas

SD1) Para la presentacin de cada una de las clases y la prctica de la teora


matemtica que debe orientarse a la resolucin de problemas del SIS, el facilitador

(profesor) efecte interacciones cuando tenga que hacerse, en el logro de a meta


planteada.
SD2) Extender temas de corto alcance fcil de ser medibles, en actividades
singulares de cada inicio de subtema del tema central a lo largo de toda la unidad
de estudio, con el nico propsito de que el estudiante alcance un primer
acercamiento con un alto porcentaje de ideaciones sobre las definiciones que se
aborden.
SD3) Planear, disear, coordinar y aplicar la teora matemtica enseada en la
resolucin de PSIS.
SD4) Plantear el desarrollo epistemolgico que ha experimentado cada subtema,
con el objetivo de cada aprendedor interacte con la evolucin gradual que como
historia tiene cada pargrafo.
SD5) Uso de dinmicas de grupo que propicien y refuercen la comunicacin sobre:
discusin de ideas, reflexin, integracin y colaboracin entre los elementos de un
equipo de trabajo escolar de dos o a lo ms cuatro elementos (recomendacin
pedaggica).
SD6) Uso racional de material matemtico (software), siempre con la intencin de
agilizar el buen avance programtico.
SD7) Uso interactivo de la tecnologa (blogs, you too, otros).
SD8) Realizar al menos una prctica donde los participantes del tema uno, se
familiaricen con los trabajos del SIS.
SD9) Interactuar con la Academia de las Ciencias Bsicas (ACB) y otras de las
carreras que oferta el ITTLA, en la cuales se discutan las necesidades de
apropiacin de conocimientos urgentes de aprendizajes de alumnos y profundidad
con que debamos extender cada uno de los saberes acadmicos.

Lineamientos para la Evaluacin del Tema Uno


Primera parte
LET1-1) Participacin efectiva en el saln de clases con aportaciones y
respuestas que respondan ante la pregunta del facilitador, 5 %.
LET1-2) Colaboracin pasando al estrado y auxiliando al profesor a escribir al
menos una media cuartilla del tema que se est tratando en el pizarrn, 5 %.

LET1-3) Resolver problemas de la matemtica misma 8 % y problemas del SIS 12


%, en el pizarrn.

Segunda parte
LET1-1) Examen terico del tema uno, 70 %.

Unidad 1. El Teorema Fundamental del


Clculo.
Ahora que tenemos el bagaje acadmico para el anlisis exhaustivo de los Teoremas
Fundamentales del Clculo (TFC) en este primer tema, estableceremos y demostraremos los dos
TF, mismos que resultan ser la reunin entre el Clculo Diferencial (CD) y el Clculo Integral (CI).
Epistemolgicamente, los conceptos esenciales de la Integral Definida (ID) fueron utilizados por los
antiguos griegos, entre todos se destacan los trabajos de Arqumedes (287212 . .); i.e., hace
ms de 2000 aos. Todo lo que aqu citamos, ocurri muchos aos antes de que fuese descubierto
el CD a finales del siglo XVII cuando Newton mostr cmo calcular el rea de una regin limitada
por una curva o un conjunto de curvas aplicando la antiderivacin para evaluar una ID.
Este proceso metodolgico condujo a los sobresalientes TFC. Curiosamente, iniciamos este
estudio con el anlisis de la ID, la notacin sigma, estructuras algebraicas de la notacin sigma,
rea bajo una curva, suma de Riemann, Introduccin a la definicin de la integral de una funcin,
integral definida, notacin de Leibniz para la integral, la integral definida propia e impropia,
estructuras algebraicas de la integral definida, teoremas sobre las sumas de Riemann, teoremas
que son el origen germinal de las estructuras algebraicas de la integral definida, teorema del valor
medio para las integrales, demostracin del teorema del valor medio para las integrales.
Este proceso didctico encamin a los destacados TFC. Arrancamos los trabajos del conocimiento
de esta matemtica (CD) con estudio de estos teoremas, abordando dentro del mismo, ID con una
variable como lmite superior.

La Integral Definida (ID)


La Notacin Sigma
Slo con el propsito de compactar la teora de sumas entre muchos trminos, utilizaremos su
equivalente; i.e., la notacin sigma. A sta la representaremos con la letra griega mayscula , que
pronunciaremos como sigma.

Propuesta que le mostramos para entender su proceso algortmico

=6
Problema 1. Desarrolle la suma compacta que se indica en la forma de =1 .

Resolucin
=6

Como la suma compacta est definida por =1 , entonces su


Desarrollo del Proceso algortmico
=6

= 1 + 2 + 3 + 4 + 5 + 6 .
=1
=4
Problema 2. Muestre que la suma compacta expresada por =4(2 + 5) = 48.

Resolucin
Tesis
=4

(2 + 5) = 48

(1)

=4

Desarrollo del Proceso algortmico


=4

(2 + 5) = [2(4) + 5] + [2(3) + 5] + [2(2) + 5] + [2(1) + 5] + [2(0) + 5] +


=4

+[2(1) + 5] + [2(2) + 5] + [2(3) + 5] + [2(4) + 5] 48

=4

(2 + 5) = 3 + (1) + 1 + 3 + 5 + 7 + 9 + 11 + 13 48
=4

Construimos inversos aditivos


=4

(2 + 5) = 3 + [1 + (1)] + 3 + 5 + 7 + 9 + 11 + 13 48
=4
=4

(2 + 5) = 3 + (3) + [1 + (1)] + 3 + 5 + 7 + 9 + 11 + 13 48
=4

=4

(2 + 5) = [3 + (3)] + [1 + (1)] + 3 + 5 + 7 + 9 + 11 + 13 48
=4

Resolvemos por definicin del inverso aditivo


=4

(2 + 5) = 0 + 0 + 3 + 5 + 7 + 9 + 11 + 13 48
=4

Construimos neutros aditivos

=4

(2 + 5) = 0 + (0 + 3) + 5 + 7 + 9 + 11 + 13 48
=4

Resolvemos por la definicin del neutro aditivo


=4

(2 + 5) = 0 + 3 + 5 + 7 + 9 + 11 + 13 48
=4

Construimos neutros aditivos


=4

(2 + 5) = (0 + 3) + 5 + 7 + 9 + 11 + 13 48
=4

Resolvemos por la definicin del neutro aditivo


=4

(2 + 5) = 3 + 5 + 7 + 9 + 11 + 13 48
=4

Sumamos aunque no debe ser, por suma directa


=4

(2 + 5) 48

L. Q. D.

=4

Cierre de la Demostracin
=4
Como un corolario de la demostracin anterior, podemos afirmar que =4(2 + 5) = 48.
1

47

60

=5
Problema 3. Pruebe que la suma compacta definida algebraicamente con =3 =

Prueba
Tesis
=5

=3

1 47
=
60

(1)

Desarrollo Algortmico de la Prueba (DAP)


=5

=3
=5

=3

1 1 1 1 47
= + +
3 4 5 60

1 (1)(4)(5) + (1)(3)(5) + (1)(4)(3) 47


=

(3)(4)(5)

60
=5

=3

1 20 + 15 + 12 47
=

60
60

=5

=3
=5

=3

1 47 47
=

60 60

1 47

60

L. Q. D.

Cierre de la Prueba (CP)


Como un corolario de la prueba anterior, podemos asegurar que la tesis se cumple.

=6
Problema 4. Demuestre que la suma compacta que se indica con =1 2 = 91.

Demostracin
Tesis
=6

2 = 91

(1)

=1

Desarrollo del Proceso Algortmico (DPA)


=6

2 = 12 + 22 + 32 + 42 + 52 + 62 91
=1
=6

2 = 1 + 4 + 9 + 16 + 25 + 36 91
=1
=6

2 = 1 + 4 + 9 + 16 + 25 + 36 91
=1

=6

2 = 91 91
=1
=6

2 91

L. Q. D.

=1

Cierre de la Prueba (CP)


Como un corolario de la demostracin anterior, podemos afirmar que la tesis se satisface.

Apunte 1. Generalizando, sabemos

() = ( ) + ( + 1) + ( + 2) + + ( ) & & .
=

En la suma compacta, el nmero se le llama lmite inferior; mientras que lmite superior; el
smbolo que se puede utilizar cualquier otra letra de nuestro alfabeto; p.ej., , , otras se le denota
como ndice de la suma.

Estructuras Algebraicas de la Notacin Sigma


E1) =1 = : + & .
E2) =1 () = =1 (); =1 = : & + .
E3) =1[() + ()]; esta estructura algebraica se le puede extender a la suma de cualquier
nmero de funciones.
E4) =1[() + ( 1)] = () (0).

Ecuaciones de la notacin Sigma


1) = =

(+1)

2) = 2 =
3) = 3 =
4) = 4 =

2
(+1)(2+1)
6
2 (+1)2

4
(+1)(62 +92 +1)
30

(+1)(2+1)(32 +32 +1)


30

Resolucin de Problemas
Objetivo
Familiarizarnos con el uso de las frmulas o ecuaciones del operador sigma que van desde =
hasta =1 ; + ; en la resolucin de problemas de la Matemtica Misma (MM).
Problema. Muestre que =1 (5 4) =

103 +32 7
6

utilice las estructuras algebraicas y

ecuaciones del operador sigma.


Demostracin
Proposicin. Sea .
Tesis

(5 4) =
=1

103 + 32 7
6

(5 4) = (5 2 4) =
=1

=1

(1)
103 + 32 7
6

(5 4) = 5 + 4 =
=1

=1

=1

103 + 32 7
6

(5 4) = 5 + (4) =
=1

=1

=1

(5 4) = 5 4 =
=1

=1

(5 4) = 5 [
=1

=1

=1

(5 4) =
=1

(5 4) =
=1

103 + 32 7
6

103 + 32 7

Por la Est. Arit. 2.

Por ley de los asignos.

( + 1)(2 + 1)
( + 1)
103 + 32 7
] 4[
]=

6
2
6

(5 4) = 5 [

Por la Est. Arit. 3.

Por las Ecs. 2 y 1.

( + 1)(2 + 1)
( + 1)
103 + 32 7
] 4[
]=

6
2
6

103 + 152 + 5
103 + 32 7
22 2 =

6
6

103 + 152 + 5 22 2 103 + 32 7

=
6
1
1
6

Por la racionalizacin de
22 y 2.

(5 4) =
=1

Por la suma algbraica de

103 +152 +5 22

(5 4) =
=1

(5 4) =

=1

103 + 32 7 103 + 32 7
=
6
6

&

2
1

103 + 32 7
6

103 + 32 7
6

Por la ley de transitividad.

Por la ley de transitividad.

Cierre de la Demostracin
=1 (5 4), no es igual a

103 +32 7
6

; porque son lmites inferior y superior de la tesis en (1), lo

que s son es idnticos, veamos

(5 4)
=1

103 + 32 7
6

L. Q. M.

Conclusin Final de la Demostracin


Como un corolario de la demostracin anterior, podemos asegurar que =1 (5 4)
103 +32 7

Problema. Demuestre que =1 3 = 15150. Utilice las estructuras algebraicas y ecuaciones del
operador sigma.
Demostracin
Proposicin. Sea .
Tesis
100

(1)

3 = 15150
=1

Desarrollo Algortmico de la Demostracin


100

100

3 = 3 = 15150
=1

3 = 3 [
=1

3 = 3 [
=1

3 = {
=1

Por la Estructura Arit. 2.

=1

( + 1)
] = 15150
2

1(1 + 1) 2(2 + 1)
( + 1)
+
+ +
] = 15150
2
2
2

3[100(100 + 1)]
} = 15150
2

Por la Ec. 1.

Por la Ec. 1.

Por la Ec. 1.

De donde se desprende

3 = 15150 = 15150

Por la Ec. 1.

=1

3 = 15150 = 15150.
=1

Cierre de la Demostracin
=1 3 , no es igual a 15150; porque son lmites inferior y superior de la tesis en (1), lo que s son
es idnticos, veamos

3 15150
=1

Conclusin Final de la Demostracin

L. Q. D.

Como un corolario de la demostracin anterior, podemos asegurar que =1 3 = 15150.

Problema. Pruebe que la suma compacta definida por =1(2 21 ) = 2 1. Utilice las
estructuras algebraicas y ecuaciones del operador sigma.
Prueba
Proposicin. Sea .
Tesis

(2 21 ) = 2 1

(1)

=1

Desarrollo Algortmico de la Prueba

(2 21 ) = 2 1
=1

(2 2

1 )

= 2 21 = 2 1

=1

=1

=1

(2 21 ) = 2 21 = 2 1
=1

=1

=1

(2 2

1 )

= 2 211 = 2 1

=1

=1

=1

(2 2

1 )

=1

= 2 20 = 2 1
=1

(2 21 ) = 2 1 = 2 1
=1

De donde se desprende

(2 21 ) = 2 1

(2)

=1

Fcilmente se puede ver que =1(2 21 ) no es igual a 2 1; dado que es una demostracin
matemtica; entonces qu son? Son idnticos, como consecuencia

(2 21 ) 2 1
=1

Conclusin Fina de la Demostracin

L. Q. P.

Como un corolario de la prueba anterior, podemos asegurar que =1(2 21 ) = 2 1.


Agregar ms problemas, tomarlos del libro de soluciones de clculo de Leithold
Apunte.

( 1) = 0 + 1 + + ( 1) +
=1

( 1) = .
=1

=1

Problema. Compruebe que la suma compacta definida por 6=1(3 2) = 51.


Comprobacin
Tesis
6

(1)

(3 2) = 51
=1

Desarrollo Algortmico de la Suma compacta


6

(3 2) = 3 2 = 51
=1
6

=1
6

=1

(3 2) = 3 2 = 51
=1

Apunte. Pero como 6=1 =

=1
(+1)

(2)

=1

& =1 2 = 2.

Entonces, sustituyendo estas afirmaciones y = 6 sobre (2), obtenemos


6

(3 2) = 3 [
=1

( + 1)
] 2
2

De donde se desprende
6

(3 2) = 3 [
=1

6(6 + 1)
] 2(6) = 51
2

(3 2) = 3 [
=1
6

6(7)
] 12 = 51
2

42
(3 2) = 3 ( ) 12 = 51
2

=1

(3 2) = 3(21) 12 = 51
=1
6

(3 2) = 63 12 = 51
=1
6

(3)

(3 2) = 51 = 51
=1

Aplicamos ley de transitividad en (3)


Si 6=1(3 2) = 51 y 51 = 51, entonces 6=1(3 2) es igual a 51 que acta como nico
argumento (3)
6

(4)

(3 2) = 51
=1

Reflexin. Y 6=1(3 2) es igual a 51 que es el nico argumento de (3); no ya que este 51 viene
del argumento de la tesis. Entonces 6=1(3 2) con 51 qu son? Son idnticos, veamos
6

(3 2) 51

L. Q. C.

=1

Cierre de la Comprobacin
Como un corolario de la comprobacin anterior, podemos afirmar que
6

(3 2) = 51.
=1

Problema. Muestre que la suma compacta definida por 7=1( 2 + 1) = 147.


Demostracin
Tesis
7

( 2 + 1) = 147

(1)

=1

Desarrollo Algortmico de la Suma compacta


7

( 2 + 1) = 2 + 1 = 147
=1

Apunte. Pero como 7=1 2 =

=1

(+1)(2+1)
6

(2)

=1

& 7=1 1 = 1

Entonces, sustituyendo estas afirmaciones y = 7 sobre (2), obtenemos

( 2 + 1) =
=1

7(7 + 1)(2 7 + 1)
+ (1 7) = 147
6

( 2 + 1) =
=1

7(8)(14 + 1)
+ 7 = 147
6

( 2 + 1) =
=1

56(15)
+ 7 = 147
6

( 2 + 1) = 140 + 7 = 147
=1
7

( 2 + 1) = 147 = 147

(3)

=1

Reflexin. Y 7=1( 2 + 1) es igual a 147 que es el nico argumento de (3); no, ya que este 147
viene del argumento de la tesis. Entonces 7=1( 2 + 1) con 147 qu son? Son idnticos, veamos
7

( 2 + 1) = 147

L. Q. C.

=1

Cierre de la Comprobacin
Como un corolario de la comprobacin anterior, podemos afirmar que
7

( 2 + 1) = 147.
=1

3
Problema. Demuestre que la suma compacta definida por 10
=1(1 ) = 2025.

Demostracin
Tesis
10

(1 )3 = 2025

(1)

=1

Desarrollo Algortmico de la Suma compacta


3
Redefinimos por su construccin primitiva, a la suma compacta 10
=1(1 ) ; i.e., la rescribimos
3
como 10
=1(1 )

9=0 3 .

Entonces
10

9
3

(1 ) = 3 = 2025
=1

=0

10

(1 )3 = 03 + 3 = 2025
=1

=0

Apunte. Pero como 9=1 03 = 0 & 9=0 3 =

=0

2 (+1)2
4

10

(1 )3 = 0 +
=1
10

(1 )3 =
=1

(1 )3 =
10

(1 )3 =
=1

92 (9 + 1)2
= 2025
4

81(10)2
= 2025
4

(81)(100)
= 2025
4

10

(1 )3 =
=1

& = 9; entonces

92 (9 + 1)2
= 2025
4

10

=1

(2)

8100
= 2025
4

10

(1 )3 = 2025 = 2025

(3)

=1
3
Reflexin. Y 10
=1(1 ) es igual a 2025 que es el nico argumento de (3); no, ya que este 2025
3
viene del argumento de la tesis. Entonces 10
=1(1 ) con 2025 qu son? Son idnticos, veamos
10

(1 )3 2025

L. Q. D.

=1

Cierre de la Comprobacin
Como un corolario de la comprobacin anterior, podemos asegurar que
10

(1 )3 = 2025
=1

Problema. Verificar que la suma compacta definida por 5=2

73
12

Verificacin
Tesis
5

=2

73
=
1 12

Desarrollo Algortmico de la Verificacin

(1)

Se implica que = 2, 3, 4 & 5


5

=2

2
3
4
5
73
=
+
+
+
=
1 2 1 3 1 4 1 5 1 12
5

2 3 4 5 73
= + + + =
1 1 2 3 4 12

=2
5

2 3
4 5 73
=( + )+ + =
1
1 2
3 4 12

=2
5

=2

2(2) + 3(1)
4 5 73
=[
]+ + =
(1)(2)
1
3 4 12
5

4+3
4 5 73
=(
)+ + =
1
2
3 4 12

=2

7
4 5 73
=( )+ + =
1
2
3 4 12

=2
5

=2
5

=2

7 4 5 73
= + + =
1 2 3 4 12

7(3) + 4(2)
5 73
=[
]+ =
1
6
4 12
5

=2

21 + 8
5 73
=[
]+ =
1
6
4 12
5

=2
5

=2

29 5 73
=
+ =
1
6 4 12

29(4) + 5(6) 73
=
=
1
6(4)
12

=2

116 + 30 73
=
=
1
24
12
5

=2
5

=2

146 73
=
=
1
24
12

73 73
=
=
1 12 12

Apunte. Aplicamos la ley de transitividad de los nmeros reales-

(2)

Si 5=2

73
12

73
12

73
12

; entonces y slo entonces, 5=2

es igual al argumento de (2); por

consiguiente
5

=2

73
=
1 12

Como usted y nosotros ya dominamos 5=2

(3)

no puede ser igual a

73
12

; entonces qu son? Son

idnticos; i.e.
5

=2

73

1 12

L. Q. V.

Cierre de la Verificacin
Como un corolario de la verificacin anterior, podemos afirmar que la tesis en (1) se cumple.

Problema. Demostrar que la suma compacta definida por 5=2 2 =

63
4

Demostracin
Tesis
3

2 =
=2

63
4

(1)

Desarrollo Algortmico de la Demostracin


Se implica que = 2, 1, 0, 2 & 3.
3

2 = 22 + 21 + 20 + 21 + 22 + 23 =
=2
3

2 =
=2

63
4

1
1
63
+ 1+1+2+4+8=
2
2
2
4

2 =
=2

1 1
63
+ +1+2+4+8=
4 2
4

1 1
63
2 = ( + ) + 1 + 2 + 4 + 8 =
4 2
4

=2
3

2 =
=2

(1)(2) + (1)(4)
63
+1+2+4+8=
(4)(2)
4

2 =
=2

2+4
63
+1+2+4+8=
8
4

2 =
=2
3

2 =
=2

6
63
+1+2+4+8=
8
4
3 1
63
+ +2+4+8=
4 1
4

3 1
63
2 = ( + ) + 2 + 4 + 8 =
4 1
4

=2
3

(3)(1) + (1)(4)
63
+2+4+8 =
(4)(1)
4

2 =
=2
3

2 =
=2

3+4
63
+2+4+8=
4
4

2 =
=2
3

2 =
=2

7
63
+2+4+8 =
4
4
7 2
63
+ +4+8 =
4 1
4

7 2
63
2 = ( + ) + 4 + 8 =
4 1
4

=2
3

2 =
=2

(7)(1) + (2)(4)
63
+4+8=
(4)(1)
4

2 =
=2

7+8
63
+4+8 =
4
4

15
63
+4+8=
4
4

2 =
=2
3

2 = (
=2
3

2 =
=2

15 4
63
+ )+8=
4 1
4

(15)(1) + (4)(4)
63
+8=
(4)(1)
4

2 =
=2

15 + 16
63
+8=
4
4

2 =
=2

31
63
+8=
4
4

2 =
=2
3

2 =
=2

(31)(1) + (8)(4) 63
=
(4)(1)
4

2 =
=2
3

2 =
=2

31 8 63
+ =
4 1
4

31 + 32 63
=
4
4

63 63
=
4
4

(2)

Aplicamos la ley de transitividad para los nmeros reales, sobre (2); i.e., si 3=2 2 es igual al
63
nmero racional
y dicho nmero es igual al argumento de (2); entonces 3=2 2 es igual al
4

argumento de (2), veamos


3

2 =
=2

63
4

(3)

Se satisface (3), no porque el nmero racional intermedio definido por

63
4

; nosotros lo construimos;

mientras que el argumento de (3) es lo que se sostiene en la tesis, entonces qu son? Nmeros
idnticos, observe
3

2 =
=2

63
4

L. Q. D.

Cierre de la Demostracin
Como un corolario de la demostracin anterior, podemos asegurar que la tesis se cumple.

Problema. Mostrar que la suma compacta definida por 4=1

(1)+1

7
12

Demostracin
Tesis
4

=1

(1)+1
7
=

12

(1)

Desarrollo Algortmico de la Demostracin


4

=1

(1)+1 (1)1+1 (1)2+1 (1)3+1 (1)4+1


7
=

1
2
3
4
12
4

=1

(1)+1 (1)2 (1)3 (1)4 (1)5


7
=

1
2
3
4
12

=1

(1)+1 1 1 1 1
7
=
+
=

1
2
3
4
12

=1
4

(1)+1
1 1
1 1
7
=( + )+ + =

1 2
3 4 12

=1
4

(1)+1 1 1 1 1
7
= + + + =

1 2 3 4 12

(1)+1 (1)(2) + (1)(1) 1 1


7
=
+ + =
(1)(2)

3 4 12

=1

=1

(1)+1 2 + 1 1 1
7
=
+ + =

2
3 4 12

=1
4

=1

(1)+1
3 1
1
7
=( + )+ =

2 3
4 12

(1)+1 (3)(3) + (1)(2) 1


7
=
+ =
(2)(3)

4 12
4

=1
4

=1

(1)+1 9 + 2 1
7
=
+ =

6
4 12

(1)+1 11(4) + (1)(6)


7
=
=
(6)(4)

12
4

=1
4

=1

(1)+1 44 + 6
7
=
=

24
12

(1)+1 50
7
=
=

24 12

(2)

Aplicamos ley de transitividad sobre (2)


Si 4=1

(1)+1

es igual a

50
24

50
24

es igual a

7
12

; no se satisface ya que

50
24

7
12

Como consecuencia,

podemos asegurar que la tesis es una afirmacin absurda; y con esto cerramos la demostracin.

Problema. Demostrar que la suma compacta definida por 25


=1 2( 1) = 10400
Demostracin
Tesis

25

(1)

2( 1) = 10400
=1

Desarrollo Algortmico de la Demostracin


Multiplicamos 2 por ( 1)
25

25

2( 1) = (2 2 2) = 10400
=1

=1

Ahora, aplicamos el operador sigma a cada uno de los trminos de (2 2 2), veamos
25

25

25
2

2( 1) = 2 2 = 10400
=1

=1

(2)

=1

25
2
Llevamos a 25
=1 2 & =1 2 a las formas algebraicas de las frmulas en (2), observe
25

25

25

2( 1) = 2 2 2 = 10400
=1

=1

2
Es decir, para 25
=1 =

=1

(+1)(2+1)
6

& 25
=1 2 =

25

2( 1) = 2
=1
25

2( 1) = 2
=1

(+1)
2

( + 1)(2 + 1)
( + 1)
2
= 10400
6
2

25(25 + 1)[2(25) + 1]
25(25 + 1)
2
= 10400
6
2

25

2( 1) = 2
=1

(3)

25(26)[50 + 1]
25(26)
2
= 10400
6
2

25

2( 1) = 2
=1

650[51]
650
2
= 10400
6
2

25

2( 1) = 2
=1

33150
2 325 = 10400
6

25

2( 1) = 2 5525 650 = 10400


=1
25

2( 1) = 11050 650 = 10400


=1
25

2( 1) = 10400 = 10400
=1

Aplicamos la ley de transitividad del sobre (4)

(4)

Si 25
=1 2( 1) es igual a 10400 y 10400 del desarrollo es igual a 10400 de la tesis, entonces
25
=1 2( 1) = 10400, de donde se desprende
25

(5)

2( 1) = 10400
=1

Esto no es cierto porque 10400 es del desarrollo algortmico, entonces qu son; idnticos
25

2( 1) 10400

L. Q. D.

=1

Cierre de la Demostracin
Como un corolario de la demostracin anterior, podemos afirmar que la tesis se satisface.

Problema. Probar que la suma compacta definida por 25


=1 2( 1) = 10400
Prueba
Tesis

(2 21 ) = 2 1

(1)

=1

Desarrollo Algortmico de la Demostracin


Apunte. Este problema lo resolveremos n forma sintetizada, aunque le confiamos que utilizaremos
el teorema 4.4.6 donde consideramos que () = 2 .
Entonces

(2 21 ) = 2 211 = 2 1
=1

(2 21 ) = 2 20 = 2 1
=1

Por el axioma de que todo nmero con potencia cero es igual a uno; obtenemos que 20 = 1; por
consiguiente

(2 21 ) = 2 1 = 2 1

(2)

=1

Aplicamos la ley de transitividad a (3)


Si =1(2 21 ) es igual a 2 1 del desarrollo algortmico y este 2 1 es igual a 2 1 de la
tesis, entonces

(2 21 ) = 2 1
=1

(3)

Por la discusin de la teora que usted escuch en el saln de clases, sabemos que (3), no se
cumple, entonces qu ocurre =1(2 21 ) es idntico a 2 1, observe

(2 21 ) 2 1

L. Q. P.

=1

Cierre de la Prueba
Como un corolario de la prueba anterior podemos afirmar que la tesis se satisface.

+1

Problema. Comprobar que la suma compacta definida por 100


=1 (

)=

100
101

Prueba
Tesis
100

1
1
100
(
)=
+1
101

(1)

=1

Desarrollo Algortmico de la Demostracin


Apunte. Este problema lo resolveremos n forma sintetizada, aunque le confiamos que utilizaremos
el teorema 4.4.6 donde consideramos que () = 2 .
1

+1

Rescribimos para una mejor didctica de la comprobacin a 100


=1 (
1
+1

)=

1
100
=1 (+1

) o tambin

1
100
=1 (

1
+1

)=

1
100
=1 (+1

100

100

=1

=1

100

100

=1

=1

), entonces

1
1
1
1
100
(
) = (
)=
+1
+1
101
1
1
1
1
100
(
) = (
)=
+1
+1
101
100

1
1
1
1
100
(
) = (
)=
+1
100 + 1 1
101
=1

100

1
1
1
1
100
(
) = (
)=
+1
101 1
101
=1

100

(1)(1) (1)(101)
1
1
100
(
) = (
)=
(101)(1)
+1
101
=1

100

1
1
1 101
100
(
) = (
)=
+1
101
101
=1

100

1
1
100 100
(
)=
=
+1
101
101
=1

)=

100
101

como 100
=1 (

100

1
1
100 100
(
)=
=
+1
101 101

(2)

=1

Aplicamos la ley de transitividad a (2)


1

+1

Si 100
=1 (

)=

100
101

100

&

101

100
101

+1

; entonces y slo entonces, 100


=1 (

) ser igual al argumento

de la tesis; i.e.
100

1
1
100
(
)=
+1
101

(3)

=1

Evidentemente, (3) no se cumple, porque el nmero racional

100
101

es el argumento de la tesis.

Entonces Qu son? Son idnticos; i.e.


100

1
1
100
(
)
+1
101

L. Q. C.

=1

Cierre de la Comprobacin
Como un corolario de la comprobacin anterior, podemos asegurar que la tesis se satisface.

Problema. Probar que la suma compacta definida por =1 4 2 ( 2) =

100
101

Prueba
Tesis

2
4
4 2 ( 2) = 4 3 32
3
3

(1)

=1

Desarrollo Algortmico de la Demostracin


Multiplicamos 4 2 por ( 2), veamos

2
4
4 2 ( 2) = (4 3 8 2 ) = 4 3 32
3
3
=1

=1

2 (

=1

2
4
2) = 4 8 2 = 4 3 32
3
3
=1

2 (

=1

2
4
2) = 4 8 2 = 4 3 32
3
3
3

=1

(2)

Aplicamos el teorema 4.4.6

4
=1

2 (

2
4
2) = 4 8 2 = 4 3 32
3
3
3

=1

(3)

Pero como =1 3 =

2 (+1)2
4

& 2 =

(+1)(2+1)
6

; entonces, sustituyendo los argumentos de

=1 3 & 2 sobre (3) y efectuando las operaciones obtenemos

4 2 ( 2) = 4 [
=1

4 2 ( 2) = 4 [
=1

4 2 ( 2) = 4 (
=1

2 ( + 1)2
( + 1)(2 + 1)
2
4
] 8[
] = 4 3 32
4
6
3
3

(2 + )(2 + 1)
2 (2 + 2 + 1)
2
4
] 8[
] = 4 3 32
4
6
3
3

4 + 23 + 2
23 + 2 + 22 +
2
4
) 8(
) = 4 3 32
4
6
3
3

8
2
4
4 2 ( 2) = (4 + 23 + 2 ) (23 + 32 + ) = 4 3 32
6
3
3
=1

8
8
2
4
4 2 ( 2) = 4 + 23 + 2 3 42 = 4 3 32
3
6
3
3
=1

8
4
2
4
4 2 ( 2) = 4 + (23 3 ) + (2 42 ) = 4 3 32
3
3
3
3
=1

4 2 ( 2) = 4 + (
=1

4 2 ( 2) = 4 + (
=1

23 8 3
4
2
4
) 32 = 4 3 32
1
3
3
3
3

(2)(3) (8)(1) 3
4
2
4
) 32 = 4 3 32
(1)(3)
3
3
3

68 3
4
2
4
4 2 ( 2) = 4 + (
) 32 = 4 3 32
3
3
3
3
=1

2
4
2
4
4 2 ( 2) = 4 3 32 = 4 3 32
3
3
3
3

(4)

=1

Aplicamos la ley de transitividad para los nmeros reales sobre (4); i.e., como =1 4 2 ( 2) es
2

igual a 4 3 32 del desarrollo algortmico y como ste, es igual a 4 3 32


de la tesis, entonces

2
4
4 2 ( 2) = 4 3 32
3
3

(4)

=1

Por lo que sabemos, es claro que (4) no se cumple. Entonces qu son? En (4) =1 4 2 ( 2) con
2

4 3 32 ; son idnticos, i.e.

2
4
4 2 ( 2) 4 3 32
3
3
=1

L. Q. P.

Cierre de la Prueba

Como un corolario de la prueba anterior, podemos asegurar que la tesis en (1) se satisface.

Aqu va la tira de ejercicios de esta seccin ejercicios non del


4.4 del leithold end Gerber.
rea Bajo la Curva de una Funcin
Con la geometra hemos sido capaz de aprender a calcular el rea de secciones poligonales y
circulares. En este curso, estudiaremos el problema de la determinacin del rea de algn sector
del plano cartesiano que est delimitado por el eje , las funciones () = , () = y la curva de
la funcin continua () con variacin sobre el espacio por +. Observe la
representacin grfica que se muestra

El rea bajo la curva () o simplemente minscula, la denotaremos simblicamente con la letra


mayscula de nuestro alfabeto que leeremos como mayscula.

Qu proceso metodolgico tendremos que utilizar para su clculo?


Propuesta de clculo
Paso 1. Calculamos el rea del sector rectangular sombreado que se muestra en la grfica

Paso 2. Aqu, partiremos el rea rectangular anterior en dos regiones rectangulares, para obtener
una mejor aproximacin del rea que buscamos

Paso 3. Si los dos espacios de variacin en los que dividimos el espacio cerrado de variacin
[, ]| ; & + tienen la misma longitud; i.e. = (1 ) = ( 1 ); entonces, la funcin
de rea = (1 )(1 ) + ( 1 )(), se puede rescribir como = (1 ) + () y que
finalmente = [(1 ) + ()] .

Observacin. Cuando iniciamos el proceso exhaustivo de partir el espacio cerrado de variacin


[, ]| en reas rectangulares, stas aumentan; como consecuencia, la diferencia entre la suma
de sus reas y seccin bajo la curva disminuye.

Paso 4. Ahora, dividamos el espacio cerrado de variacin [, ]| en subespacios de


variacin con igual magnitud, digamos , de forma tal que =

como se indica en grfica

Paso 5. Del paso tres y cuatro se desprende que la ecuacin de la suma de las reas de los
subespacios de variacin de los rectngulos se expresa como

= [(1 ) + (2 ) + + (1 ) + ( )]

(1)

Paso 6. En este paso del proceso metodolgico, por intuicin se puede observar que cuando el
nmero de rectngulos tiende hacia infinito, la suma de sus reas tiende a un lmite llamado
rea total bajo la curva. Por esta consecuencia, la representacin algebraica de dicha rea bajo a
curva de definida por la izquierda y por la derecha por las funciones () = 0 = & () =
;0 , , , & + |+ ser

= lim [(1 ) + (2 ) + + (1 ) + (0 )] (2)


+

Paso 7. Tambin podemos rescribir [(1 ) + (2 ) + + (1 ) + (0 )] de (2) en forma


compacta a travs del operador sigma, veamos

= lim ( )
+

(3)

=1

Paso 8. En esta parte de la metodologa para calcular el rea bajo una curva, podremos observar
que los rectngulos pueden ser inscritos o circunscritos. Si decidimos que los rectngulos
inscritos y dado que se comporta estrictamente creciente sobre el espacio cerrado de variacin
[, ], entonces el valor mnimo absoluto de n el simo subespacio de variacin [1 , ]
ser igual a (1 ), por la cual la funcin de rea bajo la curva ser

= lim (1 )
+

(3)

=1

Paso 9. La sumas resultantes de las reas de los rectngulos circunscritos son por lo menos, tan
grandes como el rea , tambin podremos probar el lmite de estas sumas cuando
+ es
exactamente el mismo que el lmite de la suma de las reas de los rectngulos inscritos. Por tanto,
el valor mximo absoluto de la funcin de en el simo subespacio de variacin [1 , ] es
sin duda ( ) y con consecuencia

= lim ( )
+

(4)

=1

Resolucin de Problemas Didcticos para el


Dominio del Clculo de reas
Bajo una Curva
Problema. Compruebe que el rea de la regin limitada por la funcin () = 2 , el eje y la
funcin () = 3: seleccionando rectngulos inscritos y en un segundo clculo, rectngulos
circunscritos; ser = 9 .
Comprobacin
Proposicin. Sea () = () & () = .
Tesis
= 9 2

(1)

Construccin de una Representacin Grfica para = () = () = , con rectngulos


inscritos

Desarrollo Algortmico de la Comprobacin


Clculo del rea a travs de rectngulos inscritos
Partimos l espacio cerrado de variacin [0, 3] en subespacios de variacin, cada uno con
longitud , veamos
=

Substituyendo los valores de y obtenemos


=

30

(2)

Nota. Sabemos que la funcin () = = 2 ; adems, sta es creciente sobre el espacio de


cerrado de variacin [0, 3]; mientras que el valor mnimo absoluto de () en el simo
subespacio de variacin [1 , ] ser sin dudas (1 ).
Dado que los rectngulos son inscritos, entonces la funcin de rea que utilizaremos ser la ec.
(3); i.e. = lim + =1 (1 ) , 1 = ( 1) & () = 2 , aseguraremos que

(1 ) = [( 1) ] (1 ) = [( 1) ] = ( 1)2 3 .
=1

=1

=1

Como ya sabemos por clculos previos que = ; sustituyendo todos estos valores sobre (3),

tendremos

=1

=1

=1

3 3 27
(1 ) = ( 1)2 ( ) = 3 ( 1)2 = 9

=1

=1

=1

=1

=1

27
27
(1 ) = 3 ( 2 2 + 1) = 3 ( 2 2 + 1) = 9

=1

=1

=1

=1

27
(1 ) = 3 ( 2 2 + 1) = 9

(+1)(2+1)

Pero como =1 2 =

(+1)

; =1 =

(1 ) =
=1

27 ( + 1)(2 + 1)
(
( + 1) + ) = 9
3
6

(1 ) =
=1

27 ( + 1)(2 + 1)
(
2 + ) = 9
3
6

(1 ) =
=1

(1 ) =
=1

(1 ) =
=1

(1 ) =
=1

27 ( + 1)(2 + 1)
(
2 ) = 9
3
6
27 ( + 1)(2 + 1) 2
(
)=9
3
6
1
27 ( + 1)(2 + 1) 62
(
)=9
3
6
27 (2 + )(2 + 1) 62
(
)=9
3
6

(1 ) =
=1

27 23 + 32 + 62
(
)=9
3
6

(1 ) =
=1

(1 ) =
=1

(1 ) =
=1

27 23 32 +
(
)=9
3
6
27 23 32 +
(
)=9
6
3

27 3
2
(2 3 3 3 + 3 ) = 9
6

(1 ) =
=1

& =1 1 = , entonces

27 ( + 1)(2 + 1)
( + 1)
(
2
+ ) = 9
3
6
2

(1 ) =
=1

27
1 1
(2 3 + 2 ) = 9
6

(1 ) = lim [
=1

27
1 1
(2 3 + 2 )] = 9
6

(3)

27
1 1
lim (2 3 + 2 ) = 9
+ 6 +

(1 ) = lim

=1

(1 ) = lim

=1

27
1
1
[ lim 2 3 lim
+ lim 2 ] = 9

+
6

(1 ) =
=1

27
(2 0 + 0) = 9
6

(1 ) =
=1

(1 ) =
=1

27
(2) = 9
6

54
=9
6

(4)

Aplicamos la ley de transitividad sobre (4); i.e., si =1 (1 ) es igual a


entonces y slo entonces

=1 (1 )

54
6

y,

54
6

es igual a 9;

= 9, veamos

(5)

(1 ) = 9
=1

Sin embargo, dado el desarrollo algortmico de la comprobacin =1 (1 ) , no es igual a 9.


En estos casos lo que se genera es una identidad, observe

(1 ) 9

L. Q. C.

=1

Cierre de la Comprobacin
Como un corolario de la comprobacin anterior, afirmamos sin lugar a dudas que el rea bajo la
curva para la funcin () = 3 |()=3 ; es 9 2 .

Clculo de la misma rea, considerando ahora rectngulos circunscritos


Construccin de una Representacin Grfica para = () = () = , con rectngulos
inscritos

Insertar el grfico de la pg. 35, est en media hoja


Tesis
= 9 2
Desarrollo Algortmico de la Comprobacin

(1)

Proposicin. Sea ( ) el valor mximo absoluto de la funcin en el simo subespacio de


variacin [1 , ].
As que emplendola ecuacin respectiva del rea con rectngulos circunscritos

(2)

= lim ( )
+

=1

Y como = & () = 2 , obtendremos fcilmente

( ) =

()2

( ) = () = 2 3
=1

=1

(3)

=1
3

Por la comprobacin con rectngulos inscritos, sabemos que = ; as que sustituyendo en la ec.

(3), tenemos

3 3
27
( ) = ( ) = 2 3

=1

=1

=1

=1

=1

=1

27
27
( ) = 3 2 = 3 2

(4)

Empleamos la frmula (2) y, efectuando las sustituciones pertinentes obtenemos

( ) =
=1

27 ( + 1)(2 + 1)
27 23 + 32 +
[
]
=
(
)
3
6
3
6

( ) =
=1

27 23 + 32 +
27 3
1 1
(
)=
(2 3 + 3 + 2 )
3
6

( ) =
=1

27
1 1
(2(1) + 3 + 2 )
6

( ) =
=1

( ) =
=1

27
3 1 1
(2 + + 2 )
6
1

27
3 1
(2 + + 2 )
6

(5)

Aplicamos el operador de lmite a (5)

lim [ ( ) =

=1

27
3 1
(2 + + 2 )]
6

27
3 1
lim ( ) = lim [ (2 + + 2 )]
+
+ 6

=1

27
3 1
27
3 1
lim (2 + + 2 ) =
lim (2 + + 2 )
+ 6
+

6 +

lim ( ) = lim

=1

lim ( ) =

=1

lim 3
lim 1
27
3
1
27
( lim 2 + lim
+ lim 2 ) =
(2 + + + + 2 )
+
+
6 +
6
lim
lim
+

lim ( ) =

=1

27
3
1
27
1
(2 + + 2 ) =
(2 + 0 + )
6

6

lim ( ) =

=1

27
(2 + 0 + 0)
6

lim ( ) =

=1

lim ( ) =

=1

27
27 2
2=

6
6 1
(27)(2) 54
=
(6)(1)
6

Finalmente, se tiene

lim ( ) =

=1

54
=9
6

Por la ley de transitividad sabemos que si

(6)
lim =1 ( ) es igual a

54
6

54
6

es igual a 9;

entonces y slo entonces

(7)

lim ( ) = 9

=1

Pero por el desarrollo algortmico de la comprobacin =1 (1 ) , no es igual a 9. En estos


casos lo que se genera es una identidad, observe

lim ( ) 9

L. Q. C.

=1

Cierre de la Comprobacin
Como un corolario de la comprobacin anterior, aseguramos que la tesis se satisface. O tambin
que el = 9 2 .

Problema. Calcule el rea de la regin limitada por la funcin () = 2 , sobre el espacio cerrado
de variacin [0, 2] y, ste es dividido en el interior del subespacio cerrado de variacin cada uno
2
con tamao = y el simo subespacio abierto de variacin definido por [1 , ]; cuando

= 1, 2, , ; + se mueve sobre [0, 2]. Sabiendo que el mnimo valor absoluto de sobre
[1 , ] es (1 ).
Clculo

Proposicin 1. Sea () = ().


Proposicin 2. Sea () = (1 ).
Tesis
=

8 2

(1)

Desarrollo Algortmico de la Demostracin


En este, y todos los problemas que insertemos, sobre estas notas, el desarrollo algortmico lo
haremos deforma compacta.
Sabemos
() = 2

(2)

De (2), calculamos el valor de () para = 1 1; i. e. = 1; veamos


(1 ) = (1 )2 = [( 1)]2 = ( 1)2 2
(1 ) = ( 1) =

4( 1)2
4( 1)2
)

(
=

1
2
2

As que el rea de la regin que se requiere calcular ser

= lim (1 ) = lim

1=1

1=1

4( 1)2

2

(3)

Pero como en (3)


=

20

Tendremos
=

Ahora, sustituimos el argumento de sobre el argumento de (3), veamos

= lim (1 ) = lim

1=1

=1

4( 1)2 2

De donde se desprende

=1

=1

8
8
= lim 3 ( 2 2 ) = lim 3 ( 2 2 )

8
lim [ 2 2 ]
3

(4)

=1

Sabiendo que =1 2 =
=

(+1)(2+1)
6

y realizando operaciones tenemos

8
( + 1)(2 + 1)
8 ( + 1)(2 + 1)
lim [
2 ] = lim 3 [
2 ]

3
6
6

4
1
1
8
4
1
1
8
= lim [ (1 + ) (2 + ) ] = ( lim 1 + lim ) ( lim 2 + lim ) lim
3



3
=

lim 1
lim 1
lim 8 4
4
1
1
8
(1 + ) (2 + ) = (1 + ) (2 + )
3
lim
lim
lim 3

4
4
= (1 + 0)(2 + 0) 0 = (1)(2)
3
3
=

4
4 2
2=
3
3 1

8 2
.
3

Problema. Obtenga el rea de la regin limitada por la funcin () = 2, sobre el espacio cerrado
de variacin [1, 4] y, ste es dividido en el interior del subespacio cerrado de variacin cada uno
3
con tamao = y el simo subespacio abierto de variacin definido por

[1 , ]; = 1, 2, , ; +
se mueve sobre [1, 4]. Sabiendo que el mximo valor absoluto de sobre [1 , ] es (1 ).
Resolucin
Si =

()= 2

( )= 2 = 1 +

( )= 2(1 + ) = ; entonces

tendremos
3
2 3
( )= 2 + 2 = 2 +

1
( )= 2 +

(2)(3)
6
=2+
(1)()

6
( )= 2 +

(1)

Desarrollo Algortmico Compacto para el Clculo del rea

= lim ( )

(2)

=1

=1

=1

=1

6
3
6 18
= lim (2 + ) = lim ( + 2 )



6
18 ( + 1)
1
= lim ( + 2
) = lim [6 + 9 (1 + )]

1
1
= lim [6 + 9 (1 + ) = lim 6 + lim [9 (1 + )]]


1
1
= lim 6 + lim 9 lim (1 + ) = 6 + 9 ( lim 1 + lim )




lim 1
1
= 6 + 9 (1 + ) = 6 + 9 (1 + )
lim

= 6 + 9(1) = 6 + 9
= 15 2 .
Problema. Encuentre el rea de la regin limitada por la funcin () = 4 2, sobre el espacio
cerrado de variacin [1, 2] y, ste es dividido en el interior del subespacio cerrado de variacin
1
cada uno con tamao = y el simo subespacio abierto de variacin definido por

[1 , ]; = 1, 2, , ; +
se mueve sobre [1, 2]. Sabiendo que el mnimo valor absoluto de sobre [1 , ] es (1 ).
Resolucin
Si =

()= 4 2

( )= (1 + ) = (1 + ) = 4 (1 + ) = 3

2
2

Desarrollo Algortmico Compacto del Proceso de Resolucin

(1)

= lim ( )

=1

=1

=1

=1

=1

2 2 1
3 2
1
= lim (3 2 ) = lim ( 2 3 2 )



= lim [3

2 ( + 1) 1 ( + 1)(2 + 1)

3
]
2
2

6
= 31

1
3

5 2
.
3

Problema. Calcule el rea de la regin limitada por la funcin () = 3 4 , sobre el espacio cerrado
de variacin [0, 1] y, ste es dividido en el interior del subespacio cerrado de variacin cada uno
1
con tamao = y el simo subespacio abierto de variacin definido por

[1 , ]; = 1, 2, , ; +
se mueve sobre [0, 1]. Sabiendo que el mnimo valor absoluto de sobre [1 , ] es (1 ).
Resolucin
Si = 1

(1 )= [0 + ( 1)] = 3[( 1)]4 =

3
4

( 1)4 (1 ) =

Desarrollo Algortmico Compacto del Proceso de Resolucin

= lim ( )

=1

(1)

3
4

( 1)4 .

= lim ( ) = lim

=1

=1

3
1
( 1)4
4

3
3 ( + 1)(63 + 92 + 1)
= lim 5 ( 4 4 ) = lim 5 [
4 ]


30
=1

1
1
9 1
1
3
6
= lim [ (1 + ) (6 + + 2 3 ) ] =
10

10
De donde se desprende
=

3 2
.
5

Problema. Sea () = 3 , determinar el rea de la regin restringida por la curva de = (), el


eje y la funcin () = 1 & () = 2. Como () es nonpositivo sobre el espacio cerrado de
variacin [1, 0] y nonnegativo sobre el espacio cerrado de variacin [0, 2]; consideraremos la
segunda parte del espacio cerrado de variacin [1, 0] & [0, 2]. Como fcilmente podr identificarlo
en la visualizacin grfica que se muestra.

Analizando el rea limitada por la curva de la funcin = (), a funcin () = 1 y el eje .


Entonces el espacio cerrado de variacin [1, 0] est dividido en el interior del por particiones
=

Mientras que el espacio cerrado de variacin de la sima ser [1 , ]; + . Mientras que la


funcin es incrementada sobre [1, 0] con rectngulos inscritos, como consecuencia tomamos el
largo de los rectngulos con valor igual a ( ), veamos
3
( ) = (1 + ) = (1 + )

De donde se desprende

( ) =

( )3

Como una consecuencia obtenemos

(1)

1 = lim ( )

=1

Por la estructura aritmtica de conmutatividad, (1) lo podemos rescribir como (2)

1 = lim [( )]

(2)

=1
1

Por datos del problema sabemos que = ; por lo cual

1 = lim

=1

( )3 1
1
= lim 4 [( 1)3 + ( 2)3 + + 13 + 03 ]
3

1
1 2 ( + 1)2
1 = lim 4 ( 3 3 ) = lim 4 (
3 )


4
=1

1
1 2 1
1
1 = lim [ (1 + ) ] =

4

4
=1

De donde se desprende
1 =

1 2
.
4

Para el clculo del 2 , consideraremos casi los mismos datos, veamos

2 = lim (1 )

(3)

=1

Tambin haremos que (1 ), se redefina como


23
2 3
(1 ) = [0 + ( + 1)] = [( 1) ] (1 ) = [( 1) ]

=1

=1

=1

23 2
16
2 = lim (1 ) = lim [( 1) ] = lim 4 ( 3 3 )


De donde se desprende
16 2 ( + 1)2
1 2 1
3
(

)
=
lim
[4
(1
+
) ]
4

4

2 = lim

Finalmente, obtenemos
2 = 4 2 .
As que, el rea total ser

= 1 + 2
Es decir
=

1
+4
4

17 2
.
4

Problema. Sea () = ; > 0. Supongamos que el espacio cerrado de variacin est definido

por [, ] y se divide con particiones =


; sabiendo que el subespacio cerrado de variacin es

[1 , ]; + . Entonces es incrementado sobre el [, ] el valor absoluto mximo de sobre


[1 , ] es ( ). Determine el rea bajo la curva de la funcin.
Resolucin
Por la literatura de latera sabemos el rea se define como

= lim ( )

(1)

=1

Aseguramos tambin
=

(2)

Y adems
( ) = ( + ) = ( +

(3)

De donde se desprende

= lim ( +

=1

=1

=1


) (
) = lim ( ) ( + 2 )

De donde obtenemos
= lim ( ) [ +

( + 1)

] = lim ( ) [ +
(1 + )]
2

2
2

= ( ) ( +

)
2

Realizando las operaciones pertinentes obtenemos


=

1
1
( )( + ) = ( 2 2 )
2
2

Finalmente, se converge en el valor del rea


=

1
( 2 2 ) 2 .
2

Proposicin 1. Sea una funcin continua sobre el espacio cerrado de variacin [, ]; & .

Ahora, partamos dicho espacio cerrado de variacin en subespacios de variacin escogiendo


cualquier ( 1) lugares geomtricos intermedios tales sobre el espacio interior de y .
Proposicin 2. Consideremos 0 = & = .
Proposicin 3. Supongamos 1 , 2 , , 1 son los puntos intermedios tales que
0 < 1 < < 1 < ;
dichos puntos no son necesariamente equidistantes.
Proposicin 4. Supongamos que el espacio 1 es la longitud del primer subespacio de
variacin|1 = 1 0 . Adems
Proposicin 5. Hagamos que el espacio definido por 2 sea la longitud del segundo subespacio
de variacin|2 = 2 1 y as hasta la exhaucin, tales que la longitud del simo subespacio
de variacin est definido por x , y x = 1 .
Proposicin 6. Aseguremos que = { = 0 , 1 , , 1 , = } defina el conjunto de todos los
subespacios sobre el espacio cerrado de variacin [, ], que le llamaremos particin del
espacio cerrado de variacin [, ], como se muestra

Luego, escojamos un punto en cada subespacio de la particin .


Proposicin 7. Supongamos que 1 es el punto seleccionado dentro del espacio cerrado de
variacin [0 , 1 ]| 0 1 1 .
Proposicin 8. Sea 2 el lugar geomtrico seleccionado dentro del espacio cerrado de variacin
[1 , 2 ]|1 2 2 y, as sucesivamente, de manera que sea el lugar geomtrico elegido sobre
[1 , ] & 1 .

En esta direccin, la suma de los productos (1 )1 + (2 )2 + + ( ) + + ( )


que por el operador sigma, se representa con =1 ( ) , se le llama suma de Riemann
observe su visualizacin grfica

Comentarios Finales
CF1) La suma de Riemann, representa geomtricamente la suma de las reas de los rectngulos
que tienen como ancho a y largo a ( ). Mientras que el = =1 ( ) .

CF2) El lmite de la suma de Riemann, si existe, representa geomtricamente el rea de la regin


limitada por la curva de () o , las funciones () = , () = y el eje . De todo esto se
desprende = lim + =1 ( ) .

Resolucin de algunos ejercicios para su nivelacin acadmica

Problema. Sabiendo que () = 2 |

02 .

Demuestre que la suma de Riemann

4=1 ( ) =

247
32

Considerando la particin 0 = 0, 1 = , 2 = 1.25, 3 = 2.25, 4 = 3 & 1 = , 2 = 1, 3 =


1.5 & 4 = 2.5. Construir una visualizacin grfica de la funcin definida sobre el espacio cerrado de
variacin [0, 2]; adems, muestre los rectngulos, cuyas medidas de rea sean los trminos de las
sumas de Riemann.
Demostracin
Tesis
4

( ) =
=1

247
32

(1)

Desarrollo del Proceso Algortmico de la Demostracin


Construccin de una visualizacin grfica para la funcin () = 2 |

02 .

Insertar la fig. de cabeza de pgina 38

Clculo de la Suma de Riemann


La suma de Riemann para () = 2 |
observe

02 ;

se desarrolla algortmicamente como la mostramos,

( ) = (1 )1 + (2 )2 + (3 )3 + (4 )4

(1)

=1

De donde se desprende
4

( ) = (1 )(1 0 ) + (2 )(2 1 ) +
=1

+(3 )(3 2 ) + (4 )(4 3 )


4

( ) = (1 )2 (1 0 ) + (2 )2 (2 1 ) +
=1

+(3 )2 (3 2 ) + (4 )2 (4 3 )

(2)

Ahora, sustituimos los valores reales (numricos) de las 1 , 2 , , 4 y, el de las particiones sobre el
argumento de (2)

( ) = (0.25)2 (0.5 0) + (1)2 (1.25 0.5) + (1.5)2 (2.25 1.25) + (2.25)2 (3 2.25)
=1
4

( ) = (0.0625)(0.50) + (1)(0.75) + (2.25)(2.25 1.00) + (6.25)(0.75)


=1
4

( ) = 0.03125 + 0.75 + 2.25 + 4.6875 = 7.71875


=1

O tambin en la representacin de 7.71875 en un nmero racional de la forma : , & 0;

i.e.
4

( ) = 7.71875 =
=1

247
32

(3)

Utilizando la ley de transitividad de los nmeros reales obtenemos


4

( ) =
=1

247
32

(4)

En (4), se satisface que 4=1 ( ) es igual a

247

247

32

32

; no, porque 4=1 ( ) y

vienen de lo

construimos a travs de la suma de 0.03125 + 0.75 + 2.25 + 4.6875; entonces


4

( )
=1

247
32

L. Q. D.

Cierre de la Demostracin
Como un corolario de la demostracin anterior, podemos asegurar que la 4=1 ( ) =

() = 2 |

02 .

247
32

O tambin
4

( ) =
=1
1

Problema. Sea () = |

12

247 2
.
32

. Muestre que la suma de Riemann definida por


4=1 (j ) =

1469
1320

Considerando la particin 0 = 1, 1 = 1.67, 2 = 2.25, 3 = 2.67, 4 = 3 & 1 = 1.25, 2 = 2, 3 =


2.5 & 4 = 2.75. Construir una visualizacin grfica de la funcin definida sobre el espacio cerrado
de variacin [1, 2]; adems, muestre los rectngulos, cuyas medidas de rea sean los trminos de
las sumas de Riemann.
Demostracin
Tesis

( ) j =
=1

1469
1320

(1)

Desarrollo del Proceso Algortmico de la Demostracin


1

Construccin de una visualizacin grfica para la funcin () = |

12

De los datos del problema y literatura acadmica, aseguramos


4

( ) = (1 ) 1 + (2 )2 + (3 )3 + (4 )4

(2)

=1
4

( ) = (1.25)(1.66 1) + (2)(2.25 1.66) + (2.5)(2.66 2.25) + (2.66)(3 2.66) =


=1

1469
1320

4 2
1 7
2 5
4 1
1469
( ) = ( ) ( ) + ( ) ( ) + ( ) ( ) + ( ) ( ) =
5 3
2 12
5 12
11 3
1320

=1

( ) =
=1
4

( ) =
=1

8
7 1 1
1469
+
+ +
=
15 24 6 33 1320
8
7 1 1
1469
+
+ +
=
15 24 6 33 1320

Efectuando las operaciones de suma de nmeros racionales de la forma ; 0, obtenemos

( ) =
=1

1469 1469
=
1320 1320

(3)

Aplicamos ley de transitividad sobre (3)


4

( ) =
=1

1469
1320

(4)

1469
Sabemos que (4) no se cumple; entonces qu es 4=1 ( ) con 1320; son idnticos, veamos
4

( ) =
=1

1469
1320

L. Q. M

Cierre de la Demostracin
Como un corolario de la demostracin anterior, afirmamos que la tesis se satisface.

Problema. Sea () = |

01 .

Pruebe que la suma de Riemann definida por

5=1 (j ) =

1
24

(10 + 2 + 33)

Considerando la particin 0 = 0, 1 = , 2 = , 3 = , 4 = & 5 = & 1 = , 2 =


1
3

, 3 = & 4 = & 5 = . Construir una visualizacin grfica de la funcin definida sobre el

espacio cerrado de variacin [0, ]; adems, muestre los rectngulos, cuyas medidas de rea sean
los trminos de las sumas de Riemann.
Demostracin
Tesis
5

(j ) =
=1

1
(10 + 2 + 33)
24

(1)

Desarrollo del Proceso Algortmico de la Demostracin


Construya una visualizacin grfica para la funcin () = |

De los datos del problema y literatura acadmica, aseguramos


5

( ) = (1 ) 1 + (2 )2 + (3 )3 + (4 )4 + (5 )5

(2)

=1
5

1
1
1
1
1
1
2
1
3
3
2
5
3
1
(j ) = ( ) ( 0) + ( ) ( ) + ( ) ( ) + ( ) ( ) + ( ) ( ) =
(10 + 2 + 33)
6
4
3
2
4
2
3
2
4
4
3
6
4
24
=1

(j ) =
=1

1 1

1
1
1 1
1 1
1
1
+ 3 + 1 + 2
+ = ( + 3 + + 2 + ) = (10 + 2 + 33)
2 4 2
4
6 2
12 2 4
8 8
6 24
8
24

Finalmente, obtenemos

1
1
(10 + 2 + 33) =
(10 + 2 + 33)
24
24

(3)

Aplicamos ley de transitividad sobre (3)


5

(j ) =
=1

1
(10 + 2 + 33)
24

(4)

Cuatro no se cumple; entonces qu son 5=1 (j ) con

1
24

(10 + 2 + 33); son idnticos,

observe
5

(j )
=1

1
(10 + 2 + 33)
24

. Q. P.

Cierre de la Prueba
Como un corolario de la prueba anterior, aseguramos que la tesis se satisface.

Origen Germinal de la Definicin de la


Integral de una Funcin
La definicin de derivacin, se extiende en algunas ocasiones para un curso de clculo diferencial,
para focalizar la descripcin de la pendiente de la funcin de una curva, la velocidad de las

partculas en movimiento o de forma general, del concepto de cambio e una razn. En esta
direccin, la ideacin del rea de una regin con delimitaciones est expresada por el proceso de
integracin, la ideacin de rea; as, como algunos otros conceptos de corte geomtrico y fsicos,
estn ntimamente relacionadas con la integracin.

Integral Definida
Si es una funcin definida sobre el espacio cerrado de variacin [, ]; & + , entonces la
Integral Definida (ID) de |[,] o tambin en el interior de [, ], ser extendida por la
representacin algebraica

()

Estar definida por el lmite de una Suma de Riemann cuando la cantidad de subespacios de
variacin tienda numricamente a +. Su representacin simblica se extender por

() = lim ( )
+

Claro, si su lmite existe.


Notacin de Leibniz para la integral
A partir de la definicin de la integral como el lmite de una suma, dirigi a Leibniz (1646 1716), a
representar la integral a travs de la representacin simblica que se muestra

(); , .

Esta definicin compacta de la integral, es una modificacin de la notacin simblica de suma en


forma de una S estilizada que se emple en el tiempo de Leibniz. La transicin matemtica del
lmite a partir de una subdivisin finita, en longitudes , se representar simblicamente con la
letra en lugar de .

La Integral Definida Propia e Impropia


La Integral Definida (ID) expresada sobre el espacio cerrado de variacin [, ] y denotada
algebraicamente con

(1)

()

La expresin (1) geomtricamente la podremos interpretar, como el rea de la regin del plano
cartesiano delimitada por la curva de la funcin , () = , () = & el eje . Ahora bien, si
dividimos [, ] en subespacios abiertos dentro de un cerrado de variacin de igual valor lineal
, entonces podremos afirmar

() = lim ( )

=1

(2)

Si consideramos (2) y consideramos adems, que es continua sobre el espacio cerrado de


variacin [, ], seguramente, el argumento de (2) existe y por lo tanto, tiene que ser integrable

sobre [, ]. En la misma direccin, si de lo anterior establecemos que () representa la


integral propia de () de los puntos extremos hasta . Por otra parte, si no es continua sobre
[, ], entonces y slo entonces, el lmite puede existir o no, y como consecuencia, puede ser
integrable sobre [, ] o tambin no serlo. De todo esto, aseguramos que es la integral impropia de
desde hasta , siempre y cuando el lmite exista; en el caso en la que el lmite no exista,

afirmaremos que () carece de significado fsico.

Resolucin de Problemas de la Matemtica Misma haciendo uso del operador Sigma, reas
inscritas, circunscritas, suma de Riemann y de la Integral Definida, para la nivelacin
acadmica del aprendedor.
4

64

Problema. Muestre que 0 2 =

Demostracin
Tesis
4

2 =
0

64
3

(1)

Desarrollo Algortmico de la Demostracin


Primeramente, consideremos una particin regular del espacio cerrado de variacin [0, 4] en
subespacios de variacin, i.e.
=

= 0,

{ = 4,

= Cualquier nmero de particiones.

Ahora, sustituyamos dichos valores sobre el argumento de


=

40

(2)

Lo que sigue ser elegir a los como un lugar geomtrico para cada subespacio de variacin,
hasta lograr su generalizacin sima y sima|[0,4] , i.e., partiremos al espacio cerrado [0, 4],
atendiendo su extensin infinita, observe
1 = 1 + 1 ; 2 = 2 + 2 ; 3 = 3 + 3 ; 4 = 4 + 4 ; ; = 1 + ; = 1 + .
4

Fcilmente podremos entender que como 0 2


sima|[0,4] y = 1 + entonces
()

()= 2 y, conociendo del sima y

4 2
4 2
() = (0 + ) () = (0 + )

1
2

(4)()
4 2
() = (0 +
) = (0 +
)
()(1)

De donde se desprende por ley de exponentes

() =

(4)2 42 2
= 2
()2

Cerrando obtenemos
42 2
2

() =

(3)

Proposicin 1. Hacemos que 0 2

0 ().

Proposicin 2. Rescribimos 0 () en forma de suma compacta, a travs del operador


Sigma; i.e. =1 () .
Con el respaldo de las proposiciones 1 y 2, afirmamos

(4)

() ()

=1

De inmediato, aplique el operador de lmite (lim

+ )|(4)

, veamos

lim [ () () ]

=1

Como () significa fsicamente el rea bajo la curva y =1 () nos proporcionar el


valor numrico de dicha rea, entonces

() ()

() = ()

=1

=1

como consecuencia

lim [ () () ]

lim [ () = () ]

=1

=1

Realizando las operaciones y sustituciones correspondientes sobre

lim [ () = () ] =

=1

64
3

tenemos

lim () = lim () =

lim 2 = lim

+ 0

=1

=1

42 2 4 64
=
2
3

Iniciamos la construccin de la ecuacin =1 2 en =1


4
lim 2
+ 0

64
3
(5)

42 2
2

de (5), para la evaluacin de

4
2

lim = lim

+ 0

=1

4
2

lim = lim

+ 0

=1

4
2

lim = lim

+ 0

=1

162 4 64
=
2
3
16 4 2 64
=
2
3

(16)(4) 2 64
=
(2 )()
3

lim 2 = lim

+ 0

=1

64 2 64
=
3
3

64
64
lim = lim 3 2 =
+ 0
+
3
2

=1

lim 2 =

+ 0

Pero como =1 2 =

64
64
lim 2 =
3
+
3

(+1)(2+1)

, sustituyendo sobre (6) obtenemos

6
4

lim 2 =

+ 0

64
( + 1)(2 + 1)
64
lim [
]=
3 +
6
3

Operamos algebraicamente sobre el antecedente de


4

lim 2 =

+ 0

Rescribimos

64
3

(6)

=1

lim [

23 +32 +
6

(+1)(2+1)
6

(7)

; i.e. ( + 1)(2 + 1) de (7)

64
23 + 32 +
64

lim
(
)=
3
+
6
3

(8)

] en la forma
4

lim 2 =

+ 0

64
23 + 32 +
64
lim (
)=
3
6 +

De donde se desprende
4

lim 2 =

+ 0

64
3
2
64
lim (2 3 + 3 3 + 3 ) =
6 +

lim 2 =

+ 0

Aplicamos lim |

+ (2+3 1 + 1 )
2

32
1 1
64
lim (2 + 3 + 2 ) =
3 +

3

y evaluamos

lim 2 =

+ 0

lim 2 =

+ 0

32
1
1
64
( lim 2 + lim 3 + lim 2 ) =
+
3 +
+
3
32
1
1
64
(2 + lim 3 lim
+ lim 2 ) =
+
+
+
3
3

lim 2 =

+ 0

lim 1
lim 1
32
64
(2 + 3 + + + 2 ) =
3
lim
lim
3
+

lim 2 =

+ 0
4
+ 0
1

32
1
1
64
(2 + 3 + 2 ) =
3

3

32
1 1
64
(2 + 3 + ) =
3

3

lim 2 =

Vemos

(9)

como la divisin de 1 entre +, donde infinito es una cantidad numrica excesivamente

grande; as que consideramos que

= 0 y, sustituimos sobre (9)


4

lim 2 =

+ 0

32
64
(2 + 3 0 + 0) =
3
3

lim 2 =

+ 0

32
64
(2 + 0 + 0) =
3
3

lim 2 =

+ 0

lim 2 =

+ 0
4

lim 2 =

+ 0
4

lim 2 =

+ 0

32
64
2=
3
3
32 2 64
=
3 1
3

(32)(2) 64
=
(3)(1)
3

64 64
=
3
3

(10)
4

Aplicamos ley de transitividad sobre (10); i.e., si lim 0 2 a


+

64
3

64
3

es igual a

64
3

; entonces y

slo entonces
4

lim 2 =

+ 0

64
3

Sabemos que 0 2 es una integral definida sobre el espacio de variacin [0, 4], pero
4
lim 2 , nos conduce al rea bajo la curva de ,
+ 0
4
lim 2 converge sobre el rea que denotaremos
+ 0

64 2

sobre dicho espacio de variacin, por tanto


como en 2
(11)

Por el desarrollo del proceso algortmico, sabemos que (11) no se cumple, por lo cual, lo que s,
tenemos es una identidad

64 2

Cierre de la Demostracin

L. Q. D.

Como un corolario de la podemos asegurar que 0 2 =


rea =

64

64
3

y, adems 0 2 = ; finalmente, el

2 .

Tira de Problemas con Solucin Didctica para su


Nivelacin Acadmica
2

Problema. Aproxime el valor de la integral definida 1 3 ; considerando particiones = ,

sobre el espacio cerrado de variacin [1, 2]. Considere que el subespacio cerrado de variacin est

definido por [1 , ]; + & = ; cuando = 1 +

Resolucin

=1

=1

1
3 1
= lim (1 + ) = lim (1 + )

1
2

=1

=1

=1

=1

=1

3 3 2 3 1
1
3
3
1
= lim (1 + + 2 + 3 ) = lim ( 1 + 2 + 3 2 + 4 3 )

1
2

2
1
3 ( + 1) 3 ( + 1)(2 + 1) 1 2 ( + 1)2
3 = lim [ + 2
+ 3
+ 4
]

4
1
2
3
1
1
1
1
1
1 2
3 = lim [1 + (1 + ) + (1 + ) (2 + ) + (1 + ) ]

2

1
2
3
3 15
3 = 1 + + 1 + =
2
4
4
1

Finalmente
2

3 =
1

15

4
2

Problema. Sea () = 2 + 4 + 5. Estime el valor de la integral definida 1 ( 2 + 4 + 5) ;


3

considerando particiones regulares = , sobre el espacio cerrado de variacin [1, 4]. Considere

que el subespacio cerrado de variacin est definido por


[1 , ]; + & =

3
= 1 +

Resolucin
Por definicin de la teora extendida, sabemos

( 2

+ 4 + 5) = lim ( )

=1
3

Calculamos el valor de () para = & = 1 + ; veamos

3 2
3
() = ( ) = (1 + ) + 4 (1 + ) + 5

(1)

() = (1 +

(3)()
(3)()
3 2
3
) + 4 (1 + ) + 5 = [1 +
] + 4 [1 +
]+5
()(1)
()(1)
1
1

() = [1 +
() = (1 +

3 2
3
3
3
4
3
5
] + 4 (1 + ) + 5 = (1 + ) (1 + ) + (1 + ) +

3
3
4
3
5
3 3 3 3 4 12 5
) (1 + ) + (1 + ) + = 1 + + + + +
+

() = 1 +

3 + 3 9 12 5 4
6 9 + 122 5 + 4
+ 2+
+ + = 1+ +
+

1 1

3
1

() = 1 +

6 9 122 9
18
9
+ 3 +
+ = 10 +
+ 2 2

3
1

De donde se desprende
() = 10 +

18
9
+ 2 2

(2)

Adems, por dato de este problema sabemos


=

(3)

Ahora, sustituimos los argumentos de (2) y (3); sobre el argumento de (1) y efectuamos las
operaciones que se requieran

( 2

1
2

18
9
3
30 54
27
+ 4 + 5) = lim (10 +
+ 2 2 ) ( ) = lim ( + 2 + 3 2 )

=1

=1

=1

=1

=1

=1

=1

=1

30
54
27
30 54
27
+ 4 + 5) = lim ( + 2 + 3 2 ) = lim (
+ 2 + 3 2)

( 2

( 2 + 4 + 5) = lim (

1
30

Pero como =1

= 30; =1 =

(+1)
2

=1

30 54
27
+ 2 + 3 2)

=1

& =1 2 =

(4)

=1

(+1)(2+1)
6

; entonces el argumento de (4) se

redefine como
2

( 2 + 4 + 5) = lim [30 +
1

54 ( + 1) 27 ( + 1)(2 + 1)

+ 3
]
2
2

2
1
9
1
1
( 2 + 4 + 5) = lim [30 + 27 (1 + ) + (1 + ) (2 + )]

1
2
1
9
1
1
( 2 + 4 + 5) = lim 30 + lim [27 (1 + )] + lim [ (1 + ) (2 + )]

1
2
1
9
1
1
( 2 + 4 + 5) = 30 + lim 27 lim (1 + ) + lim lim (1 + ) lim (2 + )

1
2

( 2 + 4 + 5) = 30 + 27 ( lim 1 + lim
1

9
1
1
) + ( lim 1 + lim ) ( lim 2 + lim )



2

2
lim 1
lim 1
lim 1
9
( 2 + 4 + 5) = 30 + 27 (1 + ) + (1 + ) (2 + )
lim
2
lim
lim
1

( 2 + 4 + 5) = 30 + 27 (1 +
1

1
9
1
1
) + (1 + ) (2 + )

2
9
9
( 2 + 4 + 5) = 30 + 27(1 + 0) + (1 + 0)(2 + 0) = 30 + 27(1) + (1)(2)
2
2
1
2
9
9 2
18
( 2 + 4 + 5) = 30 + 27 + (2) = 57 + = 57 +
2
2
1
2
1
2

( 2 + 4 + 5) = 57 + 9 = 66
1

Finalmente tenemos
2

( 2 + 4 + 5) = 66.
1

Problema. Calcule el rea definida bajo la curva de la funcin () = 3 + 1. Seleccione


particiones regulares dentro del espacio cerrado de variacin definido por [2, 2]. Suponga
4
adems, que cada particin est representada por = Mientras que el simo est

representada por el subespacio cerrado de variacin [1 , ]; + . Como consecuencia,


1
porque es una funcin lineal, entonces = ( + 1 ).
2

[1 , ]; + & =

2
(2 1)

Resolucin
Por definicin de la teora extendida, sabemos

= lim ( )

Clculo de ()

(1)

=1
2

( ); i. e. , para = = (2 1); veamos

3
2
( ) = [ (2 1)] : (2 1)3 = (1 )3 + (3 )3 + + ( 3)3 + ( 1)3

=1

(2 1)3 = 0

(2)

=1

Sustituimos estas afirmaciones sobre el argumento de (1)

( 3

+ 1) = lim ( ) = lim [

2
2

( 3

=1

=1

8
4
(2 1)3 + 1]
3

=1

=1

32
4
+ 1) = lim [ 4 (2 1)3 + ] = lim (0 + 4)

( 3 + 1) = lim 0 + lim 4 = 0 + 4

Finalmente obtenemos
2

( 3 + 1) = 4.
2

Problema. Suponiendo que () = 2 1. Determine el rea de la regin bajo la curva de la


funcin , el eje , y las funciones () = 1 & () = 5. Haciendo particiones iguales sobre el
4
espacio cerrado de variacin [1, 5], donde cada particin = y el simo subespacio cerrado

de variacin est definido por[1 , ]; + . Como es una funcin lineal entonces considere
1
que = ( + 1 ).
2

Resolucin
Por definicin de la teora extendida, sabemos

= lim ( )

(1)

=1

Ahora, lo que haremos ser, sustituir las afirmaciones de entrada del problema sobre el argumento
de (1), observe

= lim ( + 1 1)( + 1 ) = lim


=1

[(2

2
)
1

=1

2
)]
(2 1
=1

= lim [(2 02 ) ( 0 )] = lim [(52 12 ) (5 1)]


= lim [(25 1) (4)] = lim (24 4)


= lim 20 = 20

De donde se desprende
= 20 2 .

Problema. Consideremos que () = 3 + 2. Determine el rea de la regin bajo la curva de la


funcin , el eje , y las funciones () = 1 & () = 5. Haciendo particiones iguales sobre el
4
espacio cerrado de variacin [1, 5], donde cada particin = y el simo subespacio cerrado

de variacin est definido por[1 , ]; + . Como es una funcin lineal entonces considere
1
que = ( + 1 ).
2

Resolucin
Por definicin de la teora extendida, sabemos

= lim ( )

=1

Calculamos el valor de () para = ; entonces

(1)

3
( ) = ( + 1 ) + 2 = + 1 1 & = + 1 .
2
Lo que sigue ser sustituir sobre el argumento de (1) las afirmaciones que acabamos de extender

=1

=1

3
= lim ( ) = lim [ ( + 1 ) + 2] ( 1 )


2

=1

=1

3
3
2
) + 2 ( 1 )] = lim [ (2 02 ) + 2( 0 )]
= lim [ (2 1


2
2
3
= lim { [(1)2 (5)2 ] + [(1) (5)]} = 36 + 8

2
= 44 2 .

Problema. Supongamos que () = 4 2. Determine el rea de la regin bajo la curva de la


funcin , el eje , y las funciones () = 1 & () = 2. Haciendo particiones iguales sobre el
1
espacio cerrado de variacin [1, 2], donde cada particin = y el simo subespacio cerrado

de variacin est definido por[1 , ]; + . Como es una funcin lineal entonces considere

que = cuando = 1 +

Resolucin
Por definicin de la teora extendida, sabemos

= lim ( )

(1)

=1

Calculamos el valor de () para = ; entonces


2
2 2
2
2
( ) = ( ) = 4 (1 + ) = 4 (1 + + 2 ) = 3 2

Finalmente
2
2
( ) = 3 2

(2)

Lo que sigue ser sustituir sobre el argumento de (1) las afirmaciones que acabamos de extender

=1

=1

2
2 1
= lim ( ) = lim (3 2 )

=1

=1

=1

3
2
1
3
2 ( + 1) 1 ( + 1)(2 + 1)
= lim ( 1 2 3 2 ) = [ 2
3
]

6
1
1
1
1
1
1
1
1
= lim [3 (1 + ) (1 + ) (2 + )] = lim 3 lim (1 + ) lim (1 + ) (2 + )



6

= 3 ( lim 1 + lim

) lim

( lim 1 + lim

) ( lim 2 + lim

lim 1
lim 1
lim 1
lim 1
1
1
1
1
= 3 (1 + ) (1 + ) (2 + ) = 3 (1 + ) (1 + ) (2 + )
lim
lim 6
lim
lim

1
1
= 3 (1 + 0) (1 + 0)(2 + 0) = 3 (1) (1)(2)
6
6
=31

1
1 2
2=2
6
6 1

=2
=

2
1
= 2
6
3

2 1 (2)(3) (1)(1)
=
(1)(3)
1 3
=

61 5
=
3
3

De donde se desprende
=

5 2
.
3

Problema. Sea () = 12 2 . Determine el rea de la regin bajo la curva de la funcin , el


eje , y las funciones () = 3 & () = 2. Haciendo particiones iguales sobre el espacio cerrado
5
de variacin [3, 2], donde cada particin = y el simo subespacio cerrado de variacin

est definido por[1 , ]; + . Como es una funcin lineal entonces considere que =
5

cuando = 3 +

Resolucin
Por definicin de la teora extendida, sabemos

= lim ( )

(1)

=1

Calculamos el valor de () para = ; entonces


5
5 2
5
30
25
( ) = ( ) = 12 (3 + ) (3 + ) = 12 + 3 9 +
2 2

De donde se desprende
( ) = 6 +

25
25
2 2

(2)

Entonces el rea bajo la restriccin que se indica en el problema ser

= lim ( ) = lim (6 +

= lim (

=1

=1

=1

=1

=1

25
25
5
2 2)

30
125
125
30
125 ( + 1) 125 ( + 1)(2 + 1)
1 + 2 3 2 ) = lim ( + 2
3
)

= lim [30 +

125
1
125
1
1
125 125
(1 + )
(1 + ) (2 + )] = 30 +

2
3
=

305 2
.
6

Problema. Consideremos que () = 3 4. Determine el rea de la regin bajo la curva de la


funcin , el eje , y las funciones () = 2 & () = 1. Haciendo particiones iguales sobre el
1
espacio cerrado de variacin [2, 1], donde cada particin = y el simo subespacio

cerrado de variacin est definido por[1 , ]; + . Como es una funcin lineal entonces

considere que = cuando = 2 +

Resolucin
Por definicin de la teora extendida, sabemos

= lim ( )

(1)

=1

Calculamos el valor de () para = ; entonces


3
12
6
3
( ) = ( ) = (2 + ) 4 = 12 +
2 2 + 3

De donde se desprende
( ) = 12 +

12
6
3
2 2 + 3

(2)

Finalmente, el rea bajo la restriccin que se propone en el problema es

= lim [( )] = lim (12 +


=1

=1

12
6
3 1
2 2 + 3)

=1

=1

=1

=1

12
12
6
1
= lim ( 1 2 + 3 2 4 3 )

Como consecuencia
= lim [

12
12 ( + 1) 6 ( + 1)(2 + 1) 1 2 ( + 1)2
2
+ 3
4
]

Por tanto
1
1
1
1
1 2
1
= lim [12 6 (1 + ) + (1 + ) (2 + ) (1 + ) ] = 12 6 + 2

4
=

31 2
.
4

Fin del tema uno referente al teorema fundamental del clculo

29/09/2015.

Sugerencia Pedaggica
I. Lea cuidadosamente cada una de la preguntas y contstelas correctamente.
1)
2)
3)
4)

5)
6)
7)
8)
9)
10)
11)
12)
13)
14)

Cul es la justificacin acadmica de uso del operador Sigma?


En la matemtica cmo se denota simblicamente una suma?
Qu entiende por proceso algortmico?
Indique por escrito, el proceso algortmico que se tiene que tomar en cuenta para la
determinacin del rea bajo la curva de cualquier funcin en una regin del plano
cartesiano.
Qu diferencia existe entre el uso de rectngulos inscritos y circunscritos, para la
determinacin del rea bajo la curva de una funcin?
Exprese por escrito y en un mnimo de cincuenta palabras, lo que entiende por particin
de un espacio cerrado de variacin [, ]?
Qu significado tiene para usted la Suma de Riemann?
Extienda la definicin geomtrica de la Suma de Riemann.
Geomtricamente qu representa el lmite de la Suma de Riemann?
Extienda por escrito, el concepto de integral definida.
Indique cada una de las partes que conforma la expresin integral de Leibniz.
Qu entiende por norma de una particin?
Defina el concepto en forma de teorema de la integral propia e impropia.
Cul es el papel fundamental de la integral propia e impropia en el quehacer dentro del
Sector Industrial y de Servicios?

II. Desarrolle y evale si es posible, cada una de las sumas compactas que se muestran

) ( 1)

2)

=1

3) ( )

=1

=1

III. Utilizando la notacin Sigma, rescriba cada una de las sumas desarrolladas que se expresan
) (1 + 1 ) + (2 + 2) + (3 + 3 ) + + (6 + 6 )
2) (41 21 + 21 ) + (42 22 + 22 ) + + (4 2 + 2 ); +
3)

1
2
3
6
+
+
+ +
1 + 1 1 + 2 1 + 3
1 + 6

4) 1 2 + 1 2 + 1 2 + + 8 2

IV. Evale la suma compacta que se sugiere en cada caso

2
2) (
)
1

) (10 6)
=1

3) (

=1

=2

4) (2 + 1)

5) 4

=1

6)

=2

=2

8
)
+1

(1)+1

V. Utilice las frmulas y ecuaciones del operador Sigma, de las sumas compactas que se indican
15

2) (91 9 )

) 4( 1)
=1

3) [

=1

15

=1

80

4) 6( 2 + 2)
=1

1
1
5) (
)
+1

1
]
( 1)

50

6) (2 + 1 2 1)

=1

=1

VI. Evale el rea de la regin limitada por la curva de la funcin, el eje y funciones () que se
muestran.
) () = 4

|()=3 & ()=3

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

2) () = 5

|()=2 & ()=1


|()=2 & ()=2

4) () = 3
6) () =

|()=3 & ()=3

|()=3 & ()=4


|()=1 & ()=4 .

VII. Calcule la suma de Riemann para cada una de las funciones que se extienden sobre el
espacio de variacin que se recomienda; utilice la particin definida por y los valores que se fijan
para las ; adems, construya la visualizacin grfica de la funcin sobre el espacio cerrado de
variacin que se indica y muestre los rectngulos cuyas medidas de rea son los trminos de la
suma de Riemann.
) () =
2.66

1
3

; 1 3, |

0 =1, 1 =1.66, 2 =2.25, 3 =2.66,4 =3

& 1 = 1.25, 2 = 2, 3 = 2.5 & 4 =

2) () = 3 ; 2 2, | 0=0, 1=0.2,
2 = 0.66, 3 = 1, 4 = 1.5 & 5 = 2 .

3) () = 2 + 1; 0 2, | 0 =1, 1=1.5,
3 = 0.6, 4 = 0.9 & 5 = 1.1, 6 = 1.5, 7 = 2.

4) () = 2 ; 1 4, |
3.5

5) () =

&

2 =0.5, 3 =0.7, 4 =1, 5 =1.3, 6 =1.8,7 =2

&

2 =0.5, 3 =1,4 =1.25,5 =2

0 =1, 1 =1.5, 2 =2.25, 3 =3.25, 4 =4

1 = 0.1,

0 =1, 1 =0.25, 2 =0, 3 =0.5, 4 =1.25, 5 =1.75, 6 =2.25, 7 =2.75, 8 =3

& 1 = 0.75, 2 = 0, 3 = 0.25, 4 = 1, 5 = 1.75, 6 = 2, 7 = 2.5, 8 = 3.

VII. Evale el valor exacto de cada una de las integrales que se listan.
5

) 3 3

2) 8

5
1

5) (3 + 1)

7)

3) 7 2

4) ( 3 + 1)
1

6) ( 2 6 + 3)

0
6

8) 8
1

2 = 0.4,

& 1 = 1.25, 2 = 2, 3 = 2.5 & 4 =

1
;
+3
1 3, |

1 = 0.5,

1
3

9) ( 2 + 4) .
1

Estructuras Algebraicas de la integral Definida


Evaluar la Integral Definida (ID) con base a su conceptualizacin, i.e., calculando el lmite de la
Suma de Riemann, resulta bastante laborioso como ya se pueden dar cuenta, y generalmente casi
es imposible. Por consiguiente, con el propsito de establecer un proceso metodolgico ms
accesible y eficiente, extendemos para que todos dominen, las principales estructuras algebraicas
de la ID. Veamos

EA1) Si es cualquier particin del espacio cerrado de variacin [, ]; , + ; se satisface

lim = .

=1

EA2) Si existe sobre el espacio cerrado de variacin [, ]; , + y si


lim 0 =1 ( ) es cualquier particin del espacio cerrado de variacin [, ]; ,
+
es cualquier nmero perteneciente al ; entonces y slo entonces

lim ( ) =

=1

lim ( ) .

=1

Teoremas que son el Origen Germinal de las Estructuras Algebraicas de la ID


Teorema 1. Si es integrable sobre el espacio cerrado de variacin [, ]; , + & ;
entonces y slo entonces, se cumple

() = () .

Teorema 2. Si & son integrables sobre el espacio cerrado de variacin [, ]; , + ,


entonces y slo entonces ; tambin, ser integrable sobre [, ] y de esta aseveracin se
desprende

[() ()] = () () .

Teorema 3. Si es integrable sobre los espacios cerrados de variacin [, ], [, ] & [, ]; se


satisface

() = () + () ; < < .

Comentario sobre el T3
Este teorema tres se interpreta geomtrica como () 0; [, ]; entonces es cuando
podemos asegurar que la medida del rea de la regin acotada por la curva de = () y el eje
desde hasta , ser igual a la suma de las medidas de las reas de las regiones de hasta , y
de hasta , como lo indicamos en la visualizacin grfica

Fig. (1) de pie de pgina de la hoja 46.


Teorema 4. Si es integrable sobre un espacio cerrado de variacin que tiene como elementos los
nmeros , & ; entonces y slo entonces, se satisface

() = () + ()

De todo esto se desprende que ser sin importar cul sea el orden de los nmeros , & .
Teorema 5. Si y si |() = ; [, ]; entonces y slo entonces, se cumple

() = = ( )

Comentario sobre el T5
El teorema anterior se interpreta geomtricamente cuando > 0, establecindose que la ID

, aporta la medida del rea de la regin sombreada, que es un rectngulo cuyas


dimensiones son unidades y ( ) unidades como se muestra en la visualizacin grfica

Fig. (2). Insertar aqu de la pgina 47.


Teorema 6. Si & integrables sobre el espacio cerrado de variacin [, ] y si ;
[, ]; entonces y slo entonces, se satisface

() () .

Comentarios de inters
C1) El T6, se interpreta geomtricamente cuando ;

[, ], establecindose que

()

expresa la medida del rea de la regin acotada por la curva = (), el eje y las
funciones () = & () = .

C2) La () indica la medida del rea de la regin acotada tanto por la curva = (), el eje
y las funciones () = & () = .
C3) La primera rea, es mayor que la segunda, observe detenidamente la visualizacin grfica que
te mostramos

Teorema 7. Si es continua sobre el espacio cerrado de variacin [, ] y si & son


respectivamente, entonces los valores mnimo y mximo absoluto de sobre [, ], de manera
que ; ; entonces y slo entonces, se verifica que

( ) () ( ).

Comentarios sobre el T7
C1) Este teorema s interpreta geomtricamente cuando () 0; [, ]; establecindose que

() indica la medida del rea de la regin acotada por la curva de la funcin = (), el eje
y las funciones () = & () = .

Aqu, va la fig. (3) de cabeza de pgina 48


C2) Esta rea es mayor que la del rectngulo cuyas dimensiones son & ( ) y, menor que el
rea del rectngulo cuyas dimensiones son & ( ).
C3) Los comentarios uno y dos, se representan visualmente en la figura que se indica

Aqu, va la fig. 4 de pie de la pgina 48

Problema. Haciendo uso de las estructuras algebraicas de la integral para el teorema siete;
determinar el mayor y menor valor posible para
3

(2 3 + 3 2 12).
3

Clculo
El protocolo de resolucin para este tipo de problemas, lo extenderemos a travs de un proceso
consistente en pasos, veamos
Paso 1. Calcularemos los mximos y mnimos relativos para
() = 2 3 + 3 2 12.
Aplicamos el operador derivada

[() = 2 3 + 3 2 12]

(2 3 + 3 2 12)
() =

=
2 3 +
3 2
12
1


2 3
3 2 12
=

1 1
1
1
(2 3 ) (3 2 ) (12)
=
+

( 3 )
( 2 )
()
=2
+3
12

( 3 )
( 2 )

=2
+3
12

( 3 )
=2

=1

( 2 )

+3

=1

()

12

=1

= 2(3 2 ) + 3(2) 12(1)

= 6 2 + 6 12

(2)

Paso 2. Igualamos a cero, (2)

= 6 2 + 6 12 = 0

Paso 3. Aplicamos ley de transitividad a (3)

(3)

() en 3 () ; i.e.

Si

es igual a 6 2 + 6 12 & 6 2 + 6 12, es igual a cero; entonces y slo entonces 6 2 +

6 12 = 0; de todo esto se desprende


6 2 + 6 12 = 0

(4)

Paso 4. Multiplicamos a cuatro, por ; veamos


6

1
(6 2 + 6 12 = 0)
6
1 2 1
1
6 + 6 12 = 0
6
6
6

(5)

Racionalizamos y descomponemos segn sea el caso, al primer lado de (5)


1 6 2 1 6
1 6
+ 6 2 = 0
6 1
6 1
6 1
6 2 6
6
+ 2=0
6
6
6

(6)

Dividimos y multiplicamos en el primer lado de (6)


1 2 + 1 1 2 = 0

(7)

Construimos y resolvemos por la definicin, idntico multiplicativos


(1 2 ) + (1 ) (1 2) = 0
2 + 2 = 0; +
2 + 2 = 0

(8)

Paso 5. Calculamos con factorizacin, las races de (8)


2 + 2 = 0

( + 2)( 1)= 0

De donde se desprende
( + 2)( 1)= 0 {

( + 2) = 0
( 1) = 0

1 + 2 = 0 &
2 1 = 0.

As que de 1 + 2 = 0
1 = 2; mientas que de 2 1 = 0
valores crticos definidos sobre .

2 = 1; i.e. 1 & 2 son los

Paso 6. Lo que sigue ser ver a 1 & 2 como un tomo; que significa esto, para 1 analizaremos
un valor un poco mayor de su vecindad 3 1 1 de estos valores extremos tomaremos el
menor; i.e. 3
= 3; y un poco mayor; i.e. 1
= 1
Paso 7. En esta parte del desarrollo algortmico, extendemos la sugerencia que se indica
Proposicin 1. Hacemos que (8)

Entonces

= 2 + 2

(1)

Paso 8. Analizamos la raz real = 2.


Paso 9. Sustituimos = 3 sobre el argumento de (1), y reconoceremos el signo del total
numrico de la suma algebraica, veamos

= (3)2 + (3) 2 = 9 3 2

= 9 5 = +4

= +4

(2)

Ahora, sustituiremos = 1 que es un valor crtico un poco mayor que = 2

= (1)2 + (1) 2 = 1 1 2

= 1 3 = 2

= 2

(3)

Por (2) y (3), fcilmente podemos observar que pasamos de signo + a signo , entonces y slo
entonces, tendremos un mximo en = 2 y su valor ser
= () = 2 3 + 3 2 12; si = 2

= 2(2)3 + 3(2)2 12(2)

De donde se desprende
= 2(8) + 3(4) + 24 = 16 + 12 + 24
= 16 + 36 = 20
Lo cual converge en
= 20
Paso 10. Cerramos la primer parte del clculo del anlisis.
Del anlisis de la primer raz real 1 = 2, descubrimos que tenemos un mximo de = 20.
Paso 11. Ahora, estudiaremos la raz real 2 = 1.
Analizamos 2 = 1 vindolo como una vecindad definida por 0 2 2; i.e., hacemos = 0 & =
2, veamos
Proposicin 2. Sea = 0 y hacemos

= 2 + 2.

De aqu

= (0)2 + 0 2 = 0 + 0 2

= 2 + 0 + 0 = (2 + 0) + 0

= (2 + 0) + 0 = 2 + 0


= (2 + 0) = 2

De donde se desprende

= 2

Paso 12. Sea = 2, y hacemos

(4)

= 2 + 2.

De aqu

= (2)2 + 2 2 = 4 + 2 2

= 4 + [2 + (2)] = 4 + 0

= (4 + 0) = 4

= +4

(5)

Paso 13. Como en (4) tenemos un signo negativo y en (5) uno positivo, entonces aseguramos que
en = 1, tenemos un mnimo. Para saber de cunto es dicho mnimo; sustituimos = 1 sobre
= () = 2 3 + 3 2 12;
si = 1

= 2(1)3 + 3(1)2 12(1)


= 2(1)3 + 3(1)2 12(1) = 2 + 3 12
= 5 12 = 5 + (5) + (7)
= [5 + (5)] + (7) = 0 + (7)
= 7 + 0 = (7 + 0)
= (7 + 0) = 7
= 7

Paso 14. Cerramos este desarrollo algortmico, afirmando que cuando = 1, se implica que
tenemos un mnimo relativo.
Paso 15. Ahora, para conocer el mximo y mnimo absoluto de
() = 3 + 3 2 12
Designaremos = 3 & = 3 que define el espacio cerrado de variacin para la integral ( 3 +
3 2 12)
Si = 3

() = 3 + 3 2 12
=3

(3) = 9; mientras que si

() = 3 + 3 2 12

(3) = 45

Comentario. El valor mnimo absoluto de la funcin sobre el espacio cerrado de variacin [3, 3],
es de 7; mientras que el mximo absoluto es 45. As que tomando = 7 = 45 en la
ecuacin del teorema siete, obtenemos

( ) () ( )

7[3 (3)] ( 3 + 3 2 12) 45[3 (3)]


3
3

42 ( 3 + 3 2 12) 270
3
3

Observacin. En el desarrollo del tema dos, certificaremos que el valor exacto para la 3( 3 +
3 2 12) es de 54.

Teorema del Valor Medio para Integrales ()


Antes de abordar el extendido del TVMI, discutiremos el teorema que tiene que ver con las
funciones continuas sobre un espacio cerrado de variacin. Dicho teorema se le llama Teorema del
Valor Intermedio (TVI), mismo que es necesario para la comprobacin del TVMI.
El TVI establece el enunciado que te extendemos: supongamos que es continua sobre el espacio
cerrado de variacin [, ]; , , bajo la condicin de que () (); entonces y slo
entonces, entre () & () |() = .

Ahora, analizaremos la interpretacin geomtrica del TVI. En la visualizacin grfica que te


mostramos

Aqu, va la fig. 5 de la pgina 51


Fcilmente, puede observar que la pareja ordenada (, ) es cualquier punto en el eje entre los
puntos encierran las parejas ordenadas [, ()] & [, ()]. De todo esto, el TVI establece que
() = debe intersecar la curva = () en el lugar geomtrico (, ); perteneciente al espacio
abierto de variacin (, ) como se muestra en la figura anterior.
Comentario. Usted debe tener cuidado, ya que para algunos valores de puede existir ms de un
valor para . Entonces, el TVI establece que siempre existe por lo menos un valor de , pero no
necesariamente es nico, observe detenidamente la visualizacin grfica que se indica

Aqu, va la fig. 6 de cabeza de pg. 52


Comentario Final. El TVI, asegura que si es continua sobre el espacio cerrado de variacin
[, ]; entonces y slo entonces, tendr un valor para = y = cuando toma todos los
valores dentro del espacio abierto de variacin (, ).
2 1 3 & ()
()= { 2
.
Construya una visualizacin
3<4
grfica para , (2) defina exactamente el lugar geomtrico es discontinua dentro el espacio
cerrado de variacin [1, 4], (3) evale (1) y (4) y (4) extienda un comentario si (2, 9).
Problema. Considere que

Resolucin
) Lo que te mostramos es la construccin de la visualizacin grfica de la funcin
2 1 3&
()= { 2
3<4
Respuesta
() Construccin de la visualizacin grfica para .

Aqu va la fig. 7 de la pgina 53.


(2) Defina exactamente el lugar geomtrico es discontinua dentro el espacio cerrado de
variacin [1, 4].
Respuesta
En la figura del inciso (), la es discontinua en = 3 sobre el espacio cerrado de variacin [1, 4].
(3) Evale (1) y (4).
De la visualizacin grfica se desprende que para (1)
= 4
(4) = 16

= 1 & (1) = 0; mientras que si

(4) Extienda un comentario si (2, 9).


Respuesta
Comentario. Suponiendo que es un nmero arbitrario entre 2 y 9, entonces no existe un nmero
|() = , porque no hay valores de la funcin entre los lugares geomtricos definidos por 2 y 9.

Existirn casos de funciones para los cuales el TVI no se cumpla?

Evidentemente que s. Aqu, te mostraremos uno de ellos, veamos.


Problema. Consideremos la funcin definida por () =

1
2

() Construya una visualizacin

grfica de , (2) para que lugar geomtrico tiene una discontinuidad esencial y sobre que,
espacio cerrado de variacin existe, (3) Evale el valor de para = 0 & = 3 y (4) Extienda un
comentario o los comentarios que se hagan necesarios aclarar de entre los valores de en
= 0 & = 3.
Resolucin
() Construya una visualizacin grfica de .

Aqu, va la fig. 8 de la pg. 53.


(2) Para que lugar geomtrico tiene una discontinuidad esencial y sobre que, espacio cerrado
de variacin existe.
La , es discontinua para = 2 que est contenido sobre el espacio cerrado de variacin definido
para [0, 3].
(3) Evale el valor de para = 0 & = 3.
Si = 0

() =

1
2

(0) =

1
02

1
2

(0) =

1
2

Mientras que
Si = 3

() =

1
2

(3) =

1
32

= (3) = 1.
1

(4) Extienda un comentario o los comentarios que se hagan necesarios aclarar de entre los
valores de en = 0 & = 3.
1

C1) Si es cualquier nmero contenido sobre y acotado entre 1, & 1, entonces y slo
2

entonces, no existe un valor de [0,3]|() = .


1

C2) Un caso singular es que si =


2
cuenta que 4 [0,3].

(4) = ; sin embargo, fcilmente usted puede darse


2

Teorema del Valor Medio para Integrales (TVMI)


Con este anlisis un tanto pormenorizado, consideramos que estamos listos para el estudio de
dicho teorema, veamos.

Teorema (VMI). Si es continua sobre el espacio cerrado de variacin [, ]; ,

entonces y slo entonces | & () = ()( ).

Problema. Compruebe que el TVMI, se satisface.


Comprobacin
Proposicin 1. Se garantiza que es continua sobre [, ]; ,

Tesis
Si es continua, podemos asegurar

(1)

| & () = ()( )

Apunte. Para la comprobacin del TVMI, antes debemos extender para conocer la propuesta que
se indica.
Teorema del Valor Extremo (TVE). ste teorema asegura que si es continua sobre todo el
espacio cerrado de variacin [, ]; , ; entonces y slo entonces , tiene un valor mximo
absoluto y adems, otro llamado mnimo absoluto sobre [, ].
Como consecuencia, ( ) = ; .
Proposicin 2. Sea el valor mximo absoluto cuando = M.
Por consiguiente (M) = ; M .
Ahora bien, por todo lo anterior, afirmamos que () sobre toda [, ]. De acuerdo

con el teorema 7 de donde se desprende que ( ) () ( ). Si multiplicamos


por

; >

1
[( ) () ( )]

1
1
1
( )
()
( )

1
1
1
( )
( )
()

Racionalizamos en la forma de

; 0; nicamente sobre

( ) y

multiplicamos dichos nmeros racionales

1
1

()

Obtenemos el cociente de

()

( ) y

1
&

1
() 1

+ ; construimos idnticos multiplicativos definimos por dicho concepto


( 1)

1
() ( 1)

1
()

Ahora, racionalizamos () en la forma de

()
()

; () 0 y, efectuamos las operaciones que

se requieran

()
1

(1) ( () )
( )(1)

()

.

Proposicin 4. Hagamos que = () & = ().

Sustituyamos estas aseveraciones sobre

()

()
()
()

Con todo lo que hasta aqu, hemos analizado, entonces el teorema del valor intermedio,
aseguramos que, existe un nmero sobre un espacio cerrado de variacin que contenga a

& |() =

()

o tambin () = ()( )

Observacin 1. Con todo el proceso algortmico desarrollado, el TVMI queda comprobado.


Observacin 2. Con el propsito de extender una interpretacin geomtrica el TVMI; aceptemos

que si hacemos () 0; sobre el espacio cerrado de variacin [, ]. Entonces () es


la medida del rea de la regin acotada por la curva de , el eje y las funciones () =
& () = ; observe la visualizacin grfica

Aqu, va la fig.9 de la pg. 55

En esta direccin, el TVM establece que sobre [, ]; tal que el rea del rectngulo de
largo () unidades y ancho ( ) unidades, es igual al rea de la regin .
As, el valor de no es necesariamente nico. El TVM no tiene un mtodo para determinar ,
pero asevera que existe un valor de , lo cual se utiliza para demostrar otros teoremas. Slo en
algunos casos particulares se puede calcular el valor de tal y como se explica, observe.
Problema. Determine el valor de
3

| () = ()[3 (3)]

() = 2 3 + 3 2 12

Resolucin
Paso 1. Determinamos el valor exacto de
3

() = (2 3 + 3 2 12)
3

(1)

Paso 2. Hacemos una particin sobre [3, 3] en subespacios de variacin; i.e., calculamos
=

= 3 & = 3

3 (3)

De donde se desprende
=

(2)

Paso 3. Elegimos un ; un lugar geomtrico para cada subespacio de variacin; i.e.


= +

(3)

6
6
6
6
6
1 = 3 + ; 2 = 3 + 2 ( ) ; 3 = 3 + 3 ( ) ; ; = 3 + ( ) ; ; = 3 + ( )

Paso 4. Efectuamos el clculo de valores para (); para cuando = ; veamos.


Como () = 2 3 + 3 2 12, entonces
( ) = 2 (3 +
( ) = 2 (27 + 162
( ) = 54 +

6 3
6 2
6
) + 3 (3 + ) 12 (3 + )

2
3

2
6
324 2 + 216 3 ) + 3 (9 36 + 36 2 ) 12 (3 + )

324 648 2 432 3


108 108 2
72

+
+
27

+
+ 36

2
3

( ) = 9 +
( ) =

Porque

144 540 2 432 3

2
3

93 + 1442 540 2 + 432 3


3

() = = lim ( )

=1

Obtenemos

(2 3

+ 3 12) = lim (

=1

93 + 1442 540 2 + 432 3 6


)( )
3

(2 3

6
+ 3 12) = lim 4 (93 + 1442 540 2 + 432 3 )

2

=1

=1

=1

=1

=1

6
(93 1 + 1442 540 2 + 432 3 )
4

(2 3 + 3 2 12) = lim
3

Anda mungkin juga menyukai