Educaciéw poo todoy Educacion pore todor no es un proyecto lucrativo, sino un esfuerzo colectivo de estudiantes y profesores de la UNAM para facilitar el acceso a los materiales necesarios para la educacién de la mayor cantidad de gente posible. Pensamos editar en formato digital libros que por su alto costo, o bien porque ya no se consiguen en bibliotecas y librerias, no son accesibles para todos. Invitamos a todos los interesados en participar en este proyecto a sugerir titulos, a prestarnos los textos para su digitalizacién y a ayudarnos en toda la labor técnica que implica su reproduccién. EI nuestro, es un proyecto colectivo abierto a la participacién de cualquier persona y todas las colaboraciones son bienvenidas. Nos encuentras en los Talleres Estudiantiles de la Facultad de Ciencias y puedes ponerte en contacto con nosotros a la siguiente direcci6n de correo electrénico: eduktodos@hotmail.com http://eduktodos.dyndns.orgSuplemento del CALCULO INFINITESIMAL CALCULUS Michael Spivak Universidad de Brandeis Be LORIAL REVERTE, S. A. a-Bogota: eta Aires-Caracas- México MCMLXXIVTitulo deta obra original: Supplement to Calculus Edicién original en lengus Ingiese publicade por: W. A. Benjamin, Inc., New York Copyright © by W. A. Benjamin, Inc, Version espefola por el: Dr. Bartolomé Frontera Marqués Doctor Ingeniero de Montes, Doctor en Ciencias Mateméticas, Profesor Adjunto de Eetadistica Matematica y Célculo de Probabilidades en la Universidad de Zeragoza Propiedad de EDITORIAL REVERTE, S. A. Encarnacion, 86 Barcelona (12) Ninguna parte del material cubierto por este titulo de propiedad literaria podré reproducirse en forma alguna sin el previo permiso por escrito del editor. Todos los derechos reservados Edicién en espafol © EDITORIAL REVERTE, S. A., 1974 Impreso en Espafia Printed in Spain ISBN - 84 - 291 - 5143 - 5 Dep. legal 8/23:110 UTOCLUS - Népoies, 200 - BarcelonaPrélogo Este libro contiene las soluciones de todos los problemas de «Calculus», excepto aquellos que ya vienen resueltos al final del mismo texto. Las solucio- nes fueron redactadas durante un periodo (muy desagradable) de dos meses y por fuerza ha tenido que haber, aparte de abundantes erratas, algunos erro- res mds sustanciales. Los errores de cdlculo deben ser, por lo menos, fdciles de detectar, ya que la mayor parte de los cdlculos son desarrollados con detalle. Cuando se trate de demostraciones las dificultades serdn mayores, debiéndose ello en particular a que han sido expuestas con una concisién que contrasta algo con el estiio del texto. Esto no ha sido motivado sdlo por una economia de espacio, sino que también ha influido la consideracién de que los libros de soluciones deben utilizarse sdlo como tiltimo recurso y de que muchas veces es mds facil encontrar una demostracién por uno mis- mo que captar la escrita por otro. En alguno de los tiltimos capitulos se descubrieron algunos errores en los problemas originales, demasiado tarde para poder ser corregidos, cuando se estaban escribiendo estas respuestas; confio que las soluciones revelen todos los errores que hubieran podido pasar - desapercibidos para el lector. M.S.CAPITULO 1 1. Gi) (9) (% + 9) = [x + (—y)] & + 9) = Hx + 9) + (—y) FY) = x(x + y)— [yx + y)] = 2 + xy—Dyx t+ ¥*] =e 4+ ay—ay—ya tay (iv) (xy) (8 + xy +) = X08 + xy + Y)— Ly + xy + ¥*)1 Het ey + xye—[yet xy t+ yy] = ey (v) (ey) 4 $y Ht xy + +) = x(x xh ty po. fey $y) — [y(t + xy tb xy? $y") Sab tty $b yh + yt Ley +t tb xy + yt] = ty (Utilizando la notacién del capitulo 2, esta demostracién puede escri- birse como sigue: aa aa na (xy) XD xy ht = xO xyes) — yO ty )] i=0 j=0 d=0 nea aa xt YE xttyts Palys 4. yn] jno fat ; a ce = att YL xitym ti PP gtttye cee 4 ye] iso wo (poniendo k = j—1) = ay", Para una demostracién formal hace falta un esquema de este tipo, en el cual la expresion (xt + amy +... + xy"? + y™") se sustituye por el simbolo z x’y-1-1, Digamos de paso que hemos utilizado otras a manipulaciones justificables todas ellas mediante razonamientos in- ductivos.) Sprvax 1 13. (iv) (a/b) (¢/d) = (ab) (cd) = (ac) (bd) = (ac) (bd)~ (seguin (iii) = (ac)/(bd). 4. (ii) Todo x. (iv) x>3 0x<1. (vi) «>[-14+ ¥5]/2 0 x<[—1—¥5]/2. (viii) Todo x, ya que x24 x +1 = [x + (1/2)? + 3/4. (x) x>V2 0 x< 2. (xii) x<1. (xiv) x>1 0 x<—1, 5. (ii) b—a esta en P, de modo que —a—(—b) esta en P. (iv) boa est en P y c esta en P, de modo que c(b —a) = be —ac esta en P. (vi) Sia>1, entorices a>0, de modo que a’> <1, segin la parte (iv). (viii) Si a= 0 0 c =0, entonces ac = 0, pero bd>0,-con lo que ac < bd. En otro caso tenemos ac < be < bd al aplicar la parte (iv) dos veces. Si ab. Pero si a=b, entonces a = b*, y si a>b >0, entonces a>’, segin la parte (ix). (x 6. Si a0, con lo que @ + b*> 2ab, @ + 2ab + b?> 4ab, (a + bP > 4ab, de modo que a+ b>2V/ab. a= =b. 1. (a) Six>0e y0 e y"<0 (puesto que n es impar) y las relaciones andlogas se cumplen si x <0 e y>0; ninguna de las dos alternativas podra por lo tanto ser valida si x* = y". Ademas, si x"=y" y xy <0, entonces (—x)" = (—y)"; asi pues, si el enuncia- do es valido para numeros positivos, entonces — x = — y, y en conse- cuencia x = y. Basta pues considerar el caso x,y > 0. Si esto ocurre, x0 0 x,y <0, entonces x = y, como en la parte (a). Si x<0 e y> 0, entonces (— x)" = y", ya que n es par, de modo que —x = y; lo andlogo vale si es x>0 e y<0. . Dos aplicaciones sucesivas de P’12 hacen ver que si a0; ya que si—a<0 se cumpliera, entonces 0 = a + (—a)<0, en contradiccién con P10. En consecuencia, cualquier nimero a satisface exactamente una de las con- diciones a= 0, a>0, a<0, la ultima de las cuales equivale a —a>0. Esto demuestra P10. Finalmente, P’13 hace ver que si 02 (la suma de las distancias desde x a 1 y a 2, es igual a 1 precisamente cuando 1< x <2). (vi) Ningun x. (viii) Si x> 1 0 x<—2, entonces la condicién se convierte en (x1) (x+2)=3, 0 2+x—5=0, cuyas soluciones son (—1+4 /21)/2 y (—1—21)/2. Puesto que el primer valor es >1 y el segundo es <—2, ambos son soluciones de [x—1| + |x-+2|=3. Para —2 y, y el mismo tipo de razonamiento vale para obtener min (x,y). Aplicando lo anterior se obtiene también, +24 /ly— +z+|y—z -2tetbod, pretpod max (x, y, z) = max (x, max (y, z)) = 3 _ lyme] +yt+zt 2x4 [yt zt ly—z|—2e] = a . 14, (a) Si a>0, entonces |a| = a =—(—a) = |—a|, ya que —a < 0. Susti- tuyendo a por —4a se obtiene la igualdad para a< 0. (b) Si |a|0. Pero |a|0,y Por supuesto a Sb sia <0. /Andlogamente, |a| <6 significa que —a< b, y en consecuencia —b o. Asi pues, —b Ca0, mientras que | a| =—a0. Pero esto implica que x* + xy + Y>0, contra lo supuesto. (c) Partiendo de 422 + Bxy + dy? > 0, 4x2 + Oxy + dy? <0, se seguiria que 2xy >0, en contra de la desigualdad supuesta, lo mismo que en la parte (a). La otra desigualdad se trata de modo andlogo.