APUNTES DE CLCULO INFINITESIMAL

ETS DE INGENIEROS DE MONTES

PRIMER CURSO
GRUPO B
TEMA 1
Introduccin
Nmeros Reales
Nmeros Complejos

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin
autorizacin del autor.

Tema 1. Introduccin. Nmeros reales. Nmeros complejos

1. Introduccin.
Este curso, introductorio al Clculo Infinitesimal, trata de introducir los
conjuntos de nmeros, sucesiones y series, funciones, lmites, continuidad, derivabilidad e integrabilidad. Para profundizar en muchas ramas del conocimiento
cientfico, tales como la biologa, ecologa, fsica, qumica, ingeniera en general,
economa y finanzas, computacin, etc., es bien sabido que se requieren destrezas
que a menudo demandan conceptos y herramientas que son proporcionadas por
las Matemticas, en particular por el Clculo Infinitesimal. Mas all de estas razones, estudiar Clculo Infinitesimal ayuda a desarrollar capacidades para
pensar lgica y analticamente, acostumbrndonos a la manipulacin de entes
abstractos y a la formacin de modelos matemticos de los fenmenos reales.
Las nociones de conjunto y elemento son conceptos primitivos, en el sentido de que no se pueden definir reducindolos a otros mas simples. Intuitivamente, diremos que un conjunto es una coleccin o agrupacin de objetos,
a los que denominaremos elementos. Habitualmente, representaremos los conjuntos por medio de letras maysculas, y los elementos con letras minsculas. As, escribiremos para designar que el elemento pertenece al
conjunto , o
para designar que el elemento no pertenece al conjunto , y escribiremos para designar que el conjunto est contenido (no estrctamente) en el conjunto . Por ejemplo, los conjuntos de los
nmeros naturales N = {0 1 2 3 4 5 } (no siempre se incluye al 0 en este
conjunto), los nmeros enteros
3 2 1 0 1 2 3 4 5 } y
Z = { 5 4
los nmeros racionales Q = Z 6= 0 , son subconjuntos del conjunto
de los nmeros reales R, que a su vez es subconjunto del conjunto de los nmeros
complejos C = { + R}, es decir, escribiremos N Z Q R C.
En este primer tema, despus de dar unas nociones de lgica y presentar el
principio de induccin, nos ocuparemos de introducir el conjunto de los nmeros
reales. Finalmente, nos adentraremos en el conjunto de los nmeros complejos,
centrndonos bsicamente en las operaciones usuales entre nmeros complejos.
2. Nociones de lgica.
Si bien el concepto de proposicin es tambin un concepto primitivo, intuitivamente diremos que una proposicin es una expresin o afirmacin (escrita
o oral) de la que se puede afirmar que es verdadera o falsa. El valor lgico de
una proposicin se simboliza asignndole el valor 1 si es verdadera y el valor 0
si es falsa. Las proposiciones simples pueden combinarse de diversas maneras
dando lugar a las proposiciones compuestas. El clculo proposicional estudia la
formacin de las proposiciones compuestas, deduciendo su valor lgico a partir
del valor lgico de sus componentes. Para modificar o unir proposiciones simples, se emplean conectores como los siguientes: y (representado por el smbolo
1

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

), o (representado por el smbolo ), negacin (representada por el smbolo ),

implicacin (representado por el smbolo ), equivalencia (representada por el
smbolo ), etc. Veamos el significado de algunas de estas proposiciones compuestas. As, en el supuesto de que y sean proposiciones, definiremos las
proposiciones:
Conjuncin de proposiciones: la proposicin (que se le " y ") es
verdadera solo cuando y son verdaderas.
Disyuncin de proposiciones: la proposicin (que se le " o ") es
verdadera, si slo es verdadera, si slo es verdadera, o si y son
verdaderas.
Negacin de una proposicin: la proposicin (que se le "no ") es
verdadera si es falsa, y es falsa si es verdadera.
Implicacin de proposiciones: la proposicin (que se le " implica
", o "si entonces ", o " es una condicin necesaria para ", o " es
una condicin suficiente para "), es siempre verdadera, salvo en el caso
de que sean verdadera y falsa. De la combinacin de la implicacin
y la negacin, se deduce la llamada Ley de contraposicin: si y son
dos proposiciones, y la negacin de implica la negacin de , entonces
implica , es decir: "si ( ) ( ) entonces ".
Equivalencia de proposiciones: la proposicin (que se le " es
equivalente a ", o " si y solamente si ", o " es una condicin necesaria
y suficiente para ", o " es una condicin necesaria y suficiente para "),
solo es verdadera, si las dos proposiciones y son simultneamente verdaderas o falsas. Por ejemplo, se puede comprobar que las proposiciones
y ( ) ( ), son equivalentes (Ley de los contrarrecprocos),
construyendo la tabla de verdad de ambas y observando que los valores
lgicos correspondientes son iguales (Tabla 1)

1
1
0
0

1
0
1
0

1
0
1
1

0
0
1
1

0
1
0
1

1
0
1
1

Tabla1: ( ) y (( ) ( )) son equivalentes

Por tanto, si se desea demostrar que , se puede proceder de modo
equivalente demostrando que ( ) ( ). En esta ley se basa el mtodo
de demostracin por reduccin al absurdo: se aade a la hiptesis la
hiptesis y se concluye que ( ) es falsa (o contradictoria, en cuyo
caso se dice que se ha llegado a una contradiccin).

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

Dado un conjunto , una expresin () que se convierte en proposicin

cuando se sustituye por un elemento de , se denomina funcin proposicional.
Muchas de las proposiciones que encontraremos en este curso se construyen
utilizando los cuantificadores universal (que se le "para todo") y existencial
(que se le "existe"). "Para todo ", o simblicamente, , es un trmino
que, antepuesto a una funcin proposicional (), genera la proposicin (),
que slo es verdadera cuando lo sean todas las proposiciones () con .
"Existe un , tal que", o simblicamente, , es un trmino que, antepuesto
a una funcin proposicional (), genera la proposicin (), que slo es
verdadera cuando lo sea al menos una de las proposiciones () con .
Estos cuantificadores se pueden combinar entre s, y con otras expresiones. Por
ejemplo, la proposicin
N N
que se le, "para cada nmero natural , existe un nmero natural , tal
que ", es verdadera (basta tomar = +1). Sin embargo, la proposicin
N N
que se le, "existe un nmero natural , tal que para todo nmero natural
, se verifica que ", es falsa (dado que no existe un nmero natural que
sea mas grande que cualquier nmero natural). Se deduce de las dos anteriores
proposiciones que es importante observar y respetar el orden en que se colocan
los cuantificadores en las proposiciones.
3. El principio de induccin.
El principio de induccin se utiliza frecuentemente para probar proposiciones
que dependen de un parmetro que toma valores sobre el conjunto de los
nmeros naturales N = {1 2 3 4 5 }. Para ello, supongamos que (), con
N, es una proposicin dependiente del nmero natural . El esquema de
razonamiento consiste en las dos etapas siguientes:
(Caso base) Se demuestra que (1) es verdadera.
(Paso de induccin) Se asume que () es verdadera para un N (hiptesis de induccin), y se prueba que, en tal caso, ( + 1) tambin lo es.
Con ello, queda demostrado que () es verdadera para todo nmero natural
. En algunos problemas la induccin puede empezar por otro trmino, por
ejemplo 0 . Entonces, el caso base consistira en probar que (0 ) es verdadera
y, una vez probado el paso de induccin, quedara probado que () es verdadera
0 .
3.1. Ejemplo.
Podemos probar, aplicando el principio de induccin, que N:
1 + 3 + 5 + + (2 1) = 2
3

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

mediante las dos etapas siguientes:

a) La proposicin es verdadera para = 1, ya que 1 = 12 .
b) En el supuesto de que la proposicin sea verdadera para el valor , es
decir,
1 + 3 + 5 + + (2 1) = 2
se trata de probar que tambin es verdadera para el valor + 1, es decir,
1 + 3 + 5 + + (2 1) + (2 + 1) = ( + 1)2
En efecto, sustituyendo la hiptesis de induccin en esta ltima expresin y
operando:
1 + 3 + 5 + + (2 1) + (2 + 1) = 2 + (2 + 1) = ( + 1)2
3.2. Ejemplo.
Podemos probar, aplicando el principio de induccin, que N:
1 + 2 + 3 + + =

( + 1)
2

mediante las dos etapas siguientes:

a) La proposicin es verdadera para = 1, ya que 1 = 1(1+1)
.
2
b) En el supuesto de que la proposicin sea verdadera para el valor , es
decir,
( + 1)
1 + 2 + 3 + + =
2
se trata de probar que tambin es verdadera para el valor + 1, es decir,
1 + 2 + 3 + + + ( + 1) =

( + 1)( + 2)
2

En efecto, sustituyendo la hiptesis de induccin en esta ltima expresin

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

( + 1)( + 2)
( + 1)
+ ( + 1) =
2
2

3.3. Ejemplo.
Podemos probar, aplicando el principio de induccin, que N:

1
1
1
1 + + + +

2
3
mediante las dos etapas siguientes:

a) La proposicin es verdadera para = 1, ya que 1 = 1.

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

b) En el supuesto de que la proposicin sea verdadera para el valor , es

decir,

1
1
1
1 + + + +

2
3
se trata de probar que tambin es verdadera para el valor + 1, es decir,

1
1
1
1
+1
1 + + + + +

+1
2
3
En efecto, utilizando la hiptesis de induccin en esta ltima expresin:

1
1
1
1
1
1 + + + + +
+
=

+1
+1
2
3

+1+1
+1
+1

=

=
= +1
+1
+1
+1
4. El conjunto de los nmeros reales.
4.1. Introduccin.
El conjunto R de los nmeros reales incluye al conjunto de los nmeros
racionales Q y al conjunto de los nmeros irracionales, que son aquellos nmeros
reales que no admiten una representacin en forma de fraccin en la que

Z 6= 0. Por ejemplo, los nmeros 2, 3, 5,..., , , ... son irracionales. El
conjunto de los nmeros reales puede ser representado por una lnea recta infinita
y "sin agujeros", a la cual se denomina recta real. Para definir axiomticamente
este conjunto, necesitamos introducir algunos conceptos.
Una relacin definida en un conjunto no vaco se dice que es de orden
si verifica las propiedades reflexiva, antisimtrica y transitiva:
Reflexiva: , .
Antisimtrica: , si y , entonces = .
Transitiva: , si y , entonces .
En los casos en que se verifique para que y 6= , se puede
escribir tambin que o bien .
Una relacin de orden definida sobre un conjunto se dice que es de
orden total si , o bien , o bien . En tal caso, se dice que el
conjunto est totalmente ordenado.
Si es un conjunto ordenado mediante , y un subconjunto no vaco de
, se dice que es cota superior (respectivamente, cota inferior) de si
se verifica que
(respectivamente, ).
5

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

Si tiene una cota superior (resp., inferior), se dice que est acotado
superiormente (resp., inferiormente). Si el conjunto est acotado superior e
inferiormente, se dice que est acotado.
Supongamos que es un conjunto totalmente ordenado mediante . Se
dice que un conjunto , acotado superiormente (resp. inferiormente),
tiene extremo superior o supremo (resp., extremo inferior o nfimo) si existe una
cota superior (resp., inferior) que verifica la siguiente propiedad:
si 0 es otra cota superior (resp., inferior) de ,
entonces 0 (resp., 0 ).
Dicho elemento se denomina extremo superior o supremo (resp., extremo
inferior o nfimo) de . Fcilmente se prueba que los extremos superior e
inferior de un subconjunto de un conjunto totalmente ordenado , si existen,
son nicos.
Dado un conjunto , totalmente ordenado mediante , sean , con
se denomina:
Intervalo abierto de extremos y a: ( ) = { : }.
Intervalo cerrado de extremos y a: [ ] = { : }.
Intervalo semiabierto por la derecha de extremos y a:
[ ) = { : }.

Intervalo semiabierto por la izquierda de extremos y a:

( ] = { : }.

4.2. Definicin axiomtica del conjunto de los nmeros reales.

Se designa por R, conjunto de los nmeros reales o recta real, a un conjunto
de ms de un elemento, provisto de dos leyes de composicin interna (+) y (),
denominadas, respectivamente, suma y producto y una relacin de orden (),
que cumplen los siguientes axiomas:
a) (R + ) es un cuerpo conmutativo, es decir:
a1) La ley (+) es conmutativa: R, es + = + .

a2) La ley (+) es asociativa: R, es ( + ) + = + ( + ).

a3) Existencia de elemento neutro para la ley (+), denotado por 0:
0 R tal que 0 + = + 0 = , R.

a4) Existencia de elementos opuestos:

R, () R tal que () + = + () = 0.

a5) La ley () es conmutativa: R, es = .

6

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

a6) La ley () es asociativa: R, es ( ) = ( ).

a7) Existencia de elemento neutro para la ley (), denotado por 1:

1 R tal que 1 = 1 = , R.

a8) Existencia de elementos inversos en R{0} :

R, con 6= 0, 1 R tal que 1 = 1 = 1.
a9) Distributividad de () respecto de (+):
R, es ( + ) = + .

b) La relacin de orden () es total, y compatible con la estructura algebraica, es decir, verifica las siguientes propiedades:
b1) () cumple las propiedades reflexiva, antisimtrica y transitiva.
b2) , o bien , o bien .

b3) R, si es , entonces + + .

b4) R, si es y 0 , entonces .

c) Axioma del supremo (o completitud de R): Todo subconjunto de R, no

vaco y acotado superiormente, tiene extremo superior.
El conjunto R as definido se llama conjunto (o cuerpo) de los nmeros
reales, y se demuestra que es nico, salvo biyecciones lineales para la suma
y para el producto (es decir, aplicaciones biyectivas : R R0 tales que
( + ) = () + () y ( ) = () (), R ) y que conservan
el orden (es decir, R, si es , entonces () ()). En dicho
conjunto, se dice que un nmero real es positivo (resp., negativo) si 0
(resp., si 0), escribindose en este caso R+ (resp., R ). Del mismo
modo, se dice que un nmero real es no negativo (resp., no positivo) si 0
(resp., si 0).
En el caso de los nmeros reales, el concepto de intervalo se puede generalizar
introduciendo los siguientes intervalos no acotados:
( ) = { R : }.
[ ) = { R : }.
( ) = { R : }.
( ] = { R : }.
( ) = R.

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

En todos los intervalos anteriores, el smbolo , que se lee "infinito", hace

referencia a un nmero "tan grande como se quiera".
4.3. Consecuencias. Operaciones con nmeros reales.
4.3.1. Potencias, races, logaritmos y exponenciales.
Potencias: Dado R y Z, se llama potencia de base y exponente
al nmero real , definido del modo siguiente:
; si es 0, entonces =
si es 0, entonces = ()
0
= 1, 6= 0.

Se prueba fcilmente que R, con 6= 0 e 6= 0, y Z, se

verifican las siguientes propiedades:

;
= + ; = ; = ( ) ; =

( ) = .

Races: si es R, con 0 y N = {1 2 3 4 5 }, entonces existe

un nico R, con 0, tal que
= . Diremos que es la raz

n-sima de , y escribiremos = . Conviene recordar que: si

es 0
si es
y es par, entonces existen dos races n-simas de : = ;
0 y es impar, entonces solo existe una raz n-sima de : = ;
si es 0 y es par, entonces no existe ninguna raz n-sima de
; si es
0 y es impar, entonces existe una raz n-sima de : = .

En cuanto a las operaciones con races, fcilmente se comprueba que

R, con 0 e 0, y N, se verifican las siguientes
propiedades:
q

; ( )
= ;
= ; = ;
=

= .

Logaritmos: si son R, con 0 6= 1 e 0, entonces existe un

nico R tal que = . Dicho nmero real se denomina "logaritmo
en base de ", y se escribe = log .
Se prueba fcilmente que R, con 0, 0, 0, 0,
6= 1 e 6= 1, se verifican las siguientes propiedades:
log ( ) = log () + log () ; log
log
log

= log log ; log = log ;

; log 1 = 0 ; log 0 = .
log = ; log =
Como caso particular notable, cuando la base es el nmero
= 2718281828459045
del que nos ocuparemos mas adelante definindolo como

1
= lim 1 +

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

o, alternativamente, como
=1+

X
1
1
1
1
1
+ + + +
+ =
1! 2! 3!
!
!
=0

y probando que es un nmero irracional, se obtienen los llamados logaritmos neperianos, que se representan mediante ln o log.
Exponenciales: si son R con 0, representaremos por al
nmero real "exponencial de con base ". En particular, cuando = ,
se obtiene la exponencial "natural" (o simplemente exponencial) de , es

decir, el nmero real

, del
que nos ocuparemos ms adelante definindolo

como = lim 1 + o, alternativamente, como

= 1 +

X
2 3

+
+
+ +
+ =
.
1!
2!
3!
!
!
=0

En estas condiciones, podemos definir mediante = ln , y adelantar

que se verifican las siguientes propiedades:
R, con 0 y 0: 0 =1 ; 1 = ; = + ;

; ( ) = ; = 1 = 1 ; ( ) = .
=
4.3.2. Propiedad arquimediana de los nmeros reales.
Sean R, con 0. Entonces, existe algn nmero natural tal que
.
Prueba.
En caso de que fuera , se verifica fcilmente (bastara tomar = 2). En
el caso general, razonando por reduccin al absurdo, supongamos que la tesis no
es cierta, es decir, para todo nmero natural , y veamos que se llega a
una contradiccin. En tal caso, el conjunto = { : N}, que es no vaco,
estara acotado superiormente por , luego tendra supremo (axioma c de los
nmeros reales). Sea este supremo, es decir, = = { : N}.
Puesto que 0, ; por tanto, ya no puede ser cota superior del
conjunto , de modo que existir algn elemento de estrictamente mayor que
, por ejemplo, de la forma con N, con lo cual sera .
Pero esto implica que + = ( + 1) y obviamente ( + 1) ,
con lo cual no podra ser una cota superior de , lo cual es una contradiccin.
4.3.3. Parte entera de un nmero real.
Para cada R, existe un nico Z tal que + 1. Dicho nmero
entero se denomina parte entera de y se escribe = () o bien = [].
9

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

4.3.4. Densidad de Q en R. Densidad de los irracionales en R.

De la propiedad arquimediana de los nmeros reales, se deduce fcilmente
que:
Dados , con , existe un nmero racional verificando que
, es decir, entre dos nmeros reales distintos, existen infinitos
nmeros racionales.
Dados , con , existe un nmero irracional verificando que
, es decir, entre dos nmeros reales distintos, existen infinitos
nmeros irracionales.
Por tanto, al disponer el conjunto de los nmeros racionales sobre una lnea
recta orientada de izquierda a derecha, observaremos que dicha lnea presenta un
conjunto infinito de "agujeros", que es el conjunto de los nmeros irracionales.
Al rellenar ordenadamente cada uno de dichos agujeros con el nmero irracional
que corresponda, y unir ambos conjuntos de los racionales e irracionales, se
obtiene la recta real.
4.3.5. Valor absoluto de un nmero real.
Llamaremos valor absoluto de R al nmero real no negativo || definido
del modo siguiente:

, si 0 ,
|| =
, si 0 .
De la definicin dada, y de las propiedades de R, se deducen las siguientes
propiedades para el valor absoluto de un nmero real:
a) R, es || 0, y || = 0 = 0.

b) R, es | | = || ||. Si adems es 6= 0, entonces =

||
|| .

c) || De ah que toda desigualdad relativa a un

valor absoluto, se pueda desdoblar en una doble desigualdad. Como caso
particular, se verifica que R : || || .

d) ||
e) 2 2 || ||.
f) 2 2 || ||.
g) Desigualdad triangular: R, es | + | || + ||. Para probar esta
desigualdad utilizaremos la propiedad c): || || , || ||.
Sumando miembro a miembro: (|| + ||) + (|| + ||) .
Aplicando c) en sentido : | + | || + ||
10

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

h) Desigualdad triangular inversa: R, es ||| ||| | |. Para

probar esta desigualdad utilizaremos la desigualdad triangular aplicada a
y : || = |( ) + | | | + || || || | |.
Intercambiando la y la : || || | | = | |
(|| ||) | | .
De las dos expresiones obtenidas, se deduce que: ||| ||| | |
i) R, es | + | || ||. En efecto:

|| = |( + ) | | + | + || = | + | + || | + | || ||.

j) R, 2 = || .

11

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

5. El conjunto de los nmeros complejos.

5.1. Introduccin.
Una de las deficiencias del conjunto de los nmeros reales anteriormente
introducido, es que no todo polinomio con coeficientes reales tiene races en R.
Por ejemplo, es bien sabido que las races de la ecuacin 2 1 = 0, son = 1
y = 1, ambos nmeros reales. Sin embargo, como se puede ver en la Figura
1, en la que se representan las grficas de las funciones 2 1 y 2 + 1, no
existe ningn nmero real que sea solucin de una ecuacin tan simple como
2 + 1 = 0.

Figura 1

Para paliar esta deficiencia, se "invent" un nuevo nmero, al que se llam

(o unidad imaginaria), verificando la propiedad de que 2 = 1, con lo cual
se resuelve el problema mencionado. En particular, las races de la ecuacin
2 +1 = 0, son = y = (observa que la grfica de la funcin 2 +1 no corta
al eje de las ). De esta idea nace el conjunto de los nmeros complejos, de los
que a continuacin daremos una definicin y un breve resumen de propiedades.
12

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

5.2. Definicin del conjunto C de los nmeros complejos.

Llamaremos nmeros complejos a los elementos del conjunto C = R R ,
de los pares ordenados ( ) de nmeros reales, sobre el que se han definido las
siguientes leyes internas suma (+) y multiplicacin ():
( ) ( ) C = R R : ( ) + ( ) = ( + + ) (observa que la
suma as definida no es otra que la suma vectorial ( ) + ( ) en R2 ).
( ) ( ) C = R R : ( ) ( ) = ( + ).
Es fcil comprobar que se verifican las siguientes propiedades c1) a c9), que
estructuran a (C + ) como un cuerpo conmutativo:
c1) La ley (+) es conmutativa:
( ) ( ) C, es ( ) + ( ) = ( ) + ( ).
c2) La ley (+) es asociativa:
( ) ( ) ( ) C, es (( )+( ))+( ) = ( )+(( )+( )).
c3) Existencia de elemento neutro para la ley (+), que es el complejo (0 0),
donde 0 es el nmero real 0:
(0 0) C tal que (0 0) + ( ) = ( ) + (0 0) = ( ), ( ) C.
c4) Existencia de elementos opuestos:
( ) C, ( ) C tal que ( ) + ( ) = ( ) + ( ) =
(0 0).
c5) La ley () es conmutativa:
( ) C, es ( ) ( ) = ( ) ( ).
c6) La ley () es asociativa:
( ) ( ) ( ) C, es (( ) ( )) ( ) = ( ) (( ) ( )).
c7) Existencia de elemento neutro para la ley (), que es el complejo (1 0),
donde 1 es el nmero real 1:
(1 0) C tal que (1 0) ( ) = ( ) (1 0) = ( ), ( ) C.
c8) Existencia de elementos inversos en C{(00)} :

( ) C, con 6= 0 y 6= 0, 2 +

C tal que ( )
2 2 +2

2 +2 2 +2 = 2 +2 2 +2 ( ) = (1 0).
c9) Distributividad de () respecto de (+):

( ) ( ) ( ) C, es (( ) + ( )) ( ) = (( ) ( )) + (( )
( )).
13

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

Al conjunto RR, tambin se le puede dar una estructura de espacio vectorial

sobre R, mediante la ley interna (+) anteriormente definida y la ley externa ()
definida mediante ( ) = ( ), ( ) R R R.
Los complejos (1 0) y (0 1), se denominan respectivamente unidad real y
unidad imaginaria, representndose por (1 0) = 1 y (0 1) = (observa que
2 = (0 1) (0 1) = (1 0) = 1 (1 0) = 1 1 = 1 2 = 1). El complejo
(0 0) se representa por 0, cada nmero real se identifica con el complejo ( 0),
y para cada complejo = ( ), es la parte real, y se escribe = Re() y
es la parte imaginaria, escribindose = Im(). Utilizando la notacin anterior,
podemos poner ( ) = + , que es la llamada forma binmica del complejo
( ).
Si bien observamos que, mediante la anterior identificacin, el conjunto de
los nmeros complejos contiene al de los nmeros reales, no es posible definir en
C una relacin de orden total que induzca en R la relacin de orden total ()
anteriormente introducida, y que mantenga en C las propiedades que convertan
a R en un cuerpo ordenado arquimediano. Por tanto, en general carece de sentido hablar de ordenacin de los nmeros complejos, escribir nmeros complejos
relacionados por smbolos como , , o , o referirse a nmeros complejos
positivos o negativos.
5.3. Mdulo y argumento. Conjugado de un complejo.
Se denomina mdulo del nmero
complejo = ( ), y se representa por ||,
el nmero real no negativo || = 2 + 2 .
En la Figura 2, en la que se ha representado en el plano R R dicho nmero
complejo = ( ), || es la distancia de = ( ) al origen de coordenadas,
= Re() = || cos y = Im() = || sen

Figura 2

14

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

Observa que = Re() || y que = Im() ||, C.

Se denomina argumento del nmero complejo = ( ) a la medida del
ngulo que forma el vector de posicin del punto = ( ) con el eje de abscisas,
expresada en radianes, es decir, al ngulo de la Figura 2. Es evidente que el
complejo 0 = (0 0) carece de argumento, y que cada nmero complejo tiene
infinitos argumentos, ya que si es un argumento de , entonces cualquier
nmero real de la forma 2, con N, tambin lo es. Generalmente
se denomina valor principal del argumento al perteneciente al intervalo [0 2),
con lo cual C, con 6= 0, podemos poner = || (cos + sen ), que
es la llamada forma trigonomtrica (o polar) del complejo (observa que =
arctan ).
Se denomina conjugado del complejo = ( ), y se representa por , al
nmero complejo = ( ) = (observa que es el simtrico de
respecto al eje de abscisas).
Se verifican las siguientes propiedades:
a) || 0, C, y || = 0 = 0.
b) | | = || ||, C. Del mismo modo, C, con 6= 0,

= || . En cuanto al argumento, es fcil probar que si es el valor

||
principal del argumento de , y es el valor principal del argumento de
, entonces el valor principal del argumento de es + y el valor
principal del argumento de (con 6= 0) es .
c) = , C.
d) = es real.
e) + = + , C.
2

f) C, = y = || .
g) C + = 2 Re() , = 2 Im() y || |Re()| + |Im()|.
h) | + | || + ||, C (en todo tringulo, la longitud de uno de sus
lados es siempre menor o igual que la suma de las longitudes de los otros
dos lados). En efecto, | + |2 = ( + ) ( + ) = ( + ) ( + ) =
2
2
2
2
+ + + = || + || + 2 Re( ) || + || + 2 | | =
2
(|| + ||) | + | || + ||.
i) | | ||| |||, C (las barras || que abarcan a || || en
el segundo miembro, significan valor absoluto). Esta propiedad se puede
probar de modo similar a la propiedad h) del valor absoluto de los nmeros
reales.
j) Frmula del paralelogramo: C, | + |2 +| |2 = 2(||2 +||2 ).
15

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

5.4. Operaciones con nmeros complejos.

Potencias: Dado = || (cos + sen ) C y Z, se llama potencia de
base y exponente al nmero complejo , definido del modo siguiente:
; si es 0, entonces = 1 ; 0 = 1,
si es 0, entonces = ()
6= 0. En estas condiciones, aplicando la propiedad b) de 5.3, fcilmente
se llega a que = (|| (cos + sen )) = || (cos + sen ) .
La expresin (cos + sen ) = (cos + sen ) , R Z, que
se sigue de la anterior, se denomina frmula de Moivre.

Races n-simas: Utilizando la forma trigonomtrica y la frmula anteriormente dada para las potencias, es fcil probar que, dados = || (cos +
sen ) C, con 6= 0, y N = {1 2 3 4 5 } con 2, la ecuacin
= , tiene races distintas definidas mediante

+ 2
+ 2

+ sen
, = 0 1 2 1.
= = || cos

Es decir, el mdulo de es la raz n-sima de ||, y los argumentos de las

races n-simas de se obtienen mediante +2
, con = 0 1 2 1
(tambin se puede tomar como cualquier conjunto de nmeros naturales consecutivos, sin que cambie el resultado).

En relacin al conjunto de las races n-simas de C, con 6= 0,

anteriormente obtenido, se prueba en la seccin de problemas que sus
elementos definen una progresin geomtrica de suma 0, constituyendo
los vrtices de un polgono
p regular de lados, inscrito en la circunferencia
de centro (0 0) y radio ||.

Races cuadradas: en caso de que nos interese obtener las races cuadradas
de un nmero complejo expresado en forma binmica mediante = + ,
con 6= 0, tambin se puede proceder directamente, sin pasar a la forma
trigonomtrica. En efecto, poniendo (+ )2 = + y operando, se llega
2
2
al sistema
q = , 2 = , que tiene dos soluciones,
q de ecuaciones
=

||+
2

,=

||
2 ,

con lo que

s
2 + 2 +
2 + 2

+
+ =
2
2

Utilizando la anterior expresin podemos obtener las dos races 1 2 C

de las ecuaciones polinmicas de segundo grado del tipo 2 + + = 0,
con C, puesto que se verifica el conocido resultado

2 4
12 =
2
16

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.


Exponenciales: la definicin introducida
en el
caso real para , puede ser

, C, o, alternativaprolongada a C poniendo = lim 1 +

mente,

X
2
3

+
+ +
+ =
.
=1+ +
1!
2!
3!
!
!
=0

No obstante, en el caso complejo tambin se define la exponencial del

modo siguiente: C, con = + , = + = (cos + sen )
(en la evaluacin de cos y sen , se expresa en radianes). Esta ltima
definicin se corresponde con la llamada Frmula de Euler
R, = cos + sen

de la que nos ocuparemos mas adelante (en la evaluacin de cos y sen ,

se expresa en radianes). Se puede probar que las tres definiciones dadas son
equivalentes, y que, con ellas, se mantienen para (en C) propiedades
de la exponencial (en R) como las siguientes: C, N,
= + , ( ) = , = 1 , 0 = 1.
Logaritmos neperianos: un logaritmo neperiano de un nmero complejo
= || (cos + sen ), con 6= 0, es un nmero complejo que cumple
= . Teniendo en cuenta la definicin dada para , podemos obtener
dichos complejos = ln , resultando que puede escribirse en la forma
= ln = ln || + . Sin embargo, un nmero complejo (no nulo)
puede tener infinitos logaritmos neperianos: dado que 2 = 1, Z,
cualquier nmero complejo que difiera de ln || + en 2, con Z, es
tambin ln . Por tanto, = ||(cos + sen ) C, con 6= 0, podemos
poner que ln = ln || + + 2. Llamaremos valor principal de ln al
dado por ln = ln || + .
An existiendo infinidad de valores para el logaritmo de un nmero complejo, se siguen verificando propiedades similares a las de los logaritmos
de los nmeros reales positivos, en particular, C, con 6= 0 y
6= 0 N: ln( ) = ln + ln , ln( ) = ln , ln = ln ln .

Potencias de base y exponente complejo: para evitar la ambigedad de

que en la definicin de = ln C con 6= 0, el nmero
complejo puede tener infinitos logaritmos neperianos, mantendremos en
adelante el convenio de que en la anterior definicin = ln , se tome
nicamente el valor principal de ln . En estas condiciones, si es = ||
(cos + sen ), con 6= 0 y 0 2, y es = +, fcilmente se llega
utilizando las definiciones dadas de exponencial y logaritmo neperiano, a
que
= || (cos( ln || + ) + sen( ln || + ))
0

y a que 0 C con 6= 0, = + . Sin embargo,

las siguientes propiedades no se verifican del mismo modo que las correspondientes a los nmeros reales: 1 2 C con 1 2 6= 0
17

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.

(1 2 ) = 1 2 2 , con = 0 1 o 1 ; 0 C con
0
0
0
6= 0, Z tal que ( ) = 2 ; C con 6= 0,

Z tal que ln( ) = ln + 2 (en esta propiedad, ln representa

siempre el valor principal del logaritmo neperiano).
5.4.1. Observaciones.
En general, todo polinomio 0 + 1 1 + 2 2 + + 1 + ,
con 0 1 C, tiene races 1 2 en C, con lo que puede
ser factorizado mediante
0 + 1 1 + 2 2 + + 1 + = 0 ( 1 )( 2 )( ).
Este resultado es consecuencia del llamado Teorema Fundamental del lgebra, que se puede enunciar en los trminos siguientes:
Dados 0 1 C, existe C tal que
0 + 1 1 + 2 2 + + 1 + = 0.
A menudo se expresa esta propiedad diciendo que C es un cuerpo algebraicamente cerrado.
En el caso particular de que los coeficientes 0 1 sean reales, enX
X
=
,
tonces, teniendo en cuenta que = () y que
se verifica que, si es una raz de dicho polinomio, tambin es raz del
mismo, es decir, cualquier raz de un polinomio con coeficientes reales, o
bien es un nmero real, o bien, cuando es un complejo, va acompaada de
su complejo conjugado. De ello se desprende que cualquier polinomio con
coeficientes reales de grado impar, tiene al menos una raz real.
La Frmula de Euler puede ser generalizada al campo complejo mediante
C, = cos + sen
de donde se deducen las siguientes definiciones para sen y cos :
sen =

+

, cos =
2
2

Cuando R (es decir, si Im() = 0), se obtienen las clsicas funciones

trigonomtricas, verificando todas sus propiedades, pero si Im() 6= 0, no
siempre se verifican estas propiedades.

18

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.