Saltar al contenido principal

# 1.3: Álgebra de números complejos

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Los números complejos forman un “campo” matemático en el que se definen las operaciones habituales de suma y multiplicación. Cada una de estas operaciones tiene una interpretación geométrica simple.

Los números complejos$$z_1$$ y$$z_2$$ se suman de acuerdo con la regla

$z_1+z_2 = (x_1+jy_1) + (x_2+jy_2) = (x_1+x_2) + j(y_1+y_2) \nonumber$

Decimos que las partes reales se suman y las partes imaginarias se suman. Como se ilustra en la Figura, el número complejo$$z_1+z_2$$ se calcula a partir de una “regla de paralelogramo”, en la que$$z_1+z_2$$ se encuentra en el nodo de un paralelogramo formado a partir de$$z_1$$ y$$z_2$$.

##### Ejercicio$$\PageIndex{1}$$

Dejar$$z_1 = r_1e^{jθ_1}$$ y$$z_2 = r_2e^{jθ_2}$$. Encuentra una fórmula polar$$z_3 = r_3e^{jθ_3}$$ para$$z_3 = z_1 + z_2$$ que implique solo las variables$$r_1,r_2,θ_1,$$ y$$θ_2$$. La fórmula para$$r_3$$ es la “ley de los cosenos”.

El producto de$$z_1$$ y$$z_2$$ es

$z_1z_2=(x_1+jy_1)(x_2+jy_2) = (x_1x_2−y_1y_2)+j(y_1x_2+x_1y_2) \nonumber$

Si las representaciones polares para$$z_1$$ y$$z_2$$ se utilizan, entonces el producto puede escribirse como 1

\ [\ begin {align}
z_ {1} z_ {2} &=\ quad r_ {1} e^ {j\ theta_ {1}} r_ {2} e^ {j\ theta_ {2}}\ label {}\\\
&=\ left (r_ {1}\ cos\ theta_ {1} +j r_ {1}\ sin theta_ {1}\ derecha)\ izquierda (r_ {2}\ cos\ theta_ {2} +j r_ {2}\ sin\ theta_ {2}\ derecha)\ etiqueta {}\\
&=\ izquierda (r_ {1}\ cos\ theta_ {1} r_ { 2}\ cos\ theta_ {2} -r_ {1}\ sin\ theta_ {1} r_ {2}\ sin\ theta_ {2}\ derecha)\ etiqueta {}\\
&+j\ izquierda (r_ {1}\ sin\ theta_ {1} r_ {2}\ cos\ theta_ {2} +r_ {1}\ cos\ theta_ {1} r_ {2}\ sin\ theta_ {2}\ derecha)\ etiqueta {}\\
&=\ quad r_ {1} r_ {2}\ cos\ izquierda (\ theta_ {1} +\ theta_ {2}\ derecha) +j r_ {1} r_ {2}\ sin\ izquierda (\ theta_ {1} +\ theta_ {2}\ derecha)\ etiqueta {}\\
&=\ quad r_ {1} r_ {2} e^ {j\ izquierda (\ theta_ {1} +\ theta_ {2}\ derecha)}\ label {}
\ end {align}\ nonumber\]

Decimos que las magnitudes se multiplican y los ángulos se suman. Como se ilustra en la Figura, el producto$$z_1z_2$$ se encuentra en el ángulo$$(θ_1+θ_2)$$

## Rotación

Hay un caso especial de multiplicación compleja que cobrará mucha importancia en nuestro estudio de los fasores en el capítulo sobre los fasores. Cuando$$z_1$$ es el número complejo$$z_1=r_1e^{jθ_1}$$ y$$z_2$$ es el número complejo$$z_2=r_1e^{jθ_2}$$, entonces el producto de$$z_1$$ y$$z_2$$ es

$z_1z_2=z_1e^{jθ_2}=r_1e^{j(θ_1+θ_2)} \nonumber$

Como se ilustra en la Figura, z_1z_2\) es solo una rotación de$$z_1$$ a través del ángulo$$θ_2$$

##### Ejercicio$$\PageIndex{2}$$

Comience con el número complejo$$z_1=x+jy=re^{jθ}$$. Calcular el número complejo$$z_2=jz_1$$ en sus formas cartesianas y polares. El número complejo a veces$$z_2$$ se llama perp$$(z_1)$$. Explique por qué escribiendo autor$$(z_1)$$ como$$z_1e^{jθ_2}$$. ¿Qué es$$θ_2$$? Repita este problema para$$z_3=−jz_1$$.

## Poderes

Si el número complejo$$z_1$$ se multiplica$$N$$ veces, entonces el resultado es

$(z_1)^N=r^N_1e^{jNθ_1} \nonumber$

Este resultado puede probarse con un simple argumento de inducción. Asumir$$zk_1=rk_1e^{jkθ_1}$$. (La suposición es cierta para$$k=1$$.) Después usa la recursión$$z^{k+1}_1=z^k_1z_1=r^{k+1}_1e^{j(k+1)θ_1}$$. Iterar esta recursión (o inducción) hasta$$k+1=N$$. ¿Se puede ver que, como$$n$$ rangos desde$$n=1,...,N,$$ el ángulo de z§va de$$θ_1$$ a$$2θ_1$$,..., a$$Nθ_1$$ y el radio va de$$r_1$$ a$$r^2_1$$,..., a$$r^N_1$$? Este resultado se explora más a fondo en Problema 1.19

Correspondiente a cada número complejo$$z= x+jy=re^{jθ}$$ es el conjugado complejo

$z^∗=x−jy=re^{−jθ} \nonumber$

El número complejo$$z$$ y su conjugado complejo se ilustran en la Figura. La receta para encontrar conjugados complejos es “cambiar$$j$$ a$$−j$$. Esto cambia el signo de la parte imaginaria del número complejo.

El producto de$$z$$ y su complejo conjugado se llama la magnitud al cuadrado de$$z$$ y se denota por$$|z|^2$$

$|z|^2=z^∗z=(x−jy)(x+jy)=x^2+y^2=re^{−jθ}re^{jθ}=r^2 \nonumber$

Tenga en cuenta que$$|z|=r$$ es el radio, o magnitud, que definimos en “Geometría de números complejos”.

##### Ejercicio$$\PageIndex{3}$$

Escribir$$z^∗$$ como$$z^∗=zw$$. Encuentra$$w$$ en sus formas cartesianas y polares.

##### Ejercicio$$\PageIndex{4}$$

Demuestra ese ángulo$$(z_2z^∗_1)=θ_2−θ_1$$.

##### Ejercicio$$\PageIndex{5}$$

Demostrar que las partes reales e imaginarias de$$z=x+jy$$ pueden escribirse como

$\mathrm{Re}[z]=\frac 1 2 (z+z^∗) \nonumber$

$\mathrm{Im}[z]=\overline{2j}(z−z^∗) \nonumber$

Los números complejos se desplazan, asocian y distribuyen bajo suma y multiplicación de la siguiente manera:

$z_1+z_2 = z_2+z_1 \nonumber$

$z_1z_2 = z_2z_1 \nonumber$

$(z_1+z_2)+z_3=z_1+(z_2+z_3) \nonumber$

$z_1(z_2z_3)=(z_1z_2)z_3 \nonumber$

$z_1(z_2+z_3)=z_1z_2+z_1z_3 \nonumber$

En el campo de los números complejos, el número complejo$$0+j0$$ (denotado por 0) juega el papel de una identidad aditiva, y el número complejo$$1+j0$$ (denotado por 1) juega el papel de una identidad multiplicativa:

$z+0=z=0+z \nonumber$

$z1=z=1z \nonumber$

En este campo, el número complejo$$−z=−x+j(−y)$$ es el inverso aditivo de$$z$$, y el número complejo\ (z^ {−1} =\ frac {x} {x^2+y^2} + j\ left (/frac {−y} {x^2+y^2}\ right) es el inverso multiplicativo:

$z+(−z) = 0 \nonumber$

$zz^{−1} = 1 \nonumber$

##### Ejercicio$$\PageIndex{6}$$

Demostrar que la inversa aditiva de$$z=re^{jθ}$$ puede escribirse como$$re^{j(θ+π)}$$.

##### Ejercicio$$\PageIndex{7}$$

Mostrar que la inversa multiplicativa de$$z$$ puede escribirse como

$z^{−1} = \frac {1} {z^∗z} z^∗ = \frac {1} {x^2 + y^2} (x−jy) \nonumber$

Demostrar que$$z^∗z$$ es real. Demostrar que$$z^{−1}$$ también se puede escribir como

$z^{−1} = r^{−1}e^{−jθ} \nonumber$

Parcela$$z$$ y$$z^{−1}$$ para un representante$$z$$.

##### Ejercicio$$\PageIndex{8}$$

Demostrar$$(j)^{−1} = −j$$.

##### Ejercicio$$\PageIndex{9}$$

Encuentra$$z^{−1}$$ cuándo$$z = 1+j1$$

##### Ejercicio$$\PageIndex{10}$$

Demostrar$$(z^{−1})^∗ = (z^∗)^{−1} = r^{−1}e^{jθ} = \frac {1} {z^∗z} z$$. Parcela$$z$$ y$$(z^{−1})^∗$$ para un representante$$z$$.

##### Ejercicio$$\PageIndex{11}$$

Encuentra todos los números complejos$$z$$ con la propiedad que$$jz = −z^∗$$. Ilustrar estos números complejos en el plano complejo

### Demostración 1.2 (MATLAB)

Crear y ejecutar el siguiente archivo de script (nómbralo Complex Numbers) 2

clear, clg j=sqrt (-1) z1=1+j*.5, z2=2+j*1.5 z3=z1+z2, z4=z1*z2 z5=conj (z1), z6=j*z2 avis ([-4 4 -4 4]), eje ('cuadrado'), parcela (z1, '0') mantener en parcela (z2, ''), parcela (z3, '+'), parcela (z4, '*'), parcela (z2, '0'), parcela (z3, '+'), parcela (z4, '*'), parcela (z5, 'x'), parcela (z6, 'x')

Con la ayuda del Apéndice 1, deberías poder anotar cada línea de este programa. Visualiza tu pantalla gráfica para verificar las reglas para agregar, multiplicar, conjugar y perp. Ver Figura.

##### Ejercicio$$\PageIndex{12}$$

$$z^0 = 1$$Demuéstralo.

##### Ejercicio$$\PageIndex{13}$$

(MATLAB) Elija$$z_1 = 1.05e^{j2π/16}$$ y$$z_2 = 0.95e^{j2π/16}$$. Escribir un programa MATLAB para calcular y trazar$$z^n_1$$ y$$z^n_2$$ para$$n = 1,2,...,32$$. Deberías observar una figura como la de abajo.

## Notas al pie

1. Hemos utilizado las identidades trigonométricas$$cos(θ_1+θ_2) = cos{θ_1}cos{θ_2} − sin{θ_1}sin{θ_2}$$ y$$sin(θ_1+θ_2) = sin{θ_1}cos{θ_2} + cos{θ_1}sin{θ_2}$$ para derivar este resultado.
2. Si está utilizando PC-MATLAB, deberá nombrar su archivo cmplxnos.m

This page titled 1.3: Álgebra de números complejos is shared under a CC BY 3.0 license and was authored, remixed, and/or curated by Louis Scharf (OpenStax CNX) via source content that was edited to the style and standards of the LibreTexts platform.