La raz cuadrada en los nmeros complejos

Raz cuadrada compleja.

Segunda hoja de la raz cuadrada compleja.

Usando la superficie de Riemann de la raz cuadrada, se puede ver como encajan las dos hojas.

El cuadrado de cualquier nmero real positivo o negativo es positivo, y el cuadrado de 0 es 0. Por lo tanto, ningn nmero negativo puede tener una raz cuadrada en los nmeros reales. Sin embargo, es posible trabajar con un sistema ms grande de nmeros, llamados los nmeros complejos, que contienen soluciones a la raz cuadrada de un nmero negativo. Esto es hecho introduciendo un nuevo nmero, denotado por i (a veces j, especialmente en el contexto de la electricidad) y llamado unidad imaginaria, que se define tal que . Utilizando esta notacin podemos pensar en i como la raz cuadrada de 1, pero notamos que tambin tenemos , as que (i) es tambin una raz cuadrada de 1. Semejantemente a los nmeros reales, decimos que la raz cuadrada principal de 1 es i, o, en general, si x es cualquier nmero real positivo, entonces en la raz cuadrada principal de x se cumple la siguiente igualdad:

es decir, la raz cuadrada de un nmero negativo es necesariamente imaginario. Eso es debido a que , por lo que entonces:

Si se desea encontrar la raz de un nmero imaginario es posible demostrar la igualdad en donde uno quiera

Por los argumentos dados, i no puede ser ni positivo ni negativo. Esto crea un problema: para el nmero complejo z, no podemos definir Z. para ser la raz cuadrada positiva de

Para cada nmero complejo diferente a cero z existen exacto dos nmeros W tales que . Por ejemplo, las races cuadradas de i son:

La definicin general de est introduciendo el siguiente punto de rama: si z = reies representado en coordenadas polares con < , despus fijamos el valor principal a:

As definido, la funcin de la raz es holomorfa en todas partes excepto en los nmeros reales no positivos, donde no es incluso continua. La antedicha serie de Taylor para sigue siendo vlida para el resto de los nmeros complejos x con |x| < 1. Ahora bien, sea un nmero complejo;

de este modo podemos expresar lo siguiente;

elevando al cuadrado ambos miembros de la ecuacin;

de manera que obtenemos un sistema de ecuaciones, que puede ser resuelto; 1. 2. en este sentido, y en general, para un nmero complejo expresado en forma rectangular, por medio de estas formulas se obtiene:

donde (el valor absoluto o mdulo del nmero complejo), y el signo de la parte imaginaria de la raz coincide con el signo de la parte imaginaria del radicando. Observe que debido a la naturaleza discontinua de la funcin de la raz cuadrada en el plano complejo, la ley es en general falsa, y tiene toda potencia en un conjunto determinado. Es incorrecto si se asume que esta ley es la base de varias demostraciones invlidas, por ejemplo el demostrar que :

Donde la tercera igualdad tiene que ser vista como:

Al no considerarse, normalmente las dos ramas de la funcin raz cuadrada, puede inducir a errores en la consideracin de esta operacin. Cada nmero complejo se puede escribir en su forma polar como:

ya que

entonces es fcil ver que: