UNIVERSIDAD NACIONAL DE FORMOSA

FACULTAD DE HUMANIDADES
ASIGNATURAS: ÁLGEBRA I- PROFESORADO EN MATEMÁTICA
ÁLGEBRA- PROFESORADO EN FÍSICA
Mgter María Elena G. de Cerutti

UNIDAD N°3: NÚMEROS COMPLEJOS

Observando la ecuación , se tiene que

Es decir que no se anula para ningún valor real de , o sea no tiene solución en ,
porque no existen números reales cuyo cuadrado sea negativo.

El deseo de encontrar u lugar donde esta ecuación tenga solución hizo que se tratara de
generalizar la noción de número real; hecho que condujo a la construcción del cuerpo de
los números complejos.
Observemos que:

es equivalente a

, y en se tiene:



Luego en la expresión significa que es un cuerpo en el cual ningún elemento
verifica que al multiplicarlo por sí mismo coincide con el opuesto de la unidad.

Se plantea entonces el problema de averiguar si existe un cuerpo ( ⨁ ) que verifique:


 La ecuación donde tenga raíces en .
La respuesta es afirmativa. El cuerpo buscado recibe el nombre de cuerpo de los números
complejos.
Existen varias maneras, en algún sentido equivalentes de construir a .
También existen otras ecuaciones que no tienen solución en , como ser las del tipo
con coeficientes reales, si , o también pues es siempre
positivo.
Construiremos un cuerpo ( ⨁ ) siendo con las operaciones ⨁ ʘ binarias
internas, en el cual tenga solución la ecuación + .
Este cuerpo ( ⨁ ) tendrá las siguientes condiciones:

1)
2) y
3)
4)
5) Los únicos elementos de son los determinados por 1, 2, 3 y 4.
¿Cómo expresamos un elemento de ( ⨁ )?
Si y son números reales, entonces es un elemento de , la cual es la forma
BINÓMICA de un número complejo.

𝑎 𝑏 𝑖

Parte real Parte imaginaria

Igualdad de números complejos

Sean dos números complejos diremos que son iguales y
escribiremos: sí y sólo sí se verifica que y .

Operaciones en
Explicitemos en , las operaciones ⨁ , con las cuales ( ⨁ ) será un cuerpo.
S: ( ) ( ) ( ) ( )
P: ( ) ( ) ( ) ( )
Propiedades de las operaciones ⨁ :
tales que:

Se verifican:
S1: LEY DE CIERRE:
( ) ( ) ( ) ( )

S2: LEY ASOCIATIVA: ( ) ( )

( ) ,( ) ( )- ( ) = ,( ) ( ) -
( ) = ,( ) - ,( ) - =, ( )- , ( )- =
( ) ,( ) ( ) -=( ) ,( ) ( )- =
( ( )

S3: LEY CONMUTATIVA:

( ) ( ) ( ) ( ) ( ) ( ) =

( ) ( )=
S4: EXISTENCIA DE ELEMENTO NEUTRO: ( ) ( )

( ) ( ) ( )

( ) ( ) ( )

Por igualdad de complejos:

{
Entonces (𝒙 𝒚 𝒊 ) = (𝟎 𝟎 𝒊)

S5: EXISTENCIA DE ELEMENTO INVERSO ADITIVO U OPUESTO:

( ) ( )

( ) ( ) ( ); ( ) ( ) ( )

Por igualdad de complejos:

( ) ( )=( ) ( )

Luego, si ; ( ) ( ) .
Por verificar S1, S2, S3, S4 y S5 se tiene que ( ) es grupo abeliano o conmutativo.

P1: LEY DE CIERRE:

( ) ( ) ( ) ( )

P2: LEY ASOCIATIVA: ( ) ( )

( ) ,( ) ( )- ( )= ,( ) ( ) -
( )= ,( ) ( ) - ,( ) ( ) - = (
) ( ) . I

( ) ( ) ,( ) ( )- = ( ) ,( ) (
) - = ( ) ( ) ( ) ( ) = (
) ( ) =( ) (
) . II

De I y II resulta: ( ) ( )

P3: LEY CONMUTATIVA:

 = ( ) ( )=( ) ( ) = ( )
( ) =( ) ( )=

P4: EXISTENCIA DE ELEMENTO NEUTRO:

( ) ( ) ⁄( ) ( )

( ) ( )

( ) ( )

Por igualdad de complejos:

{ {

Método de determinante

| | ( )
| | ( )

| |

| | ( )

( ) ( )

P5: EXISTENCIA DE ELEMENTO INVERSO MULTIPLICATIVO

( ) ( )

( ) ( ) ( )

( ) ( ) ( )

Por igualdad de complejos:

{ {

| |

| |
 | |

| |

Al complejo inverso de z lo indicamos z-1 y se tiene:

Por verificar las propiedades P1,P2,P3,P4 y P5 se tiene que:( * + ) es Grupo

Abeliano.

D: LEY DISTRIBUTIVA DEL PRODUCTO RESPECTO A LA SUMA:

( )

( ) =,( ) ( )- ( ) = ,( ) ( ) -
( ) = ,( ) ( ) - ,( ) ( ) - = (
) ( ) =( ) ( ) ( ) ( ) =
( ) ( ) ( ) ( )=

( )

Además, por C3: entonces

Por lo tanto i es raíz de la ecuación

Además, se verifican las siguientes propiedades:

1)

Demostración:

2) Por 1), haciendo , *EL NEUTRO DE ESNEUTRO DE

3) Por ser el 0 el neutro
4) ( )

Demostración: ( ) ( ) ( )
( )

5) ( ) ( )
Demostración: ( ) ( ) ( )
( )

6) ( ) ( ) ( ) ( )

Por lo tanto, ( )

-i es raíz de la ecuación

En adelante escribiremos al complejo como ( ) (+ indica ⨁; . indica ).

Al complejo ( ) ; lo escribiremos ( ) y lo llamaremos CONJUGADO de

Representación gráfica de un número complejo

Consideremos *( ) + en este conjunto se definen las operaciones:
( ) ( ) ( )
( ) ( ) ( ) tales que:

( ) es un cuerpo.

 Se define ( ) ( )

es una función biyectiva entre los cuerpos ; en virtud de la cual se puede representar al
complejo , como el punto ( ) del plano.

𝒛 𝒂 𝒃𝒊
b

Potencias de la unidad imaginaria

Definimos
Además, convenimos que
Entonces, las potencias de resultan; por condición 3 (pág.1), . Luego:
 ( )

Observemos que si el exponente es de la forma: , con y se tiene que:

= =( ) . = = 1. , donde es el resto de la división del

exponente por , y como , el caso se reduce a uno de los anteriores:
Ejemplo:
( )
Esto sucede ya que el resto de la división de 54 por 4 es 2, y el resto de la división de 27 por 4
es 3.
LA CONJUGACIÓN EN COMPLEJOS CONJUGADOS
Dos complejos son conjugados sí y sólo sí tienen la misma componente real y sus componentes
imaginarios son números opuestos.

̅ 𝒛 𝒂 𝒃𝒊
b

-b 𝒛̅ 𝒂 𝒃𝒊

Propiedades de la Conjugación

1) ̅ ( ) ( ) ( )
2) ̅ ( ) ( ) ( )
3) ̅ ( )( ) ( )
4) ̅
5) ̿ ̿ ̿̿̿̿̿̿̿̿̿̿̿
( ) ̅̅̅̅̅̅̅̅̅̅̅
( )
6) ̅̅̅̅̅̅̅̅̅̅ ̅̅̅ ̅̅̅
 ̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( ) ( ) ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( ) ( ) ( ) ( )
( ) ( ) ̅ ̅

7) ̅̅̅̅̅̅̅ ̅̅̅ ̅̅̅

̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( )( ) ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( ) ( ) =( ) ( )

( )( ) ̅ ̅

8) ( ̅) ̅̅̅̅̅

( ̅) = (̅̅̅̅̅̅̅̅) =( ) - = ̅̅̅̅

9) ( ̅) ̅̅̅

( ̅) ̅ ̅ ̅ = ̅̅̅̅̅̅̅̅̅ = ̅̅̅

Módulo de un complejo

Llamamos módulo de un complejo a la raíz cuadrada no negativa de la suma de los cuadrados

de las componentes real e imaginaria. Es decir, a la raíz cuadrada de la norma.

| |= √ =√ ( )

Gráficamente, el módulo de un complejo es l distancia del origen de coordenadas al punto

correspondiente al complejo.

b 𝒛 𝒂 𝒃𝒊
Ejemplo:

√ ( ) √ 5
a

Propiedades del módulo

)| | | ̅| | | √ = √ ( ) =| ̅|

2) | ̅| ( ) | ̅| ( )
 )| | | || |

4) ̅ | |

5) | | | | | |

6) | |=| |

FORMA TRIGONOMÉTRICA DE UN NÚMERO COMPLEJO

Todo punto del plano, de coordenadas cartesianas ( ) está determinado por otras dos
coordenadas: el radio vector y el argumento , llamadas coordenadas polares del punto ,
donde es la distancia de al origen y es el ángulo positivo (antihorario) que forma el
semieje positivo de las abscisas con la semirrecta ⃗⃗⃗⃗ .

Donde √ | | y ( )

𝒀
P(a;b)
b
𝒛 𝒂 𝒃𝒊

𝝋
𝑿
a

= + 𝑧 𝜌( 𝜑 𝑖 𝜑) es la FORMA
TRIGONOMÉTRICA de un número complejo.

Como es el módulo de , una vez determinada , éste caracteriza unívocamente a , pero no

sucede así con , es decir con el argumento de , pues es coterminal con infinitos ángulos de
la forma , con .

Ejemplo:

√ √
Para evitar la ambigüedad de los infinitos ángulos definiremos:

 Argumento principal de un complejo no nulo , a aquel que cumple:

Y denotaremos

Al complejo nulo no le asignamos forma trigonométrica, pues si bien es el único complejo de

módulo cero, admite cualquier ángulo. Suele decirse también, que el complejo nulo no tiene
argumento.

Ejemplo: La forma trigonométrica del siguiente complejo:

√( ) =√ √ √

√
= = = =
√ √

√
𝜑 𝜋
= = = =
√ √

√ ( )

Igualdad de complejos en forma trigonométrica

Dos números complejos en forma trigonométrica son iguales sí y sólo sí tienen el mismo
módulo y sus argumentos son congruentes módulo .
( )

( )

y con .

Ejemplo: ( )

( )

Operaciones en forma trigonométrica

PRODUCTO

Sean: ( )y ( )
 ( ) ( )

( )

( ) ( )

𝒛 𝟏 𝒛𝟐 𝝆𝟏 𝝆𝟐 ,𝐜𝐨𝐬(𝝋𝟏 𝝋𝟐 ) 𝒊 𝐬𝐢𝐧(𝝋𝟏 𝝋𝟐 )-

El producto de dos complejos tiene por módulo al producto de los módulos y por argumento
a la suma de los argumentos.

COCIENTE:

Sean: ( )y ( ), con ,y

( )

Si

( ) ( ) ( )

( ) , ( ) ( )-

Por igualdad de complejos:

˄ = ˄ (si tomando

argumento principal)

𝒛𝟏 𝝆
𝒛 𝝆𝟐
,𝐜𝐨𝐬(𝝋𝟏 𝝋𝟐 ) 𝒊 𝐬𝐢𝐧(𝝋𝟏 𝝋𝟐 )-
𝒛𝟐

El cociente de dos números complejos, siendo el divisor no nulo, tiene por módulo el cociente
de los módulos y por argumento la diferencia de los argumentos.

Potenciación de exponente natural: FÓRMULA DE MOIVRE

La potencia n-ésima de un complejo en forma trigonométrica tiene por módulo la potencia

n-ésima de su módulo, y por argumento el producto de su argumento por n.

( )

𝒛𝒏 𝝆𝒏 (𝐜𝐨𝐬 𝒏 𝝋 𝒊 𝐬𝐢𝐧 𝒏 𝝋)
Lo demostramos por el Principio de Inducción Completa:

1) Si ( )
2) La propiedad es válida para ( )

Por definición de potencia, hipótesis inductiva y producto se tiene:

( ) ( )

, ( ) ( ) - que es la tesis indicada.

Entonces la propiedad es válida para todo natural, y también lo es para todo exponente
entero. En efecto:

 ( ) que verifica la fórmula.

 ( ) * , ( ) ( )-+ = ( ) , ( ) ( )-

, ( ) ( ) -.

Entonces la fórmula es válida cuando el exponente es negativo.

RADICACIÓN EN

Dado el complejo ( ), se dice que el complejo es raíz n-ésima de sí y

sólo sí

Todo complejo no nulo admite raíces n-ésimas distintas por:

𝒏 𝝋 𝟐𝒌𝝅 𝝋 𝟐𝒌𝝅
√𝒛 𝝎𝒌 𝒏
√𝝆 .𝐜𝐨𝐬 𝒊 𝐬𝐢𝐧 / Donde 𝒌 𝟎𝟏𝟐 (𝒏 𝟏)
𝒏 𝒏

| |, y √ es la raíz aritmética (real y positiva) de .

Sean ( )y ( ). Por definición de raíz debe ser: .

( )= ( ).

Por igualdad de complejos: y

√ ˄

√ √ . /

Todas las raíces de tienen el mismo módulo y difieren sólo en sus argumentos. Se observa el
siguiente cuadro:
 Raíces Argumentos

. .
. .
. .
( )

Si se obtiene cuyo argumento es , que es congruente a y se

vuelve a obtener .
Entonces . Solo existen n raíces distintas para los cuales

Representación gráfica.
Las raíces distintas de un complejo no nulo, se identifican con los vértices de un polígono
regular de n lados inscriptos en la circunferencia de radio √ , siendo .

Uniendo los puntos nos queda un polígono regular inscripto en una circunferencia.
 Raíces primitivas de la unidad

Hemos determinado las raíces de orden 3 de la unidad, que son las tres raíces cubicas de 1.
Tales valores son:

√ √

Las dos últimas no son raíces de la unidad de un orden menor que 3, pero la primera si lo es,
puesto que:

√ y√

y son raíces primeras de orden 3 de la unidad, en cambio no es raíz primera de

orden 3 ni de orden 2, sino de orden 1.

Sea es el conjunto de las n raíces n-ésimas de la unidad.

Un elemento genérico de es:

, donde .

Por definición de raíz n-ésima, los complejos satisfacen la condición ; y son tales
que ( ) es grupo multiplicativo abeliano.

Definición: El elemento es una raíz primitiva de orden n de la unidad no es raíz de

1 de orden menor que n.

Potencia Racional de un Complejo

Por definición ; siendo z un complejo no nulo, p y q enteros y ; es el conjunto de todas

las raíces q-ésimas de . √ (√ ) ,√ ( )-

(√ ) . /

(Válida Formula de De Moivre con exponente racional)

FORMA EXPONENCIAL DE UN COMPLEJO

Siendo el número irracional , la base de los logaritmos neperianos, la

unidad imaginaria y un número real cualquiera, definiremos la función exponencial de un
complejo mediante la fórmula de Euler.
Esta fórmula que aquí adoptamos como definición, tiene completo justificativo analítico a
partir del estudio de los desarrollos en serie del Análisis Matemático y preserva las propiedades
de la exponencial real, por ejemplo:

( ) ( ) (
( ) ( )

Por lo tanto si ( ) entonces que es la llamada forma

exponencial del complejo .

Igualdad de complejos en forma exponencial

Dados y .

con .

Operaciones en forma exponencial

( )
Producto:

( )
Cociente:

( )
Potencia: ( )

Raiz: √ √ con .

Logaritmación en

Sea por definición

Para determinar los complejos que satisfacen , expresamos a en forma
exponencial y a en forma binómica, es decir: ,
Hay que determinar y tales que:

Reemplazando en se tiene:
( ) con
Esta formula permite obtener los infinitos logaritmos de un número complejo no nulo.
Cuando se obtiene el que llamamos Valor principal de , que indicamos

.
La parte real de , por lo tanto, gráficamente todos los logaritmos
corresponden a puntos de la paralela al eje de ordenadas que pasa por ( ).

𝑰𝒎(𝑳𝒏𝒛)
( )
𝝋 𝟒𝝅 𝝎𝟐
0
𝝋 𝟐𝝅 𝝎𝟏
1
𝝋 𝝎𝟎
2
𝒆 (𝑳𝒏𝒛)
-1
𝝋 𝟐𝝅
𝝎 𝟏 -2
𝝋 𝟒𝝅 𝝎 … …
𝟐

Observemos que si ; que es el concepto de logaritmo

que han aprendido en la escuela secundaria, ya que en la fórmula, debe interpretarse como
y será siempre un número real.
Exponencial compuesta general
Resuelto el problema de logaritmos en el campo complejo, podemos encarar el cálculo de
expresiones complejas de la forma donde y son ambos complejos y .

Aplicando logaritmo neperiano a ambos miembros:

Tomando valor principal de se obtiene el valor principal de la exponencial

Bibliografía:

 Gentile, Enzo. (1984). Notas de Algebra. EUDEBA. Buenos Aires.

 Figallo, Aldo. Números Complejos. Universidad Nacional de San Juan.
 Rojo Armando. (1973). Algebra I. Editorial El Ateneo. Buenos Aires.
 Apuntes de la cátedra disponibles en el Centro de Estudiantes.