Calculo Diferencial Integral Func Una Var

C LCULO
DIFERENCIAL E INTEGRAL
DE FUNCIONES DE UNA VARIABLE
Francisco Javier Prez Gonzlez

Departamento de Anlisis Matemtico Universidad de Granada
Licencia. Este texto se distribuye bajo una licencia Creative Commons en virtud de la cual se permite: Copiar, distribuir y comunicar pblicamente la obra. Hacer obras derivadas. Bajo las condiciones siguientes:
BY:
Reconocimiento. Debe reconocer los crditos de la obra de la manera especicada por el autor o el licenciador (pero no de una manera que sugiera que tiene su apoyo o apoyan el uso que hace de su obra). No comercial. No puede utilizar esta obra para nes comerciales. Compartir bajo la misma licencia. Si altera o transforma esta obra, o genera una obra derivada, slo puede distribuir la obra generada bajo una licencia idntica a sta.
Universidad de Granada Dpto. de Anlisis Matemtico
Prof. Javier Prez Clculo diferencial e integral
Indice general
Prlogo Guas de lectura 1. Axiomas de . Principio de induccin 1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1. Axiomas, deniciones, teoremas, lemas, corolarios. . . . . . . . . . . . 1.2. Axiomas de los nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1. Axiomas algebraicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.2. Axiomas de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.2.1. Relacin de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
XVI
XX
1 1 1 4 4 5 5 6 7 8
1.2.3. Desigualdades y valor absoluto 1.2.3.1. 1.2.3.2.
La forma correcta de leer las matemticas . . . . . . . . . . Una funcin aparentemente caprichosa . . . . . . . . . . . .
1.2.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.3. Principio de induccin matemtica . . . . . . . . . . . . . . . . . . . . . . . . 17 1.3.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.3.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 1.4. Complementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 1.4.1. Nmeros y medida de magnitudes. Segmentos inconmensurables. . . . 26
II
ndice general 1.4.1.1. 1.4.1.2.
III
La razn urea y el pentagrama . . . . . . . . . . . . . . . . 27 Medimos con nmeros racionales . . . . . . . . . . . . . . . 28
1.4.2. Hacer matemticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 1.4.3. Algunas razones para estudiar matemticas . . . . . . . . . . . . . . . 30 1.4.4. Lo que debes haber aprendido en este Captulo. Lecturas adicionales . . 32 2. Funciones elementales 33
2.1. Funciones reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.1.1. Operaciones con funciones . . . . . . . . . . . . . . . . . . . . . . . . 35 2.1.2. Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.2. Estudio descriptivo de las funciones elementales . . . . . . . . . . . . . . . . . 39 2.2.1. Funciones polinmicas y funciones racionales . . . . . . . . . . . . . . 39 2.2.2. Races de un nmero real . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.2.3. Potencias racionales . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.2.4. Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.2.5. Exponenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 2.2.5.1. 2.2.5.2. Inters compuesto . . . . . . . . . . . . . . . . . . . . . . . 41 Crecimiento demogrco . . . . . . . . . . . . . . . . . . . 42 . . . . . . . . . . . . . . . . . . 42
2.2.6. Funcin potencia de exponente real
2.2.7. Funciones trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . 43 2.2.7.1. 2.2.7.2. 2.2.7.3. 2.2.7.4. 2.2.7.5. Medida de ngulos . . . . . . . . . . . . . . . . . . . . . . . 43 Funciones seno y coseno . . . . . . . . . . . . . . . . . . . 44 Propiedades de las funciones seno y coseno . . . . . . . . . 45 Las funciones tangente, cotangente, secante y cosecante . . . 46 Las funciones arcoseno, arcocoseno y arcotangente . . . . . 46
2.2.8. Las funciones hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . 48 2.2.8.1. Las funciones hiperblicas inversas . . . . . . . . . . . . . . 49
2.2.9. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 2.2.10. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 2.3. Sobre el concepto de funcin . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 2.3.1. El desarrollo del lgebra y la invencin de los logaritmos . . . . . . . 61 2.4. Lo que debes haber aprendido en este captulo . . . . . . . . . . . . . . . . . . 63 3. Nmeros complejos. Exponencial compleja 64
ndice general
IV
3.1. Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 3.2. Operaciones bsicas con nmeros complejos . . . . . . . . . . . . . . . . . . . 65 3.2.1. Comentarios a la denicin de nmero complejo . . . . . . . . . . . . 66 3.2.2. Forma cartesiana de un nmero complejo . . . . . . . . . . . . . . . . 66 3.2.3. Comentarios a la denicin usual 3.2.4. No hay un orden en
. . . . . . . . . . . . . . . 67
compatible con la estructura algebraica . . . . . 68
3.3. Representacin grca. Complejo conjugado y mdulo . . . . . . . . . . . . . 68 3.3.1. Forma polar y argumentos de un nmero complejo . . . . . . . . . . . 70 3.3.2. Observaciones a la denicin de argumento principal . . . . . . . . . . 72 3.3.2.1. Frmula de De Moivre . . . . . . . . . . . . . . . . . . . . 73
3.3.3. Races de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . 74 3.3.3.1. 3.3.3.2. Notacin de las races complejas . . . . . . . . . . . . . . . 75 La igualdad
. . . . . . . . . . . . . . . . . 76
3.3.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 3.3.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 3.4. Funciones elementales complejas . . . . . . . . . . . . . . . . . . . . . . . . . 91 3.4.1. La funcin exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . 91 3.4.2. Logaritmos complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 92 3.4.3. Potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 3.4.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 3.4.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 3.5. Aplicaciones de los nmeros complejos . . . . . . . . . . . . . . . . . . . . . 97 3.5.1. Movimiento armnico simple . . . . . . . . . . . . . . . . . . . . . . 97 3.5.2. Circuitos elctricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 3.5.3. Procesamiento digital de seales . . . . . . . . . . . . . . . . . . . . . 101 4. Funciones Continuas y lmite funcional 102
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102 4.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 4.2.1. Propiedades bsicas de las funciones continuas . . . . . . . . . . . . . 104 4.2.2. Propiedades locales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 4.3. Teorema de Bolzano. Supremo e nmo . . . . . . . . . . . . . . . . . . . . . 108 4.3.1. La propiedad del supremo . . . . . . . . . . . . . . . . . . . . . . . . 109 4.3.2. Propiedad de extremo inferior . . . . . . . . . . . . . . . . . . . . . . 110
Universidad de Granada Dpto. de Anlisis Matemtico Prof. Javier Prez Clculo diferencial e integral
ndice general
4.3.3. Consecuencias del teorema de Bolzano . . . . . . . . . . . . . . . . . 112 4.3.3.1. Continuidad y monotona . . . . . . . . . . . . . . . . . . . 114
4.3.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 4.3.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 4.4. Continuidad en intervalos cerrados y acotados . . . . . . . . . . . . . . . . . . 128 4.4.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 132 4.4.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 4.5. Lmite funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 4.5.1. Lmites laterales de una funcin en un punto . . . . . . . . . . . . . . 134 4.5.2. Lmites innitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 4.5.2.1. 4.5.2.2. 4.5.2.3. Funciones divergentes en un punto . . . . . . . . . . . . . . 135 Lmites en innito . . . . . . . . . . . . . . . . . . . . . . . 136 Funciones divergentes en innito . . . . . . . . . . . . . . . 136
4.6. lgebra de lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 4.6.1. Lmites y discontinuidades de funciones montonas . . . . . . . . . . . 139 4.6.2. Comportamientos asintticos de las funciones elementales . . . . . . . 140 4.6.2.1. Lmites de exponenciales y logaritmos . . . . . . . . . . . . 140
4.7. Indeterminaciones en el clculo de lmites . . . . . . . . . . . . . . . . . . . . 141 4.7.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 142 4.7.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 5. Nmeros y lmites. El innito matemtico 150
5.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 5.2. Evolucin del concepto de nmero . . . . . . . . . . . . . . . . . . . . . . . . 151 5.2.1. Nmeros y cantidades en la antigua Grecia . . . . . . . . . . . . . . . 151 5.2.2. De la antigua Grecia a la invencin del Clculo . . . . . . . . . . . . . 153 5.2.3. Innitsimos y el continuo numrico . . . . . . . . . . . . . . . . . . . 157 5.2.4. El triunfo de Pitgoras . . . . . . . . . . . . . . . . . . . . . . . . . . 160 5.2.4.1. 5.2.4.2. 5.2.4.3. Cortaduras de Dedekind . . . . . . . . . . . . . . . . . . . . 162 Mtodos axiomticos y mtodos constructivos . . . . . . . . 164 El regreso de los pequeitos . . . . . . . . . . . . . . . . . . 165
5.2.5. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 165 5.3. Evolucin del concepto de lmite funcional . . . . . . . . . . . . . . . . . . . 165 5.3.1. La teora de las razones ltimas de Newton . . . . . . . . . . . . . . 166
ndice general
VI
5.3.2. La metafsica del Clculo en DAlembert y Lagrange . . . . . . . . . . 167 5.3.3. El premio de la Academia de Berln de 1784 . . . . . . . . . . . . . . 169 5.3.4. Cauchy y su Cours DAnalyse de 1821 . . . . . . . . . . . . . . . . . 171 5.3.5. El innovador trabajo de Bolzano . . . . . . . . . . . . . . . . . . . . . 175 5.3.6. Weierstrass nos dio los
. . . . . . . . . . . . . . . . . . . . . . . 176
5.3.7. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 5.4. Breve historia del innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 5.4.1. La idea de innito en la losofa y la matemtica Griegas . . . . . . . . 178 5.4.1.1. 5.4.1.2. 5.4.1.3. Las aporas de Zenn de Elea . . . . . . . . . . . . . . . . . 178 Atomismo y divisibilidad innita . . . . . . . . . . . . . . . 180 La rueda de Aristteles . . . . . . . . . . . . . . . . . . . . 183
5.4.2. El innito desde la Edad Media hasta el siglo XIX . . . . . . . . . . . 184 5.4.2.1. 5.4.2.2. 5.4.2.3. El innito en la Escolstica . . . . . . . . . . . . . . . . . . 184 Galileo y el innito . . . . . . . . . . . . . . . . . . . . . . 184 El Clculo y el innito . . . . . . . . . . . . . . . . . . . . . 187
5.4.3. El innito matemtico y el nacimiento de la teora de conjuntos . . . . 188 5.4.3.1. La no numerabilidad del continuo . . . . . . . . . . . . . . . 193
5.4.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 199 6. Derivadas 201
6.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201 6.2. Concepto de derivada. Interpretacin fsica y geomtrica . . . . . . . . . . . . 202 6.2.1. Tangente a una curva . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 6.2.2. Razn de cambio puntual y velocidad instantnea . . . . . . . . . . . . 202 6.2.2.1. Elementos de una curva relacionados con la derivada . . . . 205
6.2.3. Derivadas laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206 6.2.4. Propiedades de las funciones derivables. Reglas de derivacin . . . . . 206 6.2.5. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 210 6.2.6. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213 6.2.7. Derivabilidad de las funciones elementales . . . . . . . . . . . . . . . 219 6.2.7.1. 6.2.7.2. 6.2.7.3. Derivabilidad de la exponencial y del logaritmo. Criterio de equivalencia logartmica . . . . . . . . . . . . . . . . . . . . 219 Derivabilidad de las funciones trigonomtricas . . . . . . . . 221 Derivabilidad de las funciones hiperblicas . . . . . . . . . . 221
ndice general
VII
6.3. Teoremas de Rolle y del valor medio . . . . . . . . . . . . . . . . . . . . . . . 222 6.3.1. Consecuencias del teorema del valor medio . . . . . . . . . . . . . . . 225 6.3.2. Reglas de LHpital . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
6.4. Derivadas sucesivas. Polinomios de Taylor . . . . . . . . . . . . . . . . . . . . 232 6.4.1. Notacin de Landau . . . . . . . . . . . . . . . . . . . . . . . . . . . 234 6.4.2. Polinomios de Taylor de las funciones elementales . . . . . . . . . . . 235 6.5. Tcnicas para calcular lmites de funciones . . . . . . . . . . . . . . . . . . . 237 6.5.1. Lmites que debes saberte de memoria . . . . . . . . . . . . . . . . . . 238 6.5.2. Sobre el mal uso de las reglas de LHpital . . . . . . . . . . . . . . . 241 6.5.3. Sobre el uso de la notacin lm . . . . . . . . . . . . . . . . . . . . . 242
6.6. Extremos relativos. Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . 243 6.7. Funciones convexas y funciones cncavas . . . . . . . . . . . . . . . . . . . . 246 6.7.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 6.7.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261 6.8. Orgenes y desarrollo del concepto de derivada . . . . . . . . . . . . . . . . . 305 6.8.1. Las matemticas en Europa en el siglo XVII . . . . . . . . . . . . . . . 306 6.8.2. Clculo de tangentes y de valores extremos . . . . . . . . . . . . . . . 307 6.8.2.1. 6.8.2.2. 6.8.2.3. 6.8.2.4. El mtodo de mximos y mnimos de Fermat . . . . . . . . . 307 El mtodo de las tangentes de Fermat . . . . . . . . . . . . . 308 El mtodo de Roberval y de Torricelli para las tangentes . . . 311 El tringulo diferencial de Barrow . . . . . . . . . . . . . . 312
6.8.3. Los inventores del Clculo . . . . . . . . . . . . . . . . . . . . . . . . 314 6.8.4. Newton y el clculo de uxiones . . . . . . . . . . . . . . . . . . . . . 314 6.8.5. Leibniz y el clculo de diferencias . . . . . . . . . . . . . . . . . . . . 319 6.8.6. Desarrollo del clculo diferencial . . . . . . . . . . . . . . . . . . . . 322 7. Sucesiones 325
7.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325 7.2. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . . 327 7.2.1. Sucesiones convergentes . . . . . . . . . . . . . . . . . . . . . . . . . 327 7.2.2. Sucesiones convergentes y estructura de orden de . . . . . . . . . . 330 7.2.3. Sucesiones montonas . . . . . . . . . . . . . . . . . . . . . . . . . . 331 7.2.3.1. El nmero e . . . . . . . . . . . . . . . . . . . . . . . . . . 333 7.2.4. Sucesiones convergentes y estructura algebraica de . . . . . . . . . . 334
ndice general
VIII
7.2.5. Sucesiones parciales. Teorema de BolzanoWeierstrass . . . . . . . . . 335 7.2.6. Condicin de Cauchy. Teorema de completitud de . . . . . . . . . . 338 7.2.7. Lmites superior e inferior de una sucesin . . . . . . . . . . . . . . . 339 7.2.8. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 340 7.2.9. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345 7.3. Sucesiones divergentes. Indeterminaciones en el clculo de lmites . . . . . . . 360 7.3.1. Sucesiones y lmite funcional . . . . . . . . . . . . . . . . . . . . . . 363 7.3.2. Sucesiones asintticamente equivalentes . . . . . . . . . . . . . . . . . 365 7.3.3. Sucesiones de potencias . . . . . . . . . . . . . . . . . . . . . . . . . 366 7.3.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 367 7.3.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370 7.4. Sucesiones de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . 379 7.4.1. Denicin de la exponencial compleja . . . . . . . . . . . . . . . . . . 380 7.4.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 381 7.4.3. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 381 7.5. Demostraciones alternativas de los teoremas de Bolzano y de Weierstrass . . . 382 7.6. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384 8. Integral de Riemann 386
8.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 386 8.2. Aproximaciones al rea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 388 8.2.1. Denicin y propiedades bsicas de la integral . . . . . . . . . . . . . 391 8.2.2. El Teorema Fundamental del Clculo . . . . . . . . . . . . . . . . . . 397 8.2.3. Primitivas. Regla de Barrow . . . . . . . . . . . . . . . . . . . . . . . 398 8.2.4. Las funciones logaritmo y exponencial . . . . . . . . . . . . . . . . . 400
8.3. Integrales impropias de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . 402 8.3.1. Criterios de convergencia para integrales . . . . . . . . . . . . . . . . 404 8.4. Teoremas del valor medio para integrales . . . . . . . . . . . . . . . . . . . . 406
8.5. Derivadas e integrales de funciones complejas de variable real . . . . . . . . . 409 8.5.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 410 8.5.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414 8.6. Tcnicas de clculo de Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . 427 8.6.1. Calcular una primitiva...Para qu? . . . . . . . . . . . . . . . . . . . 427 8.6.2. Observaciones sobre la notacin y terminologa usuales . . . . . . . . . 428
ndice general
IX
8.6.3. Primitivas inmediatas . . . . . . . . . . . . . . . . . . . . . . . . . . . 428 8.6.4. Integracin por partes 8.6.4.1. . . . . . . . . . . . . . . . . . . . . . . . . . . 430
Integracin por recurrencia . . . . . . . . . . . . . . . . . . 431
8.6.5. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 435 8.6.6. Integracin por sustitucin o cambio de variable . . . . . . . . . . . . 436 8.6.7. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 437 8.6.8. Integracin de funciones racionales . . . . . . . . . . . . . . . . . . . 438 8.6.8.1. 8.6.8.2. Mtodo de los coecientes indeterminados . . . . . . . . . . 438 Mtodo de Hermite . . . . . . . . . . . . . . . . . . . . . . 439
8.6.9. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 442 8.6.10. Integracin por racionalizacin . . . . . . . . . . . . . . . . . . . . . . 442 8.6.10.1. Integracin de funciones del tipo sen cos . . . . . . . 443 8.6.10.2. Integrales del tipo

d . . . . . 445
8.6.10.3. Integrales binomias . . . . . . . . . . . . . . . . . . . . . . 446 8.6.10.4. Integrales del tipo
e d . . . . . . . . . . . . . . . . 446
8.6.10.5. Integracin de funciones del tipo
. . 447
8.6.11. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 450 8.6.12. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 451 8.7. Aplicaciones de la integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463 8.7.1. Clculo de reas planas . . . . . . . . . . . . . . . . . . . . . . . . . . 463 8.7.1.1. 8.7.1.2. Regiones de tipo I . . . . . . . . . . . . . . . . . . . . . . . 464 Regiones de tipo II . . . . . . . . . . . . . . . . . . . . . . . 465
8.7.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 467 8.7.3. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 469 8.7.4. Curvas en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474 8.7.4.1. 8.7.4.2. rea encerrada por una curva . . . . . . . . . . . . . . . . . 476 reas planas en coordenadas polares . . . . . . . . . . . . . 476
8.7.5. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 478 8.7.6. Longitud de un arco de curva . . . . . . . . . . . . . . . . . . . . . . . 478 8.7.7. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 479 8.7.8. Volmenes de slidos . . . . . . . . . . . . . . . . . . . . . . . . . . . 480 8.7.8.1. Volumen de un cuerpo de revolucin . . . . . . . . . . . . . 481
8.7.9. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 483

ndice general
8.7.10. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 484 8.7.11. rea de una supercie de revolucin . . . . . . . . . . . . . . . . . . . 485 8.7.12. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 486 8.7.13. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 487 8.8. Evolucin de la idea de integral . . . . . . . . . . . . . . . . . . . . . . . . . . 499 8.8.1. Problemas de cuadraturas en las matemticas griegas . . . . . . . . . . 499 8.8.1.1. 8.8.1.2. 8.8.1.3. Cuadratura de un segmento de parbola por Arqumedes . . . 500 El Mtodo de Arqumedes . . . . . . . . . . . . . . . . . . . 503 rea de una espiral . . . . . . . . . . . . . . . . . . . . . . 504
8.8.2. La integracin antes del Clculo . . . . . . . . . . . . . . . . . . . . . 506 8.8.2.1. 8.8.2.2. 8.8.2.3. 8.8.2.4. 8.8.2.5. Los indivisibles de Cavalieri . . . . . . . . . . . . . . . . . 506
Cuadratura de la cicloide por Roberval . . . . . . . . . . . . 507 Parbolas e hiprbolas de Fermat . . . . . . . . . . . . . . . 508 La integracin aritmtica de Wallis . . . . . . . . . . . . . . 509 El resultado fundamental de Barrow . . . . . . . . . . . . . 512
8.8.3. La relacin fundamental entre cuadraturas y tangentes . . . . . . . . . 513 8.8.3.1. 8.8.3.2. 9. Series numricas El Teorema Fundamental del Clculo segn Newton . . . . . 513 La invencin del calculus summatorius por Leibniz . . . . . 514 518
9.1. Conceptos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518 9.1.1. La particularidad del estudio de las series . . . . . . . . . . . . . . . . 522 9.1.2. Propiedades bsicas de las series convergentes . . . . . . . . . . . . . 525 9.1.3. Propiedades asociativas y conmutativas . . . . . . . . . . . . . . . . . 526 9.1.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 531 9.1.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531 9.2. Criterios de convergencia para series de trminos positivos . . . . . . . . . . . 533 9.2.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 542 9.2.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 544 9.3. Criterios de convergencia no absoluta . . . . . . . . . . . . . . . . . . . . . . 556 9.3.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 560 9.3.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 560 9.4. Algunas series cuya suma puede calcularse de forma exacta . . . . . . . . . . . 563 9.4.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 567
ndice general
XI
9.4.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 567 9.5. Expresin de un nmero real en base . . . . . . . . . . . . . . . . . . . . . . 570
9.6. Series de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 575 9.6.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 576 9.6.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576 9.7. Clculo elemental de
sen d y de

. . . . . . . . . . . . . . . 578 581
10. Sucesiones y series de funciones
10.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 581 10.2. Conceptos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583 10.2.1. Convergencia puntual . . . . . . . . . . . . . . . . . . . . . . . . . . . 584 10.2.2. Convergencia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . 586 10.2.3. Series de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 590 10.3. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 598 10.3.1. Radio de convergencia de una serie de potencias . . . . . . . . . . . . 599 10.3.1.1. Clculo del radio de convergencia . . . . . . . . . . . . . . . 600 10.4. Desarrollos en serie de potencias de las funciones elementales . . . . . . . . . 604 10.4.1. Las funciones trascendentes elementales denidas por series . . . . . . 611 10.4.1.1. La funcin exponencial . . . . . . . . . . . . . . . . . . . . 611 10.4.1.2. Las funciones trigonomtricas . . . . . . . . . . . . . . . . . 612 10.5. Teorema de aproximacin de Weierstrass . . . . . . . . . . . . . . . . . . . . 614
10.5.1. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 617 10.5.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 627 10.6. Los primeros desarrollos en serie . . . . . . . . . . . . . . . . . . . . . . . . . 659 10.6.1. Newton y las series innitas . . . . . . . . . . . . . . . . . . . . . . . 660
Indice de guras
1.1. El pentagrama pitagrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.1. La funcin
. . . . . . . . . . . . . . . . . . . . . . 38
2.2. Funcin logaritmo de base 2.3. Funcin exponencial de base
. . . . . . . . . . . . . . . . . . . . . . . . . 40
. . . . . . . . . . . . . . . . . . . . . . . . 41
2.4. La circunferencia unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 2.5. La funcin seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 2.6. La funcin seno en 2.8. La funcin coseno en
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.7. La funcin arcoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.9. La funcin arcocoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 2.10. La funcin tangente en 2.11. La funcin arcotangente
. . . . . . . . . . . . . . . . . . . . . . . . . 48
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.12. La funcin seno hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 2.13. La funcin coseno hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . 49 2.14. La funcin tangente hiperblica . . . . . . . . . . . . . . . . . . . . . . . . . 49 2.15. La funcin argumento seno hiperblico . . . . . . . . . . . . . . . . . . . . . 50 2.16. La funcin argumento coseno hiperblico . . . . . . . . . . . . . . . . . . . . 50 2.17. La funcin argumento tangente hiperblica . . . . . . . . . . . . . . . . . . . 50 2.18. Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 2.19. Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
XII
ndice de guras
XIII
2.20. John Napier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 3.1. Representacin de un nmero complejo . . . . . . . . . . . . . . . . . . . . . 68 3.2. Suma de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 3.3. Forma polar de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . . 71 3.4. Argumento principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 3.5. Races novenas de la unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 3.6. Igualdad del paralelogramo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 3.7. rea de un tringulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 3.8. Movimiento circular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 3.9. Composicin de movimientos armnicos . . . . . . . . . . . . . . . . . . . . . 98 3.10. Circuito RLC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 4.1. Funcin parte entera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 4.2. La funcin 4.4. La funcin
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
sen
4.3. Visualizacin de la demostracin del teorema de Weierstrass . . . . . . . . . . 130
. . . . . . . . . . . . . . . . . . . . . . . . . . . 147
5.1. Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 5.2. al-Jwarizmi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 5.3. Fibonacci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 5.4. Tartaglia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154 5.5. Vite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 5.6. Fermat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 5.7. Descartes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 5.8. Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162 5.9. DAlembert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167 5.10. Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171 5.11. Bolzano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 5.12. Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176 5.13. Rueda de Aristteles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183 5.14. Exgonos de Galileo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185 5.15. Paradoja circunferencia-punto . . . . . . . . . . . . . . . . . . . . . . . . . . 186 5.16. Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190 5.17. Contando . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
ndice de guras
XIV
5.18. Unin numerable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197 6.1. Secante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 6.2. Elementos de una curva relacionados con la derivada . . . . . . . . . . . . . . . . . 205 6.3. Depsito cnico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214 6.4. Cruce de barcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215 6.5. Extremos relativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222 6.6. Teorema de Rolle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223 6.7. Teorema del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225 6.8. Regla de LHpital . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230 6.9. Funcin cncava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246 6.10. Funcin convexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246 6.11. Clculo de la subtangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309 6.12. Clculo de la tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311 6.13. Tangente a la cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312 6.14. Tringulo diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313 6.15. Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314 6.16. Leibniz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319 6.17. Tringulo caracterstico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321 6.18. Aproximacin de una cuadratura . . . . . . . . . . . . . . . . . . . . . . . . . 322 7.1. Puntos de sol y de sombra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336 8.1. Conjunto ordenado
de una funcin . . . . . . . . . . . . . . . . . . 388
8.2. Partes positiva y negativa de una funcin . . . . . . . . . . . . . . . . . . . . . 389 8.3. Aproximacin por sumas de Riemann . . . . . . . . . . . . . . . . . . . . . . 390 8.4. Aproximacin del rea por sumas inferiores y superiores . . . . . . . . . . . . 391 8.5. Funcin montona con innitas discontinuidades . . . . . . . . . . . . . . . . 396 8.6. Logaritmo de 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400 8.7. Aproximacin al rea de una regin de tipo I . . . . . . . . . . . . . . . . . . . 464 8.8. Ejemplo de regin de tipo I . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465 8.9. Aproximacin al rea de una regin de tipo II . . . . . . . . . . . . . . . . . . 466 8.10. Ejemplo de regin de tipo II . . . . . . . . . . . . . . . . . . . . . . . . . . . 467 8.11. Simtrica de la gura 8.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467 8.12. Cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
ndice de guras
XV
8.13. Cardioide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475 8.14. Astroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475 8.15. Espiral de Arqumedes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475 8.16. Una curva de Lissajoux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 476 8.17. Una curva cerrada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 476 8.18. Aproximacin por sectores circulares . . . . . . . . . . . . . . . . . . . . . . 477
8.19. Rosa de 8 ptalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478 8.20. Aproximacin por poligonales . . . . . . . . . . . . . . . . . . . . . . . . . . 479 8.21. Clculo del volumen por secciones . . . . . . . . . . . . . . . . . . . . . . . . 480 8.22. Mtodo de los discos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482 8.23. Mtodo de las lminas o tubos . . . . . . . . . . . . . . . . . . . . . . . . . . 484 8.24. Supercie de revolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485
8.25. rea de una regin limitada por dos elipses . . . . . . . . . . . . . . . . . . . 489 8.26. Cuadratura de un rectngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 499 8.27. Cuadratura de un segmento de parbola . . . . . . . . . . . . . . . . . . . . . 501 8.28. El Mtodo de Arqumedes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503 8.29. Cuadratura de una espiral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 505 8.30. Cuadratura de la cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 507 8.31. Cuadratura de la hiprbola de Fermat
. . . . . . . . . . . . . . . . . 508
8.32. Comparando indivisibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510 8.33. Teorema Fundamental 8.34.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 512 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 513
rea
8.35. reas complementarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515 10.1. Es
? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583
10.2. Convergencia puntual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584 10.3. Interpretacin grca de la convergencia uniforme 10.4. Cuadratura

. . . . . . . . . . . . . . . 587
. . . . . . . . . . . . . . . . . . . . . . . . . . 663
Prologo
Este libro est escrito pensando en un estudiante real que tambin es, en algunos aspectos, un estudiante ideal. Es un estudiante llegado hace poco a la Universidad, quiz recin llegado, que cursa estudios en alguna ingeniera o licenciatura cientco tcnica y debe enfrentarse a una difcil asignatura de clculo diferencial e integral. Debe ser difcil, porque son muy pocos quienes logran aprobarla en un slo ao y es muy alto el porcentaje de abandono. Con este libro quiero ayudarle en sus estudios de Clculo o Anlisis Matemtico, no solamente para que logre una buena calicacin sino para que saque de ellos el mayor provecho e incluso aprenda a disfrutarlos. Se trata, digo, de un estudiante real porque llega a la Universidad con importantes carencias de las que l puede no ser consciente y de las que no es del todo responsable. Es muy posible que nunca haya visto una demostracin matemtica, que no sepa distinguir entre hiptesis y tesis, que no entienda el signicado de que las matemticas son una ciencia deductiva. Tiene poca agilidad en los clculos con las operaciones bsicas y comete frecuentes errores al intentar simplicarlos, puede calcular derivadas pero lo hace con dicultad porque tiene que ir pensando cada paso y no ha automatizado el proceso, por eso solamente sabe calcular algunas primitivas muy sencillas. Est acostumbrado a realizar ejercicios muy elementales en los que se debe aplicar de forma mecnica una regla recin aprendida. No est acostumbrado a relacionar conceptos y clasica sus conocimientos en reas disjuntas: clculo, lgebra, probabilidad Pero estas carencias, con ser graves, no son las peores porque son especcas de una materia y podran solucionarse con facilidad si no vinieran acompaadas por otras mucho ms perjudiciales porque afectan a todo el proceso de aprendizaje. Me reero a la falta de hbitos de estudio, a la pobreza y muy deciente uso del lenguaje hablado y escrito con la consiguiente dicultad para pensar y expresarse correctamente, a la poca prctica de la lectura comprensiva, a la escasa capacidad de concentracin, al poco valor que se da a la memorizacin de lo estudiado. Si a este cuadro aadimos que vivimos en una sociedad que valora ms el xito, identicado casi exclusivamente con el xito econmico, que el esfuerzo; el apresuramiento compulsivo, hay que ir a toda velocidad aunque so sepamos a dnde, que la constancia y la dedicacin; el
XVI
Prlogo
XVII
gregarismo unnime que el pensamiento crtico e independiente, la autocomplacencia que la exigencia La conclusin es que no son buenos tiempos para el estudio. Adems, los jvenes estn permanente solicitados por todo tipo de reclamos publicitarios, adulados hasta la desvergenza por polticos y pedagogos que les venden un mensaje falso que en su esencia viene a decir que no son responsables de sus actos: si suspenden, les dicen que es porque el profesor no ha sabido motivarlos para que estudien; si despus de un botelln de n de semana, o de una esta de la primavera o de un da de la cruz, las calles amanecen convertidas en un albaal por la suciedad acumulada durante la noche, el argumente apropiado para disculpar tan incvico comportamiento es el de un supuesto derecho a la diversin. Estos polticos y pedagogos parecen haberse puesto de acuerdo para propiciar que los jvenes vivan en una permanente niez, acreedora de todos los derechos pero sin obligaciones ni responsabilidades. Y, para acabar, la bazoa, mezquindad, zaedad y mal gusto de algunos programas de televisin contribuyen de forma notable a difundir el mensaje de que todo vale: puedes vender tus entraas en uno de esos programas o demostrar tu absoluta ignorancia sin temor a hacer el ridculo porque as lo hacen la mayora de quienes participan en ellos. Qu aoranza de aquellos programas en los que el saber ocupaba lugar! El estudiante al que me dirijo es real porque es vctima de este sistema y tambin, puede que sin tener clara conciencia de ello, porque contribuye a su mantenimiento. Cada vez es ms difcil conjugar juventud y lucidez. Pero tambin es un estudiante ideal porque valora el estudio, quiere prepararse para ejercer ecazmente una profesin y ser til a los dems y tiene ganas de aprender. Lector, si este no es tu caso, si lo que quieres es solamente aprobar y no tienes curiosidad ni ests interesado en aprender, mejor que no sigas leyendo, este libro no es lo que buscas. Pero si no es as, confo en que las pginas que siguen sean tiles para que progreses adecuadamente en tus estudios de clculo, porque lo nico que se necesita para ello es, adems del inters y las ganas de aprender, una capacidad bsica lgico deductiva que sin duda tienes. El contenido de este libro no ofrece sorpresa alguna y responde a un acuerdo general tcito de lo que debe constituir un curso bsico de Clculo de funciones de una variable. La novedad, si la hay, habr que buscarla en el estilo, en la exposicin, en la gran cantidad de ejemplos y de ejercicios, en la minuciosa presentacin de los conceptos y de sus relaciones. Comentar seguidamente algunos de estos aspectos. Este libro est escrito en un estilo deliberadamente sencillo, he querido huir del estilo pedante que se impuso hace algunos aos y que todava perdura en casos aislados. Escribir matemticas es un arte que se va aprendiendo poco a poco y, aunque no es ajeno a las modas, tiene unas reglas bsicas que deben ser respetadas en cualquier circunstancia. Realmente se trata de una sola regla debida a Nicols Boileau (1636 - 1711) que dice as lo que bien se concibe bien se expresa con palabras que acuden con presteza. Que las palabras acudan con mayor o menor presteza es algo anecdtico, pero lo que es indudable es que si algo no se concibe bien es imposible expresarlo con claridad. La primera condicin necesaria para escribir matemticas es entender con todo detalle, a ser posible desde varios puntos de vista diferentes y con distinto grado de generalidad, la gnesis y evolucin de los conceptos que se exponen, las sutilezas y dicultades de comprensin que encierran, los errores ms frecuentes en su interpretacin. Esa condicin necesaria no es suciente. Hay que exponer esos conceptos con palabras comprensibles para el lector a quien se dirigen, evitando tecnicismos innecesarios, y ello sin dejar de ser claro y preciso.
Prlogo
XVIII
Este libro est escrito un poco igual que se explica en clase delante de la pizarra, me he puesto en el lugar de un hipottico estudiante medio algo despistado y me hago eco de sus presumibles dudas, preguntas y confusiones, e intento explicar esas dudas, responder a las preguntas y aclarar las confusiones. Confo en que los muchos aos que he dedicado a la docencia en el primer curso de distintas licenciaturas e ingenieras me hayan permitido saber ponerme en tu lugar y cumplir este empeo con decoro. Por todo eso creo que este libro te permitir estudiar por ti mismo y te ayudar a comprender de forma correcta los conceptos principales del Clculo. Este libro incluye una coleccin de ejercicios muchsimo ms amplia que lo que suele ser usual en un libro de texto. De hecho este libro es tambin un libro de problemas de Clculo y, se me disculpar la inmodestia, creo que hay muy pocos libros de ejercicios de Clculo que incluyan una coleccin tan variada de ejercicios y, sobre todo, que propongan tantos ejercicios no triviales y desarrollen las soluciones con detalle. Los libros de ejercicios de Clculo dan muchas veces la impresin de que la teora solamente sirve para proporcionar un conjunto de recetas que despus hay que aplicar, sin acabar nunca de entender bien por qu se elige una receta y no otra y sin entender el fundamento que hace que la receta funcione. Mi intencin ha sido escribir un libro de Clculo que sea til tanto para el futuro matemtico como para el futuro ingeniero, pero cada uno debe leer el libro de la forma adecuada a sus intereses y necesidades. Para ambos ser de gran utilidad la extensa coleccin de ejercicios y de ejemplos, pero uno habr de prestar mayor atencin a los fundamentos tericos y a las demostraciones y otro a las tcnicas de clculo y de resolucin de diversos tipos de ejercicios. Al nal de este prlogo propongo dos posibles guas de lectura. Digamos algo sobre las demostraciones. Claro est que razonar y demostrar son aspectos fundamentales de las matemticas, pero s que el valor que las demostraciones tienen para los estudiantes es muy relativo. El empeo en demostrarlo todo puede ser contraproducente y constituir un freno en el progreso de muchos estudiantes. Las demostraciones interesantes son las que contienen ideas que se repiten en otras situaciones semejantes, no deben ser extensas, deben ser elegantes y demostrar resultados importantes que se van a usar con frecuencia. Cuando empec este libro mi intencin era incluir muy pocas demostraciones, al nal, para lograr la autonoma del texto he incluido muchas ms de lo que inicialmente pensaba. Mi deseo era equilibrar un desarrollo intuitivo con uno lgico deductivo, confo en no haberme desviado mucho de este objetivo. Toda ayuda a la intuicin me parece loable, en este sentido, siempre que lo he credo conveniente, no he dudado en incluir una gura para facilitar la comprensin de una denicin o de una demostracin. Pero tambin quiero decir respecto de algunas demostraciones que pueden parecer muy complicadas (como los teoremas 4.13 y 4.29 de los que tambin doy versiones ms sencillas 7.54 y 7.55), que las cosas complicadas son complicadas, que no se debe renunciar al razonamiento correcto por el hecho de que sea complicado, los detalles son importantes, en matemticas no todo vale. He concedido toda la importancia que merece al desarrollo y evolucin histrica de los principales conceptos del Clculo. He incluido apuntes histricos, mucho ms amplios de lo usual en textos de estas caractersticas, sobre la evolucin de los conceptos de nmero y magnitud, lmite y funcin, derivadas e integrales, as como al concepto de innito y a la algebraizacin del Anlisis llevada a cabo en el ltimo tercio del siglo XIX. Incluso hay un captulo, el quinto, cuyo ttulo Nmeros y lmites. El innito matemtico deja bien claro cul es su contenido. Naturalmente, nada de original hay en dichas notas histricas pues no he consultado fuentes
Prlogo
XIX
originales, y su posible valor est en la particular ordenacin y exposicin que he llevado a cabo. Mi propsito al escribirlas ha sido presentar la gnesis de los conceptos matemticos en su contexto, su titubeante y confusa evolucin, las discrepancias sobre el signicado de los mismos... En una palabra, proporcionar al estudiante una visin de la matemtica viva. Con frecuencia los estudiantes tienen la idea de que las matemticas son algo cerrado y acabado, un conjunto de verdades eternas e inmutables de una fra perfeccin que se transmiten dogmticamente de generacin en generacin y donde no hay lugar para la sorpresa ni la pasin. Nada ms lejos de la realidad. La historia de las matemticas demuestra que el quehacer matemtico, la creacin matemtica, est muy lejos de esa fra perfeccin formal lgico deductiva, que la intuicin, la induccin, los procedimientos heursticos son quiz ms importantes para el avance de las matemticas que el razonamiento deductivo. La historia de las matemticas muestra cmo los conceptos nacen para responder a problemas concretos de cada poca, cmo esos mismos conceptos llevan a reformular posteriormente los problemas desde perspectivas ms generales, en un avance que no siempre es una lnea recta, con intentos fallidos, con controversias y desacuerdos. La historia pone tambin muy claramente de maniesto que las matemticas son un saber acumulativo. Esto tiene una particular importancia para el aprendizaje, quiere decir que para estudiar y avanzar en matemticas la memoria es mucho ms importante de lo que usualmente se cree. La efmera memoria de los estudiantes que llegan a la Universidad, que con frecuencia han olvidado lo que alguna vez aprendieron de matemticas, es una de las grandes dicultades que debemos afrontar los profesores. Un aspecto notable del libro es la atencin que dedico a los persistentes errores en matemticas que suelen tener casi todos los estudiantes al llegar a la Universidad. Confo en que mis observaciones al respecto sean tiles no slo para los estudiantes sino tambin para los profesores de matemticas de las Enseanzas Medias. Tambin expongo algunas opiniones muy crticas con la forma en que tradicionalmente se explican algunos temas en la Universidad, esto afecta muy especialmente al estudio de los nmeros complejos y de las funciones elementales complejas y de las series, para los que hago propuestas que creo que deben ser tenidas muy en cuenta.
Granada, septiembre de 2008
Guas de lectura
XX
Guas de lectura
El Captulo 5 y los diversos complementos de contenido histrico solamente debes leerlos si te gustan. La nica forma de saber si te gustan es que empieces a leerlos, y si cuando lleves dos pginas sigues interesado en la lectura seguramente llegars hasta el nal. Los captulos 1 y 2 deben ser ledos con detenimiento. No hay en ellos demostraciones que merezcan ese nombre. En el Captulo 1 se dan deniciones bsicas cuyo conocimiento es imprescindible para leer todo lo dems. En el Captulo 2 se dene el importantsimo concepto de funcin y se estudian, desde un punto de vista descriptivo, las funciones elementales. El conocimiento de dichas funciones es absolutamente necesario para leer el resto del libro y realizar ejercicios.
Para estudiantes orientados hacia ingenieras cuyo inters por las matemticas es de tipo instrumental
El Captulo 3 est dedicado a los nmeros complejos y a las funciones complejas elementales. Solamente t puedes saber si necesitas estudiarlo. Si decides omitirlo puedes hacerlo con tranquilidad. El Captulo 4 est dedicado a dos importantes conceptos: el de continuidad y el de lmite funcional. Son conceptos de importancia terica y necesarios para hacer ejercicios. Debes estudiar y entender las deniciones y resultados pero no es necesario que leas las demostraciones. El concepto de extremo superior tiene inters desde un punto de vista formativo, para que comprendas que se precisa alguna herramienta que permita probar ciertas armaciones de apariencia evidente (o no tan evidente). Muchos libros de Clculo orientados hacia la ingeniera omiten este concepto. No es un concepto imprescindible para un futuro ingeniero, pero es bueno que sepas de su existencia y tengas una idea de su utilidad y lo que signica. El Captulo 6 estudia las derivadas y sus aplicaciones. Creo que debes leerlo todo incluidas las demostraciones de los resultados principales porque son cortas y fciles de entender, con la excepcin, quizs, de las demostraciones de las Reglas de LHpital, no porque sean difciles sino porque son algo largas. Pero debes leer la explicacin de por qu dichas reglas funcionan. Son muy tiles y mi impresin es que se usan como un recurso casi mgico, sin entender bien lo que se est haciendo. La seccin en la que se explican tcnicas para calcular lmites de funciones debes leerla hasta que memorices los lmites bsicos que all se indican y entiendas bien los procedimientos que se exponen. El Captulo 7 est dedicado al estudio de las sucesiones. Debes aprender y comprender bien las deniciones y lo que dicen los principales teoremas pero, salvo la demostracin de que toda sucesin montona acotada es convergente, no es necesario que leas ninguna otra demostracin. Los resultados relativos a la condicin de Cauchy son una herramienta terica fundamental, pero quizs un ingeniero puede prescindir de ellos. La seccin en la que se explican tcnicas para calcular lmites de sucesiones y para resolver las indeterminaciones ms usuales, debes leerla hasta que memorices los lmites bsicos que all se indican y entiendas bien los procedimientos que se exponen. Las sucesiones que denen al nmero e y las desigualdades asociadas con dichas sucesiones son muy tiles, debes memorizarlas y aprender a reconocerlas all donde aparezcan. La continuidad uniforme es algo de lo que puedes prescindir
Guas de lectura con tranquilidad.
XXI
El Captulo 8 es muy extenso, en l se estudia la integral de Riemann que es la integral usual del Clculo, las integrales impropias, el clculo de primitivas y las aplicaciones del clculo integral. Con la excepcin de las demostraciones del Teorema Fundamental del Clculo y de la Regla de Barrow, no es necesario que leas otras demostraciones. Procura entender bien la denicin de integral y sus propiedades as como el signicado del Teorema Fundamental del Clculo. Todo el tiempo que dediques, y tendrs que dedicar muchas horas, a practicar las tcnicas de clculo de primitivas ser ampliamente recompensado. Calcular primitivas es algo que hay que hacer con muchsima frecuencia: en todas las aplicaciones de la integral tienes que calcular una primitiva. El Captulo 9 est dedicado al estudio de las series numricas. Es importante que aprendas y comprendas bien las deniciones principales. Hay muchsima confusin en este tema y los libros que conozco sirven de poca ayuda. Las demostraciones de este captulo puedes omitirlas salvo las de los criterios de convergencia para series de trminos positivos que son cortas y fciles de entender. Las tcnicas para sumar algunos tipos de serie debes estudiarlas, as como el criterio de Leibniz para las series alternadas. El apartado dedicado a la expresin de un nmero real en una base merece que lo leas, aunque solamente sea un poco por encima, para saber lo que dice y para aclararte de una vez con eso de los decimales innitos con innitas cifras que no se repiten. El Captulo 10 estudia la convergencia puntual y uniforme de sucesiones y series de funciones. El concepto de convergencia puntual es muy sencillo, no lo es tanto el de convergencia uniforme y puede que un ingeniero no necesite estudiarlo con detenimiento. Es bueno que sepas para qu sirve y que muchas operaciones que consisten en permutar el lmite funcional con la integracin o con la derivacin requieren para su plena justicacin un tipo de convergencia mejor que la puntual. Las series de potencias debes estudiarlas con detalle, omitiendo quizs algunas demostraciones. Su estudio es importante y muy til a efectos de clculo. Los desarrollos en serie de potencias de las funciones elementales, y la denicin por series de potencias de las funciones exponencial y trigonomtricas debes estudiarlos bien. Lo que dice el teorema de aproximacin de Weierstrass es muy fcil de entender, pero puedes omitir su demostracin. La parte ms importante para el aprendizaje es el tiempo que dediques a la realizacin de ejercicios. He incluido una extensa coleccin de ejercicios resueltos que te servir de ayuda para aprender a resolver ejercicios t solo. Siempre debes intentar resolver algunos de los ejercicios propuestos empezando por los que te parezcan ms fciles, antes de consultar las soluciones. Se aprende ms de un ejercicio que al principio se resiste hasta que damos con la idea para resolverlo, que del ejercicio que resolvemos al primer golpe de vista. Los ejercicios que propongo tiene un grado medio de dicultad: no son triviales para no ofender a tu inteligencia ni demasiado difciles para evitar que puedas desalentarte. Con frecuencia los ms difciles estn resueltos. En cualquier caso, siempre debes leer la teora y comprender los conceptos e ideas bsicas, as como el signicado preciso de los teoremas, antes de hacer los ejercicios.
Para estudiantes de matemticas y fsica

Todo lo dicho arriba se mantiene con algunos aadidos: El Captulo 3 debes estudiarlo y entenderlo bien. Los conceptos bsicos de los nmeros
Guas de lectura
XXII
complejos estn muy confusamente expuestos en gran nmero de textos y las funciones complejas elementales son denidas con frecuencia de una forma poco correcta. En el Captulo 4 debes estudiar y comprender bien las deniciones de extremo superior e inferior. Debes hacer ejercicios hasta que te convenzas de que sabes usarlas con soltura. La diferencia entre un curso de Clculo y uno de Anlisis Matemtico est en los conceptos de supremo e nmo. Los libros de Anlisis Matemtico siempre los incluyen, los de Clculo casi nunca. No es preciso, al menos en una primera lectura, que estudies la demostracin del teorema de valores mximos y mnimos de Weierstrass, en el Captulo 7 hay otra demostracin alternativa de dicho teorema que es mucho ms fcil. Debes estudiar y comprender la demostracin del teorema de Bolzano y sus consecuencias, as como las relaciones entre monotona e inyectividad. Para el Captulo 6 te doy los mismos consejos que arriba. En una segunda lectura debes estudiar la demostracin de las reglas de LHpital. El Captulo 7 estudia las sucesiones numricas. Mantengo los mismos consejos de arriba pero, adems, en una segunda lectura debes estudiar las demostraciones de los resultados principales, especialmente el teorema de completitud de . Por supuesto, debes estudiar la continuidad uniforme. Para el Captulo 8 mantengo los mismos consejos de arriba con el aadido de que estudies las demostraciones de integrabilidad de funciones continuas y de funciones montonas. En el Captulo 9 puedes omitir la demostracin de la segunda parte del teorema 9.14 pero debes entender lo que se arma en el mismo. Lo dems debes estudiarlo todo. El tema de las series es muy importante para matemticos y fsicos. El Captulo 10 es de estudio obligado para matemticos y fsicos. La convergencia uniforme es tu primer encuentro con algunos conceptos que sern ampliamente generalizados en otros cursos, el tiempo que dediques a su estudio y a la comprensin de sus sutilezas estar bien empleado. Todos los teoremas de este Captulo tiene demostraciones sencillas y cortas que debes estudiar. El teorema de aproximacin de Weierstrass es tambin uno de esos resultados cuya generalizacin se estudia en cursos ms avanzados, debes entender bien lo que dice y no est de ms que leas la demostracin. Por lo dems, mantengo los consejos dados arriba. La parte ms importante para el aprendizaje es el tiempo que dediques a la realizacin de ejercicios. He incluido una extensa coleccin de ejercicios resueltos que te servir de ayuda para aprender a resolver ejercicios t solo. Siempre debes intentar resolver algunos de los ejercicios propuestos empezando por los que te parezcan ms fciles, antes de consultar las soluciones. Se aprende ms de un ejercicio que al principio se resiste hasta que damos con la idea para resolverlo, que del ejercicio que resolvemos al primer golpe de vista. Los ejercicios que propongo tiene un grado medio de dicultad: no son triviales para no ofender a tu inteligencia ni demasiado difciles para evitar que puedas desalentarte. Con frecuencia los ms difciles estn resueltos. En cualquier caso, siempre debes leer la teora y comprender los conceptos e ideas bsicas, as como el signicado preciso de los teoremas, antes de hacer los ejercicios.
Captulo
Axiomas de . Principio de induccion

Dios cre los nmeros naturales, lo dems es obra de los hombres. L. Kronecker
1.1. Introduccin
Los temas tradicionales del Clculo son el estudio de las funciones continuas, las derivadas e integrales, las sucesiones y las series. T ya debes saber algo de todo eso. En principio, parecen cosas bastante diferentes pero todas ellas tienen una base comn, que es, precisamente, de lo que nos vamos a ocupar en este Captulo. Me estoy reriendo a los nmeros reales que representamos por . Sin duda, ya conoces muchas propiedades de los nmeros reales. Sabes que se pueden sumar y multiplicar y que hay nmeros reales positivos y negativos. Tambin puedes extraer races de nmeros reales positivos y elevar un nmero real positivo a otro nmero real. Lo que quizs no sepas es que todo lo que puedes hacer con los nmeros reales es consecuencia de unas pocas propiedades que dichos nmeros tienen que, adems, son muy elementales. En este Captulo estableceremos dichas propiedades. Sern nuestro punto de partida para todo lo que sigue; constituyen los axiomas del Clculo. Te advierto que no voy a decrtelo todo, voy a guardarme una carta en la manga que te mostrar ms adelante cuando su necesidad sea maniesta (si echas algo en falta, ve al Captulo 4).
1.1.1. Axiomas, deniciones, teoremas, lemas, corolarios.

Al terminar este apartado, entenders el signicado de la frase de Bertrand Russell que fue uno de los ms grandes matemticos y lsofos del siglo XX. La matemtica pura es aquella ciencia en la que uno no sabe de qu est hablando ni si lo que est diciendo es verdad. 1
Axiomas, deniciones, teoremas, lemas, corolarios.
Siempre que te enfrentas a un problema es muy importante que lo sites en su contexto apropiado. Esto ya lo haces de forma automtica en muchas ocasiones. Por ejemplo, sabes que un problema de lgebra y otro de probabilidades requieren distintas herramientas, y al primero lo sitas en lgebra y al segundo en Clculo de Probabilidades. Pero no siempre las cosas son tan claras, no siempre tienes un marco de referencia tan explcito. Para que sientas lo que quiero decirte, voy a proponerte unos ejercicios muy sencillos. En todo lo que sigue se supone que son nmeros reales. 1. Prueba que
2. Prueba que 3. Prueba que si
entonces
Supongo que hace ya tanto tiempo que conoces estas propiedades de los nmeros que has olvidado cundo las aprendiste. Y ahora te pido que las demuestres! Puedo imaginar tu reaccin que demuestre que ?, pero si eso es evidente! siempre me han dicho que es as! cmo se puede demostrar tal cosa?. Pienso que muchas veces la dicultad de un ejercicio est en que no sabes qu es exactamente lo que se te pide que hagas; no te dan un marco claro de referencia. En estas situaciones lo ms frecuente es quedarse colgado con la mente en blanco sin saber qu hacer. Para evitar ese peligro, en este curso vamos a dar un marco de referencia muy claro que va a consistir en unas propiedades de los nmeros axiomas, si quieres llamarlas as que vamos a aceptar como punto de partida para nuestro estudio. Esas propiedades, junto con las reglas de inferencia lgica usuales y con deniciones apropiadas nos permitirn demostrar resultados (teoremas) que podremos usar para seguir avanzando. Simplicando un poco, puede decirse que en matemticas no hay nada ms que axiomas y teoremas (bueno, tambin hay conjeturas, proposiciones indecidibles. . . ). Todo lo que se demuestra es un teorema; por ejemplo es un teorema. Ocurre que el nombre teorema se reserva para resultados que se consideran realmente importantes y que ha costado esfuerzo llegar a probarlos. Se usan tambin los trminos: corolario, lema, proposicin y otros. Pero la estructura de una teora matemtica elaborada se resume en un conjunto de axiomas y de teoremas que se deducen de ellos mediante reglas de inferencia lgica. Los axiomas de una teora matemtica proporcionan el marco de referencia ms general de dicha teora. Son, por tanto, muy importantes. Al principio, cuando la teora empieza a caminar y se demuestran los primeros resultados ms bsicos, es frecuente recurrir de forma explcita a los axiomas. Ms adelante, cuando la teora va avanzando, los axiomas no suelen citarse con tanta frecuencia porque nos apoyamos en resultados ms elaborados previamente demostrados. Pero los axiomas siempre estn presentes aunque sea de forma discreta y no ostensible. Entre las particularidades que distinguen a las Matemticas de las dems ciencias hay una muy especial: las Matemticas avanzan dando deniciones. Las deniciones no son nuevos axiomas. Una denicin lo que hace es introducir un trmino nuevo y establece cmo dicho trmino se expresa en funcin de los axiomas de la teora. Por ejemplo, la denicin de continuidad se expresa mediante desigualdades y las desigualdades se reducen a los axiomas de orden de .
Axiomas, deniciones, teoremas, lemas, corolarios.
Quiero tambin decirte algo sobre lo que se entiende por reglas de inferencia lgicas usuales. Me limitar a la ms importante: la implicacin lgica. Los teoremas matemticos tienen casi siempre la siguiente estructura: se parte de una hiptesis y de ella se deduce una tesis. Entremos en detalles. La hiptesis es siempre alguna propiedad matemtica; por ejemplo, es una funcin continua en un intervalo. La tesis tambin es una propiedad matemtica; por ejemplo, la imagen de es un intervalo. Representemos por la hiptesis y por la tesis. Es importante que te des cuenta de que no tiene sentido preguntarse por la veracidad de la hiptesis . No es ni verdadera ni falsa. Para que sea verdadera o falsa debemos particularizar la funcin . Un error muy frecuente consiste en pensar que en Matemticas las hiptesis son verdaderas. Ahora te preguntars, si no es verdadera ni falsa, qu quiere decir que implica o, equivalentemente, que se deduce o es consecuencia de ? La respuesta es: implica quiere decir que siempre que sea verdadera tambin es verdadera. Observa que no estamos armando (no tiene sentido) que o sean verdaderas sino que cuando es verdadera tambin lo es . Con ms precisin, demostrar que implica consiste en probar que la proposicin es cierta. Teniendo en cuenta que la proposicin es la disyuncin lgica (no ) , resulta que si es falsa entonces es verdadera (por eso se dice que de una hiptesis falsa puede deducirse cualquier cosa) y si es verdadera entonces para que sea verdadera tiene que ocurrir que sea verdadera. En consecuencia, si sabemos que es verdadera y que es verdadera, deducimos que es verdadera. Ahora puedes entender el signicado de la frase de C. P. Steinmetz. La matemtica es la ciencia ms exacta, y sus conclusiones son susceptibles de demostracin absoluta. Pero eso se debe exclusivamente a que la matemtica no intenta obtener conclusiones absolutas. Todas las verdades matemticas son relativas, condicionales. Tambin comprendes ya el signicado de una parte de la enigmtica frase de Bertrand Russell del principio: en matemticas no sabemos si lo que decimos es verdad. Pero una parte de dicha frase queda por aclarar. Recuerdas los axiomas de la geometra elemental? En dichos axiomas se establecen propiedades que se supone satisfacen ciertos objetos llamados punto,recta y plano. Pero no se dice nunca lo que es un punto ni una recta ni un plano. De la misma forma, en la seccin siguiente estableceremos los axiomas de los nmeros reales, pero no diremos lo que es un nmero real. En matemticas nunca decimos cul es la naturaleza concreta de los objetos con los que trabajamos! Sucede que la intuicin nos lleva muchas veces a una interpretacin natural de dichos objetos, pero otras veces dicha interpretacin natural no est disponible. Y, lo ms interesante, puede haber interpretaciones muy diferentes de una misma teora matemtica. Precisamente, las matemticas son una ciencia abstracta porque trabaja con cosas abstractas cuya naturaleza no se precisa ni es necesario saber, solamente interesan las relaciones que hay entre ellas tal y como se establecen en los axiomas. Ahora ya entiendes por qu arma Bertrand Russell que en matemticas no sabemos de lo que hablamos.
Axiomas de los nmeros reales
1.2.
Axiomas de los nmeros reales
1.2.1. Axiomas algebraicos

Como ya sabes, se distinguen distintas clases de nmeros: Los nmeros naturales Los nmeros enteros

. El conjunto de todos ellos se representa por . . cuyo conjunto se representa por .

Los nmeros racionales que son cocientes de la forma conjunto representamos por .
donde
, cuyo
Tambin conoces otros nmeros como , , o el nmero e que no son nmeros racionales y que se llaman, con una expresin no demasiado afortunada, nmeros irracionales. Pues bien, el conjunto formado por todos los nmeros racionales e irracionales se llama conjunto de los nmeros reales y se representa por . Es claro que
Aunque los nmeros que no son racionales pueden parecer un poco raros, no merece la pena, al menos por ahora, preocuparse por cmo son estos nmeros; sino que lo realmente interesante es aprender a trabajar con ellos. Lo interesante del nmero es que su cuadrado es igual a 1 . Pues bien, una de las cosas ms llamativas de los nmeros es que a partir de un pequeo grupo de propiedades pueden deducirse casi todas las dems. Vamos a destacar estas propiedades bsicas que, naturalmente, hacen referencia a las dos operaciones fundamentales que se pueden hacer con los nmeros: la suma y el producto. La suma de dos nmeros reales se escribe , representndose el producto por . Las propiedades bsicas a que nos referimos son las siguientes. P1 Propiedades asociativas. Para todos

en :
P2 Propiedades conmutativas. Para todos

en :

P3 Elementos neutros. Hay dos nmeros reales distintos que representamos por tales que para todo se verica que:

P4 Elementos opuesto e inverso. Para cada nmero real hay un nmero real llamado opuesto de , que representamos por , tal que Para cada nmero real distinto de , , hay un nmero real llamado inverso de que representamos por , tal que
1 La
seccin Nmeros y medida de magnitudes trata de la aparicin de los nmeros irracionales y su relacin con la medida de magnitudes
Axiomas de orden P5 Propiedad distributiva.

para todos
en .
Las propiedades anteriores son de tipo algebraico y, aunque son muy sencillas, a partir de ellas pueden probarse cosas tan familiares como que , o que . Vamos a hacerlo. 1.1 Proposicin. Se verican las siguientes igualdades

Demostracin. Probaremos primero que . Por P5 . Como consecuencia de P3 es . Obtenemos as que . Usando P4, sumamos el opuesto de a ambos lados de la igualdad y, usando tambin P1 (la propiedad asociativa), obtenemos que . Probaremos ahora que . Tenemos que . Donde hemos usado P4, P5 y el apartado anterior. La igualdad nos dice, por P4, que es el opuesto de . Eso es justamente lo que queramos probar. Finalmente, la igualdad
es consecuencia inmediata de la anterior.
El smbolo debe leerse siempre el opuesto de y no menos . La razn es que la palabra menos remite a una idea de orden (si hay menos es porque hay ms) y el signicado de es puramente algebraico y nada tiene que ver con la idea de orden de la que ni siquiera hemos hablado an. No cometas el error de pensar que es negativo! Notacin. Suele escribirse o en vez de .
en vez de
. Tambin, supuesto
, se escribe
1.2.2. Axiomas de orden

Los nmeros tienen, adems de las propiedades algebraicas, otras propiedades que suelen llamarse propiedades de orden. Como sabes, los nmeros suelen representarse como puntos de una recta en la que se ja un origen, el , de forma arbitraria. Los nmeros que hay a la derecha de , se llaman positivos y el conjunto de todos ellos se representa por . Las propiedades bsicas del orden son las siguientes. P6 Ley de tricotoma. Para cada nmero real se verica una sola de las siguientes tres armaciones: , es positivo, es positivo.
P7 Estabilidad de . La suma y el producto de nmeros positivos es tambin un nmero positivo. 1.2.2.1. Relacin de orden
Observa que en P6 se dice, en particular, que el no es positivo, el es el ! Por otra parte, si es un nmero positivo, entonces como y el no es positivo, concluimos, por P7, que no es positivo. Los elementos del conjunto , es decir, los opuestos de los nmeros positivos, se llaman nmeros negativos. Observa que si entonces .
Desigualdades y valor absoluto
1.2 Denicin. Para escribimos (lase es menor que ) o (lase es mayor que ) para indicar que , y escribimos o para indicar que . Notacin. En adelante usaremos las notaciones: o 1.3 Proposicin. Para todo
, o
y .
se verica que
. En particular,
Demostracin. Probaremos que si entonces . En efecto, si entonces, por P6, o bien es positivo o bien es positivo. Teniendo en cuenta que, como consecuencia de (1.1), es , concluimos que es positivo. En particular, tenemos que . Acabamos de probar que !. Tenemos ahora dos tipos de propiedades en , las algebraicas P1-P5 y las de orden P6 y P7. En la siguiente seccin estudiamos cmo se relacionan entre s.
1.2.3. Desigualdades y valor absoluto

Las propiedades del orden de los nmeros reales son las que nos permiten trabajar con desigualdades. Es muy fcil equivocarse al trabajar con desigualdades. Yo creo que en el bachillerato no se le da a este tema la importancia que merece. Fjate que algunos de los conceptos ms importantes del Clculo se denen mediante desigualdades (por ejemplo, la denicin de sucesin convergente o de lmite de una funcin en un punto). Por ello, tan importante como saber realizar clculos ms o menos complicados, es aprender a manejar correctamente desigualdades, y la nica manera de hacerlo es con la prctica mediante numerosos ejemplos concretos. Por supuesto, siempre deben respetarse cuidadosamente las reglas generales que gobiernan las desigualdades entre nmeros y asegurarse de que se usan correctamente. Aparte de tales reglas no hay otros mtodos generales que nos digan cmo tenemos que proceder en cada caso particular. En el siguiente resultado el primer teorema de este curso! se enuncian las propiedades principales del orden de . Son las que debers usar para trabajar con desigualdades. 1.4 Teorema (Reglas para trabajar con desigualdades). Sean 1. 2.

nmeros reales.
e e
implican que implican que
. .

3. Se verica exactamente una de las tres relaciones: 4. 5. 6. 7.

,o
implica que , ,

implican que implican que
. .
si
si, y slo si, e son los dos positivos o los dos negativos. En consecuencia es y, en particular, .

8.
implica que
9. Supuesto que implica que
son los dos positivos o los dos negativos, se verica que
Todas estas propiedades son fciles de probar. Por ejemplo, para probar el punto 5), si se tiene que . Si ahora es , tambin ser , es decir, o, sea, . Lo nico que hemos usado aqu ha sido la denicin de los smbolos y y algunas de las propiedades P1-P8. Un estupendo ejercicio para que compruebes tus habilidades es que demuestres todas las armaciones del teorema anterior.
1.2.3.1.
La forma correcta de leer las matemticas
La forma en que estn escritos los apartados del teorema anterior no me gusta mucho. Voy a decirte por qu y para eso voy a tratar aqu un defecto en el que solemos caer al leer o estudiar matemticas. Se trata de algo que realizamos de una manera mecnica, y por ello no es fcil de evitar, y que limita y condiciona mucho el alcance de lo que entendemos y aprendemos. Para ponerlo de maniesto vamos a considerar un ejemplo. En uno de los ejercicios al nal de esta seccin te propongo que pruebes que la igualdad

(1.1)
nunca es cierta. Bien, supongamos que ya lo has probado. Seguidamente te pido que me digas cundo es cierta la igualdad

(1.2)
Tienes 15 segundos para contestar (y sobran 13). Si? No? Son la misma igualdad! Y, aqu es a dnde yo quera llegar, si no te parecen la misma igualdad es porque ests leyendo los smbolos y no los conceptos, es porque ests leyendo las letras! Claro, me dirs, las letras estn para leerse. De acuerdo, pero hay que ir siempre al signicado de lo que se lee y no quedarse en la supercie de los smbolos. Los smbolos proporcionan mucha comodidad para expresar las ideas matemticas, pero con frecuencia, si no sabemos leer bien su signicado, los smbolos pueden ocultar los conceptos. En el ejemplo anterior, el hecho de que la igualdad (1.1) sea falsa, se expresa de forma correcta diciendo que la suma de dos inversos nunca es igual al inverso de la suma. Por tanto, la igualdad (1.2) jams puede darse pues es la misma igualdad (1.1) en la que se ha sustituido por e por . Pero tanto como son nmeros reales cualesquiera e igual ocurre con e . Te das cuenta del problema? No es igual retener la idea de que 1 dividido por ms 1 dividido por nunca es igual a 1 dividido por que asimilar que la suma de dos inversos nunca es igual al inverso de la suma. En el primer caso los smbolos e tienen un protagonismo que no les corresponde, ocultan el concepto: si te jas demasiado en ellos no sabrs reconocer que (1.2) y (1.1) son la misma cosa. Esto que acabamos de ver ocurre en muchas situaciones. Por ejemplo, la mayora de los libros de texto enuncian el teorema de Bolzano como sigue.
Desigualdades y valor absoluto Sea

continua y vericando que tal que .
. Entonces hay algn
Demasiadas letras , , , , demasiadas precisiones que lo que hacen es confundir y ocultar el resultado. La forma correcta de leer el enunciado anterior es: toda funcin continua en un intervalo que toma valores positivos y negativos se anula en algn punto de dicho intervalo. Los teoremas deben enunciarse as, a ser posible sin smbolos. Yo procuro hacerlo siempre que el resultado lo permite. No lo he hecho en el teorema (1.4) porque quiero que lo hagas t. Por ejemplo, la propiedad 5) de dicho teorema debe leerse (y escribirse) en la forma: una desigualdad se conserva al multiplicarla por un nmero positivo. 1.5 Estrategia. Traduce los smbolos en conceptos. Cuando leas matemticas presta atencin a los conceptos y no retengas smbolos concretos.
, tiene mximo 1.6 Denicin. Se dice que un conjunto no vaco de nmeros reales, si hay un nmero que es el mayor de todos los elementos de , es decir, para max . Se dice que un conjunto no vaco todo . Cuando esto ocurre, escribimos de nmeros reales, , tiene mnimo si hay un nmero que es el menor de todos los elementos de , es decir, para todo . Cuando esto ocurre, escribimos mn .
Valor absoluto El valor absoluto de un nmero se dene como el nmero:
si si
Para trabajar con valores absolutos es til recordar la siguiente denicin. 1.7 Denicin. 2 . Para cada nmero o , representamos por igual que cero cuyo cuadrado es igual a . 1.2.3.2. Una funcin aparentemente caprichosa
al nico nmero mayor o
Acabamos de denir la funcin raz cuadrada. Ahora te propongo un juego: voy a hacerte una pregunta que t vas a responder de forma inmediata diciendo lo primero que se te ocurre. La pregunta es la siguiente: dime el valor de . Por experiencia s que la mayora de las veces la respuesta es . Pues si esa ha sido tu respuesta te equivocas. Vuelve a leer la denicin anterior y responde ahora de forma meditada. Confo en que ya tengas la respuesta correcta que es . En efecto, se tiene que y, adems, , por tanto . S por experiencia que muchos estudiantes tienen la idea de que la raz cuadrada de un nmero real positivo es unas veces positiva y otras veces negativa y muchos creen que pue de tomar los dos valores y, en este caso, deben pensar que . Cosas ms raras se han visto. Toda esta magia lleva a situaciones bastante extraas. Por ejemplo, es sabido que la distancia eucldea entre dos puntos y del plano viene dada por . En particular, la distancia entre los puntos y
2 Con
las herramientas que ahora tenemos no podemos probar la existencia de races cuadradas
es
. Una distancia negativa? No, la raz cuadrada no es una funcin caprichosa y su denicin no deja lugar a dudas: la raz cuadrada de un nmero positivo es tambin un nmero positivo.
Sabes de dnde procede esta confusin tan extendida? Pues viene de muy atrs, de cuando en la escuela se aprende (realmente se aprende?) a resolver la ecuacin de segundo grado cuyas soluciones son los nmeros
Ah est el problema: en el confuso smbolo delante de la raz. Es eso lo que lleva a muchos a pensar que las races cuadradas pueden tomar dos valores: uno positivo, que corresponde a la eleccin del sigo , y otro negativo que corresponde a la eleccin del signo en la expresin (1.3). Lo ms lamentable es que toda esta confusin no es ms que producto de la pereza. Vers, cuando se aprende a resolver la ecuacin de segundo grado (realmente se aprende?) se obtienen las soluciones
(1.3)
Como esto es largo de escribir en la pizarra, los profesores, por pereza, resumen las soluciones obtenidas en la expresin nica (1.3). Eso explica cosas bastante incomprensibles como, por ejemplo, escribir acaso escribes +7? No, sabes que 7 es un nmero positivo y parece . Entonces, por qu escribir ? Respuesta, porque totalmente improcedente escribir es caprichoso: unas veces puede ser positivo y otras negativo. A esta forma de pensar se le llama magia matemtica, est bastante ms extendida de lo que puedes creer y no solamente entre estudiantes. Confo en que te haya quedado claro sin lugar a dudas que y que la raz cuadrada no es una funcin caprichosa. La utilidad de la raz cuadrada para trabajar con valores absolutos procede de la siguiente estrategia de procedimiento. 1.8 Estrategia. a) Para probar que dos nmeros positivos son iguales es suciente probar que sus cuadrados son iguales. b) Para probar una desigualdad entre dos nmero positivos es suciente probar dicha desigualdad para sus cuadrados. El enunciado anterior est hecho como a mi me gusta: con palabras y sin smbolos. Poniendo smbolos, lo que se dice en el enunciado es que: Dados probar que
para probar que es suciente probar que es suciente probar que .
y para
Todo lo dicho es consecuencia de que Geomtricamente, general:
y se tiene que
representa la distancia de al origen, , en la recta real. De manera ms
distancia entre e
representa la longitud del segmento de extremos e .

Ejercicios propuestos 1.9 Teorema (Propiedades del valor absoluto). Para i) ii) iii) iv)

10
se verica que:
es equivalente a

y la igualdad se da si, y slo si, y la igualdad se da si, y slo si,
desigualdad triangular. .
Demostracin. La primera armacin es consecuencia inmediata de la denicin de valor absoluto. Para probar ii), iii) y iv) usaremos la estrategia (1.8). ii) Tenemos que iii) Tenemos que

La igualdad se da si, y slo si, iv) Tenemos que
, es decir,
La igualdad se da si, y slo si,
, es decir,
Te recuerdo que debes leer de forma correcta las propiedades anteriores: no te jes en las letras sino en los conceptos. La propiedad ii) debes leerla el valor absoluto de un producto es igual al producto de los valores absolutos. Por su parte, la desigualdad triangular dice dos cosas: i) El valor absoluto de una suma es menor o igual que la suma de los valores absolutos. ii) El valor absoluto de una suma es igual a la suma de los valores absolutos si, y slo si, todos los sumandos son positivos o todos todos los sumandos son negativos.
1.2.4. Ejercicios propuestos
1. Sabes por qu no se puede dividir por ? 2. Qu quiere decir que un nmero no es racional? Demuestra que 3. Sabiendo que desigualdades: cada caso.

no es racional.
se verica necesariamente alguna de las

? Dar una prueba o un contraejemplo en
Ejercicios propuestos 4. Sea un nmero real. Estudia si cada una de las desigualdades
11
es consecuencia de la otra. 5. Calcula para qu valores de i) iii) v)

se verican las desigualdades siguientes. ii)
iv) vi)
6. Prueba las siguientes desigualdades: a) b)

siempre que
siempre que
7. Prueba que cualesquiera sean los nmeros reales positivos
se verica que
8. Calcula para qu valores de i) iii) v) vii)

se verican las siguientes desigualdades.
ii) iv) vi) viii)
9. Supuesto que
donde
, prueba que
Generaliza este resultado.
10. Prueba cada una de las siguientes desigualdades y estudia, en cada caso, cundo se da la igualdad. a) b) c)

d)
donde
Sugerencia. Para probar a) considrese . Las dems desigualdades pueden deducirse de a). 11. Demuestra todos los apartados del teorema (1.4) y enncialos con palabras.
Ejercicios resueltos 12. Sean e nmeros distintos de cero. Prueba que las igualdades

12
son falsas.
13. Comprueba que races cuadradas, se deduce que y, por tanto, . Dnde est el error?
. Por tanto, extrayendo , esto es

14. Calcula los nmeros reales que verican cada una de las igualdades
Comprueba las soluciones obtenidas. 15. Prueba que 16. Sean ,

y nmeros positivos. Prueba que
17. Prueba que si es decir, racional.
es un nmeros natural que no es el cuadrado de ningn nmero natural, para todo , entonces se verica que es un nmero real no
Sugerencia. Usa la descomposicin de en factores primos. 18. Justica las siguientes armaciones. a) La suma de un nmero racional y un nmero irracional es un nmero irracional. b) El producto de un nmero racional no cero por un nmero irracional es un nmero irracional. c) La suma y el producto de dos nmeros irracionales puede ser racional o irracional. d) Los nmeros
son irracionales.
1.2.5. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 1 Sabes por qu no se puede dividir por ? Solucin. Si se pudiera dividir por , es decir, si hubiera un nmero que fuera el inverso del , su producto por habra de ser igual a 1, pero ya sabemos que al multiplicar por el resultado es siempre . Conclusin: si se pudiera dividir por cero habra de ser , lo cual es falso.
Ejercicios resueltos Ejercicio resuelto 2 Qu quiere decir que un nmero no es racional? Demuestra que es racional.
13
no
Solucin. Que un nmero no es racional quiere decir que no puede escribirse como cociente de nmeros enteros. Para probar que un nmero es irracional suele razonarse por contradiccin: se supone que el nmero en cuestin es racional y se llega a una situacin contradictoria. Una prueba clsica de que es irracional es como sigue. Supongamos que fuera racional. Entonces existirn nmeros naturales y sin factores comunes, en particular y no podrn ser ambos pares, tales que , esto es, . La
igualdad nos dice que es par lo cual implica que tambin tiene que serlo . As podemos escribir . Sustituyendo en la igualdad anterior y simplicando tenemos que , y de aqu se sigue, al igual que antes, que tiene que ser par y sta es la contradiccin anunciada. Ejercicio resuelto 3 Calcula para qu valores de
se verica que
Solucin. Claro est, (recuerda, no se puede dividir por ). Como al multiplicar una desigualdad por un nmero positivo la desigualdad se conserva, deducimos que si , la desigualdad dada equivale a , es decir, . Luego para la desigualdad es cierta. Veamos ahora qu pasa si . En tal caso, al multiplicar por la desigualdad equivale a , es decir, condicin que no puede darse si . En resumen, la desigualdad es cierta para . Otra forma de proceder consiste en utilizar el hecho de que una desigualdad es equivalente a la obtenida al multiplicarla por una cantidad positiva. Multiplicando la desigualdad dada por obtenemos que dicha desigualdad equivale a la siguiente
Haciendo las operaciones indicadas obtenemos que esta desigualdad es lo mismo que . Las soluciones de la ecuacin son y . Por tanto, . Resulta as que la desigualdad dada equivale a . Teniendo en cuenta que para que un producto de dos nmeros sea negativo dichos nmeros deben ser uno positivo y otro negativo, concluimos que debe ser y , es decir (la otra posibilidad y no puede darse). Ejercicio resuelto 4 Calcula para qu valores de

se verica que
Solucin. La desigualdad del enunciado equivale a las siguientes dos desigualdades:
Teniendo en cuenta que
, resulta
Ejercicios resueltos
14

Deducimos que la desigualdad del enunciado se verica si, y slo si, y . Si y Si
entonces .
y la desigualdad se cumple si, y slo si,
entonces
y la desigualdad se cumple si, y slo si,

Ejercicio resuelto 5 Sabiendo que alguna de las desigualdades: contraejemplo en cada caso.
; se verica necesariamente ? Dar una prueba o un
Solucin. Que las letras no te despisten: lo que te estn diciendo es que si la suma de dos nmeros distintos entre s es mayor que la suma de otros dos nmeros distintos entre s, es cierto, por ejemplo, que el mayor del primer par es ms grande que el mayor del segundo par? Est claro que no tiene por qu ser as: los otros sumandos pueden compensar la diferencia. Por ejemplo . Concluimos que no tiene por qu ser cierto que ni tampoco . El ejemplo prueba que tampoco tiene por qu ser . Intenta ahora buscar un ejemplo en el que no se cumpla que (pero no le dediques ms de cinco minutos). Ya? No lo habrs encontrado porque, si lo piensas un poco, vers que tiene que ser necesariamente . Intenta demostrarlo (aunque tengas que dedicarle ms de cinco minutos). Lo primero que se le ocurre a uno es escribir . Si fuera siempre positivo habramos acabado (y tambin habramos demostrado ms de lo que queremos), pero no tiene por qu ser as, por ejemplo . La demostracin directa no parece viable. En estos casos tenemos que intentar un camino indirecto. Probemos que no puede ocurrir que . Eso es fcil. Fjate: si fuera , como nos dicen que y , tambin sera y ; pero entonces lo que es contrario a la hiptesis hecha. Luego concluimos que . Ejercicio resuelto 6 Supuesto que desigualdad.

, prueba que se verica la siguiente

Solucin. En este ejercicio no parece, en principio, cosa fcil deducir la desigualdad pedida de las hiptesis que nos dan. En estos casos puede intentarse trabajar para atrs, es decir, ir convirtiendo la desigualdad que nos piden probar en otras equivalentes a ella y ms sencillas, hasta llegar a una que seamos capaces de deducir de la hiptesis que nos dan. Haciendo las operaciones indicadas, podemos escribir la desigualdad en la forma
y, como los denominadores son positivos, esto es lo mismo que
Como
esta desigualdad equivale a

, es decir:
Ejercicios resueltos Pero esta ltima desigualdad es consecuencia de que la hiptesis hecha, la cual implica que y . Y por tanto

15 ,
Con esto podemos considerar que hemos acabado, pero es una buena costumbre dar ahora la vuelta al razonamiento que hemos seguido, es decir, deshacer el camino recorrido para obtener una prueba directa. Ejercicio resuelto 7 Discutir la validez de las igualdades: a) b)

Solucin. a) En virtud de la desigualdad triangular, la igualdad del enunciado , se da si, y slo si, . b) En virtud de la estrategia (1.8), la desigualdad desigualdad , es decir,
equivale a la
o sea, , esto es, . Esto tambin puedes comprobarlo representando los nmeros en una recta en la que jas un origen y una unidad: se trata de ver cundo est ms cerca de que de . Ejercicio resuelto 8 Lo que sigue es una generalizacin del ejercicio propuesto (9). Sean nmeros reales cualesquiera y nmeros reales positi vos. Sean y el menor y el mayor respectivamente de los nmeros

Entonces, para
, se verica que:
es decir
y sumando estas desigualdades:

de donde se sigue que:
Ejercicio resuelto 9 Prueba cada una de las siguientes desigualdades y estudia, en cada caso, cundo se da la igualdad. i) ii)

Ejercicios resueltos iii) iv) v)

16

donde
verican
donde
Sugerencia: para probar i) considrese . Las dems desigualdades pueden deducirse de i). Solucin. i) y ii) Siguiendo la sugerencia, que para eso nos la dan, tenemos que
de donde se deduce que , y la igualdad ocurre si, y slo si, . Si sumas a ambos lados de la desigualdad , obtienes que , y la igualdad ocurre si, y slo si, . iii) Cambiando por en resulta . Por tanto
De donde se deduce que y la igualdad se da si, y slo si, . iv) Probaremos ahora la desigualdad donde se supone que . Lo primero que se observa es la completa simetra de la desigualdad propuesta. Puesto que lo nico que sabemos de , y es que son positivos, parece razonable pensar que si la desigualdad que nos dan es cierta es porque cualquiera sea , es decir, , o lo que es igual ; lo que es cierto (para todonmero ) y la igualdad se da si, y solo si . Sustituyendo ahora en , , , y multiplicando miembro a miembro las tres desigualdades resultantes, obtenemos que
y la igualdad se da si, y slo si, . Dnde hemos usado que los nmeros , y son positivos? v) La ltima desigualdad propuesta tambin llama la atencin por su simetra. Usando otra vez que , se sigue que . Ahora sustituyes por , y , multiplicas miembro a miembro las desigualdades obtenidas y has acabado. Fjate cunto partido hemos sacado de la desigualdad elemental Ejercicio resuelto 10 Prueba que el nmero
es irracional.
Solucin. Para hacer el ejercicio propuesto (18) hay que tener en cuenta que cuando se efectan operaciones racionales (suma, producto y cociente) sobre uno o varios nmeros racionales volvemos a obtener un nmero racional. En consecuencia, si realizando con un nmero real y con otros nmeros racionales operaciones racionales obtenemos un nmero irracional, podemos armar que el nmero es irracional. Por ejemplo,
es irracional pues
Principio de induccin matemtica
17
1.3. Principio de induccin matemtica

El Principio de induccin matemtica es un mtodo que se usa para probar que ciertas propiedades matemticas se verican para todo nmero natural. Considera, por ejemplo, la siguiente igualdad en la que :
(1.4)
Si le damos a un valor, por ejemplo , podemos comprobar fcilmente que la igualdad correspondiente es cierta. Si le damos a el valor 1000 ya no es tan fcil comprobar esa igualdad y se le damos a el valor la cosa ya se pone realmente difcil. Pero nosotros queremos an ms, no nos conformamos con probar que esa igualdad es cierta para unos cuantos miles o millones de valores de ; no, queremos probar que es vlida para todo nmero natural . En estos casos es el Principio de induccin matemtica el que viene en nuestra ayuda para salvarnos del apuro. Para nosotros el principio de induccin matemtica es algo que aceptamos, es decir, puedes considerarlo como un axioma de la teora que estamos desarrollando (aunque su formulacin lo hace casi evidente). Principio de induccin matemtica. Sea supongamos que: i)
un conjunto de nmeros naturales,
, y
ii) Siempre que un nmero Entonces
est en
se verica que
tambin est en
El Principio de Induccin Matemtica es la herramienta bsica para probar que una cierta propiedad es vericada por todos los nmeros naturales. Para ello se procede de la siguiente forma: A) Comprobamos que el nmero 1 satisface la propiedad, esto es, que es cierta. B) Comprobamos que si un nmero satisface la propiedad, entonces tambin el nmero la satisface. Es decir comprobamos que si es cierta, entonces tambin lo es . Si ahora denimos el conjunto es cierta , entonces el punto A) nos dice que , y el punto B) nos dice que siempre que est en se verica que tambin est en . Concluimos, por el principio de induccin, que , o sea, que es cierta para todo nmero natural . Observa que en B) no se dice que se tenga que probar que es cierta, sino que hay que demostrar la implicacin lgica . Para demostrar dicha implicacin lo que hacemos es suponer que es cierta. Es por eso que suele llamarse a la hiptesis de induccin. Puedes imaginar el principio de induccin de la siguiente forma. Considera que cada nmero natural lo representamos por una cha de domin y las colocamos en una la recta interminable. Seguidamente empujamos a la primera cha sobre la siguiente (esto es el punto A)
Principio de induccin matemtica
18
anterior: cae la primera cha). Caern todas? Para eso debemos de estar seguros de que siempre que cae una cha tira a la que le sigue, es decir que la distancia entre dos chas cualesquiera es menor que la longitud de una cha (esto es el punto B) anterior: si cae la cha tambin cae la ). Cuando esto es as podemos asegurar que caern todas las chas. Probemos, como ejemplo, la igualdad (1.4). 1.10 Ejemplo. Para todo nmero natural se verica la igualdad
Demostracin. Para la igualdad se reduce a que, evidentemente, es cierta. Acaba de caer la primera cha del domin. Supongamos que dicha igualdad se verica para un nmero (acaba de caer la cha del domin) y probemos que en tal caso tambin se verica para (hay que probar que al caer la cha tira a la cha ). Que la cha cae quiere decir que
(1.5)
Para que al caer la cha tambin caiga la cha anterior se deduce la siguiente igualdad.
, deberemos probar que de la igualdad
(1.6)
Tenemos que
por (1.5)
Que es justamente la igualdad (1.6). Concluimos, en virtud del principio de induccin, que la igualdad del enunciado es cierta para todo . La demostracin del siguiente lema es otro ejemplo del principio de induccin. 1.11 Lema. Si el producto de nmeros positivos es igual a , entonces su suma es mayor o igual que . Y la suma es igual a si, y slo si, todos ellos son iguales a 1. Demostracin. Para cada nmero natural , sea la proposicin si el producto de nmeros positivos es igual a , entonces su suma es mayor o igual que . Demostraremos por induccin que es verdadera para todo . Trivialmente es verdadera. Supongamos que es verdadera. Consideremos nmeros positivos no todos iguales a cuyo producto sea igual a . En tal caso alguno de dichos nmeros, llammosle , tiene que ser menor que y otro, al que llamaremos , tiene que ser mayor que . Notando los restantes nmeros se tiene que:

Principio de induccin matemtica Por tanto
19 nmeros positivos con producto igual a

son
por lo que: (1.7)
Como
, tenemos que:

(1.8)
De (1.71) y (1.8) se sigue que:

Observa que la desigualdad obtenida es estricta. Hemos probado as que es verdadera. Concluimos, por el principio de induccin, que la armacin del enunciado es verdadera para todo nmero natural . Notacin. Dados nmeros

representamos la suma de todos ellos por
el producto de todos ellos por
En el siguiente teorema se establece una de las desigualdades ms tiles del Clculo. 1.12 Teorema (Desigualdad de las medias). Cualesquiera sean los nmeros positivos se verica que:
(1.9)
Y la igualdad se da si, y slo si, Demostracin. Basta poner que

, Claramente se verica
por lo que, en virtud del lema anterior,
es decir
que es la desigualdad que queremos probar. Se da la igualdad solamente cuando , es decir, cuando . Los nmeros
para
mtrica y aritmtica de . La desigualdad de las medias tiene interesantes aplicaciones a problemas de extremos. Una til consecuencia de ella se expone a continuacin. 1.13 Corolario. Sean supongamos que en un punto
se llaman, respectivamente, medias geo-
funciones positivas denidas en un conjunto se verica que .
i) Si el producto de las funciones es constante, se verica que
para todo
Principio de induccin matemtica ii) Si la suma de las funciones es constante, se verica que:

20
para todo
Demostracin. Lo armado en i) y ii) es consecuencia directa de que, para todo verica

se
y se da la igualdad si, y slo si, los nmeros
son todos iguales.
Has ledo correctamente el corolario anterior? Te voy a ayudar. Lo que dice es lo siguiente. i) La suma de funciones positivas cuyo producto es constante alcanza su valor mnimo en cualquier punto en el que dichas funciones sean todas iguales. ii) El producto de funciones positivas cuya suma es constante alcanza su valor mximo en cualquier punto en el que dichas funciones sean todas iguales. El principio de induccin matemtica puede aplicarse en muchas situaciones en las que, a primera vista, no aparecen para nada los nmeros naturales. Por ejemplo, una proposicin referente a todos los polinomios podra probarse por induccin sobre el grado del polinomio. Un teorema sobre matrices cuadradas podra probarse por induccin sobre el orden de la matriz. Probaremos a continuacin una til igualdad algebraica conocida como frmula del binomio de Newton. Para establecer esta igualdad necesitamos denir los llamados coecientes se dene: binmicos. Dados dos nmeros enteros
donde
Es decir, es el producto de todos los nmeros naturales menores o iguales que . Se dene tambin . La igualdad
(1.10)
es de comprobacin inmediata. A partir de ella se prueba fcilmente, por induccin sobre , que es un nmero entero positivo. 1.14 Teorema (Frmula del binomio de Newton). Cualesquiera sean los nmeros reales y el nmero natural se verica que:
Ejercicios propuestos
21
Demostracin. Para la igualdad del enunciado es trivialmente verdadera. Supongamos que dicha igualdad se verica para . Entonces:
Lo que prueba la validez de la igualdad para . En virtud del principio de induccin, concluimos que la igualdad del enunciado es cierta para todo . La induccin matemtica es un proceso demostrativo Considera la expresin . Con un ordenador puedes comprobar que si evalas esta expresin para los valores obtenidos no son cuadrados perfectos. Debemos concluir que para todo nmero natural se verica que no es un cuadrado perfecto? Pues no. Entre los nmeros de la forma hay cuadrados perfectos. . . el valor mnimo de para el cual es un cuadrado es el nmero ! Con eso te indico que hay que ser precavido: no basta comprobar la veracidad de una expresin para unos cuantos valores de para concluir que dicha expresin es cierta para todo . La historia de las matemticas est llena de este tipo de errores.
19. Prueba, usando el principio de induccin, que las siguientes armaciones son ciertas para todo . a) b) c) d) e)
es divisible por 2.
es mltiplo de 6. es mltiplo de 8.
es divisible por 5.
no es divisible por 3.
Ejercicios propuestos 20. Dado un nmero geomtrica:
22 , prueba por induccin la frmula para la suma de una progresin

Deduce directamente este mismo resultado poniendo multiplicando por y despejando entre las dos igualdades obtenidas.
21. Prueba, usando el principio de induccin, que para todo se verica la igualdad

22. Prueba, usando el principio de induccin, que para todo se verican las desigualdades siguientes. a) b) c)
23. Demuestra que cualquier conjunto de nmero reales, con un nmero nito de elementos, tiene mximo y mnimo. 24. Demuestra que si la igualdad
es verdadera para un nmero natural tambin lo es para . Sin embargo, esta igualdad no es vlida para . Qu deduces de esto? 25. Prueba que, usando solamente dos colores, es posible colorear todas las regiones que se forman al trazar circunferencias en el plano de forma que regiones adyacentes tengan distinto color. Se entiende que dos regiones son adyacentes cuando tienen un arco de circunferencia como frontera comn. Sugerencia. Puede hacerse razonando por induccin sobre . Tambin hay otra forma de hacerlo directamente muy sencilla e ingeniosa. 26. Vamos a probar que todas las nias tienen los ojos del mismo color. Para ello vamos a usar el principio de induccin para probar que la armacin siguiente:
= En todo grupo de nias todas las nias del grupo tienen igual color de ojos

es cierta para todo . A) En un conjunto formado por una nica nia, es evidente que todas las nias de dicho conjunto tienen el mismo color de ojos. Por tanto es cierta para
23
B) Supongamos que es cierta, es decir que para todo conjunto formado por nias se verica que todas las nias del conjunto tienen el mismo color de ojos. Consideremos ahora un conjunto formado por nias. Quitamos una nia del conjunto y nos queda un conjunto formado por nias, las cuales, por la hiptesis de induccin, tienen el mismo color de ojos. Ahora devolvemos al conjunto la nia que habamos sacado y sacamos otra. Volvemos a razonar como antes y deducimos que la nia que habamos sacado tambin tiene el mismo color de ojos que las dems nias del conjunto. Por tanto las nias tienen todas ellas igual color de ojos. Como hay una nia con ojos azules, deducimos que todas las nias tienen ojos azules. Dnde est el error en este razonamiento? 27. En un circuito circular hay coches iguales. Entre todos ellos tienen justamente la gasolina que necesita un coche para recorrer una vez el circuito completo. Prueba que alguno de los coches puede recorrer el circuito completo. Sugerencia. Razona por induccin. Observa que no sabemos en qu lugar del circuito estn situados los coches. 28. Prueba que para todo nmero natural

se verican las desigualdades siguientes.
Sugerencia: Usa la desigualdad de las medias. 29. Dados nmeros positivos i) ii)

prueba las siguientes desigualdades.
iii)
Cundo las desigualdades anteriores son igualdades? Sugerencia: Usa la desigualdad de las medias. 30. Sean , nmeros positivos distintos y . Utiliza la desigualdad de las medias para probar que:
Deduce que para todo nmero natural se verica que:

Los siguientes ejercicios pueden hacerse usando la desigualdad de las medias o bien el corolario (1.13).
24
31. Prueba que el cuadrado es el rectngulo de mxima rea para un permetro dado y de mnimo permetro para un rea dada. 32. Prueba que el cubo es el ortoedro de mximo volumen para una supercie lateral dada y de mnima supercie lateral para un volumen dado. 33. Prueba que el tringulo equiltero es el tringulo que tiene mxima rea para un permetro dado y de mnimo permetro para un rea dada. Sugerencia. Si son las longitudes de los lados y es el semipermetro, entonces, segn la frmula de Heron de Alejandra, el rea, , viene dada por . 34. Calcula el rectngulo de mayor rea inscrito en la elipse de ecuacin

, donde
35. Calcula el ortoedro de mayor volumen inscrito en el elipsoide de ecuacin
donde
36. Calcula la distancia mnima del origen a la supercie en de ecuacin . En otras palabras, si , lo que se pide es calcular el mnimo del conjunto de nmeros reales .

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 11 Sean , nmeros positivos distintos y . Utiliza la desigualdad de las medias para probar que:
(1.11)
Deduce que para todo nmero natural se verica que:

(1.12)
Solucin. La desigualdad (1.11) se deduce de la desigualdad de las medias

haciendo
y elevando a la potencia

25
Haciendo ahora
en (1.11) se obtiene la primera desigualdad de (1.12).

Finalmente, susstituyendo en (1.11) por desigualdad de (1.12).
, se obtiene la segunda
Ejercicio resuelto 12 Prueba que el cubo es el ortoedro de mximo volumen para una supercie lateral dada y de mnima supercie lateral para un volumen dado.
viene dado Solucin. El volumen de un ortoedro cuyas aristas tienen longitudes por y su supercie lateral por . Puesto que
o, lo que es igual, , deducimos que para un volumen dado, , la supercie lateral es mnima cuando tengamos que , es decir que en se de la (el ortoedro es un cubo). igualdad lo que ocurre si, y slo si, Anlogamente, para un valor dado de la supercie lateral, , tendremos que es mxi mo cuando , lo que, segn acabamos de ver, slo ocurre cuando el ortoedro es un cubo. Ejercicio resuelto 13 Calcula el rectngulo de mayor rea inscrito en la elipse de ecuacin
, donde
Solucin. Sean las coordenadas del vrtice del rectngulo situado en el cuadrante positivo del plano ( ). El rea del rectngulo es igual a . El problema, pues, consiste en hallar el mximo del producto cuando y verican que
Supuesto que y satisfacen , en virtud de la desigualdad de las medias, tenemos que
La igualdad en se da si, y slo si,
, lo que junto con equivale a que
, es decir,
. Por tanto el mximo valor del rea de un
rectngulo inscrito en la elipse es
Ejercicio resuelto 14 Calcula la distancia mnima del origen a la supercie en de ecuacin . En otras palabras, si , lo que se pide es calcular el mnimo del conjunto de nmeros reales . Solucin. Para todo

se verica que
Puesto que
, deducimos que mn
Complementos
26
1.4. Complementos
1.4.1. Nmeros y medida de magnitudes. Segmentos inconmensurables.
Estamos tan acostumbrados a contar que cuesta trabajo imaginar un mundo sin nmeros. Pero as fue, no creo que nadie lo dude, durante muchsimo tiempo. Incluso en nuestros das se tienen noticias de tribus aisladas que no saben contar ms all de cuatro o cinco objetos; cuando tienen que referirse a una cantidad mayor emplean una expresin que quiere decir muchos. Es frecuente tambin que en los lenguajes primitivos se utilicen palabras distintas para designar nmeros iguales cuando stos se reeren a diferentes clases de objetos. Poco a poco, conforme los primitivos grupos tribales fueron organizndose en sociedades cada vez ms complejas, los hombres fueron capaces de abstraer el proceso de contar colecciones concretas de objetos elaborando as el concepto de nmero abstracto. . . !Que a nosotros nos parece tan natural! Una vez que los hombres aprendieron a contar objetos, el paso siguiente fue usar los nmeros para medir magnitudes tales como longitudes, supercies, volmenes o tiempos. Este proceso requiere bastante ingenio. Consideremos, para jar ideas, que queremos expresar numricamente la longitud de un segmento de recta . Lo primero que hay que hacer es elegir una unidad de medida que ser otro segmento y comparar ambos. Puede ocurrir que contenga un nmero exacto, , de veces a . En tal caso podemos escribir simblicamente . El nmero representa entonces la medida de respecto de . Lo ms . En frecuente, no obstante, es que no est contenido un nmero exacto de veces en tal caso podemos dividir en un cierto nmero, , de partes iguales con la esperanza de que, al tomar como nueva unidad de medida una de estas partes, , resulte que contenga un nmero exacto, , de veces a . Cuando esto es as se dice que los segmentos y son conmensurables. Esto quiere decir que admiten una unidad de medida comn: el segmento . Podemos escribir . Por otra parte . Podemos ahora usar los nmeros para hacernos una idea de cmo es comparado con ; esto es respecto de es (lase sobre ). lo que se expresa diciendo que la razn de Con el paso del tiempo el smbolo que, en sus orgenes, como acabamos de explicar, representaba la razn de (las longitudes) de dos segmentos qued desprovisto de su signicado original y pas a ser considerado simplemente como un nmero naciendo de esta forma los nmeros racionales (cuyo nombre alude, precisamente, a que tales nmeros representan razones de segmentos conmensurables). Volviendo a la situacin antes descrita, parece intuitivo que, cualquiera sea el segmento , dividiendo en un nmero, , sucientemente grande de partes iguales, podemos conseguir que la nueva unidad de medida, , est efectivamente contenida un nmero exacto de veces en . En otras palabras, parece que dos segmentos cualesquiera deben ser conmensurables. Pues bien, la intuicin aqu nos engaa, y ese fue el extraordinario descubrimiento que realizaron los pitagricos, probando que la diagonal de un cuadrado no es conmensurable con el lado. En efecto, si es el lado y la diagonal, y suponemos que ambos admiten una para conveunidad de medida comn , tendremos que , y nientes nmeros naturales . Pero, en virtud del teorema de Pitgoras, , y deducimos que , por lo que debe ser . Veamos que esto lleva a una contradiccin. Podemos suponer que y no tienen factores comunes (si los tuvieran se los quitamos) y, en particular, y no son ambos pares. La igualdad
Nmeros y medida de magnitudes. Segmentos inconmensurables.
27
nos dice que es par lo cual implica que tambin tiene que serlo . As podemos escribir . Sustituyendo en la igualdad anterior y simplicando tenemos que , y de aqu se sigue, al igual que antes, que tiene que ser par y sta es la contradiccin anunciada. Podemos dar la siguiente interpretacin a lo antes visto. Si consideramos los nmeros racionales puestos sobre una recta, en la cual se han jado el 0 y el 1, y con un comps centrado en el origen trazamos un crculo de radio igual a la longitud de la diagonal de un cuadrado de lado unidad, dicho crculo corta a la recta en un punto de la misma que no es racional. En otras palabras en la recta racional hay huecos. A la vista de este sorprendente resultado y puesto que, claramente debe haber algn nmero que represente la medida de la diagonal con respecto al lado de un cuadrado, podemos decir que dicho nmero no puede ser racional y, en consecuencia, los nmeros racionales no son sucientes para medir magnitudes. Aparece as la necesidad de ampliar el concepto de nmero. Pues bien, se necesitaron casi 2.500 aos para llevar a cabo esa tarea de forma satisfactoria! Los nuevos nmeros se llamaron irracionales porque no representan razones de segmentos conmensurables, y una teora satisfactoria de ellos fue desarrollada por los matemticos Georg Cantor (1845-1918) y Richard Dedekind (1831-1916). Los nmeros racionales junto con los irracionales se llaman, indistintamente, nmeros reales. 1.4.1.1. La razn urea y el pentagrama Aunque suele usarse el teorema de Pitgoras para probar la existencia de magnitudes inconmensurables, parece ser que fue un pitagrico, Hipaso de Metaponto, quien en el siglo V a.C., al estudiar las propiedades geomtricas del pentagrama (ver g.1.1), descubri la existencia de los nmeros irracionales. Para los pitagricos el pentagrama era un smbolo de la perfeccin matemtica del Universo y, paradjicamente, en el pentagrama se esconda la prueba de que los nmeros racionales no eran sucientes, como los pitagricos crean, para describirlo. Las , y son todas ellas iguales a la razn urea.
Figura 1.1. El pentagrama pitagrico
razones de los segmentos
Como dicho nmero es irracional, los segmentos considerados son inconmensurables. El n mero es uno de los ms famosos de las Matemticas. Si en Google buscas razn urea te saldrn ms de cien mil pginas. Eso en espaol, porque si buscas en ingls golden section obtendrs casi cuatro millones de pginas. El poeta Rafael Alberti dedic un hermoso soneto a la razn urea.
Nmeros y medida de magnitudes. Segmentos inconmensurables. A la divina proporcin A ti, maravillosa disciplina, media, extrema razn de la hermosura, que claramente acata la clausura viva en la malla de tu ley divina. A ti, crcel feliz de la retina, urea seccin, celeste cuadratura, misteriosa fontana de mesura que el Universo armnico origina. A ti, mar de los sueos angulares, or de las cinco formas regulares, dodecaedro azul, arco sonoro. Luces por alas un comps ardiente. Tu canto es una esfera trasparente. A ti, divina proporcin de oro. R. Alberti
28
Volviendo a los pitagricos, ellos pensaban que el nmero era el fundamento ltimo de toda realidad. Hoy vivimos en un mundo digitalizado: la msica que escuchas, las pelculas que ves, la televisin digital y tantas ms cosas de uso cotidiano son, en su esencia, nmeros. Parece que los pitagricos no estaban del todo equivocados. Pitgoras, junto con su maestro Tales de Mileto, y tambin Anaximandro y Anximenes, sin olvidar a Demcrito y algunos ms de los que queda memoria y que t mismo puedes consultar en Wikipedia, todos ellos eran matemticos y lsofos. Casualidad? Ni mucho menos. Lo que hoy llamamos Cultura Occidental nace de una gran blasfemia, a saber, la armacin de que la realidad puede ser comprendida y explicada racionalmente. Frente a los relatos mitolgicos y a los caprichosos dioses imprevisibles, la armacin insolente de que la inteligencia humana puede desentraar por sus propios medios el funcionamiento del Universo. Y qu produce la inteligencia humana cuando empieza a indagar sobre la Naturaleza? Matemticas y Filosofa. Las Matemticas, por su propia naturaleza, tienen un campo mucho ms restringido que el de la Filosofa pero, en cambio, son extraordinariamente ecaces. La palabra griega , que se lee mathema, signica conocimiento. El Libro del Universo est escrito en el lenguaje de las matemticas y sus caracteres son tringulos, crculos y otras guras geomtricas, sin las cuales es imposible entender ni una palabra; sin ellos es como girar vanamente en un oscuro laberinto. Galileo Galilei 1.4.1.2. Medimos con nmeros racionales
Acabamos de ver que hay segmentos inconmensurables; es decir, elegida una unidad para medir, hay medidas que no pueden expresarse con nmeros racionales. Pero la intuicin nos dice que a cada medida debe corresponder un nico nmero. En consecuencia, tenemos que admitir la necesidad de otros nmeros, adems de los racionales, para lograr que a cada medida le corresponda un nmero. Estos son los nmeros irracionales (sobre los que falta por decir
Hacer matemticas
29
algo importante como veremos ms adelante). Debes darte cuenta de que se trata de una necesidad terica: en el mundo real de cada da solamente hay nmeros racionales. Los ordenadores trabajan con nmeros racionales (otra cosa diferente es que puedan representar simblicamente nmeros irracionales). Quiere esto decir que podramos prescindir de los nmeros irracionales? En absoluto. Por muchas razones. En primer lugar, los nmeros racionales e irracionales juntos proporcionan la estructura bsica del Anlisis Matemtico: el cuerpo de los nmeros reales . Dicha estructura es el soporte de las herramientas del clculo diferencial e integral y de la teora de Ecuaciones Diferenciales. La demostracin de la existencia de soluciones de muchos problemas y la construccin de tcnicas ecaces para obtener dichas soluciones, ya sea de forma exacta o con aproximacin tan buena como se desee, se fundamenta en las propiedades matemticas de . Aunque un ingeniero exprese los resultados de sus clculos mediante nmeros racionales, escritos usualmente en forma decimal, para realizar los clculos habr tenido que usar herramientas (derivadas, integrales, ecuaciones diferenciales,...) que no tendran sentido sin los nmeros reales. En n, sin ni siquiera podramos demostrar que hay un nmero cuyo cuadrado es igual a 2. Lo anterior tiene una enseanza: las Matemticas elaboran, a partir de la observacin de la realidad, estructuras ideales que pueden parecer muy lejanas de la realidad que las motiv inicialmente, pero que son herramientas muy tiles para obtener informacin y resultados sobre sa realidad que de otra forma no podran obtenerse ni siquiera plantearse.
1.4.2. Hacer matemticas

En este Captulo hemos hablado de axiomas, deduccin lgica, demostraciones, teoremas,. . . . Espero que ya tengas una idea de lo que signica la armacin las Matemticas son una ciencia deductiva, porque ese es uno de los objetivos que me propuse al escribir este Captulo. Pero no quiero que pienses que las Matemticas se reducen a un formalismo axiomtico lgico deductivo. Esa es solamente una parte, y quizs no la ms atractiva, de las Matemticas. Las teoras matemticas antes de llegar a esa helada perfeccin axiomtica se desarrollan de una forma no muy diferente a las dems ciencias: por aproximaciones sucesivas, experimentacin, intuiciones, analogas,. . . . Por eso hay que distinguir entre la Matemtica hecha y la Matemtica que se est haciendo. La primera quizs puede vivir en el universo platnico de las ideas puras, pero la segunda est contaminada de realidad y constituye una actividad profundamente humana en la que se avanza tanteando, cometiendo errores,. . . como en las dems ciencias. He tomado prestada una frase del historiador de las Matemticas W. S. Anglin porque expresa muy bien lo que quiero decirte. Dice as: Las matemticas no son un prudente recorrido por una autopista despejada, sino un viaje a lo salvaje y a lo desconocido, en el cual los exploradores se pierden a menudo. El rigor, la perfeccin lgico-deductiva, es una seal de que los mapas ya han sido trazados, y de que los autnticos exploradores se han ido a alguna otra parte. El reconocido matemtico Paul R Halmos, expresa la misma idea como sigue. Las matemticas no son una ciencia deductiva: eso es un tpico. Cuando se trata de probar un teorema, no se hace una lista con las hiptesis y luego se empieza a razonar. No, uno prueba, se equivoca, experimenta, conjetura . . .
Algunas razones para estudiar matemticas Y tambin dice: La razn de ser de un matemtico no es otra que la de resolver y proponer problemas pues dicha actividad constituye el corazn de las matemticas.
30
La parte ms atractiva de las Matemticas es justamente el desafo intelectual que constituyen los problemas. Algunos problemas famosos tienen un enunciado muy sencillo. Por ejemplo, la conjetura de Collatz propone el siguiente juego. Elige a tu gusto un nmero :
Si el nmero es par, se divide por 2 para obtener el nmero . Si el nmero es impar, se multiplica por 3 y se suma 1 para obtener el nmero .
Este proceso se repite seguidamente partiendo del nmero obtenido y as sucesivamente. Por ejemplo, partiendo de se obtienen los siguientes resultados:

Una vez obtenido 1 como resultado se repite indenidamente el grupo . La conjetura es que siempre se acaba obteniendo 1. Con ayuda de ordenadores se ha comprobado que la conjetura es cierta para nmeros ms pequeos que Pero eso no es una demostracin matemtica! Otro problema del que no se sabe la respuesta es si hay innitas parejas de primos gemelos. Se llaman primos gemelos a las parejas de nmeros primos que se diferencian en dos unidades. Por ejemplo . Resolver problemas es una actividad intelectual que puede tener mucho de juego. Quizs ests pensando bueno, todo eso est muy bien, pero cmo puedo participar yo en ese juego? Bueno, se requiere alguna preparacin y tiempo y seguramente t ahora ests empezando, pero tienes una forma de participar en el juego que es hacer ejercicios. Es verdad que un ejercicio no es lo mismo que un problema. Los ejercicios son ms mecnicos, con ellos se trata de que compruebes si has entendido correctamente los conceptos y los resultados tericos y si eres capaz de usarlos en situaciones sencillas. Pero no dejan de ser un pequeo desafo. Si el ejercicio est ah es porque tienes las herramientas para resolverlo. El tiempo que dediques a resolver ejercicios nunca ser tiempo perdido. Incluso si no te salen, porque se puede aprender ms de un ejercicio que no se logra resolver pero que se trabaja con inters, que de uno que se resuelve a primera vista. Resolver ejercicios junto con tus compaeros o consultarlos con tus profesores es una forma estupenda de estudiar. En mi pgina Web puedes leer algunas sugerencias respecto a la actitud apropiada y estrategias tiles para resolver ejercicios.
1.4.3. Algunas razones para estudiar matemticas

Vivimos rodeados de matemticas. Suelen pasar desapercibidas pero estn ah haciendo su trabajo. Tarjetas de crdito, cdigos de barras, telfonos mviles, animacin grca, las modernas tcnicas de radiodiagnstico. . . , detrs de todo eso hay herramientas matemticas que hacen posible su funcionamiento. No hay duda de que las Matemticas son extraordinariamente ecaces. Ese llamativo acuerdo de las Matemticas con el mundo real no deja de resultar bastante sorprendente.
Algunas razones para estudiar matemticas El milagro de la adecuacin del lenguaje de la Matemtica para la formulacin de las leyes fsicas es un don maravilloso que ni entendemos ni merecemos. E.P. Wigner, Premio Nobel de Fsica 1972
31
Dos matemticos John Von Neumann y Alan Mathison Turing fueron los creadores de los modernos computadores y los fundadores de la Ciencia de la Computacin. Algunas de las teoras matemticas ms abstractas, como la Teora de Nmeros o la de Categoras han encontrado aplicaciones para el desarrollo de software. Las Matemticas son el lenguaje de las Ciencias Fsicas (Fsica, Astronoma, Qumica,. . . ) pero tambin, cada vez ms, de las Ciencias Biolgicas y Mdicas y de las Ciencias Sociales (Economa, Geografa, Psicologa,. . . ). Las Matemticas aportan a todas estas Ciencias sus propios mtodos, a saber:
Deniciones precisas. Razonamientos rigurosos. Mtodos de representacin simblica. Formulacin correcta de problemas. Modelos matemticos para manejar situaciones muy complejas. Una gran variedad de tcnicas (estadsticas, de clculo, algebraicas, simblicas,. . . ) para la resolucin de problemas y toma de decisiones.
Por todo ello, no es exagerado armar que un cientco debe estar familiarizado con la forma de pensar matemtica. Pero incluso para quienes no se sienten especialmente atrados por la actividad cientca, el estudio de las Matemticas est especialmente indicado para desarrollar determinadas facultades entre las que cabe destacar:
Capacidad de razonamiento lgico-deductivo. Capacidad de resolucin de problemas. Reconocer razonamientos incorrectos. Capacidad de abstraccin para manejar situaciones complejas. Capacidad para reconocer modelos similares en estructuras diversas. Seleccionar, ordenar la informacin y elegir la herramienta adecuada en cada caso.
Hoy da, casi tan preciso como saber leer, es tener una formacin matemtica sucientemente amplia para no sentirse extrao en un mundo al que las innovaciones tecnolgicas y el desarrollo cientco estn cambiando rpidamente. El estudio de las Matemticas tambin puede respaldarse por razones de tipo cultural y esttico. Las Matemticas son, junto con la msica sinfnica y la novela, una de las seas de identidad de la Cultura Occidental. Pero hay una ltima razn: las sociedades democrticas necesitan ciudadanos capaces de pensar con libertad y las Matemticas, una de las creaciones ms libres del espritu humano, son una herramienta indicada para ello. No hay modo de entender bien al hombre si no se repara en que la Matemtica brota de la misma raz que la poesa, del don imaginativo. Jos Ortega y Gasset
Lo que debes haber aprendido en este Captulo. Lecturas adicionales
32
1.4.4. Lo que debes haber aprendido en este Captulo. Lecturas adicionales

En este Captulo debes haber aprendido algunas cosas que resumo en la siguiente lista cuya lectura puede servirte de repaso para comprobar lo que sabes.
Debes saber lo que signica demostrar . Debes saber lo que signica decir que las Matemticas son una ciencia deductiva. Debes saber que en Matemticas las cosas no son verdad porque lo diga tu profesor. Debes tener una idea de lo que es una teora axiomtica y la forma en que se desarrolla. Debes saber lo que son magnitudes inconmensurables y cmo aparecen los nmeros irracionales. Debes saber cmo se deben leer las Matemticas. Debes haber aprendido y recordar de memoria los axiomas algebraicos y de orden de . Debes ser capaz de usar dichos axiomas para probar propiedades algebraicas y de orden de . Debes haber aprendido y recordar de memoria las reglas para trabajar con desigualdades. Debes saber usar en casos prcticos las reglas para trabajar con desigualdades. Debes entender la denicin de la funcin raz cuadrada. Debes entender la denicin y recordar las propiedades del valor absoluto. Debes recordar la estrategia (1.8) para trabajar con desigualdades entre nmeros positivos. Debes entender y saber aplicar el Principio de Induccin Matemtica. Debes recordar la desigualdad de las medias y saber usarla para resolver problemas de extremos.
Como lectura adicional te recomiendo los dos primeros captulos del libro de Michael Spivak [16], el cual, a pesar del tiempo transcurrido desde su primera edicin, sigue siendo, en mi opinin, el mejor libro de introduccin al Anlisis Matemtico. Su coleccin de ejercicios es excelente y algunos de ellos estn resueltos al nal del libro; adems, se ha editado un libro, [15], con las soluciones de todos. Los textos de Larson [11] y de Engel [5] son de lo mejor que hay para aprender estrategias de resolucin de ejercicios. Los ejercicios que traen tienen cierto grado de dicultad, con frecuencia estn tomados de competiciones matemticas, pero las soluciones estn claramente expuestas. Algunos de los ejercicios propuestos los he tomado de esos libros.
Captulo
Funciones elementales
Con la reduccin del trabajo de varios meses de clculo a unos pocos das, el invento de los logaritmos parece haber duplicado la vida de los astrnomos. Pierre Simon Laplace
2.1. Funciones reales

Las funciones son las herramientas principales para la descripcin matemtica de una situacin real. Todas las frmulas de la Fsica no son ms que funciones: expresan cmo ciertas magnitudes (por ejemplo el volumen de un gas) dependen de otras (la temperatura y la presin). El concepto de funcin es tan importante que muchas ramas de la matemtica moderna se caracterizan por el tipo de funciones que estudian. No es de extraar, por ello, que el concepto de funcin sea de una gran generalidad. Adems, se trata de uno de esos conceptos cuyo contenido esencial es fcil de comprender pero difcil de formalizar. 2.1 Denicin. Sean y dos conjuntos. Una funcin de elemento de asocia un nico elemento de . en es una regla que a cada
En esta denicin la dicultad radica en precisar matemticamente lo que se entiende por regla. Como solamente vamos a trabajar con funciones elementales considero que no es necesario dar ms precisiones. Observa que una funcin son tres cosas: el conjunto donde est denida, el conjunto donde toma valores y la regla que la dene. En este curso estamos interesados principalmente en funciones entre conjuntos de nmeros reales, es decir, y son subconjuntos de ; con frecuencia . Estas funciones se llaman funciones reales de una variable real.
33
Funciones reales
34
Por tanto, para darnos una funcin nos deben decir, en principio, el subconjunto de donde suponemos que la funcin est denida y la regla que asigna a cada nmero de un nico nmero real. El conjunto recibe el nombre de dominio de la funcin. Las funciones se representan por letras. En la prctica las letras ms usadas son , y , pero cualquiera otra es tambin buena. Si es una funcin y es un nmero que est en su dominio, se representa por (lase de o, mucho mejor, evaluada en o el valor de en ) el nmero que asigna a , que se llama imagen de por . Es muy importante distinguir entre
Convenio. En lo que sigue solamente consideraremos funciones reales y, si no se especica otra cosa, se entiende que .
se utiliza para indicar que es una funcin cuyo dominio es (se El smbolo supone, como hemos dicho antes, que es un subconjunto de ). Tambin es frecuente usar el simbolismo , .
Es importante advertir que las propiedades de una funcin dependen de la regla que la dene y tambin de su dominio, por ello dos funciones que tienen distintos dominios se consideran distintas funciones aunque la regla que las dena sea la misma. 2.2 Denicin (Igualdad de funciones). Dos funciones y para todo en el dominio comn. dominio y son iguales cuando tienen igual
(una funcin) y (un nmero real).
Notemos tambin que aunque estamos acostumbrados a representar a las funciones mediante frmulas, no siempre es posible hacerlo. 2.3 Ejemplo. Consideremos las funciones siguientes. a) b) c)
la funcin dada por la funcin dada por

. . si si
la funcin dada por

d) Sea
Segn lo antes dicho, las funciones en a) y b) son distintas. De hecho tienen propiedades distintas. Observa que la funcin denida en b) es creciente y la denida en a) no lo es. La funcin denida en c) es llamada funcin de Dirichlet. Ntese que no es fcil calcular los valores de dicha funcin porque no siempre se sabe si un nmero real dado es racional o irracional. Es e racional? Pese a ello la funcin est correctamente denida. En d) no nos dan explcitamente el dominio de por lo que se entiende que est denida siempre que tenga sentido, es decir, siempre que, , esto es, para . El convenio del dominio. Cuando una funcin se dene por una frmula = frmula y el dominio no es explcito, se entiende que el dominio es el mayor conjunto de valores de
Operaciones con funciones para los cuales la expresin natural de la funcin.
35
tiene sentido como nmero real. ste es el llamado dominio

, el conjunto de las imgenes
Dada una funcin , y un conjunto no vaca por de todos los elementos de :

se llama imagen de por . Cuando y tambin rango o recorrido de .

, el conjunto
se llama conjunto imagen de
2.1.1. Operaciones con funciones

La mayora de las funciones que vamos a usar en este curso pertenecen a la clase de las funciones elementales. Se llaman as porque pueden obtenerse a partir de ciertos tipos de funciones bien conocidas realizando las operaciones de suma, producto, cociente y composicin de funciones. Suma, producto y cociente de funciones. Dadas dos funciones , se dene su funcin suma (resp. producto) como la funcin que a cada nmero asigna el nmero real (resp. ). Dicha funcin se representa con el smbolo (resp. ). Se dene la funcin cociente de por como la funcin que a cada nmero con asigna el nmero real una funcin . De todas formas, el producto de un nmero por una funcin puede considerarse como un caso particular del producto de funciones, pues se identica el nmero con la funcin constante que toma como nico valor . Las propiedades de la suma y el producto de funciones son las que cabe esperar y su demostracin es inmediata pues se reducen a las correspondientes propiedades de los nmeros. 2.4 Proposicin. Cualesquiera sean las funciones propiedades: Asociativas. Conmutativas. Distributiva.
. Dicha funcin se representa por . Tambin podemos multiplicar por un nmero para obtener la funcin que asigna a cada el nmero
se verican las siguientes
2.5 Denicin (Composicin de funciones). Sean y funciones con . En tal caso, la funcin dada por para todo se llama composicin de con y se representa por . Observa que la funcin , solamente est denida cuando la imagen de est contenida en el dominio de . La composicin de funciones es asociativa.
es inyectiva en 2.6 Denicin (Funciones inyectivas). Se dice que una funcin un conjunto , si en puntos distintos de toma valores distintos; es decir, y , entonces . Se dice que es inyectiva cuando es inyectiva en .
2.7 Denicin (La funcin inversa de una funcin inyectiva). Si inyectiva, puede denirse una nueva funcin en el conjunto ,
es una funcin , que
Intervalos
36
llamaremos funcin inversa de , que a cada nmero asigna el nico nmero tal que . Equivalentemente para todo , y tambin para todo . 2.8 Denicin (Funciones montonas). Se dice que una funcin es creciente (resp. decreciente) en un conjunto , si conserva (resp. invierte) el orden entre puntos de , es decir, si y , entonces (resp. ). Se dice que es creciente (resp. decreciente) cuando lo es en todo su dominio de denicin. Se dice que una funcin es montona para indicar que es creciente o decreciente. Una funcin montona e inyectiva se dice que es estrictamente montona, pudiendo ser estrictamente creciente o estrictamente decreciente. 2.9 Denicin (Grca de una funcin). La grca de una funcin de pares de nmeros .
es el conjunto
La grca de una funcin pone de maniesto, a simple vista, muchas de sus propiedades. Para dibujar grcas de funciones se precisan herramientas de clculo que estudiaremos ms adelante. Un error frecuente, que debes evitar, consiste en confundir una funcin con su grca. Este error procede de una manera inapropiada de representar las funciones que consiste en escribir . De esta forma se introduce una nueva letra para representar el valor que la funcin toma en . Ahora la cosa empieza a estar confusa la funcin es ?, la funcin es ?, la funcin es ? Esto procede de la Fsica en donde se interpreta que es la magnitud o variable independiente e es la magnitud o variable dependiente. Peor todava, es una variable o una funcin? Si has usado con frecuencia esta forma de representar las funciones no me extraa que puedas tener dudas sobre su signicado. Aclaremos esto. La nica forma razonable de interpretar una igualdad como , es entender que dicha igualdad representa al conjunto de puntos del plano que la satisfacen, es decir, representa a la grca de . Pero todava hay otra posible confusin inducida por la notacin . Consiste en que podemos considerar la funcin . Se trata de una funcin de dos variables e que tiene muy poco que ver con la igualdad . Pues bien, hay quien confunde la funcin con la grca de .
2.1.2. Intervalos
Ocurre que el dominio natural de muchas funciones es un intervalo o la unin de varios intervalos. Recordemos el concepto de intervalo y cuntos tipos diferentes hay. 2.10 Denicin. Un conjunto se llama un intervalo si siempre que dos nmeros estn en todos los nmeros comprendidos entre ellos dos tambin estn en . El conjunto vaco, , se considera tambin como un intervalo. Adems de y del , hay los siguientes tipos de intervalos1 .
1 Este resultado, en apariencia evidente, no podramos demostrarlo con las herramientas de que disponemos hasta ahora.
Intervalos Intervalos que tienen dos puntos extremos

37 y (donde son nmeros reales):
(intervalo cerrado y acotado) (intervalo abierto) (intervalo abierto a derecha y cerrado a izquierda) (intervalo abierto a izquierda y cerrado a derecha)
Intervalos que tienen un nico punto extremo
llamado origen del intervalo:
(semirrecta abierta a la izquierda) (semirrecta cerrada a la izquierda) (semirrecta abierta a la derecha) (semirrecta cerrada a la derecha)
Como es la primera vez que aparecen, hay que decir que los smbolos (lase: ms innito) y (lase: menos innito"); son eso: smbolos. No son nmeros. Cada vez que aparece uno de ellos en una situacin determinada hay que recordar cmo se ha denido su signicado para dicha situacin. A veces, se escribe . Observacin sobre la notacin empleada. Lo he pensado un rato antes de decirme a usar la notacin anterior para las semirrectas. Otra posible notacin es la siguiente.

(semirrecta abierta a la izquierda) (semirrecta cerrada a la izquierda) (semirrecta abierta a la derecha) (semirrecta cerrada a la derecha)
Esta notacin me parece ms clara porque no usa el smbolo . Si lees correctamente, es decir, no lees los smbolos sino las ideas que representan (te he dicho esto antes?) entonces no hay lugar a interpretaciones extraas. El smbolo se lee todos los nmeros reales mayores o iguales que . Si t lees el intervalo de a no ests leyendo bien.
Observaciones sobre el concepto general de funcin y el formalismo que usamos para denir funciones
Hemos denido una funcin como tres cosas: un conjunto , un conjunto y una regla que a cada elemento de hace corresponder un elemento de . Lo nico que interesa de esa regla es que est correctamente denida. Por ejemplo, la regla que a cada nmero hace corresponder el dgito de su desarrollo decimal que ocupa el lugar cien mil millones, est correctamente denida aunque no sea muy til, pues no es posible calcular el dgito que le corresponde a ningn nmero irracional. Te pongo este ejemplo para que aprecies lo general que es el concepto de funcin que hemos denido. En particular, debes notar que una funcin no tiene por qu estar dada por una frmula. Pero, seguidamente, te digo que no debes preocuparte por esta generalidad porque en este curso solamente vamos a trabajar con funciones denidas mediante frmulas; adems, frmulas que, salvo excepciones, denirn funciones elementales, esto es, funciones obtenidas al realizar sumas, productos, cocientes y composiciones de logaritmos, exponenciales, potencias y funciones trigonomtrica. Ya hemos usado antes el formalismo que se emplea en matemticas para denir una funcin, pero quiero detenerme en l porque debes entenderlo perfectamente. Para denir una
Intervalos
38
funcin solemos empezar diciendo sea la funcin dada por. . . . Con esto estamos diciendo tres cosas: que la funcin est denida en , que toma valores en , y que representamos con la letra la regla. El error ms frecuente que se produce aqu se debe al hecho de que, con frecuencia, el conjunto no es el dominio natural de denicin de la funcin sino un subconjunto del mismo, y esto puede tener muy importantes consecuencias que hay que tener muy presentes en todo momento. Seguidamente, para acabar de denir la funcin, se especica la regla que a cada elemento de asocia un nmero real, lo que suele expresarse por la funcin dada por frmula o funcin elemental para todo . Se suele volver a insistir en que la variable toma solamente valores en para indicar que no nos interesa lo que pueda pasar fuera de . Ten en cuenta que la letra con la que representamos una funcin, suele usarse , podemos elegirla a gusto y no tiene mayor importancia siempre que no se preste a confusiones. Lo importante son los datos que denen la funcin: los conjuntos , (nosotros suponemos que ) y la regla. Veamos un ejemplo ms de esta forma de proceder para que no te queden dudas. a) Sea
la funcin dada por
para todo
(2.1)
En la siguiente gura se representa parte de la grca de esta funcin.
8 6 4 2
-3
-2
-1 -2 -4
Figura 2.1. La funcin
La imagen de esta funcin es . Esta funcin no tiene mximo ni mnimo, no es creciente y tampoco es decreciente. No es inyectiva y su funcin inversa no est denida. b) Sea
la funcin dada por
para todo
(2.2)
Observa que, aunque de forma deliberada uso la misma letra, , para representar la regla, la funcin denida en (2.2) es muy diferente que la denida en (2.1). Aunque la regla es la misma, en (2.2) solamente nos interesa lo que pasa en el intervalo . La imagen de esta
Estudio descriptivo de las funciones elementales
39
funcin es . Claramente, la funcin (2.2) es estrictamente decreciente, tiene mximo y mnimo y es inyectiva. Su funcin inversa est denida (aunque no sea fcil de calcular).
2.2. Estudio descriptivo de las funciones elementales2

En este curso se supone que ya tienes un conocimiento intuitivo de las funciones elementales bsicas (exponencial, logaritmo natural, trigonomtricas). En esta leccin vamos a hacer un estudio descriptivo de dichas funciones, es decir, no vamos a dar deniciones rigurosas de las mismas y nos limitaremos a recordar sus propiedades ms importantes.
2.2.1. Funciones polinmicas y funciones racionales

Las funciones polinmicas o polinomios son las funciones de la forma

donde son nmeros reales llamados coecientes del polinomio; es un nmero natural que, si , se llama grado del polinomio. Las funciones polinmicas tienen como dominio natural de denicin la totalidad de aunque con frecuencia nos interesar estudiar una funcin polinmica en un intervalo. Mientras que la suma, el producto y la composicin de funciones polinmicas es tambin una funcin polinmica, el cociente de funciones polinmica da lugar a las llamadas funciones racionales. Una funcin racional es una funcin de la forma:

donde (el numerador) y (el denominador) son polinomios y no es el polinomio constante igual a . La funcin tiene como dominio natural de denicin el conjunto . Observa que las funciones polinmicas son tambin funciones racionales (con denominador constante ). Es inmediato que sumas, productos y cocientes de funciones racionales son tambin funciones racionales; y la composicin de dos funciones racionales es tambin una funcin racional.
2.2.2. Races de un nmero real

Dados un nmero real y un nmero natural , hay un nico nmero real mayor o igual que cero, , que verica que . Dicho nmero real se llama la raz -sima o de orden de y se representa por o por . 2.11 Proposicin. Sean a)
2 El
o , . Se verica que:
estudio de las funciones elementales que haremos aqu se complementa con el cuaderno de Mathematica que est en mi pgina Web.
Potencias racionales b) La funcin y slo si, Si
40

es estrictamente creciente en o . Es decir, se verica que .
si,
es impar se dene3
2.2.3. Potencias racionales

Dados

y , denimos

Naturalmente, si donde y , entonces se comprueba fcilmente que . En consecuencia, si es un nmero racional podemos denir, sin ambigedad alguna, la potencia por , donde y son tales que .
. Notemos que
pues
2.2.4. Logaritmos
Dados un nmero , , y un nmero , se dene el logaritmo en base de como el nico nmero que verica la igualdad . El logaritmo en base de se representa por el smbolo log . Observa que, por denicin, para todo es log . El dominio de la funcin log es , y su imagen es . La funcin es estrictamente creciente si y estrictamente decreciente si . La propiedad bsica de los logaritmos es que convierten productos en sumas: log log
log
log
Figura 2.2. Funcin logaritmo de base
Los logaritmos decimales corresponden a tomar y los logaritmos naturales, tambin llamados neperianos (en honor de John Napier 1550-1617), corresponden a tomar como base el nmero e. El nmero e es un nmero irracional que puede aproximarse arbitrariamente por nmeros de la forma para valores grandes de . Un valor aproximado de e es .En este libro trabajaremos siempre, salvo que explcitamente se indique lo contrario, con la funcin logaritmo natural, que notaremos log (la notacin, cada da ms en desuso, ln, para dicha funcin no ser usada en este libro).
Teniendo en cuenta que log

3 Ver
log log
(3.3.3.1) para el caso de races complejas.
Exponenciales podemos deducir muy fcilmente las propiedades de la funcin logaritmo en base las propiedades de la funcin logaritmo natural.
41 a partir de
2.2.5. Exponenciales
La funcin inversa de la funcin log es la funcin exponencial de base , que se representa por exp . Por tanto, para cada , exp es, por denicin, el nico nmero positivo cuyo logaritmo en base es igual a : log exp . Es fcil comprobar que si entonces exp , por lo que se usa la notacin . exp El dominio de la funcin exp es , y su imagen es . La funcin es estrictamente creciente si y estrictamente . La propiedad bsica decreciente si de exp es que convierten sumas en productos:
Figura 2.3. Funcin exponencial de base
exp
exp exp
Dos funciones exponenciales cualesquiera, exp y exp , estn relacionadas por la igualdad: exp exp log
La funcin exponencial de base e, inversa de la funcin logaritmo natural, se notar simplemente por exp. Por tanto exp e . Con ello tenemos que:
e log
(2.3)
La letra e se eligi en honor del gran matemtico Leonhard Euler (1707-1783). A primera vista puede parecer que no hay razones particulares para llamar natural al nmero e. Las razones matemticas de esta eleccin se vern al estudiar la derivacin. Sin embargo, hay muchos procesos de crecimiento que hacen del nmero e una base exponencial extremadamente til e interesante. Veamos unos ejemplos. 2.2.5.1. Inters compuesto
Supongamos que invertimos un capital inicial, , a una tasa de inters anual (expresado en tanto por uno), cunto dinero tendremos cuando hayan pasado aos? Respuesta: depende de cmo se paguen los intereses. En el inters simple se paga el total de los intereses al terminar la inversin, por lo que el inters total producido es igual a , y el capital nal ser igual a . Sin embargo, lo usual es que se paguen intereses en perodos ms cortos de tiempo. Estos intereses se acumulan al capital inicial y producen, a su vez, nuevos intereses. Esto se conoce
Funcin potencia de exponente real
42
como inters compuesto. Por ejemplo, si el inters se paga veces al ao (trimestralmente ( ), mensualmente ( ), etctera) al nal del primer perodo tendremos , al nal del segundo ; al nal del primer ao , al nal del -simo ao tendremos . Cuando es muy grande, el nmero es aproximadamente igual a e . Precisamente, si los interese se acumulan instantneamente al capital, lo que se conoce como inters compuesto continuo, entonces el capital al nal del -simo ao viene dado por e . 2.2.5.2. Crecimiento demogrco
Llamemos a la poblacin mundial actual, y sea la tasa anual de crecimiento expresada en tanto por uno, la cual suponemos que se mantiene constante. Notemos por la poblacin mundial pasados aos. Pasado un ao, la poblacin ser . Utilizamos el signo de aproximacin y no el porque hemos calculado el crecimiento de la poblacin como si esta fuese constantemente igual a en todo el ao, lo que no es correcto. Obtendramos un resultado ms exacto si consideramos el crecimiento de la poblacin mensualmente. Como la tasa de crecimiento mensual es , pasado un mes la poblacin ser
, y pasados doce meses
. El clculo sigue siendo aproxima-
do, pues la poblacin crece continuamente. Para obtener una mejor aproximacin podramos considerar das en vez de meses. En general, si dividimos el ao en perodos, obtendramos como aproximacin:

Cuanto mayor sea
menor ser el error que cometemos. Si hacemos que

crezca indenie
damente, entonces el nmero
se convierte en e , por lo que
. Si el
perodo de tiempo es de aos, entonces
e .
Observa que tanto el inters compuesto continuo como el crecimiento demogrco son, matemticamente, lo mismo. En ambos casos lo que tenemos es una magnitud que se incrementa de forma proporcional a su cantidad en cada momento. Otro proceso que entra en esta descripcin es el decaimiento radiactivo, la nica diferencia es que la masa de materia radiactiva va disminuyendo, o sea, que la constante de proporcionalidad es negativa.
2.2.6. Funcin potencia de exponente real

Se llama as la funcin cuyo dominio es que a cada asigna el nmero . Puesto que exp log , las propiedades de esta funcin se deducen con facilidad de las propiedades de las funciones exponencial y logaritmo natural.
Funciones trigonomtricas
43
2.2.7. Funciones trigonomtricas

El concepto ms especco de la trigonometra es el de medida de un ngulo. Para medir un ngulo llevamos su vrtice al origen y medimos la longitud del arco de la circunferencia unidad que dicho ngulo intercepta, obtenemos as un nmero que llamamos la medida (absoluta, es decir no orientada) del ngulo en cuestin. Naturalmente, lo primero que hay que hacer para medir cualquier cosa es elegir una unidad de medida. Pues bien, para medir ngulos suelen usarse dos unidades de medida. Hay una expresin que estamos acostumbrados a usar y cuyo signicado conviene precisar. Me reero a la expresin: una circunferencia de radio . Cuando empleamos dicha expresin se sobreentiende que el radio de la circunferencia es un nmero expresado en alguna unidad de medida de longitudes. Es decir, la expresin una circunferencia de radio presupone que hemos jado una unidad de medida con la cual hemos medido . 2.2.7.1. Medida de ngulos
Medida de ngulos en grados. Supongamos que tenemos una circunferencia de radio . Para medir ngulos en grados sobre dicha circunferencia lo que hacemos es tomar como unidad de medida un arco cuya longitud sea igual a la longitud total de esa circunferencia ( ) dividida por . Un ngulo de un grado es el que intercepta en una circunferencia de radio un arco cuya longitud es igual a

Medida de ngulos en radianes. Supongamos que tenemos una circunferencia de radio . Para medir ngulos en radianes sobre dicha circunferencia lo que hacemos es tomar como unidad de medida un arco cuya longitud sea igual a la del radio. Un ngulo de un radin es el que intercepta en una circunferencia de radio un arco cuya longitud es igual a . Las palabras grado y radin se usan tanto para referirse a los respectivos ngulos como a las medidas de sus arcos. Es as como debes interpretar la expresin la longitud total de la circunferencia es 360 grados y tambin es igual a radianes. Sera ms exacto decir: la longitud total de la circunferencia es 360 veces la longitud de un arco de un grado y tambin es igual a veces la longitud de un arco de un radin. Evidentemente, la longitud de un arco de un radin es igual al radio de la circunferencia. La relacin entre grados y radianes viene dada por:

grados
radianes
No hay que olvidar que grados y radianes no son otra cosa que unidades de medida de longitudes, al igual que lo son el metro y el centmetro. En la navegacin y en la astronoma los ngulos se miden en grados, pero en Clculo es preferible medirlos en radianes porque se simplican las cuentas. Por ejemplo, la longitud de un arco de circunferencia se obtiene multiplicando la longitud del radio de dicha circunferencia por la medida en radianes del ngulo que corresponde a dicho arco. Observa que la ventaja de medir arcos en radianes es que, en tal caso, la misma unidad con la que medimos el radio nos sirve para medir arcos. Por ejemplo, si el radio es centmetro el radin tambin mide centmetro; mientras que la medida de un grado en centmetros sera .
44
Convenio de los ngulos: usar radianes De ahora en adelante, a menos que se establezca explcitamente otra unidad, supondremos que todos los ngulos estn medidos en radianes. 2.2.7.2. Funciones seno y coseno
Hay dos funciones que suelen confundirse: el seno de un ngulo y el seno de un nmero. En geometra se habla del seno de un ngulo y en Clculo usamos la expresin sen para referirnos al seno del nmero . Qu relacin hay entre uno y otro? Antes que nada hay que decir que tanto el seno de un ngulo como el seno de un nmero son nmeros, pero mientras que el seno de un ngulo tiene una sencilla denicin geomtrica, no es evidente, a priori, cmo se puede denir el seno de un nmero. La idea consiste en asociar a cada nmero un (nico) ngulo y denir el seno del nmero como el seno del ngulo que le corresponde. Es evidente que a cada nmero le podemos asignar de manera nica un ngulo enrollando el segmento sobre la circunferencia unidad, en sentido contrario a las agujas del reloj, de forma que el origen de dicho segmento coincida con el punto de la circunferencia. Obtenemos as un punto de la circunferencia unidad.
lo
d itu ng
Figura 2.4. La circunferencia unidad
Pues bien, si las coordenadas de son sen cos
, se dene:
seno del ngulo
Al ser igual a la longitud de la circunferencia unidad, es claro que sen sen y cos cos . Observa tambin que si la medida en radianes del ngulo es igual a , es decir: sen seno del ngulo de
coseno del ngulo

, por lo que , entonces
radianes
Si podemos proceder con el segmento de forma anloga a la anterior, con la diferencia de que ahora enrollamos dicho segmento sobre la circunferencia unidad en el sentido de las agujas del reloj, de forma que su extremo coincida con el punto de la circunferencia. Obtenemos as un punto de la circunferencia unidad y se dene, igual que antes sen , cos . Es fcil ver que si , entonces . Resulta as que sen sen y cos cos . 2.12 Observaciones. Podemos denir la funcin seno en grados sin ms que interpretar que es la medida en grados del ngulo que le corresponde. El hecho de que se use la misma notacin para ambas funciones es la causa de muchos errores. Si notamos seno el valor del seno del ngulo cuya media es grados, y notamos sen el valor del seno del ngulo cuya media es
45
sen
Figura 2.5. La funcin seno

radianes (es decir, la funcin que hemos denido antes); la relacin entre ambas funciones viene dada por:
seno seno
sen
sen
Es frecuente que se escriba como Por ejemplo sen o . A esta mala notacin se deben las dudas que a veces surgen sobre el signicado de sen y que llevan a preguntar: est en grados o en radianes?, cuando lo que realmente debera preguntarse es se trata de seno o de sen ?; porque, en ambos casos, es tan slo un nmero al que no hay por qu ponerle ninguna etiqueta. sen o . Insistimos, una ltima vez: en este curso de Clculo el nmero sen signicar siempre sen . Por tanto sen sen (pero sen seno ). 2.2.7.3. Propiedades de las funciones seno y coseno
Las funciones seno y coseno son funciones reales cuyo dominio es todo . Las identidades bsicas que dichas funciones verican son: sen cos
Como se ha dicho antes, las funciones seno y coseno son peridicas de perodo : sen
sen
cos
cos
La funcin seno es impar y la funcin coseno es par: sen
sen
cos
cos
Todas las propiedades anteriores se deducen fcilmente de las deniciones dadas. Las siguientes igualdades, conocidas como frmulas de adicin, se probarn ms adelante: sen cos
sen cos
cos cos sen sen
cos sen
(2.4) (2.5)
La funcin seno se anula en los mltiplos enteros de , es decir, en los puntos de la forma donde es un entero cualquiera. La funcin coseno se anula en los puntos de la forma donde es un entero cualquiera.
Funciones trigonomtricas 2.2.7.4. Las funciones tangente, cotangente, secante y cosecante
46
Las funciones tangente y secante, que se representan por tg y sec son las funciones denidas en el conjunto cos , por: tg sen cos sec
cos
Las funciones cotangente y cosecante, que se representan por cotg y csc son las funciones denidas en el conjunto sen , por: cotg cos sen csc
sen
Las propiedades de estas funciones se deducen fcilmente de las propiedades del seno y del coseno. Por ejemplo, tg tg ; esto es, la funcin tangente es peridica de perodo . 2.2.7.5. Las funciones arcoseno, arcocoseno y arcotangente
Lo primero que hay que decir es que ninguna de las funciones seno, coseno, tangente, es inyectiva pues todas ellas son peridicas y, por tanto, toman cada uno de sus valores en innitos puntos; en consecuencia, ninguna de ellas tiene inversa en el sentido de la denicin (2.7). Por tanto, no debe decirse que las funciones arcoseno, arcocoseno, arcotangente sean las funciones inversas del seno, del coseno o de la tangente: eso no es cierto. Hecha esta observacin imprescindible, pasemos a denir dichas funciones. La funcin seno es estrictamente creciente en el intervalo y en dicho intervalo toma todos los valores comprendidos entre y , sen . En consecuencia, dado un nmero hay un nico nmero tal que sen ; dicho nmero se representa por arc sen y se llama el arcoseno de . Es decir, el arcoseno es la funcin arc sen denida por senarc sen y arc sen . Observa que la igualdad arc sensen , es cierta si, y slo si, .
sen
arc sen
Figura 2.6. La funcin seno en
Figura 2.7. La funcin arcoseno
47
Es decir, la funcin arcoseno es la inversa de la funcin seno restringida al intervalo , esto es, cuando consideramos que la funcin seno est solamente denida en el intervalo .
arc sen
arc sen
senarc sen
(2.6)
arc sensen
(2.7)
y en dicho intervalo La funcin coseno es estrictamente decreciente en el intervalo toma todos los valores comprendidos entre y . Por tanto, dado un nmero , hay un nico nmero tal que cos ; dicho nmero se representa por arc cos y se llama arcocoseno de . Es decir, arcocoseno es la funcin arc cos dada por cosarc cos y arc cos Observa que la igualdad arc coscos , es cierta si, y slo si, . Es decir, la funcin arcocoseno es la inversa de la funcin coseno restringida al intervalo , esto es, cuando consideramos que la funcin coseno est solamente denida en el intervalo . arc cos
arc cos
cosarc cos
(2.8)
arc coscos
(2.9)
cos
arc cos
Figura 2.8. La funcin coseno en
Figura 2.9. La funcin arcocoseno
La funcin tangente es estrictamente creciente en el intervalo y en dicho intervalo toma todos los valores reales, tg . En consecuencia, dado un nmero , hay un nico nmero tal que tg ; dicho nmero se representa por arc tg y se llama el arcotangente de . Es decir, la funcin arcotangente es la inversa de la funcin tangente restringida al intervalo , esto es, cuando consideramos que la funcin tangente est solamente denida en el intervalo .
Las funciones hiperblicas
48
arc tg
arc tg
tgarc tg

(2.10) (2.11)
arc tgtg
arc tg
tg
Figura 2.11. La funcin arcotangente
Figura 2.10. La funcin tangente en
2.2.8. Las funciones hiperblicas

Hay algunas combinaciones de las funciones exp y exp que aparecen con tanta frecuencia que se les da nombre propio. Ellas son las funciones seno hiperblico, representada por senh, y coseno hiperblico, representada por cosh, y estn denidas para todo por: senh e e
cosh
Las funciones seno hiperblico y coseno hiperblico son funciones reales cuyo dominio es todo . La identidad bsica que dichas funciones verican es: cosh senh

cosh
La funcin seno hiperblico es impar y la funcin coseno hiperblico es par: La funcin seno hiperblico es estrictamente creciente en . La funcin coseno hiperblico es estrictamente creciente en o . Todas las propiedades anteriores se deducen fcilmente de las deniciones dadas.
senh
senh
cosh
La funcin tangente hiperblica que se representa por tgh es la funcin denida para todo por: senh e e tgh cosh e e
De forma anloga se denen las funciones cotangente, secante y cosecante hiperblicas.

49
3 2 1
cosh
senh
2 2 1
-2
-1 -1 -2 -3
-2 -4
-1
Figura 2.13. La funcin coseno hiperblico Figura 2.12. La funcin seno hiperblico

tgh
Figura 2.14. La funcin tangente hiperblica
2.2.8.1.
Las funciones hiperblicas inversas
La funcin seno hiperblico es una biyeccin de sobre cuya inversa, representada por, argsenh, (lase argumento seno hiperblico) viene dada por: argsenh log
(2.12)
La funcin coseno hiperblico es inyectiva en o y su imagen es la semirrecta . La funcin, denida en , que a cada nmero asigna el nico nmero tal que cosh , se llama argumento coseno hiperblico, se representa por, argcosh, y viene dada por:
La funcin tangente hiperblica es una biyeccin de sobre el intervalo

argcosh log
(2.13)
cuya inversa, representada por, argtgh, (lase argumento tangente hiperblica) es la funcin denida en el intervalo por:
argtgh
log
(2.14)
50
2 1
argsenh
2
-4
-3
-2
-1 -1 -2
argcosh
Figura 2.15. La funcin argumento seno hiperblico
Figura 2.16. La funcin argumento coseno hiperblico
argtgh
Figura 2.17. La funcin argumento tangente hiperblica
La razn de por qu estas funciones se llaman hiperblicas es que, al igual que los puntos de la circunferencia unidad pueden representarse en la forma cos sen , los puntos en la rama derecha de la hiprbola unitaria pueden representarse como cosh senh . Naturalmente, la importancia de las funciones trigonomtricas procede de que multitud de fenmenos naturales son de naturaleza ondulatoria o peridica. Por ejemplo, la grca de un electrocardiograma no es ms que superposiciones de grcas de senos y cosenos. Las funciones hiperblicas, por su parte, tambin sirven para describir el movimiento de ondas en slidos elsticos, o la forma que adoptan los cables elctricos colgantes. Hay una hermosa curva llamada catenaria cuya ecuacin es de la forma cosh (donde se entiende que es una constante). La catenaria es la forma que adopta una cadena perfectamente exible suspendida de sus extremos y bajo la accin de la gravedad.
51
37. Estudia cuales de las siguientes igualdades son ciertas y, cuando no lo sean, proporciona un contraejemplo. Se supone que , , son funciones denidas en . a) b) c) d)
. .
. . dada por la
38. Sean . Indica el dominio natural de denicin de la funcin regla que en cada caso se indica.

argcosh

es par si
arc sen arc cos
log arc tg
39. Una funcin
e impar si
a) Estudia si la suma, el producto y la composicin de funciones pares o impares es una funcin par o impar. Considera todos los casos posibles. b) Prueba que toda funcin puede escribirse de forma nica como suma de una funcin par y una funcin impar. 40. Prueba que la funcin dada por que

, es estrictamente creciente en . Deduce

41. Indica, justicando tu respuesta, los intervalos que:
No tienen mximo ni mnimo. Tienen mximo pero no tienen mnimo. Tienen mnimo pero no tienen mximo. Tienen mximo y mnimo.
42. Se quiere amortizar una deuda de 60000 el da 31 de diciembre de 2013. Esta deuda ha sido contrada el da 1 de enero de 2008, y se incrementa cada trimestre al 6 por 100 anual. Para amortizarla se quiere pagar una cantidad ja el ltimo da de cada mes, empezando el 31 de enero de 2008 y terminando el 31 de diciembre de 20013. Estas cantidades producen un inters anual del 3 por 100, que se acumula mensualmente. Qu cantidad hay que abonar cada mes? Sugerencia. Usa una calculadora o un programa de clculo que tengas en tu ordenador para obtener la solucin exacta (redondeas por exceso). Haciendo uso de la aproximacin (para grande):

e , puedes obtener tambin una solucin aproximada.

52
43. A qu inters simple anual corresponde un inters compuesto continuo del % anual? 44. Se invierten euros en una cuenta que produce un % jo de inters anual. 1. Cuntos aos se necesitan para doblar el capital inicial? 2. Cuntos aos son necesarios para que el capital nal sea de de un milln de euros? 45. Una persona coloca cada da la misma cantidad de euros a un inters compuesto continuo del % anual. Hallar el capital nal al cabo de das. Si
, al cabo de cuanto tiempo el capital nal ser de 6000 ?
46. Se sabe que la poblacin de un cultivo de bacterias se duplica cada horas. Si a las del medioda hay bacterias, cuntas habr a las de la tarde del mismo da?. 47. Compara
log
con
log
48. Calcula sabiendo que
log
log
log
log log ?
49. Es correcto escribir log 50. Prueba que log 51. Resuelve
log
log
loglog
52. Simplica las expresiones
log
log log

53. Resuelve el sistema: log
log
. Se supondr que
54. Indica cul de los dos nmeros
es el mayor.
55. Calcula los valores de para los que se verica la igualdad: log 56. Sea
log
log
una funcin que verica las propiedades: a) para todos . para todos . b) Demuestra que o bien es para todo o bien es .

para todo es
Sugerencias. a) Supuesto que no es idnticamente nula, prueba primero que estrictamente creciente y que para todo .
b) Supn que hay algn nmero tal que y deduce una contradiccin (utiliza que entre dos nmeros reales cualesquiera siempre hay algn nmero racional). 57. Sea a) b)
para todo
una funcin que verica las propiedades: para todos en .

;
Ejercicios propuestos c)
53
Demuestra que
log para todo
Sugerencias. a) Prueba primero que
es creciente y que
para todo
b) Sea exp . Justica que es estrictamente creciente. Supn que hay algn nmero tal que y deduce una contradiccin (utiliza que entre dos nmeros reales cualesquiera siempre hay algn nmero racional). 58. Prueba las igualdades siguientes. cosarc tg tanarc sen
senarc tg
arc cos
arc sen
59. Sean que cos
tales que
, sen
. Denamos
arc tg
. Prueba
60. Prueba por induccin la siguiente igualdad. sen

sen
sen
sen
sen
sen
61. Prueba que para todos sen sen
sen
Deduce que para
:
sen

se verica que cos cos

cos

cos
cos
cos
sen
sen
Utiliza esta igualdad para probar que: sen

cos
cos sen
cos sen
sen
cos
Prueba anlogamente que: sen sen
sen
sen
62. Prueba que tg
tg tg . Qu excepciones hay que hacer?. tg tg

63. Indica para qu valores de e se verica la igualdad arc tg arc tg arc tg 64. Calcula por la condicin arc tg arc tg .
65. Deduce las expresiones de las funciones hiperblicas inversas dadas por las igualdades (2.12), (2.13) y (2.14).
Ejercicios resueltos 66. Prueba que arc tge arc tg tgh 67. Simplica las expresiones a) senh cos b) coshlog

54
cosh sen . senhlog .
68. Prueba que
argtghtg
argtghsen .
69. Dene las funciones secante y cotangente hiperblicas y estudia sus inversas. 70. Obtener frmulas de adicin para el seno, coseno y tangente hiperblicos. 71. Dibuja la grca de la funcin 72. Prueba las igualdades: cos y, usando que cos

arc sensen .
cos , cos
cos
cos
y cos .
, deduce el valor de cos
, cos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 15 Calcula sabiendo que

log log log log Solucin. Pongamos log . Por denicin, tenemos que , de donde se sigue log que log log . Hemos obtenido as que log . Con ello, la igualdad del log enunciado puede escribirse como log log log log log log log log log

esto es log log log log , o lo que es igual, log funcin logaritmo es inyectiva, deducimos que . Ejercicio resuelto 16 Prueba la igualdad arc cos arc sen
. Como la
Solucin. Se trata de probar que arc sen arc cos para todo dado , pongamos arc cos . Como, por denicin, deducimos que . Adems sen cos arc cos sen
. Para ello, arc cos ,
arc cos
sen cosarc cos

cos arc cos cos
sen arc cos
Hemos probado as que sen arc sen .

,y
lo que, por denicin, quiere decir que
Ejercicios resueltos Ejercicio resuelto 17 Prueba que tgarc sen Solucin. Como tg
55
sen , deducimos que tgarc sen cos (hay que excluir los puntos porque arc sen que cosarc sen . Como cos
para todo
, cosarc sen ) . Bastar probar, por tanto,
sen
, deducimos que, cos arc sen cosarc sen
, esto es,
Ahora, como
arc sen
, se sigue que cosarc sen cosarc sen
, por lo que
cosarc sen y, por tanto, cosarc sen
Ejercicio resuelto 18 Dado un nmero Solucin. Aqu el dato es el nmero
, calcula un nmero
. Puesto que senh
tal que senh . e e , tenemos que cal

cular un nmero que verique la igualdad e e , esto es, e e . Haciendo e , tenemos que , por lo que los dos posibles valores para son

Como debe ser mos que
(porque el valor de una exponencial siempre es positivo), deduci
log
si
log log
si
Ejercicio resuelto 19 Se quiere amortizar una deuda de 60000 el da 31 de diciembre de 20013. Esta deuda ha sido contrada el da 1 de enero de 2000, y se incrementa cada trimestre al 6 por 100 anual. Para amortizarla se quiere pagar una cantidad ja el ltimo da de cada mes, empezando el 31 de enero de 2008 y terminando el 31 de diciembre de 20013. Estas cantidades producen un inters anual del 3 por 100, que se acumula mensualmente. Qu cantidad hay que abonar cada mes? Solucin. Como la deuda se incrementa a un inters compuesto (expresado en tanto por cada trimestre, el 31 de diciembre de 2013 la deuda ms los intereses uno) del ser igual a:

Llamemos a la mensualidad que tendremos que pagar al nal de cada mes. Dichas mensualidades se capitalizan a inters compuesto del cada mes. La primera
56
mensualidad permanece un total de 71 meses y la ltima, al pagarse el ltimo da del mes no genera ningn inters. La cantidad total que tendremos el 31 de diciembre de 2013 ser igual a:

Donde hemos usado la expresin que da la suma de una progresin geomtrica. En consecuencia, deber ser:

Usando una calculadora se obtiene: grande

donde hemos redondeado por exceso.
Podemos tambin hacer el clculo anterior teniendo en cuenta la aproximacin para e de la siguiente forma:
En consecuencia:

e e
donde hemos redondeado por exceso. Ejercicio resuelto 20 Prueba las igualdades (a) arc cos arc sen
(b) tanarc sen
secarc sen
Solucin. (a) Puede comprobarse esta igualdad de muchas formas. Por ejemplo, si despejamos, podemos escribir la igualdad de la forma: arc sen
arc cos
Puesto que arc cos y en el intervalo es inyectiva, la igualdad anterior es equivalente a la siguiente: la cual es efectivamente cierta porque, para todo es: sen
sen
la funcin seno arc cos
arc cos
sen
cosarc cos cos
senarc cos
Ejercicios resueltos (b) Para todo
57
es: senarc sen cosarc sen

tanarc sen Ahora como: cos arc sen
cosarc sen
sen
arc sen
y adems cosarc sen igualdad pedida.
, se sigue que cosarc sen
lo que prueba la
Anlogamente, se tiene que: secarc sen
cosarc sen
por lo antes visto
Ejercicio resuelto 21 Prueba por induccin la igualdad: sen

sen
sen
sen
sen
sen
Solucin. La igualdad es evidentemente cierta para . Supongamos que es cierta para un nmero natural y probemos que entonces lo es tambin para . Tenemos: sen

sen
sen
sen
sen
sen
sen
sen
En consecuencia, todo se reduce a probar que: sen sen

sen
sen
sen
sen
Usando que sen tenemos: sen

sen cos
y que sen
sen
sen
cos
sen
sen sen

sen

sen
sen sen

sen sen
cos

sen sen

cos
sen
sen
sen
sen
sen
como queramos probar. Ejercicio resuelto 22 Sean
tales que
. Denamos
arc tg
Ejercicios resueltos Prueba que cos , sen .
58
Solucin. Puesto que lo que conocemos es tg , la idea es relacionarla con sen y con cos . Teniendo en cuenta que cos cos sen , que sen sen cos y que sen cos , obtenemos: cos sen cos sen sen cos sen cos sen cos

tg
tg tg tg

Teniendo en cuenta ahora que mente que: cos

y que tg sen
, se comprueba fcil-
tg
tg
tg tg
Ejercicio resuelto 23 Sea

una funcin que verica las propiedades: a) para todos . b) para todo . para todo o bien es Demuestra que o bien es .

para todo
Solucin. Si una tal funcin tiene y
se anula en algn
, resulta que para todo

se
. Dado
es la funcin idnticamente nula. Excluido este caso, deber ser , tenemos que
para todo

Si ahora es
se tendr que

Hemos probado as que enteros y . Por ser

es estrictamente creciente. Sean ahora aditiva se tiene que:

nmeros
Deducimos que para todo nmero racional y todo . En particular, haciendo y teniendo en cuenta que (consecuencia inmediata de b)), resulta que para todo . Si para algn se tuviera que , entonces tomamos algn racional tal que para obtener la contradiccin
Anlogamente, so puede ser .
. Concluimos que ha de ser
para todo
Sobre el concepto de funcin
59
2.3. Sobre el concepto de funcin

Estamos acostumbrados a usar la idea de funcin para expresar una relacin de dependencia entre varias magnitudes; por ejemplo, decimos que los precios estn en funcin de los costes de produccin. Toda persona con conocimientos bsicos sabe que las derivadas y las integrales son herramientas que se usan para estudiar funciones. Las funciones no solamente se estudian en Clculo; en todas las ramas de las Matemticas se estudian funciones de distintos tipos, y puede armarse que el concepto de funcin constituye un vnculo unicador entre todas ellas. Se trata de un concepto muy bsico y general que comprende las distintas interpretaciones tradicionales de una funcin como una tabla de valores, como una curva o como una frmula. Por todo ello, puede parecer sorprendente que dicho concepto, con su signicado actual, sea muy reciente. Suele atribuirse al matemtico alemn Dirichlet la denicin, en 1837, del concepto moderno de funcin. Antes de llegar aqu hubo de recorrerse un largo camino que empieza con la publicacin en 1748 del libro de Leonhard Euler Introductio in analysin innitorum en cuyo primer captulo, titulado signicativamente De Functionibus in genere, esto es, Sobre las funciones en general, Euler da la siguiente denicin:
Figura 2.18. Dirichlet
Una funcin de una cantidad variable es cualquier expresin analtica formada a partir de dicha cantidad variable y nmeros o cantidades constantes.
Tambin fue Euler quien us por primera vez la notacin para indicar el valor de una funcin en un valor de la variable. Euler no precisaba lo que entenda por cualquier expresin analtica pero, sin duda, inclua las series, fracciones y productos innitos y primitivas. Despus de dar esta denicin, Euler distingue entre varios tipos de funciones segn que puedan o no representarse por medio de una sola expresin analtica. El libro de Euler Introductio in analysin innitorum, del que hay traduccin al espaol, es considerado como el tercero ms inuyente en toda la historia de las matemticas (el primero seran los Elementos de Euclides (300 adC) y el segundo los Principia (1687) de Newton) y tuvo una amplia difusin. En el prefacio de dicho libro, Euler, armaba que el Anlisis Matemtico es la ciencia general de las variables y sus funciones. Esto, que hoy da nos parece una evidencia, estaba muy lejos de serlo en el siglo XVIII. De hecho, matemticos como Newton, Leibniz, los hermanos Bernouilli y otros muchos en los siglos XVII y XVIII, se expresaban en trminos de curvas, supercies, reas, lneas tangentes.
Figura 2.19. Euler
En el primer libro de Clculo Analyse des inniment petits, pour lintelligence des lignes courbes (LHpital, 1696), como ya se indica en su propio ttulo, lo que se estudia son curvas, no funciones. Esto no tiene nada de extrao. Los mtodos del Clculo Innitesimal eran todava
Sobre el concepto de funcin
60
muy recientes y sus razonamientos con frecuencia oscuros y confusos, por eso los matemticos de la poca preferan fundamentar sus resultados geomtricamente porque, desde Euclides, se haba considerado la geometra como el paradigma de la claridad y la perfeccin lgico deductiva. La necesidad de precisar el concepto de funcin surgi poco despus, de forma muy natural, en el estudio de las vibraciones planas de una cuerda elstica tensa, sujeta por sus extremos, cuya posicin inicial en el plano viene dada por una funcin conocida . DAlembert (1749) y Euler (1750) obtuvieron esencialmente la misma solucin, pero discreparon sobre el tipo de funcin inicial permitida. Mientras que, segn DAlembert, la posicin inicial deba venir dada por una funcin suave (derivable dos veces), Euler insista en que la evidencia fsica impona la consideracin de funciones ms generales (no derivables, con picos). l mismo propuso como posicin inicial de la cuerda una lnea poligonal. Otro matemtico, Daniel Bernouilli, propuso en 1753 una solucin del problema que tena como consecuencia que la funcin poda representarse como suma de una serie trigonomtrica innita. Una situacin muy similar a sta se produjo unos aos despus, en 1822, como consecuencia de los trabajos de Jean B. Joseph Fourier sobre la propagacin del calor. Los detalles de toda esta historia son muy interesantes pero imposibles de resumir en unas pocas lneas y, adems, para poderlos entender hay que tener algunos conocimientos de Anlisis Matemtico. En esencia, se trata de lo siguiente. En la segunda mitad del siglo XVIII y primera del XIX, al mismo tiempo que los matemticos seguan considerando que las funciones deban ser continuas y derivables, salvo a lo sumo en una cantidad nita de puntos especiales (el mismo Euler tena esta idea), se estaban desarrollando mtodos para resolver problemas cada vez ms complejos que permitan representar funciones cualesquiera por medio de expresiones analticas, principalmente, series de Fourier. Se supona que una representacin de este tipo deba transmitir su regularidad a la funcin representada pero, por otra parte, sta poda ser muy general. El corazn del problema estaba en la confusin de dos conceptos, aparentemente iguales pero muy distintos de hecho, el de funcin y el de su representacin analtica. La separacin de estos conceptos llev a considerar una funcin con independencia de su representacin analtica. De esta forma una funcin quedaba reducida a un conjunto de valores numricos completamente independientes asociados a una o varias variables, que es la idea subyacente a la denicin moderna debida a Dirichlet (1837):
es una funcin de una variable , denida en un intervalo , si para cada valor de la variable en este intervalo le corresponde un valor concreto de la variable . Adems, es irrelevante la forma en la que esta correspondencia se establezca.
Esta nueva idea de funcin llev a investigar nuevos tipos de funciones que, con frecuencia, tenan un comportamiento inusual. En 1854 Riemann dio un ejemplo de funcin integrable con innitas discontinuidades en todo intervalo de longitud positiva. En 1872 Weierstrass sorprende a la comunidad matemtica con una funcin continua que no es derivable en ningn punto. A estos ejemplos de funciones patolgicas pronto les siguen otros. En el siglo XIX la necesidad de una fundamentacin rigurosa del Anlisis Matemtico se hace evidente. El concepto de funcin sigue en el centro de atencin y, aunque dicho concepto sigui discutindose casi hasta el nal del siglo, hoy se reconoce a Dirichlet haber sido el primero en considerar seriamente la idea de funcin como una correspondencia arbitraria. Para ampliar la informacin pueden visitarse los siguientes sitios en Internet.
El desarrollo del lgebra y la invencin de los logaritmos
61
Sobre la evolucin del concepto de funcin en

en http://www.ma2.us.es/seminarios/four.pdf.
Las series de Fourier y el desarrollo del Anlisis en el siglo XIX por Fernando Bombal
2.3.1. El desarrollo del lgebra y la invencin de los logaritmos
Con una calculadora de bolsillo, puedes hacer en una hora clculos que a un astrnomo de los siglos XV o XVI le hubiesen llevado semanas o meses realizar. En aquella poca hacer multiplicaciones, divisiones, calcular races cuadradas o potencias eran operaciones que requeran mucho tiempo y esfuerzo. La explicacin de esto es que el desarrollo del lgebra fue relativamente tardo. El descubrimiento de las cantidades inconmensurables, y la carencia de una teora aritmtica de las mismas, tuvo como consecuencia el abandono del lgebra en favor de la Geometra. Se desarrollo as una especie de lgebra geomtrica en la que los nmeros se representaban por segmentos de lnea y las operaciones aritmticas fueron sustituidas por construcciones geomtricas. Las ecuaciones lineales y cuadrticas fueron resueltas con tcnicas geomtricas, evitndose as el problema de las magnitudes inconmensurables. De esta forma en las matemticas griegas el razonamiento geomtrico lleg a considerarse como el modelo de razonamiento matemtico riguroso. Y as sigui siendo durante ms de 2000 aos. Esta lgebra geomtrica fue la causa del retraso en el desarrollo del lgebra como disciplina independiente. Otra dicultad adicional estaba en el sistema de numeracin romano, un sistema de numeracin no posicional, que fue el utilizado en Occidente hasta el siglo XI. El sistema de numeracin decimal que actualmente usamos, el cero incluido, tuvo su origen en la India y lleg a Occidente a travs de los rabes, por eso los nuevos nmeros se llamaron nmeros arbigos. La misma palabra lgebra nace en el siglo IX y hace referencia al ttulo del libro Hisab al-jabr wal-muqabalah del nombre de cuyo autor, el matemtico Persa, Muhammad ibn-Musa al-Jwarizmi (c.780-850), deriva la palabra algoritmo. La paulatina adopcin en toda Europa a lo largo de los siglos XI, XII y XIII de los nmeros arbigos supuso un extraordinario avance que propici la expresin simblica de las operaciones aritmticas, inicindose as el desarrollo del lgebra como disciplina independiente de la Geometra4 . En el siglo XV ya se usan en los clculos los nmeros negativos y las fracciones, pero los primeros progresos realmente notables no llegaron hasta el siglo XVI, gracias a los trabajos de matemticos como Gerolamo Cardano (1501-1576) que public las soluciones de algunas ecuaciones de tercer y cuarto grado en su libro Ars magna (1545), y Franois Vite (1540-1603) que, entre otras cosas, propuso un sistema simblico que le permiti representar de forma general distintos tipos de ecuaciones. Hoy nos parece inconcebible una Matemtica sin un lenguaje simblico apropiado, pero ste se desarroll lentamente a lo largo de los siglos XVI-XVII. Algunos de los siguientes datos estn sacados del sitio Web The History of Mathematical Symbols.
http://www.maa.org/pubs/Calc_articles/ma001.pdf.
La primera aparicin impresa de los smbolos
y fue en la aritmtica de John Widmann, publicada in 1489 in Leipzig. El autor del primer libro de texto sobre lgebra en
polinmicas y de la naturaleza y propiedades de sus races. El lgebra moderna es el estudio de las estructuras axiomticas.
4 Nos referimos, claro est, al lgebra clsica, esto es, el estudio de las ecuaciones
El desarrollo del lgebra y la invencin de los logaritmos
62
Haba una gran variedad de smbolos para la multiplicacin. Fue el matemtico ingls
lengua alemana impreso en 1525, Christoff Rudolff, usa estos smbolos con su signicado actual. Durante mucho tiempo se usaron solamente en lgebra antes de que se generalizara su uso en aritmtica. William Oughtred quien en su obra Clavis Mathematicae, publicada en 1631, dio al smbolo el signicado que tiene hoy da. mdico ingls Robert Recorde en su libro The Whetstone of Witte (1557). No fue inmediatamente aceptado pues, como ocurra con gran parte de la notacin matemtica de este perodo, cada uno tena su propio sistema, pero hacia 1700 el signo era ya de uso general. cuencia debido a la confusa notacin empleada para representarlas. Fue Neper quien introdujo en 1616 el separador decimal (coma o punto), lo que facilit mucho el uso de las fracciones decimales.
El signo para la igualdad que usamos actualmente fue introducido por el matemtico y Aunque las fracciones decimales eran conocidas desde antiguo, no eran usadas con fre Los smbolos para las desigualdades,
y , con su signicado actual fueron introducidos por el matemtico ingls Thomas Harriot (1560-1621) en su obra Artis Analyticae Praxis publicada en Londres en 1631.
En el siglo XV la trigonometra esfrica fue adquiriendo cada vez mayor importancia por sus aplicaciones para la navegacin astronmica, en la cual debe resolverse un tringulo esfrico para trazar la ruta del navo. Para facilitar los clculos, se elaboraron numerosas tablas trigonomtricas en las que trabajaron matemticos como Coprnico (1473-1543), Tycho Brahe (1546-1601), Kepler (1571-1630) y otros. Los clculos para la realizacin de estas tablas eran largos y penosos. En este contexto tuvo lugar la invencin de los logaritmos por John Neper. John Napier o Neper introdujo los logaritmos en su libro Mirici Logarithmorum Canonis Descriptio (1614). Este trabajo tena treinta y siete pginas explicando la naturaleza de los logaritmos y noventa pginas de tablas de logaritmos de funciones trigonomtricas en las que Neper trabaj durante 20 aos antes de publicar sus resultados. En el ao 1615 el matemtico ingls Henry Briggs (1561-1630) visit a Neper en Edimburgo, y le convenci para modicar la escala inicial usada por ste. Nacieron as los logaritmos de base 10 que fueron divulgados por el fsico alemn Kepler, extendindose su uso en relativamente poco tiempo por toda Europa.
Figura 2.20. John Napier
Al principio, Neper llam a los exponentes de las potencias numeros articiales, pero ms tarde se decidi por la palabra logaritmo, compuesta por los trminos griegos logos (razn) y aritmos (nmero). Los logaritmos son nmeros, que se descubrieron para facilitar la solucin de los problemas aritmticos y geomtricos, a travs de esto se evitan todas las complejas multiplicaciones y divisiones transformndolo a algo completamente simple a
Lo que debes haber aprendido en este captulo travs de la substitucin de la multiplicacin por la adicin y la divisin por la substraccin. Adems el clculo de las races se realiza tambin con gran facilidad. Henry Briggs
63
Los logaritmos pasaron a ser una herramienta muy valorada, en especial entre los astrnomos. Laplace se reere a esto en la siguiente frase. Con la reduccin del trabajo de varios meses de clculo a unos pocos das, el invento de los logaritmos parece haber duplicado la vida de los astrnomos. Pierre Simon Laplace
2.4. Lo que debes haber aprendido en este captulo
El concepto de funcin y el formalismo que usamos para denir una funcin. Las operaciones con funciones. La composicin de funciones. Los conceptos de funcin montona y de inversa de una funcin inyectiva. Las deniciones y propiedades principales de las funciones logartmicas y exponenciales. Las deniciones y propiedades principales de las funciones trigonomtricas. Las deniciones y propiedades principales de las funciones arcoseno, arcocoseno y arcotangente. Las deniciones y propiedades principales de las funciones hiperblicas y sus inversas.
Como lectura adicional te recomiendo los captulos 3 y 4 del libro de Michael Spivak [16].
Captulo
Numeros complejos. Exponencial compleja

El camino ms corto entre dos verdades del anlisis real pasa con frecuencia por el anlisis complejo. Jaques Hadamard
3.1. Un poco de historia

Los nmeros que hoy llamamos complejos fueron durante muchos aos motivo de polmicas y controversias entre la comunidad cientca. Poco a poco, por la creciente evidencia de su utilidad, acabaron por ser comnmente aceptados, aunque no fueron bien comprendidos hasta pocas recientes. Nada hay de extrao en ello si pensamos que los nmeros negativos no fueron plenamente aceptados hasta nales del siglo XVII. Los nmeros complejos hacen sus primeras tmidas apariciones en los trabajos de Cardano (1501-1576) y Bombelli (1526-1672) relacionados con el clculo de las races de la cbica o ecuacin de tercer grado. Fue Ren Descartes (1596-1650) quien arm que ciertas ecuaciones algebraicas slo tienen solucin en nuestra imaginacin y acu el calicativo imaginarias para referirse a ellas. Desde el siglo XVI hasta nales del siglo XVIII los nmeros complejos o imaginarios son usados con recelo, con desconanza. Con frecuencia, cuando la solucin de un problema resulta ser un nmero complejo se interpreta esto como que el problema no tiene solucin. Para Leibniz el nmero imaginario es un recurso sutil y maravilloso del espritu divino, casi un anbio entre el ser y el no ser. Las razones de todo esto son claras. As como los nmeros reales responden al problema bien cotidiano de la medida de magnitudes, no ocurre nada similar con los nmeros complejos. Mientras los matemticos necesitaron interpretar en trminos fsicos sus objetos de estudio, no se avanz mucho en la comprensin de los nmeros complejos. El xito de Euler y Gauss al trabajar con nmeros complejos se debi a que ellos no se 64
Operaciones bsicas con nmeros complejos
65
preocuparon de la naturaleza de los mismos; no se preguntaron qu es un nmero complejo?, sino que se dijeron a ver, para qu sirven, qu puede hacerse con ellos. Es Gauss quien denitivamente concede a los nmeros complejos un lugar privilegiado dentro de las matemticas al probar en 1799 el resultado conocido como Teorema Fundamental del lgebra que arma que toda ecuacin polinmica de grado con coecientes complejos tiene, si cada raz se cuenta tantas veces como su orden, races que tambin son nmeros complejos. Merece la pena que entiendas bien lo que arma este resultado. Fjate en cada una de las ecuaciones:

Cuyas soluciones
tienen sentido cuando es, respectivamente, un nmero entero, racional, real o complejo. Podra ocurrir que este proceso de ampliacin del campo numrico continuara. Qu ocurrir si ahora consideramos ecuaciones polinmicas con coecientes complejos? Por ejemplo:
Cmo sern sus soluciones? Aparecern tambin nuevos tipos de nmeros? El Teorema Fundamental del lgebra nos dice que esa ecuacin tiene soluciones que tambin son nmeros complejos y, por tanto, que no aparecern ya por este procedimiento nuevos tipos de nmeros. El trmino, hoy usado de nmeros complejos se debe a Gauss, quien tambin hizo popular la letra que Euler (1707-1783) haba usado espordicamente. En 1806 Argand interpreta los nmeros complejos como vectores en el plano. La fecha de 1825 es considerada como el nacimiento de la teora de funciones de variable compleja, pues se publica en dicho ao la Memoria sobre la Integracin Compleja que Cauchy haba escrito ya en 1814. Los nmeros complejos son una herramienta bsica de clculo. Son especialmente tiles para trabajar con funciones sinusoidales, y por eso se hace uso constante de ellos siempre que representamos una seal por medio de dichas funciones, y no hay que olvidar que se es el propsito bsico de los mtodos de Fourier. La Transformada de Fourier Discreta, una herramienta fundamental en el tratamiento digital de seales, toma valores complejos. Las transformadas de Fourier y de Laplace son funciones complejas. La transformada , al igual que otras transformadas de uso frecuente, se dene como una serie de nmeros complejos. La funcin exponencial compleja desempea un papel fundamental en el estudio de los sistemas LTI (sistemas lineales invariantes en el tiempo) y tambin en la teora de las ecuaciones diferenciales lineales.
3.2. Operaciones bsicas con nmeros complejos

3.1 Denicin. Consideremos en el conjunto las operaciones de adicin y producto denidas por

(3.1)
(3.2)
Comentarios a la denicin de nmero complejo
66
Es muy fcil comprobar las propiedades asociativa, conmutativa y distributiva de las operaciones as denidas. El elemento neutro de la suma es y es la unidad del producto. Adems, es el opuesto de , y todo tiene inverso
Todas estas propiedades se resumen diciendo que (lase el conjunto con las operaciones de adicin y producto) es un cuerpo. Dicho cuerpo se representa simblicamente por y sus elementos se llaman nmeros complejos.
3.2.1. Comentarios a la denicin de nmero complejo

No debes olvidar que cada concepto matemtico tiene sentido dentro de una determinada estructura. Con frecuencia, cuando sobre un mismo conjunto hay denidas varias estructuras, la terminologa que se usa indica la estructura a la que nos referimos. Eso pasa en donde conviven varias estructuras cada una con su terminologa propia. Usualmente en se consideran las siguientes estructuras.
Ninguna. Es decir, solamente consideramos que es un conjunto. En tal caso llamamos a sus elementos pares ordenados de nmeros reales.
La estructura de espacio vectorial. Esto es, vemos como un espacio vectorial real. En tal caso a sus elementos los llamamos vectores. La estructura de espacio eucldeo que se obtiene aadiendo a la estructura de espacio vectorial la distancia eucldea denida por el producto escalar usual. Esto es, vemos como el plano eucldeo de la geometra elemental. En este caso a sus elementos los llamamos puntos. La misma terminologa se emplea cuando se considera en la estructura de espacio afn o de espacio topolgico. La estructura de cuerpo denida por las operaciones (3.1) y (3.2). En tal caso, a los elementos de se les llama nmeros complejos.
Ocurre que estos trminos se usan a veces en un mismo prrafo lo que puede resultar confuso. La regla que debes tener siempre presente es que todo concepto matemtico tiene sentido propio dentro de una determinada estructura matemtica. Por ello, a un elemento de se le llama nmero complejo cuando se va a usar el producto denido en (3.2) que es lo que en realidad distingue a los nmeros complejos de los vectores de .
3.2.2. Forma cartesiana de un nmero complejo

El smbolo usual para representar pares ordenados no es conveniente para representar el nmero complejo . Para convencerte calcula, usando la denicin (3.2), . Representaremos los nmeros complejos con un simbolismo ms apropiado en el que va a intervenir el producto complejo. Para ello, observa que:


Comentarios a la denicin usual
67
Esto indica que los nmeros complejos de la forma se comportan respecto a la suma y la multiplicacin de nmeros complejos exactamente de la misma forma que lo hacen los nmeros reales respecto a la suma y multiplicacin propias. En trminos ms precisos, es un subcuerpo de isomorfo a . Por esta razn, en las operaciones con nmeros complejos podemos sustituir los complejos del tipo por el nmero real . Es decir, hacemos la identicacin . Fjate que con dicha identicacin el producto tiene dos posibles interpretaciones: producto del escalar real por el vector (estructura vectorial de ) y producto del complejo por el complejo . Pero ambos coinciden y son iguales a . El nmero complejo lo representaremos por Con ello tenemos que
y lo llamaremos unidad imaginaria.
Ahora podemos escribir
Se dice que es la expresin cartesiana (tambin se le llama expresin binmica) del nmero complejo . El producto ahora es muy fcil de recordar pues
3.2 Denicin. Se dice que .
es la parte real e
es la parte imaginaria del nmero complejo
Naturalmente, dos nmeros complejos son iguales cuando tienen igual parte real e igual parte imaginaria. Notacin. Es costumbre representar los nmeros complejos con las letras y y reservar las letras , , , para representar nmeros reales. Una expresin de la forma se interpreta como que es el nmero complejo cuya parte real es y cuya parte imaginaria es . Se escribe Re e Im para representar las partes real e imaginaria de .
3.2.3. Comentarios a la denicin usual
Acabamos de ver que pero eso no nos permite escribir as, sin ms ni ms, que . Fjate lo que ocurre si ponemos y manejamos ese smbolo con las reglas a las que estamos acostumbrados:
Luego
. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Naturalmente, el error procede de que estamos haciendo disparates. Fjate que en la ex presin no puedes interpretar que es el nmero real (porque, como sabes, los nmeros reales negativos no tienen raz cuadrada real), sino que tienes que interpretar como el nmero complejo (espero que ya tengas clara la diferencia). Resulta as que estamos usando races de nmeros complejos sin haberlas denido y dando por supuesto que dichas races verican las mismas propiedades que las de los nmeros reales positivos.
No hay un orden en
compatible con la estructura algebraica
68
Antes de escribir hay que denir qu signica para . Cuando lo hagamos veremos sorpresa! que la igualdad , vlida cuando , no es cierta en general cuando .
Todava ms disparatado es denir sin ni siquiera haber denido antes los nmeros complejos. Sin embargo, y aunque parezca mentira, en muchos textos se dene (porque s, sin ms explicaciones) y a continuacin se dice que los nmeros de la forma son los nmeros complejos. No es de extraar que luego resulte que . Todava pueden hacerse peor las cosas. Recientemente he encontrado en un texto de una institucin de educacin a distancia escrito por varios profesores la siguiente asombrosa denicin: .
3.2.4. No hay un orden en
compatible con la estructura algebraica
Al ampliar a ganamos mucho pero tambin perdemos algo. Te recuerdo que tiene dos estructuras: la algebraica y la de orden. Ambas estructuras estn armoniosamente relacionadas. Pues bien, en no hay nada parecido. Podemos denir relaciones de orden en , pero no hay ninguna de ellas que sea compatible con la estructura algebraica. Es decir, es imposible denir un concepto de nmero complejo positivo de forma que la suma y el producto de complejos positivos sea positivo. Por ello no se dene en ningn orden. As que ya sabes: nunca escribas desigualdades entre nmeros complejos! Naturalmente, puedes escribir desigualdades entre las partes reales o imaginarias de nmeros complejos, porque tanto la parte real como la parte imaginaria de un nmero complejo son nmeros reales.
3.3. Representacin grca. Complejo conjugado y mdulo

Es usual representar el nmero complejo como el vector del plano y, en ese sentido, se habla del plano complejo. El eje horizontal recibe el nombre de eje real, y el eje vertical recibe el nombre de eje imaginario.

Figura 3.1. Representacin de un nmero complejo
Si dene como:
es un nmero complejo (con

e reales), entonces el conjugado de
se
Representacin grca. Complejo conjugado y mdulo y el mdulo o valor absoluto de , se dene como:
69
Observa que negativo
est denido sin ambigedad; es la raz cuadrada del nmero real no
Geomtricamente, es la reexin de respecto al eje real, mientras que es la distancia eucldea del punto a o, tambin, la longitud o norma eucldea del vector (ver gura 3.1). La distancia entre dos nmeros complejos y se dene como y es la distancia eucldea entre los respectivos puntos del plano. La representacin grca de la suma es la usual para la suma de vectores. Dos nmeros complejos y determinan un paralelogramo cuya diagonal (ver gura 3.2) es (la otra diagonal es ).
Figura 3.2. Suma de nmeros complejos
Las siguientes propiedades de la conjugacin compleja son de comprobacin muy sencilla. 3.3 Proposicin. Cualesquiera sean los nmeros complejos y se verica que:

(3.3)
El siguiente resultado establece las principales propiedades del mdulo de un nmero complejo. Como vers son muy parecidas a las propiedades del valor absoluto y su demostracin es prcticamente la misma. 3.4 Teorema. Cualesquiera sean los nmeros complejos a) En particular, Re
se verica que:
max Re
Im
Re
Im
(3.4)
si, y slo si, o .

Forma polar y argumentos de un nmero complejo b) El mdulo de un producto es igual al producto de los mdulos.
70
(3.5)
c) El mdulo de una suma es menor o igual que la suma de los mdulos.
(desigualdad triangular)
(3.6)
La desigualdad triangular es una igualdad si, y solamente si, alguno de los nmeros es cero o uno de ellos es un mltiplo positivo del otro; equivalentemente, estn en una misma semirrecta a partir del origen. Demostracin. La demostracin de a) es inmediata. Para demostrar b) y c) usaremos la igualdad que se deduce directamente de la denicin de mdulo de un nmero complejo, y la estrategia (1.8) que ya usamos para probar las propiedades anlogas del valor absoluto. b) Basta observar que

son nmeros positivos cuyos cuadrados coinciden, pues
c) Es suciente probar que
. En efecto:
Re Re
Evidentemente, si o si , se verica la igualdad. Supongamos que y . De lo anterior deducimos que se verica la igualdad si, y slo si, Re , esto es, si , o lo que es lo mismo donde . Esta igualdad, puede escribirse de forma equivalente, multiplicando por , como ; y dividiendo ahora por , obtenemos para algn , lo que quiere decir que y estn en una misma semirrecta a partir del origen. Observacin. Para expresar un cociente de complejos en forma cartesiana se multiplica numerador y denominador por el conjugado del denominador:

3.3.1. Forma polar y argumentos de un nmero complejo

El uso de coordenadas polares en el plano facilita mucho los clculos con productos de nmeros complejos. Para cualquier nmero complejo podemos escribir

Forma polar y argumentos de un nmero complejo

71
Como
es un punto de la circunferencia unidad, puede escribirse en la forma

cos
sen
para algn nmero
. Resulta as que

cos
sen
Esta forma de expresar un nmero complejo recibe el nombre de forma polar, cuya interpretacin grca vemos en la gura (3.3).
Figura 3.3. Forma polar de un nmero complejo
Dado , , hay innitos nmeros que verican la igualdad cos sen cualquiera de ellos recibe el nombre de argumento de . El conjunto de todos los argumentos de un nmero complejo no nulo se representa por Arg . Arg Observa que
cos
sen
Arg
cos sin
cos sin
para algn
para algn
Por tanto, conocido un argumento Arg cualquier otro es de la forma , es decir, Arg .
De entre todos los argumentos de un nmero complejo hay uno nico que se encuentra en el intervalo , se representa por arg y se le llama argumento principal de . No es difcil comprobar (vase el ejercicio resuelto (28)) que el argumento principal de
Observaciones a la denicin de argumento principal
72
arg
arc tg
arg arc tg
arg
arc tg
Figura 3.4. Argumento principal
viene dado por: arc tg si si , arc tg si si , arc tg si

arg
Igualdad de dos nmeros complejos en forma polar Para que dos nmeros complejos escritos en forma polar cos sen y cos sen , sean iguales es condicin necesaria y suciente que los mdulos sean iguales , y los argumentos sean iguales, Arg Arg, y sta condicin equivale a que sea un mltiplo entero de .
cos
sen
cos
sen
3.3.2. Observaciones a la denicin de argumento principal

Puede parecer un poco extraa la forma de elegir el argumento principal de un nmero complejo. La eleccin que hemos hecho supone que medimos ngulos en el semiplano superior de a y en el semiplano inferior de a . Fjate que si tomas un nmero complejo que est situado en el tercer cuadrante con y supones que es prximo a , su argumento principal est prximo a , y si tomas un nmero complejo que est situado en el segundo cuadrante, con , y supones que es prximo a , su argumento principal est prximo a . Adems, la distancia es tan pequea como quieras. Esto nos dice que el argumento principal tiene una discontinuidad en el eje real negativo: salta de a cuando atravesamos dicho eje desde el tercer al segundo cuadrante.
Observaciones a la denicin de argumento principal
73
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si queremos elegir argumentos en un intervalo de longitud , digamos , entonces dichos argumentos saltan de a cuando atravesamos la semirrecta cos sen , . En particular, si tomamos argumentos en el intervalo (cosa que, a primera vista, parece lo razonable) nos encontramos con que entonces se produce una discontinuidad de algunas de dichos argumentos en el eje real positivo. Bien, sucede que la extensin a funciones denidas en (el logaritmo, las races) hace intervenir el argumento principal. Naturalmente, queremos que dichas extensiones sigan siendo continuas en y ello justica que tengamos que tomar argumentos principales de la forma en que lo hemos hecho: porque preferimos introducir una discontinuidad en a perder la continuidad en . 3.3.2.1. Frmula de De Moivre
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros complejos. 3.5 Proposicin. Sean , conplejos no nulos, Arg . que Demostracin. Tenemos que

Arg
y Arg. Entonces se verica
cos cos
sen sen
Usando ahora las igualdades (2.4) y (2.5), obtenemos:
cos sen cos sen cos cos sen sen sen cos sen
cos
sen
Lo que nos dice que
Arg .
Hemos probado que para multiplicar dos nmeros complejos se multiplican sus mdulos y se suman sus argumentos. As pues, el producto de dos nmeros complejos es geomtricamente un giro (pues se suman los argumentos de los nmeros que estamos multiplicando) seguido de una homotecia (el producto de los mdulos de ambos nmeros). Observa que, como consecuencia de la proposicin (3.5), tenemos que arg arg Arg ; es decir, arg arg es un argumento de , pero lo que no podemos armar es que arg arg sea igual al argumento principal de . Naturalmente, esto ocurrir cuando arg arg . arg arg arg arg arg (3.7)
La siguiente igualdad, muy til, conocida como frmula de De Moivre, se demuestra fcilmente por induccin a partir de la proposicin (3.5).
Races de un nmero complejo 3.6 Proposicin (Frmula de De Moivre). Si de y es un nmero entero, se verica que
74
Arg
es un complejo no nulo, , es decir: sen
es un argumento
cos
sen
cos
Arg
(3.8)
3.3.3. Races de un nmero complejo

Se trata ahora de resolver la ecuacin donde es un nmero natural, es un nmero complejo conocido. Escribamos en forma polar:
,y
cos
sen
Ahora, usando la frmula de De Moivre, podemos escribir la ecuacin equivalente: cos sen cos sen
en la forma
Donde arg . Esta igualdad se da cuando y donde . Deducimos que (ojo: se trata de la raz sima de un nmero positivo, cosa ya conocida). Ahora bien, para cualquier nmero de la forma tenemos un nmero complejo cos sen tal que . Como una ecuacin polinmica de grado no puede tener ms de soluciones, se sigue que distintos valores de deben dar lugar al mismo nmero . Veamos:
Es decir, si y dan el mismo resto al dividirlos por entonces . Deducimos que para obtenemos distintos y cualquier otro es igual a uno de ellos. Por tanto hay races nsimas distintas de . Hemos obtenido que las races nsimas de vienen dadas por

cos
arg
sen
arg
(3.9)
Observa que deniendo cos sen , los nmeros son las races nsimas de la unidad. Podemos escribir las races nsimas de en la forma . Como multiplicar por es un giro de amplitud , deducimos que las races de se obtienen girando la raz nsima principal, , con giros sucesivos de amplitud . Es decir, si representamos todas las races nsimas de obtenemos puntos sobre una circunferencia de centro y radio que forman un polgono regular de lados.
De entre todas las races nsimas de n-sima principal, que est denida por
vamos a designar con el smbolo
a la raz
cos
arg
sen
arg
(3.10)
Races de un nmero complejo
75
Figura 3.5. Races novenas de la unidad
Observa que arg
arg
y, en consecuencia:
arg
(3.11)
Adems, la raz n-sima principal de es la nica de las races n-simas de cuyo argumento principal est en el intervalo . Dicho de otra forma, la raz n-sima principal de un nmero complejo est situada en una regin angular, simtrica con respecto al eje real y de amplitud , que incluye a su borde superior pero no incluye a su borde inferior. 3.3.3.1. Notacin de las races complejas
Observa que en el caso particular de que sea un nmero real positivo, entonces la raz principal de (considerado como nmero complejo) coincide con la raz de (considerado como nmero real positivo). Es decir, acabamos de extender la funcin raz n-sima de a todo conservando el signicado que esa funcin tena en . Observa, sin embargo, que si y es impar, la raz real de orden de no coincide con el valor principal de la raz de orden de considerado como nmero complejo. Este pequeo inconveniente no es tal si tenemos claro dnde estamos trabajando si en o en ; esto es, si cuando es impar estamos considerando funciones races n-simas denidas en , o si estamos considerando dichas funciones denidas en . Observa que para par no hay confusin alguna, solamente cuando es impar y es un nmero real negativo hay que tener cuidado. Por ejemplo, cuando consideramos a la raz cbica como una funcin real, y cos sen cuando consideramos a la raz cbica como funcin compleja. Programas de clculo simblico, como Mathematica, siguen precisamente este convenio y usan la notacin para el valor principal de la raz n-sima del nmero complejo . Mucho peor es lo que ocurre cuando se usan notaciones disparatadas como suele hacerse en muchos libros de texto. Como es posible que te las encuentres, conviene que sepas a qu ate nerte. El hecho es que en muchos textos se representa con el smbolo el conjunto formado por todas las races n-simas del nmero complejo . Pues bueno. . . acabamos de perder la funcin raz n-sima real y compleja! Porque, digo yo, si hemos de ser coherentes, habr que
Races de un nmero complejo
76
entender que ya no vale sino que es un conjunto formado por nmeros complejos. Y las reglas que conocemos para las races reales ya ni siquiera pueden formularse. Qu sentido tiene ahora escribir que ? Es una igualdad entre conjuntos? Debemos multipli car cada elemento del conjunto por cada elemento del conjunto y comprobar que de esa forma obtenemos todos los elementos de ? Cmo hay que sumar ahora ? Porque debe entenderse como un conjunto de 3 elementos y como un conjunto de 7 elementos. Estos ejemplos te habrn convencido de lo disparatado de esta forma de proceder. Pero hay ms disparates. Alguien puede argumentar que todo esto se arregla interpretando que cuando es real, , representa siempre la raz n-sima real del nmero . Bueno, pero esto no arregla el disparate de que no es una funcin, porque todava persiste el hecho de que para complejo no real, no es un nmero sino un conjunto de nmeros complejos. Lo peor de todo esto es que los autores que cometen estos disparates ni siquiera son conscientes de ellos, y usan el smbolo en sucesiones, lmites o integrales como si de una funcin usual se tratara. Habra que decirles oiga! si para usted son nmeros, qu signicado tiene una expresin como lm ? Pues eso, ni se dan cuenta. Finalmente, observa que en la denicin (3.10) de interviene el argumento principal, arg . Por la denicin dada de argumento principal, tenemos que arg y, como ya hemos visto anteriormente, se produce una discontinuidad del argumento principal en el eje es discontinua en el eje real negativo. Te real negativo y, en consecuencia, la funcin informo que no hay que preocuparse mucho por esta discontinuidad, de hecho es muy til y, entre otras cosas, sirve para contar ceros de funciones. Lo que quiero es llamarte la atencin sobre lo que ocurre cuando se elige el argumento principal en en el intervalo . Cuando resulta ser discontinua en el eje real positivo. Mala cosa; con se hace as, la funcin esa eleccin para el argumento principal, una funcin que era continua en , al extenderla a ya no es continua en . 3.3.3.2. La igualdad
En general, no es cierto que, dados dos nmeros complejos y , el producto de las races n-simas principales de y de sea igual a la raz n-sima principal de . Lo que, evidentemente, s es cierto es que el producto de dos races n-simas cualesquiera de , es una raz n-sima de pero y de es una raz n-sima de . Por tanto, no tiene por qu ser la principal. Vamos a ver qu condiciones deben cumplirse para que sea la raz n-sima principal de . Para ello, bastar con exigir que el argumento . Como suponemos que es un nprincipal de est en el intervalo arg arg mero natural , tenemos que y, por (3.7), deducimos que arg arg arg arg arg . Tenemos que: arg
arg
arg
arg
arg
Hemos probado que
arg
arg
77
Por ejemplo, si los nmeros y estn en el semiplano de la derecha, es decir, Re , Re , entonces arg y arg ; por tanto en este caso . En particular, esto es cierto cuando arg arg arg por lo que . Por tanto, no perdemos ninguna de las propiedades de las races reales positivas al extender las races a . En el caso en que , , tenemos que arg cumple la condicin anterior. En este caso arg
, y no se
es decir es una raz cuadrada de pero no es la raz cuadrada principal de . Ahora ya sabes dnde est el error en lo que sigue:
73. Realiza las operaciones indicadas y expresa el resultado en la forma i) v)
ii) vi)
iii) vii)

iv) viii)
74. Calcula la parte real e imaginaria de las funciones: a)

b)
c)
d)
e)
75. Calcula las siguientes cantidades. a)
b)
c)

es:
d)
76. Calcula los nmeros complejos
tales que
a) Un nmero real; b) Un nmero imaginario puro. 77. Expresa en forma polar los siguientes nmeros complejos. a)
b)
c)
d)
78. Expresa los siguientes nmeros en la forma a)
: c)

b)
d)
Ejercicios propuestos 79. Prueba que para
78
el argumento principal viene dado por o

arg
arc tg
Im Re
Sugerencia. Ver el ejercicio resuelto (22). 80. Calcula arg y arg 81. Supuesto que

supuestos conocidos arg y arg .
, prueba que arg

si Im si Im
82. Sea
. Supuesto que arg

, prueba que

si si
83. Resuelve la ecuacin cuadrtica conocidos y .
donde
, son nmeros complejos
84. Calcula todas las soluciones de las siguientes ecuaciones: a)
b)
c)
d)
e)
85. Prueba que si una ecuacin polinmica con coecientes reales admite una raz compleja, , entonces tambin admite como raz a . Da un ejemplo de una ecuacin polinmica de grado mayor que 1 que tenga como raz compleja pero no admita como raz a . 86. Calcula las soluciones de las ecuaciones: a)
b)
Sugerencia. El nmero
es raz de la ecuacin del apartado a).
87. Demuestra la llamada igualdad del paralelogramo:
y explica su signicado geomtrico. 88. Dados dos nmeros complejos y , calcula el mnimo valor para
de la cantidad
Sugerencia: La igualdad del paralelogramo puede ser til. 89. Prueba que

si
y tambin si
Sugerencia: Una estrategia bsica para probar desigualdades entre mdulos de nmeros complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Ejercicios propuestos 90. Sea un nmero complejo de mdulo 1. Expresa los nmeros y polar. 91. Sea un nmero real que no es mltiplo entero de . Prueba las igualdades
79 en forma
a)
cos
cos
cos
cos
sen
sen sen

b)
sen
sen
sen
sen
sen
Sugerencia: Si llamamos a la primera suma y ciendo uso de la frmula de De Moivre. 92. Calcula una frmula para la suma
a la segunda, calcula
ha-
93. Sea , y cos valor de las expresiones: 1. 2.
cos
sen
(tu respuesta debera de ser un cociente de senos).
sen
. Dado un nmero entero
, calcula el
; .
sen sen . cos cos sen sen
96. Haciendo uso de la frmula de De Moivre prueba que: 1. sen 2. cos 3. sen . sen .
97. Representa grcamente los conjuntos de nmeros complejos que verican:

arg Im
Im
98. Encuentra los vrtices de un polgono regular de lados si su centro se encuentra en el punto y uno de sus vrtices es conocido. 99. Resuelve la ecuacin 100. Sea si, y slo si,

, donde
y ,
. Prueba que , , son vrtices de un tringulo equiltero . , prueba que el rea del tringulo de vrtices , y viene dada
101. Si arg arg por Im .
80

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 24 Calcula la parte real e imaginaria de

donde
Solucin. Todo lo que hay que hacer es realizar las operaciones indicadas. Pongamos para ello con . Tenemos que

Luego Re

Im
Ejercicio resuelto 25 Calcula
Solucin. Como lo que nos piden es el mdulo no es preciso realizar las operaciones indicadas. Basta tener en cuenta que el mdulo de un producto es el producto de los mdulos y, por tanto, el mdulo de un cociente es el cociente de los mdulos. En consecuencia:

Ejercicio resuelto 26 Calcula los nmeros complejos a) Un nmero real; b) Un nmero imaginario puro. Solucin. Pongamos

tales que
es
con
. Tenemos que

Por tanto, es real si, y slo si
Es decir, est en la circunferencia de centro Anlogamente, es imaginario puro si, y slo si, nario.
y radio .
, es decir, est en el eje imagi-
Ejercicios resueltos tales que

81
Ejercicio resuelto 27 Calcula los nmeros complejos a) Es un nmero real; b) Tiene mdulo 1. Solucin. Pongamos

con
. Tenemos que
Por tanto, es real si, y slo si, cuadrantes primero y tercero y Es claro que

, es decir,
est en la bisectriz de los
si, y slo si
Es decir, est en la bisectriz de los cuadrantes segundo y cuarto. Ejercicio resuelto 28 Comprueba que el argumento principal de por arc tg si , si , arc tg si si , arc tg si ,

viene dado
Solucin. Teniendo en cuenta que para es arc tg y para es arc tg , se sigue que el nmero denido por las igualdades anteriores verica que . Por tanto, para probar que arg bastar que comprobemos la igualdad cos sen , es decir, las igualdades cos , sen . Para Sea que tg

dichas igualdades son evidentes.
en cuyo caso arc tg y deducimos
. En este caso, como
, tenemos
cos
tg
cos
cos
donde, en la ltima implicacin, hemos tenido en cuenta que cimos tambin que tg sen sen cos
y cos
. Dedu-
Consideremos e . Tenemos que arc tg , por lo que , y deducimos tg tg . Razonando como antes obtenemos que cos . Como y cos , se sigue que cos . De esta igualdad deducimos, al igual que antes, que sen .
Ejercicios resueltos Consideremos e . Tenemos que lo que , y deducimos tg tg el caso anterior volvemos a obtener las igualdades arc tg
82
, por . Razonando como en cos , sen .
Ejercicio resuelto 29 Expresa en forma polar los siguientes nmeros complejos. a)
b)
c)
Solucin. a) Tenemos que arg
arc tg
, por lo que
b) Tenemos que arg
cos
sen
arc tg arc tg
arc tg
arg

arg
. Por tanto
deducimos que
Arg
cos
sen
c) arg lo que arg
arc tg

arc tg
. Por tanto cos
, por
sen
Ejercicio resuelto 30 Calcula arg y arg Solucin. Sabemos que arg Tenemos las siguientes posibilidades:
arg Arg ; adems
supuestos conocidos arg y arg . arg arg
arg
arg arg arg
arg
arg arg
arg arg arg arg arg arg arg arg arg arg arg
arg arg
arg
Para calcular arg arg arg Arg
se procede de forma anloga teniendo en cuenta ahora que y que
.
Ejercicios resueltos tales que

83
Ejercicio resuelto 31 Calcula los nmeros complejos a) Tiene argumento principal igual a b) Tiene argumento principal igual a Solucin. Pongamos

con
. Como
deducimos que arg
si, y slo si,

. Como
deducimos que arg cuando est en la semicircunferencia de centro y radio que est contenida en el semiplano inferior. Tambin Tambin deducimos que arg cuando est en la semicircunferencia de centro y radio que est contenida en el semiplano superior. Ejercicio resuelto 32 Resuelve la ecuacin cuadrtica nmeros complejos conocidos y . Solucin. Tenemos que
donde
, son
Las dos soluciones obtenidas suelen expresarse en la forma
Observa que hemos seguido el mismo procedimiento que en el caso real1 . Debes entender bien la igualdad
Aqu es un nmero complejo (en particular, puede ser real), es su raz cuadrada principal y es la otra raz cuadrada (todo nmero complejo
(3.12)
84
tiene dos races cuadradas: la principal y su opuesta). Aqu no hay positivos ni negativos, ni nada parecido estamos trabajando con nmeros complejos! Comento esto para volver a insistir en que los smbolos y tienen un carcter puramente algebraico: no indican positivo y negativo. En general, para resolver ecuaciones con nmeros complejos no es buena estrategia separar la ecuacin en su parte real y su parte imaginaria y resolver stas por separado, sino que debes trabajar con la variable compleja . No olvides que con los nmeros complejos puedes hacer las mismas operaciones que con los nmeros reales y algunas ms que no siempre puedes hacer con los nmeros reales, como extraer races y otras que pronto estudiaremos. Ejercicio resuelto 33 Calcula las soluciones de la ecuacin Solucin. Poniendo son
, la ecuacin queda
, cuyas soluciones
cos
sen
Las soluciones de la ecuacin dada son las races y arc tg . Usando que cos arg arc tg y arg y sen cos , obtenemos:
. Tenemos que sen
cos sen
arc tg
sen
arc tg
arc tg
cos
arc tg
Observa que las soluciones son nmeros complejos pero no son complejos conjugados. La ecuacin dada tiene coecientes complejos. Ejercicio resuelto 34 Calcula las soluciones de las ecuaciones: a)
b)
Sugerencia. El nmero
es raz de la ecuacin del apartado a).
Solucin. Haremos el apartado a). Para ello usaremos un resultado, que se supone que debes conocer, segn el cual si un polinomio se anula para un valor , , entonces es divisible por , es decir donde es un polinomio de un grado menor que .
1 Antes, en la enseanza media se resolva la ecuacin donde son nmeros reales, igual que lo hemos hecho aqu. He comprobado que ahora los estudiantes llegan a la Universidad sin saberla resolver.
85
Como la ecuacin dada es polinmica con coecientes reales y nos dicen que es raz, tambin es raz . Por tanto, el polinomio dado debe de ser divisible por . Haciendo la divisin, obtenemos que

Lo que queda ya es inmediato. Ejercicio resuelto 35 Demuestra la llamada igualdad del paralelogramo:
(3.13)
y explica su signicado geomtrico. Solucin. Basta realizar las operaciones indicadas. Tenemos que:
Re (3.14) (3.15)
Re
Sumando estas igualdades se obtiene la igualdad del enunciado. Su signicado geomtrico es que la suma de los cuadrados de las longitudes de las diagonales de un paralelogramo es igual a la suma de los cuadrados de las longitudes de sus lados.
Figura 3.6. Igualdad del paralelogramo
Ejercicio resuelto 36 Dados dos nmeros complejos y , calcula el mnimo valor para de la cantidad Sugerencia: La igualdad del paralelogramo puede ser til. Solucin. La sugerencia y un poco de intuicin deben ser sucientes para hacer este ejercicio. La intuicin lo que dice es que el punto que buscamos debe ser la el punto relacionar la cantidad que nos dan con . Usando la igualdad del paralelogramo (3.13) con sustituido por y por y escribindola de derecha izquierda, tenemos que

medio del segmento de extremos y , es decir el punto
. Ahora debemos
Ejercicios resueltos de donde
86

y la igualdad se da si,
Deducimos que y slo si,
para todo
Ejercicio resuelto 37 Prueba las desigualdades: a) b)
donde son nmeros complejos no nulos. Estudia tambin cundo se da la igualdad en cada una de dichas desigualdades. Sugerencia. Una estrategia bsica para probar desigualdades entre mdulos de nmeros complejos consiste en elevar al cuadrado ambos miembros de la desigualdad. Solucin. Siguiendo la sugerencia, es muy fcil hacer el apartado a). Haremos el apartado b). Siguiendo la sugerencia, elevamos al cuadrado y comprobamos que la diferencia es positiva.
Re

Re
Re
Re
Re

Re
Re
Re

Porque Re . La igualdad se da si, y slo si, o Re lo que equivale a que que equivale a que y estn en una misma semirrecta a partir del origen, o sea, que tengan los mismos argumentos. Ejercicio resuelto 38 Expresa en forma binmica los nmeros
Solucin. Naturalmente, se trata de aplicar la frmula de De Moivre y para ello todo lo que hay que hacer es expresar los nmeros en su forma polar. Consideremos el nmero
87
. Tenemos que
(cociente de los mdulos) y un argumento de es
arg Por tanto
arg
arc tg
arc tg
cos
sen
Ejercicio resuelto 39 Haciendo uso de la frmula de De Moivre prueba que: a) sen b) cos c) sen
sen
sen sen
cos
sen . cos
. sen .
Solucin. La frmula de De Moivre es una herramienta excelente para obtener identidades trigonomtricas. Lo nico que hay que hacer es usar la igualdad
cos
sen
cos
sen
Desarrollando la potencia del lado izquierdo por medio del binomio de Newton y agrupar la parte real, que ser igual a cos y la parte imaginaria, que ser igual a sen . Por ejemplo, para se obtiene inmediatamente que cos cos sen y sen sen cos . Haciendo obtenemos cos
cos sen cos sen sen
cos
sen
Igualando partes imaginarias, resulta: sen
cos sen sen
sen
sen sen
sen sen
Esta es la igualdad a). Las otras dos igualdades b) y c) se obtiene de forma parecida. Ejercicio resuelto 40 Sean , , y cos , calcula el valor de las expresiones:

sen
. Dado un nmero entero,
b)
a)
. .
Solucin. Necesitamos la expresin de la suma de una progresin geomtrica. Sean un nmero complejo distinto de 1 y . Pongamos . Tenemos que

Ejercicios resueltos Y deducimos que

88
(3.16)
La suma en a) es una progresin geomtrica de razn . Debemos distinguir el caso en que , lo que ocurre cuando es un mltiplo de , en cuyo caso la suma en a) es igual a . En los dems casos, tenemos que
En particular, haciendo , deducimos que la suma de las races n-simas de la unidad es igual a 0. El apartado b) se hace de forma parecida. Ejercicio resuelto 41 Sea un nmero complejo de mdulo 1. Expresa los nmeros y en forma polar. Solucin. Sea cos Con lo que y sen con arg. Pongamos . Tenemos que
cos

sen
sen
(3.17)
Deducimos que sen . Supondremos en lo que sigue que . Observa que es producto de 3 nmeros: el nmero , cuyo argumento principal es , el nmero , cuyo argumento principal es y el nmero sen cuyo argumento principal es cuando sen , y cuando sen . Un argumento de ser argsen . Observa que y . Distinguiremos dos casos:

sen
arg

sen
sen
cos
sen
arg
sen
sen
cos
Fjate en que si en (3.17) hacemos el producto y distinguimos los casos sen y sen , obtenemos las mismas expresiones para . Ejercicio resuelto 42 Sea igualdades
un nmero real que no es mltiplo entero de
. Prueba las
a)
cos
cos
cos
cos
sen
sen sen

b)
sen
sen
sen
sen
sen
Ejercicios resueltos Solucin. Si llamamos a la primera suma y haciendo uso de la frmula de De Moivre. Solucin. Pongamos porque .
89 a la segunda, podemos calcular cos
cos
sen ;
sen
. Tenemos que
(por (3.17))
sen
Teniendo en cuenta que cos de mdulo 1 y que cos igualdad (3.17) para obtener que:
sen es un nmero complejo sen , podemos usar la

Deducimos que sen
sen
cos
sen
sen
sen
sen
Igualando partes real e imaginaria, se obtienen las dos igualdades del enunciado. Ejercicio resuelto 43 Dados dos nmeros complejos distintos

el nmero
real negativo si, y slo si, est en el segmento que une Solucin. Sea
con .
, justica que para y por ; y es
es real si, y slo si, est en la recta que pasa por
. Tenemos que
La recta que pasa por y tiene la ecuacin paramtrica , con , por lo que la igualdad anterior nos dice que es real si, y slo si, est en dicha recta. Si
, la igualdad anterior puede escribirse, cambiando por , en la forma

Lo que nos dice que es de la forma
con
con

pero esos
son justamente los puntos del segmento que une Ejercicio resuelto 44 a) Sea un tringulo equiltero si, y slo si,
(excluidos los extremos).
. Prueba que , , son vrtices de .
b) Deduce de lo anterior que si el baricentro y el circuncentro de un tringulo coinciden, dicho tringulo debe ser equiltero. Solucin. a) Si , , son vrtices de un tringulo equiltero, entonces cada uno debe estar girado un ngulo de radianes respecto de otro. Sabemos que multiplicar
90
por un complejo, , de mdulo 1 es un giro de amplitud igual a arg. Denamos cos sen . Los tres vrtices los podemos escribir como , , y, por tanto:

Supongamos ahora que , y que . Para probar que dichos nmeros son vrtices de un tringulo equiltero, lo que vamos a hacer es comprobar que son las races cbicas de un nmero complejo. Es decir, se trata de probar que hay un nmero tal que , y son las races de la ecuacin polinmica . Para esto es necesario y suciente que el producto puede escribirse en la forma . Tenemos:
Poniendo , lo que hay que probar es que . Todava no hemos usado la hiptesis de que . Vamos a usarla ahora para intentar sacar factor comn en la suma la expresin . Tenemos que:

Pues
El apartado b) se deduce fcilmente de a) siempre que sepas lo que es el baricentro y el circuncentro de un tringulo. Ejercicio resuelto 45 Si arg arg , y viene dada por Im . , prueba que el rea del tringulo de vrtices
Solucin. El rea de todo tringulo es la mitad de la base por la altura. En la gura (3.7) se ha tomado como base el vector con longitud y la altura es . Observa que sen
. Por tanto

rea
sen
Esto ya deberas saberlo: el rea de cualquier tringulo es igual a la mitad del producto de las longitudes de dos lados por el seno del ngulo que forman. Pongamos , . Como arg y arg, tenemos que rea

sen

sen cos cos sen

Im
Funciones elementales complejas
91
Figura 3.7. rea de un tringulo
3.4. Funciones elementales complejas

Las funciones complejas no son ms que las funciones denidas en subconjuntos de con valores en , cuando en consideramos su estructura compleja. Dado un conjunto , a toda funcin compleja se le asocian dos funciones reales: la funcin Re parte real de y la funcin Im parte imaginaria de denidas para todo por:

Re

Im
Naturalmente,
3.4.1. La funcin exponencial

Denimos2 la exponencial compleja de un nmero e Observa que e eRe
como
exp
e cos Im Arge
sen
(3.18)
(3.19)
En particular, obtenemos la llamada frmula de Euler: e
cos
sen
para todo
(3.20)
que establece una relacin entre la exponencial compleja y las funciones trigonomtricas. De la frmula de Euler se deducen fcilmente las llamadas ecuaciones de Euler: cos
2 Ms
sen
(3.21)
adelante veremos la justicacin de esta denicin.
Logaritmos complejos
92
La exponencial compleja tiene la propiedad fundamental de transformar sumas en productos. Se prueba fcilmente, haciendo uso de la denicin (3.18 y de las igualdades (2.4) y (2.5) que e e e para todos (3.22) Esta propiedad, junto con las ecuaciones de Euler (3.21), hacen que la exponencial compleja sea la herramienta ms usada para trabajar con las funciones seno y coseno. Por ejemplo, de la frmula de Euler (3.20) y de la igualdad anterior, se deduce enseguida la frmula de De Moivre. cos cos sen e
cos
sen

sen cos
(3.23) sen
Igualmente, de las igualdades
sen
e e
cos
se deducen en seguida, haciendo el producto indicado e igualando partes real e imaginaria, las igualdades (2.4) y (2.5). Otras identidades trigonomtricas se obtienen tambin muy fcilmente. Por ejemplo, para expresar un producto de senos o cosenos como una suma de senos o de cosenos se puede hacer lo que sigue. e e e
cos
(3.24)
Igualando partes real e imaginaria, deducimos que:
sen sen cos De la igualdad (3.22), se deduce que para todo

cos cos

cos
cos sen
y todo

es
(3.25) (3.26)
Lo que, en particular, nos dice que exp exp , o sea, la exponencial compleja es una funcin peridica con perodo . Naturalmente, esto supone una gran diferencia con la exponencial real que es una funcin inyectiva. La funcin exponencial es particularmente til para representar los nmeros complejos de mdulo 1, es decir los nmeros complejos de la forma cos sen ( ). Recuerda que multiplicar por un nmero complejo de mdulo 1 representa un giro cuya amplitud es el argumento de dicho nmero. Fjate que el complejo conjugado de e es e . Una exponencial real es siempre positiva. Para la exponencial compleja no tiene sentido hablar de positiva, todo lo que podemos decir es que la exponencial compleja no se anula nunca pues e eRe .
3.4.2. Logaritmos complejos

El comportamiento peridico de la exponencial compleja se va a traducir, como vamos a ver enseguida, en que la ecuacin e , donde es un nmero complejo no cero, va a tener innitas soluciones . Como e
eRe cos Im
sen Im
Logaritmos complejos Para que e
93
es necesario y suciente que:
Re 1. e , esto es, e real positivo ).
, es decir, Re
log
(logaritmo natural del nmero
2. Arg e Arg . Como Im Arge , esta igualdad equivale a Im Arg ; y esto se cumple si, y slo si Im arg , con . Hemos probado que
log
arg
Por tanto, existen innitos nmeros complejos que satisfacen la ecuacin e . Cualquiera de ellos se llama un logaritmo de . El conjunto de todos ellos lo representaremos por Log . Log log
arg
Todos los logaritmos de estn situados en una misma recta vertical de abscisa log , y a partir de uno cualquiera de ellos podemos situar todos los dems, desplazndolo hacia arriba o hacia abajo una distancia igual a un mltiplo entero de . De entre todos los logaritmos de elegimos uno, llamado logaritmo principal, denido por log log
arg
para todo
Cuando es un nmero real positivo, , el logaritmo principal que acabamos de denir coincide con el logaritmo real de . Es decir, acabamos de extender la funcin logaritmo real de a . Observa que cualquier otro logaritmo de es de la forma log para algn entero . Adems, de todos los logaritmos de , el logaritmo principal es el nico cuya parte imaginaria est en el intervalo . Es importante que observes que la igualdad log log log
que es vlida para los logaritmos de los nmeros reales positivos, no es siempre cierta para nmeros complejos. Por ejemplo: log e Y log e
log e
log e
log e
Lo que est claro es que el nmero log log Log , es decir, log logaritmo de pero no tiene por qu ser el logaritmo principal de .
log es un
Observacin. Muchos libros usan la notacin Log para representar el logaritmo principal de y log para representar el conjunto de todos los logaritmos de . De esta forma consiguen que la funcin log, que era conocida para reales positivos, ya no pueda usarse ms, porque ahora log ya no ser 0 sino el conjunto ; y lo que antes escribamos log ahora tendremos que escribirlo Log . Es decir, no se gana nada y se pierde todo. Es lo que yo digo, para qu hacer las cosas bien pudiendo hacerlas mal?
Potencias complejas
94
3.4.3. Potencias complejas

Recuerda que dados dos nmeros reales y , la potencia de base y exponente se dene como e log . Ahora, dados , con , sabemos que hay innitos logaritmos de , todos ellos de la forma log , con . Por ello, cualquier nmero log donde , es una potencia de base y exponente . complejo de la forma e Representamos por el conjunto de todas ellas.
e log
Se destaca una: e
log
que se llama valor principal de la potencia de base donde , el nmero

y exponente . Observa que si arg
exp
log
exp
log
arg
cos
sen
arg
es el valor principal de la raz n-sima de
que antes hemos notado por
102. Expresa los 8 nmeros
en la forma e .
103. Calcula el mdulo y los argumentos principales de los nmeros e
donde
104. Calcula log y Log cuando es uno de los nmeros siguientes
105. Calcula log
log
y log
106. Calcula log log y log 107. Calcula
108. Estudia, para y , las igualdades: a) loge
explog
log
log
log
log
95
109. Prueba que la funcin logaritmo principal establece una biyeccin entre los conjuntos y Im . o 110. Estudia condiciones para que

111. Con una interpretacin adecuada de la suma justica que: a) Arg Arg Arg b) Log Log Log
112. Estudia, interpretndolas convenientemente cuando sea necesario, las siguientes igualdades: a) Log Log b) log Log c) log
log
113. Indica el error en los razonamientos siguientes: Log y, por consiguiente, Log Log .
; por tanto
Log
114. Explica con detalle dnde est el error en las igualdades siguientes:

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 46 Estudia, para y , las igualdades: a) log e

explog
log
log
log
log
Solucin. a) Es evidente que es un logaritmo de e y ser el logaritmo principal si, y slo si, Im . En consecuencia: log e

Im
b) Los logaritmos de se denen como los nmeros cuya exponencial es , luego, en particular, explog cualquiera sea . c) log log
log arg log arg

log
arg
La igualdad en c) se verica siempre. d) log log log log arg arg
log
arg
La igualdad en d) equivale a que arg arg . Como arg es un argumento de , para que sea el argumento principal deber ser arg .
Ejercicios resueltos Ejercicio resuelto 47 Estudia condiciones para que Solucin. Tenemos que

96 . log
exp log
exp
Por otra parte exp log Donde
exp
loge
log
exp
log
exp
log
es un entero que hay que elegir por la condicin de que
Im log
Concluimos que si , lo que ocurre solamente cuando Im log , entonces la igualdad del enunciado se cumple para todo . En otro caso, la igualdad del enunciado se cumple solamente cuando es un nmero entero. Ejercicio resuelto 48 Con una interpretacin adecuada de la suma justica que: a) Arg Arg Arg b) Log Log Log
Solucin. La forma razonable de interpretar la igualdad Arg Arg Arg, es que sumando cada uno de los elementos de Arg con cada uno de los elementos de Arg obtenemos todos los elementos de Arg . Que efectivamente esto es as es fcil de probar. Sean Arg y Arg. Entonces, sabemos que es un argumento de , esto es Arg . Luego hemos probado la inclusin Arg Arg Arg . Recprocamente, sea Arg . Elijamos cualquier elemento Arg y pongamos . Entonces es un argumento de , esto es, Arg; luego Arg Arg Arg.
Arg
Arg. Lo que prueba la otra inclusin
Anlogamente, La forma razonable de interpretar la igualdad Log Log Log, es que sumando cada uno de los elementos de Log con cada uno de los elementos de Log obtenemos todos los elementos de Log . Teniendo en cuenta Arg , la igualdad b) se deduce de a). que Log log Observacin. Quien haya estudiado el concepto de grupo cociente, puede interpretar la suma Arg Arg en el grupo cociente del grupo aditivo de los nmeros reales respecto del subgrupo de los mltiplos enteros de , esto es, el grupo . Si es un complejo no nulo, se tiene que Arg y, por denicin de suma en un grupo cociente, tenemos que Arg Arg es la clase que contiene a arg arg y, como arg arg Arg , obtenemos que Arg Arg Arg. Ejercicio resuelto 49 Indica el error en los razonamientos siguientes: Log Log y, por consiguiente, Log Log .
; por tanto
Solucin. De la igualdad Log Log Log, probada en el ejercicio anterior, se deduce que Log Log Log . Es decir, que sumando de todas las formas posibles dos logaritmos de obtenemos todos los logaritmos de . Pero eso es muy distinto a sumar cada logaritmo de consigo mismo. Es decir, el conjunto Log es solamente una parte del conjunto Log Log .
Aplicaciones de los nmeros complejos
97
3.5. Aplicaciones de los nmeros complejos

Como ya hemos dicho anteriormente, la exponencial compleja es la herramienta ms til para trabajar con funciones sinusoidales, esto es, las funciones seno y coseno. Muchsimos procesos naturales, entre los que destacan por su importancia y universalidad los movimientos oscilatorios y ondulatorios, se describen adecuadamente por medio de funciones sinusoidales. Eso explica la presencia de la exponencial compleja y de los nmeros complejos en teoras que, a primera vista, nada tienen que ver con ellos. Veamos algunos ejemplos.
3.5.1. Movimiento armnico simple

Un nmero complejo es un vector del plano que, escrito en forma polar, tiene asociado un ngulo y por eso, los nmeros complejos son muy apropiados para representar giros y movimientos circulares. Consideremos un mvil que recorre una circunferencia centrada en el origen y de radio con una velocidad angular constante . Supongamos que su posicin inicial para viene dada por cos sen . La posicin de dicho mvil en el tiempo es

cos
sen
Usando nmeros complejos, podemos escribir

Figura 3.8. Movimiento circular

cos
sen
Que se expresa mejor con la exponencial compleja:

cos
sen
ee
Recuerda que multiplicar por e es un giro de amplitud . La igualdad ee nos dice que la posicin del mvil en el tiempo se obtiene girando el vector que representa su posicin inicial e un giro de amplitud . La proyeccin sobre el eje de abscisas del vector es la primera componente de dicho vector: Re cos (3.27) Interpretamos como la distancia al origen en el instante de un mvil que se desplaza sobre el eje de abscisas y cuya posicin en el tiempo viene dada por la igualdad (3.27). Observa que dicho mvil recorre el segmento con un movimiento que se caracteriza porque se repite a intervalos regulares de tiempo, pues deniendo , se tiene que:

cos
cos
cos
Dicho movimiento se llama movimiento armnico simple. Naturalmente, la proyeccin sobre el eje de ordenadas del vector tambin describe un movimiento armnico simple de ecuacin

Im
sen
(3.28)
Movimiento armnico simple
98
Las ecuaciones (3.27) y (3.28) representan un mismo tipo de movimiento pues un seno no es ms que un coseno retrasado en , como se sigue de la igualdad cos sen . En el movimiento armnico simple cos el nmero se llama amplitud, el nmero se llama fase, siendo la fase inicial; es la frecuencia angular que se mide en radianes por segundo. El nmero es el periodo, que es el tiempo, medido en segundos, que el mvil tarda en completar un ciclo. El nmero es la frecuencia, que es el nmero de ciclos recorridos en un segundo. La unidad de la frecuencia es el ciclo por segundo que se llama herzio. La representacin compleja proporciona una visualizacin grca del movimiento que es muy til para el estudio de la composicin de movimientos armnicos simples. Consideremos dos movimientos armnicos simples de igual frecuencia dados por

cos
cos
Queremos estudiar el movimiento dado por . La representacin compleja de los movimientos permite dar una respuesta sin necesidad de hacer clculos. Pongamos

Re
Re
Re
Re
Claramente, Re . Como los vectores y giran con igual velocidad angular, , el vector suma tambin gira con la misma velocidad angular (el paralelogramo de lados y gira todo l con velocidad angular ). Deducimos que Re es la ecuacin de un movimiento armnico simple de frecuencia angular , amplitud igual al mdulo de (que debe ser constante) y fase igual al argumento del nmero complejo . El mdulo de una suma lo hemos calculado en (3.14). En nuestro caso es

Re
cos
Figura 3.9. Composicin de movimientos armnicos
Circuitos elctricos Como la frecuencia angular debe ser , la fase ser es el argumento del nmero complejo

99
donde es la fase inicial, que

cos
cos
sen
sen
que ya debes saber calcular.
3.5.2. Circuitos elctricos

En el anlisis de circuitos elctricos los nmeros complejos, con el nombre de fasores, fueron introducidos en 1863 por el matemtico e ingeniero Charles Proteus Steinmetz (1865-1923). Un fasor es un nmero complejo que representa la amplitud y fase inicial de una sinusoide. Los fasores proporcionan una herramienta til para estudiar circuitos elctricos cuyo voltaje es de tipo sinusoidal cos . Aqu es Figura 3.10. Circuito RLC la amplitud o mximo valor del voltaje, y la fase inicial. Podemos asociar a un fasor que representamos y es el nmero . De esta forma podemos escribir Re e con lo que separamos complejo e la informacin de frecuencia y de fase. Observa que, conocida la frecuencia, la sinusoide queda determinada de forma nica por su fasor asociado. La derivada de una sinusoide es otra sinusoide. El fasor que representa a la derivada se expresa muy fcilmente mediante el fasor que representa a la sinusoide.
d d
sen
cos
Re
Deducimos que el fasor que representa a es . Observa que e , por lo que el fasor que corresponde a la derivada de una sinusoide va adelantado grados respecto a la sinusoide.
De la misma forma, el fasor que representa a la primitiva de la sinusoide es retrasado grados respecto a la sinusoide.
y va
Supongamos que en el circuito de la gura (3.10) se tiene que la intensidad de la corriente viene dada por una sinusoide (lo cual se sabe que es as cuando la fuerza electromotriz aplicada es sinusoidal). Pongamos cos y sea su fasor asociado. Expresemos la cada de potencial en cada uno de los elementos que forman el circuito mediante los fasores de la corriente y el voltaje. Se trata de un circuito RLC que consta de una resistencia de ohmios, un condensador de capacitancia y un inductor, con inductancia . La diferencia de potencial en los extremos de la resistencia viene dada por

cos
Circuitos elctricos La relacin entre los fasores respectivos es
100
Como
se tiene que el voltaje a travs de una resistencia est en fase con la corriente.
Es sabido que una corriente variable en un inductor produce un campo magntico que da lugar a una fuerza electromotriz inducida que se opone a la fuerza electromotriz aplicada, lo que origina una cada de potencial dada por

d d
Deducimos que la relacin entre los correspondientes fasores es
y por tanto el voltaje a travs de un inductor va adelantado
grados respecto a la corriente.
Llamando a la carga que almacena el condensador en el tiempo , se sabe que la diferencia de potencial entre los extremos del condensador viene dada por la igualdad
Y deducimos que la relacin entre los correspondientes fasores es

y por tanto el voltaje a travs de un inductor va retrasado
grados respecto a la corriente.
La suma de las diferencias de potencial a travs de los distintos elementos del circuito debe ser igual al voltaje aplicado. En trminos de los fasores asociados, esto quiere decir que:
(3.29)
El nmero complejo

se llama impedancia. La impedancia depende de la frecuencia de la fuerza electromotriz aplicada y de las caractersticas del circuito. Cuando se conocen la impedancia y el voltaje, podemos calcular el fasor de la corriente por la igualdad

y la corriente en el circuito viene dada por Tenemos que
Procesamiento digital de seales
101
El nmero
se llama reactancia. El valor de la frecuencia para el que la reactancia
se anula viene dado por
y se llama frecuencia de resonancia. Es el valor de la
frecuencia para el cual el valor de es mximo.
3.5.3. Procesamiento digital de seales

Como sin duda sabes, los formatos digitales ms frecuentes de audio e imagen son, respectivamente, MP3 y JPG. Cuesta trabajo imaginar cmo sera Internet sin estos formatos. Lo que quizs no sepas es que la codicacin MP3 y la JPG se llevan a cabo con algoritmos que usan nmeros complejos. El hecho, por extrao que pueda parecer, es que las principales herramientas para trabajar con todo tipo de seales (audio, vdeo, voz, imagen,. . . ) son complejas. La transformada Z, la Transformada de Fourier en Tiempo Discreto, la Transformada Discreta de Fourier, la Funcin de Transferencia, los modelos de polos y ceros, la Transformada de Laplace y otras muchas herramientas bsicas para el tratamiento de seales, son todas ellas transformaciones que usan nmeros complejos. Todava ms, las propias seales se caracterizan por su espectro que es un conjunto de nmeros complejos! Si te sientes atrado por el apasionante mundo del tratamiento digital de seales, todo lo que sepas de nmeros complejos te ser til en tu trabajo. Como lectura adicional te recomiendo el captulo 24 del libro de Michael Spivak [16].
Captulo
Funciones Continuas y lmite funcional

En matemticas, la evidencia es enemiga de la correccin. Bertrand Russell
4.1. Introduccin
En esta leccin vamos a estudiar con algn detalle un concepto terico importante que es el de continuidad. Para motivar la denicin que vamos a dar de continuidad, consideremos una ley fsica de la forma , que relaciona los valores de una variable independiente (podemos pensar que es el volumen de un gas) con otra variable dependiente (podemos pensar que es la presin). Si queremos usar dicha ley, hemos de medir un valor de la variable , y es inevitable que al hacerlo cometamos algn error el cual, naturalmente, inuye en el correspondiente valor de , que ya no ser exactamente igual a . Surge as la pregunta natural: de qu forma el error en la medida de afecta al valor resultante de ? Es claro que si para valores de muy prximos a obtengo valores de muy diferentes entre s, la ley que relaciona con no tendr ninguna utilidad prctica. Puesto que los errores de medida son inevitables, no es razonable tratar de obtener el verdadero valor . Lo que s puede hacerse es jar una cota de error admisible para (la cual depender de cada situacin concreta), llamemos a dicha cota ( ), y tratar de obtener otra cota de error ( ), de tal forma que siempre que midamos con un error menor que tengamos la seguridad de que el valor resultante para se diferencia de en menos que . Esto es, siempre que . Cuando esto efectivamente pueda hacerse para cualquier cota de error decimos que la ley es continua en . Observa que cabe esperar que la cota de error dependa del jado en cada caso. Intuitivamente, cuanto ms pequeo sea el error permitido en los datos nales, tanto mejor tendremos 102
Continuidad
103
que medir la variable independiente. En general, la precisin con la que debemos medir para obtener un error nal menor que , depende no solamente del valor jado de sino tambin del valor de . Esto es fcil de entender, no es lo mismo medir un volumen de varios metros cbicos que otro de unos pocos milmetros cbicos, la precisin de nuestra medida debe ser mejor en este ltimo caso. Las ideas anteriores conducen, de forma natural, a la denicin matemtica de continuidad. En todo lo que sigue, la letra representar un conjunto no vaco de nmeros reales. En la prctica ser siempre un intervalo o una unin de intervalos. Recuerda que la notacin quiere decir que es una funcin real cuyo dominio es . Es muy importante advertir que no tiene por qu coincidir con el dominio natural de la funcin. Esto es as porque con frecuencia estamos interesados en estudiar propiedades de una funcin en una parte de su dominio natural. Adems, la continuidad de depende tanto de la regla que la dene como del conjunto en donde estamos trabajando. Enseguida pondremos ejemplos para aclarar esto.
4.2. Continuidad
4.1 Denicin (Continuidad en un punto). Una funcin se dice que es continua en un punto si, para cada nmero , se puede encontrar un nmero (que, en general, depender de y de ) tal que para todo con se verica que . La denicin anterior suele escribirse, con abuso del formalismo lgico, de la siguiente forma:
(4.1)
Comentarios a la denicin. Observa que en esta denicin el conjunto tiene mucho protagonismo: slo se consideran los valores de en , lo que le pueda pasar a fuera de no nos interesa. El siguiente ejemplo es ilustrativo.
la funcin de Dirichlet dada por si , si . a) Sea Es la funcin que vale en los puntos racionales y en los irracionales. Esta funcin no es continua en ningn punto. La razn es que en todo intervalo abierto, por pequeo que sea, siempre hay nmeros racionales e irracionales. Por eso, la funcin oscila constantemente entre y .
b) Las funciones dada por y dada por son continuas (son funciones constantes!) en todo punto de sus respectivos dominios de denicin. Debes tener claro que para poder hablar de la continuidad o de la no continuidad de una funcin en un punto, la funcin debe estar denida en dicho punto. La condicin (4.1) exige que el nmero est denido. Si no se conoce el valor de en no puede comprobarse si dicha condicin se verica o no y, por ello, no tiene sentido considerar la continuidad de esa funcin en dicho punto. Insisto en esta evidencia porque en muchos textos te vas a encontrar ejercicios del siguiente estilo:
Propiedades bsicas de las funciones continuas
104
a) Estudiar la continuidad de la funcin
en en
. .
b) Estudiar la continuidad de la funcin c) Estudiar la continuidad de la funcin
sen
en
Respuesta: Las funciones , y no estn denidas en , por tanto no tiene sentido estudiar su continuidad en . Para poder estudiar la continuidad en de estas funciones, primero hay que denirlas en . Por ejemplo, podemos denir , , . Ahora la respuesta es: no es continua en , no es continua en pero es continua por la derecha en , y es continua en . 4.2 Denicin (Continuidad en un conjunto). Se dice que , si es continua en todo punto de . es continua en un conjunto
No suele ser tarea fcil demostrar que una funcin dada es continua. Generalmente, lo que se hace es descomponer la funcin que queremos estudiar en otras ms sencillas cuya continuidad ya es conocida previamente. Es por ello interesante saber qu tipo de operaciones realizadas con funciones continuas conducen a nuevas funciones continuas.
4.2.1. Propiedades bsicas de las funciones continuas

4.3 Teorema. Sean , funciones reales denidas en . Se verica que:
a) Las funciones y son continuas en todo punto de en el que las dos funciones y sean continuas. En particular, las funciones suma y producto de funciones continuas son funciones continuas. b) Si
para todo , la funcin
es continua en todo punto de
en el que
sea
continua. En consecuencia, la funcin cociente de dos funciones continuas cuyo denominador no se anula nunca es una funcin continua. Demostracin. a) Sea un punto de en el que y son continuas. Debemos probar que y son continuas en . Escribamos nuestras hiptesis:

(4.2) (4.3)
Naturalmente, y dependen del valor de y . Debemos relacionar los nmeros y con y . Para la suma la cosa es muy sencilla.
(4.4)
Propiedades bsicas de las funciones continuas
105
Dado , hagamos en (4.2) y en (4.3) y sean y . Pongamos mn . Entonces, como consecuencia de las desigualdades (4.4), (4.2) y (4.3), se deduce que , siempre que y . Para el producto hay que pensar un poquito ms.
(4.5)
La cantidad puede controlarse fcilmente usando (4.2). Dado , hagamos en (4.2) (la precaucin de dividir por es porque pudiera ocurrir que ), y sea . Tenemos que
(4.6)
Pongamos y sea . Denamos , hagamos en (4.3) mn . Teniendo ahora en cuenta las desigualdades (4.5) y (4.6), deducimos que
La demostracin del apartado b) se hace de forma parecida. El teorema anterior es muy til pero con frecuencia no se entiende bien lo que dice o se interpreta mal. Lo que dice es que la suma, producto y cociente de funciones continuas (siempre que no dividamos por 0) tambin es continua. De aqu puedes deducir fcilmente algunas consecuencias. 4.4 Corolario. a) Si la suma de dos funciones es continua y una de ellas es continua, la otra funcin tambin es continua. b) La suma de una funcin continua y otra discontinua es una funcin discontinua. c) Si el producto de dos funciones es continuo y una de ellas es continua y no se anula, la otra funcin es continua. d) El producto de una funcin continua y que no se anula por otra discontinua es una funcin discontinua. Hasta aqu todo bien. El problema es cuando tenemos que estudiar la continuidad de la suma o el producto de dos funciones discontinuas. En esta situacin el teorema anterior no nos dice nada. Peor an; no puede haber ningn teorema que diga lo que pasa en este caso. La razn es que puede pasar cualquier cosa. La suma o el producto de dos funciones discontinuas puede ser unas veces continua y otras veces discontinua. Se trata de un problema que hay que estudiar en cada caso concreto y que depende de cmo sean las funciones que sumamos o multiplicamos.
Propiedades locales
106
Por ejemplo, sea la funcin de Dirichlet que, como sabemos, es discontinua en todo punto. Sea una funcin continua cualquiera; por ejemplo, la identidad para todo . Las funciones y son discontinuas en todo punto pero su suma es la funcin que es continua. Por otra parte, el cuadrado de , esto es la funcin , es la funcin constante igual a 1 y, por tanto, es continua. Teniendo en cuenta que las funciones polinmicas son sumas de productos de funciones constantes por potencias de la funcin identidad, deducimos el siguiente corolario. 4.5 Corolario. Toda funcin racional es continua en su dominio natural de denicin. De hecho, todas las funciones elementales que conoces son continuas en sus dominios naturales de denicin. Esto no lo podemos probar todava pero lo aceptaremos y lo usaremos cuando sea preciso; por ejemplo, para hacer ejercicios. Adems de sumar y multiplicar funciones, tambin sabemos componerlas. Veamos cmo se comporta la continuidad respecto de la composicin de funciones. 4.6 Teorema (Continuidad de una funcin compuesta). Sean y funciones tales que . Supongamos que es continua en un punto y que es continua en el punto . Entonces la funcin compuesta es continua en el punto . En particular, si es continua en , entonces es continua en todo punto de en el que sea continua. Ms en particular, la composicin de funciones continuas es una funcin continua. Demostracin. Dado , por la continuidad de en , existe tal que para todo con se tiene que . Ahora, por la continuidad de en , existe tal que para todo con se tiene que . Deducimos as que para todo con . Es decir, la funcin compuesta es continua en .
4.2.2. Propiedades locales

Intuitivamente, la continuidad de una funcin en un punto depende nicamente del comportamiento de la funcin en la proximidad de dicho punto. Esto se expresa diciendo que la continuidad es una propiedad local. Vamos a precisar este concepto. 4.7 Denicin. Dados una funcin y un conjunto no vaco , podemos denir una nueva funcin, llamada restriccin de a que se representa por , que es la funcin denida en el conjunto que viene dada por para todo . Dada una funcin , se dice que una funcin , si y es la restriccin de al conjunto , es decir
es una extensin de para todo .
Los conceptos de extensin y de restriccin de una funcin son esencialmente el mismo: todo depende de que se mire para arriba o para abajo. Es importante distinguir entre una funcin y su restriccin a un conjunto. Veamos un ejemplo que nos permitir introducir una funcin muy til.
Propiedades locales
107
4.8 Ejemplo (Funcin parte entera). La funcin que a cada nmero asigna el mayor entero que es menor o igual que se llama funcin parte entera. Dicha funcin se representa con la letra y est denida para todo por las condiciones siguientes:
5 4 3 2 1 -5 -4 -3 -2 -1 1 2 3 4 5
-1 -2 -3 -4
No es difcil probar que esta funcin es discontinua en todos los enteros. Ahora, si consideramos a dicha funcin trabajando solamente en el intervalo , es decir, la funcin restriccin de a cuyo dominio es el intervalo y que a cada punto de dicho intervalo asigna su parte entera, , para ; entonces la funcin es constante pues, claramente para todo , luego es continua en todos los puntos de su dominio, en particular es continua en a pesar de que la funcin parte entera es discontinua en dicho punto.
Figura 4.1. Funcin parte entera
El ejemplo anterior, y tambin el ejemplo de la funcin de Dirichlet antes visto, prueban que una restriccin de una funcin discontinua puede ser continua o, lo que es igual, una extensin de una funcin continua puede ser discontinua. Son importantes y tiles a este respecto los siguientes resultados fciles de probar. 4.9 Proposicin. a) Cualquier restriccin de una funcin continua es tambin continua. b) Cualquier extensin de una funcin continua en un intervalo abierto es tambin continua en dicho intervalo abierto. Observa la importancia que en la armacin b) anterior tiene el hecho de que el intervalo sea abierto. El ejemplo de la funcin parte entera, antes visto, pone de maniesto que una extensin de una funcin continua en un intervalo no abierto puede no ser continua. De las armaciones anteriores se deduce el siguiente resultado. 4.10 Teorema (Teorema de localizacin). Una funcin si, y slo si, la restriccin es continua en . es continua en un intervalo abierto
Este resultado es bastante til para evitarnos hacer trabajo innecesario. Por ejemplo, si queremos estudiar la continuidad de la funcin parte entera, como dicha funcin es constante en los intervalos de la forma ( ), el resultado anterior nos dice que dicha funcin es continua en estos intervalos. Slo queda as estudiar lo que pasa en los enteros. La continuidad de una funcin en un punto permite obtener informacin sobre el comportamiento de la funcin en los puntos prximos al mismo. Estos resultados se llaman locales.
Teorema de Bolzano. Supremo e nmo
108
4.11 Teorema (Conservacin local del signo). Sea continua en un punto con . Entonces hay un nmero tal que para todo con se verica que . Es decir, si , o si , en todo punto .
. Podemos entonces tomar en (4.1) Demostracin. Supondremos que para obtener, en virtud de la continuidad de en , un tal que para todo con se verica que , lo que implica que . El caso en que se reduce al anterior sin ms que sustituir por .
4.12 Proposicin (Acotacin local). Sea continua en un punto . Entonces hay nmeros, , tales que para todo con se verica que . Demostracin. Hagamos en (4.1) para obtener, en virtud de la continuidad de en , un tal que para todo con se verica que . Pongamos . Entonces, para todo tenemos que:
4.3. Teorema de Bolzano. Supremo e nmo

Si ahora mides 175cm y hace 10 aos medas 135cm, es seguro que en algn momento intermedio medas con exactitud 161cm. Si una entrada de cine cuesta 5 y hace 3 aos costaba 4 , es seguro que en algn momento ir al cine costaba exactamente 499 . Seguro? No, a ningn empresario de cine le parecera bien cobrar 499 por la entrada. La diferencia est en que la talla de una persona es una funcin continua del tiempo y para pasar de 135cm a 175cm tiene que pasar por todos los valores intermedios, pero el precio de las entradas de cine no vara de forma continua con el tiempo y puede pasar de golpe de 45 a5 . La grca de una funcin continua en un intervalo, , la imaginamos como una curva continua, por ello, si , la grca de tiene que atravesar el eje de abscisas para pasar de un punto situado por debajo de l a otro que se encuentra por encima y, por tanto, tiene que anularse en algn punto entre y . Esto es precisamente lo que arma el conocido teorema que sigue. 4.13 Teorema (Teorema de los ceros de Bolzano). Toda funcin continua en un intervalo que toma valores positivos y negativos se anula en algn punto de dicho intervalo. Lo primero que llama la atencin en este teorema es su evidencia. No est de ms a este respecto recordar que, como deca Bertrand Russell, en matemticas, la evidencia es enemiga de
La propiedad del supremo
109
la correccin. Precisamente, el mrito de Bernard Bolzano (1781-1848) est en haber llamado la atencin sobre la necesidad de demostrar muchas proposiciones, aparentemente evidentes, que se reeren a las funciones continuas. Podemos aadir, adems, que suele ser particularmente difcil demostrar matemticamente lo que nuestra intuicin presenta como evidente; de hecho, con las herramientas que tenemos hasta ahora no podemos demostrar el teorema. La funcin es continua y , el teorema de Bolzano asegura que existe un nmero positivo en el que se anula. En otras palabras, el teorema prueba la existencia del nmero y, como dicho nmero no es racional, deducimos que para probar el teorema se precisa usar alguna propiedad que NO tienen los nmeros racionales. Pero todas las propiedades de los nmeros reales que enunciamos en el Captulo 1 las tienen tambin los nmeros racionales. Concluimos que los nmeros reales debern tener otra propiedad que todava no hemos considerado.
4.3.1. La propiedad del supremo

Comentamos en el Captulo 1 que no debemos preocuparnos mucho por lo que sea el nmero , pero al menos deberamos de tener alguna forma de probar su existencia; es decir, de las propiedades de los nmeros reales debera poder deducir que hay un nmero cuyo se cuadrado es igual a 2. Qu sabemos de ? No es racional, pero podemos aproximarlo por racionales. Con una calculadora obtenemos sucesivas aproximaciones raci

Idioma

Calculo Diferencial Integral Func Una Var

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Calculo Diferencial Integral Func Una Var

Cargado por

Copyright:

Formatos disponibles

C LCULO

DE FUNCIONES DE UNA VARIABLE

Francisco Javier Prez Gonzlez

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

1.2.3. Desigualdades y valor absoluto 1.2.3.1. 1.2.3.2.

La forma correcta de leer las matemticas . . . . . . . . . . Una funcin aparentemente caprichosa . . . . . . . . . . . .

ndice general 1.4.1.1. 1.4.1.2.

La razn urea y el pentagrama . . . . . . . . . . . . . . . . 27 Medimos con nmeros racionales . . . . . . . . . . . . . . . 28

2.2.6. Funcin potencia de exponente real

2.2.8. Las funciones hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . 48 2.2.8.1. Las funciones hiperblicas inversas . . . . . . . . . . . . . . 49

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

compatible con la estructura algebraica . . . . . 68

5.4.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 199 6. Derivadas 201

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Integracin por recurrencia . . . . . . . . . . . . . . . . . . 431

8.6.10.3. Integrales binomias . . . . . . . . . . . . . . . . . . . . . . 446 8.6.10.4. Integrales del tipo

8.6.10.5. Integracin de funciones del tipo

8.7.9. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 483

10. Sucesiones y series de funciones

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

1.1. El pentagrama pitagrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.1. La funcin

2.2. Funcin logaritmo de base 2.3. Funcin exponencial de base

2.7. La funcin arcoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

2.9. La funcin arcocoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 2.10. La funcin tangente en 2.11. La funcin arcotangente

4.3. Visualizacin de la demostracin del teorema de Weierstrass . . . . . . . . . . 130

de una funcin . . . . . . . . . . . . . . . . . . 388

8.32. Comparando indivisibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510 8.33. Teorema Fundamental 8.34.

8.35. reas complementarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515 10.1. Es

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Granada, septiembre de 2008

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Guas de lectura con tranquilidad.

Para estudiantes de matemticas y fsica

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Axiomas de . Principio de induccion

1.1.1. Axiomas, deniciones, teoremas, lemas, corolarios.

Axiomas, deniciones, teoremas, lemas, corolarios.

2. Prueba que 3. Prueba que si

Axiomas, deniciones, teoremas, lemas, corolarios.

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Axiomas de los nmeros reales

Axiomas de los nmeros reales

1.2.1. Axiomas algebraicos

. El conjunto de todos ellos se representa por . . cuyo conjunto se representa por .

P2 Propiedades conmutativas. Para todos

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Axiomas de orden P5 Propiedad distributiva.

es consecuencia inmediata de la anterior.

1.2.2. Axiomas de orden

Desigualdades y valor absoluto

1.2.3. Desigualdades y valor absoluto

implican que implican que