C A LC U LU S

M . S PI VA K
3 EDI C I N ( 4 EDI C IN ORIGINAL )

Barcelona Bogot Buenos Aires Caracas Mxico

Registro bibliogrfico (ISBD) SPIVAK, MICHAEL [Calculus. Espaol] Calculus / Michael Spivak ; versin espaola traducida por Jos Mara Oller Sala y Luis Serra Cam. 3 ed. Barcelona : Revert, 2012. XIV, 680 p. : il. ; 25 cm. Traduccin de: Calulus, 4 ed. ndice. DL B.19524-2012. - ISBN 978-84-291-5182-4 1. Anlisis matemtico Clculo. I. Oller Sala, Jos Mara, trad. II. Serra Cam, Luis, trad. III. Ttulo. 517

Ttulo de la obra original: Calculus. Fourth Edition Edicin original en lengua inglesa publicada por: Publish or Perish, Inc. PMB 377, 1302 Waugh Drive, Houston, Texas 77019. U.S.A. Copyright 1967, 1980, 1994, 2008 by Michael Spivak. All Rights Reserved Tercera edicin en espaol: Editorial Revert, S. A., 2012 ISBN: 978-84-291-5182-4 Versin espaola traducida por:
Jos Mara Oller Sala Catedrtico de Estadstica de la Universidad de Barcelona

y
Luis Serra Cam Catedrtico de Gentica. Profesor Emrito de la Universidad de Barcelona Correccin de estilo: Ana Fernndez Saiz Maquetacin: Mercedes Aicart Martnez Diseo de la cubierta: David Kimura + Gabriela Varela

Propiedad de: EDITORIAL REVERT, S. A. Loreto, 13-15. Local B 08029 Barcelona. ESPAA Tel: (34) 93 419 33 36 Fax: (34) 93 419 51 89 reverte@reverte.com www.reverte.com
Reservados todos los derechos. La reproduccin total o parcial de esta obra, por cualquier medio o procedimiento, comprendidos la reprografa y el tratamiento informtico, y la distribucin de ejemplares de ella mediante alquiler o prstamo pblicos, queda rigurosamente prohibida sin la autorizacin escrita de los titulares del copyright, bajo las sanciones establecidas por las leyes.

Impreso en Espaa - Printed in Spain ISBN: 978-84-291-5182-4 Depsito legal: B.19524-2012 Impreso por Liberdplex, S. L. U.
# 1386

Dedicado a la Memoria de Y. P.

Prefacio
Considero a cada hombre como un deudor a su profesi on, y ya que de ella recibe sustento y provecho as debe procurar mediante el estudio servirle de ornamento y ornato. F RANCIS BACON

Prefacio a la primera edicin

Cada aspecto de este libro se ha visto inuido por el deseo de presentar el C alculo no s olo como un preludio sino como el primer encuentro real con las matem aticas. Como los fundamentos del an alisis constituyen el marco en el cual se desarrollan las formas modernas del pensamiento matem atico, el C alculo deber a ser el lugar donde esperar, m as que evitar, el reforzamiento de la percepci on matem atica mediante la l ogica. Adem as de desarrollar la intuici on del estudiante para la comprensi on de los hermosos conceptos del an alisis, es igualmente importante convencerle de que la precisi on y el rigor no son disuasorios para la intuici on ni tampoco constituyen un n en s mismos, sino que representan la manera natural de formular y pensar sobre las cuestiones matem aticas. Este objetivo implica una visi on de las matem aticas que, en cierto sentido, se intenta defender a lo largo de todo el libro. Independientemente de lo bien desarrollados que ste tiene puedan estar determinados temas, los objetivos del libro se alcanzar an s olo si e xito en su totalidad. Por esta raz e on, tendr a poco valor enumerar simplemente los temas tratados, o mencionar los aspectos pedag ogicos u otras innovaciones. Incluso la simple ojeada que se suele dar a un nuevo texto de c alculo ser a m as informativa que esta extensa relaci on de las cualidades del libro, y los profesores que tengan un especial inter es respecto a aspectos particulares del c alculo, sabr an donde buscar para comprobar si el libro satisface sus exigencias. Algunas caracter sticas requieren, sin embargo, un comentario expl cito. De los veintinueve cap tulos del libro, dos (se nalados con un asterisco) son opcionales, y los tres nicamente para aquellos estudiantes intereque constituyen la Parte V se han incluido u sados en la construcci on de los n umeros reales. Adem as, los ap endices de los Cap tulos 3 y 11 contienen tambi en material opcional. Considero que el orden de los restantes cap tulos debe mantenerse inexible, ya que el objetivo del libro es presentar el c alculo como la evoluci on de una idea, no como una colecci on de temas. Como los conceptos m as interesantes del c alculo no aparecen hasta la Parte III, las Partes I y II requerir an probablemente menos tiempo de lo que podr a indicar su extensi on, aunque el libro cubre un curso completo, los cap tulos no est an pensados para ser tratados a una tasa uniforme. Un punto natural de divisi on se sit ua entre las Partes II y III, lo que permite llegar a la diferenciaci on e integraci on todav a m as r apidamente, tratando muy brevemente la Parte II y, si es necesario, volver a considerar algunos aspectos, con m as detalle, posteriormente. Esta opci on corresponder a a la organizaci on tradicional de la mayor a de cursos de c alculo, aunque pienso nicamente disminuir que u a el valor del libro para aquellos estudiantes con unos conocimientos muy rudimentarios del c alculo, y para los buenos estudiantes que ya tienen una preparaci on suciente. Los problemas se han dise nado teniendo en cuenta a este tipo de estudiantes. Van desde los ejercicios m as sencillos, aunque no excesivamente f aciles, que desarrollan las t ecnicas b asicas y contribuyen a la comprensi on de los conceptos, hasta los problemas
vii

 viii Prefacio a la primera edicion

de dicultad considerable y, espero, de un inter es comparable al grado de dicultad. En total se incluyen unos 625 problemas. Los que hacen hincapi e en los m etodos de c alculo contienen generalmente muchos ejemplos, numerados con cifras romanas min usculas, mientras que las letras min usculas se utilizan para indicar las partes que est an interrelacionadas con otros problemas. Un sistema de notaci on con asteriscos y dobles asteriscos indica el grado de dicultad de algunos problemas, aunque existen tantos criterios para medir la dicultad, y se dan tantas indicaciones para la resoluci on de los problemas m as dif ciles, que esta gu a no es del todo able. Muchos problemas son tan dif ciles, sobre todo si no se siguen las indicaciones, que incluso los mejores estudiantes deber an intentar resolver s olo aquellos que les resulten de especial inter es; en cuanto a los menos dif ciles, no deber a ser ning un problema seleccionar una muestra representativa para mantener ocupada, pero no frustrada, a una clase con buenos estudiantes. En la secci on correspondiente se dan las soluciones a la mitad, aproximadamente, de los ejemplos extra dos de una muestra de problemas, lo cual deber a constituir un test de habilidad t ecnica. Se ha editado a parte un libro con las soluciones de las otras partes de estos problemas y tambi en de los restantes problemas del libro. Finalmente, se da una lista de lecturas aconsejadas, a la cual hacen referencia a menudo los problemas, y un glosario de s mbolos. Aprovecho la oportunidad para mencionar a las muchas personas a quienes debo mi agradecimiento. Jane Bjorkgren tuvo que realizar aut enticos prodigios para mecanograar la producci on irregular de mi manuscrito. Richard Serkey colabor o en la recopilaci on del material con las notas hist oricas incluidas en los problemas, y Richard Weiss elabor o las respuestas incluidas al nal del libro. Agradezco especialmente a mis amigos Michael Freeman, Jay Goldman,Anthony Phillips y Robert Wells la atenci on con la que leyeron una versi on preliminar del libro, as como sus cr ticas implacables. Ni que decir tiene que no son responsables de las deciencias que todav a puedan haber, sobre todo porque yo mismo rechac e las sugerencias que podr an haber logrado que el libro pudiese parecer m as adecuado a una audiencia m as amplia de estudiantes. Debo expresar mi admiraci on a los editores y al equipo de W. A. Benjamin, Inc., que siempre se han mostrado dispuestos a incrementar el atractivo del libro, teniendo en cuenta, al mismo tiempo, la audiencia para la cual estaba destinado. Las insuciencias que siempre contienen las ediciones preliminares han sido valerosamente soportadas por un potente grupo de estudiantes universitarios de primer a no, matriculados en el honors mathematics course de la Universidad de Brandeis, durante lgeel curso acad emico 1965-1966. Aproximadamente la mitad del curso se dedic o al a bra y la topolog a, y la otra mitad al c alculo, utilizando como texto la edici on preliminar del libro.En tales circunstancias es casi obligado indicar que la versi on preliminar fue xito graticador. De hecho, el e xito est un e a casi asegurado ya que al n y al cabo, es poco probable que la clase se subleve y proteste p ublicamente pero pienso que los estudiantes tienen el m erito de haber asimilado con rigurosidad una gran cantidad de matem aticas. Me dar a por satisfecho si otros estudiantes utilizaran el libro con este n, y con tanto entusiasmo. Waltham, Massachusetts Febrero 1967 M ICHAEL S PIVAK

Prefacio a la segunda edicin

A menudo me han sugerido que el t tulo de este libro deber a ser algo parecido a Una Introducci on al An alisis, ya que se utiliza normalmente en cursos en los que los estudiantes ya han aprendido los aspectos mec anicos del c alculo, estos cursos son est andar en Europa y van siendo cada vez m as frecuentes en los Estados Unidos. Trece a nos despu es, me parece que es demasiado tarde para cambiar el t tulo, aunque si que he considerado necesario introducir algunos cambios, aparte de corregir numerosos errores de imprenta y otras deciencias. Ahora existen ap endices separados para muchos temas que antes apenas eran mencionados: coordenadas polares, continuidad uniforme, curvas parametrizadas, sumas de Riemann y la utilizaci on de integrales para el c alculo de lon reas de supercies. Unos pocos temas, como el manejo de series gitudes, vol umenes y a de potencias, se discuten en el texto con mayor profundidad y se incluyen, adem as, m as problemas relativos a los mismos, mientras que otros temas, como el m etodo de Newton y la regla del trapecio y la regla de Simpson se han desarrollado en los problemas. En total hay unos 160 problemas nuevos, muchos de ellos de dicultad intermedia entre la de unos pocos problemas de rutina al comienzo de cada cap tulo y la de los m as dif ciles que aparecen m as tarde. La mayor parte de los problemas nuevos son obra de Ted Shifrin. Frederick Gordon detect o algunos errores importantes en los problemas originales y aport o correcciones no triviales, as como la elegante demostraci on del Teorema 12-2, que incluye dos Lemas y ocupa dos p aginas en la primera edici on. Joseph Lipman tambi en hizo algunos comentarios referentes a esta demostraci on, y propuso la utilizaci on de la misma estra ltimo teorema en el Ap tegia para la demostraci on del u endice del Cap tulo 11, el cual no se demostraba en la primera edici on. Roy O. Davies sugiri o la estrategia para la resoluci on del Problema 11-66, que anteriormente s olo era demostrado en el Problema 20-8 [21-8 en la tercera edici on], y Marina Ratner, la cual propuso varios problemas interesantes, en particular los relativos a la continuidad uniforme y las series innitas. A todos ellos va dirigido mi agradecimiento, con la esperanza de que su contribuci on quede reejada adecuadamente despu es del proceso de elaboraci on de la nueva edici on. M ICHAEL S PIVAK

ix

Prefacio a la tercera edicin

El cambio m as signicativo en esta tercera edici on ha sido la inclusi on de un nuevo Cap tulo 17 (se nalado mediante un asterisco) sobre el movimiento planetario, en el cual se utiliza el c alculo para la resoluci on de un problema f sico fundamental. Con este objetivo, el Ap endice del Cap tulo 4 se ha sustituido por tres Ap endices: los dos primeros cubren los temas relativos a vectores y secciones c onicas, mientras que las coordenadas polares no se discuten hasta el tercer Ap endice, en el cual se tratan tambi en las ecuaciones en coordenadas polares de las secciones c onicas. Adem as, el Ap endice del Cap tulo 12 se ha extendido para tratar las operaciones con vectores de las curvas con valores vectoriales. Otra modicaci on importante ha consistido en cambiar el orden del material previamente existente: La universalidad de la integral, que previamente se trataba en un segundo Ap endice del Cap tulo 13, se considera ahora en un Ap endice del Cap tulo sobre Integraci on en t erminos elementales (antiguo Cap tulo 18 y actual Cap tulo 19); adem as, aquellos problemas del cap tulo antiguo que utilizaban el material de este Ap endice, aparecen ahora incluidos en los problemas del Ap endice reubicado. Las correcciones y la eliminaci on de problemas incorrectos ha obligado a hacer otros peque nos cambios y a reordenar el apartado correspondiente a los Problemas. Qued e consternado al observar que, despu es de un periodo de 13 a nos transcurridos desde la primera y la segunda edici on del libro, hab an transcurrido otros 14 a nos antes de la aparici on de esta tercera edici on. Durante este tiempo he ido acumulando una lista considerable de correcciones, pero no ha ocurrido lo mismo con las comunicaciones originales y, por tanto, no puedo expresar mi agradecimiento a las personas implicadas (las cuales, a estas alturas, probablemente ya no est en interesadas). Unicamente he podido hacer unos pocos cambios en el apartado correspondiente a las Lecturas aconsejadas, el sta cual, despu es de todos estos a nos, requiera probablemente una revisi on completa; e tendr a que esperar hasta la pr oxima edici on, que espero realizar en un periodo de tiempo m as breve. M ICHAEL S PIVAK

Prefacio a la cuarta edicin

Promesas, promesas! En el prefacio de la tercera edici on comentaba que transcurrieron 13 a nos entre la primera y la segunda edici on, y que hab an transcurrido otros 14 a nos antes de la aparici on de la tercera, expresando mi deseo que la siguiente edici on no tardar a tanto tiempo en aparecer. Bien, al cabo de otros 14 a nos he aqu la cuarta, y tima edici probablemente la u on. Aunque se han introducido algunos peque nos cambios, especialmente en los Cap tulos 5 y 20, esta edici on diere de las anteriores sobre todo por la introducci on de problemas adicionales, una puesta al d a completa de las Lecturas aconsejadas y la correcci on de numerosos errores. Estos me han sido advertidos, durante todos estos a nos, por Nils von Barth, Philip Loewen, Fernando Mejias y Lance Miller, entre otros, quienes me facilitaron una larga lista, sobre todo del libro de soluciones; y Michael Maltenfort, quien me facilit o una lista incre blemente larga de erratas, errores y sugerencias. Sobre todo, sin embargo, estoy en deuda con mi amigo Ted Shifrin, quien ha estado utilizando el libro como texto en la Universidad de Georgia durante todos estos a nos, y me ha ido insistiendo y me ha ayudado a que, nalmente, hiciera esta necesaria revisi on. Debo tambi en agradecer a los estudiantes de su curso, durante este ultimo a no acad emico, quienes han actuado como conejillos de Indias para la nueva edici on, lo que ha determinado, en particular, la demostraci on del Lema del Sol Naciente, en el Problema 8-20, mucho m as sencilla que la demostraci on original de Reisz, o incluso que la demostraci on en [38] de las Lecturas aconsejadas,la cual ha sido actualizada considerablemente, gracias de nuevo a la ayuda facilitada por el mismo Ted. M ICHAEL S PIVAK

xi

ndice
PREFACIO PARTE I

vi Pr ologo 11 Propiedades b asicas de los n umeros 3 12 Distintas clases de n umeros 21 Fundamentos 13 Funciones 39 13 Ap endice. Pares ordenados 54 14 Gr acas 56 13 Ap endice 1. Vectores 75 13 Ap endice 2. Las secciones c onicas 81 13 Ap endice 3. Coordenadas polares 85 15 L mites 90 16 Funciones continuas 115 17 Tres teoremas fuertes 122 18 Cotas superiores m nimas 133 13 Ap endice. Continuidad uniforme 144 Derivadas e integrales 19 Derivadas 149 10 Diferenciaci on 168 11 Signicado de la derivada 188 13 Ap endice. Convexidad y concavidad

PARTE II

PARTE III

219
xiii

ndice xiv I

*12 13* *13 13* *14 *15 *16 *17 *18 *19 13*
PARTE IV

Funciones inversas 230 Ap endice. Representaci on param etrica de curvas 244 Integrales 253 Ap endice. Sumas de Riemann 282 El Teorema Fundamental del C alculo 285 Las funciones trigonom etricas 303 es irracional 324 Movimiento planetario 330 Las funciones logaritmo y exponencial 339 Integraci on en t erminos elementales 363 Ap endice. La universalidad de la integral 402

Sucesiones y series innitas *20 Aproximaci on mediante funciones polin omicas 411 *21 e es transcendente 442 *22 Sucesiones innitas 452 *23 Series innitas 471 *24 Convergencia uniforme y series de potencias 498 *25 N umeros complejos 525 *26 Funciones complejas 541 *27 Series complejas de potencias 555 Ep logo *28 Cuerpos 581 *29 Construcci on de los n umeros reales 588 *30 Unicidad de los n umeros reales 601

PARTE V

*30 *30 *30 *30

Lecturas aconsejadas 611 Soluciones de problemas seleccionados 621 Glosario de s mbolos 667 Indice alfab etico 671

Parte I

Prlogo Prlogo

Ser consciente de la propia ignorancia es un gran paso hacia el saber. B ENJAM I N D ISRAELI

Propiedades bsicas de los nmeros

E E

l t tulo de este cap tulo expresa en pocas palabras el conocimiento matem atico requerido para leer este libro. De hecho, este corto cap tulo no es m as que una explicaci on de lo que se entiende por propiedades b asicas de los n umeros, todas ellas adici on y multiplicaci on, sustracci on y divisi on, soluciones de ecuaciones y desigualdades, factorizaci on y otros procesos algebraicos familiares ya para el lector. Sin embargo, este cap tulo no es una clase de repaso. A pesar de la familiaridad del tema, el estudio que vamos a emprender parecer a, probablemente, muy novedoso; no se pretende presentar una revisi on amplia de material tradicional, sino condensar este conocimiento en unas pocas propiedades de los n umeros, simples y obvias. Algunas pueden parecer incluso demasiado obvias para ser dignas de menci on, pero un n umero sorprendente de hechos diversos e importantes resultan ser consecuencias de las propiedades que vamos a destacar. De las doce propiedades que estudiaremos en este cap tulo, las nueve primeras est an relacionadas con las operaciones fundamentales de adici on y multiplicaci on. Por el momento vamos a considerar solamente la adici on; esta operaci on se efect ua con un par de n umeros: la suma a + b existe para dos n umeros cualesquiera a y b (los cuales, evidentemente, pueden ser el mismo n umero). Es razonable considerar la adici on como una operaci on que puede realizarse con varios n umeros a la vez, y tomar la suma a1 + + an de n n umeros a1 , . . . , an como un concepto b asico. Sin embargo, es m as conveniente con sta denir las dem siderar s olo la adici on entre pares de n umeros y en t erminos de e as sumas. En el caso de las sumas de tres n umeros a, b, y c, esto puede hacerse de dos maneras diferentes. Primero pueden sumarse b y c, obteniendo b + c, y luego a nadir a a este n umero, obteniendo a + (b + c); o bien pueden sumarse primero a y b, y luego a nadir la suma a + b a c, obteniendo (a + b) + c. Evidentemente, las dos sumas compuestas son iguales, y este hecho es precisamente la primera propiedad de nuestra lista: (P1) Si a, b y c son n umeros cualesquiera, entonces a + (b + c) = (a + b) + c.

Esta propiedad hace innecesaria una denici on por separado de la suma de tres n umeros; umero a + (b + c) = (a + b) + c. convenimos simplemente en que a + b + c representa al n La suma de cuatro n umeros requiere consideraciones similares aunque ligeramente m as complicadas. El s mbolo a + b + c + d se dene como

4 PARTE I

Prologo

o o o o

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

((a + b) + c) + d , (a + (b + c)) + d , a + ((b + c) + d ), a + (b + (c + d )), (a + b) + (c + d ).

nica ya que todos estos n Esta denici on es u umeros son iguales. Afortunadamente no es necesario incluir este hecho en la lista ya que se deduce de la propiedad P1. Por ejemplo, sabemos por P1 que (a + b) + c = a + (b + c), deduci endose inmediatamente que (1) y (2) son iguales. La igualdad de (2) y (3) es una consecuencia directa de P1, aunque esto puede no ser aparente a primera vista (debe considerarse que b + c desempe na el papel de b en P1, y d el papel de c). Las igualdades (3) = (4) = (5) son tambi en sencillas de demostrar. Parece obvio que recurriendo a P1 sea suciente para demostrar la igualdad de las 14 maneras posibles de sumar cinco n umeros, pero no est a tan claro como se puede plantear una demostraci on de que esto es as , sin dar la lista de estas 14 sumas. Este m etodo es factible, pero dejar a pronto de serlo si consider asemos colecciones de seis, siete o m as n umeros; ser a totalmente inadecuado para demostrar la igualdad de todas las sumas posibles de una colecci on arbitraria de n umeros a1 , . . . , an . Este hecho puede admitirse como demostrado, pero para aquellos que se interesen por la demostraci on (y vale la pena interesarse alguna vez), en el Problema 24 se indica un m etodo de demostraci on razonable. En lo sucesivo utilizaremos t acitamente los resultados de este problema y escribiremos las sumas a1 + + an despreocup andonos de la disposici on de los par entesis. El n umero 0 tiene una propiedad tan importante que la enunciamos a continuaci on: (P2) Si a es cualquier n umero, entonces a + 0 = 0 + a = a. El 0 tambi en desempe na un papel importante en la tercera propiedad de nuestra lista: (P3) Para todo n umero a, existe un n umero a tal que a + (a) = (a) + a = 0. La propiedad P2 deber a representar una caracter stica distintiva del n umero 0, y anima saber que ya estamos en condiciones de demostrarlo. En efecto, si un n umero x satisface a+x = a para cierto n umero a, entonces x = 0 (y por tanto esta ecuaci on tambi en se cumple para nicamente restar a de todos los n umeros a). La demostraci on de este hecho requiere u ambos lados de la ecuaci on, en otras palabras, sumar a a ambos lados; tal y como se describe en la siguiente demostraci on detallada, deben utilizarse las tres propiedades P1P3 para justicar esta operaci on.

TULO 1 CAPI

Propiedades basicas de los numeros 5

Si entonces de donde de donde y por tanto

a+x (a) + (a + x) ((a) + a) + x 0+x x

= = = = =

a, (a) + a = 0; 0; 0; 0.

Como ya hemos insinuado, es conveniente considerar la resta como una operaci on derivada de la suma: consideramos a b como una abreviaci on de a + (b). As es posible hallar la soluci on de ciertas ecuaciones sencillas mediante una serie de pasos (cada uno justicado por P1, P2 o P3) semejantes a los que acabamos de indicar para la ecuaci on a + x = a. Por ejemplo: Si entonces de donde de donde y por tanto x+3 (x + 3) + (3) x + (3 + (3)) x+0 x = = = = = 5, 5 + (3); 5 3 = 2; 2; 2.

Naturalmente, estas soluciones tan elaboradas son de inter es s olo hasta que el lector se convence de que siempre pueden utilizarse. En la pr actica es una p erdida de tiempo resolver una ecuaci on indicando de manera tan expl cita la relevancia de las propiedades P1, P2 y P3 (o de las restantes propiedades que vamos a a nadir a la lista). S olo nos queda por a nadir a la lista otra propiedad de la adici on. Al considerar las sumas de tres n umeros a, b y c, s olo mencionamos dos sumas: (a + b) + c y a + (b + c). En realidad se obtienen otras disposiciones distintas si se cambia el orden de a, b y c. El hecho de que todas estas sumas sean iguales depende de: (P4) Si a y b son n umeros cualesquiera, entonces a + b = b + a. El enunciado de P4 trata de enfatizar que, aunque la operaci on de adici on de pares de n umeros se podr a concebir que depende del orden de los dos n umeros, en realidad esto no es as . Conviene recordar que no todas las operaciones se comportan de esta manera. Por ejemplo, la resta no posee esta propiedad: generalmente a b = b a. Podr amos preguntarnos cuando a b es distinto de b a, y es interesante descubrir lo poco que podemos hacer si para justicar nuestras manipulaciones nos queremos basar solamente lgebra m en las propiedades P1P4. El a as elemental demuestra que a b = b a s olo cuando a = b. Sin embargo, es imposible deducir este hecho a partir de las propiedades lgebra elemental cuidadosamente y determinar cu P1P4; es instructivo examinar el a ales son el o los pasos que no pueden justicarse mediante P1P4. De hecho, podremos justificar todos los pasos en detalle cuando a nadamos unas pocas propiedades m as a nuestra lista. Por raro que parezca, la propiedad crucial se refiere a la multiplicaci on. Afortunadamente, las propiedades b asicas de la multiplicaci on son tan similares a las de la adici on que pocos comentarios ser a necesario a nadir; tanto el signicado como lgebra elemental, las consecuencias deber an ser claros para el lector. (Al igual que en a el producto de a y b se representar a mediante a b, o simplemente mediante ab.)

6 PARTE I

Prologo

(P5)

Si a, b y c son n umeros cualesquiera, entonces a (b c) = (a b) c.

(P6)

Si a es cualquier n umero, entonces a 1 = 1 a = a.

Adem as, 1 = 0. (Puede parecer extra no que a nadamos a la lista la armaci on que 1 = 0, pero debemos hacerlo ya que no puede demostrarse a partir de las otras propiedades de la lista; todas ellas se cumplir an si s olo existiese un n umero, el 0.) (P7) Para todo n umero a = 0, existe un n umero a1 tal que a a 1 = a 1 a = 1. (P8) Si a y b son n umeros cualesquiera, entonces a b = b a. Un detalle que merece destacarse es la aparici on de la condici on a = 0 en P7. Esta condici on es absolutamente necesaria; como 0 b = 0 para todo n umero b, no existe 1 1 ning un n umero 0 que verique 0 0 = 1. Esta restricci on tiene una consecuencia importante para la divisi on. Al igual que la resta se deni o en t erminos de la adici on, as tambi en la divisi on se dene en t erminos de la multiplicaci on: el s mbolo a/b on por 0 signica a b1 . Como 01 no tiene sentido, tampoco lo tiene a/0; la divisi siempre es indenida. La propiedad P7 tiene dos consecuencias importantes. Si a b = a c, no se deduce necesariamente que b = c; ya que si a = 0, entonces ambos a b y a c son 0, independientemente de los valores que tengan b y c . Sin embargo, si a = 0, entonces b = c; esto puede deducirse a partir de P7 de la manera siguiente: Si entonces de donde por tanto o sea ab a1 (a b) (a1 a) b 1b b = = = = = a c y a = 0, a1 (a c); (a1 a) c; 1 c; c. a = 0,

Tambi en es una consecuencia de P7 que si a b = 0, entonces a = 0 o b = 0. De hecho, si entonces de donde de donde es decir a1 (a b) ab = = 1 (a a) b = 1b = b= 0 y 0; 0; 0; 0.

(Puede ocurrir que se cumpla a la vez que a = 0 y b = 0 ; esta posibilidad no se excluye b = 0; en matem cuando armamos que a = 0 o aticas la conjunci on o se utiliza siempre en sentido no exclusivo de uno o el otro, o ambos.)

TULO 1 CAPI

Propiedades basicas de los numeros 7

ltima consecuencia de P7 se utiliza constantemente en la resoluci Esta u on de ecuaciones. Supongamos, por ejemplo, que un n umero x satisface (x 1)(x 2) = 0. x 2 = 0; por tanto x = 1 o x = 2. Entonces se deduce que x 1 = 0 o Bas andose en las propiedades que hasta ahora hemos incluido en la lista, todav a se pueden demostrar muy pocas cosas. Esta situaci on, sin embargo, va a cambiar radicalmente con la inclusi on de la siguiente propiedad, que combina las operaciones de adici on y multiplicaci on. (P9) Si a, b y c son n umeros cualesquiera, entonces a (b + c) = a b + a c. (Observemos que la ecuaci on (b + c) a = b a + c a tambi en se cumple seg un P8.) Como un ejemplo de la utilidad de P9 vamos ahora a determinar cuando a b = b a: Si entonces de donde de donde Por consiguiente y por tanto ab (a b) + b a a+a a (1 + 1) a = = = = = = b a, (b a) + b = b + (b a); b + b a; (b + b a) + a = b + b. b (1 + 1), b.

Una segunda aplicaci on de P9 permite justicar la armaci on a 0 = 0 que ya hemos hecho e incluso utilizado en la demostraci on de la p agina 6, (puede el lector encontrar d onde?). Este hecho no se ha incluido en la lista como una de las propiedades b asicas, a pesar de no haberlo demostrado la primera vez que se mencion o. No era posible hacerlo tan s olo con las propiedades P1P8 ya que el n umero 0 aparece solamente en P2 y P3, que se reeren a la adici on, mientras que la armaci on en cuesti on se reere a la multiplicaci on. Con P9 la demostraci on es sencilla,aunque quiz as no obvia: tenemos a 0 + a 0 = a (0 + 0) = a 0; como ya hemos observado, esto implica inmediatamente (sumando (a 0) a ambos lados) que a 0 = 0. Toda una serie de consecuencias adicionales de P9 puede ayudar a explicar la regla algo misteriosa de que el producto de dos n umeros negativos es un n umero positivo. Para empezar estableceremos la armaci on m as f acilmente aceptable de que (a) b = = (a b). Para demostrarlo, observemos que (a) b + a b = [(a) + a] b = 0b = 0. Se deduce inmediatamente(sumando (a b) a ambos lados) que (a) b = (a b). Ahora observemos que

8 PARTE I

Prologo

(a) (b) + [(a b)] = (a) (b) + (a) b = (a) [(b) + b] = (a) 0 = 0. Por consiguiente, sumando (a b) a ambos lados, obtenemos (a) (b) = a b. El hecho de que el producto de dos n umeros negativos sea un n umero positivo es pues una consecuencia de P1P9. En otras palabras, si P1P9 son ciertas, se verica la regla del producto de dos n umeros negativos. Las consecuencias de P9 que hasta ahora hemos considerado, aunque interesantes e importantes, no indican realmente el signicado de P9; de hecho, podr amos haber enunciado cada una de estas propiedades separadamente. En realidad, P9 justica casi todas las manipulaciones algebraicas. Por ejemplo, aunque ya hemos demostrado c omo resolver la ecuaci on (x 1)(x 2) = 0, dif cilmente la tendremos que resolver de esta forma. Es m as probable que la tengamos que resolver en la forma x 2 3x + 2 = 0. La factorizaci on x2 3x + 2 = (x 1)(x 2) es realmente un triple uso de P9: (x 1) (x 2) = x (x 2) + (1) (x 2) = x x + x (2) + (1) x + (1) (2) = x2 + x[(2) + (1)] + 2 = x 2 3x + 2. Una ilustraci on nal de la importancia de P9 es el hecho de que la propiedad se utiliza realmente cada vez que se multiplica con numeraci on ar abiga. Por ejemplo, el c alculo 13 24 52 26 312 es una disposici on concisa de las siguientes ecuaciones: 13 24 = 13 (2 10 + 4) = 13 2 10 + 13 4 = 26 10 + 52. (Observemos que desplazar 26 hacia la izquierda en el c alculo anterior es equivalente a escribir 26 10.) La multiplicaci on 13 4 = 52 tambi en utiliza P9:

TULO 1 CAPI

Propiedades basicas de los numeros 9

13 4 = (1 10 + 3) 4 = 1 10 4 + 3 4 = 4 10 + 12 = 4 10 + 1 10 + 2 = (4 + 1) 10 + 2 = 5 10 + 2 = 52. Las propiedades P1P9 poseen nombres descriptivos que no es necesario recordar, tiles como referencia. Daremos ahora una lista de todas las proaunque a menudo son u piedades P1P9 junto con los nombres mediante los que se designan normalmente. (P1) (Ley asociativa de la adici on) a + (b + c) = (a + b) + c.

(P2) (Existencia de un elemento neutro para la a + 0 = 0 + a = a. adici on) (P3) (Existencia de inversos aditivos) (P4) (Ley conmutativa de la adici on) (P5) (Ley asociativa de la multiplicaci on) a + (a) = (a) + a = 0. a + b = b + a. a (b c) = (a b) c. 1 = 0.

(P6) (Existencia de un elemento neutro para la a 1 = 1 a = a; multiplicaci on) (P7) (Existencia de inversos multiplicativos) (P8) (Ley conmutativa de la multiplicaci on) (P9) (Ley distributiva) a b = b a.

a a1 = a1 a = 1, para a = 0. a (b + c) = a b + a c.

Las tres propiedades b asicas de los n umeros que falta todav a a nadir a la lista se reeren a las desigualdades. Aunque las desigualdades se presentan raramente en matem atica elemental, tienen un papel relevante en el c alculo. Las dos nociones de desigualdad, a < b (a es menor que b) y a > b (a es mayor que b), estan ntimamente relacionadas: a < b signica lo mismo que b > a (as 1 < 3 y 3 > 1 son, simplemente, dos maneras de escribir la misma armaci on). Los n umeros a que satisfacen a > 0 se denominan positivos, mientras que aquellos n umeros a que satisfacen a < 0 se denominan negativos. De la misma manera que la positividad puede denirse, por tanto, en t erminos de <, es posible tambi en invertir el procedimiento: la desigualdad a < b se puede denir como equivalente a que b a es positivo. De hecho, es conveniente considerar al conjunto de todos los n umeros positivos, representado mediante P, como un concepto b asico, y enunciar todas las propiedades en t erminos de P: (P10) (Ley de tricotom a) Para todo n umero a, se verica una y s olo una de las siguientes armaciones: (i) a = 0, (ii) a pertenece a P, (iii) a pertenece a P.

10 PARTE I

Prologo

(P11)

(P es cerrado respecto a la suma) Si a y b pertenecen a P, entonces a + b pertenece a P. (P es cerrado respecto al producto) Si a y b pertenecen a P, entonces a b pertenece a P.

(P12)

Estas tres propiedades deben complementarse con las siguientes deniciones: a a a a >b <b b b si si si si a b pertenece a P; b > a; a > b o a = b; a < b o a = b.*

Observemos, en particular, que a > 0 si y s olo si a pertenece a P. Todas las propiedades de las desigualdades, por elementales que parezcan, son consecuencia de P10P12. Por ejemplo, si a y b son dos n umeros cualesquiera, entonces se verica una sola de las siguientes propiedades: (i) a b = 0, (ii) a b pertenece a P, (iii) (a b) = b a pertenece a P. Utilizando las deniciones anteriores, se deduce que una sola de las siguientes armaciones es cierta: (i) a = b, (ii) a > b, (iii) b > a. A partir de las siguientes manipulaciones podemos deducir un hecho algo m as interesante. Si a < b, y por tanto b a pertenece a P, entonces (b + c) (a + c) pertenece a P; por tanto, si a < b, entonces a + c < b + c. An alogamente, supongamos que a < b y b < c. Entonces y por lo tanto b a pertenece a P, c b pertenece a P, c a = (c b) + (b a) pertenece a P.

* Los

s mbolos y poseen una caracter stica que encierra alguna dicultad. Las armaciones 1+1 3 1+1 2

son ambas ciertas, aunque sabemos que podr a reemplazarse por < en la primera, y por = en la segunda. Este tipo de dicultad suele aparecer cuando se utiliza con n umeros espec cos; la utilidad del s mbolo se pone de maniesto en declaraciones como Teorema 1, en este caso la igualdad se verica para algunos valores de a y b, mientras que para otros valores se verica la desigualdad.

TULO 1 CAPI

Propiedades basicas de los numeros 11

Esto demuestra que si a < b y b < c, entonces a < c. (Las dos desigualdades a < b y b < c se escriben generalmente de manera abreviada en la forma a < b < c, que contiene en su estructura a la tercera desigualdad a < c.) nica La siguiente armaci on no es tan obvia: si a < 0 y b < 0 entonces ab > 0. La u dicultad que plantea la demostraci on de este hecho es la interpretaci on correcta de las deniciones. El s mbolo a < 0 signica, por denici on, que 0 > a, lo cual quiere decir que 0 a = a pertenece a P. An alogamente, b pertenece a P, y por consiguiente, seg un P12, (a)(b) = ab pertenece a P. As , ab > 0. El hecho de que ab > 0 si a > 0, b > 0 y tambi en si a < 0, b < 0, tiene una conse2 cuencia especial: a > 0 si a = 0. O sea, los cuadrados de los n umeros distintos de cero son siempre positivos, y en particular hemos demostrado un resultado que podr a haber parecido sucientemente elemental como para incluirlo en nuestra lista de propiedades: 1 > 0 (ya que 1 = 12 ). La propiedad a > 0 si a < 0 es la base de un concepto que va a desempe nar un papel muy importante a lo largo del libro. Para cualquier n umero a, se dene su valor absoluto |a| de a mediante: | a| = a, a, a0 a 0.

Observemos que |a| es siempre 0. Por ejemplo, excepto a= tenemos positivo, cuando | 3| = 3, |7| = 7, |1 + 2 3| = 1 + 2 3, y |1 + 2 10| = 10 2 1. En general, la resoluci on m as sencilla de cualquier problema que incluye valores absolutos requiere el tratamiento de diversos casos por separado, ya que los valores absolutos se denen, para empezar, por casos. Este procedimiento puede utilizarse para demostrar el siguiente hecho importante acerca de los valores absolutos. Teorema 1. Para todos los n umeros a y b, se verica | a + b| | a| + | b| . Demostraci on. Consideraremos 4 casos: (1) (2) (3) (4) a a a a 0, 0, 0, 0, b b b b 0; 0; 0; 0.

En el caso (1) se cumple tambi en que a + b 0, y el teorema es obvio; de hecho, | a + b| = a + b = | a| + | b| , de manera que, en este caso, se verica la igualdad. En el caso (4) tenemos que a + b 0, y nuevamente se verica la igualdad: |a + b| = (a + b) = a + (b) = |a| + |b|. En el caso (2), cuando a 0 y b 0, debemos probar que

12 PARTE I

Prologo

|a + b| a b. Este caso puede, por tanto, ser dividido en dos subcasos. Si a + b 0, entonces debemos demostrar que es decir, a + b a b, b b,

lo cual es cierto ya que b 0 y por tanto b 0. Por el contrario, si a + b 0, debemos demostrar que es decir, a b a b, a a,

lo cual es cierto ya que a 0 y por tanto a 0. Finalmente, observemos que (3) puede demostrarse sin ning un esfuerzo adicional, aplicando el caso (2) con a y b intercambiados. Aunque este m etodo de tratar los valores absolutos (considerando separadamente los nica opci distintos casos) es algunas veces la u on posible, a menudo pueden utilizarse m etodos m as sencillos. De hecho, es posible dar una demostraci on m as corta del Teorema 1; esta demostraci on se basa en la observaci on de que | a| = a2 . (Aqu , y a lo largo de todo el libro, x indica la ra z cuadrada positiva de x; este s mbolo est a denido s olo cuando x 0.) Podemos observar ahora que (|a + b|)2 = (a + b)2 = = = a2 + 2ab + b2 a 2 + 2| a| | b| + b2 | a| 2 + 2| a| | b| + | b| 2 (|a| + |b|)2 .

De aqu deducimos que |a + b| |a| + |b| ya que x2 < y2 implica que x < y, si x e y son ambos no negativos; la demostraci on de este hecho se deja para el lector (Problema 5). Podemos hacer una observaci on nal relativa al teorema que acabamos de demostrar: un examen m as detallado de las demostraciones muestra que | a + b| = | a| + | b| si a y b tienen el mismo signo (es decir, son ambos positivos o ambos negativos), o si uno de ellos es 0, mientras que | a + b| < | a| + | b| si a y b tienen signos opuestos. Concluiremos este cap tulo con un punto sutil, que hasta ahora no hemos considerado, cuya inclusi on es necesaria en cualquier an alisis en profundidad de las propiedades de los n umeros. Despu es de enunciar la propiedad P9, demostramos que a b = b a

TULO 1 CAPI

Propiedades basicas de los numeros 13

implica que a = b. La prueba comenzaba estableciendo que a (1 + 1) = b (1 + 1), de lo cual deduc amos que a = b. Este resultado se obtiene a partir de la ecuaci on a (1 + 1) = b (1 + 1) dividiendo ambos lados por 1 + 1. La divisi on por 0 debe evitarse escrupulosamente, y por tanto hay que admitir que la validez del argumento depende del hecho que 1 + 1 = 0. El Problema 25 se ha incluido para convencer al lector de que este hecho no puede deducirse s olo a partir de las propiedades P1P9! Sin embargo, una vez que se dispone de las propiedades P10, P11 y P12, la demostraci on es muy sencilla: ya hemos visto que 1 > 0; de lo cual se deduce que 1 + 1 > 0, y en particular que 1 + 1 = 0. ltima demostraci Quiz as esta u on no haya hecho m as que reforzar la sensaci on de que es absurdo preocuparse por demostrar hechos tan obvios, pero la valoraci on honesta de nuestra situaci on actual muestra que vale la pena tomar en serio estos detalles. En este cap tulo hemos supuesto que los n umeros son objetos familiares, y que las propiedades P1P12 son meras declaraciones expl citas de propiedades obvias, bien conocidas de los n umeros. Sin embargo, ser a dif cil justicar esta suposici on. Aunque se aprende a trabajar con n umeros en la escuela, lo que realmente son los n umeros continua siendo una idea muy vaga. Una gran parte de este libro est a dedicada a esclarecer el concepto de n umero, y hacia el nal del mismo ya habremos tenido la ocasi on de familiarizarnos sucientemente con dicho concepto. Por tanto, debemos admitir honestamente que todav a no entendemos sucientemente a los n umeros; lo que si podemos armar es que, sea cual sea la forma en que se denan nalmente, cumplir an desde luego las propiedades P1P12. Gran parte de este cap tulo ha consistido en tratar de presentar pruebas convincentes de que P1P12 son realmente propiedades b asicas que hemos de admitir para deducir otras propiedades corrientes de los n umeros. Se han incluido algunos problemas (en los que se deducen otras propiedades de los n umeros a partir de P1P12) para profundizar en este aspecto. Una cuesti on esencial, sin embargo, es si P1P12 realmente explican todas las propiedades de los n umeros. De hecho, pronto veremos que no. En el siguiente cap tulo se pondr an de maniesto claramente las insuciencias de las propiedades P1 P12, aunque no es tan f acil descubrir la manera correcta de corregirlas. La propiedad adicional, esencial y b asica de los n umeros que estamos buscando, es profunda y sutil, todo lo contrario de P1P12. El descubrimiento de esta propiedad esencial va a requerir todo el trabajo de la Parte II de este libro. En el resto de la Parte I comenzaremos a ver por qu e es necesaria alguna propiedad adicional; para investigar este aspecto tendremos que considerar con m as detalle lo que entendemos por n umeros.

Problemas
1.

Demuestre lo siguiente: (i) Si ax = a para alg un n umero a = 0, entonces x = 1. 2 2 (ii) x y = (x y)(x + y). (iii) Si x2 = y2 , entonces x = y o x = y.

14 PARTE I

Prologo

(iv) x3 y3 = (x y)(x2 + xy + y2 ). (v) xn yn = (x y)(xn1 + xn2 y + + xyn2 + yn1 ). (vi) x3 + y3 = (x + y)(x2 xy + y2 ). (Existe una manera particularmente sencilla de hacerlo utilizando (4), que muestra adem as como encontrar una factorizaci on de xn + yn cuando n es impar.)
2.

D onde est a el error en la siguiente demostraci on? Sea x = y. Entonces x2 = = (x + y)(x y) = x+y = 2y = 2= x2 y2 xy, xy y2 , y(x y), y, y, 1.

3.

Demuestre lo siguiente: a ac = , si b, c = 0. b bc a c ad + bc (ii) + = , si b, d = 0. b d bd (iii) (ab)1 = a1 b1 , si a, b = 0. (i)

(Para resolverlo hay que recordar la propiedad que dene a (ab)1 .) a c ac (iv) = , si b, d = 0. b d db a c ad (v) = , si b, c, d = 0. b d bc a c a b (vi) Si b, d = 0, entonces = si y s olo si ad = bc. Determine tambi en cuando = . b d b a 4. Halle todos los n umeros x para los que (i) (ii) (iii) (iv) (v) (vi) (vii) (viii) (ix) (x) (xi) (xii) 4 x < 3 2x . 5 x2 < 8. 5 x2 < 2. (x 1)(x 3) > 0. (Cu ando es positivo el producto de dos n umeros?) 2 x 2x + 2 > 0. x2 + x + 1 > 2. x2 x + 10 > 16. x2 + x + 1 > 0. (x )(x + 5)(x 3) > 0. (x 3 2 )(x 2 ) > 0. 2x < 8. x + 3x < 4. 1 1 (xiii) + > 0. x 1x x1 > 0. (xiv) x+1

TULO 1 CAPI

Propiedades basicas de los numeros 15

5.

Demuestre lo siguiente: (i) (ii) (iii) (iv) (v) (vi) (vii) (viii) (ix) (x) Si a < b y c < d , entonces a + c < b + d . Si a < b, entonces b < a. Si a < b y c > d , entonces a c < b d . Si a < b y c > 0, entonces ac < bc. Si a < b y c < 0, entonces ac > bc. Si a > 1, entonces a2 > a. Si 0 < a < 1, entonces a2 < a. Si 0 a < b y 0 c < d , entonces ac < bd . Si 0 a < b, entonces a2 < b2 . (Utilice (8).) Si a, b 0 y a2 < b2 , entonces a < b. (Utilice (9), hacia atr as.)

6.

(a) (b) (c) (d)

Demuestre que si 0 x < y, entonces xn < yn , n = 1, 2, 3, . . . Demuestre que si x < y y n es impar, entonces xn < yn . Demuestre que si xn = yn y n es impar, entonces x = y. Demuestre que si xn = yn y n es par, entonces x = y o x = y.

7.

Demuestre que si 0 < a < b, entonces a< ab < a+b < b. 2

Observe que la desigualdad ab (a + b)/2 se verica para todo a, b 0. En el Problema 2-22 se presenta una generalizaci on de este hecho. asicas de las desigualdades fueron enunciadas en t erminos del conjunto *8. Aunque las propiedades b P de los n umeros positivos, y < se deni o en t erminos de P, este procedimiento puede invertirse. Suponga que P10P12 se sustituyen por (P 10) Para cualquier n umero a y b se verica una, y s olo una, de las relaciones siguientes: (1) a = b, (2) a < b, (3) b < a. (P 11) Para cualesquiera a, b y c, si a < b y b < c, entonces a < c. (P 12) Para cualesquiera a, b y c, si a < b, entonces a + c < b + c. (P 13) Para cualesquiera a, b y c, si a < b y 0 < c, entonces ac < bc. Demuestre que P10P12 pueden ahora deducirse como teoremas.
9.

Formule de nuevo cada una de las siguientes expresiones, utilizando como m nimo una vez menos el signo de valor absoluto. (i) | 2 + 3 5 + 7|. (ii) |(|a + b| |a| |b|)|. (iii) |(|a + b| + |c| |a + b + c|)|.

16 PARTE I

Prologo

(iv) |x2 2xy + y2 |. (v) |(| 2 + 3| | 5 7|)|.

10.

Formule cada una de las siguientes expresiones prescindiendo de los signos de valor absoluto, tratando los distintos casos separadamente si es necesario. (i) |a + b| |b|. (ii) |(|x| 1)|. (iii) |x| |x2 |. (iv) a |(a |a|)|.

11.

Halle todos los n umeros x para los cuales (i) |x 3| = 8. (ii) |x 3| < 8. (iii) |x + 4| < 2. (iv) |x 1| + |x 2| > 1. (v) |x 1| + |x + 1| < 2. (vi) |x 1| + |x + 1| < 1. (vii) |x 1| |x + 1| = 0. (viii) |x 1| |x + 2| = 3.

12.

Demuestre lo siguiente: (i) |xy| = |x| |y|. 1 1 = , si x = 0. (La mejor manera de hacerlo es recordando la denici (ii) on de |x|1 .) x |x | |x | x (iii) , si y = 0. = |y| y (iv) |x y| |x| + |y|. (D e una demostraci on muy corta.) (v) |x| |y| |x y|. (Es posible dar una demostraci on muy corta si se escriben las cosas correctamente.) (vi) |(|x| |y|)| |x y|.(Por qu e esto se deduce inmediatamente de (5)?) (vii) |x + y + z| |x| + |y| + |z|. Indique cu ando se verica la igualdad, y demu estrelo.

13.

El m aximo de dos n umeros x e y se representa mediante m ax(x, y). As m ax(1, 3) = m ax(3, 3) = 3 y m ax(1, 4) = m ax(4, 1) = 1. El m nimo de x e y se representa mediante m n(x, y). Demuestre que x + y + |y x | , m ax(x, y) = 2 m n(x, y) = x + y |y x | . 2

Deduzca una f ormula para m ax(x, y, z) y m n(x, y, z), utilizando, por ejemplo m ax(x, y, z) = m ax(x, m ax(y, z)).

TULO 1 CAPI

Propiedades basicas de los numeros 17

(a) Demuestre que |a| = |a|. (El truco consiste en no confundirse con demasiados casos. Demuestre primero la armaci on para a 0. Por qu e es obvia en el caso que a 0?) (b) Demuestre que b a b si y s olo si |a| b. En particular, se deduce que |a| a |a|. (c) Utilice este hecho para dar otra demostraci on de que |a + b| |a| + |b|. *15. Demuestre que si x e y no son ambos 0, entonces
14.

x2 + xy + y2 > 0, x4 + x3 y + x2 y2 + xy3 + y4 > 0. Indicaci on: Utilice el Problema 1. *16. (a) Demuestre que (x + y)2 = x2 + y2 (x + y)3 = x3 + y3 (b) Utilizando el hecho de que x2 + 2xy + y2 = (x + y)2 0, (c) (d) demuestre que 4x2 + 6xy + 4y2 > 0 a no ser que x e y sean ambos 0. Utilice la parte (b) para averiguar cuando (x + y)4 = x4 + y4 . Averig ue cu ando (x + y)5 = x5 + y5 . Indicaci on: Suponiendo que (x + y)5 = x5 + y5 debe deducirse la ecuaci on x3 + 2x2 y + 2xy2 + y3 = 0, si xy = 0. Esto implica que (x + y)3 = x2 y + xy2 = on se da en xy(x + y). Ahora ya se deber a poder intuir cuando (x + y)n = xn + yn ; la demostraci el Problema 11-63. Halle el menor valor posible de 2x2 3x + 4. Indicaci on: Complete el cuadrado, es decir, 3 2 2 escriba 2x 3x + 4 = 2 x 4 + ? Halle el menor valor posible de x2 3x + 2y2 + 4y + 2. Halle el menor valor posible de x2 + 4xy + 5y2 4x 6y + 7. Suponga que b2 4c 0. Demuestre que los n umeros b + b2 4c b b2 4c , 2 2 y = 0, s olo cuando x = 0 o y=0o x = y. s olo cuando x = 0 o

17.

(a)

(b) (c) 18. (a)

satisfacen ambos la ecuaci on x2 + bx + c = 0. (b) Suponga que b2 4c < 0. Demuestre que no existe ning un n umero x que satisfaga x2 + bx + c = 0; 2 de hecho, x + bx + c > 0 para todo x. Indicaci on: Complete el cuadrado. (c) Utilice este hecho para dar otra prueba de que si x e y no son ambos 0, entonces x2 + xy + y2 > 0. (d) Para qu e n umeros se cumple que x2 + xy + y2 > 0 cuando x e y no son ambos 0? (e) Halle el menor valor posible de x2 + bx + c y de ax2 + bx + c, para a > 0. 19. El hecho de que a2 0 para todo n umero a, por elemental que pueda parecer, es sin embargo la ltima instancia, muchas desigualdades. La desigualdad idea fundamental en la que se basan, en u por excelencia es la desigualdad de Schwarz: x1 y1 + x2 y2 x1 2 + x2 2 y1 2 + y2 2 .

18 PARTE I

Prologo

(En el Problema 2-21 se da una expresi on m as general.) Las tres demostraciones de la desigualdad de Schwarz que se dan a continuaci on tienen s olo una cosa en com un: todas ellas se basan 2 en el hecho que a 0 para todo a. (a) Demuestre que si x1 = y1 y x2 = y2 para alg un n umero 0, entonces se verica la igualdad en la desigualdad de Schwarz. Demuestre lo mismo en el caso de que y1 = y2 = 0. Suponga ahora que y1 e y2 no son ambos 0, y que no existe ning un n umero tal que x1 = y1 y x2 = y2 . Entonces 0 < (y1 x1 )2 + (y2 x2 )2 = 2 (y1 2 + y2 2 ) 2(x1 y1 + x2 y2 ) + (x1 2 + x2 2 ). Utilizando el Problema 18, complete la demostraci on de la desigualdad de Schwarz. a deducirlo?) con (b) Demuestre la desigualdad de Schwarz sabiendo que 2xy x2 + y2 (podr x= xi x1 2 + x2 2 , y= yi y1 2 + y2 2 ,

primero para i = 1 y luego para i = 2. (c) Demuestre la desigualdad de Schwarz probando primero que (x1 2 + x2 2 )(y1 2 + y2 2 ) = (x1 y1 + x2 y2 )2 + (x1 y2 x2 y1 )2 . (d) Deduzca, de cada una de estas tres demostraciones, que la igualdad se verica s olo cuando cuando existe un n y1 = y2 = 0 o umero 0 tal que x1 = y1 y x2 = y2 . En nuestro trabajo posterior, ser an cruciales tres hechos relativos a las desigualdades. Aunque se dar an las demostraciones en los lugares apropiados del texto, una aproximaci on personal a estos problemas es innitamente m as enriquecedora que la mera comprobaci on de una demostraci on completamente desarrollada. Los enunciados de estas proposiciones incluyen algunos n umeros extra nos, pero el mensaje b asico es muy simple: si x est a lo sucientemente pr oximo a x0 , e y a y0 , entonces x + y est a muy pr oximo a x0 + y0 , xy muy pr oximo a x0 y0 , y 1/y muy pr oximo a 1/y0 . El s mbolo que aparece en estas proposiciones es la quinta letra del alfabeto griego (epsilon), aunque podr a ser sustituida por una letra latina menos intimidante; sin embargo, la tradici on ha determinado que el uso de sea casi sagrado en los contextos en los que se aplican estos teoremas.
20.

Demuestre que si |x x0 | < entonces |(x + y) (x0 + y0 )| < , |(x y) (x0 y0 )| < . 2 y |y y0 | < , 2

*21. Demuestre que si n |x x0 | < m 2(|y0 | + 1) ,1 y |y y0 | < 2(|x0 | + 1) ,

TULO 1 CAPI

Propiedades basicas de los numeros 19

entonces |xy x0 y0 | < . (La notaci on m n se deni o en el Problema 13, pero la f ormula deducida en dicho problema es irrelevante en este caso; la primera desigualdad de la hip otesis signica nicamente que u |x x0 | < 2(|y0 | + 1) y |x x0 | < 1;

en un momento de la demostraci on ser a necesaria la primera desigualdad, y en otro momento la segunda. Otra advertencia: ya que la hip otesis s olo da informaci on acerca de x x0 y de y y0 , es casi evidente que la demostraci on depender a de escribir xy x0 y0 de una manera que incluya a x x0 y a y y0 .) *22. Demuestre que si y0 = 0 y |y y0 | < m n entonces y = 0 y 1 1 < . y y0 *23. Sustituya los signos de interrogaci on de la siguiente armaci on por expresiones que incluyan , x0 e y0 de manera que la conclusi on sea cierta: Si y0 = 0 y |y y0 | < ? entonces y = 0 y x x0 < . y y0 Este problema es trivial en el sentido de que su soluci on, se obtiene a partir de los resultados de los Problemas 21 y 22 pr acticamente sin esfuerzo adicional alguno (observe que x/y = x 1/y). Lo m as importante es no confundirse; decida cu al de los dos problemas debe utilizarse en primer lugar y no se asuste si su respuesta parece poco probable. *24. Este problema demuestra que la colocaci on de los par entesis en una suma es irrelevante. En las demostraciones se utiliza el principio de inducci on matem atica; si desea abordar el problema pero no est a familiarizado con tales demostraciones, puede esperar hasta despu es del Cap tulo 2, donde se explican las demostraciones por inducci on. Convengamos, para jar ideas, que a1 + + an signica a1 + (a2 + (a3 + + (an2 + (an1 + an ))) ). As a1 + a2 + a3 signica a1 + (a2 + a3 ), y a1 + a2 + a3 + a4 signica a1 + (a2 + (a3 + a4 )), etc. (a) Demuestre que (a1 + + ak ) + ak+1 = a1 + + ak+1 . Indicaci on: Utilice la inducci on sobre k. y |x x0 | < ? |y0 | |y0 |2 , 2 2 ,

20 PARTE I

Prologo

(b) Demuestre que si n k, entonces (a1 + + ak ) + (ak+1 + + an ) = a1 + + an . Indicaci on: Utilice la parte (a) para dar una demostraci on por inducci on sobre k. (c) Sea s(a1 , . . . , ak ) una suma formada a partir de a1 , . . . , ak . Demuestre que s(a1 , . . . , ak ) = a1 + + ak . Indicaci on: Debe haber dos sumas s (a1 , . . . , al ) y s (al +1 , . . . , ak ) tales que s(a1 , . . . , ak ) = s (a1 , . . . , al ) + s (al +1 , . . . , ak ).
25.

el 1, y que + y son operaciones denidas Suponga que por n umero se entiende s olo el 0 o mediante las dos tablas siguientes.

Compruebe que se verican las propiedades P1P9, aun cuando 1 + 1 = 0.