La fórmula de De Moivre, nombrada así por Abraham de Moivre afirma que para cualquier número complejo (y en particular, para cualquier número real)se verifica que Esta fórmula conecta los números complejos (i significa unidad imaginaria) con la trigonometría.Al expandir la parte izquierda de la igualdad y comparando la parte real con la imaginaria, es posible obtener expresiones muy útiles paraAdemás, esta fórmula puede ser utilizada para encontrar expresiones explícitas para la-ésima raíz de la unidad, eso es, números complejosLa forma actual de la fórmula aparece en la obra Introductio in analysin infinitorum[1] de Euler, que la demuestra[2] para todos los enteros naturalesPero también aparece implícitamente en los trabajos de Abraham de Moivre varias veces desde 1707,[3] en su trabajo sobre las raíces-ésimas de números complejos.De hecho, los dos problemas están relacionados: escribir que (cos x + i sin x)n = cos(nx) + i sin(nx) es equivalente a decir que cos x + i sin x es una de las raíces enésimas del complejo cos(nx) + i sin(nx).entonces tenemos la identidad de Euler: Es decir: Además como tenemos estas dos igualdades: podemos deducir lo siguiente: Consideramos tres casos.Para nuestra hipótesis asumimos que el resultado es verdadero para algún entero positivoEso es que asumimos: Ahora, considerando el caso: Deducimos que el resultado es verdadero para n = k + 1 cuando es verdadero para n = k. Por el principio de la inducción matemática se desprende que el resultado es verdadero para todos los enteros positivos n≥1.la fórmula es verdadera ya que, consideramos que existe un entero positivo, por lo que Por lo tanto el teorema es verdadero para todoLa fórmula en realidad es verdadera en un campo mucho más general que el presentado arriba: si z y w son números complejos, entonces es una función multivaluada mientras no lo sea.Por lo tanto se puede asegurar que: Esta fórmula puede ser utilizada para encontrar tanto la potencia como las raíces enésimas de un número complejo escrito en la forma polar.Si el número complejo está en forma binómica, primero hay que convertirlo a forma polar, siendoPara obtener la potencia del número complejo se aplica la fórmula: Para obtener lasraíces de un número complejo, se aplica: dondees un número entero que va desde, que al sustituirlo en la fórmula permite obtener las
