1/5 2/5 0 3/5 4/5 1

P
Q
A
B D
C
u
?
?
Captulo 4
N umeros reales y complejos.
Sobre los n umeros reales nos limitaremos a hacer una serie de comentarios que complementan
algunos aspectos que no han sido tratados en la asignatura de An alisis matematico I. En un captulo
posterior estudiaremos la representacion decimal de los n umeros reales y la aritmetica de los
ordenadores. La bibliografa oportuna se ir a citando a lo largo de la exposici on.
Nuestra presentacion de los n umeros complejos es basicamente la del texto [Ap], completado
con [ApC]. Vease tambien [Her], cap. 4. Para ejercicios (resueltos y propuestos) son utiles [Spg],
[Wil].
Las referencias adicionales que sean necesarias se citaran en su contexto.
4.1 N umeros reales.
Ya hemos visto que desde el punto de vista algebraico, el sistema de los n umeros racionales es
bastante incompleto: si bien en Q es posible resolver siempre ecuaciones del tipo ax + b = 0, con
a ,= 0, hay ecuaciones tan simples como x
2
= 2 que no tienen soluci on. Esto fue descubierto ya
por los pitag oricos en el siglo V antes de nuestra era, en su formulaci on geometrica, en terminos
de conmensurabilidad e inconmensurabilidad de longitudes (ver notas hist oricas en [Ebb], cap. 2).
Dos segmentos AB y CD son conmensurables si pueden ser medidos exactamente con una unidad
de longitud com un u, es decir, si hay un n umero exacto m N de segmentos de longitud u que
colocados uno tras otro sin solaparse cubren AB, y lo mismo un n umero n de sementos para CD;
la raz on entre las longitudes de los segmentos AB y CD es la misma que la razon (el cociente)
entre los n umeros m y n. En caso contrario, son inconmensurables.
Fijado un segmento cualquiera, es f acil construir por semejanza de tri angulos un nuevo segmento
cuya raz on con el primero sea igual a un valor m/n arbitrariamente dado (en la gura se muestra
la construccion de un segmento de longitud 1/5: la recta OPQ y el segmento OP son arbitrarios; el
85
86 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

punto Q se obtiene trasladando OP cinco veces a lo largo de dicha recta). No es descabellado pensar
que siempre hay conmensurabilidad: el algoritmo de Euclides, con la divisi on interpretada como
sustraccion repetida de segmentos iguales, lleva gr acamente a una unidad de medida com un
hasta donde el ojo puede apreciar. Sin embargo, la raz on desmiente a la intuici on, y como es
bien sabido, el teorema de Pit agoras obliga a descartar esta hip otesis: la diagonal del cuadrado,
de la que no dudamos que tenga una longitud, resulta inconmensurable con el lado, pues si este
tiene una longitud m respecto de cualquier unidad, la diagonal ha de tener una longitud n tal que
n
2
= m
2
+m
2
= 2m
2
, lo cual lleva a un absurdo tras eliminar sucesivamente factores 2 en m y n.
(Ver la discusi on sobre Aritmetica y Geometra en [A-K], pp. 43).
Hizo falta mucho talento para solucionar este inconveniente (lo logr o Eudoxo, contempor aneo
de Plat on, con su teora de las proporciones). Mucho m as tarde, cuando la abilidad de la intuici on
geometrica fue puesta en cuestion tras el asentamiento de las geometras no eucldeas y la crisis
subsiguiente, se hizo necesaria una fundamentaci on del continuo (el conjunto de los n umeros reales).
No es este el lugar para seguir la largusima evolucion hist orica del concepto de n umero hasta
las ideas actuales, por lo que nos limitaremos en lo que sigue a se nalar los principales puntos que
subyacen en una presentaci on rigurosa de los n umeros reales, que quedan abiertos para tratar en
una asignatura posterior sobre Fundamentos de Analisis matem atico.
4.1.1 Construcciones de R a partir de Q.
En la ampliaci on de un sistema numerico para llegar a otro mayor que subsane alguna deciencia,
la idea directriz es a nadir lo mnimo que le falta. As, para construir Z a partir de N se a naden
los opuestos de los n umeros naturales (y el 0 en su caso); para construir Q a partir de Z, se
a naden los cocientes de enteros (con denominador no nulo). Para construir R a partir de Q, hay
dos procedimientos destacados:
metodo de Cantor-Meray de las sucesiones fundamentales. Trata de evitar que
aparezcan sucesiones de Cauchy no convergentes, como sucede en Q. Se dene entonces una
relacion de equivalencia en el conjunto de las sucesiones de Cauchy de n umeros racionales
(cada clase va a jugar el papel de lmite de todas ellas), de manera que R es el conjunto
cociente y un n umero real es una clase de equivalencia. Las operaciones de suma y producto
en R se denen a partir de las operaciones de suma y producto de sucesiones, y se demuestra
que con ellas R es un cuerpo. Hay que denir as mismo una relaci on de orden entre las
sucesiones de Cauchy de Q, que permite luego denir una ordenaci on en R con la cual resulta
ser un cuerpo totalmente ordenado completo (en el sentido de que todo conjunto no vaco
acotado superiormente posee supremo). El desarrollo en detalle de este proceso se entiende
mejor cuando se ha estudiado teora de anillos e ideales. Puede verse, por ejemplo, en [Ebb],
[Ham], [S-T] (aqu hay adem as un interesante apartado sobre la conexi on con la intuici on, p.
204).
Este es el metodo mas empleado generalmente, sobre todo porque permite usar construcciones
parecidas en otras situaciones (complecion de espacios metricos en Topologa, por ejemplo.)
metodo de Dedekind de las cortaduras. Se dirige a conseguir que se cumpla el axioma
del supremo, no v alido en Q. Se parte de las cortaduras en Q, que son pares (A, B) de
subconjuntos de Q tales que:
A y B son complementarios, A B = Q y A B = ;
A ,= ,= B;
cada elemento de A es menor que cada elemento de B.
Cada cortadura est a determinada por A o por B (v. comentarios en [Ebb]), de modo que
podemos quedarnos, por ejemplo, con el conjunto A, y decir como en [Spv], que
4.2. EL CUERPO COMPLEJO. 87
un n umero real es un conjunto A de n umeros racionales con las propiedades siguientes:
si x A e y Q es tal que y < x, entonces tambien y A;
,= A ,= Q;
no hay un elemento m aximo en A, de manera que si x A, existe alg un y A tal que
y > x.
De que modo se denen la suma, el producto y la ordenaci on en el conjunto R de los n umeros
reales puede verse en [Spv], pp. 811 y ss.; ver tambien [Ebb], pp. 36 y ss.
otros metodos. Por que no usar los decimales para construir R? Es posible, pero tiene
mas inconvenientes tecnicos que los metodos anteriores. La manera de hacerlo esta indicada
en [Spv], pp. 826827, ejercicio 2.
Tambien se han empleado intervalos encajados o, equivalentemente, pares de sucesiones
mon otonas los extremos de los intervalos (v. [Ebb], especialmente el comentario nal, p.
46).
4.1.2 Axiomatica de R.
No se planteo explcitamente un sistema axiomatico para los n umeros reales hasta que fue formu-
lado esencialmente por Hilbert hacia 1900, en su obra Grundlagen der Geometrie (Fundamentos
de Geometra). Actualmente, la descripci on axiom atica de R se resume en:
R es un cuerpo conmutativo totalmente ordenado completo, es decir, tal que todo conjunto
no vaco acotado superiormente tiene supremo.
As se introduce R en la mayora de los textos de Analisis matematico, para comenzar a estudiar
sus propiedades de manera inmediata. Una buena muestra es [Ap].
4.1.3 Unicidad y minimalidad de R.
En las sucesivas ampliaciones de los n umeros se busca siempre, como hemos se nalado anteriormente,
solucionar alg un defecto, pero con una propiedad de minimalidad. As, en los contenidos
N Z Q,
Z es el menor grupo que contiene a N y Q es el menor cuerpo que contiene a Z; ahora, R no
solo es el menor cuerpo completo que contiene a Q, sino que es el unico salvo isomorsmos.
Una explicaci on detallada de este hecho puede verse en [Spv], cap. 29, y en [Ebb], p. 50; tambien,
en [S-T], cap. 10. unicidad.
4.2 El cuerpo complejo.
Como se nala [Her], p. 195,

las sucesivas ampliaciones de los sistemas de n umeros se han realizado
para acomodar resultados sorprendentes en los sistemas de n umeros conocidos. Estos resultados
sorprendentes provienen, en la mayor parte de los casos, de la resoluci on de ecuaciones algebraicas.
Por ejemplo, la ecuaci on x + 7 = 5, en la que solamente aparecen n umeros naturales, no
posee ning un n umero natural como soluci on; su soluci on es el n umero negativo 2. Los n umeros
naturales, junto con los n umeros negativos, forman el sistema de los n umeros enteros. Este sistema
de n umeros es insuciente para resolver todas las ecuaciones algebraicas; la ecuacion 3x = 5 no
posee como solucion ning un n umero entero; su soluci on es el n umero fraccionario 5/3. Los n umeros
enteros, junto con los n umeros fraccionarios, forman el conjunto de los n umeros racionales. Estos
n umeros resultan insucientes para resolver ecuaciones cuadr aticas; por ejemplo, la ecuacion x
2
= 2
88 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

no tiene un n umero racional como solucion; sus soluciones son los n umeros irracionales

2 y

2.
Los n umeros racionales, junto con los irracionales, forman el sistema de los n umeros reales.

Entre los n umeros irracionales hay, incluso, muchos que no son races de polinomios con coe-
cientes racionales. Pese a ello, R no es sucientemente completo desde el punto de vista algebraico:
un polinomio tan sencillo como X
2
+ 1 sigue sin tener races en R. En pleno Renacimiento, los
algebristas italianos del siglo XVI (Tartaglia, Cardano, Bombelli: v. [Ebb], cap. 3), en su b usqueda
de races reales de ecuaciones c ubicas (de polinomios de grado 3), comenzaron un c alculo formal con
expresiones imaginarias, cticias, en las que aparecan races cuadradas de n umeros negativos,
comprobando que, aunque ignoraban que signicado atribuir a dichas expresiones, los resultados
que obtenan a partir de ellas eran consistentes y satisfactorios, resolviendo as problemas de races
de ecuaciones de segundo y tercer grado en R. La inevitabilidad de estas expresiones llevara, tras
periodos de discusi on y desconanza sobre su naturaleza, a la introducci on y aceptaci on nal de
los n umeros complejos.
Denicion 4.2.1 El cuerpo de los n umeros complejos es el conjunto
C = (a, b) : a, b R
dotado de las operaciones
suma: (a, b) + (c, d) = (a +c, b +d)
producto: (a, b) (c, d) = (ac bd, bc +ad).
Los elementos de C reciben el nombre de n umeros complejos.
Como conjunto, pues, C es simplemente R
2
= R R, que conocemos como espacio vectorial
sobre R, con la misma suma que acabamos de denir. La novedad (absolutamente trascendente
como veremos) esta en la introducci on de un producto interno, que aplica C C en C (en R
2
tenemos el producto por escalares externos, que aplica R R
2
en R
2
).
Veamos que esta justicado llamar a C el cuerpo de los n umeros complejos.
Proposicion 4.2.2 Con la suma y el producto que hemos denido, C es un cuerpo conmutativo.
Demostraci on. Una vez mas, enunciamos las propiedades a comprobar, si bien dejamos las de-
mostraciones como ejercicio. (Ver [ApC], pp. 438 y ss.)
1. Propiedad asociativa de la suma. ((a
1
, b
1
) + (a
2
, b
2
)) + (a
3
, b
3
) = (a
1
, b
1
) + ((a
2
, b
2
) +
(a
3
, b
3
)).
2. Propiedad conmutativa de la suma. (a
1
, b
1
) + (a
2
, b
2
) = (a
2
, b
2
) + (a
1
, b
1
).
3. Existencia de elemento neutro (cero) para la suma. Hay un n umero complejo, el (0, 0),
tal que para todo (a, b) C, (0, 0) + (a, b) = (a, b) + (0, 0) = (a, b).
4. Existencia de elemento opuesto para la suma. Para cada (a, b) C hay un n umero
complejo (y uno s olo), el n umero complejo (a, b), tal que
(a, b) + (a, b) = (a, b) + (a, b) = (0, 0).
5. Propiedad asociativa del producto. ((a
1
, b
1
) (a
2
, b
2
)) (a
3
, b
3
) = (a
1
, b
1
) ((a
2
, b
2
) (a
3
, b
3
)).
6. Propiedad conmutativa del producto. (a
1
, b
1
) (a
2
, b
2
) = (a
2
, b
2
) (a
1
, b
1
).
7. Existencia de elemento neutro (identidad) para el producto. Hay un n umero complejo,
el (1, 0), tal que para todo (a, b) C es (1, 0) (a, b) = (a, b) (1, 0) = (a, b).
8. Existencia de elemento inverso para el producto. Para cada (a, b) C 0 hay un
elemento (y uno solo) en C, el n umero complejo
_
a
a
2
+b
2
,
b
a
2
+b
2
_
, tal que
(
a
a
2
+b
2
,
b
a
2
+b
2
) (a, b) = (a, b) (
a
a
2
+b
2
,
b
a
2
+b
2
) = (1, 0).
4.2. EL CUERPO COMPLEJO. 89
(Tiene sentido porque a ,= 0 o b ,= 0.)
9. Propiedad distributiva del producto respecto de la suma. (a
1
, b
1
) ((a
2
, b
2
)+(a
3
, b
3
)) =
(a
1
, b
1
) (a
2
, b
2
) + (a
1
, b
1
) (a
3
, b
3
).
El cuerpo C contiene un subconjunto que es una copia isomorfa al cuerpo R, que identicaremos
con R. Precisemos esta armacion:
Proposicion 4.2.3 La aplicaci on h : R C dada por
h(a) = (a, 0), a R,
es inyectiva y para cualesquiera a, b R cumple
h(a +b) = h(a) +h(b);
h(a b) = h(a) h(b)
Demostraci on. Ejercicio.
Procedemos, pues, a la identicaci on de a R con h(a) C, lo que nos permite usar la notaci on
simplicada a = (a, 0). Observando que todo elemento (a, b) C se puede escribir en la forma
(a, b) = (a, 0) + (b, 0)(0, 1),
si denimos la unidad imaginaria i como
i = (0, 1),
con esta nueva notaci on tenemos
(a, b) = a +ib.
Esta manera de escribir un n umero complejo (forma binomica) se corresponde con la repre-
sentacion del vector (a, b) de R
2
en la base canonica (1, 0), (0, 1). Por tanto, si a + ib = a

+ ib

con ay b reales, necesariamente a = a

y b = b

. Como es sabido, la primera componente a del

n umero complejo z = (a, b) = a + ib se denomina la parte real de z, en smbolos a = 'e z, y la
segunda componente b se denomina la parte imaginaria de z, en smbolos b = mz. As, tanto
la parte real como la parte imaginaria son n umeros reales.
Los n umeros reales estan, pues, caracterizados como los z C tales que mz = 0. La condici on
'e z = 0 caracteriza a los llamados n umeros imaginarios (imaginarios puros, en algunos textos).
Una ventaja de expresar los n umeros complejos en forma bin omica es que se hace mas facil la
multiplicaci on. En efecto, teniendo en cuenta que
i
2
= (0, 1)(0, 1) = (1, 0) = 1
comprobamos que la extra na f ormula
(a, b) (c, d) = (ac bd, bc +ad)
se traduce en la mas natural
(a +ib)(c +id) = ac bd +i(bc +ad),
donde para hacer esta operaci on solo hace falta usar las reglas habituales de la multiplicaci on y las
identicaciones anteriormente expuestas. De pasada, hemos comprobado que el n umero complejo
i es una raz de X
2
+ 1 en C (la otra es i).
Ninguna de las relaciones de orden que pueden denirse en C hacen de el un cuerpo totalmente
ordenado: no hay posibilidad niguna de que se mantengan las mismas propiedades que en Q y en
R ligan la ordenaci on con la suma y el producto.
(En efecto: en todo cuerpo totalmente ordenado es x
2
+1 > 0 para cualquier elemento x, mientras
que en C tenemos i
2
+ 1 = 0.)
90 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

Conjugaci on. M odulo de un complejo.
Un instrumento muy importante en el manejo de los n umeros complejos es la conjugaci on.
Denicion 4.2.4 Dado un n umero complejo z, su complejo conjugado, denotado por z, est a
dado por
z = 'e z i mz.
Proposicion 4.2.5 La aplicaci on de C en C que asocia a cada n umero complejo su conjugado,
llamada conjugaci on, tiene las siguientes propiedades.
(i) Es un isomorsmo de cuerpo, es decir, es inyectiva y para cualesquiera z, w C se verica
z +w = z +w
zw = z w
(ii) Es una involuci on, o sea, aplicada dos veces vuelve al elemento de partida:
z = z para todo z C.
(iii) Deja jos exactamente los n umeros reales:
z = z si y solo si z R.
Demostraci on. Son consecuencias directas de la denicion (comprobarlo).
Mediante el conjugado se puede expresar algebraicamente la parte real y la parte imaginaria de
cada z C,
'e z =
z +z
2
, mz =
z z
2i
.
Tambien permite expresar algebraicamente su m odulo, que pasamos a denir, lo que facilita muchas
de las operaciones que deberemos efectuar con los n umeros complejos.
Denicion 4.2.6 El modulo de un n umero complejo z es el n umero real no negativo
[z[ =

z z =
_
('e z)
2
+ (mz)
2
.
Por tanto, [z[
2
= z z. N otese as mismo que [z[ = [z[.
Ejercicio. Para z ,= 0, probar que su inverso es
z
[z[
2
=
'e z
[z[
2
i
mz
[z[
2
.
Las propiedades m as importantes del modulo, que comparte con el valor absoluto en R, son las
siguientes:
Proposicion 4.2.7 Dados z, w C,
(i) [z[ 0 siempre, y [z[ = 0 si y s olo si z = 0.
(ii) [zw[ = [z[[w[.
(iii) [z +w[ [z[ +[w[ (desigualdad triangular).
Demostraci on.
(i) Por la propia denici on, [z[ 0 para todo z C y [0[ = 0. Si ahora z = a + ib (a, b R)
es tal que [z[ = 0, es a
2
+ b
2
= [z[
2
= 0, y puesto que 0 a
2
a
2
+ b
2
= 0, a
2
= 0 y a = 0
(simetricamente, b = 0).
4.2. EL CUERPO COMPLEJO. 91
(ii) [zw[
2
= (zw)(zw) = (zw)(z w) = z z ww = [z[
2
[w[
2
= ([z[[w[)
2
, y como [zw[ y [z[[w[ son
n umeros reales no negativos, forzosamente [zw[ = [z[[w[.
(iii) [z +w[
2
= (z +w)(z +w) = (z +w)(z +w) = z z +z w+wz +ww = [z[
2
+z w+z w+[w[
2
=
[z[
2
+ 2'e (z w) +[w[
2
,
mientras que
([z[ +[w[)
2
= [z[
2
+ 2[z[[w[ +[w[
2
= [z[
2
+ 2[z w[ +[w[
2
,
y como (ver lema siguiente) 'e (z w) ['e (z w)[ [z w[,
se obtiene la desigualdad buscada.
En la demostraci on de la desigualdad triangular hemos necesitado:
Lema 4.2.8 Para cada z C,
'e z ['e z[ [z[, mz [mz[ [z[.
Demostraci on. Pongamos a = 'e z, b = mz. De
a
2
a
2
+b
2
= [z[
2
, b
2
a
2
+b
2
= [z[
2
,
se sigue [a[ [z[, [b[ [z[, y nalmente
a [a[ [z[, b [b[ [z[.
Como en R, se prueba:
Corolario 4.2.9 (desigualdad triangular inversa) Dados z, w C,
[z w[ [[z[ [w[[.
Demostraci on. Ejercicio.
Ejercicios
13.1. Expresar los siguientes n umeros complejos en la forma a +ib, con a, b R:
a) (1 +i)
3
; b)
2 + 3i
3 4i
; c)
i
4
+i
9
+i
16
2 i
5
+i
10
i
15
; d)
_
1 +i

2
_
5
.
13.2. Calcular
4n

m=1
_
1 i
1 +i
_
m
.
Indicaci on. Calcular primero (1i)/(1+i) y recordar que (1w)(1+w+w
2
+ +w
N
) = 1w
N+1
.
13.3. Dado z =
3 2ai
4 3i
, con a R, determinar el valor de a para que z R y calcular entonces
el valor de z.
13.4. Calcular dos complejos cuya suma sea 1 +4i, cuyo cociente sea imaginario y de manera que
la parte real de uno de ellos sea 1.
13.5. Hallar x, y R tales que z = x+iy sea una raz cuadrada de 25i, es decir, (x+iy)
2
= 25i.
En general, dados a, b R, si z = x+iy es una raz cuadrada de a+bi, es decir, (x+iy)
2
= a+bi,
expresar x e y en funci on de a, b.
92 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

13.6. Sea z C con z ,= 1. Probar que
1 +z
1 z
es imaginario si y solo si [z[ = 1.
13.7. Sean w, z C tales que w =
z a
az 1
con 0 < a < 1. Probar que [w[ < 1 si y solo si [z[ < 1.
13.8. Probar que si [a[ = 1 o [b[ = 1, entonces

a b
1 ab

= 1. Que excepcion debe hacerse si

[a[ = [b[ = 1?
13.9. Sea w =
1 +z
1 z
con w = u +iv y z = x +iy (x, y, u, v R). Probar que
x =
u
2
+v
2
1
(u + 1)
2
+v
2
; y =
2v
(u + 1)
2
+v
2
.
13.10. Sea z = a +ib (a, b R). Demostrar que existen p, m y n independientes de z (z ,= 0, 1)
tales que
(a
2
+b
2
)(a
2
+b
2
+ 2a + 1)
a
2
b
2
+a (1 + 2a)bi
= p +mz +nz
2
.
Hallar p, m y n.
4.3 El plano complejo
Para abordar este apartado utilizaremos frecuentemente un lenguaje geometrico meramente intui-
tivo, sin atenernos estrictamente al estilo mas deductivo del planteamiento del resto del curso. As,
por ejemplo, hablaremos de angulos, o daremos por bueno que las funciones seno y coseno del
An alisis matematico se corresponden con las funciones denidas gr acamente en Trigonometra,
aunque para ello no tengamos ninguna justicaci on rigurosa. Si hemos de ser totalmente honestos,
ni siquiera tenemos hasta ahora una denici on rigurosa de las funciones seno y coseno: nos hemos
conformado con admitir su existencia y propiedades. Es tarea de cursos superiores la construcci on
y el estudio de estas y otras funciones elementales basicas, por lo que seguiremos usandolas como
hasta ahora.
La idea de partida en esta seccion es que todo n umero complejo z = a+ib (a, b R) lo podemos
representar en el plano como el punto de coordenadas (a, b), su ajo.
()
Esto supone que tenemos jado en el plano un sistema cartesiano de ejes coordenados. Los
puntos del eje de abscisas seran los complejos (x, 0), o sea, los n umeros reales, por lo que llamaremos
a este eje el eje real . An alogamente, el eje de ordenadas estara formado por los puntos (0, y), los
n umeros imaginarios puros iy, y denominaremos a este eje el eje imaginario. Nos referiremos a
este sistema con el nombre de diagrama de Argand.
En este contexto, la distancia eucldea en el plano, por ejemplo, permitir a denir la distancia
entre dos complejos z y w, que vendr a dada por
d(z, w) = [z w[,
ya que si z = x+iy, w = u+iv, (x, y, u, v R), ambas cantidades son iguales a
_
(x u)
2
+ (y v)
2
.
En particular, para cada z C, su modulo mide la distancia de z a 0.
()
Esta observacion fue hecha repetidamente por matematicos que no lograron eco suciente en la comunidad
matematica (entre ellos Argand, a cuyo nombre ha quedado asociada), hasta que fue adoptada por Gauss en 1831 y
mas tarde por Cauchy, zanjando as la polemica sobre la legitimidad de los n umeros complejos (ver [DD-P], pp. 254
y ss.)
= Im z
O a = Re z
|z |

=(a,b )
4.3. EL PLANO COMPLEJO 93
An alogamente, puesto que todo punto del plano z ,= 0 queda unvocamente determinado por
sus coordenadas polares, es decir, su distancia al origen (i.e., su m odulo) y por el angulo polar (el
que forma el segmento de extremos 0 y z con el eje real), podremos utilizar para tales z la llamada
representaci on polar o modulo-argumental. La medida del angulo polar (en radianes) es lo
que llamaremos argumento de z.
Pongamos en orden estos conceptos.
Observando la gura, tenemos las igualdades
'e z = [z[ cos , mz = [z[ sen ,
de donde
z = [z[(cos +i sen ).
Como siempre sucede con la medida de angulos, hay aqu una
ambig uedad, puesto que y +2k con k Z hacen el mismo
papel de cara a las igualdades anteriores. Esto nos hace abordar
las siguientes precisiones sobre la denicion de argumento.
Denicion 4.3.1 (Argumentos) Dado z C 0, un argumento de z es cualquier tal que
z = [z[ cos , z = [z[ sen .
El conjunto de los argumentos de z lo denotaremos por arg z, es decir,
arg z = R : cos = 'e z/[z[, sen = mz/[z[.
Entonces, arg z es un conjunto! Pero es obvio que si para dos valores
0
, R, se cumple
cos = cos
0
, sen = sen
0
,
debe existir un k Z de manera que
=
0
+ 2k;
en otras palabras, el conjunto arg z puede describirse, conocido uno cualquiera de sus elementos,
de la siguiente manera:

0
+ 2k :
0
arg z, k Z =
0
+ 2Z.
De esta forma, en cualquier intervalo semiabierto de longitud 2, por ejemplo (, ], existe un
unico elemento perteneciente al conjunto arg z. A este elemento se le denota por
Arg z,
y se le llama argumento principal (precauci on: en algunos textos se llama argumento principal
al que esta en el intervalo [0, 2)). Por tanto, para nosotros:
Denicion 4.3.2 (Argumento principal) Dado z C 0,
Arg z = si y solo si (, ] y cos = 'e z/[z[, sen = mz/[z[.
Denicion 4.3.3 La representaci on polar o modulo-argumental de un n umero complejo no
nulo viene dada por su m odulo y uno cualquiera de sus argumentos.
Para presentarla de una manera m as compacta, introducimos la siguiente notacion.
0
z
z +w
w
z - w
w - z
0
z
w
z .w
1
uz
u
1
94 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

Denicion 4.3.4 Dado R, pondremos
e
i
= cos +i sen .
Por tanto, dado z C 0, si arg z ser a
z = [z[ e
i
(representaci on exponencial de un n umero complejo).
Notese que para z = 0 se tiene z = [z[ e
i
cualquiera que sea R.
Ejercicio. Para cada R, [e
i
[ = 1. Recprocamente, para todo z C con [z[ = 1 existe R
tal que z = e
i
.
Ejercicio. Si R, entonces e
i
= 1 si y solo si existe k Z tal que = 2k.
Ejercicio. Comprobar la formula de Euler
e
i
+ 1 = 0.
(Se ha dicho que esta es una de las mas bellas formulas de las Matematicas, porque liga los n umeros
fundamentales del

Algebra, la Geometra y el An alisis).
Proposicion 4.3.5 (Representacion exponencial del producto de dos n umeros complejos.)
Dados z
1
, z
2
C, si z
1
= [z
1
[ e
i
1
, z
2
= [z
2
[ e
i
2
, con
1
,
2
R, se tiene
z
1
z
2
= [z
1
z
2
[ e
i(
1
+
2
)
= [z
1
[ [z
2
[ e
i(
1
+
2
)
.
Demostraci on. Ya probamos que [z
1
z
2
[ = [z
1
[ [z
2
[.
Operando
e
i
1
e
i
2
= (cos
1
+i sen
1
) (cos
2
+i sen
2
)
= cos
1
cos
2
sen
1
sen
2
+i(cos
1
sen
2
+ sen
1
cos
2
)
= cos(
1
+
2
) +i sen(
1
+
2
) = e
i(
1
+
2
)
,
y queda nalmente
z
1
z
2
= [z
1
[ [z
2
[ e
i(
1
+
2
)
= [z
1
z
2
[ e
i(
1
+
2
)
.
Por tanto, mientras que la suma y la resta
de n umeros complejos no son otra cosa que la
suma y la resta de vectores en el plano, que no
necesita gracamente mas que la traslacion
de segmentos, la construccion gr aca del pro-
ducto de dos vectores es un poco mas com-
plicada:
Dados z, w = [w[ e
i
C, para construir z w hemos de
girar z un angulo (con centro de giro en el origen) y
efectuar una homotecia que multiplique el m odulo de z
por el de w. Como se muestra en la gura, para llevar esto
a cabo basta girar el tri angulo de vertices 0, 1, z hasta
que el segmento de extremos 0 y 1 tenga la direcci on del
segmento de extremos 0 y w, obteniendose as el tri angulo
de vertices 0, u
1
, u
z
; z w es el punto de corte de la recta
que pasa por 0 y u
z
con la paralela por w a la recta que
pasa por u
1
y u
z
(por que?).
4.3. EL PLANO COMPLEJO 95
Corolario 4.3.6 (Representacion exponencial del cociente de dos n umeros complejos.)
Dados z
1
, z
2
C, si z
1
= [z
1
[ e
i
1
, z
2
= [z
2
[ e
i
2
,= 0, se tiene
z
1
z
2
=
[z
1
[
[z
2
[
e
i(
1

2
)
.
Demostraci on. Basta tener en cuenta que, seg un lo que acabamos de probar,
[z
1
[
[z
2
[
e
i(
1

2
)
z
2
=
[z
1
[
[z
2
[
[z
2
[ e
i(
1

2
+
2
)
= [z
1
[ e
i
1
= z
1
.
Nota. La expresion e
i
, R, comparte propiedades algebraicas de la exponencial real:
e
i
e
i
= e
i(+)
, , R,
(e
i
)
1
= e
i()
, R.
Ejercicios
14.1. Hallar los m odulos y los argumentos de los n umeros complejos: 2x (x R 0), iy
(y R 0), 1 +i, 1 i, (1 +i)(1 +i

3)(

3 i), 2 +5i, 2 5i, 2 +5i, 2 5i (estos ultimos,

en funci on del arc tg(5/2)). Cu al es el argumento principal?
14.2. Si , R, entonces e
i
= e
i
si y solo si existe k Z tal que = 2k.
14.3. Hallar el m odulo y el argumento principal de 1 + cos +i sen , donde .
14.4. Hallar la parte real y la imaginaria, el m odulo y un argumento de
1 + cos x +i sen x
1 + cos y +i sen y
.
14.5. Sean R y a C tales que 2 cos = a +
1
a
. Obtener 2 cos n en funci on de a.
Indicaci on. Que vale
_
e
i
a
_
_
e
i

1
a
_
?
14.6. Si x +iy = (2 +cos +i sen )
1
con , x, y R, hallar x e y en funci on de y probar que
el punto (x, y) esta siempre en la circunferencia de di ametro el segmento que une los puntos (
1
3
, 0)
y (1, 0).
14.7. Sean z
1
, z
2
, z
3
C distintos dos a dos. Explicar el signicado geometrico de las relaciones:
(i) m
z
3
z
1
z
2
z
1
= 0 ; (ii) 'e
z
3
z
1
z
2
z
1
= 0 .
14.8. Sean z
1
, z
2
C con z
1
,= 0. Probar que
z
2
z
1
es imaginario si y solo si [z
1
+ z
2
[ = [z
1
z
2
[.
Deducir que un paralelogramo tiene sus diagonales iguales si y s olo si es un rectangulo.
14.9. Demostrar que [z
1
z
2
[
2
+[z
1
+z
2
[
2
= 2[z
1
[
2
+ 2[z
2
[
2
. Deducir que un cuadril atero es un
paralelogramo si y s olo si la suma de los cuadrados de las longitudes de sus diagonales es igual a la
suma de los cuadrados de las longitudes de todos sus lados (ley del paralelogramo).
14.10. Demostrar que el tri angulo cuyos vertices son los puntos z
1
, z
2
, z
3
sobre el diagrama de
Argand es equil atero si y solo si
z
2
1
+z
2
2
+z
2
3
= z
1
z
2
+z
2
z
3
+z
3
z
1
.
14.11. Cual es el lugar geometrico de los puntos del plano complejo tales que [z +16[ = 4[z +1[?
96 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

4.4 Polinomios en C y en R.
Reexionando sobre lo que hemos hecho hasta ahora, parece que nuestros logros son m as bien
modestos. Hemos a nadido a R b asicamente un n umero, i, que nos genera linealmente C, y que es
una raz del polinomio concreto X
2
+ 1. Que sucedera con los demas polinomios? Esto lo expone
estupendamente el premio Nobel de Fsica, Richard Feynman, en un captulo llamado Algebra
(de lectura absolutamente recomendada en su totalidad) de su libro [Fey], p. 22-10:

Ahora ustedes dir an: Esto puede seguir indenidamente! Hemos denido las potencias de
los imaginarios y todo lo dem as y cuando estamos listos, viene alguien con otra ecuacion
que no puede ser resuelta como x
6
+ 3x
2
= 2. Entonces tenemos que generalizar todo de
nuevo! Pero resulta que con esta invencion adicional que es simplemente la raz cuadrada
de 1, toda ecuaci on algebraica puede ser resuelta! Este es un hecho fant astico que debemos
dejar que lo demuestre el Departamento de Matematicas. Las demostraciones son hermosas
y muy interesantes, pero ciertamente no son evidentes por s mismas. De hecho, la suposicion
mas evidente es que vamos a tener que inventar de nuevo, de nuevo y de nuevo. Pero el
milagro mas grande es que no tenemos que hacerlo. Esta es la ultima invenci on. Despues
de esta invencion de los n umeros complejos, encontramos que las reglas siguen funcionando
con los n umeros complejos y hemos terminado de inventar cosas nuevas. Podemos encontrar
la potencia compleja de cualquier n umero complejo, podemos resolver cualquier ecuacion
escrita algebraicamente en terminos de un n umero nito de esos smbolos. No encontramos
mas n umeros nuevos.

4.4.1 Potencias y races de un n umero complejo
Comenzaremos construyendo las races de unos polinomios muy particulares, los de la forma X
n
z
para un z cualquiera de C. Nuestro desarrollo de esta parte es, esencialmente, el de [Ap], pp. 2628.
Denicion 4.4.1 Dados z C y n Z, se dene
_
z
0
= 1, z
n+1
= z
n
z si n 0,
z
n
=
_
z
1
_
n
si n < 0 y z ,= 0.
Corolario 4.4.2 (Formula de De Moivre.) Dado R, para todo n N es
(cos +i sen )
n
= cos(n) +i sen(n).
Demostraci on. Escrita en forma exponencial,
(e
i
)
n
= e
in
,
se obtiene comodamente por inducci on. Para n = 1 es trivialmente cierta, y si es cierta para un n,
entonces
(e
i
)
n+1
= (e
i
)
n
e
i
= e
in
e
i
= e
in+i
= e
i(n+1)
.
Ejercicio. Que ocurre con la f ormula de De Moivre para n Z?
Proposicion 4.4.3 Dados dos enteros m y n, tenemos, siempre que esten denidas las potencias,
z
m
z
n
= z
m+n
, (z
1
z
2
)
n
= z
n
1
z
n
2
.
Demostraci on. Para n 0, es un ejercicio de inducci on (hacerlo). Para n < 0, recuerdese la
denici on (v. [Ap], Teorema 1.50).
e
i/5
1
0
e
2i/5
e
-2i/5
e
-i/5
/5
4.4. POLINOMIOS EN C Y EN R. 97
Teorema 4.4.4 Si z ,= 0 y n N, existen exactamente n n umeros complejos distintos z
0
, z
1
, . . . ,
z
n1
(llamados races n-esimas de z), tales que
z
n
k
= z
para cada k = 0, 1, . . . , n 1.
Ademas, si es un argumento de z, estas races est an dadas por las f ormulas
z
k
= r e
i
k
, k = 0, 1, . . . , n 1,
donde
r = [z[
1/n
,
k
=

n
+
2k
n
(k = 0, 1, . . . , n 1).
Demostraci on. (Cf. [Ap], p ags 2728)
Los n n umeros complejos r e
i
k
, k = 0, 1, . . . , n 1, son distintos entre s: pues si tomamos
enteros k, j, con 0 k n1, 0 j n1, de r e
i
k
= r e
i
j
se sigue e
i(
k

j
)
= 1 [porque r ,= 0
y basta multiplicar por (1/r) e
i
j
] y de aqu
k

j
= 2m para alg un m Z; pero entonces

n
+
2k
n


n

2j
n
= 2m, es decir,
k j
n
= m es un entero, y dado que
1 <
(n 1)
n
=
0 (n 1)
n

k j
n

(n 1) 0
n
=
n 1
n
< 1,
eso solo puede cumplirse si
k j
n
= 0, es decir, si k = j.
Ademas, cada uno de tales n umeros es una raz n-esima de z:
(r e
i
k
)
n
= r
n
e
in
k
= [z[ e
i(+2k)
= [z[ e
i
= z.
Por ultimo, no hay otras races n-esimas de z distintas de las anteriores, pues un polinomio de
grado n puede tener a lo m as n races distintas, y las races n-esimas de z son justamente las races
del polinomio P(X) = X
n
z.
Observese que todas las races n-esimas de un complejo z tienen el mismo modulo, [z[
1/n
, y que
sus argumentos dieren en m ultiplos de 2/n radianes, de modo
que sus ajos estan sobre una circunferencia de centro el origen
y radio [z[
1/n
, ocupando los vertices de un polgono regular de
n lados.
Ejemplo. Para cada n N existen n races n-esimas de la
unidad, los n umeros 1, e
2i/n
, . . . , e
2(n1)i/n
, situados sobre
los vertices de un polgono regular de n lados inscrito en la
circunferencia unidad, de centro el origen y radio 1. Adem as,
el polgono es simetrico respecto del eje real. Estas races son
las potencias sucesivas de e
2i/n
, y pueden obtenerse numerosas
relaciones algebraicas entre ellas.
Problemas de notacion para las races. Si queremos mantener las notaciones z
1/n
o
n

z que
empleabamos para las races n-esimas no negativas de los n umeros reales no negativos, como pro-
ceder ahora, que para cada z C0 tenemos n races diferentes sin ning un criterio incontestable
para distinguir entre ellas? En particular: que signica z
1/2
? que signica

z?
Podramos reservar el smbolo z
1/n
o
n

z para la raz n-esima principal de z, denida como

[z[
1/n
e
i(Arg z)/n
,
donde Arg z indica el argumento principal de z (el que queda entre y ), o utilizar uno de ellos
(o los dos) para el conjunto de todas las races n-esimas de z.
98 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

Los convenios utilizados varan de unos textos a otros, por lo cual, para no caer en ambig uedades,
merece la pena explicitar siempre el signicado exacto atribuido a los smbolos que se esten
manejando, sin necesidad de decantarse por ninguno. Por ejemplo, pondramos:
para a, b, c R, a ,= 0,
az
2
+bz +c = 0
si y solo si
z =
b

b
2
4ac
2a
,
es decir,
z =
b +

b
2
4ac
2a
o z =
b

b
2
4ac
2a
,
donde

b
2
4ac indica una cualquiera de las races cuadradas del complejo b
2
4ac.
Ejemplo. Cuando z sea un n umero real no negativo, z [0, +), como z = 0 o Arg z = 0, se
obtiene como raz cuadrada principal de z justamente su raz cuadrada real no negativa
Ejercicios
15.1. Dado x R, hallar la parte real y la imaginaria de:
a) (1 + cos x +i sen x)
n
;
b)
_
1 + cos x +i sen x
1 + cos y +i sen y
_
n
.
15.2. Calcular
_
1 + sen a +i cos a
1 + sen a i cos a
_
n
, n N y a R.
15.3. Calcular todos los valores de
4

1,
6

1 +i.
15.4. Hallar los n umeros complejos que son iguales a la potencia n-esima de sus conjugados.
15.5. Probar que la suma de las potencias n-esimas de las races k-esimas de la unidad es k o 0,
seg un n sea o no m ultiplo de k.
15.6. Probar que 1 + cos
2
5
+ cos
4
5
+ cos
6
5
+ cos
8
5
= 0 y dar una interpretaci on geometrica.
Probar que
cos

5
=

5 + 1
4
, cos
2
5
=

5 1
4
.
15.7. Probar que
1 cos

5
+ cos
2
5
cos
3
5
+ cos
4
5
= 0
sen

5
+ sen
2
5
sen
3
5
+ sen
4
5
= 0
15.8. Probar que si n N se tiene
_
1 +i tan

12
_
n
+
_
1 i tan

12
_
n
= 2
_

2
_
n
cos
n
12
15.9. Hallar la suma 1 + 2 cos + 2 cos 2 +. . . + 2 cos n.
15.10. Expresar en potencias de cos ( R): cos 6, cos 3,
sen6
sen
,
sen5
sen
.
Expresar en en potencias de sen ( R): sen3, sen7.
4.4. POLINOMIOS EN C Y EN R. 99
15.11. Sea = e
2i/13
. Probar que +
3
+
4
+
9
+
10
+
12
=

13 1
2
.
Indicaci on: Si S es la suma, quien es (2S + 1)
2
?
15.12. Sea z = e
2i/7
. Calcular
6

n=1
z
n
2
.
4.4.2 Teorema fundamental del

Algebra y sus consecuencias
Desde el punto de vista algebraico, la principal ventaja del cuerpo complejo es que, al contrario que
R, C es algebraicamente cerrado, i.e., todo polinomio no constante con coecientes complejos
tiene una raz en C.
()
Este hecho fue presentido antes de que se llegara a formular adecuadamente
y mucho antes de que se lograra una demostraci on incuestionable (ver [DD-P], pp. 248253). No es
un resultado f acil de demostrar con argumentos elementales pero, en cursos posteriores, sera una
consecuencia sencilla del analisis de las funciones complejas de variable compleja. No obstante,
puede verse una demostracion relativamente asequible (bastante larga) en [A-K], pp. 344352.
Aqu nos limitaremos a dar su enunciado y a deducir las consecuencias que de el se derivan en
relacion con el estudio de las races y de la factorizacion de los polinomios en C[X] y en R[X].
Teorema 4.4.5 (DAlembert-Gauss) Todo polinomio no constante con coecientes complejos
admite al menos una raz en C.
Corolario 4.4.6 Los polinomios irreducibles en C[X] son los de grado 1 (lineales), de manera que
todo polinomio en C[X] de grado n, n N, admite una factorizaci on como producto de n factores
lineales.
Demostraci on. Ya comentamos que los polinomios de grado 1 son siempre irreducibles. Cualquier
otro polinomio p en C[X] de mayor grado ya no es irreducible, pues tendra una raz z C y sera
por tanto de la forma p(X) = (X z) q(X), con deg q = deg p 1 ,= 0.
La segunda conclusi on se sigue del teorema de factorizacion unica: necesariamente,
p(X) = a(X z
1
) (X z
n
)
a ,= 0, z
1
, . . . , z
n
C si deg p = n.
Corolario 4.4.7 Sea n N. Todo polinomio en C[X] de grado n posee exactamente n races, si
se cuenta cada una de ellas tantas veces como indique su multiplicidad.
Demostraci on. Dado p C[X] de grado n, agrupando los factores X z repetidos en la descom-
posicion anterior, si z
1
, . . . , z
k
, son las distintas races de p, con multiplicidades m
1
, . . . , m
k
,
resulta
p(X) = a(X z
1
)
m
1
(X z
k
)
m
k
y por tanto m
1
+ +m
k
= n.
Pasemos ahora a caracterizar los polinomios irreducibles en R[X].
()
Sigue dandose una condicion de minimalidad: C es el menor cuerpo algebraicamente cerrado que contiene a R.
Con mayor precision, si un cuerpo algebraicamente cerrado contiene un subcuerpo isomorfo a R, debe contener un
subcuerpo isomorfo a C.
100 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

Lema 4.4.8 Dado p R[X], si z C es tal que p(z) = 0, entonces p(z) = 0. En palabras, si
un polinomio con coecientes reales tiene una raz compleja z, tambien su conjugado z es raz del
polinomio.
Demostraci on. Por las propiedades de la conjugaci on, si p(X) = a
0
+a
1
X + +a
n
X
n
, y a
0
, a
1
,
. . . , a
n
R, para todo z C es
p(z) = a
0
+a
1
z + +a
n
z
n
= a
0
+a
1
z + +a
n
z
n
= a
0
+a
1
z + +a
n
z
n
= p(z).
En particular, p(z) = 0 implica p(z) = p(z) = 0.
Corolario 4.4.9 Los polinomios irreducibles en R[X] son los polinomios lineales y los polinomios
cuadr aticos de la forma
a[(X b)
2
+c
2
],
con a, b, c R, a ,= 0 y c ,= 0.
Demostraci on. Los polinomios lineales son siempre irreducibles, y los polinomios cuadr aticos del
enunciado son irreducibles en R[X] por ser de segundo grado y no tener races en R (n otese que las
races en C de a[(X b)
2
+c
2
] son b +ic y b ic).
Cualquier polinomio irreducible q en R[X] es de esta forma. Pues si tiene alguna raz en R,
es lineal. Y si no, mirado en C[X], admitir a al menos una raz compleja b + ic con c ,= 0; pero
tambien tendr a por raz b ic seg un el lema. Por tanto, es divisible (en principio en C[X]) por
(X (b + ic))(X (b ic)) = (X b)
2
+ c
2
, que tiene coecientes reales; el cociente de q por
(X b)
2
+ c
2
es el mismo en C[X] que en R[X] (por que?), luego debe ser un a R[X] con
deg a = 0, o sea, una constante real no nula.
Nota. Los polinomios de segundo grado irreducibles en R[X] son, equivalentemente, los de la forma
AX
2
+BX +C con B
2
4AC < 0 (por que?).
Ejercicios
16.1. Descomponer en factores irreducibles el polinomio X
n
+X
n1
+ +X + 1
(i) en C[X];
(ii) en R(X).
16.2. Mediante factorizaci on, probar que todo polinomio real de grado impar admite al menos una
raz real.
16.3. Hallar dos n umeros complejos cuya suma sea 4 y cuyo producto sea 8.
Indicaci on. Quien es (X a)(X b)?
16.4. Si z
1
, z
2
son las dos soluciones de la ecuacion az
2
+bz +c = 0, donde a, b, c R, demostrar
que z
n
1
+z
n
2
R para todo n N. Si la ecuaci on es en particular z
2
2z +2 = 0, calcular z
n
1
+z
n
2
.
16.5. Sabiendo que la ecuaci on z
2
(

3 +i

3)z +p = 0 tiene por soluci on z = 1 +i, hallar p y

la otra raz.
16.6. Que condici on han de cumplir los n umeros reales a, b, c, d para que la ecuaci on
z
3
+az
2
+ (b +ic)z +b +id = 0 admita una raz real?
16.7. Comprobar que z = 3 +4i es una solucion de la ecuacion z
4
10z
3
+62z
2
178z +325 = 0
y hallar las otras tres races.
4.5. FRACCIONES RACIONALES. 101
16.8. Resolver la ecuacion z
4
+(3 +5i)z
3
(15 +15i)z
2
+(125 75i)z +625i = 0, sabiendo que
tiene dos races conjugadas cuyo producto es 25.
16.9. Considerese la ecuacion z
3
2z + c = 0, donde c R. Hallar sus soluciones sabiendo que
una de ellas esta en la bisectriz del primer cuadrante del plano complejo.
16.10. Resolver la ecuacion (iz + 1)
5
= (1 z)
5
.
16.11. Demostrar que el polinomio (X+i)
n
(Xi)
n
tiene todas sus races reales y determinarlas.
16.12.
(i) Demostrar que si a R,
(z +a)
2m
(z a)
2m
= 4amz
m1

k=1
_
z
2
+a
2
cotg
2
k
2m
_
.
(ii) Usando el apartado anterior, probar que
m1

k=1
cotg
k
2m
= 1.
(
N

k=1
z
k
signica z
1
z
N
.)
4.5 Fracciones racionales. Fracciones simples.
Como se nal abamos al construir los n umeros racionales a partir de los enteros, la misma construc-
cion puede llevarse a cabo partiendo de cualquier dominio de integridad, para sumergirlo en un
cuerpo de fracciones. En particular, el metodo puede aplicarse al dominio K[X] de los polinomios
en la indeterminada X con coecientes en un cuerpo conmutativo K, obteniendose as el cuerpo
de las fracciones racionales (tambien llamado de las fracciones algebraicas). No daremos ninguna
demostracion, puesto que basta repetir las empleadas en la construcci on de Q, cambiando simple-
mente n umero entero por polinomio (el lector puede comprobarlo en alg un caso para una mejor
comprension del proceso).
Lema 4.5.1 Sea = K[X] (K[X] 0), y la relaci on en dada por
(p
1
, q
1
) (p
2
, q
2
) cuando y s olo cuando p
1
q
2
= p
2
q
1
.
Entonces es una relaci on de equivalencia en .
A los elementos de los denominaremos fracciones algebraicas en la indeterminada X, con
coecientes en K.
Denicion 4.5.2 El cuerpo de las fracciones racionales es el conjunto cociente K(X) =
/ . Sus elementos, que denominaremos fracciones racionales, son las clases de equivalencia
[(p, q)].
Nota sobre nomenclatura y notacion. No hay una denominaci on estandar universalmente
utilizada para los elementos de y de K(X): es habitual llamar indistintamente a unos y otros
fracciones algebraicas o fracciones racionales. Para mayor complicacion, el smbolo empleado
normalmente para la relaci on de equivalencia en es =. Igualmente, se emplea la notacion
clasica p/q para los dos objetos distintos (p, q) o [(p, q)] K(X). A veces, se dice que una
102 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

fracci on racional admite una representaci on p/q para indicar que (p, q) es un representante de la
clase de equivalencia que constituye dicha fracci on.
Es realmente notable que a pesar de todos estos abusos, no haya dicultades serias de en-
tendimiento si se considera en cada situacion cu al es el sentido adecuado al contexto.
El lector queda advertido, pues, de que poco a poco iremos relajando la precisi on adhiriendonos
a la pr actica habitual, aunque en este primer apartado intentaremos ser eles a la notaci on y
nomenclatura introducidas. Como muestra, por ejemplo:
Denicion 4.5.3 Una fracci on algebraica p/q se dice irreducible si p y q son relativamente
primos, es decir, si mcd(p, q) = 1.
(Evidentemente, aqu p/q , aunque no se indique explcitamente.)
Ejercicio. Probar que toda fracci on algebraica es equivalente a una fracci on irreducible; dicho de
otro modo, que toda fracci on racional admite un representante que es una fracci on irreducible.
Concretamente, dados polinomios p, q K[X] con q ,= 0 y mcd(p, q) = d, si p = p
1
d, q = q
1
d,
p/q p
1
/q
1
y p
1
/q
1
es irreducible.
Denicion 4.5.4 Dadas
p
1
q
1
,
p
2
q
2
, su suma es
p
1
q
1
+
p
2
q
2
=
p
1
q
2
+p
2
q
1
q
1
q
2
( ),
y su producto
p
1
q
1
p
2
q
2
=
p
1
p
2
q
1
q
2
( ).
Lema 4.5.5 Dados
p
1
q
1
,
r
1
s
1
,
p
2
q
2
,
r
2
s
2
en tales que
p
1
q
1

r
1
s
1
,
p
2
q
2

r
2
s
2
, se verica
p
1
q
1
+
p
2
q
2

r
1
s
1
+
r
2
s
2
,
p
1
q
1
p
2
q
2

r
1
s
1
r
2
s
2
.
Denicion 4.5.6 Dadas dos fracciones racionales
p
1
q
1
,
p
2
q
2
K(X), llamaremos suma de ambas
a la fracci on racional
p
1
q
1
+
p
2
q
2
=
p
1
q
2
+p
2
q
1
q
1
q
2
[ K(X)],
y producto a la fracci on racional
p
1
q
1
p
2
q
2
=
p
1
p
2
q
1
q
2
[ K(X)].
Seg un el lema previo, la aplicaci on suma (respectivamente, producto) de K(X) K(X) en
K(X) que hace corresponder a
_
p
1
q
1
,
p
2
q
2
_
K(X) K(X) la fracci on racional
p
1
q
2
+p
2
q
1
q
1
q
2
(respec-
tivamente,
p
1
p
2
q
1
q
2
_
esta bien denida.
Proposicion 4.5.7 Con la suma y el producto que hemos denido, K(X) es un cuerpo conmuta-
tivo.
Proposicion 4.5.8 La aplicaci on h : K[X] K(X) dada por
h(p) = p/1 K(X), p K[X],
tiene las siguientes propiedades:
4.5. FRACCIONES RACIONALES. 103
(i) es inyectiva, h(p
1
) ,= h(p
2
) si p
1
,= p
2
;
(ii) transforma sumas en sumas, h(p
1
+p
2
) = h(p
1
) +h(p
2
);
(iii) transforma productos en productos, h(p
1
p
2
) = h(p
1
) h(p
2
).
Es decir, h es un isomorsmo entre K[X] y h(K[X]) por lo que, desde este momento, conside-
ramos
K[X] K(X) y p = p/1 para todo p K[X].
4.5.1 Nota sobre funciones racionales.
Igual que hemos hablado de funciones polin omicas, obtenidas mediante evaluacion de polinomios,
podemos denir funciones racionales mediante evaluaci on de fracciones racionales? Ahora las
cosas se complican: mientras que no hay ning un problema en evaluar p(x) para cada p K[X] y
x K, no podemos decir lo mismo sobre la evaluacion de p/q K(X) en cualquier x K. Si
bien hemos exigido que q ,= 0, eso no impide que puedan existir x K para los que q(x) = 0 (las
posibles races de q), lo que hace que p(x)/q(x) no tenga sentido en K. Es, pues, necesario ajustar
nuestro planteamiento.
Denicion 4.5.9 Una funci on racional es un cociente de funciones polin omicas.
Por tanto, su dominio ser a todo K salvo un n umero nito de elementos, a lo mas (los que anulen
al denominador).
En consecuencia, dos representantes distintos de una misma fracci on racional originan dos
funciones racionales diferentes: por ejemplo, mientras que las fracciones racionales
X + 1
X
2
1
y
X 2
X
2
3X + 2
son iguales, las funciones racionales f y g, cocientes respectivamente de las funciones
polin omicas x + 1 y x
2
1, x 2 y x
2
3x + 2, son distintas puesto que domf = K 1, 1,
domg = K 1, 2. Evidentemente, en los x pertenecientes a la interseccion de sus dominios
ambas toman el mismo valor, igual a su vez a
1
x 1
.
Esto es lo que sucede en general:
Sea p/q y r/s una fracci on irreducible equivalente a p/q; el conjunto S de ceros de s esta
contenido en el conjunto de ceros de q, y la funci on racional asociada a p/q es la restriccion a KS
de la funci on racional asociada a r/s.
4.5.2 Fracciones simples
Las fracciones racionales admiten una representacion estandar que es muy util en ciertas apli-
caciones. En lo que sigue, para simplicar los enunciados, suponemos que deg p deg q signica

p = 0 o deg p deg q

.
Lema 4.5.10 Dada una fracci on p(X)/q(X), existen polinomios p
0
(X), p
1
(X) unvocamente de-
terminados tales que deg p
1
< deg q y
p(X)
q(X)
= p
0
(X) +
p
1
(X)
q(X)
.
Demostraci on. La igualdad del enunciado puede reescribirse
p(X)
q(X)
=
p
0
(X)q(X) +p
1
(X)
q(X)
,
104 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

lo que signica, por denici on, que
()
p(X)q(X) = [p
0
(X)q(X) +p
1
(X)]q(X),
que equivale, cancelando q (o, para la implicaci on inversa, multiplicando por q), a
p(X) = p
0
(X)q(X) +p
1
(X).
Por tanto, el lema es solo otra manera de enunciar la existencia y unicidad de la divisi on de
polinomios.
Lema 4.5.11 Si q(X) K[X] es de la forma q(X) = q
1
(X)q
2
(X) con mcd(q
1
, q
2
) = 1, toda
fracci on racional p(X)/q(X) puede descomponerse en suma de fracciones con denominadores q
1
y
q
2
, es decir, existen polinomios p
1
y p
2
tales que
p(X)
q(X)
=
p
1
(X)
q
1
(X)
+
p
2
(X)
q
2
(X)
.
Demostraci on. Puesto que existen dos polinomios u y v tales que uq
1
+vq
2
= 1,
p
q
=
p(uq
1
+vq
2
)
q
1
q
2
=
p v
q
1
+
p u
q
2
.
Ejemplo. En R(X),
1
X
4
+ 1
=
1
(X
2
+

2X + 1)(X
2

2X + 1)
.
Llamemos A = X
2
+

2X + 1, B = X
2

2X + 1. Puesto que
A = B + 2

2X, B = (X

2)X + 1,
(algoritmo de Euclides salvo constantes) se sigue que
1 = B (X

2)X = B (X

2)
1
2

2
(AB) = B(1 +
X

2
2

2
) A
X

2
2

2
=
X +

2
2

2
B
X

2
2

2
A,
y de aqu
1
X
4
+ 1
=
(X +

2)B
2

2AB

(X

2)A
2

2AB
=
1
2

2
X +

2
X
2
+

2X + 1

1
2

2
X

2
X
2

2X + 1
.
An alogamente, para
X + 1
X
3
1
=
X + 1
(X 1)(X
2
+X + 1)
,
de X
2
+X + 1 = (X 1)(X + 2) + 3 se sigue que
X + 1
X
3
1
=
1
3
X + 1
X 1

1
3
(X + 1)(X + 2)
X
2
+X + 1
=
1
3
(X 1) + 2
X 1

1
3
(X
2
+X + 1) + (2X + 1)
X
2
+X + 1
=
1
3
2
X 1

1
3
2X + 1
X
2
+X + 1
.
Este segundo ejemplo sugiere que el lema anterior puede renarse cuando el numerador es un
polinomio de menor grado que el denominador .
()
Aqu estamos mirando p/q como elemento de K(X).
4.5. FRACCIONES RACIONALES. 105
Lema 4.5.12 Si q(X) K[X] es de la forma q(X) = q
1
(X)q
2
(X) con mcd(q
1
, q
2
) = 1, toda
fracci on algebraica p(X)/q(X) con deg p < deg q puede descomponerse, de manera unica, en
suma de fracciones con denominadores q
1
y q
2
y numeradores p
1
y p
2
tales que deg p
1
< deg q
1
,
deg p
2
< deg q
2
, es decir, existen polinomios unvocamente determinados p
1
y p
2
tales que
deg p
1
< deg q
1
, deg p
2
< deg q
2
y
p(X)
q(X)
=
p
1
(X)
q
1
(X)
+
p
2
(X)
q
2
(X)
.
Demostraci on. Sean p
1
y p
2
como en el lema anterior. Si deg p
1
deg q o deg p
2
deg q, dividiendo
sera p
1
= c
1
q
1
+r
1
, p
2
= c
2
q
2
+r
2
, deg r
1
< deg q
1
, deg r
2
< deg q
2
o nulos. Haciendo operaciones
p = (c
1
+c
2
)q+r
1
q
2
+r
2
q
1
; deg(r
1
q
2
) < deg q
1
+deg q
2
= deg q, deg(r
2
q
1
) < deg q
2
+deg q
1
= deg q,
lo que signica que c
1
+ c
2
es el cociente de la division de p por q, necesariamente nulo porque
deg p < deg q (el resto sera r
1
q
2
+r
2
q
1
). Por tanto
p(X)
q(X)
=
r
1
(X)
q
1
(X)
+
r
2
(X)
q
2
(X)
, deg r
1
< deg q
1
, deg r
2
< deg q
2
.
La unicidad se sigue de que si tambien
p(X)
q(X)
=
s
1
(X)
q
1
(X)
+
s
2
(X)
q
2
(X)
, deg p
1
< deg q
1
, deg s
2
< deg q
2
,
se deduce que r
1
q
2
+ r
2
q
1
= s
1
q
2
+ s
2
q
1
, es decir, (r
2
s
2
)q
1
= (s
1
r
1
)q
2
, y como q
1
y q
2
son
relativamente primos, q
1
[(s
1
r
1
); pero entonces s
1
r
1
= 0, pues en caso contrario,
deg q
1
deg(s
1
r
1
) maxdeg s
1
, deg r
1
< deg q
1
, imposible. Por lo mismo, r
2
s
2
= 0.
Lema 4.5.13 Toda fracci on racional de la forma p(X)/[q(X)]
m
puede expresarse como
p(X)
[q(X)]
m
= p
0
(X) +
p
1
(X)
q(X)
+ +
p
k
(X)
[q(X)]
k
+ +
p
m
(x)
[q(X)]
m
con deg p
k
< deg q, 1 k m.
Demostraci on. Dividiendo repetidamente por q se obtiene
p = c
1
q +p
m
= (c
2
q +p
m1
)q +p
m
= = ( (p
0
q +p
1
)q + +p
m1
)q +p
m
,
con deg p
k
< deg q, 1 k m, lo que equivale a la igualdad del enunciado.
Nota. Los polinomios p
0
, p
1
, . . . , p
m
estan unvocamente determinados (probarlo como ejercicio).
Denicion 4.5.14 Un elemento de K(X) es una fracci on simple si puede escribirse en la forma
p(X)/[q(X)]
k
, donde q(X) es irreducible en K[X] y el grado de p(X) K[X] es estrictamente
menor que el de q(X).
Ejemplo. En C(X) las fracciones simples son solo de la forma
a
(X b)
k
, con a, b C. En R(X)
aparecen ademas fracciones del tipo
a
1
+a
2
X
[(X b)
2
+c
2
]
k
, a
1
, a
2
, b, c R.
Proposicion 4.5.15 (Descomposicion en fracciones simples) Todo elemento p/q de K(X)
admite una expresi on unica como suma de un polinomio en X m as una suma de fracciones simples.
106 CAP

ITULO 4. N

UMEROS REALES Y COMPLEJOS.

Demostraci on. Es consecuencia de los lemas anteriores.
Ejercicio. Simplicar y descomponer en fracciones simples en C(X) y en R(X) las siguientes
fracciones:
(a)
(X + 1)
3
X
2
1
; (b)
X
3
27
X
2
9
; (c)
X
2
+ 5X + 6
X
2
4
;
(d)
2X 3
(X 1)(X 2)(X 3)
; (e)
1
(X
2
9)
2
; (f)
X
5
+ 5X
3
X + 6
X
3
1
.
Nota. Los programas de calculo simb olico (Maple, Mathematica) permiten generalmente efectuar
estas operaciones. Por ello, recomendamos calcular a mano los coecientes numericos pedidos
en alguno de los ejercicios anteriores, y plantear la forma del resultado en todos los dem as. Solo
despues es aconsejable pasar al ordenador.
(Para Maple, la sintaxis es

convert((a
0
+ a
1
x + )/(b
0
+ b
1
x + ),parfrac,x);

y para
Mathematica,

Apart[(a
0
+a
1
x + )/(b
0
+b
1
x + )]

)
4.6 N umeros complejos y geometra plana.
En los ejercicios de un apartado anterior hemos apuntado tmidamente la interrelaci on entre la
geometra del plano y el c alculo con n umeros complejos. Lamentablemente, no podemos extender-
nos en esta direccion, pero como un autentico regalo para cualquier acionado a las Matem aticas
proponemos la lectura de un libro muy especial, Liang-shin Hahn:: Complex Numbers and Ge-
ometry.. Mathematical Association of America, 1994., (que contiene resultados geometricos mas
profundos que los que aparecen aqu), y ofrecemos una lista de ejercicios suplementarios fuera de
con-curso para esos ratos en los que apetece salirse de la rutina (algunos de ellos pertenecen a otro
libro interesante en este aspecto, [Wil]).
Ejercicios
17.1. Desigualdades triangulares. Probar que la longitud del lado de un tri angulo es menor
que la suma de las longitudes de los otros dos y mayor que su diferencia.
17.2. Mediatriz de un segmento. Probar que el lugar geometrico de los puntos que equidistan
de dos puntos jos A y B es la recta perpendicular al segmento AB por su punto medio.
17.3. Demostrar que:
(i) Si z
1
+z
2
+z
3
= 0 y [z
1
[ = [z
2
[ = [z
3
[ = 1, los puntos z
1
, z
2
y z
3
son vertices de un tri angulo
equil atero inscrito en la circunferencia unidad.
(ii) Si z
1
+z
2
+z
3
+z
4
= 0 y [z
1
[ = [z
2
[ = [z
3
[ = [z
4
[, los puntos z
1
, z
2
, z
3
y z
4
o bien son vertices
de un rect angulo o bien coinciden de dos en dos.
17.4. Bajo que condicion tres puntos z
1
, z
2
y z
3
, distintos dos a dos, estar an sobre una misma
recta?
17.5. Bajo que condicion cuatro puntos z
1
, z
2
, z
3
y z
4
, distintos dos a dos, estar an sobre una
misma circunferencia o sobre una misma recta?
17.6. Demostrar que las alturas de un tri angulo son concurrentes (es decir, que las tres se cortan
en un mismo punto, el ortocentro del tri angulo).
17.7. Puede probarse algebraicamente que un paralelogramo tiene las diagonales perpendiculares
si y solo si es un rombo? Y que tiene las diagonales iguales si y solo si es un rectangulo?
Bibliografa
[A-K] Aleksandrov. A. D.; Kolmogorov, A. N.; Laurentiev, M. A. & al.: La matematica:
su contenido, metodos y signicado (vol. I). Alianza Editorial, Madrid, 1973.
[ApC] Apostol, T.M.: Calculus, vol. I (segunda edici on). Reverte, Barcelona, 1989.
[Ap] Apostol, T.M.: Analisis Matem atico (segunda edici on). Reverte, Barcelona, 1991.
[DD-P] Dahan-Dalmedico, A.; Peier, J.: Une histoire des mathematiques.

Editions du Seuil,
Paris, 1986.
[Ebb] Ebbinghaus, H.-D. & al.: Numbers. Springer, New York, 1991.
[Fey] Feynman, R. & al.: Fsica. Volumen I: Mec anica, radiaci on y calor. Addison-Wesley
Iberoamericana, Wilmington, Delaware, 1987.
[Ham] Hamilton, A. G.: Numbers, sets and axioms: the apparatus of mathematics. Cambridge
Univ. Press, 1982.
[Her] Hernandez, E.:

Algebra y geometra. Addison-Wesley/UAM, Madrid, 1994.
[Pest] Pestana, D. & al.: Curso pr actico de C alculo y Prec alculo. Ariel, Barcelona, 2000.
[Spg] Spiegel, M.R.: Variable compleja. McGraw Hill (coleccion Schaum), 1971..
[Spv] Spivak, M.: Calculus. C alculo Innitesimal. (segunda edici on) Reverte, Barcelona, 1990.
[S-T] Stewart, I.; Tall, D.: The Foundations of Mathematics. Oxford Univ. Press, 1977.
[Wil] Williams, J.:

Algebra de n umeros complejos. Limusa-Wiley, Mexico, 1974.
107