Hay un hermoso teorema ligado a nuestro estudio de los números Complejos, y sí, tiene un nombre romántico, como la mayoría de los demás teoremas de las matemáticas, conocido como Teorema de De Moivre. El teorema, sin embargo, no es tan complicado como suena, pero es definitivamente complejo (juego de palabras intencionado). El Teorema de De Moivre te servirá de puerta de entrada a una teoría más avanzada de los números complejos y te ayudará a abordar algunos problemas cruciales en el camino.
Pero las cosas se ponen tediosas a medida que avanzas, ¿qué pasaría si te pidieran calcular potencias superiores, como \(z^4, \ z^5,...\) y así sucesivamente? La expansión binómica puede utilizarse eficazmente, pero se vuelve poco práctica a medida que las potencias son cada vez mayores.
Para potencias tan grandes, existe un teorema muy elegante por el que se puede llegar a una fórmula concisa para cualquier potencia entera de un número complejo:
ElTeorema de De Moivre (también conocido como identidad de De Moivre) debe su nombre al matemático francés Abraham de Moivre, aunque el teorema nunca apareció en ninguna de sus obras.
El enunciado del teorema es el siguiente:
Para un número complejo \(z=r(\cos x +i\sin x)\), siendo \(r\) el módulo del número complejo y para algún número entero \(n\), elevando \(z\) a la potencia de \(n\), obtenemos:
$$z^n=r^n(\cos {nx}+i \sin {nx})$$
Ésta es una fórmula poderosa en sí misma, ya que para elevar la potencia de un número complejo a un número entero, basta con multiplicar el argumento del complejo por el número entero al que se eleva el número complejo.
Fórmula de De Moivre
La fórmula del Teorema de De Moivre se puede escribir de la siguiente manera:
Por tanto, \(z=r(\cos x+i \sin x)\) (sí, es tan trivial como parece), lo que hace que \(P(1)\) sea cierta.
Supongamos ahora que \(P(k)\) es cierta para \(\para todo k \en \mathbb{N}\). Entonces, tienes \(z^k=r^k(\cos{kx}+i\sin{kx})\).
El objetivo es demostrar la afirmación \(P(k+1)\) utilizando el hecho de que \(P(k)\) es verdadera:
$$z^{k+1}=r^{k+1}(\cos{(k+1)x}+i\sin{(k+1)x})$$
Empezando por \(\text{LHS}\):
$$\begin{aligned} \text{LHS} &=z^{k+1} \\ &=z^k\ z \ &=r^k(\cos x +i\sin x)^k\ r(\cos x+i\sin x) \end{aligned}$$
Utilizando el enunciado de \(P(k)\):
$$z^k=r^k(\cos x +i\sin x)^k=r^k(\cos{kx}+i\sin{kx})$$
Sustituyendo esto en \(\text{LHS}\):
(\cos x+i\sin x) &=r^{k+1}(\cos x\cos{kx} +i\cos{kx} \sin x) &=r^{k+1}(\cos x\cos{kx} +i\cos{kx} \sin x +i\cos x \sin{kx} -i\sin x \sin{kx}) \siendo así \ \text{LHS} &=r^{k+1}((\cos x \cos{kx} - \sin x \sin{kx})+i(\sin x \cos{kx} +\cos x \sin{kx}) \ end{aligned}$$
Ahora sólo tienes que reconocer la solución recordando las identidades trigonométricas de las funciones seno y coseno:
$$\begin{aligned} &\cos{(a+b)}=cos a \cos b -\sin a \sin b \\ &\sin{(a+b)}=\sin a \cos b+\cos a \sin b \end{aligned}$$
Sustituyendo estas fórmulas en \text{LHS}\$:
$$\begin{aligned} \text{LHS} &=r^{k+1} (\cos{(k+1)x}+i\sin{(k+1)x}) \\ &=texto{RHS} \\ Por lo tanto, \text{LHS} &=text{RHS}\end{aligned}$$.
que es lo que se te pedía que demostraras.
Por tanto, suponiendo que \(P(k)\) sea cierta, implica que \(P(k+1)\) es cierta. Así pues, por el principio de inducción matemática, \(P(n)\) es verdadera \(\para todo n \en \mathbb{N}).
Queda por demostrar el teorema para todos los enteros negativos. Para ello, utiliza el resultado que has demostrado para los enteros positivos \(n\):
que demuestra el teorema para todos los enteros negativos \(n\)
Observa que el teorema de De Moivre no se cumple para valores racionales de \(n\).
Resolver utilizando el teorema de De Moivre
Supón que te piden que resuelvas la ecuación cúbica \(x^3-1=0\), ¿cuál sería tu respuesta? Seguramente sería \(x=1\), lo cual es correcto, pero la respuesta es incompleta. \(x=1\) es la raíz real de esta ecuación cúbica, pero ¿qué pasa con las demás raíces? El grado del polinomio es \(3\); por tanto, debería tener tres raíces en total.
Aquí es donde los métodos que has aprendido en el instituto llegan a su fin (más o menos). Resulta que las otras raíces de esta ecuación no son reales, sino complejas.
Intentemos abordar esto de forma general y luego volvamos al problema de hallar la raíz cúbica de \(1\). En general, tratamos de resolver la ecuación \(x^n=a+ib\) donde \(n \en \mathbb{N}\). Escribiendo \(a+ib\) en forma polar, obtenemos
$$a+ib=s(\cos \alfa +i\sin \alfa) $$
donde \(s\) es la magnitud de \(a+ib\) y \(\alpha\) es el argumento principal de la misma.
Ahora, igualando esto a \(x^n\), pero en primer lugar, dejemos que \(x=r(\cos \theta +i\sin \theta)\), de modo que tengamos formas polares en ambos lados:
Observa que \(s\) y \(\alpha\) son conocidos, ya que \(a+ib\) es conocido. Así que \(r\) y \(\eta) pueden calcularse comparando los coeficientes de ambos lados de la siguiente manera:
Ahora recuerda una importante propiedad de la trigonometría, que las funciones seno y coseno son periódicas, es decir, \(\sin \theta =\sin{2\pi k+\theta}\) y \(\cos \theta = \cos{2 \pi k +\theta}\). Por tanto, en este caso, \(\theta= \frac{alfa +2 \pi k}{n}).
Por tanto, tienes \( r=s^{1/n}\) y \(\theta= \displaystyle \frac{{alfa +2 \pi k }{n}\), donde \(k \en {1, \ 2, \ 3, ... , \ n-1}\).
Volvamos a encontrar las raíces cúbicas de \(1\).
Halla la raíz cúbica de \(1\).
Solución:
Sea \(x^3=1\) donde se te pide que encuentres los valores de \(x\). Se puede observar enseguida una raíz, que es \(x=1\).
Escribiendo \(1\) en forma polar:
$$1=1+0i=s(\cos \alpha +i\sin \alpha)$$
Comparando la parte real y la imaginaria, tienes \(s=1\), \(\cos \alpha=1\) y \(\sin \alpha=0\) lo que da \(\alpha=0\).
Sea la raíz \(x=r(\cos \theta+i \sin \theta)\) de modo que,
donde \(z=r(\cos x+i\sin x)\). La identidad esencialmente expande el número complejo para dar una forma más simple, que es de hecho la aplicación más importante del Teorema de De Moivre: expandir potencias enteras de un número complejo.
Un número complejo puede expresarse de una de estas dos formas \(z=a+ib\) y \(z=r(\cos x+i\sin x)\).
Con esta última forma es fácil trabajar; aplica directamente la identidad de De Moivre.
En cuanto a la primera forma, conviértela en la forma polar, sobre la que luego se puede utilizar la identidad. Veamos algunos ejemplos en los que se utiliza.
Halla el valor de \((\sin \izquierda( \frac{\pi}{6} \derecha) + i \cos \izquierda( \frac{\pi}{6} \derecha))^{18}\).
Solución:
Observa que el número complejo es de la forma \( \sin x+i \cos x\) y no \(\cos x+i \sin x\), por lo que tienes que convertirlo :
¿Cómo escribirías \(\sin 3\theta\) en términos de \(\sin \theta\) y \(\cos \theta\)? Explorarás una técnica que utiliza el teorema binomial y el teorema de De Moivre para responder a esta pregunta. En general, aprenderás a escribir \(\sin n\theta\) y \( \cos n\theta\) en términos de \(\sin \theta\) y \(\cos \theta\).
Recuerda que el Teorema del Binomio dice que para un polinomio \((a+b)^n\) se expande como:
Así tienes una fórmula con la que se pueden escribir las fórmulas de ángulos múltiples de las funciones seno y coseno.
Ejemplos del teorema de De Moivre
Si \(z=(\cos \theta+i \sin \theta)\), demuestra que \(z^n+\frac{1}{z^n}=2 \cos n \theta) y
\(z^n-\frac{1}{z^n}=2 i \sin n \theta), donde \(n \in \mathbb{Z})
Solución:
Sea \(z=(\cos \theta+i \sin \theta)\), tomando la \(n^{texto {ésimo}}) potencia:
$$z^n=\cos n \theta+i \sin \theta$$
Sustituyendo \(n\) por \(-n\) :
$$\begin{aligned} z^{-n} &=\cos(-n \theta)+i \sin (-n \theta) \\therefore \frac{1}{z^n} &=\cos n \theta-i \sin n \theta \end{aligned}$$Sumando \(z^n) y \frac{1}{z^n}\):$$ \begin{aligned} z^n+\frac{1}{z^n} &=\cos n \theta+i \sin \theta+\cos n \theta-i \sin n \theta \\\therefore \ z^n+\frac{1}{z^n}&=2 \cos n \theta \end{aligned}$$
Por tanto, se ha demostrado la primera identidad.
Restando \(1 / z^n\) de \(z^n\) :
$$\begin{aligned} z^n-\frac{1}{z^n} &=\cos n \theta+i \sin n \theta-\cos n \theta+i \sin n \theta \\ \therefore \ z^n-\frac{1}{z^n}&=2 i \sin n \theta \end{aligned}$$.
Por tanto, también se ha demostrado la segunda identidad.
Expande el número complejo \((1-\sqrt{3} i)^5\) utilizando la identidad de De Moivre.
Solución:
Como el número complejo no está en forma polar, primero tenemos que convertirlo. Para ello, tenemos que calcular el módulo del mismo, sea \(z=1-i \sqrt{3}\) :
$$\begin{aligned} r &=\sqrt{a^2+b^2} \\&=qrt{1+3} \\ Por tanto, r &=2 fin{alineado}$$
ElTeorema de De Moivre afirma que un número complejo \(z=r(\cos x+i\sin x)\), cuando se eleva a una potencia entera de \(n\), puede escribirse como \(z^n=r^n (\cos {nx} + i\sin {nx})\).
El teorema puede aplicarse a la búsqueda de raíces de ecuaciones, para \(x^n=a+ib\), donde \(a+ib)=s(\cos \alpha + i\sin \alpha)\). La solución de la ecuación \(x^n=a+ib\) viene dada entonces por \(x=s^{1/n} (\cos \left( \frac{\alpha + 2 \pi k}{n} \right) +i \sin \left( \frac{\alpha + 2 \pi k}{n} \right)) \).
La principal aplicación del Teorema de De Moivre es utilizarlo para expandir un número complejo de una potencia entera sin utilizar el teorema del binomio.
Aprende más rápido con las 5 tarjetas sobre Teorema de De Moivre
Regístrate gratis para acceder a todas nuestras tarjetas.
Preguntas frecuentes sobre Teorema de De Moivre
¿Qué es el Teorema de De Moivre?
El Teorema de De Moivre conecta números complejos con trigonometría, estableciendo que (cos(θ) + i*sin(θ))^n = cos(nθ) + i*sin(nθ).
¿Para qué se utiliza el Teorema de De Moivre?
El Teorema de De Moivre se usa para calcular potencias y raíces de números complejos de forma sencilla.
¿Cómo se demuestra el Teorema de De Moivre?
El Teorema de De Moivre se demuestra utilizando inducción matemática y las identidades trigonométricas de Euler.
¿Quién fue Abraham De Moivre?
Abraham De Moivre fue un matemático francés del siglo XVIII, conocido principalmente por su trabajo en teoría de probabilidades y el teorema que lleva su nombre.
How we ensure our content is accurate and trustworthy?
At StudySmarter, we have created a learning platform that serves millions of students. Meet
the people who work hard to deliver fact based content as well as making sure it is verified.
Content Creation Process:
Lily Hulatt
Digital Content Specialist
Lily Hulatt is a Digital Content Specialist with over three years of experience in content strategy and curriculum design. She gained her PhD in English Literature from Durham University in 2022, taught in Durham University’s English Studies Department, and has contributed to a number of publications. Lily specialises in English Literature, English Language, History, and Philosophy.
Gabriel Freitas is an AI Engineer with a solid experience in software development, machine learning algorithms, and generative AI, including large language models’ (LLMs) applications. Graduated in Electrical Engineering at the University of São Paulo, he is currently pursuing an MSc in Computer Engineering at the University of Campinas, specializing in machine learning topics. Gabriel has a strong background in software engineering and has worked on projects involving computer vision, embedded AI, and LLM applications.