Números complejos · Definición
Fórmula de De Moivre
Antes de empezar necesitas conocer
Convierte elevar un complejo a una potencia entera en una operación sobre módulo y ángulo, sin desarrollar binomios.
Definición
La fórmula de De Moivre da la potencia entera \(n\) de un complejo \(z\) de módulo \(r\) y argumento \(\theta\): eleva el módulo a la \(n\) y multiplica el argumento por \(n\).
Si \(z=r(\cos\theta+i\sin\theta)\), la regla del producto de la forma polar dice que multiplicar suma ángulos y multiplica módulos. Aplicarla \(n\) veces da \(z^n=r^n(\cos n\theta+i\sin n\theta)\). Es una inducción directa sobre \(n\), y la fórmula sigue valiendo para \(n=0\) y \(n<0\) porque \(z^{-1}\) tiene módulo \(1/r\) y argumento \(-\theta\).
Por ejemplo, para \((1+i)^8\) se escribe \(1+i=\sqrt2(\cos\frac\pi4+i\sin\frac\pi4)\) y resulta \((\sqrt2)^8(\cos2\pi+i\sin2\pi)=16\), mucho más corto que multiplicar ocho veces. Geométricamente, elevar a una potencia estira el radio y multiplica el ángulo: una espiral cuando \(r\neq1\).
Cuando \(r=1\) se obtiene \((\cos\theta+i\sin\theta)^n=\cos n\theta+i\sin n\theta\); al comparar partes real e imaginaria con el binomio de Newton salen identidades como \(\cos3\theta=4\cos^3\theta-3\cos\theta\). Es una de las razones por las que la forma polar vale la pena.
La fórmula es para exponentes enteros. Con exponentes fraccionarios, como \(\frac1n\), el argumento \(\theta\) y sus equivalentes \(\theta+2\pi k\) dan resultados distintos; ese caso es el de las raíces \(n\)-ésimas, el concepto que sigue.
Para pensar
¿Cuánto vale \(\left(\frac{1}{2}+\frac{\sqrt3}{2}i\right)^{6}\)?
Es \(\cos\frac\pi3+i\sin\frac\pi3\) elevado a 6, es decir, \(\cos2\pi+i\sin2\pi=1\).
¿Por qué la fórmula no depende del argumento elegido cuando \(n\) es entero?
Porque cambiar \(\theta\) por \(\theta+2\pi\) cambia \(n\theta\) en \(2n\pi\), múltiplo de \(2\pi\), y seno y coseno no lo notan.
Ejercicios 10
- Calcula \((1+i)^8\).
- Calcula \(\left(\cos\frac\pi6+i\sin\frac\pi6\right)^6\).
- Usa la fórmula para hallar \((1-i)^4\).
- ¿Cuál es el módulo de \((\sqrt3+i)^5\)?
- Calcula \((1+i\sqrt3)^3\).
- Para \(n=-1\), \(\left(\cos\theta+i\sin\theta\right)^{-1}\) es igual a:
- Al desarrollar \((\cos\theta+i\sin\theta)^3\) e igualar partes reales, ¿qué expresión resulta para \(\cos3\theta\)?
- Calcula \((\sqrt3-i)^6\).
- Si \(n\) es entero y cambias \(\theta\) por \(\theta+2\pi\) en \(r^n(\cos n\theta+i\sin n\theta)\), el valor:
- ¿Cuál es el menor entero positivo \(n\) tal que \((1+i)^n\) es un número real positivo?
Después de esto
Referencias
- Elias M. Stein, Rami Shakarchi, Complex Analysis, 1st edition, Princeton University Press, 2003. Cap. 1, §1.1
- James Ward Brown, Ruel V. Churchill, Complex Variables and Applications, 9th edition, McGraw-Hill, 2014. §7
- Lars V. Ahlfors, Complex Analysis, 3rd edition, McGraw-Hill, 1979. Cap. 1, §2.1