CALCULO I Teoria y Problemas de Andlisis Matematico en una Variable Alfonsa Garcia Lépez Fernando Garcia Castro Universidad Politécnica de Madrid Universidad Politécnica de Madrid Andrés Gutiérrez Gomez Antonio Lépez de la Rica Universidades Politécnica de Madrid y San Pablo C. E. U. Universidad Pontificia de Comillas Gerardo Rodriguez Sanchez Agustin de la Villa Cuenca Universidad de Salamanca Universidades Politécnica de Madrid y Pontificia de CamillasPedidos a: LIBRERIA I.C. ). Universidad Pontificia de Comillas, c/ Alberto Aguilera, 23. Teléf. (91) 542 28 00, ext. 112. Fax (91) 559 65 69. 28015 MADRID. DISTRIBUIDORA A.G.L.I., S. L. c/ Islas Marshall, 1. Teléf. (91) 373 66 40. Fax (91) 373 27 40. 28035 MADRID. ® DERIVE es una marca registrada de Soft Warehouse Inc. ® Graficas obtenidas con MATHEMATICA, marca registrada de Wolfram Research Inc. Todos los derechos reservados, incluyendo el derecho a reproducir este lira a cualquier parte de él, ineluida la portada, en cualquier forma, sin el permisa escrito de ios autores. No est permitida la repraducci6n total 0 parcial de este libro, ni su tratamiento information, ni la ‘transmision de ninguna forma o por cualquier medio, ya sea electrénica, mecénica, por fotocapia, por registro u otros métads, sin el permiso previo y por escrito de los titulares del Copyright. © Alfonsa Garcia, Fernando Garcia, Andrés Gutiérrez, Antonio Lépez, Gerardo Rodriguez y Agustin de la Villa. Disefio de portada: José Angel Sinchez Barreras. La composicién tipogriica ha sido realizada con T,X por F, Garcia Mazario y 0, Sanchez Benavente. Edita: CLAGSA. Depésito legal: M. 20411-1993, ISBN: 84-604-6814-3, 0 Imprime: EGRAF, S. A. o/ Luis |, 6-7. 28031 MADRID,Dedicatoria: A nuestros alumnos,Prélogo: Oiga, y alvido, Veo, y recuerdo, Hago, y entiendo. Este es un principio central del aprendizaje en cualquier actividad. Pero en el apren- dizaje matemitico, este principio adquiere una posicién mucho mas relevante. La matemitica es, fundamentalmente, saber hacer, un saber de método mucho mas que un saber de contenido. Inchuso el contenido, las definiciones y los teoremas de una teorla matemética pueden, y deben, interpretarse a la luz del objetivo principal de Ia actividad matematica, que consiste en el enfrentamiento con situaciones complejas del mundo real que admiten un tratamiento racional muy peculiar, la matematizacion, que comporta una simbolizacién adecuada, una manipulacién racional rigurosa, para llegar al dominio efectivo de In realidad que trata de explorar. Los conceptos y definiciones de una teorin matemitica no son sino encapsulaciones, reificaciones y cristalizaciones de ciertas constelaciones de ideas que de forma natural aparecen repetidamente en la exploracién activa de tal campo y que, por tal razén, merecen que se les otorgue una entidad féeil de percibiz como un todo, Los teoremas vienen a ser, desde esta perspectiva activa de la matematica, domo los recordatorios de ciertas relaciones entre tales conceptos que vale la pena destacar por su relevancia y constante utilidad en la resolucién de problemas en el campo, a fin de tenerlos bien presentes, como herramientas ya construidas, especialmente utiles cuando surgen problemas intrincados. Los libros centrados en la actividad de resolver problemas de matematicas pueden legitimamente presentar aspectos diferentes. Los libros de problemas destinados a quien pretende adquirir una especial pericia en el manejo novedoso y original de las herramiien- tas matematicas y posiblemente en Ia elaboracidn de nuevos métodos y técnicas habrén de poner un fuerte énfasis en el sefiorie profundo, conceptual y practico, de los principales conceptos, métodos de pensamiento, teoremas y técnicas del campo de estudio respectivo. Las colecciones de problemas destinadas fundamentalmente al usuario de las matemiti- cas, que pretende adquirir una intensa destreza en el manejo versdtil de las herramientas matemuticas no necesitarén insistir tanto en la profundidad, sino mas bien en la variedad, diversidad y amplitud de utilizacién de tales herramientas en circunstancias diversas. Su in estard centrada ¢ interesada més en cémo funciona Ja herramienta en diversidad de circunstancias y cémo hay que manejaria que en cémo esta. herramienta se ha construide y como se podria modificar a fin de ser efectiva en otras circunstancias mas o menos ale- Jadas de las normales. Este segundo objetivo es més adecuado para aquél cuyo interés estd centrado en la posible fabricacién de herramientas novedosas en el campo de la matemitica,La presente obra se ditige fundamentalmente al usuario de la matematica, sin olvidar una breve presentacién, en el momento adecuado, de los aspectos més importantes de la teoria. Esta construida con un sabio discernimiento en la seleccién de temas, con una acet- tada gradacién de las dificultades de su tratamiento, y pensando siempre en reportar la méxima utilidad \diante que quiere obtener una pericia en el manejo de las principales herramientas del andlisis bisico. Los recordatorios de los principales clementos tedricos, la multitud de problemas tipicos resueltos en detalle, la presencia de ejercicios de autoe- valuacién, Ie gran riqueza de ejercicios propuestos bien graduados, constituyen magnifieos aciertos, que a mi parecer colocan esta obra bien por encima de otras semejantes. La presente obra constituye una aportacién muy vitil y bienvenida en el campo de la en- sefanza del andlisis matemdtico en nuestro pais y con toda seguridad resultara. de extraor- dinario interés para estudiantes y profesores de los cursos iniciales de andlisis matematico en Facultades y Escuelas Técnicas. Miguel de Guaman Catedrético de Anilisis Matemitico, Universidad Complutense de Madrid. Madrid, Junio 1993. viNota de los autores El presente libro pretende abordar el estudio de la mayoria de los conceptos del Anélisis de funciones de una variable. Nuestro objetivo ha sido escribir algo que pueda resultar de maxima. utilidad para los alumnos. Pensamos que se trata de un texto versdtil, euyo uso puede ser variado. Se puede utilizar como texto basico, para un primer curso de Céleulo en estudios de Ciencias o Tecnologias, entendiéndolo como una “partitura” que cada profesor interpreta a su es- tilo, También se puede utilizar como texto complementazio, en el que encontrar una. gran cantidad de problemas y ejercicios tanto propuestos como resueltos. En el libro se pueden apreciar dos partes. En la primera se presentan los métedos convencionales del Andlisis Matemético, y en la segunda, algunos problemas son enfocados desde el punto de vista del Célculo Numérico. Se ha pretendido homogeneizar todos los cap{tulos, empezande con un resumen tedrico en el que se presentan, de forma bastante exhaustiva, las definiciones y resultados que se van amunejar. A veces, los eonceptos introducides se ilustran eon gréficas, notas, observaciones y ejemplos. Posteriormente, se enuncia un test de evaluacién con el que pretendemos que los estudiantes refuercen sus conocimientos teéricos, A continuacién, comenzamos el apartado de problemas resueltos, que se han secuenciado en un orden “cronolégico” de los tépicos del tema y, dentro de un mismo tépico, en orden creciente de dificultad. Acaba el capitulo con una coleccién de problemas propuestos que hemos intentado que tengan una dificultad similar a la de los problemas resueltos. En la exposicién teérica no se presentan las demostraciones de los teoremas, ya que no pretende ser mas que un guién que puede seguir el profesor en clase, decidiendo por si mismo como presentar las demostraciones que le parezean mds interesantes, y que puede encontrar en cualquier texto convencional, dado que los resultados presentados son bastante dlsicos. Entendida la filosofia, no debe sorprender que no renunciemos al tratamiento de problemas de caracter tedrico, que aparecen junto con los referidos a las miltiples aplica- ciones del Andlisis. Hay capitulos cuyas caracteristicas nos han levado a omitir alguna de las partes antes mencionadas. Asf, no aparecen test de evaluacién en los Capitulos 10 (Curvas en paramétricas y polates), 11 (Céleulo de primitives), 15 (Aplicaciones geométricas y fisieas de la integral) y 16 (Ecuaciones diferenciales). Tampoco aparece explicitamente en el esquema teérico de] Capitulo 15 ninguna referencia a las aplicaciones fisicas de la integral, enuneiando las formulas necesarias en el problema en que aparecen, Al tratar, creemos, mas contenides que los usualmente impartidos en un curso estdn- dar de Céleulo de una variable, hemos pretendido que cada Capitulo o bloque de Capitulos: continuidad, derivabilidad, integrabilidad, sean autocontenidos para poder facilitar su es- tudio separadamente.Hemos seguido una secuenciacién logica de contenidos, pero desde luego no la tinica posible. La pélémica sobre la “colocacién” de las series numéricas, el célculo de primitives y otros temas, creemos que es natural gl escribir cualquier libro de Caleulo. Hemos procurado que resulte facil la lectura del libro aun cuando no se respete el orden establecido. Se han inchuido temas poco frecuentes en la mayorfa de los textos de Calculo, pero que creemos tienen interés. Entre dichos temas, podriamos citar: la representacién de curvas en paramétricas y polares, el estudio de las integrales elipticas y la resolucién de ciertas ecuaciones diferenciales. La omisién de la lectura de uno 0 varios de estos Capitulos no impide el seguimiento del resto del libro. Respecto a los contenidos, nos gustaria hacer unas breves reflexiones. Los tres primeros Capitulos se dedican a la introduecidn de los miimeros reales y complejos, una breve intro- duceién a la topclogia y repaso de las propiedades bisicas de funciones elementales. Las sucesiones y series son tratadas en los Capitulos 4 y 5 (Sucesiones y Series numéricas) y en el 17 (Sucesiones y Series funcionales). Limites y continuidad de funciones son ana- Tizados en el Capitulo 6, estudiando sus derivabilidad en los Capitulos 7, § y 9. Aspectos relacionados con la integrabilidad aparecen en los Capitulos del 11 al 16, ambos inclusive, De estos Capitulos, podriamos ealificar como de eardcter més précticn el 11 (Caleulo de primitivas), el 15 (Aplicaciones geométricas y fisieas de la integral) y 16 (Ecuaciones dife- renciales). Aspectos més tedricos aparecen en los Capitulos 12 (Integral de Riemann) y 14 (Integrales impropias), El Capitulo 13 (Integrales elfpticas) est a caballo entre ambos estilos. ‘Los problemas numéricos que s¢ tratan corresponden a cuatro bloques: Resolucién de Ecuaciones no lineales (Capitulo 18), Interpolacién (Capitulo 19), Integracién (Capitulo 20) y Ecuaciones diferenciales (Capfwulo 21), Presentamos para el tratamiento de estos problemas los métodos numéricos mas sencillos. Para finalizar, algunos aspectos logisticos. Al principio del libro, aparece un indice tematico y un glosario de simbolos y notaciones por orden de su aparicidn en el texto. Al final del libro, incluimos unas respuestas a los test de evaluacién, También se ha confeccionado un indice alfabético. La bibliografia citada. es la utilizada en mayor 0 menor medida para la elaboracién del libro. Queremos seiialar que han side muy valiosas para nosobros todas las sugerencias, criti cas, erratas sefialadas y comentarios sobre la versin preliminar, realizades por profesoxes y alumnos, a los que desde aqui damos las gracias. ‘También agradecemos, de antemano, las que se nos hagan llegar en el futuro. Expresamos nuestra, mayor gratitud a Francisco Gureia Mazarfo y a Orestes Sanchez Benavente por la tarea extremadamente laboriosa del mecanografiado e introduecién de sucesivas modificaciones, A ellos se debe In esmerada presentacién de la obra, Finalmente, nuestro mis sincero agradecimiento a D, Miguel de Guzmén, por su magnifico prélogo. Los autores. Madrid, junio 1993. viiiLista de Simbolos Simbolo, Deseripcién Pag. N conjunto de los niimeros naturales 3 {a,by...} conjunto formade por a, by ... 3 P(n) P(n) es cierto si el mimero natural n verifica la propiedad P| 3 Zz conjunto de los mimeros enteros 4 € pertenece a 4 R conjunto de los mimeros reales 4 => implicacién 4 ff tal que 4 v para todo 4 4 existe 5 Q conjunto de los niimeros racionales 5 lel valor absoluto de # 5 = doble implicacin 5 c contenido 5 [o, 4] intervalo cerrado 6 (a,8) intervalo abierto 6 {a, 5), (¢,] intervalos semiabiertos, semicerrados 6 inf infimo. 8 sup supremo 6 oo infinito 7 (a,00) intervalo no acotado o semirrecta 2 > a 7 {2,00} semirrecta z >a 7 (-e0, a) semirrecta 2 Bia) d(2,y) distancia de # a y 37 B(z0,7) bola abierta de centro 2 y radio r 38 B(z,r) bola cerrada de centro zp y radio r 38. A interior de A 39 Ext A exterior de A 39 Fra frontera de A 39 A adherencia de A 39 CA complementario de A 39 Al conjunto derivado de A 40 fAcR funcién f con dominio en A y valores en RR 58 Dom f dominio de f 58 Im f imagen de f 53 F(z) parte entera de x 54 gof composicién de las funciones f y g 56 i funcién inversa de f 56 sen seno de x 60 cose coseno de x 60 tg tangente de x 61 aresen arcoseno de x 63 arceos.r areocoseno de x 63, arctg arcotangente de 2 63 log logaritmo neperiano de 65 log, logaritre en base a de x 65Simbolo Deseripeién senhz seno hiperbélice de = cosh’ coseno hiperbilico de x tghr tangente hiperbélica de 2 argsh funcién inversa de senhz argh: funcidn inversa de cosh x argth= funcién inversa de tgh (annex sucesién de ntimeros reales noo ‘fa tiende a infinite kim oy limite de la. sucesién (ay) nate (any) subsucesién de (an) Jim an Limite superior de (an) lim an limite inferior de (an) On & By lim @ =0 n=00 by (en)nenv sucesién de nimeros complejos + Gp serie de ntimeros reales (Sa) ucesién de las sumas parciales de la setie J og jim S,= SER Re Ta nt fw tim fle) lim f(z) ia IG) Jim f(e) e ng verifica P.4 Conjuntos numéricos 2. Axiomatica de los mimeros reales 2.1. Introduceién Se considera que el lector ya ha manejado anteriomente los mimeros reales y que conoce que éstos admiten una expresién decimal de la forma. ay 'ayag...dp..., @EZ y OSas9 VieN. Si las cifras a; a partir de una dada se repiten de forma periédica, el mimero es racional ¢ irracional en caso contrario. Suponemos que también es eonocido que todo mimero racional se puede expresar de forma : pgez y ; fraccién irreducible y la forma de hacer corresponder las expresiones decimales y en forme-de fraccién de un rimero racional (véase el problema 3). Enuneiaremos, por tanto, sélo la axiomética de los mimeros reales a través de sus propiedades aritméticas, de ordenacién, arquimediana y densidad de los racionales. 2.2. Propiedades aritméticas de R Elconjunto R, con las operaciones suma y producto usuales es un cuerpo conmutativo, es decit i) VabeR at+bER a beR. ii) Vahc€ R (a+8)te=a+(b+c (a-b)-e=a-(8-c). fii) VabeR atb=bta ab=ba, iv) VaeR atO0=a, a-l=a v) Yae R, (a) tal que a+(-a)=0 (—aesel puesto de a). vi) ae R, a40 Bor! = 2 tal que a0 =1. (a7 es el inverso de a). vii) Va,bc€ R a-(h+c)=a-bt+a-c 2.3, Propiedades de ordenacién de R El conjunto RR de Jos mimeros reales es umn cuerpo totalmente ordenado, es decir, la relacién de orden usual verifica )Sia OK0 lel= = 2 siz <0. OBSERVACIGN: Cuando sea preciso manejar el valor absoluto de una expresién, conviene analizar por separado los casos en que Ja citada expresin tenga signo positivo y negativo. 3,2. Propiedades del valor absoluto Sean x ¢ y mimeros reales cualesquiera, x,y € IR. Se verifica i) |e] 20 Vee R. Ademés |z[=0 <> x=0. ii) —|z| <2 <|a|. ii) | Sy <> -ySasy. iv) etuln41, vn EN. 2. Six es racional, m+ 2 es irracional. 3. La suma de dos atimeros irracionales puede ser racianal. 4, Sia es racional (a # 0) y 8 es irracional, entonces ot 8 es racional. 5. Siendor b+x.6. Problemas Resueltos 13 . 101 Siz,y€ R-{0} conc 0, entonces |zy| =<|yl. 9. Si ty =sup A, siendo A CIR, entonces 36 > 0 tal que xo +6 no es cota superior de A. 10. El conjunto (0,1) tiene minimo pero no maximo. lL, |r-3)>1 ee ce (2,4) 12. El conjunto {x € BR / 2? >3} no estd acotado, 13, La parte imaginaria de —** es. 14. Los mimeros complejos 1+ i, 1—i y el erigen forman un tridngulo recténgulo. 15, Arg(zi) = 3 +Argz Wz € €, siendo Arg el argumento principal. 16. Para todo niimero complejo z #0, z+ es real y z— 7 es imaginario puro. 17, (144) es un nimero complejo de médulo 32. 18. Siz € € yz =8 entonces z = 2. 19. Las raices n-ésimas de un nimero complejo tienen todas ef mismo médulo. 20. La ecuacidn 2° + 64 tiene sus rafces sobre un hexdgono regular. 21. Para todo z € € es |e*| = el 22. Para todoze C es = EF, 23. Dos Jogaritmos de un mismo niimero complejo difieren en un multiplo de 2ri PROBLEMAS RESUELTOS 1. Demostrar aplicando el principio de induccién las relaciones siguientes mor) Yn eV. a) l+2+--4¢n= byw 4, es decir, 2" < ni, debemos probar que se verifica 2"+1 < (n+ 1)!. Pero, ort 22.9" < In! <(n+1)n con lo que queda demostrada la relacién. (La primera desigualdad es consecuencia de la validez de la relacién 2" 4, ya que el primer numero natural que verifica la relacién es ny = 4. c) Para n= 1 la igualdad es cierta puesto que los dos miembros dela férmula valen 1. Supuesta cierta la igualdad para n, para n +1 se debe comprobar (42) 22 t) 4a(Pt) san(S) eee (RT) ate tae Aplicando las propiedades de los mimeros.combinatories a la expresién anterior se obtiene ()+@#l0)+@) hel snl(.t3) Ceo n+)! Teniendo en cuenta que n+1=n(" n Ly (") y agrupande apropiadamente los OOOO f@ealer0-0(2,) 0)Problemas Resueltos 15 Al ser el primer sumando (1 +41)" y aplicando la hipétesis de induccién al segundo sumando obtenemos 2 49n- 2m) = 9-1. (9n 49) = (n $1)-2" luego la férmula es cierta para todo n € IN. 2. Dado un segmento de longitud unidad demostrar que el segmento de longitud ii se puede construir con regia y compas para todo n € IN SOLUCION: Para n= 1, V1 = 1 trivialmente se obtiene un segmento de longitud 1. Supuesto que se puede construir /n, también se puede construir y/n + 1 al ser y/n +1 la hipotenusa del triéngulo rectangulo de catetos 1 y /n. Por tanto, al poder construir dicho tridngulo con regla y compas se podré construir y/n +1. 3. Expresar en forma de fraccidn los ndimeros racionales siguientes a) 16,42 5) 4,32 ¢) 25,2263 SOLUCION: a) 16,42 = ue &e b) Observemos que 4,33 — 4 = 0,39 y que 100 - 0,39 — 0,32 = 32, es decir, 99 - 0,33 = 32, por lo que i 082 = 5- Asi, ag. 2 _ M100 -1) +32 ade + © lo que es lo mismo awe 2-4 B=. c) Con un razonamiento anilogo al anterior se obtiene = _ 252263- 2592 249741 27749 25.2203 = “Song = “9000 ~ 00"16 Conjuntos numéricos 4, Demostrar que siendon € IN, \/n es un ndmero natural o irracional. SOLUCION: Razonamos por reduceidn al absurdo, Supongamos que /h ¢ IV y que yi ® siendo q Pee, ¢ 2 2y F fraccién irreducible. Descomponiendo n, py q en factores primos se tendré n= ning? ng donde alguno de los exponentes debe ser impar, pues 4/n ¢ IN, p= pin De la igualdad yn = 5 se deduce que ng? = p?, o lo que es lo mismo: a= gay ay a = GM gh gh = pip} agit Ming Pero, teniendo en cuenta que la descomposicién en factores primos de un niimero es ‘inica, esta igualdad es absurda, pues en el primer miembro hay algiin factor primo elevado aun exponente impar mientras que en-el segundo miembro todos los factores estan elevados a exponentes pares. Con esta contradiccién queda demostrado que y/n debe ser natural o iracional. 5. a) Encontrar un neimero a tal que a2 sea irracional y a sea racional. b) Encontrar dos nuimeros irracionales a y 8 tales que sean racionales su suma a+ fy su producto a. SOLUCION: a) @ debe ser irracional ya que en caso contrario a? seria racional, Escogiendo a = Y2 se tiene que a? = 9 es irracional y at = 2 es racional. b) Pueden servir como solucién a =2+ y2y 8 =2— 2. Se tiene quea+f=4y a-§ =(24+ V2)(2— V2) =4-2=2. Nova: . El ejemplo anterior nos muestra que Jas operaciones suma y producto no son cerradas en el conjunto de los niimeros irracionales,