NDICE (Este mismo ndice aparece en el marco de la izquierda para facilitar consultas sucesivas)

Definicin: operaciones, propiedades

Otras formas de representar nmeros complejos

Forma binmica:

Parte real Parte imaginaria Mdulo Conjugado Opuesto Suma de complejos Forma polar o mdulo-argumento:

Argumento Argumento principal Producto de complejos Frmula de Moivre Cambio de forma binmica a polar y viceversa Forma exponencial: Frmula de Euler

Races n-simas de un nmero complejo Volver a pgina principal

DEFINICIN Se puede considerar C como el conjunto de los pares ordenados de nmeros reales z=(x,y) con las siguientes operaciones:

Con estas operaciones C tiene la estructura de cuerpo conmutativo Elemento neutro: Elemento opuesto: Elemento unidad:

Elemento inverso: Ntese que el complejo (0,1) verifica , es decir, (link a explicacin de extensin de R aadiendo raices de ecuaciones algebraicas )

, siempre que El cuerpo de los complejos es lo que se denomina un cuerpo algebraicamente cerrado, es decir, toda ecuacin algebraica (polinmica) con coeficientes complejos tiene siempre al menos una raz compleja (y por tanto las tiene todas).

El cuerpo de los complejos no es un cuerpo ordenado. No puede darse en C una relacin de orden total que respete las operaciones de suma y producto. No tiene por tanto sentido comparar dos nmeros complejos en la manera en que estamos acostumbrados a hacer con los reales. OTRAS FORMAS DE REPRESENTAR LOS NMEROS COMPLEJOS 1. Forma binmica. Podemos considerar C como un espacio vectorial isomorfo a , de este modo se tiene:

Grficamente, podemos representar

(y por tanto C) como un plano.

Para cada nmero complejo z, la primera componente, x, se denomina parte real y la segunda, y, se denomina parte imaginaria. Obviamente, dos nmeros complejos son iguales si y slo si lo son simultneamente sus partes reales y sus partes imaginarias. Usando este tipo de representacin, la suma de complejos se corresponde con la suma de vectores. Dados dos vectores y su suma es

Se define el mdulo de un nmero complejo como el mdulo del vector que lo representa, es decir, si , entonces el mdulo de es .

El conjugado de un nmero complejo se define como su simtrico respecto del eje real, es decir, si , entonces el conjugado de es .

El opuesto de un nmero complejo es su simtrico respecto del origen.

Es fcil ver que se cumple,

, por tanto podemos expresar el inverso de un nmero

en la forma

En vez de usar coordenadas cartesianas para representar a los puntos del plano podemos usar coordenadas polares, lo que da lugar a la siguiente forma de representacin de los nmeros complejos.

2. Forma polar o mdulo-argumento Otra forma de expresar un nmero complejo es la forma polar o forma mdulo-argumento,

donde

es el mdulo de

, y donde q es un argumento de

, esto es, q es un ngulo tal que

NOTA: Un nmero complejo tiene infinitos argumentos distintos. De hecho se puede definir el argumento de un nmero complejo no nulo como el conjunto de todos los posibles valores q que verifican lo anterior, es decir,

Es claro, por tanto, que si

es un valor particular del argumento de

, entonces

Se denomina argumento principal al nico valor

tal que

, y se denota

Se verifica entonces que . Dos nmeros complejos y , , y sus

representados en forma polar son iguales si y slo si sus mdulos son iguales

argumentos se diferencian en un nmero entero de vueltas, es decir, .

, con

La forma polar de un nmero complejo es especialmente cmoda a la hora de multiplicar, ya que basta con multiplicar los mdulos y sumar los argumentos, es decir, si ,y , entonces

Del mismo modo se puede calcular el cociente de un complejo por otro no nulo sin ms que dividir los mdulos y restar los argumentos:

, siempre que .

Las frmulas anteriores pueden generalizarse para el producto de varios complejos, as, si , para , entonces

Finalmente, en el caso en que todos los factores sean iguales se obtiene la frmula de Moivre:

Esta frmula es tambin vlida para exponentes enteros negativos, siempre que En particular tenemos otra expresin para el inverso de un nmero no nulo, . (Aqu puedes ver una aplicacin de la frmula de Moivre) Cambio de forma binmica a polar y viceversa: Cambio de binmica a polar

Cambio de polar a binmica

3. Forma exponencial Una variante de la forma polar se obtiene al tener en cuenta la conocida como frmula de Euler:

para

Esto nos permite escribir un nmero complejo en la forma siguiente, denominada forma exponencial:

Esta nueva forma es especialmente cmoda para expresar productos y cocientes ya que slo hay que tener en cuenta las propiedades de la funcin exponencial (para multiplicar se suman exponentes y para dividir se restan). En particular, para potencias con exponentes enteros se tiene .

Esto nos permite dar una nueva expresin para el inverso de un complejo no nulo en la forma .

RACES N-SIMAS DE UN NMERO COMPLEJO Estudiemos ahora las potencias con exponente racional de un nmero complejo. Dado , sea , para un nmero natural p.

Si

, puesto que

, es decir,

. Por

tanto, para .

, y adems,

, o sea,

De todos estos valores slo p consecutivos son distintos, el resto resulta ser repeticin sucesiva de valores ya obtenidos. Por tanto, un nmero complejo tiene siempre p races p-simas distintas

, para

Se puede observar que las p races psimas tienen todas el mismo mdulo, y sus argumentos se

diferencian en

cada uno del siguiente, esto es, las races p-simas se encuentran en los vrtices .

de un polgono regular de p lados incrito en la circunferencia de centro 0 y radio Como ejemplo, en la siguiente grfica podemos ver las races quintas de

Puede verse lo mismo en la siguiente animacin: