Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo I
Calculo I
Anlisis Matemtico.
Curso 2006-2007
ndice general
1. Nmeros reales y funciones
1.1.
9
9
11
12
14
14
15
17
18
19
21
21
22
22
25
26
27
29
30
33
33
34
35
37
38
39
40
41
42
43
43
45
46
NDICE GENERAL
1.4.4. Relacin de ejercicios . . . . . . . . . . . . . .
1.5. Lmite Funcional . . . . . . . . . . . . . . . . . . . .
1.5.1. Puntos de acumulacin. . . . . . . . . . . . .
1.5.2. Lmite funcional y lmites laterales. . . . . . .
1.5.3. Lmites en el innito. . . . . . . . . . . . . . .
1.5.4. Funciones divergentes . . . . . . . . . . . . . .
1.5.5. Algebra de lmites. . . . . . . . . . . . . . . .
1.5.6. Indeterminaciones . . . . . . . . . . . . . . . .
1.5.7. Funciones asintticamente equivalentes. . . . .
1.5.8. Relacin de ejercicios . . . . . . . . . . . . . .
1.6. Funciones continuas . . . . . . . . . . . . . . . . . . .
1.6.1. Continuidad . . . . . . . . . . . . . . . . . . .
1.6.2. Tipos de discontinuidad . . . . . . . . . . . .
1.6.3. Ejemplos . . . . . . . . . . . . . . . . . . . . .
1.6.4. Propiedades de las funciones continuas . . . .
1.6.5. Relacin de Ejercicios . . . . . . . . . . . . .
1.7. Funciones derivables . . . . . . . . . . . . . . . . . .
1.7.1. Derivada. Recta tangente . . . . . . . . . . . .
1.7.2. Derivadas laterales . . . . . . . . . . . . . . .
1.7.3. Ejemplos . . . . . . . . . . . . . . . . . . . . .
1.7.4. Propiedades de las funciones derivables. . . . .
1.7.5. Relacin de ejercicios . . . . . . . . . . . . . .
1.8. Extremos relativos. Polinomio y desarrollo en serie de
1.8.1. Extremos de una funcin . . . . . . . . . . .
1.8.2. Extremos relativos y derivabilidad . . . . . .
1.8.3. Derivadas sucesivas . . . . . . . . . . . . . . .
1.8.4. Polinomio de Taylor . . . . . . . . . . . . . .
1.8.5. Desarrollo en serie de Taylor . . . . . . . . . .
1.8.6. Funciones convexas . . . . . . . . . . . . . . .
1.8.7. Relacin de ejercicios . . . . . . . . . . . . . .
1.9. Funciones integrables . . . . . . . . . . . . . . . . .
1.9.1. Funciones integrables . . . . . . . . . . . . . .
1.9.2. Ejemplos . . . . . . . . . . . . . . . . . . . . .
1.9.3. Propiedades de las funciones integrables . . .
1.9.4. Relacin entre integracin y derivacin. . . . .
1.9.5. Cmo evaluar una integral . . . . . . . . . . .
1.9.6. Integrales impropias . . . . . . . . . . . . . .
1.9.7. Relacin de ejercicios . . . . . . . . . . . . . .
1.10. Clculo integral . . . . . . . . . . . . . . . . . . . . .
1.10.1. Integracin de funciones racionales . . . . . .
1.10.2. Integracin de funciones no racionales . . . . .
1.10.3. Relacin de ejercicios . . . . . . . . . . . . . .
1.11. Aplicaciones del clculo integral . . . . . . . . . . . .
1.11.1. La integral como paso al lmite . . . . . .
1.11.2. Clculo del rea de un recinto plano . . . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
Taylor
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
48
49
49
50
52
53
55
56
58
58
59
59
60
60
62
64
65
65
67
67
68
72
77
77
79
80
81
83
84
86
89
89
91
91
92
93
95
97
99
99
103
106
107
107
108
NDICE GENERAL
1.11.3. Clculo de la longitud de una curva . . . . . . . . . . . . . . .
1.11.4. Clculo del volumen y del rea de un slido de revolucin . . .
1.11.5. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
5
109
110
113
NDICE GENERAL
Captulo 1
Nmeros reales y funciones
Comentario
Los estudios antropolgicos revelan que han sido necesarios muchos siglos antes de
que los hombres concibieran la idea del nmero. Nuestros antepasados debieron hacer un
gran esfuerzo para alejarse de lo concreto de las necesidades de la vida y de la realidad del
mundo circundante para llegar a la concepcin de la entidad numrica, completamente
separada de toda referencia concreta. Las concepciones que el hombre ha tenido sobre
la idea de nmero han seguido un desarrollo paralelo al devenir histrico del hombre.
En una primera etapa se aprendi a contar el nmero de objetos independientemente
de la naturaleza de stos y as aparecieron los nmeros naturales. Las deudas en el
trato comercial, hicieron nacer los nmeros enteros, mientras que las reparticiones o el
comienzo de las mediciones de campos, pesos, etc dieron lugar al concepto de nmero
racional. Fueron los pitagricos los que descubrieron que slo con los nmeros naturales
y las fracciones no pueden realizarse todas las medidas posibles de forma exacta, ya
que se encontraron pares de segmentos como la diagonal y el lado de un cuadrado cuyo
cociente de longitudes no es una fraccin. Esto oblig a la consideracin de los nmeros
irracionales. El conjunto formado aadiendo a estos ltimos al conjunto de los nmeros
racionales se ha dado en llamar el conjunto R de los nmeros reales. El conocimiento
de stos es la primera premisa para avanzar con provecho en el estudio del Anlisis
Matemtico.
Por otra parte, en diversos campos de la actividad humana ocurre que, para poder
expresar sin ambigedad las leyes que la determinan, se establecen relaciones entre
un conjunto de objetos (llamado dominio) y otro conjunto de objetos (llamado rango
o recorrido). En realidad se trata de puros articios usados para describir relaciones
especiales en forma cuantitativa. Cuando estas relaciones son tales que a cada elemento
del dominio corresponde un slo elemento del rango, reciben en general el nombre
de aplicaciones. Si adems el dominio y el rango de estas aplicaciones son conjuntos
numricos se suelen llamar funciones.
Veamos algunos ejemplos:
1.- La fuerza necesaria para estirar un muelle de acero hasta una longitud x a partir
h = 1/2gt2 ,
donde la constante g es el valor de la aceleracin de la gravedad.
Ntese que de esta forma obtenemos una nueva funcin que expresa sin ambigedad
cmo depende la altura alcanzada respecto del tiempo que tarda en caer.
Como puede uno imaginarse existe una gran variedad de ejemplos de funciones en
el campo de los fenmenos naturales, y en otros muchos campos del conocimiento, en
los que tanto el dominio como el rango son subconjuntos de nmeros reales. El ncleo
de este primer captulo es el estudio de las funciones, y por tanto, se entiende que el
conocimiento de los nmeros reales es la primera premisa para avanzar con provecho.
A continuacin iniciaremos el estudio de las funciones denidas y con valores en R,
con especial nfasis en las funciones ms importantes, llamadas funciones elementales.
En segundo lugar, estudiaremos las propiedades ms importantes que puede tener una
funcin real de variable real: Continuidad, derivabilidad e integrabilidad, y las consecuencias de poseer estas propiedades. Entre las consecuencias se encuentran valiosas
herramientas para el estudio de los extremos de una cierta funcin o para el estudio del
rea encerrada entre las grcas de varias funciones.
1.1.
Sumario
En esta leccin estudiaremos las propiedades que se pueden considerar en el conjunto
de los nmeros reales. La estrategia que seguiremos en esta primera leccin ser la de exponer
una lista de propiedades fundamentales de los nmeros reales, que sern enunciadas bajo la
forma de " axiomas ", y sus consecuencias ms importantes. Destacaremos, de entre todos
los axiomas, el que llamaremos axioma del supremo, de hecho, este axioma no se verica en
el conjunto de los nmeros racionales, y esto le conere al conjunto de los nmeros reales su
identidad y primaca. Cualquier otra propiedad de los nmeros reales se deduce de ste y del
resto de los axiomas. El contenido completo de esta leccin se articula de la siguiente manera:
I.1.1 Estructura algebraica.
I.1.2 Estructura ordenada.
I.1.3 Axioma del supremo.
I.1.4 Valor absoluto de un nmero real.
I.1.5 Intervalos.
I.1.6 Aproximacin decimal.
I.1.7 Conjuntos nitos e innitos.
I.1.8 Relacin de ejercicios.
1.1.1.
Estructura algebraica
Axioma I: Existe un conjunto, que notaremos por R, en el que existe una operacin
suma (+), vericando:
1.
Propiedad asociativa:
(x + y) + z = x + (y + z) (x, y, z R)
(esto es, no es necesario escribir parntesis si slo aparece la operacin suma).
2.
Propiedad conmutativa:
x + y = y + x (x, y R).
10
3.
x + 0 = x.
4.
x + (x) = 0.
Axioma II: En R existe tambin una operacin producto (.), que notaremos por
yuxtaposicin, vericando:
1.
Propiedad asociativa:
Propiedad conmutativa:
xy = yx (x, y R).
3.
x1 = x.
4.
x 1/x = 1.
Anlisis Matemtico
11
2.
3.
Estas tres propiedades se resumen diciendo que la relacin ()) es una relacin de
orden.
De hecho, el orden es total ya que:
Axioma V:
Dados dos nmeros reales x e y , ocurre que bien x y bien y x.
Adems el orden tiene un buen comportamiento con respecto a la suma
Axioma VI:
Sean x, y, z tres nmeros reales arbitrarios. Si x y , entonces x + z y + z .
y tambin respecto al producto
Axioma VII:
Sean x, y dos nmeros reales arbitrarios y z 0. Si x y , entonces xz yz .
Las propiedades enunciadas anteriormente suelen resumirse diciendo que el
conjunto R dotado con las operaciones +, . y el orden tiene estructura de cuerpo
ordenado.
Notacin
Notaremos por:
- x < y , el hecho de que x y y x 6= y ,
- x y = x + (y)
- x/y = x 1/y
- x y a la expresin y x
y tambin por
R+ := {x R; 0 < x},
R := {x R; x < 0},
12
R+
0 := {x R; 0 x},
R := {x R; x 6= 0}.
Antes de continuar vamos a resaltar algunas propiedades que son consecuencia
de los axiomas anteriores.
1.1.3.
Es claro que el conjunto de los nmeros racionales Q cumple todas las propiedades
exhibidas hasta el momento. Sin embargo, como ya hemos advertido, en este conjunto
no se encuentran sucientes elementos como para medir por ejemplo la diagonal de un
cuadrado de lado 1. Debe haber pues alguna otra propiedad exclusiva del conjunto R
que asegure que contiene estos nuevos elementos. Para poder enunciar esta propiedad
necesitamos introducir algunos conceptos.
Sea A un subconjunto de nmeros reales no vaco y z R. Se dice que z es un
mayorante o cota superior de A si verica que, para cada x A,
x z.
Se dice que z es el supremo de A si es el menor de los mayorantes de A.
Invirtiendo el orden en las deniciones anteriores, encontramos los conceptos de
Anlisis Matemtico
13
Este axioma nos permite incluir, por ejemplo, 2 en el conjunto R, ya que es fcil
probar que
Teorema 1.1.2.
1. El conjunto de los nmeros naturales no est mayorado.
2. Para cada n N y para cada y R+ existe un (nico) nmero real positivo
x = n y tal que xn = y
3. Dados dos nmeros reales x < y , existe un nmero irracional tal que x < < y .
4. Dados dos nmeros reales x < y , existe un nmero racional r tal que x < r < y .
5. Si P (n) es una propiedad relativa a un nmero natural n y se verica que P (1)
es cierta y que siempre que lo sean P (1), P (2), ..., P (n) lo sea tambin P (n + 1),
entonces dicha propiedad es cierta para todos los nmeros naturales.
14
1.1.4.
x si x 0
|x| =
x si x < 0
Conviene destacar algunas de sus propiedades:
2.
3.
4. x2 = |x|2 , x2 = |x|.
5.
6.
1.1.5.
Intervalos
Anlisis Matemtico
15
1
10n
rn =
a2
an
a1
+ 2 + ... + n .
10 10
10
En tal caso, al nmero x se le asocia la lista {a1 , a2 , ..., an , ...} y suele escribirse
x = 00 a1 a2 ...an ...
Una tal expresin recibe el nombre de expresin decimal del nmero x.
16
1/6 = 00 1666..,6...
Qu ocurre si el nmero no est en el intervalo [0, 1[? Pues bien, para extender esta
asociacin a cualquier nmero real usaremos el concepto de parte entera de un nmero.
Se llama parte entera de un nmero real x al nmero entero E(x) dado por
2.
p x < p + 1,
entonces p = E[x].
A partir de aqu es claro que para cada nmero real x, se tiene que x E(x) es un
nmero real comprendido entre 0 y 1 y por tanto, usando la proposicin anterior,
tiene su correspondiente lista dgitos asociada {a1 , a2 , ..., an , ...}. En tal caso, Se llama
expresin decimal de x R+ a la expresin E(x)0 a1 a2 , ...an ... y suele escribirse
x = E(x)0 a1 a2 , ..., an .
Si x R , basta considerar x y escribir
x = E(x)0 a1 a2 , ...an .
As pues, por comodidad, vamos a suponer que x R+ , ya que las deniciones para
los nmeros negativos son anlogas.
Si la expresin decimal de x es tal que an = 0 a partir de un cierto valor p, diremos
que la expresin decimal de x es nita o que x admite un desarrollo decimal nito
y en tal caso escribiremos
x = E(x)0 a1 , a2 , ...ap .
Merece la pena destacar que en este caso, claramente, x es un nmero racional.
Puede ocurrir que un nmero racional, no admita un desarrollo decimal nito, si
bien, en tal caso se advierte que existe una lista de dgitos que se repite peridicamente.
Si E(x)0 a1 , a2 , ..., an , ... es la expresin decimal de un nmero racional positivo x, donde
ap , ap+1 , ap+2 , ..., aq es una lista de dgitos que se repite de forma continuada, suele
escribirse
x = E(x)0 a1 , a2 , ..., ap1 , (ap , ap+1\
, ap+2 , ..., aq ).
Anlisis Matemtico
17
e = 20 718281828459045235360287471352662497757247...,
puede escribirse, si en los clculos slo necesitamos contar con seis decimales,
e 20 718282.
1.1.7. Aplicaciones
Con el n de hacer una denicin rigurosa necesitamos recordar algunos
conceptos:
Dados dos conjuntos A y B se dice que una correspondencia f entre los
elementos de A y de B es una aplicacin entre A y B si a cada elemento del conjunto
A corresponde un slo elemento del conjunto B . Este hecho suele notarse
f : A B.
Al conjunto A se le suele llamar dominio de la aplicacin f y al conjunto B rango
de la aplicacin f .
As pues, una aplicacin viene determinada por
1.
su dominio,
2.
3.
1.
18
2.
3.
1.1.8.
Anlisis Matemtico
19
Claramente todos los conjuntos nitos son numerables y se puede probar que un
conjunto innito es numerable si, y slo si, existe una aplicacin biyectiva de l en N.
Si consideramos las siguientes aplicaciones inyectivas
- I : N N denida por I(n) = n,
- f : Z N denida por f (n) = 3n , f (0) = 1 y f (n) = 2n ,
- g : Q N denida por g(p/q) = f (p)5q , siempre que m.c.d(|p|, q) = 1, y q N
deduciremos que tanto N, Z como Q son conjuntos innitos numerables y por tanto
en algn sentido tiene los mismos elementos.
Sin embargo, se puede probar que no es ste el caso de ninguno de los intervalos
ni del conjunto de los nmeros irracionales. Obsrvese que esto ltimo choca con la
primera impresin sacada de los apartados 3) y 4) del Teorema 1.1.2.
1.1.9.
1.
Relacin de ejercicios
Supuesto que
s
x
< , donde s, x R ,t, y R+ , probar que
t
y
s
s+x
x
<
< .
t
t+y
y
2.
2x 3
1
<
x+2
3
b ) |x 5| < |x + 1|
a)
c ) |x| |y| = |x y|
3.
a ) 1 + 3 + ... + 2n 1 = n2 .
n(n + 1)(2n + 1)
b ) 12 + 22 + ... + n2 =
.
6
c ) 13 + 23 + ... + n3 = (1 + 2 + ... + n)2 .
d ) 4n n2
e ) 1 + 1 + 2 + 22 + 23 + ... + 2n = 2n+1
n
X
n!
n
n
n
k nk
f ) (r + s) =
.
r s , donde r, s R y
=
k
k
k!(n
k)!
k=0
20
4.
a ) A = {x R; x2 4 0},
b ) B = {x R; x2 4 < 0},
c ) C = {1/n; n N}.
Prubese que en toda reunin de personas existen al menos dos que conocen
exactamente el mismo nmero de asistentes.
1.2.1.
2.
3.
22
4.
5.
1.2.2.
En ocasiones resulta til tener una "imagen fotogrca"de las funciones, esto se
consigue mediante la grca de dicha funcin. Dada una funcin f : A R se dene
la grca de f , como el conjunto
0.5
-6
-4
-2
-0.5
-1
Entre ellas estar por supuesto la monotona, pero habr otras muchas: acotacin,
continuidad, derivabilidad, extremos, etc.
1.2.3.
Funciones racionales
Veamos algunos ejemplos importantes de funciones reales de variable real.
Anlisis Matemtico
1.
23
Funcin identidad
Dada A un subconjunto de nmeros reales, se dene la funcin identidad en
A, IA , como aquella funcin IA : A R que viene denida por
IA (x) = x, x A.
Dicha funcin es estrictamente creciente y su grca
-2
-1
-1
-2
2.
Funciones constantes
Dada A un subconjunto de nmeros reales y dado a R, se dene la funcin
constante restringida al conjunto A, Ca , como la funcin Ca : A R que viene
denida por
Ca (x) = a, x A.
La grca de dicha funcin
24
-2
3.
-1
Funciones polinmicas
Una funcin f : A R se dice ser polinmica si existen a0 , a1 , a2 , ..., an
nmeros reales tales que f (x) = an xn + an1 xn1 + ... + a1 x + a0 para cada x A.
La funcin identidad y toda funcin constante son ejemplos sencillos de funciones
polinmicas.
Si A = [2, 3] y f (x) = x3 + x2 + 1, entonces la grca de la funcin polinmica
f puede ser representada por la siguiente gura.
1.6
1.4
1.2
-2
-1
0.8
0.6
4.
Funciones racionales
Una funcin f : A R se dice ser racional si existen sendas funciones
polinmicas f1 y f2 , con f2 (x) 6= 0, para cada x A y tales que, para cada x A
x+1
,
x2 +1
-2
-1
1
-0.2
Anlisis Matemtico
25
-2
-4
-6
-8
1
-2
-4
26
1.2.5.
Antes de seguir con el listado de las funciones elementales conviene hacer algunas
precisiones.
1.
Algebra de funciones
En primer lugar hacemos notar que dadas dos funciones f y g denidas sobre un
mismo subconjunto de nmeros reales A, se pueden denir las siguientes funciones:
a ) Funcin suma: f + g .
La funcin suma es una nueva funcin f + g : A R denida, para
cada x A, por
(f + g)(x) = f (x) + g(x).
Como consecuencia de esta denicin aparece, asociadas a cada funcin
f : A R, la llamada funcin opuesta,f , esto es, la funcin
f : A R,
denida, para cada x A, por
(f )(x) = f (x).
b ) Funcin producto: f.g :
La funcin producto es una nueva funcin f.g : A R denida, para
cada x A, por
f.g(x) = f (x)g(x).
Como consecuencia, siempre 0 6 f (A), denimos la funcin inversa
para el producto, 1/f , como la funcin
1/f : A R,
dada, para cada x A, por
(1/f )(x) =
1
.
f (x)
Anlisis Matemtico
2.
27
Composicin de funciones
Supongamos ahora que existen sendas funciones f : A R y g : B R de
manera que el conjunto B contiene al Podemos denir la funcin composicin
de ambas, g f , como la funcin
g f : A R
denida, para cada x A, por
f 1 (f (x)) = x (x A),
esto es,
Adems es claro que
f 1 f = IA .
f f 1 = If (A) .
Es fcil probar, usando estas ltimas consideraciones, que toda aplicacin estrictamente montona es inyectiva y que su inversa es igualmente estrictamente montona
y del mismo tipo (creciente decreciente).
xy = eylogx ,
28
15
10
-2
-1
log(xy ) = ylogx,
30
20
10
-2
-1
Funcin potencial
Dado b 6= 0, la funcin pb : R+ R+ denida por pb (x) = xb , se denomina
funcin potencial de exponente b, y se notar por xb .
Dicha funcin es estrictamente creciente (resp. decreciente) si b > 0 (resp. si b < 0)
de R+ en R+ y verica las siguientes propiedades:
- 1b = 1
- (xy)b = xb y b .
Sus grcas (para b = y b = 1 ) se pueden representar como siguen:
Anlisis Matemtico
29
40
30
20
10
0.5
1.2.7.
1.5
2.5
Supongamos que tenemos un subconjunto A de nmeros reales y dos subconjuntos disjuntos de ste B y C tales que A = B C . Dispongamos adems de sendas
funciones reales de variable real g y h denidas respectivamente en B y C . A partir de
aqu podemos denir una nueva funcin f : A R mediante la siguiente expresin:
g(x) si x B
f (x) =
h(x) si x C.
Decimos que una tal funcin es una funcin denida a trozos. Es evidente que
las propiedades de la nueva funcin dependern de las propiedades de las funciones que
la denen y de la forma en que los subconjuntos se complementan.
Como ejemplos ms sencillos veremos los dos siguientes:
-2
-1
-1
-2
30
x si x 0
|x| =
x si x < 0
La grca puede representarse como la unin de las bisectrices del primer y
segundo cuadrante.
3
2.5
2
1.5
1
0.5
-2
1.2.8.
1.
-1
Relacin de ejercicios.
Anlisis Matemtico
31
3.
4.
3
2) f (x) = ( x + 1)log(x ) .
33
Sumario
Las funciones trigonomtricas son importantes porque permiten expresar las distintas
relaciones entre los lados y los ngulos de un tringulo, y porque sus propiedades le coneren
una especial disposicin para expresar muchos fenmenos naturales. Estas dos facetas hacen
que su empleo en la Fsica y en la Ingeniera sea muy frecuente. El contenido completo de esta
leccin se articula de la siguiente manera:
I.3.1 El nmero .
I.3.2 Funcin arcocoseno.
I.3.3 Funciones seno y coseno.
I.3.4 Funcin tangente.
I.3.5 Funciones secante, cosecante y cotangente.
I.3.6 Funciones arcoseno y arcotangente.
I.3.7 Identidades trigonomtricas.
I.3.8 Funciones hiperblicas.
I.3.9 Relacin de ejercicios.
1.3.1. El nmero
Consideremos la funcin f : [1, 1] R denida por
(t) = (t, 1 t2 ).
Es claro que
34
-0.5
0.5
Sea P = {t0 , t1 , ..., tn }, tal que t0 = 1 y tn = 1 y ti1 < ti , para i {1, 2, ..., n}. Un
tal conjunto P recibe el nombre de particin del conjunto [1, 1]. Asociado a esta
particin podemos considerar la "poligonal"P que resulta de unir los "segmentos"
-0.5
0.5
1.3.2.
Funcin arcocoseno
Anlisis Matemtico
35
2.
arc cos(0) = 2 .
Y su grca puede ser representada como sigue
3
2.5
1.5
0.5
-1
-0.5
0.5
Antes de pasar al resto de las funciones trigonomtricas, vamos denir una propiedad
interesante que tienen algunas de las funciones que vamos a denir a continuacin: la
periodicidad.
Se dice que una funcin f : A 7 R es una funcin peridica, si existe un nmero
real no nulo T tal que para todo x A, entonces x + T A y
f (x + T ) = f (x).
Dicho nmero real T recibe el nombre de periodo de la funcin f .
arccos(cosx) = x,
36
0.5
-6
-4
-2
-0.5
-1
cos(arcosy) = y.
La grca de la funcin coseno es como sigue
Se llama funcin seno, senx, a la nica funcin de R en R impar y peridica con
periodo 2 cuya restriccin a [0, ] es tal que
p
sen(x) = 1 cos2 (x).
La grca de la funcin seno es como sigue
1
0.5
-6
-4
-2
-0.5
-1
Teorema 1.3.1.
1. sen2 x + cos2 x = 1
(x R).
2. La restriccin de la funcin coseno al intervalo [0, ] es una biyeccin estrictamente decreciente de ste en el intervalo [1, 1], con
3
cos0 = 1, cos = 0, cos = 1, cos =
, cos = , cos =
.
2
4
2
3
2
6
2
3. La restriccin de la funcin seno al intervalo [ 2 , 2 ] es una biyeccin estrictamente creciente de ste en el intervalo [1, 1], con
1
sen0 = 0, sen( ) = 1, sen = 1, sen =
, sen =
sen = .
2
2
4
2
3
2
6
2
4. La imagen de ambas funciones es el intervalo [1, 1].
Anlisis Matemtico
37
cosx = cos(x),
cos(x + 2) = cosx,
(x R),
sen(x) = senx,
sen(x + 2) = senx
(x R).
6.
(x R).
8. Dados dos nmeros reales a, b, vericando que a2 +b2 = 1, existe un nico nmero
real x tal que x ] , ], cosx = a y senx = b.
9. Sean x, y R tales que senx = seny y cosx = cosy , entonces existe un nico
nmero entero p tal que x = y + 2p .
10. {x R; cosx = 0} = { 2 + k; k Z}.
tg(x + ) = tg(x).
, [, es una biyeccin estrictamente
2. La funcin tangente restringida al intervalo ]
2 2
creciente de dicho intervalo en R.
3. La grca de la funcin tangente restringida al conjunto A = [, ]\{ 2 , 2 }
puede representarse de la siguiente forma:
38
20
-3
-2
-1
-20
-40
1.3.5.
10
-3
-2
-1
-10
-20
10
-3
-2
-1
-10
-20
cotg(x) =
cosx
.
senx
Anlisis Matemtico
39
40
20
-3
-2
-1
-20
-40
1.3.6.
arc sen[sen(x)] = x, (x [ , ] sen[arc sen(y)] = y (y [1, 1]).
2 2
Dicha funcin es pues una biyeccin estrictamente creciente de [ 2 , 2 ] en [1, 1] con
arc sen(1) =
arc sen(0) = 0,
arc sen(1) =
.
2
-1
-0.5
0.5
-0.5
-1
-1.5
40
0.5
-1
-2
-0.5
-1
1.3.7.
Identidades Trigonomtricas.
Identidades pitagricas
si se quiere
si se quiere
2.
tg(x y) =
3.
1
1 + tg 2 (x)
1 + tg 2 (x)
tgx tgy
.
1 tgx tgy
ngulo mitad
1
1
sen2 x = (1 cos2x), cos2 x = (1 + cos2x),
2
2
x
1 cosx
senx
tg( ) =
=
.
2
senx
1 + cosx
5.
producto
1
senxseny = [cos(x y) cos(x + y)],
2
1
cosxcosy = [cos(x y) + cos(x + y)],
2
1
senxcosy = [sen(x + y) + sen(x y)].
2
tg(x)
sen(x) = p
ngulo doble
sen2x = 2senxcosx,
4.
cos(x) = p
Anlisis Matemtico
41
Proposicin 1.3.3.
1. La funcin coseno hiperblico es una funcin par y la funcin seno hiperblico es
una funcin impar.
2. La funcin seno hiperblico es una biyeccin estrictamente creciente de R en R.
4.
cosh2 x senh2 x = 1.
5.
20
10
-4
-2
-10
-20
42
Finalmente, diremos que, por analoga con las funciones trigonomtricas, podemos
hablar de tangente hiperblica, tgh, la cual es una biyeccin estrictamente creciente
de R sobre ] 1, 1[ y su grca es como sigue:
1
0.5
-4
-2
-0.5
-1
1.3.9.
1.
Relacin de ejercicios
a ) senhx.
b ) coshx/R+0 .
2.
a ) seng(y).
b ) cosg(y).
43
Sumario
Introduciremos en esta leccin dos herramientas muy potentes del anlisis matemtico:
las sucesiones y las series. La primera de ellas nos facilitar la comprensin de los conceptos de
continuidad, lmite e integrabilidad. Usaremos la segunda para aproximar los valores obtenidos
al evaluar algunas d funciones elementales, ya que estos valores no son ms que la suma de una
determinada serie. El contenido completo de esta leccin se articula de la siguiente manera:
I.4.1 Acotacin, monotona y convergencia de sucesiones.
I.4.2 Sucesiones divergentes.
I.4.3 Series de nmeros reales.
I.4.4 Relacin de ejercicios.
1.4.1.
Una sucesin de elementos de un cierto conjunto A no es ms que una "lista ordenada"de elementos de A o dicho de forma ms rigurosa: una sucesin de elementos
de A es una aplicacin f : N A.
En lugar de escribir f (n) se suele escribir xn , mientras que la sucesin f suele
notarse por {xn }nN simplemente {xn }. A la imagen xn se le denominar trmino
n-simo de la sucesin {xn }nN . Una sucesin de nmeros reales no es ms que una
sucesin en la que A R.
Dada una sucesin {xn }, al conjunto {xn : n N} se le denomina conjunto
imagen de la sucesin {xn }. As por ejemplo si consideramos la sucesin {1, 0, 1, 0, 1, ...}
su conjunto imagen est formado por slo dos elementos, a saber {0, 1}.
Veamos ahora algunas propiedades que pueden tener las sucesiones.
Se dice que una sucesin de nmeros reales {xn }nN
1.
2.
3.
est acotada si est mayorada y minorada. Es fcil probar que una sucesin est
acotada si, y slo si, existe un nmero real positivo M tal que |xn | M .
44
4.
5.
6.
x = limn xn
{xn } x.
Es fcil ver que toda sucesin convergente est acotada. Sin embargo, la sucesin
{1, 0, 1, 0, ...} que est mayorada por 1 y minorada por 0, luego acotada, demuestra que
existen sucesiones acotadas que no son convergentes.
En el siguiente resultado recogemos ms propiedades importantes de las sucesiones.
Proposicin 1.4.1.
1.- Toda sucesin convergente tiene un nico lmite.
2.- Sean {xn } una sucesin de nmeros reales, x R y p N. La sucesin {xn } es
convergente a x si, y slo si, la sucesin {xn+p } converge tambin a x
3.- La sucesin {xn } converge a cero, si y slo si la sucesin {|xn |}converge a cero.
4.- Toda sucesin creciente y mayorada {xn } es convergente a x = Sup{xn ; n N}.
5.- Toda sucesin decreciente y minorada {xn } es convergente a x = Inf {xn ; n N}.
En particular la sucesin {1/n } converge a cero para todo > 0.
6.- Sean x, y R y sea {xn } una sucesin convergente a x. Si para cada n N,
xn y , entonces x y . En particular si {yn } y {zn } son dos sucesiones de
nmeros reales tales que,
a)
para cada n N, xn yn zn ,
b)
limn zn = x,
Anlisis Matemtico
45
yn 6= 0, para todo n N.
8.- El producto de una sucesin acotada por una convergente a cero es una sucesin
convergente a cero.
Ejemplo:
Prubese que si |x| < 1, entonces la sucesin {xn } converge a cero.
limn xn = +
{xn } +.
Se dice que una sucesin {xn }nN diverge negativamente si
limn xn =
{xn } .
Diremos que que una sucesin {xn }nN es divergente si lo es positivamente o lo es
negativamente.
Veamos ahora algunas propiedades de las sucesiones divergentes.
46
Proposicin 1.4.2.
1.- Sean {xn } una sucesin de nmeros reales, x R y p N. La sucesin {xn }
diverge positivamente si, y slo si, la sucesin {xn+p } diverge positivamente.
2.- Toda sucesin creciente y no mayorada diverge positivamente. En particular la
sucesin {rn } diverge positivamente si r > 1.
3.- Toda sucesin decreciente y no minorada diverge negativamente.
4.- Sean {xn }, {yn } dos sucesiones de nmeros reales tales que, para cada n N,
xn yn . Si la sucesin {xn } diverge positivamente, entonces la sucesin {yn }
tambin diverge positivamente.
5.- Si {xn } es una sucesin divergente positivamente, entonces existe k N tal que
la sucesin {1/xn+k } converge a cero.
6.- Si {xn } es una sucesin de trminos positivos que converge a cero, entonces la
sucesin {1/xn } divergente positivamente. En particular la sucesin {n } diverge
positivamente para todo > 0.
1.4.3.
Anlisis Matemtico
47
n1
X
se representa por
an .
n=1
rn1 =
n=1
2.
1
.
1r
1
.
(n1)!
Sn = 1 + 1 + 1/2 + ... +
1
.
(n 1)!
X
1/(n 1)! = e.
n=1
3.
Serie armnica.
Es aquella cuyo trmino general es an = 1/n y cuya sucesin de sumas parciales
es por tanto Sn = 1 + 1/2 + ... + 1/n. Se puede probar que que dicha serie no es
convergente. En general la serie cuyo trmino general es an = 1/n es convergente
si, y slo si, > 1.
4.
Serie armnica-alternada.
Es aquella cuyo trmino general es an = (1)n+1 /n y cuya sucesin de sumas
parciales es por tanto Sn = 1 1/2 + ... + (1)n+1 /n. Ms tarde deduciremos que
dicha serie es convergente, de hecho se puede probar que
X
(1)n+1 /n = log2.
n=1
48
an y
n1
n1
n1
2. Si
P ambas series son convergentes y r, s son dos nmeros reales, entonces la serie
n1 ran + sbn es convergente y se verica que:
(ran + sbn ) = r
n=1
an + s
n=1
bn .
n=1
n1
X
X
an = a1 + a2 + ... + ak +
an+k .
n=1
an+k
n1
n=1
X
4. Supongamos que, para cada n N se tiene que |an | bn . Si la serie
bn es
n1
P
convergente entonces n1 an tambin es convergente y se verica que:
|
En particular , si la serie
X
n=1
an |
bn .
n=1
n1
1.4.4.
an .
n1
Relacin de ejercicios
1.
Prubse que si {xn } e {yn } son dos sucesiones acotadas, {xn + yn } y {xn yn }
tambin lo son.
2.
a ) x1 = 2, xn+1 = 2 + xn , n N.
b ) x1 = 1, xn+1 = 2xn , n N.
3.
a ) {sen(n)/n}.
b ) {cos(n2 + 1)/n}.
49
Sumario
Esta leccin trata del concepto de lmite funcional, uno de los ms importantes de
toda la matemtica. De forma intuitiva, una funcin tiene lmite L en un punto x0 si en todo
punto prximo a x0 la funcin toma un valor prximo a L. Para una formulacin ms rigurosa
introduciremos previamente el concepto de punto de acumulacin de un conjunto. Finalmente
diremos que el concepto de lmite funcional es indispensable para entender los conceptos de
continuidad y de derivacin de una funcin real de variable real. El contenido completo de esta
leccin se articula de la siguiente manera:
I.5.1 Puntos de acumulacin.
I.5.2 Lmite funcional y lmites laterales.
I.5.3 Lmites en el innito.
I.5.4 Algebra de lmites.
I.5.5 Indeterminaciones.
I.3.6 Funciones asintticamente equivalentes.
I.3.7 Relacin de ejercicios.
de acumulacin de A, x0 A0 ,
"si todo intervalo centrado en x0 tiene algn punto, distinto del propio x0 , en comn
con A,
lo que a su vez en lenguaje formal se expresa:
x0 A0 ]x0 , x0 + [ A\{x0 } 6= , R+ .
50
0
Diremos que x0 es un punto de acumulacin por la derecha si x0 (A+
x0 ) ,
donde
A+
x0 = {x A; x > x0 },
lo que en lenguaje de sucesiones puede escribirse,
si existe una sucesin {xn }nN de elementos de A, mayores que x0 , y convergente
al propio x0 .
, escrito en lenguaje de intervalos,
si todo intervalo de extremo inferior x0 tiene algn punto, distinto del propio x0 ,
en comn con A.
0
Diremos que x0 es un punto de acumulacin por la izquierda si x0 (A
x0 ) ,
donde
A
x0 = {x A; x < x0 },
lo que en lenguaje de sucesiones puede escribirse,
si todo intervalo cuyo extremo superior es x0 tiene algn punto, distinto del propio
x0 , en comn con A,
0
+ 0
Es fcil probar que x0 A0 si, y slo si x0 (A
x0 ) (Ax0 )
1.5.2.
Lmite funcional:
Sean A un subconjunto no vaco de nmeros reales, x0 A0 y f : A R una
funcin. Se dice que f tiene lmite en el punto x0 si existe un nmero real L con la
siguiente propiedad:
Anlisis Matemtico
51
Observacin 1.5.1. Es importante hacer notar que la igualdad anterior encierra dos
armaciones: que f tiene lmite en el punto x0 y que dicho lmite vale L.
Lmites laterales:
0
Supongamos que x0 (A+
x0 ) . Se dice que f tiene lmite por la derecha en el
punto x0 si existe un nmero real L con la siguiente propiedad:
L = limxx+0 f (x).
Supongamos que x0 (Ax0 )0 . Se dice que f tiene lmite por la izquierda en el
punto x0 si existe un nmero real L con la siguiente propiedad:
"Para cada sucesin {xn } de elementos de A, menores que x0 , convergente a x0 , la
sucesin {f (xn )} converge a L".
en lenguaje formal
L = limxx0 f (x).
Relacin entre el lmite ordinario y los lmites laterales
52
0
Si x0
/ (A
x0 ) , entonces
0
Si x0
/ (A+
x0 ) , entonces
0
Si x0 (A
x0 )
0
(A+
x0 ) , entonces
1.5.3.
Lmites en el innito.
Nota
Ntese que si L = limx+ f (x), en particular, el lmite de la sucesin {f (n)} es
L. Este hecho nos proporciona un nuevo mtodo para el clculo de lmite de sucesiones.
Si A es un subconjunto no vaco de nmeros reales no minorado, se dice que f
Anlisis Matemtico
53
L = limx f (x).
limxx0 f (x) = +.
Sea A un subconjunto no vaco de nmeros reales y sea x0 A0 . Se dice que la
funcin f : A R diverge negativamente en el punto x0 si verica la siguiente
propiedad:
54
limxx0 f (x) = .
Si A es un subconjunto no vaco de nmeros reales no mayorado. Diremos que la
funcin f : A R diverge positivamente en + si verica la siguiente propiedad:
Para cada semirrecta de origen M , existe una semirrecta de origen N tal que
f (]N, +[A) ]M, +[,
esto es, en lenguaje ms formal:
limx+ f (x) = +.
Anlogamente se pueden denir las funciones divergentes negativamente en + y las
funciones divergentes negativa y positivamente en .
Antes de nalizar esta seccin queremos recordar el comportamiento de algunas
funciones elementales en innito.
Proposicin 1.5.3.
1.- limx+ ex = +,
2.- limx ex = 0
3.- limx+ log(x) = +,
4.- limx0+ log(x) = ,
5.- limx/2 tg(x) = ,
6.- limx arctg(x) = /2.
Anlisis Matemtico
55
S
Sean f, g : A R y sea xS0 A0 . Supongamos que limxx0 f (x) = L R {+, }
y que limxx0 g(x) = M R {+, }. Entonces la funcin suma f + g converge o
diverge en x0 segn lo expresado en la siguiente tabla:
lim(f + g) L R
M R
L+M
M = +
+
M =
L = + L =
+
+
?
?
S
0
Sean f, g : A R y sea xS
0 A . Supongamos que limxx0 f (x) = L R {+, }
y que limxx0 g(x) = M R {+, }. Entonces la funcin producto f.g converge
o diverge en x0 segn lo expresado en la siguiente tabla:
lim(f.g)
M R+
M =0
M R
M = +
M =
L R+
LM
0
LM
+
L=0
0
0
0
?
?
L R
LM
0
LM
L = +
+
?
L =
?
.
+
limxx0 f (x).g(x) = 0.
0
Sean
Sf, g : A R tal que g(x) 6= 0 y sea x0 A
S. Supongamos que limxx0 f (x) =
L R {+, } y que limxx0 g(x) = M R {+, }. Entonces la funcin
cociente f /g converge o diverge en x0 segn lo expresado en la siguiente tabla:
lim(f /g)
M R+
M = 0, g(x) > 0
M = 0, g(x) < 0
M R
M = +
M =
L R+
L/M
+
L/M
0
0
L=0
0
?
?
0
0
0
L R
L/M
+
L/M
0
0
L = +
+
+
?
?
L =
+
+
?
?
56
Teorema 1.5.7. (f g )
limf g
M R+
M =0
M = R
M = +
M =
L=0
0
?
+
0
+
0<L<1
LM
1
LM
0
+
L=1
1
1
1
?
?
L > 1 L = +
LM
+
1
?
M
L
0
+
+
0
0
Observacin 1.5.8. El smbolo ? que aparece en las tablas indica que el resultado depende de las funciones f y g .
1.5.6.
Indeterminaciones
Anlisis Matemtico
57
xx ex xa (logx)b ,
donde f (x) g(x) signica que
limx+ [f (x)/g(x)] = +.
5.) Adems, para la indeterminacin del tipo 1 , se tiene la siguiente tcnica propia:
Proposicin 1.5.10. (1 )
0
Sean
S f, g : A R tales que, para cada x A, f (x) > 0. Sean x0 A y L
R {+, } . Supongamos que limxx0 f (x) = 1 y que limxx0 g(x) = +.
Entonces
58
1.5.7.
Sera til, para calcular lmites, sustituir funciones de aspecto complejo por otras
ms funciones ms sencillas. Este proceso puede llevarse a cabo considerando funciones
cuyo cociente converge a uno.
Dadas dos funciones f, g : A R, y sea x0 A0 . Se dice que ambas funciones son
asintticamente equivalentes en x0 si
limxx0 f (x)/g(x) = 1.
Ejemplos de funciones asintticamente equivalentes en x0 = 0 son senx, tgx ,
log(1 + x) y x, esto es,
1.5.8.
1.
Relacin de ejercicios
lm (senx + 1)1/x ,
x0+
lm (1 + tgx)cosecx .
x0+
59
Sumario
En esta leccin tratamos del concepto de continuidad, una de las ideas ms fascinantes
de toda la matemtica. Aqu daremos la denicin de funcin continua y su relacin con el
concepto de lmite funcional. Tambin mostraremos algunas de las propiedades que hacen
que las funciones continuas sean tan interesantes. As mismo observaremos que las funciones
elementales son funciones continuas. El contenido completo de esta leccin se articula de la
siguiente manera:
I.6.1 Continuidad.
I.6.2 Tipos de discontinuidad.
I.6.3 Ejemplos.
I.6.4 Propiedades de las funciones continuas.
I.6.5 Relacin de ejercicios.
1.6.1. Continuidad
Sea A un subconjunto no vaco de nmeros reales y sea a A. Se dice que
f : A R es una funcin continua en a si verica la siguiente propiedad:
para cada intervalo J centrado en f (a), existe un intervalo I centrado en a tal que
f (I A) J ,
esto es, en lenguaje ms formal
60
1.6.2.
Tipos de discontinuidad
Cuando una funcin no sea continua en un punto del conjunto en el que est
denida, se dir que tiene una discontinuidad en dicho punto.
T
Sea A un subconjunto no vaco de nmeros reales, a A A0 y f : A R una
funcin. Entonces:
1.
2.
Si existen los dos lmites laterales de f en a y son distintos, se dice que f tiene
una discontinuidad de salto en a.
3.
1.6.3.
1.
Ejemplos
x + 1 si x 6= 1
f (x) =
1
si x = 1.
presenta una discontinuidad evitable en 1, lo cual poda haberse adivinado si
hubisemos pintado previamente su grca
Anlisis Matemtico
61
4
-2
-1
-1
2.
La funcin parte entera presenta una discontinuidad de salto en todos los nmeros
enteros. Mientras que la funcin f : R+
0 R denida mediante la expresin:
1/x si x R+
f (x) =
1
si x = 0.
presenta una discontinuidad esencial en 0.
Este hecho puede adivinarse cuando observamos su grca:
50
40
30
20
10
3.
Las funciones logaritmo neperiano, seno y coseno son continuas en sus dominios.
Adems se tiene
62
1.6.4.
A B,
x2
si x 2
f (x) =
x + 4 si x > 2
cuya grca es como sigue
8
-4
-2
Anlisis Matemtico
63
Este resultado nos proporciona dos mtodos tiles para localizar las races de una
ecuacin, llamados mtodo de la biseccin y el mtodo de la secante mtodo
regula falsi".
64
1.6.5.
Relacin de Ejercicios
1.
(b) cos n1 .
(a) sen n1
2.
a ) f (x) =
x
,
1+|x|
ex
x R.
x<0
x,
0x<1
b ) f (x) =
5
x,
x1
3.
Para cada una de las siguientes funciones polinmicas f , hallar un entero n tal
que f (x) = 0 para algn x entre n y n + 1.
i) f (x) = x3 + x + 3
ii) f (x) = x5 + 5x4 + 2x + 1
iii) f (x) = x5 + x + 1
iv) f (x) = 4x2 4x + 1.
4.
Prubese que todo polinomio de grado impar admite al menos una raz real.
5.
6.
Sea f : [0, 1] [0, 1] una funcin continua en [0, 1]. Prubese que f tiene un
punto jo, es decir, probar que existe x [0, 1] tal que f (x) = x.
7.
8.
1.7.
65
Funciones derivables
Sumario
La idea de derivada fue originada por el problema de dibujar una tangente a una
curva. Fermat, en el siglo XVII, tratando de determinar los mximos y mnimos de ciertas
funciones, observ que si la grca de dichas funciones, en un determinado punto, tiene asociada
una recta tangente horizontal, dicho punto es un candidato a mximo o mnimo. Estas ideas
desembocaron en el concepto de derivada e inmediatamente se observ que era un instrumento
vlido tambin para el clculo de velocidades, y en general, para el estudio de la variacin de
una funcin. En esta leccin introduciremos el concepto de funcin derivable, prestaremos
atencin al problema original de determinar la tangente a una curva dada y estudiaremos
algunas de sus propiedades; Enunciaremos el teorema del valor medio y obtendremos algunas
consecuencias muy importantes: La relacin entre monotona y derivabilidad, la derivacin de
la funcin inversa y la reglas de L+Hpital para la resolucin de algunas indeterminaciones en
el clculo de lmites. El contenido completo de esta leccin se articula de la siguiente manera:
I.7.1 Derivada. Recta tangente
I.7.2 Derivada lateral.
I.7.3 Ejemplos.
I.7.4 Propiedades de las funciones derivables.
I.7.5 Relaciones de ejercicios.
f (x) f (a)
.
xa
El lmite recibe el nombre de derivada de f en el punto a y se nota por f 0 (a).
limxa
(|x|)0 = |x|/x.
El siguiente resultado nos da la relacin entre los conceptos de continuidad y de
derivacin.
66
A0 y
1. f es derivable en a.
2. f es continua en a y existe una funcin afn g tal que
limxa
f (x) g(x)
= 0.
xa
-2
-1
-2
-4
y por tanto es visible que la recta horizontal es la que mayor "parecido"tiene con la
parbola en las proximidades del punto (1, 1).
La recta y = f (a) + f 0 (a)(x a) recibe el nombre de recta tangente a la
grca de f en el punto (a, f (a))
Anlisis Matemtico
67
A0 , y
0
1. Si a
/ (A
a ) , entonces f es derivable en a si, y slo si f es derivable por la derecha
en a. En caso armativo f 0 (a) = f+0 (a)
0
/ (A+
2. Si a
a ) , entonces f es derivable en a si, y slo si f es derivable por la
izquierda en a. En caso armativo f 0 (a) = f (a)0
T + 0
0
3. Si a (A
(Aa ) , entonces f es derivable en a si, y slo si f es derivable
a)
por la derecha y por la izquierda en a y ambas coinciden. En caso armativo
f 0 (a) = f+0 (a) = f0 (a)
1.7.3. Ejemplos
Las funciones logaritmo neperiano, seno y coseno son derivables en sus respectivos
dominios. Adems para cada x del dominio correspondiente,
68
tg 0 (x) = 1 + tg 2 (x).
Tambin las cosas van bien cuando componemos dos funciones derivables.
1.7.4.
ables.
f 0 (a)
.
f (a)
B0 y
x2
si x 2
f (x) =
x + 6 si x > 2
Anlisis Matemtico
69
10
8
6
4
2
-4
-2
-2
Si f 0 no se anula en el intervalo ]a, b[, la ecuacin f (x) = 0 tiene como mucho una
nica solucin en el intervalo [a, b] .
El siguiente resultado, el cual no es ms que otra versin del teorema de Rolle,
es el ms importante por sus muchas consecuencias.
70
Al igual que ocurre con el teorema de Rolle, la informacin dada en este ltimo
corolario es muy importante para la localizacin de las soluciones de una ecuacin del
tipo f (x) = 0, cuando la funcin f es derivable.
Como segunda consecuencia, obtenemos cundo la funcin inversa es derivable
y cunto vale su derivada:
(f 1 )0 (f (x)) =
1
.
f 0 (x)
Anlisis Matemtico
71
1 f 2 (a)
(arctg)0 (f (a)) =
,
f 0 (a)
,
1 + f 2 (a)
f 0 (a))
1 f 2 (a)
f 0 (a)
].
f (a)
Para calcular derivadas tan complicadas como la anterior podemos usar la tcnica
logartmica. El procedimiento es como sigue.
Tcnica logartmica
1.
h0 (a)
f 0 (a)
= g 0 (a)log(f (a)) + g(a)
.
h(a)
f (a)
3.
f 0 (a)
].
f (a)
72
(x)
3. limxa fg0 (x)
= L.
Si
1. Primera Regla de L+Hpital
limxa
f (x)
= L.
g(x)
Observacin 1.7.15. Las Reglas de L'Hpital siguen permaneciendo vlidas si, en el caso
en que el intervalo I no est mayorado, sustituimos los lmites en a por lmites en +.
Anlogamente para lmites en .
Finalmente damos una consecuencia prctica para calcular la derivada de algunas
funciones denidas a trozos.
1.7.5.
1.
Relacin de ejercicios
a ) A = [1, 1] y f (x) = 1 x2 .
p
b ) A = R y f (x) = 3 |x|.
c ) A = R y f (x) =
2.
2x
.
1+|x|
Anlisis Matemtico
3.
73
(x 6= 0)
f (0) = a.
a)
f (x) =
b)
f (x) =
5.
1
1+ex
ex
x
x
5
x
si x 6= 0
si x = 0
si x < 0
si 0 x < 1
si x 1
x
< log(1 + x) < x.
1+x
6.
7.
8.
x + ex + arctgx = 0
tiene una nica raz real. Dese un intervalo de longitud uno en el que se encuentre
dicha raz.
10.
x3 + ax2 + bx + c = 0
tiene una solucin real nica.
11.
74
12.
f (x) = arctg
1+x
1x
a)
A =]2, +[ ,
f (x) =
x 2+ x2
x2 4
b)
A = R+ \{1},
f (x) =
1
1
logx x 1
x A, = 1.
A =]1, +[,
xx x
f (x) =
1 x logx
x A, = 1.
c)
d)
A = R ,
f (x) =
1
1
senx
2 5 ,
4
x
6x
x
e)
A =]0, /2[,
f)
A =]0, /2[,
f (x) = (
A = R+ \{e},
f (x) =
=0
= /2
f (x) = x logx1 ,
h)
A = R+ ,
1 senx
)
,
tgx
f (x) = (1 + senx)cotgx ,
g)
14.
x A, = 2.
=0
= e.
1
1
(e (1 + x) x ),
x
=0
a)
A = R+ ,
f (x) =
1 cos x
,
x
f (x) =
1 cosx
,
x2
b)
A = R ,
x A.
x A.
Anlisis Matemtico
c)
75
A =]0, /2[,
d)
A =]0, /2[,
f (x) =
x2
cos x +
2
e)
f)
12
x
f (x) = (1 tgx) x2 ,
A = R+ ,
f (x) = xsenx ,
g)
A =]0, /2[,
f (x) =
A =]0, /2[,
x A
x arctgx
,
sen3 x
f (x) = (
x A
1 senx
)
,
tgx
i)
A = R+ \{e},
x A
x A
h)
15.
A =]0, /2[,
x A.
f (x) = x logx1 .
A=R ,
b)
A = R+ ,
log(2 + 3ex )
f (x) =
,
2 + 3x2
c)
A =]1, +[
d)
A = R\{e},
f (x) =
x R+
x(x1/x 1)
,
logx
1
f (x) = x logx1 .
a R+ ,
Sumario
En esta leccin vamos a seguir extrayendo consecuencias del teorema del valor medio:
estudiaremos condiciones necesarias y condiciones sucientes para que una funcin tenga extremos relativos. Tambin deniremos el polinomio de Taylor asociado a una funcin en un
punto y estudiaremos algunas de sus propiedades. mtodo de Newton-Raphson para encontrar
aproximaciones a las soluciones de una ecuacin. El contenido completo de esta leccin se
articula de la siguiente manera:
I.8.1 Extremos de una funcin.
I.8.2 Extremos relativos y derivabilidad.
I.8.3 Derivadas sucesivas.
I.8.4 Polinomio de Taylor.
I.8.5 Desarrollo en serie de Taylor.
I.8.6 Funciones convexas.
I.8.7 Relacin de ejercicios.
1.8.1.
Extremos absolutos
Sea A un subconjunto no vaco de nmeros reales y a A y f : A R una
funcin. Se dice que
78
Ejemplo:
Estdiense los extremos relativos y absolutos de la funcin
f : [0, 3] R,
denida por
x
si 0 x < 1
2 x si 1 x < 2
f (x) =
2x 4 si 2 x 3
1.5
0.5
0.5
y comprobemos que
1.5
2.5
Anlisis Matemtico
1.
2.
3.
4.
Nota
79
1.8.2.
80
Sean a R, r > 0 y notemos por I =]a r, a + r[. Sea A un conjunto que contiene
a I y sea f : A R una funcin continua y derivable en I\{a}.
1. Si para cada x I con x < a se tiene que f 0 (x) 0 y para cada x I con x > a
se tiene que f 0 (x) 0, entonces f alcanza un mximo relativo en a.
2. Si para cada x I , con x < a, se tiene que f 0 (x) 0 y para cada x I , con
x > a, se tiene que f 0 (x) 0, entonces f alcanza un mnimo relativo en a.
f (x) =
x2
si x 2
x + 6 si x > 2
-4
-2
-2
1.8.3.
Derivadas sucesivas
T
Sea A un subconjunto no vaco de nmeros reales, A1 un subconjunto de A A0 y
f : A R una funcin derivable en todo punto de A1 . La+ funcin que a cada punto
de A1 le hace corresponder la derivada de f en dicho punto recibe
el nombre de funcin
T
0
derivada de f , funcin que notaremos por f . Si a A1 (A1 )0 y f 0 es derivable en
Anlisis Matemtico
81
1.8.4.
Polinomio de Taylor
Sea A un subconjunto
nmeros reales y f : A R una funcin n veces
T de
0
derivable en un punto a A A . Llamaremos polinomio de Taylor de grado n de
la funcin f en el punto a a la funcin polinmica Pn,a : R R denida por
f 00 (a)
f (n) (a)
(x a)2 + ... +
(x a)n .
2!
n!
Es inmediato comprobar que Pn,a es la nica funcin polinmica que verica que:
0
(n)
Pn,a (a) = f (a), Pn,a
(a) = f 0 (a), ... Pn,a
(a) = f (n) (a).
82
Como primera consecuencia de este hecho obtenemos una regla prctica para el
clculo de extremos relativos.
Anlisis Matemtico
83
que existe M > 0 tal que, para cada x I y cada n N, se verica que:
|f n) (x)| M,
entonces para cualesquiera a, x I , se tiene que
f (x) =
X
f n1) (a)
n=1
(n 1)!
(x a)n1 .
P
f n1) (a)
n1
La serie
recibe el nombre de serie de Taylor de la
n=1 (n1)! (x a)
funcin f en el punto a, y como puede verse es una especie de polinomio de Taylor
de grado "innito".
Como consecuencia de la proposicin obtenemos que para las principales funciones
elementales, el valor en un punto x coincide con la suma de una cierta serie.
Corolario 1.8.7.
1) Para cada x R, se tiene:
a) ex =
1
n1
.
n=1 (n1)! x
b) cos(x) =
c) sen(x) =
(1)n+1 2(n1)
.
n=1 2(n1)! x
(1)n+1 2n1
.
n=1 (2n1)! x
log(x) =
X
(1)n+1
n=1
(x 1)n .
arctg(x) =
X
(1)n+1
n=1
2n 1
x2n1 .
84
1.8.6.
Funciones convexas
-1
-1
-2
0.6
0.8
1.2
1.4
1.6
1.8
Anlisis Matemtico
85
3
2.5
1.5
-2
-1
0.5
en I . Entonces equivalen:
1. f es convexa.
f (xn )
fn0 (x)
86
20
0.5
1.5
2.5
3.5
-20
-40
-60
1.8.7.
Relacin de ejercicios
1.
Una caja abierta est construida con un rectngulo de cartn, quitando cuadrados
iguales en cada esquina y doblando hacia arriba los bordes. Hllense las dimensiones de la caja de mayor volumen que puede construirse con ese procedimiento
si el rectngulo tiene como lados (a) 10 y 10, (b) 12 y 18.
2.
Se desea construir una ventana con forma de rectngulo coronado de un semicrculo de dimetro igual a la base del rectngulo. Pondremos cristal blanco en la parte
rectangular y cristal de color en el semicrculo. Sabiendo que el cristal coloreado
deja pasar la mitad de luz (por unidad de supercie) que el blanco, calclense
las dimensiones de la ventana para conseguir la mxima luminosidad si se ha de
mantener un permetro constante dado.
3.
4.
5.
6.
7.
Hllense las dimensiones del cilindro de mayor volumen entre todos aquellos que
tienen la supercie lateral total constante.
8.
Anlisis Matemtico
87
de supercie) es doble para la semiesfera que para el cilindro (la base es gratis).
Determnense las dimensiones ptimas para minimizar el costo de construccin.
9.
10.
Un tringulo rectngulo cuya hipotenusa tiene una longitud a se hace girar alrededor de uno de sus catetos. Qu volumen mximo puede tener un cono engendrado
de esta manera?.
11.
12.
13.
14.
15.
Investgese la posibilidad de inscribir un cilindro circular recto de rea total mxima en un cono circular recto de radio r y altura h.
16.
17.
18.
88
19.
20.
21.
Ests diseando una lata cilndrica circular recta de volumen jo V0 , cuyo costo
considerar el desperdicio de material. No se desperdicia nada al cortar el aluminio
para la supercie lateral, pero las tapas de radio r se cortan de cuadrados de lado
2r. Calclense las dimensiones que minimizan el coste de produccin.
22.
sen(x)(n) = sen(x + n ),
n N.
2
23.
24.
Calclese, haciendo uso de un desarrollo de Taylor conveniente, un valor aproximado del nmero real con un error menor de 103 en cada uno de los casos
siguientes:
a) =
25.
70 5
b) =
e = e1/2
1
c) = sen .
2
a)
b)
f (x) = xlog|x|,
x R ,
f (0) = 0.
f (x) = x2 log|x|,
x R ,
f (0) = 0.
1.9.
89
Funciones integrables
Sumario
En esta leccin introduciremos el concepto de funcin integrable, en el sentido de
Riemann, como una evolucin natural del mtodo de exhaucin, usado por los griegos para
calcular ciertas reas, y estudiaremos sus propiedades. Enunciaremos el teorema fundamental
del clculo que relaciona la integral con la derivacin y la Regla de Barrow indispensable
para el clculo integral. Finalmente estudiaremos las funciones impropiamente integrables. El
contenido completo de esta leccin se articula de la siguiente manera:
I.9.1 Funciones integrables.
1.9.2 Ejemplos
I.9.3 Propiedades de las funciones integrables.
I.9.4 Relacin entre integracin y derivacin
I.9.5 Cmo evaluar una integral.
I.9.6 Integrales impropias.
I.9.7 Relacin de ejercicios.
Sea
e
90
Es claro que dadas dos particiones cualesquiera del intervalo [a, b] se tiene que
Por idntica razn el conjunto I es un conjunto mayorado de nmeros reales y llamaremos integral inferior de f en el intervalo [a, b] al supremo de dicho conjunto, supremo
que notaremos por
Z b
f (x)dx.
a
f (x)dx =
a
f (x)dx.
a
Si f es integrable en [a, b] dicho valor Inf S = Sup I ser conocido como la integral
f (x)dx.
a
Para mayor comodidad, si f es integrable en [a, b], acordamos los siguientes convenios:
f (x)dx =
b
Z
f (x)dx, y
f (x)dx = 0.
a
Observacin
Es fcil probar que si [a, b] es un intervalo y f : [a, b] R es una funcin
acotada, entonces f es integrable en [a, b] si, y slo si, existe una sucesin de particiones
{Pn } vericando que la sucesin {S(f, Pn ) I(f, Pn )} converge a cero.
Anlisis Matemtico
91
1.9.2. Ejemplos
1) Es fcil probar que toda funcin constante es integrable, de hecho
g(x)dx.
f (x)dx =
a
5) La funcin de Dirichlet:
f (x) =
0
1
si x [0, 1] Q
si x [0, 1] R\Q
f (x)dx = 1,
f (x)dx = 0.
Proposicin 1.9.2. Sean f, g : [a, b] R dos funciones integrables en [a, b]. Entonces
1. f + g es una nueva funcin integrable en [a, b] y se verica que
(f + g)(x)dx =
a
f (x)dx +
a
g(x)dx.
a
92
Proposicin 1.9.3. Sea f : [a, b] R una funcin acotada y sea c ]a, b[. Entonces
f es integrable en [a, b] si, y slo si, f es integrable en [a, c] y [c, b]. En caso de ser
integrables se tiene que
Z b
Z c
Z b
f (x)dx.
f (x)dx +
f (x)dx =
c
1.9.4.
Anlisis Matemtico
93
F 0 (x) = f (x).
Ejercicio: Sea F : R+ R denida por
Z x
F (x) =
1/t dt.
1
Sea f : [a, b] R una funcin integrable y supongamos que admite una primitiva
G. Entonces
Z b
f (x)dx = G(b) G(a).
a
Es claro que si f es continua, entonces, como consecuencia del teorema fundamental del clculo, cualquier integral indenida F de f es una primitiva de f . Pero
si intentamos evaluar dichas primitivas no obtenemos ninguna informacin no trivial.
Por tanto el problema de evaluar la integral de una funcin continua f , para aplicar la
Regla de Barrow, consiste en conseguir una primitiva de f susceptible de ser evaluada
en los puntos a y b.
Ejercicio: Calclese la siguiente integral:
2x3 + 1 dx.
94
Sea g : [a, b] R una funcin de clase C 1 ([a, b]) con g 0 (x) 6= 0. Si f es una funcin
continua en g([a, b]), entonces la funcin f g.g 0 es una nueva funcin integrable y
Z g(b)
Z b
f (x)dx =
f (g(t)).g 0 (t)dt.
g(a)
2xex dx.
2.
1/t dt.
1
Nota
Obsrvese que despus de esta propiedad, la funcin F : R+ R, denida por
Z x
1/t dt.
F (x) =
1
Anlisis Matemtico
95
2.
1/ xdx.
(f + g)(x)dx =
f (x)dx +
g(x)dx.
96
rf (x)dx = r
f (x)dx.
f (x)dx
g(x)dx
E incluso,
f (x)dx.
f (x)dx +
f (x)dx =
1/xdx,
1/x dx,
1/ xdx
Z
y
1/x2 dx.
limx g(x)
f (x)dx =
limx g(x)
f (g(x))g 0 (x)dx.
1
0
2x/(x2 + 1) dx.
Anlisis Matemtico
97
Z
2
1
0
/4
0
x2 ex dx,
/2
/4
2.
dx
x(log(x))2
/2
0
senx
dx.
cos2 x
Z
d) F (x) =
Z
e) F (x) =
1
dt.
1 + t2 + sen2 (t)
t
dt
1 + t2 + sen(t)
Z
f) F (x) =
b
a
tx
dt
1 + t2 + sen(t)
99
100
Proposicin 1.10.1.
1) Descomposicin en factores irreducibles
Todo polinomio Q(x) con coecientes reales y con coeciente lder igual a uno
puede escribirse en la forma:
(x a1 )n1 (x a2 )n2 ...(x ap )np (x2 + b1 x + c1 )m1 (x2 + b2 x + c2 )m2 ...(x2 + bq x + cq )mq ,
donde p y q son nmeros enteros no negativos,a1 , a2 , ..., ap , b1 , b2 , ..., bq , c1 , c2 , ..., cq
son nmeros reales, donde a1 < a2 < ... < ap son las races reales del polinomio Q
y n1 , n2 , ...np son, para cada k {1, 2, ..., p}, el orden de multiplicidad de la raz
ak ; y nalmente m1 , m2 , ..., mq son nmeros naturales.
La descomposicin anterior en factores es nica y
f (x) =
A11
A12
A1n1
+
+
...
+
+
x a1 (x a1 )2
(x a1 )n1
A22
A2n2
A21
+
+
...
+
+ ...+
x a2 (x a2 )2
(x a2 )n2
Ap1
Ap2
Apn1
+
+
...
+
+ ...+
x ap (x ap )2
(x ap )np
B 11 x + C 11
B 12 x + C 12
B 1m1 x + C 1m1
+
+
+
x2 + b1 x + c1 (x2 + b1 x + c1 )2 (x2 + b1 x + c1 )m1
B 22 x + C 22
B 2m2 x + C 2m2
B 21 x + C 21
+
+
+ ...+
x2 + b2 x + c2 (x2 + b2 x + c2 )2 (x2 + b2 x + c2 )m2
B q1 x + C q1
B q2 x + C q2
B qmq x + C qmq
+
+
,
x2 + bq x + cq [(x2 + bq x + cq )2 [(x2 + bq x + cq )mq
donde, para cada 1 i q y 1 j m1 , B ij y a1 , a2 , ..., ap , B1 , B2 , ..., Bq , c1 , c2 , ..., cq
C ij son nmeros reales. Se tiene adems que Aknk 6= 0 para k {1, 2, ..., p} y
(B jmj )2 + (C jmj )2 > 0 para j {1, 2, ..., q}.
La principal dicultad a la hora de aplicar la proposicin anterior consiste, como
ya se ha dicho, en encontrar la descomposicin en factores del polinomio Q(x). Salvado
Anlisis Matemtico
101
A
,
xc
para todo x [a, b], y donde A, c R y c no pertenece al intervalo [a, b]. En tal
caso tenemos que:
Z b
bc
f (x)dx = A.log(
).
ac
a
f (x) =
f (x) =
A
,
(x c)n
para todo x [a, b], y donde A, c R y c no pertenece al intervalo [a, b]. En tal
caso tenemos que:
Z b
1
1
A
f (x)dx =
[
].
n1
n 1 (a c)
(b c)n1
a
Bx + C
,
+ cx + d
para todo x [a, b], donde B, C, c, d R. En este caso se procede de la siguiente
forma:
Z b
Z
Z b
B b 2x + c
dx
f (x)dx =
dx
+
(C
cB/2)
.
2
2 a x2 + cx + d
a
a x + cx + d
f (x) =
x2
102
1
s
br
s
ar
s
1
br
ar
du
= [arc tg(
) arc tg(
)].
2
1+u
s
s
s
f (x) =
(x2
r(x)
,
+ cx + d)n
f (x) =
x2
ex + f
F (x)
+[ 2
]0 ,
n1
+ cx + d
(x + cx + d)
f (x)dx =
a
x2
ex + f
F (b)
F (a)
dx + 2
2
.
n1
+ cx + d
(b + cb + d)
(a + ca + d)n1
4
3
1 x2
dx.
x4 + 4x2 + 4
Anlisis Matemtico
103
x = (t) = 2arctg(t).
La funcin g que aparece es una funcin racional. De hecho,
1 t2
2t
, y sen(x) =
.
cosx =
2
1+t
1 + t2
Ejercicio: Calclese
R /2
dx
/4 sen(x)
b
a
senn (x)
dx
cosm (x)
a, b I
104
cos2 (x) =
1 + cos(2x)
,
2
sen2 (x) =
1 cos(2x)
.
2
2. Funciones trascendentes
Sea f una funcin f que es cociente de sumas y productos de la funcin ex
con ella misma. Hacemos en este caso el cambio de variable x = (t) = log(t). La
funcin g que aparece es de nuevo una funcin racional.
Ejercicio: Calcular
R2
dx
1 shx
3. Irracionales cuadrticas
Vamos a distinguir tres tipos fundamentalmente:
1) Funciones que son cociente de sumas y productos de las funciones t y
t2 1
1
En este caso hacemos el cambio de variable bien x = (t) = cost
y por
tanto la funcin g que aparece es del tipo trigonomtrico visto anteriormente,
bien x = (t) = ch(t) y la funcin g que aparece es una funcin de tipo
trascendente visto tambin anteriormente.
1
x2 1
dx.
1 t2
1/2
1
dx.
1 x2
1 + t2
Anlisis Matemtico
105
1
dx.
1 + x2
Nota
au
,
b2 4ac
resultanto
2
resultando una integral del tipo t + 1.
2
1
1
dx.
x+ x
106
cos x dx
dx
= ,
= 2,
= ,
x
x
2
2
2
1 senx
0
e + e
Z 1
Z0 + 9 xx
dx
e
= 2,
log(x) dx = 1
x
0
0
107
Sumario
En esta leccin presentaremos varias aplicaciones del clculo integral. La idea que
subyace en todas las aplicaciones que vamos a ver en esta leccin es que la integral
puede verse como un procedimiento de "paso al lmite"de la suma. As mismo, conviene
sealar que en esta leccin nos basta con la idea intuitiva del concepto de rea y que ms
adelante deniremos con todo rigor. El contenido completo de esta leccin se articula
de la siguiente manera:
I.11.1 La integral como "paso al lmite".
I.11.2 Clculo del rea de un recinto plano.
I.11.3 Clculo de longitud de una curva.
I.11.4 Clculo del volumen y del rea de un slido de revolucin.
I.11.5 Relacin de ejercicios.
Rb
a
b
a
108
Rb
a
b
a
k=1
} = 1/2, ya que
A modo de ejemplo podemos probar que limn { 1+2+...+n
n2
limn {
n
X
Z
n
X
k/n } = limn { (k/n)1/n} =
k=1
k=1
xdx,
0
1.11.2.
Anlisis Matemtico
109
Es ahora fcil probar que el rea de dicho recinto A(R(f, g))), verica
A(R(f, g)) = |
f (x) g(x)dx|.
a
2
Considrense
por ejemplo las funciones f, g : [0, 2] R, denidas por f (x) = x
y g(x) = x, y el recinto R(f, g), comprendido entre las correspondientes grcas
0.5
1.5
2
A(R(f, g)) = |
x xdx| + |
x2 xdx| = 3 4/3 2.
0
1.11.3.
110
Si existen dos funciones de clase C 1 en el intervalo [a, b] tales que (t) = (f (t), g(t)),
entonces
Z bp
l() =
[f 0 (x)]2 + [g 0 (x)]2 dx.
a
dist((tk1 ), (tk )) = dist[(f (tk1 ), g(tk1 )), (f (tk )), g(tk ))] =
p
= (f (tk1 f (tk ))2 + (g(tk1 g(tk )2 ,
pero, por el teorema del valor medio, sabemos que existen sendos xk e yk tales
que
f (tk1 ) f (tk ) = f 0 (xk )(tk tk1 ),
y
luego
p
dist((tk1 ), (tk )) = (tk tk1 ) (f 0 (xk ))2 + (g 0 (yk ))2 ,
y por tanto
l(P ) =
n
X
p
(tk tk1 ) (f 0 (xk ))2 + (g 0 (yk ))2 ,
k=1
por lo que nalmente basta aplicar que la integral no es ms que un paso al lmite.
En particular si f C 1 ([a, b]) la longitud de su grca,
Z bp
l(Graf (f )) =
1 + (f 0 (x))2 dx.
a
Sx (f ) = {(x, y, z) R3 ; a x b, y 2 + z 2 f 2 (x)}.
Anlisis Matemtico
111
-1
-2
0
1
2
3
4
rea lateral
Se puede probar que el "rea lateral"de Sx (f ), A(Sx (f )) se obtiene mediante
la frmula:
Z b
p
A(Sx (f )) = 2
f (x) 1 + [f 0 (x)]2 dx.
a
Para justicar la frmula anterior basta considerar para cada particin del
intervalo [a, b] y cada subintervalo que sta genera el tronco de cono correspondiente. Por ejemplo considrese la semiesfera de radio uno,
112
0.5
-0.5
-1
0
0.25
0.5
0.75
1
0.5
-0.5
-1
0
0.25
0.5
0.75
1
Obsrvese que la suma de las reas laterales de estos dos troncos de cono es
menor que el rea lateral de la semiesfera y que, a medida que tomemos particiones
con ms puntos, la suma de las reas laterales de los correspondientes troncos de
cono sigue siendo menor que el rea lateral de la semiesfera pero cada vez ms
ajustada a sta.
En tal caso, el rea lateral se obtiene como paso al lmite de la suma de las
reas laterales de los correspondientes troncos de cono, sin ms que usar el hecho
de que el rea lateral de un tronco de cono es (R + r)s, donde R es el radio
mayor, r el radio menor y s es la "generatriz truncada".
Anlisis Matemtico
113
Volumen
Podemos ahora considerar el volumen del slido generado por giro alrededor del
eje x. Es fcil ver que el "volumen"de S(f ), V (Sx (f )) se puede obtener mediante
la frmula
Z
b
V (Sx (f )) =
f 2 (x)dx.
V (Sy (f )) =
2xf (x)dx.
a
114
x4 + 48
en [2, 4]
24x
9.- Idntico ejercicio que el anterior para la regin limitada por las rectas y = 1,
x = 1 y la curva y = x3 + 2x + 1.