Cálculo Diferencial e Integral

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:
Reconocimiento. Debe reconocer los crditos de la obra de la manera especificada 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 fines comerciales.
BY:

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.
C
Dpto. de Anlisis Matemtico
Prof. Javier Prez

Clculo diferencial e integral
Indice general
Prlogo
XVI
Guas de lectura
XX
1. Axiomas de R. Principio de induccin
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1. Axiomas, definiciones, teoremas, lemas, corolarios. . . . . . . . . . . .
Axiomas de los nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Axiomas algebraicos . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2. Axiomas de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.
1.2.2.1.
Relacin de orden . . . . . . . . . . . . . . . . . . . . . . .
1.2.3. Desigualdades y valor absoluto
. . . . . . . . . . . . . . . . . . . . .
1.2.3.1.
La forma correcta de leer las matemticas . . . . . . . . . .
1.2.3.2.
Una funcin aparentemente caprichosa . . . . . . . . . . . .
1.2.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.2.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3. Principio de induccin matemtica . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4. Complementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.4.1. Nmeros y medida de magnitudes. Segmentos inconmensurables. . . . 26
II
ndice general
III
1.4.1.1.
La razn urea y el pentagrama . . . . . . . . . . . . . . . . 27
1.4.1.2.
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.
Inters compuesto . . . . . . . . . . . . . . . . . . . . . . . 41
2.2.5.2.
Crecimiento demogrfico . . . . . . . . . . . . . . . . . . . 42
2.2.6. Funcin potencia de exponente real a . . . . . . . . . . . . . . . . . . 42

2.2.7. Funciones trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2.7.1.
Medida de ngulos . . . . . . . . . . . . . . . . . . . . . . . 43
2.2.7.2.
Funciones seno y coseno . . . . . . . . . . . . . . . . . . . 44
2.2.7.3.
Propiedades de las funciones seno y coseno . . . . . . . . . 45
2.2.7.4.
Las funciones tangente, cotangente, secante y cosecante . . . 46
2.2.7.5.
Las funciones arcoseno, arcocoseno y arcotangente . . . . . 46
2.2.8. Las funciones hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . 48

2.2.8.1.
Las funciones hiperblicas inversas . . . . . . . . . . . . . . 49

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
Prof. Javier Prez

ndice general
IV
3.1. Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

3.2. Operaciones bsicas con nmeros complejos . . . . . . . . . . . . . . . . . . . 65
3.2.1. Comentarios a la definicin de nmero complejo . . . . . . . . . . . . 66
3.2.2. Forma cartesiana de un nmero complejo . . . . . . . . . . . . . . . . 66
p
3.2.3. Comentarios a la definicin usual i D
1 . . . . . . . . . . . . . . . 67
3.2.4. No hay un orden en C compatible con la estructura algebraica . . . . . 68
3.3. Representacin grfica. Complejo conjugado y mdulo . . . . . . . . . . . . . 68
3.3.1. Forma polar y argumentos de un nmero complejo . . . . . . . . . . . 70
3.3.2. Observaciones a la definicin 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

p p
p
La igualdad n z n w D n zw . . . . . . . . . . . . . . . . . 76

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.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 nfimo . . . . . . . . . . . . . . . . . . . . . 108
4.3.1. La propiedad del supremo . . . . . . . . . . . . . . . . . . . . . . . . 109
4.3.2. Propiedad de extremo inferior . . . . . . . . . . . . . . . . . . . . . . 110
Prof. Javier Prez

ndice general
4.3.3. Consecuencias del teorema de Bolzano . . . . . . . . . . . . . . . . . 112

4.3.3.1.
Continuidad y monotona . . . . . . . . . . . . . . . . . . . 114

4.4. Continuidad en intervalos cerrados y acotados . . . . . . . . . . . . . . . . . . 128
4.5. Lmite funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
4.5.1. Lmites laterales de una funcin en un punto . . . . . . . . . . . . . . 134
4.5.2. Lmites infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
4.5.2.1.
Funciones divergentes en un punto . . . . . . . . . . . . . . 135
4.5.2.2.
Lmites en infinito . . . . . . . . . . . . . . . . . . . . . . . 136
4.5.2.3.
Funciones divergentes en infinito . . . . . . . . . . . . . . . 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

5. Nmeros y lmites. El infinito 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. Infinitsimos y el continuo numrico . . . . . . . . . . . . . . . . . . . 157
5.2.4. El triunfo de Pitgoras . . . . . . . . . . . . . . . . . . . . . . . . . . 160
5.2.4.1.
Cortaduras de Dedekind . . . . . . . . . . . . . . . . . . . . 162
5.2.4.2.
Mtodos axiomticos y mtodos constructivos . . . . . . . . 164
5.2.4.3.
El regreso de los pequeitos . . . . . . . . . . . . . . . . . . 165

5.3. Evolucin del concepto de lmite funcional . . . . . . . . . . . . . . . . . . . 165
5.3.1. La teora de las razones ltimas de Newton . . . . . . . . . . . . . . 166
Prof. Javier Prez

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.4. Breve historia del infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
5.4.1. La idea de infinito en la filosofa y la matemtica Griegas . . . . . . . . 178
5.4.1.1.
Las aporas de Zenn de Elea . . . . . . . . . . . . . . . . . 178
5.4.1.2.
Atomismo y divisibilidad infinita . . . . . . . . . . . . . . . 180
5.4.1.3.
La rueda de Aristteles . . . . . . . . . . . . . . . . . . . . 183
5.4.2. El infinito desde la Edad Media hasta el siglo XIX . . . . . . . . . . . 184

5.4.2.1.
El infinito en la Escolstica . . . . . . . . . . . . . . . . . . 184
5.4.2.2.
Galileo y el infinito . . . . . . . . . . . . . . . . . . . . . . 184
5.4.2.3.
El Clculo y el infinito . . . . . . . . . . . . . . . . . . . . . 187
5.4.3. El infinito matemtico y el nacimiento de la teora de conjuntos . . . . 188

5.4.3.1.
La no numerabilidad del continuo . . . . . . . . . . . . . . . 193

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.7. Derivabilidad de las funciones elementales . . . . . . . . . . . . . . . 219
6.2.7.1.
Derivabilidad de la exponencial y del logaritmo. Criterio de

equivalencia logartmica . . . . . . . . . . . . . . . . . . . . 219
6.2.7.2.
Derivabilidad de las funciones trigonomtricas . . . . . . . . 221
6.2.7.3.
Derivabilidad de las funciones hiperblicas . . . . . . . . . . 221
Prof. Javier Prez

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 lKm . . . . . . . . . . . . . . . . . . . . . 242
x!a
6.6. Extremos relativos. Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . 243

6.7. Funciones convexas y funciones cncavas . . . . . . . . . . . . . . . . . . . . 246
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.
El mtodo de mximos y mnimos de Fermat . . . . . . . . . 307
6.8.2.2.
El mtodo de las tangentes de Fermat . . . . . . . . . . . . . 308
6.8.2.3.
El mtodo de Roberval y de Torricelli para las tangentes . . . 311
6.8.2.4.
El tringulo diferencial de Barrow . . . . . . . . . . . . . . 312
6.8.3. Los inventores del Clculo . . . . . . . . . . . . . . . . . . . . . . . . 314

6.8.4. Newton y el clculo de fluxiones . . . . . . . . . . . . . . . . . . . . . 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 R . . . . . . . . . . 330
7.2.3. Sucesiones montonas . . . . . . . . . . . . . . . . . . . . . . . . . . 331
7.2.3.1.
El nmero e . . . . . . . . . . . . . . . . . . . . . . . . . . 333
7.2.4. Sucesiones convergentes y estructura algebraica de R . . . . . . . . . . 334

Prof. Javier Prez

ndice general
VIII
7.2.5. Sucesiones parciales. Teorema de BolzanoWeierstrass . . . . . . . . . 335

7.2.6. Condicin de Cauchy. Teorema de completitud de R . . . . . . . . . . 338
7.2.7. Lmites superior e inferior de una sucesin . . . . . . . . . . . . . . . 339
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.4. Sucesiones de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . 379
7.4.1. Definicin de la exponencial compleja . . . . . . . . . . . . . . . . . . 380
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. Definicin 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.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
Prof. Javier Prez

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.6. Integracin por sustitucin o cambio de variable . . . . . . . . . . . . 436
8.6.8. Integracin de funciones racionales . . . . . . . . . . . . . . . . . . . 438
8.6.8.1.
Mtodo de los coeficientes indeterminados . . . . . . . . . . 438
8.6.8.2.
Mtodo de Hermite . . . . . . . . . . . . . . . . . . . . . . 439

8.6.10. Integracin por racionalizacin . . . . . . . . . . . . . . . . . . . . . . 442
8.6.10.1. Integracin de funciones del tipo R.sen x; cos x/ . . . . . . . 443
w

8.6.10.2. Integrales del tipo R x; L.x/r ; L.x/s ; : : : dx . . . . . 445
8.6.10.3. Integrales binomias . . . . . . . . . . . . . . . . . . . . . . 446
w
8.6.10.4. Integrales del tipo R.ex / dx . . . . . . . . . . . . . . . . 446
p
8.6.10.5. Integracin de funciones del tipo R.x; ax 2 C bx C c/ . . 447

8.7. Aplicaciones de la integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463
8.7.1. Clculo de reas planas . . . . . . . . . . . . . . . . . . . . . . . . . . 463
8.7.1.1.
Regiones de tipo I . . . . . . . . . . . . . . . . . . . . . . . 464
8.7.1.2.
Regiones de tipo II . . . . . . . . . . . . . . . . . . . . . . . 465

8.7.4. Curvas en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474
8.7.4.1.
rea encerrada por una curva . . . . . . . . . . . . . . . . . 476
8.7.4.2.
reas planas en coordenadas polares . . . . . . . . . . . . . 476

8.7.6. Longitud de un arco de curva . . . . . . . . . . . . . . . . . . . . . . . 478
8.7.8. Volmenes de slidos . . . . . . . . . . . . . . . . . . . . . . . . . . . 480
8.7.8.1.
Volumen de un cuerpo de revolucin . . . . . . . . . . . . . 481

Prof. Javier Prez

ndice general

8.7.11. rea de una superficie de revolucin . . . . . . . . . . . . . . . . . . . 485
8.8. Evolucin de la idea de integral . . . . . . . . . . . . . . . . . . . . . . . . . . 499
8.8.1. Problemas de cuadraturas en las matemticas griegas . . . . . . . . . . 499
8.8.1.1.
Cuadratura de un segmento de parbola por Arqumedes . . . 500
8.8.1.2.
El Mtodo de Arqumedes . . . . . . . . . . . . . . . . . . . 503
8.8.1.3.
rea de una espiral . . . . . . . . . . . . . . . . . . . . . . 504
8.8.2. La integracin antes del Clculo . . . . . . . . . . . . . . . . . . . . . 506

8.8.2.1.
Los indivisibles de Cavalieri
. . . . . . . . . . . . . . . . . 506
8.8.2.2.
Cuadratura de la cicloide por Roberval . . . . . . . . . . . . 507
8.8.2.3.
Parbolas e hiprbolas de Fermat . . . . . . . . . . . . . . . 508
8.8.2.4.
La integracin aritmtica de Wallis . . . . . . . . . . . . . . 509
8.8.2.5.
El resultado fundamental de Barrow . . . . . . . . . . . . . 512
8.8.3. La relacin fundamental entre cuadraturas y tangentes . . . . . . . . . 513

8.8.3.1.
El Teorema Fundamental del Clculo segn Newton . . . . . 513
8.8.3.2.
La invencin del calculus summatorius por Leibniz . . . . . 514
9. Series numricas
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.2. Criterios de convergencia para series de trminos positivos . . . . . . . . . . . 533
9.3. Criterios de convergencia no absoluta . . . . . . . . . . . . . . . . . . . . . . 556
9.4. Algunas series cuya suma puede calcularse de forma exacta . . . . . . . . . . . 563
Prof. Javier Prez

ndice general
XI

9.5. Expresin de un nmero real en base b . . . . . . . . . . . . . . . . . . . . . . 570
9.6. Series de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 575
r C1 sen x
P1 1
9.7. Clculo elemental de 0
nD1 n2 . . . . . . . . . . . . . . . 578
x dx y de
10. Sucesiones y series de funciones
581
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 definidas 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.6. Los primeros desarrollos en serie . . . . . . . . . . . . . . . . . . . . . . . . . 659
10.6.1. Newton y las series infinitas . . . . . . . . . . . . . . . . . . . . . . . 660
Prof. Javier Prez

Indice de figuras
1.1. El pentagrama pitagrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

2.1. La funcin f .x/ D x 3
4x 2 C x C 6 . . . . . . . . . . . . . . . . . . . . . . 38
2.2. Funcin logaritmo de base a > 1 . . . . . . . . . . . . . . . . . . . . . . . . . 40

2.3. Funcin exponencial de base a > 1 . . . . . . . . . . . . . . . . . . . . . . . . 41
2.4. La circunferencia unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.5. La funcin seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.6. La funcin seno en

2 ; 2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.7. La funcin arcoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

2.8. La funcin coseno en 0; . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.9. La funcin arcocoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.10. La funcin tangente en
2.11. La funcin arcotangente

2; 2
. . . . . . . . . . . . . . . . . . . . . . . . . 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 figuras
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 xE.1=x/ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
4.3. Visualizacin de la demostracin del teorema de Weierstrass . . . . . . . . . . 130
4.4. La funcin f .x/ D sen.1=x/ . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 N N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
Prof. Javier Prez

ndice de figuras
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 G.f; a; b/ 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 infinitas 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 figura 8.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467
8.12. Cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
Prof. Javier Prez

ndice de figuras
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. Superficie 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 y D x
. . . . . . . . . . . . . . . . . 508
8.32. Comparando indivisibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510

8.33. Teorema Fundamental
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 512
8.34. z D z.x/ D rea OPB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 513

8.35. reas complementarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515
10.1. Es
p
2 D 1? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583
10.2. Convergencia puntual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584

10.3. Interpretacin grfica de la convergencia uniforme . . . . . . . . . . . . . . . 587
r 1=4 p
10.4. Cuadratura 0
x x 2 dx . . . . . . . . . . . . . . . . . . . . . . . . . . 663
Prof. Javier Prez


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 cientfico 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 calificacin 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 significado de que las matemticas son una ciencia deductiva. Tiene
poca agilidad en los clculos con las operaciones bsicas y comete frecuentes errores al intentar simplificarlos, puede calcular derivadas pero lo hace con dificultad 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 clasifica sus conocimientos en reas disjuntas: clculo, lgebra, probabilidad: : :
Pero estas carencias, con ser graves, no son las peores porque son especficas 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 refiero a la falta de hbitos
de estudio, a la pobreza y muy deficiente uso del lenguaje hablado y escrito con la consiguiente
dificultad 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, identificado 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 fin de semana, o de una
fiesta 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
bazofia, mezquindad, zafiedad 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 eficazmente 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
dificultades de comprensin que encierran, los errores ms frecuentes en su interpretacin. Esa
condicin necesaria no es suficiente. 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.
Prof. Javier Prez

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 final 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 final, 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 figura para facilitar la comprensin de una
definicin 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 infinito 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 infinito matemtico deja bien claro cul es su contenido.
Naturalmente, nada de original hay en dichas notas histricas pues no he consultado fuentes
Prof. Javier Prez

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 significado 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 manifiesto 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 dificultades
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
Prof. Javier Prez

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 final.
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 definiciones bsicas cuyo conocimiento es
imprescindible para leer todo lo dems. En el Captulo 2 se define 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 definiciones 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 afirmaciones 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 significa.
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 definiciones 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 definen 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
Prof. Javier Prez

Guas de lectura
XXI
con tranquilidad.
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
definicin de integral y sus propiedades as como el significado 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 definiciones 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 b 2 Z 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 infinitos con infinitas
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 justificacin 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 definicin 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 dificultad: 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 significado 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
Prof. Javier Prez

Guas de lectura
XXII
complejos estn muy confusamente expuestos en gran nmero de textos y las funciones complejas elementales son definidas con frecuencia de una forma poco correcta.
En el Captulo 4 debes estudiar y comprender bien las definiciones 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 nfimo. 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 R. 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 afirma 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 dificultad: 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 significado preciso de los teoremas, antes de hacer los ejercicios.
Prof. Javier Prez

Captulo
Axiomas de R. 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 refiriendo a los nmeros reales que representamos por R. 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
manifiesta (si echas algo en falta, ve al Captulo 4).
1.1.1. Axiomas, definiciones, teoremas, lemas, corolarios.

Al terminar este apartado, entenders el significado de la frase de Bertrand Russell que fue
uno de los ms grandes matemticos y filsofos 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, definiciones, 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 x; y son nmeros reales.
1. Prueba que 0 x D 0.
2. Prueba que . x/y D xy.
3. Prueba que si x 0 entonces x 2 > 0.
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 0 x D 0?, pero si eso es evidente! siempre me han dicho que es
as! cmo se puede demostrar tal cosa?.
Pienso que muchas veces la dificultad 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 definiciones apropiadas nos permitirn demostrar resultados
(teoremas) que podremos usar para seguir avanzando.
Simplificando 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 0 x D 0 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 definiciones. Las definiciones no son nuevos
axiomas. Una definicin 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 definicin de continuidad se expresa mediante desigualdades y las desigualdades se reducen a los axiomas de
orden de R.
Prof. Javier Prez

Axiomas, definiciones, 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, f
es una funcin continua en un intervalo. La tesis tambin es una propiedad matemtica; por
ejemplo, la imagen de f es un intervalo. Representemos por H la hiptesis y por T la tesis.
Es importante que te des cuenta de que no tiene sentido preguntarse por la veracidad de la hiptesis H . No es ni verdadera ni falsa. Para que H sea verdadera o falsa debemos particularizar
la funcin f .
~
Un error muy frecuente consiste en pensar que en Matemticas las hiptesis son verdaderas.
Ahora te preguntars, si H no es verdadera ni falsa, qu quiere decir que H implica T
o, equivalentemente, que T se deduce o es consecuencia de H ? La respuesta es: H implica
T quiere decir que siempre que H sea verdadera tambin T es verdadera. Observa que no
estamos afirmando (no tiene sentido) que H o T sean verdaderas sino que cuando H es verdadera tambin lo es T . Con ms precisin, demostrar que H implica T consiste en probar que la
proposicin H T es cierta. Teniendo en cuenta que la proposicin H T es la disyuncin
lgica (noH )_T , resulta que si H es falsa entonces H T es verdadera (por eso se dice que
de una hiptesis falsa puede deducirse cualquier cosa) y si H es verdadera entonces para que
H T sea verdadera tiene que ocurrir que T sea verdadera. En consecuencia, si sabemos que
H es verdadera y que H T es verdadera, deducimos que T es verdadera.
Ahora puedes entender el significado 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 significado 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 afirma Bertrand
Russell que en matemticas no sabemos de lo que hablamos.
Prof. Javier Prez

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 1; 2; 3; : : : . El conjunto de todos ellos se representa por N.
Los nmeros enteros : : : ; 2; 1; 0; 1; 2; : : : . cuyo conjunto se representa por Z.
Los nmeros racionales que son cocientes de la forma p=q donde p 2 Z; q 2 N, cuyo
conjunto representamos por Q.
p
Tambin conoces otros nmeros como 2, , 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 R.
Es claro que N Z Q R.
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;p
sino que lo realmente
interesante es aprender a trabajar con ellos. Lo interesante del nmero 2 es que su cuadrado
es igual a 21 .
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 x; y se
escribe x Cy, representndose el producto por xy. Las propiedades bsicas a que nos referimos
son las siguientes.
P1 Propiedades asociativas. Para todos x; y; z en R:
.x C y/ C z D x C .y C z/ I
.xy/z D x.yz/
P2 Propiedades conmutativas. Para todos x; y en R:

xCyDy CxI
x y D yx
P3 Elementos neutros. Hay dos nmeros reales distintos que representamos por 0 y 1
tales que para todo x 2 R se verifica que:
0CxDx
1x D x
P4 Elementos opuesto e inverso. Para cada nmero real x hay un nmero real llamado
opuesto de x, que representamos por x, tal que x C . x/ D 0:
Para cada nmero real x distinto de 0, x 0, hay un nmero real llamado inverso de x,
que representamos por x 1 , tal que xx 1 D 1:
1 La
seccin Nmeros y medida de magnitudes trata de la aparicin de los nmeros irracionales y su relacin
con la medida de magnitudes
Prof. Javier Prez

Axiomas de orden
P5 Propiedad distributiva. .x C y/z D xz C y z para todos x; y; z en R.

Las propiedades anteriores son de tipo algebraico y, aunque son muy sencillas, a partir de ellas
pueden probarse cosas tan familiares como que 0xD0, o que . x/yD .xy/. Vamos a hacerlo.
1.1 Proposicin. Se verifican las siguientes igualdades
0x D 0;
. x/y D x y;
. x/. y/ D xy :
Demostracin. Probaremos primero que 0x D 0. Por P5 .0 C 0/x D 0 x C 0 x. Como consecuencia de P3 es 0 C 0 D 0. Obtenemos as que 0 x D 0 x C 0 x. Usando P4, sumamos el
opuesto de 0 x a ambos lados de la igualdad 0 x D0 x C0 x y, usando tambin P1 (la propiedad
asociativa), obtenemos que 0 x D 0.
Probaremos ahora que . x/y D .xy/. Tenemos que xy C. x/y D.x C. x//y D0 y D0.
Donde hemos usado P4, P5 y el apartado anterior. La igualdad xy C . x/y D 0 nos dice, por
P4, que . x/y es el opuesto de xy. Eso es justamente lo que queramos probar.
Finalmente, la igualdad . x/. y/ D xy es consecuencia inmediata de la anterior.
~
El smbolo x debe leerse siempre el opuesto de x y no menos x. La razn es que

la palabra menos remite a una idea de orden (si hay menos es porque hay ms) y el
significado de x 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 x es negativo!
Notacin. Suele escribirse x
x=y o xy en vez de x y 1 .
y en vez de x C . y/. Tambin, supuesto y 0, 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 fija un origen, el 0, de forma arbitraria. Los nmeros que hay a la derecha
de 0, se llaman positivos y el conjunto de todos ellos se representa por RC . Las propiedades
bsicas del orden son las siguientes.
P6 Ley de tricotoma. Para cada nmero real x se verifica una sola de las siguientes tres
afirmaciones: x D 0, x es positivo, x es positivo.
P7 Estabilidad de RC . 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 0 no es positivo, el 0 es el 0! Por otra parte,

si x es un nmero positivo, entonces como x C . x/ D 0 y el 0 no es positivo, concluimos,
por P7, que x no es positivo. Los elementos del conjunto R D f x W x 2 RC g, es decir,
los opuestos de los nmeros positivos, se llaman nmeros negativos. Observa que si z 2 R
entonces z 2 RC .
Prof. Javier Prez

Desigualdades y valor absoluto
1.2 Definicin. Para x; y 2 R escribimos x < y (lase x es menor que y) o y > x (lase y
es mayor que x) para indicar que y x 2 RC , y escribimos x 6 y o y > x para indicar que
y x 2 RC [ f0g.
C

Notacin. En adelante usaremos las notaciones: RC
o DR [f0g, R o DR [f0g y R DRnf0g.
1.3 Proposicin. Para todo x 0 se verifica que x 2 > 0. En particular, 1 > 0.

Demostracin. Probaremos que si x 0 entonces x 2 > 0. En efecto, si x 0 entonces, por
P6, o bien x es positivo o bien x es positivo. Teniendo en cuenta que, como consecuencia de
(1.1), es x 2 D x x D . x/. x/, concluimos que x 2 es positivo. En particular, tenemos que
12 D 1 > 0. Acabamos de probar que 1 > 0!.
2
Tenemos ahora dos tipos de propiedades en R, 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 definen mediante desigualdades (por ejemplo, la definicin 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 R. Son las que debers usar para trabajar con desigualdades.
1.4 Teorema (Reglas para trabajar con desigualdades). Sean x; y; z nmeros reales.
1. x 6 y e y 6 z implican que x 6 z.
2. x 6 y e y 6 x implican que x D y.
3. Se verifica exactamente una de las tres relaciones: x < y, x D y, o y < x:
4. x < y implica que x C z < y C z.
5. x < y , z > 0 implican que xz < y z.
6. x < y , z < 0 implican que xz > y z.
7. xy > 0 si, y slo si, x e y son los dos positivos o los dos negativos. En consecuencia
si x 0 es x 2 > 0 y, en particular, 1 > 0.
Prof. Javier Prez

8. z > 0 implica que
1
> 0:
z
9. Supuesto que x e y son los dos positivos o los dos negativos, se verifica que x < y
1
1
implica que
< :
y
x
Todas estas propiedades son fciles de probar. Por ejemplo, para probar el punto 5), si
x < y se tiene que y x > 0. Si ahora es z > 0, tambin ser z.y x/ > 0, es decir,
zy zx > 0 o, sea, zx < zy. Lo nico que hemos usado aqu ha sido la definicin de los
smbolos < y > y algunas de las propiedades P1-P8. Un estupendo ejercicio para que
compruebes tus habilidades es que demuestres todas las afirmaciones 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 manifiesto vamos a considerar un ejemplo. En uno de los ejercicios al final de esta
seccin te propongo que pruebes que la igualdad
1
1
1
C
D
x
y
xCy
(1.1)
nunca es cierta. Bien, supongamos que ya lo has probado. Seguidamente te pido que me digas
cundo es cierta la igualdad
1
1
1
C
D
2
z
xCy
x C y2 C z
(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 significado de lo que se lee y no
quedarse en la superficie de los smbolos. Los smbolos proporcionan mucha comodidad para
expresar las ideas matemticas, pero con frecuencia, si no sabemos leer bien su significado,
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 x por x C y 2 e y por z. Pero tanto x como x C y 2
son nmeros reales cualesquiera e igual ocurre con z e y. Te das cuenta del problema? No es
igual retener la idea de que 1 dividido por x ms 1 dividido por y nunca es igual a 1 dividido
por x C y que asimilar que la suma de dos inversos nunca es igual al inverso de la suma.
En el primer caso los smbolos x e y tienen un protagonismo que no les corresponde, ocultan
el concepto: si te fijas 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.
Prof. Javier Prez

Sea f W a; b ! R continua y verificando que f .a/f .b/ < 0. Entonces hay algn
c 2 a; b tal que f .c/ D 0.
Demasiadas letras f , a, b, c, 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.
1.6 Definicin. Se dice que un conjunto no vaco de nmeros reales, A R, tiene mximo
si hay un nmero M 2 A que es el mayor de todos los elementos de A, es decir, x 6 M para
todo x 2 A. Cuando esto ocurre, escribimos M D mKax A. Se dice que un conjunto no vaco
de nmeros reales, A R, tiene mnimo si hay un nmero m 2 A que es el menor de todos los
elementos de A, es decir, m 6 x para todo x 2 A. Cuando esto ocurre, escribimos m D mKn A.
Valor absoluto
El valor absoluto de un nmero x 2 R se define como el nmero:

x si x > 0
jx j D
x si x 6 0
Para trabajar con valores absolutos es til recordar la siguiente definicin.
p
z al nico nmero mayor o
1.7 Definicin. 2 . Para cada nmero z 2 RC
o , representamos por
igual que cero cuyo cuadrado es igual a z.
1.2.3.2.
Una funcin aparentemente caprichosa
Acabamos de definir 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
p
ocurre. La pregunta es la siguiente: dime el valor de x 2 . Por experiencia s que la mayora
de las veces la respuesta es x. Pues si esa ha sido tu respuesta te equivocas. Vuelve a leer la
definicin anterior y responde ahora de forma meditada. Confo en que ya tengas la respuesta
p
correcta que es jxj. En efecto, se tiene que jxj2 D x 2 y, adems, jxj > 0, por tanto jx j D x 2 .
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 puep
2
de tomar los dos valores y, en este caso, deben pensar que x D fx; xg. 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 .a; b/ y .c; d / del plano viene dada por
p
.a c/2 C .b d /2 . En particular, la distancia entre los puntos .a; b/ D .1; 2/ y .c; d / D
2 Con
las herramientas que ahora tenemos no podemos probar la existencia de races cuadradas
Prof. Javier Prez

p
p
.1; 3/ es .1 1/2 C .2 3/2 D . 1/2 D 1. Una distancia negativa? No, la raz cuadrada no es una funcin caprichosa y su definicin 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
ax 2 C bx C c D 0 cuyas soluciones son los nmeros
p
b b 2 4ac
(1.3)
2a
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 C, 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 ax 2 C bx C c D 0 (realmente se
aprende?) se obtienen las soluciones
p
p
b
b 2 4ac
b C b 2 4ac
;
2a
2a
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
p
ejemplo, escribir C 3 acaso escribes +7? No, sabes que 7 es un nmero
positivo y parece
p
3?
Respuesta,
porque
totalmente
improcedente
escribir
C7.
Entonces,
por
qu
escribir
C
p
3 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 creerpy no solamente
entre estudiantes. Confo en que te haya quedado claro sin lugar a dudas que x 2 D jxj 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 suficiente probar
que sus cuadrados son iguales.
b) Para probar una desigualdad entre dos nmero positivos es suficiente 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:
~
2
2
Dados a; b 2 RC
o para probar que a D b es suficiente probar que a D b y para
probar que a < b es suficiente probar que a2 < b 2 .
Todo lo dicho es consecuencia de que b 2
a2 D .b
a/.b C a/ y se tiene que b C a > 0.
Geomtricamente, jxj representa la distancia de x al origen, 0, en la recta real. De manera ms

general:
jx yj D distancia entre x e y
representa la longitud del segmento de extremos x e y.
Prof. Javier Prez

Ejercicios propuestos
10
1.9 Teorema (Propiedades del valor absoluto). Para x; y 2 R se verifica que:

i) jxj 6 y es equivalente a
y 6 x 6 y.
ii) jx yj D jxjjyj.
iii) jx C yj 6 jxj C jyj y la igualdad se da si, y slo si, xy > 0 desigualdad triangular.
iv) jjxj
jyjj 6 jx
yj y la igualdad se da si, y slo si, xy > 0.
Demostracin. La primera afirmacin es consecuencia inmediata de la definicin de valor

absoluto. Para probar ii), iii) y iv) usaremos la estrategia (1.8).
ii) Tenemos que jxyj2 D .xy/2 D x 2 y 2 D jxj2 jyj2 D .jxjjyj/2 .
iii) Tenemos que
jx C yj2 D.xCy/2 Dx 2 C2xyCy 2 Djxj2 C2xyCjyj2 6jxj2 C2jxyjCjyj2 D.jxjCjyj/2
La igualdad se da si, y slo si, xy D jxyj, es decir, xy > 0.
iv) Tenemos que
jjxj
jyjj2 D x 2
2jxyj C y 2 6 x 2
2xy C y 2 D .x
y/2 D jx
yj2
La igualdad se da si, y slo si, xy D jxyj, es decir, xy > 0.
Te recuerdo que debes leer de forma correcta las propiedades anteriores: no te fijes 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 0?

2. Qu quiere decir que un nmero no es racional? Demuestra que
p
2 no es racional.
3. Sabiendo que a C b > c C d; a > b; c > d I se verifica necesariamente alguna de las

desigualdades: a > c; a > d; b > c o b > d ? Dar una prueba o un contraejemplo en
cada caso.
Prof. Javier Prez

11
4. Sea x un nmero real. Estudia si cada una de las desigualdades

x2 < x
x3 < x2
es consecuencia de la otra.
5. Calcula para qu valores de x se verifican las desigualdades siguientes.
i)
1
2x 3
<
xC2
3
iii) x 2
v) x 2
ii)
1
1
C
>0
x
1 x
5x C 9 > x
iv) x 3 .x 2/.x C 3/2 < 0
.a C b/x C ab < 0 vi) 3.x a/a2 < x 3 a 3 < 3.x
a/x 2
6. Prueba las siguientes desigualdades:

a) 0 < x C y
b)
1
1
C
x
aCb
x y < 1 siempre que 0 < x < 1; 0 < y < 1:

x
<
1
1
C siempre que 0 < a < x < b:
a
b
7. Prueba que cualesquiera sean los nmeros reales positivos a > 0 y b > 0 se verifica que
a
1
p <p
2.a C b/ b
b
1
p
aCb
8. Calcula para qu valores de x se verifican las siguientes desigualdades.

i)
iii)
v)
vii)
jx 5j < jx C 1j
ii)
jx 2 xj > 1
iv)
jx 1j C jx C 1j < 1 vi)
jxj jyj D jx yj
viii)
jx 1jjx C 2j D 3
jx y C zj D jxj jz yj
jx C y C zj D jx C yj C jzj
jx C 1j < jx C 3j
s
u
x
s
sCuCx
x
<
<
donde t; v; y 2 RC , prueba que <
< .
t
v
y
t
t CvCy
y
Generaliza este resultado.
9. Supuesto que
10. Prueba cada una de las siguientes desigualdades y estudia, en cada caso, cundo se da la
igualdad.
a) 2x y 6 x 2 C y 2 :
b) 4x y 6 .x C y/2 :
c) x 2 C x y C y 2 > 0:
d) .a2 C a C 1/.b 2 C b C 1/.c 2 C c C 1/ > 27abc donde a > 0; b > 0; c > 0.

Sugerencia. Para probar a) considrese .x
ducirse de a).
y/2 . Las dems desigualdades pueden de-
11. Demuestra todos los apartados del teorema (1.4) y enncialos con palabras.
Prof. Javier Prez

Ejercicios resueltos
12
12. Sean x e y nmeros distintos de cero. Prueba que las igualdades

q
1
1
1
x2 C y2 D x C y
D C ;
xCy
x
y
son falsas.
2
2
13. Comprueba que .x C 1/ 12 .2x C 1/ D x 12 .2x C 1/ . Por tanto, extrayendo
races cuadradas, se deduce que .x C 1/ 12 .2x C 1/ D x 12 .2x C 1/, esto es x D x C 1
y, por tanto, 0 D 1. Dnde est el error?
14. Calcula los nmeros reales x que verifican cada una de las igualdades
p
xC1
p
x
1 D 2;
1
p
x 2
1
2
p D
3
x
Comprueba las soluciones obtenidas.

15. Prueba que jxj C jyj C jzj 6 jx C y
zj C jx
y C zj C j x C y C zj.
16. Prueba que si m es un nmeros natural que no es el cuadrado de ningn nmero natural,
p
es decir, m n2 para todo n 2 N, entonces se verifica que m es un nmero real no
racional.
Sugerencia. Usa la descomposicin de m en factores primos.
17. Justifica las siguientes afirmaciones.
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.
p
p
p p
p
p
5C2
d) Los nmeros 2 C 3, 6
2
3 y p
son irracionales.
3 5C4
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 0?
Solucin. Si se pudiera dividir por 0, es decir, si hubiera un nmero que fuera el inverso
del 0, su producto por 0 habra de ser igual a 1, pero ya sabemos que al multiplicar por 0
el resultado es siempre 0. Conclusin: si se pudiera dividir por cero habra de ser 1 D 0,
lo cual es falso.
Prof. Javier Prez

13
Ejercicio resuelto 2 Qu quiere decir que un nmero no es racional? Demuestra que

es racional.
p
2 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 enp
cuestin es racional y se llega a una situacin
contradictoria.
Una
prueba
clsica
de
que
2 es irracional es como sigue. Supongamos
p
que 2 fuera racional. Entonces existirn nmeros naturales m y n sin factores comunes,
p
m
en particular m y n no podrn ser ambos pares, tales que 2 D , esto es, 2n2 D m2 . La
n
igualdad 2n2 D m2 nos dice que m2 es par lo cual implica que tambin tiene que serlo
m. As podemos escribir m D 2p . Sustituyendo en la igualdad anterior y simplificando
tenemos que n2 D 2p 2 , y de aqu se sigue, al igual que antes, que n tiene que ser par y
sta es la contradiccin anunciada.
2x 3
1
< .
xC2
3
Solucin. Claro est, x 2 (recuerda, no se puede dividir por 0). Como al multiplicar
una desigualdad por un nmero positivo la desigualdad se conserva, deducimos que si
x > 2, la desigualdad dada equivale a 6x 9 < x C 2, es decir, x < 11=5. Luego
para 2 < x < 11=5 la desigualdad es cierta. Veamos ahora qu pasa si x < 2. En tal
caso, al multiplicar por x C 2 < 0 la desigualdad equivale a 6x 9 > x C 2, es decir,
x > 11=5 condicin que no puede darse si x C 2 < 0. En resumen, la desigualdad es
cierta para 2 < x < 11=5.
Ejercicio resuelto 3 Calcula para qu valores de x se verifica que
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 .x C 2/2 obtenemos que dicha desigualdad equivale a la siguiente
.2x
1
3/.x C 2/ < .x C 2/2
3
Haciendo las operaciones indicadas obtenemos que esta desigualdad es lo mismo que
5x 2 x 22 < 0. Las soluciones de la ecuacin 5x 2 x 22 D 0 son a D 2 y
b D 11=5. Por tanto, 5x 2 x 22 D 5.x C 2/.x 11=5/. Resulta as que la desigualdad
dada equivale a .x C 2/.x 11=5/ < 0. 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 x C 2 > 0 y x 11=5 < 0, es decir 2 < x < 11=5 (la otra
posibilidad x C 2 < 0 y x 11=5 > 0 no puede darse).
Ejercicio resuelto 4 Calcula para qu valores de x se verifica que

3.x
a/a2 < x 3
a 3 < 3.x
a/x 2
Solucin. La desigualdad del enunciado equivale a las siguientes dos desigualdades:

x3
a3
3.x
Teniendo en cuenta que x 3

x3
a3
3.x
a/a2 > 0I
a 3 D .x
a/a2 D .x
x3
a3
3.x
a/x 2 < 0
a/.x 2 C ax C a2 /, resulta
a/.x 2 C ax
2a2 / D .x
a/2 .x C 2a/
Prof. Javier Prez

x3
a3
14
a/x 2 D .x
3.x
a/. 2x 2 C ax C a2 / D 2.x
a/2 .x C a=2/
Deducimos que la desigualdad del enunciado se verifica si, y slo si, x a, x C 2a > 0,
y x C a=2 > 0.
Si a > 0 entonces x C 2a > x C a=2 y la desigualdad se cumple si, y slo si, x >
y x a.
Si a < 0 entonces x Ca=2 > x C2a y la desigualdad se cumple si, y slo si, x >
a=2
2a.
Ejercicio resuelto 5 Sabiendo que aCb > cCd; a > b; c > d ; se verifica necesariamente
alguna de las desigualdades: a > c; a > d; b > c o b > d ? Dar una prueba o un
contraejemplo en cada caso.
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 252 C 250 > 500 C 1. Concluimos que no tiene
por qu ser cierto que a > c ni tampoco b > c. El ejemplo 500 C 2 > 251 C 250
prueba que tampoco tiene por qu ser b > d . Intenta ahora buscar un ejemplo en el que
no se cumpla que a > d (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 a > d .
Intenta demostrarlo (aunque tengas que dedicarle ms de cinco minutos).
Lo primero que se le ocurre a uno es escribir a > .c b/ C d . Si c b fuera siempre
positivo habramos acabado (y tambin habramos demostrado ms de lo que queremos),
pero no tiene por qu ser as, por ejemplo 9 C 8 > 2 C 1. La demostracin directa no
parece viable. En estos casos tenemos que intentar un camino indirecto. Probemos que
no puede ocurrir que a 6 d . Eso es fcil. Fjate: si fuera a 6 d , como nos dicen que b < a
y d < c, tambin sera b < d y a < c; pero entonces a C b < c C d lo que es contrario
a la hiptesis hecha. Luego concluimos que a > d .

Ejercicio resuelto 6 Supuesto que 0 < a < x < b, prueba que se verifica la siguiente
desigualdad.
1
1
1
1
C
< C
x
aCb x
a
b
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
aCb
aCb
<
x.a C b x/
ab
y, como los denominadores son positivos, esto es lo mismo que
.a C b/a b < .a C b/x.a C b
x/
Como a C b > 0 esta desigualdad equivale a ab < x.a C b

0 < ax C bx
x2
ab D .x
a/.b
x/, es decir:
x/
Prof. Javier Prez

15
Pero esta ltima desigualdad es consecuencia de que la hiptesis hecha, 0 < a < x < b,
la cual implica que 0 < x a y 0 < b x. Y por tanto .x a/.b x/ > 0.
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) jx C y C zj D jx C yj C jzj
b) jx
5j < jx C 1j
Solucin. a) En virtud de la desigualdad triangular, la igualdad del enunciado

jx C y C zj D j.x C y/ C zj D jx C yj C jzj, se da si, y slo si, .x C y/z > 0.
b) En virtud de la estrategia (1.8), la desigualdad jx

desigualdad jx 5j2 < jx C 1j2 , es decir,
x2
5j < jx C 1j equivale a la
10x C 25 < x 2 C 2x C 1
o sea, 24 < 12x, esto es, x > 2. Esto tambin puedes comprobarlo representando los
nmeros en una recta en la que fijas un origen y una unidad: se trata de ver cundo x est
ms cerca de 5 que de 1.
Ejercicio resuelto 8 Lo que sigue es una generalizacin del ejercicio propuesto (9).
Sean a1 ; a2 ; : : : ; an nmeros reales cualesquiera y b1 ; b2 : : : ; bn nmeros reales positivos. Sean m y M el menor y el mayor respectivamente de los nmeros
a1 a2
an
; ; ; :
b1 b2
bn
Entonces, para j D 1; 2; : : : ; n, se verifica que:
m6
aj
6 M; es decir; mbj 6 aj 6 M bj
bj
y sumando estas desigualdades:

m
n
X
j D1
de donde se sigue que:

m6
bj 6
n
X
aj 6 M
j D1
n
X
bj ;
j D1
a1 C a2 C C an
6 M:
b1 C b2 C C bn
Ejercicio resuelto 9 Prueba cada una de las siguientes desigualdades y estudia, en cada caso,
cundo se da la igualdad.
i) 2xy 6 x 2 C y 2 :
ii) 4xy 6 .x C y/2 :

Prof. Javier Prez

16
iii) x 2 C xy C y 2 > 0:
iv) .a2 C a C 1/.b 2 C b C 1/.c 2 C c C 1/ > 27abc donde a > 0; b > 0; c > 0.
v) abc 6 1 donde a > 0; b > 0; c > 0 verifican .1 C a2 /.1 C b 2 /.1 C c 2 / D 8.
Sugerencia: para probar i) considrese .x
ducirse de i).
y/2 . Las dems desigualdades pueden de-
Solucin.
i) y ii) Siguiendo la sugerencia, que para eso nos la dan, tenemos que
.x
y/2 D x 2 C y 2
2xy > 0
de donde se deduce que 2x y 6 x 2 C y 2 , y la igualdad ocurre si, y slo si, x D y.

Si sumas 2xy a ambos lados de la desigualdad 2x y 6 x 2 C y 2 , obtienes que
4x y 6 .x C y/2 , y la igualdad ocurre si, y slo si, x D y.
iii) Cambiando x por x en 2x y 6 x 2 C y 2 resulta 2x y > .x 2 C y 2 /. Por tanto
1
x 2 C x y C y 2 > .x 2 C y 2 /
2
De donde se deduce que x 2 C x y C y 2 > 0 y la igualdad se da si, y slo si,

x D y D 0.
iv) Probaremos ahora la desigualdad .a2 C a C 1/.b 2 C b C 1/.c 2 C c C 1/ > 27abc
donde se supone que a > 0; b > 0; c > 0. Lo primero que se observa es la completa
simetra de la desigualdad propuesta. Puesto que lo nico que sabemos de a, b y c
es que son positivos, parece razonable pensar que si la desigualdad que nos dan es
cierta es porque x 2 C x C 1 > 3x cualquiera sea x > 0, es decir, x 2 C 1 > 2x, o lo
que es igual .x 1/2 > 0; lo que es cierto (para todonmero x) y la igualdad se da
si, y solo si x D 1. Sustituyendo ahora en x 2 C x C 1 > 3x, x D a, x D b, x D c
y multiplicando miembro a miembro las tres desigualdades resultantes, obtenemos
que
.a2 C a C 1/.b 2 C b C 1/.c 2 C c C 1/ > 27abc
y la igualdad se da si, y slo si, aDb Dc D1. Dnde hemos usado que los nmeros
a, b y c son positivos?
v) La ltima desigualdad propuesta tambin llama la atencin por su simetra. Usando
otra vez que 0 6 .x 1/2 , se sigue que 2x 6 1 C x 2 . Ahora sustituyes x por a, b y
c, multiplicas miembro a miembro las desigualdades obtenidas y has acabado.
Fjate cunto partido hemos sacado de la desigualdad elemental .x

p
p
Ejercicio resuelto 10 Prueba que el nmero 2 C 3 es irracional.
y/2 > 0.
Solucin. Para hacer el ejercicio propuesto (17) 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 afirmar que el nmero es irracional.
p
p
2 5 p
Por ejemplo, D 2 C 3 es irracional pues
D 6.
Prof. Javier Prez

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 verifican para todo nmero natural. Considera, por ejemplo, la
siguiente igualdad en la que n 2 N:
1
12 C 22 C 32 C C n2 D n.n C 1/.2n C 1/
6
(1.4)
Si le damos a n un valor, por ejemplo nD8, podemos comprobar fcilmente que la igualdad correspondiente es cierta. Si le damos a n el valor 1000 ya no es tan fcil comprobar esa igualdad
y se le damos a n el valor 101000 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 n; no, queremos probar que es vlida para todo nmero natural n. 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 A un conjunto de nmeros naturales, A N, y
supongamos que:
i) 1 2 A
ii) Siempre que un nmero n est en A se verifica que n C 1 tambin est en A.
Entonces A D N.
El Principio de Induccin Matemtica es la herramienta bsica para probar que una cierta propiedad P .n/ es verificada 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 P .1/ es cierta.
B) Comprobamos que si un nmero n satisface la propiedad, entonces tambin el nmero
n C 1 la satisface. Es decir comprobamos que si P .n/ es cierta, entonces tambin lo es
P .n C 1/.
Si ahora definimos el conjunto M D fn 2 N W P .n/ es ciertag, entonces el punto A) nos dice
que 1 2 M , y el punto B) nos dice que siempre que n est en M se verifica que n C 1 tambin
est en M . Concluimos, por el principio de induccin, que M D N, o sea, que P .n/ es cierta
para todo nmero natural n.
Observa que en B) no se dice que se tenga que probar que P .n/ es cierta, sino que hay que
demostrar la implicacin lgica P .n/P .n C 1/. Para demostrar dicha implicacin lo que
hacemos es suponer que P .n/ es cierta. Es por eso que suele llamarse a P .n/ la hiptesis de
induccin.
Puedes imaginar el principio de induccin de la siguiente forma. Considera que cada nmero natural lo representamos por una ficha de domin y las colocamos en una fila recta interminable. Seguidamente empujamos a la primera ficha sobre la siguiente (esto es el punto A)
Prof. Javier Prez

18
anterior: cae la primera ficha). Caern todas? Para eso debemos de estar seguros de que siempre que cae una ficha tira a la que le sigue, es decir que la distancia entre dos fichas cualesquiera
es menor que la longitud de una ficha (esto es el punto B) anterior: si cae la ficha n tambin cae
la n C 1). Cuando esto es as podemos asegurar que caern todas las fichas. Probemos, como
ejemplo, la igualdad (1.4).
1.10 Ejemplo. Para todo nmero natural n 2 N se verifica la igualdad
1
12 C 22 C 32 C C n2 D n.n C 1/.2n C 1/
6
Demostracin. Para nD1 la igualdad se reduce a 1D1 que, evidentemente, es cierta. Acaba de
caer la primera ficha del domin. Supongamos que dicha igualdad se verifica para un nmero
n 2 N (acaba de caer la ficha n del domin) y probemos que en tal caso tambin se verifica para
n C 1 (hay que probar que al caer la ficha n tira a la ficha n C 1). Que la ficha n cae quiere decir
que
1
12 C 22 C 32 C C n2 D n.n C 1/.2n C 1/
(1.5)
6
Para que al caer la ficha n tambin caiga la ficha n C 1, deberemos probar que de la igualdad
anterior se deduce la siguiente igualdad.
1
12 C 22 C 32 C C n2 C .n C 1/2 D .n C 1/.n C 2/.2.n C 1/ C 1/
6
(1.6)
Tenemos que
1
12 C 22 C 32 C C n2 C .n C 1/2 Dpor (1.5) D n.n C 1/.2n C 1/ C .n C 1/2 D
6

1
D .n C 1/ n.2n C 1/ C 6.n C 1/ D
6
1
D .n C 1/.2n2 C 7n C 6/D
6
1
D .n C 1/.n C 2/.2n C 3/
6
Que es justamente la igualdad (1.6). Concluimos, en virtud del principio de induccin, que la
igualdad del enunciado es cierta para todo n 2 N.

La demostracin del siguiente lema es otro ejemplo del principio de induccin.
1.11 Lema. Si el producto de n nmeros positivos es igual a 1, entonces su suma es mayor o
igual que n. Y la suma es igual a n si, y slo si, todos ellos son iguales a 1.
Demostracin. Para cada nmero natural n, sea P .n/ la proposicin si el producto de n
nmeros positivos es igual a 1, entonces su suma es mayor o igual que n. Demostraremos
por induccin que P .n/ es verdadera para todo n 2 N. Trivialmente P .1/ es verdadera.
Supongamos que P .n/ es verdadera. Consideremos n C 1 nmeros positivos no todos iguales
a 1 cuyo producto sea igual a 1. En tal caso alguno de dichos nmeros, llammosle x1 , tiene
que ser menor que 1 y otro, al que llamaremos x2 , tiene que ser mayor que 1. Notando
x3 ; ; xnC1 los restantes nmeros se tiene que:
.x1 x2 /x3 xnC1 D 1
Prof. Javier Prez

19
Por tanto x1 x2 ; x3 ; ; xnC1 son n nmeros positivos con producto igual a 1 por lo que:
x1 x2 C x3 C C xnC1 > n
Como 0 < .1
x1 /.x2
(1.7)
1/, tenemos que:

x1 C x2 > 1 C x1 x2
(1.8)
De (1.71) y (1.8) se sigue que:

x1 C x2 C x3 C C xnC1 > n C 1
Observa que la desigualdad obtenida es estricta. Hemos probado as que P .nC1/ es verdadera.
Concluimos, por el principio de induccin, que la afirmacin del enunciado es verdadera para
todo nmero natural n.
2
n
X
Notacin. Dados n nmeros a1 ; a2 ; ; an representamos la suma de todos ellos por
aj y
el producto de todos ellos por
n
Y
j D1
aj .
j D1
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
a1 ; a2 ; ; an se verifica que:
p
a1 C a2 C C an
n
a1 a2 an 6
n
(1.9)
Y la igualdad se da si, y slo si, a1 D a2 D D an .

p
ai
n
a1 a2 an y xi D ; 1 6 i 6 n, Claramente se verifica
G
n
n
X
X
que x1 x2 xn D 1 por lo que, en virtud del lema anterior,
xi > n es decir
ai > nG
Demostracin. Basta poner G D
iD1
iD1
que es la desigualdad que queremos probar. Se da la igualdad solamente cuando xi D 1; para

i D 1; 2; : : : ; n, es decir, cuando a1 D a2 D D an .
2
a1 C a2 C C an
p
n a a a
se llaman, respectivamente, medias geon y
1 2
n
mtrica y aritmtica de a1 ; a2 ; ; an . La desigualdad de las medias tiene interesantes aplicaciones a problemas de extremos. Una til consecuencia de ella se expone a continuacin.
Los nmeros
1.13 Corolario. Sean fi ; 1 6 i 6 n; funciones positivas definidas en un conjunto A R y

supongamos que en un punto a 2 A se verifica que f1 .a/ D f2 .a/ D D fn .a/.
i) Si el producto de las funciones es constante, se verifica que
n
X
iD1
fi .a/ 6
n
X
iD1
fi .x/
para todo x 2 A:
Prof. Javier Prez
20
ii) Si la suma de las funciones es constante, se verifica que:

n
Y
fi .x/ 6
iD1
n
Y
fi .a/
iD1
para todo x 2 A:
Demostracin. Lo afirmado en i) y ii) es consecuencia directa de que, para todo x 2 A se

verifica
n
X
fi .x/
n
Y
iD1
n
fi .x/ 6
n
iD1
y se da la igualdad si, y slo si, los nmeros f1 .x/; f2 .x/; ; fn .x/ 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 definir los llamados coeficientes
binmicos. Dados dos nmeros enteros n > k > 0 se define:

n
Y
n
n!
donde n! D
p
D
k!.n k/!
k
pD1
Es decir, n! es el producto de todos los nmeros naturales menores o iguales que n. Se define
tambin 0! D 1. La igualdad

n
n
nC1
C
D
.1 6 k 6 n/
(1.10)
k 1
k
k
es de comprobacin
inmediata. A partir de ella se prueba fcilmente, por induccin sobre n,

que kn es un nmero entero positivo.
1.14 Teorema (Frmula del binomio de Newton). Cualesquiera sean los nmeros reales
a; b y el nmero natural n se verifica que:
n
.a C b/ D
n
X
n
kD0
an
b k:
Prof. Javier Prez

21
Demostracin. Para n D 1 la igualdad del enunciado es trivialmente verdadera. Supongamos

que dicha igualdad se verifica para n 2 N. Entonces:
" n
#
X n
.a C b/nC1 D .a C b/.a C b/n D .a C b/
an kb k
k
kD0

n
n
X n
X n
nC1 k k
D
a
b C
a n k b kC1 D
k
k
kD0
n
X
kD0
D a
D
kD0

n nC1
a
k
nC1
nC1
X
kD0
Cb
nC1
b C
nC1
X
kD1
n
X
n
kD1

n C 1 nC1
a
k
1

a nC1
n
k

bk
a nC1
bk D
bk
Lo que prueba la validez de la igualdad para n C 1. En virtud del principio de induccin,

concluimos que la igualdad del enunciado es cierta para todo n 2 N.
2
La induccin matemtica es un proceso demostrativo
Considera la expresin 991n2 C 1. Con un ordenador puedes comprobar que si evalas
esta expresin para n D 1; 2; 3; : : : ; 1000; : : : ; 100000 los valores obtenidos no son cuadrados
perfectos. Debemos concluir que para todo nmero natural n se verifica que 991n2 C 1 no
es un cuadrado perfecto? Pues no. Entre los nmeros de la forma 991n2 C 1 hay cuadrados
perfectos. . . el valor mnimo de n para el cual 991n2 C 1 es un cuadrado es el nmero n D
12055735790331359447442538767 !
Con eso te indico que hay que ser precavido: no basta comprobar la veracidad de una
expresin para unos cuantos valores de n para concluir que dicha expresin es cierta para todo
n. La historia de las matemticas est llena de este tipo de errores.
18. Prueba, usando el principio de induccin, que las siguientes afirmaciones son ciertas para
todo n 2 N.
a) 3n
b)
n3
1 es divisible por 2.
C 5n es mltiplo de 6.
c) 32n
1 es mltiplo de 8.
d)
n5
n es divisible por 5.
e)
n3
n C 1 no es divisible por 3.
Prof. Javier Prez

22
19. Dado un nmero x 1, prueba por induccin la frmula para la suma de una progresin
geomtrica:
x nC1 1
1 C x C x2 C x3 C C xn D
x 1
Deduce directamente este mismo resultado poniendo S D 1 C x C x 2 C x 3 C C x n ,
multiplicando S por x y despejando S entre las dos igualdades obtenidas.
20. Prueba, usando el principio de induccin, que para todo n 2 N se verifica la igualdad
1C
1
1
1
C
C
C C
13
35
57
.2n
1
n
D
1/.2n C 1/ 2n C 1
21. Prueba, usando el principio de induccin, que para todo n 2 N se verifican las desigualdades siguientes.
p
p
1
1
1
n 6 1 C p C p C C p 6 2 n
n
2
3
1
1
1 1
n
b) 1 C C C C C n > 1 C
2 3
4
2
2
1 3 5 .2n 1/
1
c)
6p
2 4 6 .2n/
1 C 3n
a)
22. Demuestra que cualquier conjunto de nmero reales, con un nmero finito de elementos,
tiene mximo y mnimo.
23. Demuestra que si la igualdad
2 C 4 C 6 C C 2n D n2 C n C 2
es verdadera para un nmero natural n > 2 tambin lo es para n
igualdad no es vlida para n D 1. Qu deduces de esto?
1. Sin embargo, esta
24. Prueba que, usando solamente dos colores, es posible colorear todas las regiones que se
forman al trazar n 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 n. Tambin hay otra forma de
hacerlo directamente muy sencilla e ingeniosa.
25. 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 afirmacin siguiente:
P .n/ = En todo grupo de n nias todas las nias del grupo tienen igual color
de ojos
es cierta para todo n 2 N.
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 P .n/ es cierta para n D 1
Prof. Javier Prez

23
B) Supongamos que P .n/ es cierta, es decir que para todo conjunto formado por n nias
se verifica que todas las nias del conjunto tienen el mismo color de ojos.
Consideremos ahora un conjunto formado por n C 1 nias. Quitamos una nia del conjunto y nos queda un conjunto formado por n 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 n nias del conjunto.
Por tanto las n C 1 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?
26. En un circuito circular hay n 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 n coches puede recorrer el circuito completo.
Sugerencia. Razona por induccin. Observa que no sabemos en qu lugar del circuito
estn situados los coches.
27. Prueba que para todo nmero natural n > 1 se verifican las desigualdades siguientes.

nC1 n
1 3 5 .2n 1/ < nn I
n! <
2
Sugerencia: Usa la desigualdad de las medias.
28. Dados n nmeros positivos a1 ; a2 ; : : : ; an prueba las siguientes desigualdades.
a1
a2
an 1
an
C
C C
C
> n;
a2
a3
an
a1
p
n
n
6 a1 a2 an ;
ii)
1=a1 C 1=a2 C C 1=an

1
1
1
iii) .a1 C a2 C C an /
C
C C
> n2 .
a1
a2
an
Cundo las desigualdades anteriores son igualdades?
i)
Sugerencia: Usa la desigualdad de las medias.

29. Sean a, b nmeros positivos distintos y n 2 N. Utiliza la desigualdad de las medias para
probar que:

a C nb nC1
n
ab <
:
nC1
Deduce que para todo nmero natural n se verifica que:

1
1C
n
n

< 1C
1
nC1
nC1

; y 1C
1
nC1
nC2

1 nC1
< 1C
n
Los siguientes ejercicios pueden hacerse usando la desigualdad de las medias o bien el
corolario (1.13).
Prof. Javier Prez

24
30. Prueba que el cuadrado es el rectngulo de mxima rea para un permetro dado y de
mnimo permetro para un rea dada.
31. Prueba que el cubo es el ortoedro de mximo volumen para una superficie lateral dada y
de mnima superficie lateral para un volumen dado.
32. 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 a; b; c son las longitudes de los lados y p D .a C b C c/=2 es el semipermetro,
p entonces, segn la frmula de Heron de Alejandra, el rea, A, viene dada por
A D p.p a/.p b/.p c/.
33. Calcula el rectngulo de mayor rea inscrito en la elipse de ecuacin
a > 0; b > 0.
x2 y2
C D1, donde
a2 b 2
34. Calcula el ortoedro de mayor volumen inscrito en el elipsoide de ecuacin

x2
y2
z2
C
C
D1
a2
b2
c2
donde a > 0; b > 0; c > 0.
35. Calcula la distancia mnima del origen a la superficie en R3 de ecuacin xyz D 27. En
otras palabras, si E D f.x; y; z/ 2 R3 p
W xyz D 27g, lo que se pide es calcular el mnimo
del conjunto de nmeros reales C D f x 2 C y 2 C z 2 W .x; y; z/ 2 Eg.

Ejercicio resuelto 11 Sean a, b nmeros positivos distintos y n 2 N. Utiliza la desigualdad
de las medias para probar que:
n
ab <
a C nb
nC1
nC1
(1.11)
Deduce que para todo nmero natural n se verifica que:

1
1C
n
n

< 1C
1
nC1
nC1

; y 1C
1
nC1
nC2
1
< 1C
n
nC1
(1.12)
Solucin. La desigualdad (1.11) se deduce de la desigualdad de las medias

a1 C a2 C C an C anC1
p
a1 a2 an anC1 6
nC1
nC1
haciendo a1 D a2 D D an D b, anC1 D a y elevando a la potencia n C 1.

Prof. Javier Prez

25
1
en (1.11) se obtiene la primera desigualdad de (1.12).
n
1
Finalmente, sustituyendo en (1.11) n por n C 1 a D 1 y b D 1
, se obtiene la segunda
n
desigualdad de (1.12).
Haciendo ahora a D 1 y b D 1 C
Ejercicio resuelto 12 Prueba que el cubo es el ortoedro de mximo volumen para una superficie lateral dada y de mnima superficie lateral para un volumen dado.
Solucin. El volumen de un ortoedro cuyas aristas tienen longitudes a; b; c viene dado
por V D abc y su superficie lateral por S D 2.ab C bc C ca/. Puesto que
p
ab C bc C ca
3
.ab/.bc/.ca/ 6
.1/
3
p
3
o, lo que es igual, V 2 6 S =6, deducimos que parapun volumen dado, V , la superficie
3
lateral S es mnima cuando tengamos que S =6 D V 2 , es decir que en .1/ se de la
igualdad lo que ocurre si, y slo si, a D b D c (el ortoedro es un cubo).
Anlogamente,
para un valor dado de la superficie lateral, S , tendremos que V es mxip
3
mo cuando V 2 D S =6, 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

x2
y2
C
D 1, donde a > 0; b > 0.
a2
b2
Solucin. Sean .; / las coordenadas del vrtice del rectngulo situado en el cuadrante
positivo del plano ( > 0; > 0). El rea del rectngulo es igual a 4. El problema,
pues, consiste en hallar el mximo del producto cuando y verifican que
2
2
C
D1
.1/
a2
b2
Supuesto que y satisfacen .1/, en virtud de la desigualdad de las medias, tenemos
que
s
q
2 2 ab
D 2 2 D ab
6
.2/
2
a2 b 2
2
2
D
, lo que junto con .1/ equivale a que
a2
b2
2
2
1
a
b
D
D
,
es
decir,
D
p
;
D
p
. Por tanto el mximo valor del rea de un
2
a2
b2
2
2
rectngulo inscrito en la elipse es 2ab.
La igualdad en .2/ se da si, y slo si,
Ejercicio resuelto 14 Calcula la distancia mnima del origen a la superficie en R3 de ecua3

cin xyz D 27. En otras palabras, si E D f.x; y; z/ 2 R
p W xyz D 27g, lo que se pide es

calcular el mnimo del conjunto de nmeros reales C D x 2 C y 2 C z 2 W.x; y; z/ 2 E .
Solucin. Para todo .x; y; z/ 2 E se verifica que
q
q
3
3
2
2
2
2
x C y C z > 3 .xyz/ D 3 .27/2 D 27
p
p
p
Puesto que .3; 3; 3/ 2 E y 32 C 32 C 32 D 27, deducimos que mKn.C / D 27.
Prof. Javier Prez

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 refieren 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, superficies, volmenes o tiempos. Este
proceso requiere bastante ingenio. Consideremos, para fijar ideas, que queremos expresar numricamente la longitud de un segmento de recta AB . Lo primero que hay que hacer es elegir
una unidad de medida que ser otro segmento OU y comparar ambos. Puede ocurrir que AB
contenga un nmero exacto, m, de veces a OU . En tal caso podemos escribir simblicamente
AB Dm OU . El nmero m representa entonces la medida de AB respecto de OU . Lo ms
frecuente, no obstante, es que OU no est contenido un nmero exacto de veces en AB. En
tal caso podemos dividir OU en un cierto nmero, n, de partes iguales con la esperanza de
que, al tomar como nueva unidad de medida una de estas partes, OU 0 , resulte que AB contenga un nmero exacto, m, de veces a OU 0 . Cuando esto es as se dice que los segmentos AB
y OU son conmensurables. Esto quiere decir que admiten una unidad de medida comn: el
segmento OU 0 . Podemos escribir AB Dm OU 0 . Por otra parte OU Dn OU 0 . Podemos ahora
usar los nmeros m; n para hacernos una idea de cmo es AB comparado con OU ; esto es
lo que se expresa diciendo que la razn de AB respecto de OU es m W n (lase m sobre n).
Con el paso del tiempo el smbolo m W n que, en sus orgenes, como acabamos de explicar,
representaba la razn de (las longitudes) de dos segmentos qued desprovisto de su significado
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
AB, dividiendo OU en un nmero, n, suficientemente grande de partes iguales, podemos conseguir que la nueva unidad de medida, OU 0 , est efectivamente contenida un nmero exacto de
veces en AB. 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 OU es el lado y AB la diagonal, y suponemos que ambos admiten una
unidad de medida comn OU 0 , tendremos que OU D n OU 0 , y AB D m OU 0 para convenientes nmeros naturales m; n. Pero, en virtud del teorema de Pitgoras, 2.OU /2 D .AB/2 ,
y deducimos que 2n2 .OU 0 /2 D m2 .OU 0 /2 , por lo que debe ser 2n2 D m2 . Veamos que esto
lleva a una contradiccin. Podemos suponer que m y n no tienen factores comunes (si los
tuvieran se los quitamos) y, en particular, m y n no son ambos pares. La igualdad 2n2 D m2
Prof. Javier Prez

Nmeros y medida de magnitudes. Segmentos inconmensurables.
27
nos dice que m2 es par lo cual implica que tambin tiene que serlo m. As podemos escribir
m D 2p . Sustituyendo en la igualdad anterior y simplificando tenemos que n2 D 2p 2 , y de
aqu se sigue, al igual que antes, que n 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 fijado 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 suficientes 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 fig.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 suficientes, como los pitagricos crean, para describirlo. Las
Figura 1.1. El pentagrama pitagrico
razones de los segmentos AD, BD, CD y BC son todas ellas iguales a la razn urea.
p
1C 5
D
D
D
2
BD
CD
BC
Como dicho
p nmero es irracional, los segmentos considerados son inconmensurables. El n1C 5
mero
es uno de los ms famosos de las Matemticas. Si en Google buscas razn
2
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.
AD
BD
CD
Prof. Javier Prez

Nmeros y medida de magnitudes. Segmentos inconmensurables.
28
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,
flor 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
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 filsofos. Casualidad? Ni mucho menos.
Lo que hoy llamamos Cultura Occidental nace de una gran blasfemia, a saber, la afirmacin
de que la realidad puede ser comprendida y explicada racionalmente. Frente a los relatos mitolgicos y a los caprichosos dioses imprevisibles, la afirmacin 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 eficaces. La palabra griega
, que se lee mathema, significa conocimiento.
El Libro del Universo est escrito en el lenguaje de las matemticas y sus caracteres son tringulos, crculos y otras figuras 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
Prof. Javier Prez

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 R. 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 eficaces para obtener dichas soluciones,
ya sea de forma exacta o con aproximacin tan buena como se desee, se fundamenta en las
propiedades matemticas de R. 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 fin, sin R 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 significa la afirmacin 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 . . .
Prof. Javier Prez

Algunas razones para estudiar matemticas
30
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.
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 n 2 N:
Si el nmero n es par, se divide por 2 para obtener el nmero m D n=2.
Si el nmero n es impar, se multiplica por 3 y se suma 1 para obtener el nmero
m D 3n C 1.
Este proceso se repite seguidamente partiendo del nmero m obtenido y as sucesivamente. Por
ejemplo, partiendo de n D 61 se obtienen los siguientes resultados:
f61; 184; 92; 46; 23; 70; 35; 106; 53; 160; 80; 40; 20; 10; 5; 16; 8; 4; 2; 1g
Una vez obtenido 1 como resultado se repite indefinidamente el grupo f4; 2; 1g. 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 258 D 288 230 376 151 711 744 Pero eso
no es una demostracin matemtica!
Otro problema del que no se sabe la respuesta es si hay infinitas parejas de primos gemelos.
Se llaman primos gemelos a las parejas de nmeros primos que se diferencian en dos unidades.
Por ejemplo .17; 19/; .29; 31/; .1000000000061; 1000000000063/.
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 grfica, 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 eficaces. Ese llamativo acuerdo de las Matemticas con el mundo real no deja de resultar
bastante sorprendente.
Prof. Javier Prez

Algunas razones para estudiar matemticas
31
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
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:
Definiciones 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 afirmar que un cientfico debe estar familiarizado con la forma
de pensar matemtica. Pero incluso para quienes no se sienten especialmente atrados por la
actividad cientfica, 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 suficientemente
amplia para no sentirse extrao en un mundo al que las innovaciones tecnolgicas y el desarrollo cientfico 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
Prof. Javier Prez

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 significa demostrar H T .
Debes saber lo que significa 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 R.

Debes ser capaz de usar dichos axiomas para probar propiedades algebraicas y de orden
de R.
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 definicin de la funcin raz cuadrada.
Debes entender la definicin 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 final 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 dificultad, con frecuencia estn tomados de competiciones matemticas, pero
las soluciones estn claramente expuestas. Algunos de los ejercicios propuestos los he tomado
de esos libros.
Prof. Javier Prez

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 Definicin. Sean A y B dos conjuntos. Una funcin de A en B es una regla que a cada
elemento de A asocia un nico elemento de B.
En esta definicin la dificultad 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 A donde est definida, el conjunto B
donde toma valores y la regla que la define. En este curso estamos interesados principalmente
en funciones entre conjuntos de nmeros reales, es decir, A y B son subconjuntos de R; con
frecuencia B D R. Estas funciones se llaman funciones reales de una variable real.
33
Funciones reales
34
Convenio. En lo que sigue solamente consideraremos funciones reales y, si no se especifica

otra cosa, se entiende que B D R.
Por tanto, para darnos una funcin nos deben decir, en principio, el subconjunto A de R
donde suponemos que la funcin est definida y la regla que asigna a cada nmero de A un
nico nmero real. El conjunto A recibe el nombre de dominio de la funcin.
Las funciones se representan por letras. En la prctica las letras ms usadas son f , g y h,
pero cualquiera otra es tambin buena. Si f es una funcin y x es un nmero que est en su
dominio, se representa por f .x/ (lase f de x o, mucho mejor, f evaluada en x o el
valor de f en x) el nmero que f asigna a x, que se llama imagen de x por f .
Es muy importante distinguir entre f (una funcin) y f .x/ (un nmero real).
El smbolo f W A ! R se utiliza para indicar que f es una funcin cuyo dominio es A (se
supone, como hemos dicho antes, que A es un subconjunto de R). Tambin es frecuente usar
el simbolismo x 7! f .x/, .x 2 A/.
~
Es importante advertir que las propiedades de una funcin dependen de la regla que la define y tambin de su dominio, por ello dos funciones que tienen distintos dominios se consideran
distintas funciones aunque la regla que las defina sea la misma.
2.2 Definicin (Igualdad de funciones). Dos funciones f y g son iguales cuando tienen igual
dominio y f .x/ D g.x/ para todo x en el dominio comn.
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) f W R ! R la funcin dada por f .x/ D x 2 .
b) gW RC ! R la funcin dada por g.x/ D x 2 .
(
1;
c) hW R ! R la funcin dada por h.x/ D
1;
d) Sea f .x/ D
si x 2 Q
si x 2 R n Q
x 3 C 5x C 6
x2 1
Segn lo antes dicho, las funciones en a) y b) son distintas. De hecho tienen propiedades distintas. Observa que la funcin definida en b) es creciente y la definida en a) no lo es.
La funcin definida 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 C racional? Pese a ello la funcin est correctamente definida.
En d) no nos dan explcitamente el dominio de f por lo que se entiende que f est definida
siempre que f .x/ tenga sentido, es decir, siempre que, x 2 1 0, esto es, para x 1.
El convenio del dominio. Cuando una funcin se define por una frmula f .x/ = frmula y
el dominio no es explcito, se entiende que el dominio es el mayor conjunto de valores de x
Prof. Javier Prez

Operaciones con funciones
35
para los cuales la expresin f .x/ tiene sentido como nmero real. ste es el llamado dominio
natural de la funcin.
Dada una funcin f W A ! R , y un conjunto no vaca C A, el conjunto de las imgenes
por f de todos los elementos de C :
f .C / D ff .x/ W x 2 C g
se llama imagen de C por f . Cuando C D A, el conjunto f .A/ se llama conjunto imagen de
f y tambin rango o recorrido de f .
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 f; g W A ! R , se define su
funcin suma (resp. producto) como la funcin que a cada nmero x 2 A asigna el nmero real
f .x/Cg.x/ (resp. f .x/g.x/). Dicha funcin se representa con el smbolo f Cg (resp. fg). Se
define la funcin cociente de f por g como la funcin que a cada nmero x 2 A con g.x/ 0
f
f .x/
. Dicha funcin se representa por . Tambin podemos multiplicar
asigna el nmero real
g.x/
g
una funcin f por un nmero para obtener la funcin f que asigna a cada x 2 A el nmero
f .x/. De todas formas, el producto de un nmero por una funcin puede considerarse como
un caso particular del producto de funciones, pues se identifica 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 f; g; hW A ! R se verifican las siguientes
propiedades:
Asociativas. .f C g/ C h D f C .g C h/; .fg/h D f .gh/
Conmutativas. f C g D g C f ;
fg D gf
Distributiva. .f C g/h D f h C gh
2.5 Definicin (Composicin de funciones). Sean f W A ! R y g W B ! R funciones con
f .A/ B. En tal caso, la funcin h W A ! R dada por h.x/ D g.f .x// para todo x 2 A
se llama composicin de g con f y se representa por h D g f . Observa que la funcin
g f , solamente est definida cuando la imagen de f est contenida en el dominio de g. La
composicin de funciones es asociativa.
2.6 Definicin (Funciones inyectivas). Se dice que una funcin f W A ! R es inyectiva en
un conjunto C A, si en puntos distintos de C toma valores distintos; es decir, x; y 2 C y
x y, entonces f .x/ f .y/. Se dice que f es inyectiva cuando es inyectiva en A.
2.7 Definicin (La funcin inversa de una funcin inyectiva). Si f W A ! R es una funcin
inyectiva, puede definirse una nueva funcin en el conjunto B D f .A/, f 1 W B ! R , que
Prof. Javier Prez

Intervalos
36
llamaremos funcin inversa de f , que a cada nmero y 2 B asigna el nico nmero x 2 A tal
que f .x/Dy. Equivalentemente f 1 .f .x//Dx para todo x 2 A, y tambin f .f 1 .y//Dy
para todo y 2 B.
2.8 Definicin (Funciones montonas). Se dice que una funcin f W A ! R es creciente
(resp. decreciente) en un conjunto C A, si f conserva (resp. invierte) el orden entre puntos
de C , es decir, si x; y 2 C y x 6 y, entonces f .x/ 6 f .y/ (resp. f .x/ > f .y/). Se dice
que f es creciente (resp. decreciente) cuando lo es en todo su dominio de definicin. 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 Definicin (Grfica de una funcin). La grfica de una funcin f WA ! R es el conjunto
de pares de nmeros f.x; f .x// W x 2 Ag.
La grfica de una funcin pone de manifiesto, a simple vista, muchas de sus propiedades.
Para dibujar grficas de funciones se precisan herramientas de clculo que estudiaremos ms
adelante.
~
Un error frecuente, que debes evitar, consiste en confundir una funcin con su grfica. Este
error procede de una manera inapropiada de representar las funciones que consiste en escribir
y D f .x/. De esta forma se introduce una nueva letra y para representar el valor que la
funcin f toma en x. Ahora la cosa empieza a estar confusa la funcin es y?, la funcin es
f ?, la funcin es f .x/? Esto procede de la Fsica en donde se interpreta que x es la magnitud o
variable independiente e y es la magnitud o variable dependiente. Peor todava, es y 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 significado. Aclaremos esto. La nica forma
razonable de interpretar una igualdad como yDf .x/, es entender que dicha igualdad representa
al conjunto de puntos del plano que la satisfacen, es decir, representa a la grfica de f . Pero
todava hay otra posible confusin inducida por la notacin y Df .x/. Consiste en que podemos
considerar la funcin G.x; y/ D y f .x/. Se trata de una funcin de dos variables x e y que
tiene muy poco que ver con la igualdad y D f .x/. Pues bien, hay quien confunde la funcin G
con la grfica de f .
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 Definicin. Un conjunto I R se llama un intervalo si siempre que dos nmeros estn
en I todos los nmeros comprendidos entre ellos dos tambin estn en I . El conjunto vaco, ,
se considera tambin como un intervalo.
Adems de R 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.
Prof. Javier Prez

Intervalos
37
Intervalos que tienen dos puntos extremos a y b (donde a 6 b son nmeros reales):
a; b
a; b
a; b
a; b
D
D
D
D
fx
fx
fx
fx
2 R W a 6 x 6 bg
2 R W a < x < bg
2 R W a 6 x < bg
2 R W a < x 6 bg
(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 c 2 R llamado origen del intervalo:
; c
; c
c; C
c; C
D
D
D
D
fx
fx
fx
fx
2 R W x < cg
2 R W x 6 cg
2 R W x > cg
2 R W x > cg
(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 C (lase: ms infinito) y (lase: menos infinito"); son eso: smbolos. No son nmeros. Cada vez que aparece
uno de ellos en una situacin determinada hay que recordar cmo se ha definido su significado
para dicha situacin. A veces, se escribe RD ; C.
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.
; c
; c
c; !
c; !
D
D
D
D
fx
fx
fx
fx
2 R W x < cg
2 R W x 6 cg
2 R W x > cg
2 R W x > cg
(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 c; C se lee todos los nmeros reales mayores
o iguales que c. Si t lees el intervalo de c a C no ests leyendo bien.
Observaciones sobre el concepto general de funcin y el formalismo que usamos

para definir funciones
Hemos definido una funcin como tres cosas: un conjunto A, un conjunto B y una regla
que a cada elemento x de A hace corresponder un elemento de B. Lo nico que interesa de
esa regla es que est correctamente definida. Por ejemplo, la regla que a cada nmero x 2 0; 1
hace corresponder el dgito de su desarrollo decimal que ocupa el lugar cien mil millones, est
correctamente definida 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 definido. 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 definidas mediante frmulas; adems, frmulas que, salvo excepciones, definirn
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 definir una funcin, pero quiero detenerme en l porque debes entenderlo perfectamente. Para definir una
Prof. Javier Prez

Intervalos
38
funcin solemos empezar diciendo sea f W A ! R la funcin dada por. . . . Con esto estamos
diciendo tres cosas: que la funcin est definida en A, que toma valores en R, y que representamos con la letra f la regla. El error ms frecuente que se produce aqu se debe al hecho de
que, con frecuencia, el conjunto A no es el dominio natural de definicin 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 definir la funcin, se especifica la regla que a cada elemento de A asocia un nmero real, lo que suele expresarse por la
funcin dada por f .x/Dfrmula o funcin elemental para todo x 2 A. Se suele volver a
insistir en que la variable x toma solamente valores en A para indicar que no nos interesa lo
que pueda pasar fuera de A.
Ten en cuenta que la letra con la que representamos una funcin, suele usarse f , podemos
elegirla a gusto y no tiene mayor importancia siempre que no se preste a confusiones. Lo
importante son los datos que definen la funcin: los conjuntos A, B (nosotros suponemos que
B D R) y la regla. Veamos un ejemplo ms de esta forma de proceder para que no te queden
dudas.
a) Sea
f W R ! R la funcin dada por f .x/ D x 3
4x 2 C x C 6 para todo x 2 R
(2.1)
En la siguiente figura se representa parte de la grfica de esta funcin.

Y
8
6
y D f .x/
4
2
-3
-2
-1
-2
-4
Figura 2.1. La funcin f .x/ D x 3
4x 2 C x C 6
La imagen de esta funcin es f .R/ D R. Esta funcin no tiene mximo ni mnimo, no es

creciente y tampoco es decreciente. No es inyectiva y su funcin inversa no est definida.
b) Sea
f W 0; 2 ! R la funcin dada por f .x/ D x 3
4x 2 C x C 6 para todo x 2 0; 2 (2.2)
Observa que, aunque de forma deliberada uso la misma letra, f , para representar la regla,
la funcin definida en (2.2) es muy diferente que la definida en (2.1). Aunque la regla es la
misma, en (2.2) solamente nos interesa lo que pasa en el intervalo 0; 2. La imagen de esta
Prof. Javier Prez

Estudio descriptivo de las funciones elementales
39
funcin es f .0; 2/ D 0; 6. Claramente, la funcin (2.2) es estrictamente decreciente, tiene

mximo y mnimo y es inyectiva. Su funcin inversa est definida (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 definiciones 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
P .x/ D c0 C c1 x C c2 x 2 C C cn x n
donde c0 ; c1 ; : : : ; cn son nmeros reales llamados coeficientes del polinomio; n 2 N es un
nmero natural que, si cn 0, se llama grado del polinomio. Las funciones polinmicas tienen
como dominio natural de definicin la totalidad de R 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:
R.x/ D
P .x/
Q.x/
donde P (el numerador) y Q (el denominador) son polinomios y Q no es el polinomio constante igual a 0. La funcin R tiene como dominio natural de definicin el conjunto
fx 2 R W Q.x/ 0g. Observa que las funciones polinmicas son tambin funciones racionales (con denominador constante 1).
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 x > 0 y un nmero natural k > 2, hay un nico nmero real mayor
o igual que cero, z > 0, que verifica que z k D x. Dicho nmero real z se llama la raz k-sima
p
o de orden k de x y se representa por k x o por x 1=k .
2.11 Proposicin. Sean x; y 2 RC
o , k 2 N. Se verifica que:
a)
p p
p
k x y D k x k y.
2 El
estudio de las funciones elementales que haremos aqu se complementa con el cuaderno de Mathematica
que est en mi pgina Web.
Prof. Javier Prez

Potencias racionales
40
p
b) La funcin x 7! k x es estrictamente creciente en RC
o . Es decir, se verifica que x < y si,
p
p
y slo si, k x < k y.
p
p
Si x < 0 y k es impar se define3 k x D k jxj.
2.2.3. Potencias racionales

p
p
p
Dados x > 0, p 2 Z y q 2 N, definimos x p=q D q x p . Notemos que . q x /p D q x p pues
q
p
p
p
p
. q x /p D . q x /p q D . q x /q D x p
Naturalmente, si p=q D m=n donde m 2 Z y n 2 N, entonces se comprueba fcilmente que

x p=q D x m=n . En consecuencia, si r es un nmero racional podemos definir, sin ambigedad
alguna, la potencia x r por x r D x p=q , donde p 2 Z y q 2 N son tales que r D p=q.
2.2.4. Logaritmos
Dados un nmero a > 0, a 1, y un nmero x > 0, se define el logaritmo en base a de x
como el nico nmero y 2 R que verifica la igualdad ay D x. El logaritmo en base a de x se
representa por el smbolo loga x. Observa que, por definicin, para todo x > 0 es aloga x D x.
El dominio de la funcin loga es RC , y su imagen es R. La funcin es estrictamente creciente si a > 1 y estrictamente decreciente si a < 1. La propiedad bsica de los logaritmos es
que convierten productos en sumas:
loga .xy/ D loga x C loga y
.x > 0; y > 0/
Los logaritmos decimales corresponden a

tomar a D 10 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 .1 C 1=n/n para valores
grandes de n. Un valor aproximado de e
es 27182818284.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).
y D loga x
Figura 2.2. Funcin logaritmo de base a > 1
Teniendo en cuenta que

loga x D
3 Ver
log x
log a
.x > 0/
(3.3.3.1) para el caso de races complejas.
Prof. Javier Prez

Exponenciales
41
podemos deducir muy fcilmente las propiedades de la funcin logaritmo en base a a partir de
las propiedades de la funcin logaritmo natural.
2.2.5. Exponenciales
Y
y D ax
X
Figura 2.3. Funcin exponencial de base a > 1
La funcin inversa de la funcin loga es

la funcin exponencial de base a, que se
representa por expa . Por tanto, para cada
x 2 R, expa .x/ es, por definicin, el nico nmero positivo cuyo logaritmo en base a es igual a x: loga .expa .x// D x. Es
fcil comprobar que si r 2 Q entonces
expa .r / D ar , por lo que se usa la notacin
expa .x/ D ax .
El dominio de la funcin expa es R, y
su imagen es RC . La funcin es estrictamente creciente si a > 1 y estrictamente
decreciente si a < 1. La propiedad bsica
de expa es que convierten sumas en
productos:
expa .x C y/ D expa .x/ expa .y/
.x; y 2 R/
Dos funciones exponenciales cualesquiera, expa y expb , estn relacionadas por la igualdad:
expb .x/ D expa .x loga b/
.x 2 R/
La funcin exponencial de base e, inversa de la funcin logaritmo natural, se notar simplemente por exp. Por tanto exp.x/ D ex . Con ello tenemos que:
x y D ey log x
.x > 0; y 2 R/
(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, P , a una tasa de inters anual r (expresado
en tanto por uno), cunto dinero tendremos cuando hayan pasado k 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 P r k, y el capital final ser igual a
P .1 C r k/.
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
Prof. Javier Prez

Funcin potencia de exponente real a
42
como inters compuesto. Por ejemplo, si el inters se paga n veces al ao (trimestralmente

(n D 4), mensualmente (n D 12), etctera) al final del primer perodo tendremos P .1 C r=n/, al
final del segundo P .1 C r=n/2 ; al final del primer ao P .1 C r=n/n , al final del k-simo ao
tendremos P .1 C r=n/nk .
Cuando n es muy grande, el nmero .1 C r=n/n es aproximadamente igual a er . Precisamente, si los interese se acumulan instantneamente al capital, lo que se conoce como inters
compuesto continuo, entonces el capital al final del k-simo ao viene dado por P er k .
2.2.5.2.
Crecimiento demogrfico
Llamemos P0 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 P .t/ la poblacin
mundial pasados t aos.
Pasado un ao, la poblacin ser P .1/ P0 C P0 D .1 C /P0 . Utilizamos el signo de
aproximacin y no el D porque hemos calculado el crecimiento de la poblacin P0 como
si esta fuese constantemente igual a P0 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 =12, pasado un mes la poblacin ser

12

.1 C 12 /P0 , y pasados doce meses P .1/ 1 C
P0 . El clculo sigue siendo aproxima12
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 n perodos, obtendramos
como aproximacin:

n
P .1/ 1 C
P0
n
Cuanto mayor sea n menor ser
el error
que cometemos. Si hacemos que n crezca indefini n
damente, entonces el nmero 1 C
se convierte en e , por lo que P .1/ D e P0 . Si el
n
perodo de tiempo es de t aos, entonces P .t/ D P0 et .
Observa que tanto el inters compuesto continuo como el crecimiento demogrfico 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 a

Se llama as la funcin cuyo dominio es RC que a cada x > 0 asigna el nmero x a .
Puesto que x a D exp.a log x/, las propiedades de esta funcin se deducen con facilidad de las
propiedades de las funciones exponencial y logaritmo natural.
Prof. Javier Prez

Funciones trigonomtricas
43
2.2.7. Funciones trigonomtricas

El concepto ms especfico 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 significado conviene precisar.
Me refiero a la expresin: una circunferencia de radio r . Cuando empleamos dicha expresin
se sobreentiende que el radio r de la circunferencia es un nmero expresado en alguna unidad
de medida de longitudes. Es decir, la expresin una circunferencia de radio r presupone que
hemos fijado una unidad de medida con la cual hemos medido r .
2.2.7.1.
Medida de ngulos
Medida de ngulos en grados. Supongamos que tenemos una circunferencia de radio r . 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 (2 r ) dividida
por 360. Un ngulo de un grado es el que intercepta en una circunferencia de radio r un arco
2 r
cuya longitud es igual a
.
360
Medida de ngulos en radianes. Supongamos que tenemos una circunferencia de radio r . 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 r un arco cuya longitud es igual a r .
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 2 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 2 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:
360 grados D 2 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
simplifican 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 1 centmetro
el radin tambin mide 1 centmetro; mientras que la medida de un grado en centmetros sera
2=360 ' 0; 0174533.
Prof. Javier Prez

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 unpnmero.
En geometra se habla del seno
p de un ngulo y en Clculo usamos la expresin sen. 2/ para
referirnos al seno del nmero 2. Qu relacin hay entre uno y otro?
Y
Px
lo
d
itu
ng
x
b
O
U X
Figura 2.4. La circunferencia unidad
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 definicin geomtrica, no es evidente,
a priori, cmo se puede definir el seno de un nmero. La idea consiste en asociar a cada nmero un
(nico) ngulo y definir el seno del nmero como el
seno del ngulo que le corresponde. Es evidente que
a cada nmero x > 0 le podemos asignar de manera nica un ngulo enrollando el segmento 0; x
sobre la circunferencia unidad, en sentido contrario
a las agujas del reloj, de forma que el origen de dicho segmento coincida con el punto U D .1; 0/ de
la circunferencia. Obtenemos as un punto Px de la
circunferencia unidad.
Pues bien, si las coordenadas de Px son .a; b/, se define:
2
2
cos x D coseno del ngulo.P
OU / D a
sen x D seno del ngulo.Px OU / D b
x
Al ser igual a 2 la longitud de la circunferencia unidad, es claro que PxC2 D Px , por lo que
sen.x/ D sen.x C 2/ y cos.x/ D cos.x C 2/. Observa tambin que si 0 6 x < 2, entonces
la medida en radianes del ngulo Px OU es igual a x, es decir:
sen.x/ D seno del ngulo de x radianes .0 6 x < 2/

Si x < 0 podemos proceder con el segmento x; 0 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 0 coincida con el punto U D .1; 0/ de la
circunferencia. Obtenemos as un punto Px D .c; d / de la circunferencia unidad y se define,
igual que antes sen.x/Dd , cos.x/Dc. Es fcil ver que si Px D.c; d /, entonces P x D.c; d /.
Resulta as que sen.x/ D sen. x/ y cos.x/ D cos. x/.
2.12 Observaciones. Podemos definir la funcin seno en grados sin ms que interpretar que x
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 .x/ el valor del seno del
ngulo cuya media es x grados, y notamos senr .x/ el valor del seno del ngulo cuya media es
Prof. Javier Prez

45
y D sen x
2
3
2

2

2
3
2
2
Figura 2.5. La funcin seno
x radianes (es decir, la funcin que hemos definido antes); la relacin entre ambas funciones
viene dada por:
2x
x
seno .x/ D senr
D senr
360
180
o
o
Es frecuente que sen .x/ se escriba como sen x . Por ejemplo sen.45o /. A esta mala notacin
se deben las dudas que a veces surgen sobre el significado de sen x y que llevan a preguntar:
est x en grados o en radianes?, cuando lo que realmente debera preguntarse es se trata
de seno .x/ o de senr .x/?; porque, en ambos casos, x es tan slo un nmero al que no hay por
qu ponerle ninguna etiqueta.
~
Insistimos, una ltima vez: en este curso de Clculo el nmero sen x significar siempre
senr x. Por tanto sen.=4/ sen.45/ (pero sen.=4/ D seno .45/).
2.2.7.3.
Propiedades de las funciones seno y coseno
Las funciones seno y coseno son funciones reales cuyo dominio es todo R. Las identidades
bsicas que dichas funciones verifican son:
sen2 x C cos2 x D 1
.x 2 R/
Como se ha dicho antes, las funciones seno y coseno son peridicas de perodo 2:
sen.x C 2/ D sen x ;
cos.x C 2/ D cos x
.x 2 R/
La funcin seno es impar y la funcin coseno es par:

sen. x/ D
sen x ;
cos. x/ D cos x
.x 2 R/
Todas las propiedades anteriores se deducen fcilmente de las definiciones dadas. Las siguientes igualdades, conocidas como frmulas de adicin, se probarn ms adelante:
sen.x C y/ D sen x cos y C cos x sen y
cos.x C y/ D cos x cos y
sen x sen y
(2.4)
(2.5)
La funcin seno se anula en los mltiplos enteros de , es decir, en los puntos de la forma
k donde k es un entero cualquiera. La funcin coseno se anula en los puntos de la forma
k C =2 donde k es un entero cualquiera.
Prof. Javier Prez

2.2.7.4.
46
Las funciones tangente, cotangente, secante y cosecante
Las funciones tangente y secante, que se representan por tg y sec son las funciones definidas
en el conjunto R n fk C =2 W k 2 Zg D fx 2 R W cos x 0g, por:
tg x D
sen x
;
cos x
sec x D
1
cos x
Las funciones cotangente y cosecante, que se representan por cotg y csc son las funciones
definidas en el conjunto R n fk W k 2 Zg D fx 2 R W sen x 0g, por:
cotg x D
cos x
;
sen x
csc x D
1
sen x
Las propiedades de estas funciones se deducen fcilmente de las propiedades del seno y del
coseno. Por ejemplo, tg.x/ D tg.x C /; 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 infinitos puntos; en consecuencia, ninguna de ellas tiene inversa en el sentido de la definicin (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 definir dichas funciones.
La funcin seno es estrictamente creciente en el intervalo =2; =2 y en dicho intervalo
toma todos los valores comprendidos entre 1 y 1, sen. =2; =2/ D 1; 1. En consecuencia, dado un nmero x 2 1; 1 hay un nico nmero y 2 =2; =2 tal que sen y D x;
dicho nmero y se representa por arc sen x y se llama el arcoseno de x. Es decir, el arcoseno es
la funcin arc senW 1; 1 ! R definida por sen.arc sen x/ D x y 2 6 arc sen x 6 2 . Observa
que la igualdad arc sen.sen x/ D x, es cierta si, y slo si, =2 6 x 6 =2.

2
y D arc sen x
y D sen x
=2
1
1
=2
Figura 2.6. La funcin seno en

; 2
2

2
Figura 2.7. La funcin arcoseno
Prof. Javier Prez

47
Es decir, la funcin arcoseno es la inversa de la funcin seno restringida al intervalo

=2; =2, esto es, cuando consideramos que la funcin seno est solamente definida en
el intervalo =2; =2.
arc sen W 1; 1 ! R;
=2 6 arc sen x 6 =2;
arc sen.sen x/ D x
sen.arc sen x/ D x
=2 6 x 6 =2
(2.6)
(2.7)
La funcin coseno es estrictamente decreciente en el intervalo 0; y en dicho intervalo

toma todos los valores comprendidos entre 1 y 1. Por tanto, dado un nmero x 2 1; 1, hay
un nico nmero y 2 0; tal que cos y D x; dicho nmero y se representa por arc cos x
y se llama arcocoseno de x. Es decir, arcocoseno es la funcin arc cosW 1; 1 ! R dada por
cos.arc cos x/Dx y 06arc cos x 6: Observa que la igualdad arc cos.cos x/Dx, es cierta si, y
slo si, 06x 6. Es decir, la funcin arcocoseno es la inversa de la funcin coseno restringida
al intervalo 0; , esto es, cuando consideramos que la funcin coseno est solamente definida
en el intervalo 0; .
arc cos W 1; 1 ! R;
cos.arc cos x/ D x
0 6 arc cos x 6 ;
arc cos.cos x/ D x
(2.8)
06x 6
(2.9)

1
y D cos x

2

2
y D arc cos x
1
Figura 2.8. La funcin coseno en 0;

1
Figura 2.9. La funcin arcocoseno
La funcin tangente es estrictamente creciente en el intervalo =2; =2 y en dicho

intervalo toma todos los valores reales, tg. =2; =2/DR. En consecuencia, dado un nmero
x 2 R, hay un nico nmero y 2 =2; =2 tal que tg y D x; dicho nmero y se representa
por arc tg x y se llama el arcotangente de x. Es decir, la funcin arcotangente es la inversa de
la funcin tangente restringida al intervalo =2; =2, esto es, cuando consideramos que la
funcin tangente est solamente definida en el intervalo =2; =2.
Prof. Javier Prez

Las funciones hiperblicas
48
arc tg WR ! R;
=2 < arc tg x < =2;
arc tg.tg x/ D x
tg.arc tg x/ D x
(2.10)
=2 < x < =2
(2.11)

2
y D arc tg x

2

2

2
y D tg x
Figura 2.11. La funcin arcotangente
Figura 2.10. La funcin tangente

en 2 ; 2
2.2.8. Las funciones hiperblicas

Hay algunas combinaciones de las funciones exp.x/ y exp. x/ 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 definidas para todo x 2 R por:
e x
ex C e x
;
cosh x D
2
2
Las funciones seno hiperblico y coseno hiperblico son funciones reales cuyo dominio es todo
R. La identidad bsica que dichas funciones verifican es:
senh x D
ex
cosh2 x
senh2 x D 1
.x 2 R/
La funcin seno hiperblico es impar y la funcin coseno hiperblico es par:

senh. x/ D
senh x ;
cosh. x/ D cosh x
.x 2 R/
La funcin seno hiperblico es estrictamente creciente en R. La funcin coseno hiperblico es

estrictamente creciente en RC
o.
Todas las propiedades anteriores se deducen fcilmente de las definiciones dadas.
La funcin tangente hiperblica que se representa por tgh es la funcin definida para todo
x 2 R por:
senh x
ex e x
tgh x D
D x
cosh x
e Ce x
De forma anloga se definen las funciones cotangente, secante y cosecante hiperblicas.
Prof. Javier Prez

49
y D cosh x
3
2
y D senh x
2
-2
-1
-1
1
-2
-3
-2
-1
-4
Figura 2.13. La funcin coseno hiperblico

Figura 2.12. La funcin seno hiperblico
1
y D tgh x
Figura 2.14. La funcin tangente hiperblica
2.2.8.1.
Las funciones hiperblicas inversas
La funcin seno hiperblico es una biyeccin de R sobre R cuya inversa, representada por,
argsenh, (lase argumento seno hiperblico) viene dada por:
argsenh x D log.x C
p
x 2 C 1/
.x 2 R/
(2.12)
La funcin coseno hiperblico es inyectiva en RC

o y su imagen es la semirrecta 1; C. La
funcin, definida en 1; C, que a cada nmero x > 1 asigna el nico nmero y > 0 tal que
cosh y D x, se llama argumento coseno hiperblico, se representa por, argcosh, y viene dada
por:
p
argcosh x D log.x C x 2 1/ .x > 1/
(2.13)
La funcin tangente hiperblica es una biyeccin de R sobre el intervalo 1; 1 cuya inversa,
representada por, argtgh, (lase argumento tangente hiperblica) es la funcin definida en el
intervalo 1; 1 por:

1
1Cx
argtgh x D log
2
1 x
. 1 < x < 1/
(2.14)
Prof. Javier Prez

50
y D argsenh x
-4
-3
-2
-1
y D argcosh x
-1
-2
Figura 2.15. La funcin argumento seno

hiperblico
Figura 2.16. La funcin argumento coseno

hiperblico
y D argtgh x
1
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 t; sen t/, los puntos en la rama
derecha de la hiprbola unitaria x 2 y 2 D 1 pueden representarse como .cosh t; senh t/.
Naturalmente, la importancia de las funciones trigonomtricas procede de que multitud de
fenmenos naturales son de naturaleza ondulatoria o peridica. Por ejemplo, la grfica de un
electrocardiograma no es ms que superposiciones de grficas 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 y D a cosh.x=a/ (donde se
entiende que a es una constante). La catenaria es la forma que adopta una cadena perfectamente
flexible suspendida de sus extremos y bajo la accin de la gravedad.
Prof. Javier Prez

51
36. Estudia cuales de las siguientes igualdades son ciertas y, cuando no lo sean, proporciona
un contraejemplo. Se supone que f , g, h son funciones definidas en R.
a) f .g C h/ D f g C f h.
b) .g C h/ f D g f C h f .
1
1
c)
D
g.
f g
f
1
1
d)
Df .
f g
g
37. Sean f; gW R ! R . Indica el dominio natural de definicin de la funcin h dada por la
regla que en cada caso se indica.
p
f .x/
h.x/ D
;
h.x/ D arc sen.f .x//; h.x/ D log.f .x//; h.x/ D f .x/
g.x/
h.x/ D argcosh.f .x//; h.x/ D arc cos.f .x//; h.x/ D arc tg.f .x//; h.x/ D g.x/f .x/
38. Una funcin f es par si f . x/ D f .x/ e impar si f . x/ D f .x/.

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.
1
39. Prueba que la funcin dada por f .x/D
, es estrictamente creciente en RC . Deduce
1Cx
que
jxj
jyj
jx C yj
6
C
.x; y 2 R/
1 C jx C yj 1 C jxj 1 C jyj
40. Indica, justificando 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.
41. Se quiere amortizar una deuda de 60000 e 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 fija 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
(redondeas por exceso). Haciendo uso de la aproximacin
exacta
r n
(para n grande): 1 C
er , puedes obtener tambin una solucin aproximada.
n
Prof. Javier Prez

52
42. A qu inters simple anual corresponde un inters compuesto continuo del 10 % anual?
43. Se invierten 10000 euros en una cuenta que produce un 4 % fijo de inters anual.
1. Cuntos aos se necesitan para doblar el capital inicial?
2. Cuntos aos son necesarios para que el capital final sea de de un milln de euros?
44. Una persona coloca cada da la misma cantidad P de euros a un inters compuesto continuo del r % anual. Hallar el capital final al cabo de n das.
Si P D 10ey r D 5, al cabo de cuanto tiempo el capital final ser de 6000 e?
45. Se sabe que la poblacin de un cultivo de bacterias se duplica cada 3 horas. Si a las 12h
del medioda hay 10000 bacterias, cuntas habr a las 7 de la tarde del mismo da?.
46. Compara alog b con b log a .
47. Calcula x sabiendo que
1
1
1
1
D
C
C
logx .a/ logb .a/ logc .a/
logd .a/
48. Es correcto escribir log.x 1/.x 2/ D log.x

p
p
49. Prueba que log.x C 1 C x 2 / C log. 1 C x 2
p
p
50. Resuelve x x D . x/x :
51. Simplifica las expresiones alog.log a/= log a ;
1/ C log.x
2/?
x/ D 0:
x
loga .loga .aa //.
52. Resuelve el sistema: 7.logy x C logx y/ D 50; x y D 256. Se supondr que x > y > 1.
53. Indica cul de los dos nmeros 12345671234568 y 12345681234567 es el mayor.
54. Calcula los valores de x para los que se verifica la igualdad:
logx .10/ C 2 log10x .10/ C log100x .10/ D 0:
55. Sea f W R ! R una funcin que verifica las propiedades:
a) f .x C y/ D f .x/ C f .y/ para todos x; y 2 R.
b) f .xy/ D f .x/f .y/ para todos x; y 2 R.
Demuestra que o bien f es f .x/ D 0 para todo x 2 R o bien es f .x/ D x para todo
x 2 R.
Sugerencias. a) Supuesto que f no es idnticamente nula, prueba primero que f es

estrictamente creciente y que f .r / D r para todo r 2 Q.
b) Supn que hay algn nmero a tal que f .a/ a y deduce una contradiccin (utiliza
que entre dos nmeros reales cualesquiera siempre hay algn nmero racional).
56. Sea f W RC ! R una funcin que verifica las propiedades:
a) f .xy/ D f .x/ C f .y/ para todos x; y en RC .
b) f .x/ > 0 para todo x > 1;

Prof. Javier Prez

53
c) f .e/ D 1.
Demuestra que f .x/ D log.x/ para todo x 2 RC .
Sugerencias. a) Prueba primero que f es creciente y que f .er / D r para todo r 2 Q.
b) Sea '.x/Df .exp.x//. Justifica que ' es estrictamente creciente. Supn que hay algn
nmero a tal que '.a/ a y deduce una contradiccin (utiliza que entre dos nmeros
reales cualesquiera siempre hay algn nmero racional).
57. Prueba las igualdades siguientes.
cos.arc tg x/ D p
1
x2
1C
x
tan.arc sen x/ D p
8x 2
1 x2
sen.arc tg x/ D p
1 C x2

1; 1; arc cos x C arc sen x D
8x 2 1; 1
2
58. Sean a; b 2 R tales que a2 C b 2 D 1; a 1. Definamos # D 2 arc tg

que cos # D a, sen # D b:
b
. Prueba
aC1
59. Prueba por induccin la siguiente igualdad.

sen
nx
nC1
x
.sen x C sen 2x C C sen nx/ D sen
sen
x
2
2
2
60. Prueba que para todos x; y 2 R se verifica que

xCy
x y
xCy
x y
sen x C sen y D 2 sen
cos
I cos x C cos y D 2 cos
cos
2
2
2
2
Deduce que para k 2 N:
x
x
x
2 sen cos.kx/ D sen.2k C 1/
sen.2k 1/
2
2
4
Utiliza esta igualdad para probar que:

x
nx
nC1
cos x C cos.2x/ C C cos.nx/ D sen
cos
x
sen
2
2
2
Prueba anlogamente que:

x
nx
nC1
sen
sen x C sen.2x/ C C sen.nx/ D sen
sen
x
2
2
2
61. Prueba que tg.x C y/ D
tg x C tg y
. Qu excepciones hay que hacer?.
1 tg x tg y
62. Indica para qu valores de x e y se verifica la igualdad arc tg x Carc tg y Darc tg

63. Calcula x por la condicin arc tg.2x/ C arc tg x D
xCy
.
1 xy

.
4
64. Deduce las expresiones de las funciones hiperblicas inversas dadas por las igualdades
(2.12), (2.13) y (2.14).
Prof. Javier Prez

54
65. Prueba que arc tg.ex /
arc tg .tgh.x=2// D

.
4
66. Simplifica las expresiones

a) senh2 x cos2 y C cosh2 x sen2 y.
b)
cosh.log x/ C senh.log x/
.
x
67. Prueba que 2 argtgh.tg x/ D argtgh.sen 2x/.

68. Define las funciones secante y cotangente hiperblicas y estudia sus inversas.
69. Obtener frmulas de adicin para el seno, coseno y tangente hiperblicos.
70. Dibuja la grfica de la funcin y D arc sen.sen x/.
71. Prueba las igualdades:
cos a D 4 cos3 .a=3/
3 cos.a=3/ D 2 cos2 .a=2/
y, usando que cos 0 D 1, cos D 1, deduce el valor de cos.=6/, cos.=4/ y cos.=8/.

1
1
1
C
C
logx .a/
logb .a/ logc .a/ logd .a/
Solucin. Pongamos y Dlogx .a/. Por definicin, tenemos que x y Da, de donde se sigue
log a
que y log x D log a. Hemos obtenido as que logx .a/ D
. Con ello, la igualdad del
log x
enunciado puede escribirse como
Ejercicio resuelto 15 Calcula x sabiendo que
log x
log b
log c
log d
D
C
C
log a
log a
log a
log a
esto es log x D log b C log c C log d , o lo que es igual, log x D log.b c d /. Como la
funcin logaritmo es inyectiva, deducimos que x D b c d .

8x 2 1; 1
2
Solucin. Se trata de probar que arc sen x D 2 arc cos x para todo x 2 1; 1. Para ello,
dado x 2 1; 1, pongamos z D 2 arc cos x. Como, por definicin, 0 6 arc cos x 6 ,
deducimos que 2 6 z 6 2 . Adems
Ejercicio resuelto 16 Prueba la igualdad arc cos x C arc sen x D
sen z D sen.=2
arc cos x/ D sen.=2/ cos. arc cos x/ C cos.=2/ sen. arc cos x/D
D cos. arc cos x/ D cos.arc cos x/ D x
Hemos probado as que sen z D x, y

z D arc sen x.

2
6 z 6 2 lo que, por definicin, quiere decir que
Prof. Javier Prez

55
x
Ejercicio resuelto 17 Prueba que tg.arc sen x/ D p
para todo x 2 1; 1.
1 x2
sen z
x
Solucin. Como tg zD
, deducimos que tg.arc sen x/D
, 8 x 2 1; 1
cos z
cos.arc sen x/
(hay que excluir los puntos
1 porque arc sen.1/ D =2) . Bastar probar, por tanto,
p
que cos.arc sen x/ D 1 x 2 .
Como cos2 z D 1
Ahora, como
sen2 z, deducimos que, cos2 .arc sen x/ D 1

p
j cos.arc sen x/j D 1 x 2
x 2 , esto es,

6 arc sen x 6 , se sigue que cos.arc sen x/ > 0, por lo que
2
2
cos.arc sen x/ D j cos.arc sen x/j

p
y, por tanto, cos.arc sen x/ D 1 x 2 .
Ejercicio resuelto 18 Dado un nmero x 0, calcula un nmero t 2 R tal que
1
D x.
senh t
e t
, tenemos que cal2
t
t
cular un nmero t que verifique la igualdad 2Dx.e e /, esto es, x e2t 2 et xD0.
Haciendo y D et , tenemos que x y 2 2y x D 0, por lo que los dos posibles valores
para y son
p
p
1 C 1 C x2
1
1 C x2
o
x
x
Como debe ser y > 0 (porque el valor de una exponencial siempre es positivo), deducimos que
8
p
!
2
1
C
1
C
x
log
; si x > 0
<
x
t D log y D
p
!
1
1
C
x
log
; si x < 0
:
x
Solucin. Aqu el dato es el nmero x0. Puesto que senh t D
et
Ejercicio resuelto 19 Se quiere amortizar una deuda de 60000 e 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 fija 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
uno) del 006=4 cada trimestre, el 31 de diciembre de 2013 la deuda ms los intereses
ser igual a:

006 24
60000 1 C
4
Llamemos P a la mensualidad que tendremos que pagar al final de cada mes. Dichas
mensualidades se capitalizan a inters compuesto del 0 03=12 cada mes. La primera
Prof. Javier Prez

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:
P
"
003
1C
12
#

003 70
003
C 1C
C C 1 C
C1 D
12
12
#
"
"

003 72
12
003 72
DP
1C
1
D 400P
1C
12
003
12
71
Donde hemos usado la expresin que da la suma de una progresin geomtrica. En consecuencia, deber ser:
"
#

003 72
006 24
P
1C
1 400 D 60000 1 C
12
4
Usando una calculadora se obtiene: P D 108874 donde hemos redondeado por exceso.
Podemos
hacer el clculo anterior teniendo en cuenta la aproximacin para n
tambin
r n
grande 1 C
er de la siguiente forma:
n
"

#72=400
003 72
1 72
1 400
1C
D 1C
D
1C
e72=400
12
400
400
"

#24=200

006 24
3 24
3 200
1C
D 1C
D
1C
e72=200
4
200
200
En consecuencia:
P 150
e72=200
e72=400 1
D 10902
donde hemos redondeado por exceso.

Ejercicio resuelto 20 Prueba las igualdades
(a) arc cos x C arc sen x D
(b) tan.arc sen x/ D p
1

8x 2 1; 1
2
I sec.arc sen x/ D p
x2
1
1
x2
8x 2
1; 1
Solucin. (a) Puede comprobarse esta igualdad de muchas formas. Por ejemplo, si despejamos, podemos escribir la igualdad de la forma:
arc sen x D =2
arc cos x:
Puesto que =2 6 =2 arc cos x 6 =2 y en el intervalo =2; =2 la funcin seno
es inyectiva, la igualdad anterior es equivalente a la siguiente: x D sen.=2 arc cos x/
la cual es efectivamente cierta porque, para todo x 2 1; 1 es:
sen.=2
arc cos x/ D sen.=2/ cos.arc cos x/
cos.=2/ sen.arc cos x/ D x

Prof. Javier Prez
57
(b) Para todo x 2
1; 1 es:
tan.arc sen x/ D
x
sen.arc sen x/
D
:
cos.arc sen x/ cos.arc sen x/
Ahora como:
cos2 .arc sen x/ D 1
sen2 .arc sen x/ D 1 x 2 ;

p
y adems cos.arc sen x/ > 0, se sigue que cos.arc sen x/ D 1 x 2 lo que prueba la
igualdad pedida.
Anlogamente, se tiene que:
sec.arc sen x/ D
1
1
:
D por lo antes visto D p
cos.arc sen x/
1 x2
Ejercicio resuelto 21 Prueba por induccin la igualdad:

sen
nx
nC1
x
.sen x C sen 2x C C sen nx/ D sen
sen
x
2
2
2
Solucin. La igualdad es evidentemente cierta para nD1. Supongamos que es cierta para
un nmero natural n y probemos que entonces lo es tambin para n C 1. Tenemos:
sen
x
nx
nC1
x
.sen x C C sen nx C sen.n C 1/x/ D sen
sen
x C sen sen.n C 1/x
2
2
2
2
En consecuencia, todo se reduce a probar que:

sen
nx
nC1
x
.n C 1/x
nC2
sen
x C sen sen.n C 1/x D sen
sen
x
2
2
2
2
2
Usando que sen.2a/ D 2 sen a cos a y que sen a C sen b D 2 sen

tenemos:
aCb
a b
cos
,
2
2
nx
nC1
x
sen
x C sen sen.n C 1/xD
2
2
2

nC1
x
nC1
nC1
nx
D sen
sen
x C sen
2 sen
x cos
x D
2
2
2
2
2

nC1
nx
x
nC1
D sen
x sen
C 2 sen cos
x D
2
2
2
2

nC1
nx
nC2
nx
.n C 1/x
nC2
D sen
x sen
C sen
x C sen
D sen
sen
x
2
2
2
2
2
2
sen
como queramos probar.

Ejercicio resuelto 22 Sean a; b 2 R tales que a2 C b 2 D 1 y a 1. Definamos
# D 2 arc tg
b
aC1
Prof. Javier Prez
58
Prueba que cos # D a, sen # D b.
Solucin. Puesto que lo que conocemos es tg.#=2/, la idea es relacionarla con sen #
y con cos #. Teniendo en cuenta que cos x D cos2 .x=2/ sen2 .x=2/, que sen x D
2 sen.x=2/ cos.x=2/ y que 1 D sen2 .x=2/ C cos2 .x=2/, obtenemos:
cos2 .x=2/ sen2 .x=2/
1 tg2 .x=2/
D
sen2 .x=2/ C cos2 .x=2/ 1 C tg2 .x=2/
tg.x=2/
2 sen.x=2/ cos.x=2/
sen x D
D
2
2
sen .x=2/ C cos .x=2/ 1 C tg2 .x=2/
cos x D
b
Teniendo en cuenta ahora que a2 C b 2 D 1 y que tg.#=2/ D
, se comprueba fcil1Ca
mente que:
cos.#/ D
1 tg2 .#=2/
D a;
1 C tg2 .#=2/
sen.#/ D
tg.#=2/
Db
1 C tg2 .#=2/
Ejercicio resuelto 23 Sea f W R ! R una funcin que verifica las propiedades:

a) f .x C y/ D f .x/ C f .y/ para todos x; y 2 R.
b) f .xy/ D f .x/f .y/ para todo x; y 2 R.
Demuestra que o bien f es f .x/ D 0 para todo x 2 R o bien es f .x/ D x para todo
x 2 R.
Solucin. Si una tal funcin f se anula en algn a 0, resulta que para todo x 2 R se
tiene
x
x
f .x/ D f a
D f .a/f
D0
a
a
y f es la funcin idnticamente nula. Excluido este caso, deber ser f .x/ 0 para todo
x 2 R. Dado x > 0, tenemos que
p p
p p
p 2
f .x/ D f
x x Df
x f
x D f
x
>0
Si ahora es x < y se tendr que
f .y/ D f .x C .y
x// D f .x/ C f .y
x/ > f .x/
Hemos probado as que f es estrictamente creciente. Sean ahora m y n 0 nmeros

enteros y x 2 R. Por ser f aditiva se tiene que:
m
m
m m
nf
x D f n x D f .mx/ D mf .x/f
x D f .x/
n
n
n
n
Deducimos que f .r x/ D rf .x/ para todo nmero racional r 2 Q y todo x 2 R. En
particular, haciendo x D 1 y teniendo en cuenta que f .1/ D 1 (consecuencia inmediata
de b)), resulta que f .r / D rf .1/ D r para todo r 2 Q. Si para algn x 2 R se tuviera que
x < f .x/, entonces tomamos algn racional r tal que x < r < f .x/ para obtener la
contradiccin
0 < f .r x/ D r f .x/ < 0:
Anlogamente, so puede ser x > f .x/. Concluimos que ha de ser f .x/ D x para todo
x 2 R.
Prof. Javier Prez

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 afirmarse que el concepto de funcin constituye un vnculo unificador 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 significado actual, sea muy reciente. Suele atribuirse al matemtico alemn Dirichlet la definicin, 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 infinitorum en cuyo primer captulo, titulado significativamente De Functionibus in genere, esto es, Sobre
las funciones en general, Euler da la siguiente definicin:
Una funcin de una cantidad variable es cualquier expresin analtica formada a partir de dicha cantidad
variable y nmeros o cantidades constantes.
Figura 2.18. Dirichlet
Tambin fue Euler quien us por primera vez la notacin f .x/ para indicar el valor de
una funcin f en un valor x de la variable. Euler no precisaba lo que entenda por cualquier
expresin analtica pero, sin duda, inclua las series, fracciones y productos infinitos y primitivas. Despus de dar esta definicin, Euler distingue entre varios tipos de funciones segn que
puedan o no representarse por medio de una sola expresin analtica.
Figura 2.19. Euler
El libro de Euler Introductio in analysin infinitorum, del que hay

traduccin al espaol, es considerado como el tercero ms influyente 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, afirmaba 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, superficies, reas, lneas tangentes.
En el primer libro de Clculo Analyse des infiniment 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 Infinitesimal eran todava
Prof. Javier Prez

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 .x/. DAlembert (1749)
y Euler (1750) obtuvieron esencialmente la misma solucin, pero discreparon sobre el tipo de
funcin inicial .x/ 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 .x/
poda representarse como suma de una serie trigonomtrica infinita. 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 finita 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 definicin moderna debida a Dirichlet (1837):
y es una funcin de una variable x, definida en un intervalo a < x < b, si para cada
valor de la variable x en este intervalo le corresponde un valor concreto de la variable y.
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
infinitas 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 final 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.
Prof. Javier Prez

El desarrollo del lgebra y la invencin de los logaritmos
61
t Sobre la evolucin del concepto de funcin en
http://www.maa.org/pubs/Calc_articles/ma001.pdf.
t Las series de Fourier y el desarrollo del Anlisis en el siglo XIX por Fernando Bombal
en http://www.ma2.us.es/seminarios/four.pdf.
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 dificultad 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.
t La primera aparicin impresa de los smbolos C y
fue en la aritmtica de John Widmann, publicada in 1489 in Leipzig. El autor del primer libro de texto sobre lgebra en
4 Nos referimos, claro est, al lgebra clsica, esto es, el estudio de las ecuaciones
polinmicas y de la naturaleza
y propiedades de sus races. El lgebra moderna es el estudio de las estructuras axiomticas.
Prof. Javier Prez

El desarrollo del lgebra y la invencin de los logaritmos
62
lengua alemana impreso en 1525, Christoff Rudolff, usa estos smbolos con su significado actual. Durante mucho tiempo se usaron solamente en lgebra antes de que se
generalizara su uso en aritmtica.
t Haba una gran variedad de smbolos para la multiplicacin. Fue el matemtico ingls
William Oughtred quien en su obra Clavis Mathematicae, publicada en 1631, dio al

smbolo el significado que tiene hoy da.
t El signo para la igualdad que usamos actualmente fue introducido por el matemtico y
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 D era ya de uso
general.
t Aunque las fracciones decimales eran conocidas desde antiguo, no eran usadas con fre-
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.
t Los smbolos para las desigualdades, < y >, con su significado actual fueron introduci-
dos 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.
Figura 2.20. John Napier
John Napier o Neper introdujo los logaritmos en su libro Mirifici 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 modificar 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.
Al principio, Neper llam a los exponentes de las potencias numeros artificiales, 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
Prof. Javier Prez

Lo que debes haber aprendido en este captulo
63
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
Los logaritmos pasaron a ser una herramienta muy valorada, en especial entre los astrnomos.
Laplace se refiere 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 definir una funcin.
Las operaciones con funciones. La composicin de funciones.
Los conceptos de funcin montona y de inversa de una funcin inyectiva.
Las definiciones y propiedades principales de las funciones logartmicas y exponenciales.

Las definiciones y propiedades principales de las funciones trigonomtricas.
Las definiciones y propiedades principales de las funciones arcoseno, arcocoseno y arcotangente.

Las definiciones 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].
Prof. Javier Prez

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 cientfica. 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 finales 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 afirm que ciertas ecuaciones algebraicas slo tienen solucin en nuestra imaginacin y acu el calificativo imaginarias para referirse a ellas. Desde el siglo XVI hasta finales del siglo XVIII los nmeros
complejos o imaginarios son usados con recelo, con desconfianza. 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 anfibio 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 definitivamente 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
afirma que toda ecuacin polinmica de grado n con coeficientes complejos tiene, si cada raz
se cuenta tantas veces como su orden, n races que tambin son nmeros complejos. Merece la
pena que entiendas bien lo que afirma este resultado. Fjate en cada una de las ecuaciones:
x C 3 D 0;
2x C 3 D 0;
x2
2 D 0;
x 2 C 2x C 2 D 0
Cuyas soluciones
x D 3;
x D 3=2;
p
x D 2;
xD 1i
tienen sentido cuando x 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 coeficientes complejos? Por ejemplo:
p
p
x 5 C .1 i/x 4 C .1=5 i 2/x 2 8x C 3 i= 3 D 0
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 i 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 z, al igual
que otras transformadas de uso frecuente, se define 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 Definicin. Consideremos en el conjunto R2 las operaciones de adicin y producto definidas por
.x; y/ C .u; v/ D .x C u; y C v/
.x; y/.u; v/ D .xu
(3.1)
yv; xv C yu/
(3.2)
Prof. Javier Prez

Comentarios a la definicin de nmero complejo
66
Es muy fcil comprobar las propiedades asociativa, conmutativa y distributiva de las operaciones as definidas. El elemento neutro de la suma es .0; 0/ y .1; 0/ es la unidad del producto.
Adems, . x; y/ es el opuesto de .x; y/, y todo .x; y/ .0; 0/ tiene inverso

x
y
.x; y/
;
D .1; 0/
x2 C y2 x2 C y2
Todas estas propiedades se resumen diciendo que .R2 ; C; / (lase el conjunto R2 con las
operaciones de adicin y producto) es un cuerpo. Dicho cuerpo se representa simblicamente
por C y sus elementos se llaman nmeros complejos.
3.2.1. Comentarios a la definicin 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 definidas varias estructuras, la
terminologa que se usa indica la estructura a la que nos referimos. Eso pasa en R2 donde conviven varias estructuras cada una con su terminologa propia. Usualmente en R2 se consideran
las siguientes estructuras.
Ninguna. Es decir, solamente consideramos que R2 es un conjunto. En tal caso llamamos
a sus elementos pares ordenados de nmeros reales.
La estructura de espacio vectorial. Esto es, vemos R2 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 definida por el producto escalar usual. Esto es, vemos
R2 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 R2 la
estructura de espacio afn o de espacio topolgico.
La estructura de cuerpo definida por las operaciones (3.1) y (3.2). En tal caso, a los
elementos de R2 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 R2 se le llama
nmero complejo cuando se va a usar el producto definido en (3.2) que es lo que en realidad
distingue a los nmeros complejos de los vectores de R2 .
3.2.2. Forma cartesiana de un nmero complejo

El smbolo usual .x; y/ para representar pares ordenados no es conveniente para representar el nmero complejo .x; y/. Para convencerte calcula, usando la definicin (3.2), .1; 1/4 .
Representaremos los nmeros complejos con un simbolismo ms apropiado en el que va a
intervenir el producto complejo. Para ello, observa que:
.x; 0/ C .y; 0/ D .x C y; 0/
.x; 0/.y; 0/ D .xy; 0/
Prof. Javier Prez

Comentarios a la definicin usual i D
67
Esto indica que los nmeros complejos de la forma .x; 0/ 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, R f0g
es un subcuerpo de C isomorfo a R. Por esta razn, en las operaciones con nmeros complejos
podemos sustituir los complejos del tipo .x; 0/ por el nmero real x. Es decir, hacemos la
identificacin .x; 0/ D x.
Fjate que con dicha identificacin el producto x.u; v/ tiene dos posibles interpretaciones:
producto del escalar real x por el vector .u; v/ (estructura vectorial de R2 ) y producto del
complejo .x; 0/ por el complejo .u; v/. Pero ambos coinciden y son iguales a .xu; xv/.
El nmero complejo .0; 1/ lo representaremos por i y lo llamaremos unidad imaginaria.
Con ello tenemos que
i 2 D .0; 1/.0; 1/ D . 1; 0/ D 1
Ahora podemos escribir
.x; y/ D .x; 0/ C .0; y/ D .x; 0/ C .0; 1/.y; 0/ D x C iy
Se dice que x C iy es la expresin cartesiana (tambin se le llama expresin binmica) del
nmero complejo .x; y/. El producto ahora es muy fcil de recordar pues
.x C iy/.u C iv/ D xu C i 2 yv C i.xv C yu/ D xu
yv C i.xv C yu/
3.2 Definicin. Se dice que x es la parte real e y es la parte imaginaria del nmero complejo
x C iy.
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 z y w y reservar las
letras x, y, u, v para representar nmeros reales. Una expresin de la forma z D x C iy se
interpreta como que z es el nmero complejo cuya parte real es x y cuya parte imaginaria es y.
Se escribe Re.z/ e Im.z/ para representar las partes real e imaginaria de z.
3.2.3. Comentarios a la definicin usual i D
Acabamos
de ver que i 2 D 1 pero eso no
p
pnos permite escribir as, sin ms ni ms, que
iD
1. Fjate lo que ocurre si ponemos i D
1 y manejamos ese smbolo con las reglas a
las que estamos acostumbrados:
p p
p
p
1 D i2 D i i D
1
1 D . 1/. 1/ D 1 D 1
Luego 1 D 1. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Naturalmente,
el error procede de que estamos haciendo disparates. Fjate que en la exp
presin
1 no puedes interpretar que 1 es el nmero real 1 (porque, como sabes, los
nmeros reales negativos no tienen raz cuadrada real), sino que tienes que interpretar 1 como el nmero complejo 1 (espero que ya tengas clara la diferencia). Resulta as que estamos
usando races de nmeros complejos sin haberlas definido y dando por supuesto que dichas
races verifican las mismas propiedades que las de los nmeros reales positivos.
Prof. Javier Prez

No hay un orden en C compatible con la estructura algebraica
68
p
p
Antes de escribir
1 hay que definir qu significa z para z 2 C. Cuando lo hagamos
p p
p
veremos sorpresa! que la igualdad z w D zw, vlida cuando z; w 2 RC , no es cierta en
general cuando z; w 2 C.
p
Todava ms disparatado es definir i D
1 sin ni siquiera haber definido antes los nmeros
complejos. Sin embargo,
y
aunque
parezca
mentira,
en muchos textos se define (porque s, sin
p
ms explicaciones) i D
1 y a continuacin se dice que los nmeros de la forma aCib son los
nmeros complejos. No es de extraar que luego resulte que 1 D 1. Todava pueden hacerse
peor las cosas. Recientemente he encontrado en un texto de una institucin de
peducacin a
distancia escrito por varios profesores la siguiente asombrosa definicin: i D C
1.
3.2.4. No hay un orden en C compatible con la estructura algebraica

Al ampliar R a C ganamos mucho pero tambin perdemos algo. Te recuerdo que R tiene
dos estructuras: la algebraica y la de orden. Ambas estructuras estn armoniosamente relacionadas. Pues bien, en C no hay nada parecido. Podemos definir relaciones de orden en C, pero
no hay ninguna de ellas que sea compatible con la estructura algebraica. Es decir, es imposible
definir un concepto de nmero complejo positivo de forma que la suma y el producto de complejos positivos sea positivo. Por ello no se define en C 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 grfica. Complejo conjugado y mdulo

Es usual representar el nmero complejo z D x C iy como el vector del plano .x; y/ 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.
Y
y
z D x C iy
jzj
X
zDx
iy
Figura 3.1. Representacin de un nmero complejo
Si z D x C iy es un nmero complejo (con x e y reales), entonces el conjugado de z se

define como:
z D x iy
Prof. Javier Prez

Representacin grfica. Complejo conjugado y mdulo
69
y el mdulo o valor absoluto de z, se define como:

q
jzj D x 2 C y 2
p
Observa que x 2 C y 2 est definido sin ambigedad; es la raz cuadrada del nmero real no
negativo x 2 C y 2 .
Geomtricamente, z es la reflexin de z respecto al eje real, mientras que jzj es la distancia
eucldea del punto .x; y/ a .0; 0/ o, tambin, la longitud o norma eucldea del vector .x; y/
(ver figura 3.1). La distancia entre dos nmeros complejos z y w se define como jz wj y es
la distancia eucldea entre los respectivos puntos del plano.
La representacin grfica de la suma es la usual para la suma de vectores. Dos nmeros
complejos z D x C iy y w D u C iv determinan un paralelogramo cuya diagonal (ver figura
3.2) es z C w (la otra diagonal es z w).
Y
zCw
z
xCu
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 z y w se verifica que:
z D z;
z C w D z C w;
zw D zw:
(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 z; w 2 C se verifica que:
a)
mKaxfjRe zj; jIm zjg 6 jzj 6 jRe zj C jIm zj
(3.4)
En particular, Re z D jzj si, y slo si, z 2 RC

o.
Prof. Javier Prez

Forma polar y argumentos de un nmero complejo
70
b) El mdulo de un producto es igual al producto de los mdulos.

jzwj D jzjjwj
(3.5)
c) El mdulo de una suma es menor o igual que la suma de los mdulos.

jz C wj 6 jzj C jwj
(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 jzj2 D zz que se deduce directamente de la definicin 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 jzwj y jzjjwj son nmeros positivos cuyos cuadrados coinciden, pues
jzwj2 D zwzw D zwzw D zzww D jzj2 jwj2 D .jzjjwj/2
c) Es suficiente probar que jz C wj2 6 .jzj C jwj/2 . En efecto:
jz C wj2 D .z C w/.z C w/ D .z C w/.z C w/ D zz C ww C zw C zwD
D jzj2 C jwj2 C 2 Re .zw/ 6 jzj2 C jwj2 C 2jRe .zw/j6
6 jzj2 C jwj2 C 2jzwj D jzj2 C jwj2 C 2jzjjwj D jzj2 C jwj2 C 2jzjjwjD
D .jzj C jwj/2
Evidentemente, si z D0 o si w D0, se verifica la igualdad. Supongamos que z 0 y w 0. De lo

anterior deducimos que se verifica la igualdad jz C wj D jzj C jwj si, y slo si, Re zw D jzwj,
esto es, si zw 2 RC , o lo que es lo mismo zw D donde 2 RC . Esta igualdad, puede
escribirse de forma equivalente, multiplicando por w, como zjwj2 D w; y dividiendo ahora
por jwj2 , obtenemos z D w para algn 2 RC , lo que quiere decir que z y w estn en una
misma semirrecta a partir del origen.
2
Observacin. Para expresar un cociente de complejos en forma cartesiana se multiplica numerador y denominador por el conjugado del denominador:
u C iv
ux C vy
vx uy
.u C iv/.x iy/
D
D 2
Ci 2
:
2
2
2
x C iy
x Cy
x Cy
x C y2
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 z D x C iy 0 podemos escribir

x
y
z D jzj
Ci
jzj
jzj
Prof. Javier Prez

Forma polar y argumentos de un nmero complejo
Como
x y
;
jzj jzj
71
es un punto de la circunferencia unidad, puede escribirse en la forma

x y
;
jzj jzj
D .cos #; sen #/
para algn nmero # 2 R. Resulta as que

z D jzj.cos # C i sen #/
Esta forma de expresar un nmero complejo recibe el nombre de forma polar, cuya interpretacin grfica vemos en la figura (3.3).
Y
jzj
#
X
Figura 3.3. Forma polar de un nmero complejo
Dado z 2 C, z 0, hay infinitos nmeros t 2 R que verifican la igualdad z D jzj.cos t; sen t/

cualquiera de ellos recibe el nombre de argumento de z. El conjunto de todos los argumentos
de un nmero complejo no nulo se representa por Arg.z/.
Arg.z/ D ft 2 R W z D jzj.cos t C i sen t/g
Observa que
s; t 2 Arg.z/
cos.t/ D cos.s/
sin.t/ D sin.s/
s D t C 2k para algn k 2 Z
Por tanto, conocido un argumento t0 2 Arg.z/ cualquier otro es de la forma t0 C2k para algn
k 2 Z, es decir, Arg.z/ D t0 C 2Z.
De entre todos los argumentos de un nmero complejo z0 hay uno nico que se encuentra
en el intervalo ; , se representa por arg.z/ y se le llama argumento principal de z. No es
difcil comprobar (vase el ejercicio resuelto (28)) que el argumento principal de z Dx Ciy 0
Prof. Javier Prez

Observaciones a la definicin de argumento principal
arg.z/ D arc tg.y=x/ C
72

2
w D x C iv

arg.z/ D arc tg.y=x/

z D x C iy
arg.z/ D arc tg.y=x/

2
Figura 3.4. Argumento principal
viene dado por:
arc tg.y=x/ si y < 0, x < 0
< =2 si y < 0, x D 0

arg.z/ D arc tg.y=x/ si x > 0
=2 si y > 0, x D 0
:
arc tg.y=x/ C si y > 0, x < 0
Igualdad de dos nmeros complejos en forma polar

Para que dos nmeros complejos escritos en forma polar z D jzj.cos # C i sen #/ y
w D jwj.cos ' C i sen '/, sean iguales es condicin necesaria y suficiente que los mdulos
sean iguales jzj D jwj, y los argumentos sean iguales, Arg.z/ D Arg.w/, y sta condicin
equivale a que # ' sea un mltiplo entero de 2.

jzj D jwj
jzj.cos # C i sen #/ D jwj.cos ' C i sen '/
# ' D 2m .m 2 Z/
3.3.2. Observaciones a la definicin 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 0 a y en el semiplano inferior de 0 a .
Fjate que si tomas un nmero complejo que est situado en el tercer cuadrante z D x C iy
con x < 0; y < 0 y supones que y es prximo a 0, su argumento principal est prximo a
, y si tomas un nmero complejo que est situado en el segundo cuadrante, w D x C iv
con x < 0; v > 0, y supones que v es prximo a 0, su argumento principal est prximo a .
Adems, la distancia jw zj D jv yj D v y 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.
Prof. Javier Prez

Observaciones a la definicin de argumento principal
73
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si queremos elegir argumentos en un intervalo de longitud 2, digamos ; C 2, entonces dichos
argumentos saltan de a C 2 cuando atravesamos la semirrecta .x; y/ D .cos ; sen /,
. > 0/. En particular, si tomamos argumentos en el intervalo 0; 2 (cosa que, a primera
vista, parece lo razonable) nos encontramos con que entonces se produce una discontinuidad
de dichos argumentos en el eje real positivo. Bien, sucede que la extensin a C de algunas
funciones definidas en RC (el logaritmo, las races) hace intervenir el argumento principal.
Naturalmente, queremos que dichas extensiones sigan siendo continuas en RC y ello justifica
que tengamos que tomar argumentos principales de la forma en que lo hemos hecho: porque
preferimos introducir una discontinuidad en R a perder la continuidad en RC .
3.3.2.1.
Frmula de De Moivre
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros complejos.
3.5 Proposicin. Sean z, w conplejos no nulos, # 2 Arg.z/ y ' 2 Arg.w/. Entonces se verifica
que # C ' 2 Arg.zw/.
Demostracin. Tenemos que
z D jzj.cos # C i sen #/
w D jwj.cos ' C i sen '/

Usando ahora las igualdades (2.4) y (2.5), obtenemos:
zw D jzjjwj.cos # C i sen #/.cos ' C i sen '/D
D jzwj.cos # cos '
sen # sen '/ C i.sen # cos ' C cos # sen '/D
D jzwj.cos.# C '/ C i sen .# C '//
Lo que nos dice que # C ' 2 Arg.zw/.
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 z C arg w 2
Arg.zw/; es decir, arg z C arg w es un argumento de zw, pero lo que no podemos afirmar es
que arg z C arg w sea igual al argumento principal de zw. Naturalmente, esto ocurrir cuando
< arg z C arg w 6 .
arg z C arg w D arg.zw/ < arg z C arg w 6
(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).
Prof. Javier Prez

Races de un nmero complejo
74
3.6 Proposicin (Frmula de De Moivre). Si z es un complejo no nulo, # es un argumento

de z y n es un nmero entero, se verifica que n# 2 Arg.z n /, es decir:
z n D jzj.cos # C i sen #/
n
D jzjn .cos n# C i sen n#/;
# 2 Arg.z/; n 2 Z
(3.8)
3.3.3. Races de un nmero complejo

Se trata ahora de resolver la ecuacin w n D z donde n es un nmero natural, n > 2, y z 0
es un nmero complejo conocido. Escribamos w en forma polar:
w D jwj.cos ' C i sen '/
Ahora, usando la frmula de De Moivre, podemos escribir la ecuacin w n D z en la forma
equivalente:
w n D jwjn .cos n' C i sen n'/ D jzj.cos # C i sen #/
Donde # D arg z. Esta p

igualdad se da cuando jwjn D jzj y n' D # C 2k donde k 2 Z.
n
Deducimos que jwj D jzj (ojo: se trata de la raz nsima de un nmero positivo, cosa ya
conocida). Ahora bien, para cualquier nmero 'k de la forma 'k D .# C 2k/=n tenemos un
nmero complejo
p
wk D n jzj.cos 'k C i sen 'k /
tal que .wk /n D z. Como una ecuacin polinmica de grado n no puede tener ms de n soluciones, se sigue que distintos valores de k deben dar lugar al mismo nmero wk . Veamos:
wk D wq , 'k
'q D 2m , k
q D nm
Es decir, si k y q dan el mismo resto al dividirlos por n entonces wk D wq . Deducimos que

para k D 0; 1; 2; : : : ; n 1 obtenemos wk distintos y cualquier otro wq es igual a uno de ellos.
Por tanto hay n races nsimas distintas de z.
Hemos obtenido que las n races nsimas de z vienen dadas por
1=n
zk D jzj
arg z C 2k
arg z C 2k
cos
C i sen
n
n
k D 0; 1; 2; : : : ; n
(3.9)
Observa que definiendo u D cos.2=n/ C i sen.2=n/, los nmeros u0 D 1; u; u2 ; : : : ; un 1

son las races nsimas de la unidad. Podemos escribir las races nsimas de z en la forma
z k D z 0 uk . Como multiplicar por u es un giro de amplitud 2=n, deducimos que las n races de z se obtienen girando la raz nsima principal, z0 , con giros sucesivos de amplitud
2=n. Es decir, si representamos todas p
las races nsimas de z obtenemos n puntos sobre una
circunferencia de centro .0; 0/ y radio n jzj que forman un polgono regular de n lados.
p
De entre todas las races nsimas de z vamos a designar con el smbolo n z a la raz
n-sima principal, que est definida por

p
arg z
arg z
n
z D jzj1=n cos
C i sen
n
n
(3.10)
Prof. Javier Prez

75
Figura 3.5. Races novenas de la unidad
Observa que arg
arg z
p
n
z D
y, en consecuencia:
n
p

< arg n z 6
n
n
(3.11)
Adems, la raz n-sima principal de z es la nica de las races n-simas de z cuyo argumento
principal est en el intervalo =n; =n. 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 2=n, 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 z sea un nmero real positivo, entonces la raz
principal de z (considerado como nmero complejo) coincide con la raz de z (considerado
como nmero real positivo). Es decir, acabamos de extender la funcin raz n-sima de RC a
todo C conservando el significado que esa funcin tena en RC . Observa, sin embargo, que si
x 2 R y n es impar, la raz real de orden n de x no coincide con el valor principal de la raz
de orden n de x considerado como nmero complejo. Este pequeo inconveniente no es tal si
tenemos claro dnde estamos trabajando si en R o en C; esto es, si cuando n es impar estamos
considerando funciones races n-simas definidas en R, o si estamos considerando dichas funciones definidas en C. Observa que para n par no hay confusin alguna, solamente
cuando n es
p
3
impar y x es un nmero real negativo hay que tener cuidado.
Por
ejemplo,
1
D
1 cuando
p
consideramos a la raz cbica como una funcin real, y 3 1 D cos.=3/ C i sen.=3/ cuando
consideramos a la raz cbica como funcin compleja. Programas de clculo simblico, como
p
Mathematica, siguen precisamente este convenio y usan la notacin n z para el valor principal
de la raz n-sima del nmero complejo z.
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 atep
nerte. El hecho es que en muchos textos se representa con el smbolo n z el conjunto formado
por todas las races n-simas del nmero complejo z. Pues bueno. . . acabamos de perder la
funcin raz n-sima real y compleja! Porque, digo yo, si hemos de ser coherentes, habr que
Prof. Javier Prez

76
p
entender que 27 1 ya no vale 1 sino que es un conjunto formado por 27 nmeros complejos. Y
las reglas que conocemosppara
las races
reales ya ni siquiera pueden formularse. Qu sentido
p
p
5
5
5
tiene ahora escribir que 2 1 D
2? Es una igualdad entre conjuntos?
Debemos multiplip
p
5
5
car cada elemento del conjunto 2 por cada elemento
del
conjunto
1
y
comprobar
que
de
p
p
p
5
3
7
esa forma
obtenemos todos los elementos de 2? Cmo hay que
sumar ahora 2 C 3?
p
p
3
7
Porque 2 debe entenderse como un conjunto de 3 elementos y 3 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 z
p
es real, n z, representa siempre la raz n-sima real del nmero z. Bueno, pero esto no arregla el
p
disparate de que n z no es una funcin, porque todava persiste el hecho de que para z complejo
p
no real, n z no es un nmero sino un conjunto de n nmeros complejos. Lo peor de todo esto
es que los autores que cometen estos disparates ni siquiera son conscientes de ellos, y usan el
p
smbolo n z en sucesiones, lmites o integrales como si de una funcin usual se tratara. Habra
p
que decirles oiga! si para usted n z son n nmeros, qu significado tiene una expresin como
p
lKmn!1 n n z 1/? Pues eso, ni se dan cuenta.
p
Finalmente, observa que en la definicin (3.10) de n z interviene el argumento principal,
arg.z/. Por la definicin dada de argumento principal, tenemos que < arg z 6 y, como
ya hemos visto anteriormente, se produce una discontinuidad del argumento principal en el eje
p
real negativo y, en consecuencia, la funcin z 7! n z es discontinua en el eje real negativo. Te
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 0; 2. Cuando
p
se hace as, la funcin z 7! n z resulta ser discontinua en el eje real positivo. Mala cosa; con
esa eleccin para el argumento principal, una funcin que era continua en RC , al extenderla a
C ya no es continua en RC .
3.3.3.2.
La igualdad
p
p
p
n
z n w D n zw
En general, no es cierto que, dados dos nmeros complejos z y w, el producto de las

races n-simas principales de z y de w sea igual a la raz n-sima principal de zw. Lo
que, evidentemente, s es cierto es que el producto de dos races n-simas cualesquiera de
p p
z y de w es una raz n-sima de zw. Por tanto, n z n w, es una raz n-sima de zw pero
no tiene por qu ser la principal. Vamos a ver qu condiciones deben cumplirse para que
p
p
n
z n w sea la raz n-sima principal de zw. Para ello, bastar con exigir que el argumento
p p
principal de n z n w est en el intervalo =n; =n. Como suponemos que n es un narg z
arg w
mero natural n > 2, tenemos que <
C
6 y, por (3.7), deducimos que
n
n
p p arg z
arg w
arg z C arg w
arg n z n w D
C
D
. Tenemos que:
n
n
n
p p arg z C arg w i i
arg n z n w D
2
;
< arg z C arg w 6
n
n n
Hemos probado que
p
p
p
n
z n w D n zw < arg.z/ C arg.w/ 6
Prof. Javier Prez

77
Por ejemplo, si los nmeros z y w estn en el semiplano de la derecha, es decir, Re z > 0,

Re w > 0, entonces =2 < arg.z/ < =2 y =2 < arg.w/ < =2; por tanto en este caso
p p
p
arg.z/ C arg.w/ D arg.zw/ por lo que n z n w D n zw. En particular, esto es cierto cuando
z; w 2 RC . Por tanto, no perdemos ninguna de las propiedades de las races reales positivas
al extender las races a C.
En el caso en que n D 2, z D w D 1, tenemos que arg. 1/ C arg. 1/ D 2, y no se
cumple la condicin anterior. En este caso
p
p
p p
1
1 D 1 1 D 1 D . 1/. 1/
p p
1
1 D 1 es una raz cuadrada de 1 D . 1/. 1/ pero no es la raz cuadrada
es decir
principal de 1. Ahora ya sabes dnde est el error en lo que sigue:
p
p p
p
1 D i2 D i i D
1
1 D . 1/. 1/ D 1 D 1
72. Realiza las operaciones indicadas y expresa el resultado en la forma a C i b.

i) .7
v)
.4
2i/.5 C 3i/
i/.1 3i/
1 C 2i
1/3
ii) .i
vi) .1 C i/
iii) .1 C i/.2 C i/.3 C i/

2
vii)
iv)
1 C 2i
2 i
viii)
3Ci
2Ci
C i/3
i 2 .1
73. Calcula la parte real e imaginaria de las funciones:

a) f1 .z/ D z 2
b) f2 .z/ D z 3
c) f3 .z/ D
74. Calcula las siguientes cantidades.
4 3i
a) j.1 C i/.2 i/j b)

p
2 i 5
1
z
d) f .z/ D
c) j.1 C i/20 j
1
1 C z2
e) f4 .z/ D
zCi
z i
p
p
d) j 2 C i. 2 C 1/j
1Cz
es:
1 z
a) Un nmero real; b) Un nmero imaginario puro.
75. Calcula los nmeros complejos z tales que
76. Expresa en forma polar los siguientes nmeros complejos.

a)
p
3
b)
3Ci
c) p
3Ci
p
1Ci 3
d)
.1 C i/2
77. Expresa los siguientes nmeros en la forma a C i b:

p
a) . 1 C i 3/11
b)
1Ci
1 i
5
c)
p !6
1Ci 3
1 i
d) .
p
3 C i/13
Prof. Javier Prez

78
78. Prueba que para z 2 C n R o el argumento principal viene dado por

arg z D 2 arc tg
Im z
Re z C jzj
Sugerencia. Ver el ejercicio resuelto (22).

z
79. Calcula arg.zw/ y arg
supuestos conocidos arg z y arg w.
w
80. Supuesto que jzj D 1, prueba que

z 1
arg
zC1
(
=2 si Im z > 0
D
=2 si Im z < 0
81. Sea z D x C i y. Supuesto que jzj D 1, z 1, z i, prueba que

(
z 1
=4
si 1 x C y > 0
arg
D
zCi
3=4
si 1 x C y < 0
82. Resuelve la ecuacin cuadrtica az 2 C bz C c D 0 donde a; b; c, son nmeros complejos
conocidos y a 0.
83. Calcula todas las soluciones de las siguientes ecuaciones:
p
a) z 3 D 1 C i b) z 4 D i c) z 3 D 1 C i 3 d) z 8 D 1 e) z 2 C 2iz
p
3i D 0
84. Prueba que si una ecuacin polinmica con coeficientes reales admite una raz compleja,
z, entonces tambin admite como raz a z. Da un ejemplo de una ecuacin polinmica
de grado mayor que 1 que tenga como raz compleja 1 C i pero no admita como raz a
1 i.
85. Calcula las soluciones de las ecuaciones:
a) z 4 C 2z 3 C 7z 2
18z C 26 D 0I
b) z 4 C .5 C 4i/z 2 C 10i D 0
Sugerencia. El nmero 1 C i es raz de la ecuacin del apartado a).

86. Demuestra la llamada igualdad del paralelogramo:
jz C wj2 C jz
wj2 D 2.jzj2 C jwj2 / .z; w 2 C/
y explica su significado geomtrico.

87. Dados dos nmeros complejos y , calcula el mnimo valor para z 2 C de la cantidad
jz j2 C jz j2 :
Sugerencia: La igualdad del paralelogramo puede ser til.

z a
88. Prueba que

< 1 si jzj < 1 y jaj < 1 y tambin si jzj > 1 y jaj > 1.
1 az
Sugerencia: Una estrategia bsica para probar desigualdades entre mdulos de nmeros
complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Prof. Javier Prez

79
89. Sea w un nmero complejo de mdulo 1. Expresa los nmeros w

polar.
1 y w C 1 en forma
90. Sea x un nmero real que no es mltiplo entero de 2. Prueba las igualdades

nC1
x
n sen
2
x
a) 1 C cos x C cos 2x C C cos nx D cos x
2
sen
2

nC1
sen
x
n
2
x
b)
sen x C sen 2x C C sen nx D sen x
2
sen
2
Sugerencia: Si llamamos A a la primera suma y B a la segunda, calcula A C iB haciendo uso de la frmula de De Moivre.
91. Calcula una frmula para la suma
N
X
kD N
cos.2k t/ C i sen.2k t/
(tu respuesta debera de ser un cociente de senos).
2
2
92. Sea n 2 N, n > 2 y w D cos
C i sen
. Dado un nmero entero m 2 Z, calcula el
n
n
valor de las expresiones:
1. 1 C w m C w 2m C C w .n 1/m ;
2. 1 w m C w 2m C . 1/n 1 w .n
1/m .
95. Haciendo uso de la frmula de De Moivre prueba que:

1. sen 3' D 3 sen ' 4 sen3 '.
2. cos 4' D 8 cos4 ' 8 cos2 ' C 1.
3. sen 5' D 5 sen ' 20 sen3 ' C 16 sen5 '.
96. Representa grficamente los conjuntos de nmeros complejos z que verifican:
jz
3j 6 3I
jz
1j D jz
2
< jz ij 6 3I jarg zj < =6I jz
z i
D 2I
2ijI
Im.z 2 / > 6I
jz
z C 2i
i j C jz C ij D 4
i j D Im z C 1
97. Encuentra los vrtices de un polgono regular de n lados si su centro se encuentra en el

punto z D 0 y uno de sus vrtices z1 es conocido.
98. Resuelve la ecuacin .z
1/n D .z C 1/n , donde z 2 C y n 2 N, n > 2.
99. Sea jz1 j D jz2 j D jz3 j D 1. Prueba que z1 , z2 , z3 son vrtices de un tringulo equiltero
si, y slo si, z1 C z2 C z3 D 0.
100. Si 0 6 arg w arg z < , prueba que el rea del tringulo de vrtices 0, z y w viene dada
por 12 Im.zw/.
Prof. Javier Prez

80

z
donde z 2 C n fi; ig.
1 C z2
Solucin. Todo lo que hay que hacer es realizar las operaciones indicadas. Pongamos
para ello z D x C iy con x; y 2 R. Tenemos que
Ejercicio resuelto 24 Calcula la parte real e imaginaria de
.x iy/.1 C x 2 y 2 2xyi/
z
x iy
x iy
D
D
D
D
1 C z 2 1 C .x C iy/2 1 C x 2 y 2 C 2xyi
.1 C x 2 y 2 /2 C 4x 2 y 2
x C x 3 3xy 2 C i. y 3x 2 y C y 3 /
D
D
.1 C x 2 y 2 /2 C 4x 2 y 2
x C x 3 3xy 2
y 3x 2 y C y 3
D
C
i
.1 C x 2 y 2 /2 C 4x 2 y 2
.1 C x 2 y 2 /2 C 4x 2 y 2
Luego

z
x C x 3 3xy 2
z
y 3x 2 y C y 3
Re
D
;
Im
D
1 C z2
.1 C x 2 y 2 /2 C 4x 2 y 2
1 C z2
.1 C x 2 y 2 /2 C 4x 2 y 2
.2 C i p5/.1 C i p3/3
Ejercicio resuelto 25 Calcula

p
p
.
5Ci 3
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:
.2 C i p5/.1 C i p3/3 2 C i p5 1 C i p3 3
p
p
p
D6 2
p
p
D
5 Ci 3
5Ci 3
Ejercicio resuelto 26 Calcula los nmeros complejos z tales que w D

a) Un nmero real;
2z i
es
2 C iz
b) Un nmero imaginario puro.

Solucin. Pongamos z D x C iy con x; y 2 R. Tenemos que
wD
2x C i.2y 1/ .2x C i.2y 1//.2 y

D
2 y C ix
.2 y/2 C x 2
Por tanto, w es real si, y slo si

2x 2
2y 2 C 5y
ix/
3x C i. 2x 2 2y 2 C 5y
.2 y/2 C x 2
2 D 0 x 2 C .y
2/
5=4/2 D 9=16
Es decir, z est en la circunferencia de centro .0; 5=4/ y radio 3=4.

Anlogamente, w es imaginario puro si, y slo si, x D 0, es decir, z est en el eje imaginario.
Prof. Javier Prez

81

a) Es un nmero real;
z 1 i
zC1Ci
b) Tiene mdulo 1.
Solucin. Pongamos z D x C iy con x; y 2 R. Tenemos que
x
z 1 i
x 1 C i.y 1/
wD
D
D
zC1Ci
x C 1 C i.y C 1/

1 C i.y 1/ x C 1 i.y C 1/
D
.x C 1/2 C .y C 1/2
x 2 C y 2 2 C i.2y 2x/
D
.x C 1/2 C .y C 1/2
Por tanto, w es real si, y slo si, y D x 1, es decir, z est en la bisectriz de los
cuadrantes primero y tercero y z .1 C i/.
Es claro que jwj D 1 si, y slo si
jz
i jDjz C 1 C i j .x 1/2 C.y 1/2 D.x C1/2 C.y C1/2 x Cy D0
Es decir, z est en la bisectriz de los cuadrantes segundo y cuarto.
Ejercicio resuelto 28 Comprueba que el argumento principal de z D x C iy 0 viene dado

por
8
arc tg.y=x/ si y < 0, x < 0
=2 si y < 0, x D 0
<
# D arc tg.y=x/ si x > 0
=2 si y > 0, x D 0
:
arc tg.y=x/ C si y > 0, x < 0
Solucin. Teniendo en cuenta que para t < 0 es =2 < arc tg t < 0 y para 0 6 t
es 0 6 arc tg t < =2, se sigue que el nmero # definido por las igualdades anteriores
verifica que < # 6. Por tanto, para probar que # Darg.z/ bastar que comprobemos
la igualdad z D jzj.cos # C i sen #/, es decir, las igualdades x D jzj cos #, y D jzj sen #.
Para # D , # D =2 y # D =2 dichas igualdades son evidentes.
Sea x > 0 en cuyo caso # Darc tg.y=x/. En este caso, como =2 < # < =2, tenemos
que tg # D y=x y deducimos
1
y2
x2 C y2
2
D
1
C
tg
#
D
1
C
D
x 2 D .x 2 C y 2 / cos2 # x D jzj cos #
cos2 #
x2
x2
donde, en la ltima implicacin, hemos tenido en cuenta que x > 0 y cos # > 0. Deducimos tambin que
x
y D x tg # D
sen # D jzj sen #
cos #
Consideremos x < 0 e y > 0. Tenemos que =2 < # D arc tg.y=x/ C < , por
lo que =2 < # < 0, y deducimos tg # D tg.# / D y=x. Razonando como
antes obtenemos que x 2 D .x 2 C y 2 / cos2 #. Como x < 0 y cos # < 0, se sigue que
x D jzj cos #. De esta igualdad deducimos, al igual que antes, que y D jzj sen #.
Prof. Javier Prez

82
Consideremos x < 0 e y < 0. Tenemos que < # D arc tg.y=x/ < =2, por
lo que 0 < # C < =2, y deducimos tg # D tg.# C / D y=x. Razonando como en
el caso anterior volvemos a obtener las igualdades x D jzj cos #, y D jzj sen #.
Ejercicio resuelto 29 Expresa en forma polar los siguientes nmeros complejos.

1Ci
a)
b)
p
3Ci
1Ci
c)
1
1Ci
Solucin. a) Tenemos que arg. 1 C i/ D arc tg. 1/ C D 3=4, por lo que

p

1 C i D 2 cos.3=4/ C i sen.3=4/
b) Tenemos que
p
p
arg.
3 C i/ D arc tg. 1= 3/ C D
p
arc tg.1= 3/ C D =6 C D 5=6

1
arg.1 C i/ D arc tg.1/ D =4 arg
D =4
1Ci
!
p
7
3Ci
5
D
2 Arg
. Por tanto
deducimos que
6
4
12
1Ci
p

3Ci p
D 2 cos.7=12/ C i sen.7=12/
1Ci
p
p
p
c) arg. 1 C
3/ C D arc tg. 3/ C D =3 C D 2=3, por
i 3/ D arc
tg.
1
lo que arg
p
D 2=3. Por tanto
1Ci 3

1
p D
cos. 2=3/ C i sen. 2=3/
1Ci 3 2
1
z
supuestos conocidos arg z y arg w.

w
Solucin. Sabemos que arg z C arg w 2 Arg.zw/; adems 2 < arg z C arg w 6 2.
Tenemos las siguientes posibilidades:
Ejercicio resuelto 30 Calcula arg.zw/ y arg
2 < arg z C arg w 6 0 < arg z C arg w C 2 6

arg.zw/ D arg z C arg w C 2
< arg z C arg w 6 arg.zw/ D arg z C arg w
< arg z C arg w 6 2
2 60
arg.zw/ D arg z C arg w
2
se procede de forma anloga teniendo en cuenta ahora que

wz
arg w 2 Arg
y que 2 < arg z arg w < 2.
Para calcular arg

arg z
z
< arg z C arg w
Prof. Javier Prez

83
2z 1
z 2
a) Tiene argumento principal igual a =2;

b) Tiene argumento principal igual a =2.
Solucin. Pongamos z D x C iy con x; y 2 R. Como
2z 1 2x
D
z 2
x
1 C 2yi .2x
D
2 C iy
1 C 2yi/.x 2
.x 2/2 C y 2
deducimos que arg w D =2 si, y slo si, 2x 2 C 2y 2

2x 2 C 2y 2
5x C 2 D 0 .x
iy/
2x 2 C 2y 2 5x C 2
.x 2/2 C y 2
3yi
5x C 2 D 0 e y < 0. Como
5=4/2 C y 2 D 9=16
deducimos que arg w D =2 cuando z est en la semicircunferencia de centro .5=4; 0/ y

radio 3=4 que est contenida en el semiplano inferior. Tambin Tambin deducimos que
arg w D =2 cuando z est en la semicircunferencia de centro .5=4; 0/ y radio 3=4 que
est contenida en el semiplano superior.
Ejercicio resuelto 32 Resuelve la ecuacin cuadrtica az 2 C bz C c D 0 donde a; b; c, son

nmeros complejos conocidos y a 0.
Solucin. Tenemos que

b
c
b 2 c
b2
az C bz C c D 0 z C z C D 0 z C
C
D0
a
a
2a
a 4a2

b 2 b 2 4ac
zC
D0
2a
4a2
"
# "
#
p 2
p 2
b
b
b
4ac
b
4ac
zC
C
D0
zC
2a
2a
2a
2a
p
8
b C b 2 4ac
<z D
p2a
b 2 4ac
:z D b
2a
2
Las dos soluciones obtenidas suelen expresarse en la forma

p
b b2
2
az C bz C c D 0 z D
2a
4ac
Observa que hemos seguido el mismo procedimiento que en el caso real1 . Debes entender
bien la igualdad
p
b b 2 4ac
(3.12)
zD
2a
p
Aqu b 2 4ac es un nmero
complejo
(en
particular,
puede
ser
real),
b 2 4ac es su
p
2
raz cuadrada principal y
b
4ac es la otra raz cuadrada (todo nmero complejo
Prof. Javier Prez

~
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 C 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 z. 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 z 4 C .1 C i/z 2 C 5i D 0.
Solucin. Poniendo w D z 2 , la ecuacin queda w 2 C .1 C i/w C 5i D 0, cuyas soluciones

son
p
p
.1 C i/
18i
.1 C i/ .1 C i/2 20i
D
D
2
2
p
.1 C i/ 18.cos. =4/ C i sen. =4//
D
D
p
p
p2

.1 C i/ 18.1= 2 i= 2/
.1 C i/ 3.1 i/
1 2i
D
D
D
2Ci
2
2
p
p
Las soluciones de la ecuacin dada son las races 1 2i y
2 C i. Tenemos que
arg.1 2i/D arc tg 2 y arg. 2Ci/D arc tg.1=2/. Usando que cos.xC=2/D sen x
y sen.x C =2/ D cos x, obtenemos:

p
p
arc tg 2
arc tg 2
4
1 2i D 5 cos
i sen
2
2

p
p
arc tg.1=2/
arc tg.1=2/
4
2 C i D 5 sen
C i cos
2
2
Observa que las soluciones son nmeros complejos pero no son complejos conjugados.
La ecuacin dada tiene coeficientes complejos.
Ejercicio resuelto 34 Calcula las soluciones de las ecuaciones:

a) z 4 C 2z 3 C 7z 2
18z C 26 D 0I
b) z 4 C .5 C 4i/z 2 C 10i D 0
Sugerencia. El nmero 1 C i 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 P .x/ se anula para un valor , P ./ D 0,
entonces es divisible por x , es decir P .x/D.x /Q.x/ donde Q.x/ es un polinomio
de un grado menor que P .x/.
1 Antes, en la enseanza media se resolva la ecuacin ax 2 C bx C c D 0 donde a; b; c son nmeros reales, igual
que lo hemos hecho aqu. He comprobado que ahora los estudiantes llegan a la Universidad sin saberla resolver.
Prof. Javier Prez

85
Como la ecuacin dada es polinmica con coeficientes reales y nos dicen que 1 C i
es raz, tambin es raz 1 i. Por tanto, el polinomio dado debe de ser divisible por
.z .1 C i//.z .1 i// D z 2 2z C 2. Haciendo la divisin, obtenemos que
z 4 C 2z 3 C 7z 2
18z C 26 D .z 2 C 4z C 13/.z 2
2z C 2/
Lo que queda ya es inmediato.
Ejercicio resuelto 35 Demuestra la llamada igualdad del paralelogramo:

jz C wj2 C jz
wj2 D 2.jzj2 C jwj2 / .z; w 2 C/
(3.13)
y explica su significado geomtrico.

Solucin. Basta realizar las operaciones indicadas. Tenemos que:
jz C wj2 D .z C w/.z C w/ D zz C ww C zw C zw D jzj2 C jwj2 C 2 Re.zw/
(3.14)
jz
wj2 D .z
w/.z
w/ D zz C ww
zw
zw D jzj2 C jwj2
2 Re.zw/
(3.15)
zC
Sumando estas igualdades se obtiene la igualdad del enunciado. Su significado 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.
z
w
Figura 3.6. Igualdad del paralelogramo
Ejercicio resuelto 36 Dados dos nmeros complejos y , calcula el mnimo valor para
z 2 C de la cantidad jz j2 C jz j2 :
Sugerencia: La igualdad del paralelogramo puede ser til.
Solucin. La sugerencia y un poco de intuicin deben ser suficientes para hacer este
ejercicio. La intuicin lo que dice es que el punto que buscamos debe ser la el punto
C
medio del segmento de extremos y , es decir el punto u D
. Ahora debemos
2
relacionar la cantidad que nos dan con jz uj. Usando la igualdad del paralelogramo
(3.13) con z sustituido por z y w por z y escribindola de derecha izquierda,
tenemos que

2 jz j2 C jz j2 D j2z j2 C j j2
Prof. Javier Prez

86
de donde
2
jz
Deducimos que jz
y slo si, z D
j C jz
j2 C jz
C
.
2
j D 2 z
2
1
j2 > j
2
C 2 1
C j
2
2
j2
j2 para todo z 2 C y la igualdad se da si,
Ejercicio resuelto 37 Prueba las desigualdades:

a) jjzj
jwjj 6 jz wj
z
1
w
b) jz C wj > .jzj C jwj/

C
2
jzj jwj
donde z; w 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.

Idioma

Cálculo Diferencial e Integral

Cargado por

Información del documento

Título original

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

Cálculo Diferencial e Integral

Cargado por

Copyright:

Formatos disponibles

C LCULO

DE FUNCIONES DE UNA VARIABLE

Francisco Javier Prez Gonzlez

No comercial. No puede utilizar esta obra para fines comerciales.

Prof. Javier Prez

1. Axiomas de R. Principio de induccin

1.1.1. Axiomas, definiciones, teoremas, lemas, corolarios. . . . . . . . . . . .

Axiomas de los nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.1. Axiomas algebraicos . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.2. Axiomas de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.3. Desigualdades y valor absoluto

La forma correcta de leer las matemticas . . . . . . . . . .

Una funcin aparentemente caprichosa . . . . . . . . . . . .

1.2.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

La razn urea y el pentagrama . . . . . . . . . . . . . . . . 27

Medimos con nmeros racionales . . . . . . . . . . . . . . . 28

1.4.2. Hacer matemticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

2.1. Funciones reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2.2.6. Funcin potencia de exponente real a . . . . . . . . . . . . . . . . . . 42

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

Las funciones hiperblicas inversas . . . . . . . . . . . . . . 49

2.2.9. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

Prof. Javier Prez

3.1. Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

3.3.3. Races de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . 74

Notacin de las races complejas . . . . . . . . . . . . . . . 75

3.3.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Prof. Javier Prez

4.3.3. Consecuencias del teorema de Bolzano . . . . . . . . . . . . . . . . . 112

Continuidad y monotona . . . . . . . . . . . . . . . . . . . 114

4.3.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 116

Funciones divergentes en un punto . . . . . . . . . . . . . . 135

Lmites en infinito . . . . . . . . . . . . . . . . . . . . . . . 136

Funciones divergentes en infinito . . . . . . . . . . . . . . . 136

4.6. lgebra de lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

Lmites de exponenciales y logaritmos . . . . . . . . . . . . 140

4.7. Indeterminaciones en el clculo de lmites . . . . . . . . . . . . . . . . . . . . 141

5.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150

Cortaduras de Dedekind . . . . . . . . . . . . . . . . . . . . 162

Mtodos axiomticos y mtodos constructivos . . . . . . . . 164

El regreso de los pequeitos . . . . . . . . . . . . . . . . . . 165

5.2.5. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 165

Prof. Javier Prez

5.3.2. La metafsica del Clculo en DAlembert y Lagrange . . . . . . . . . . 167

5.3.7. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 178

Las aporas de Zenn de Elea . . . . . . . . . . . . . . . . . 178

Atomismo y divisibilidad infinita . . . . . . . . . . . . . . . 180

La rueda de Aristteles . . . . . . . . . . . . . . . . . . . . 183

5.4.2. El infinito desde la Edad Media hasta el siglo XIX . . . . . . . . . . . 184

El infinito en la Escolstica . . . . . . . . . . . . . . . . . . 184

Galileo y el infinito . . . . . . . . . . . . . . . . . . . . . . 184

El Clculo y el infinito . . . . . . . . . . . . . . . . . . . . . 187

5.4.3. El infinito matemtico y el nacimiento de la teora de conjuntos . . . . 188

La no numerabilidad del continuo . . . . . . . . . . . . . . . 193

5.4.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 199

6.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201

Elementos de una curva relacionados con la derivada . . . . 205