\"

' ',

S
~ 9
33
f

UNIVERSIDAD CATOLICA DE CHILE

AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAs

0: av*

EL CUERPQ DE LS
COMPLEJQS
GUN 15 ElEIII[IOS RESIIEITIIS

Ing. MARIO RAUL AZOCAR

1969

,fl
*$9

UNIVERSIDAD CATOLICA DE CHILE

FACULTAD DE CIEN

W/

If* Q Q

S FISICAS Y MATEMATICAS

./

Wuv

yy/IW %\/

II~I;"IIL c:uERPo DE Los

c:cMPLEJos
CON 75 EIERCICIOS RESUELTS

Ing. MARIO RAUL AZOCAR

1969

PROLOGO

El Algebra Abstracta, con la introduccin

de las Estructuras Algebrnicas, ha exigido una
actualizacin del tratamiento tradicional, de
muchos tpicos de Algebra Clsica.
Las presentes notas, redactadas en este
nuevo espritu, han sido especialmente preparadas para los alumnos de la Escuela de Ingeniera
de la Universidad Catlica de Chile.
Este trabajo no tiene pretensin ninguna
y l habr cumplido su finalidad fundamental, si
resulta de alguna utilidad a esa juventud capaz,
estudiosa y entusiasta, con la cual he tenido el
privilegio de convivir en las aulas, durante
muchos aos.

Mario Ral Azcar

Santiago, Mayo de 1969.

EL CUERPQ DE Los coMPLEJos

La nocin de cuerpo.

La idea de campo o cuerpo es un concepto fundamental del algebra, que trataremos de presentar mediante la introduccin de algunas definiciones.
DEF. l

Se llama operacin binaria en un conjunto no vaco:

S:

{U,

B]

Yp

6]

noao0}

a todo criterio (*) que asigne a cada par ordenado (d,B) de

elementos de S un nico elemento u a B de S.
Veamos un ejemplo.

Tomemos el conjunto Z* de los n-

meros enteros positivos y para cada par ordenado (a,B) de

elementos de
Z+,
asignemos un elemento tambin de ZI, median,
~
I

te el criterio siguiente:

<I*s,=<I,2+s

vaez+^Bez+

De acuerdo a esta operacin binaria, tenemos

4 * 5 = 16 + 5 = 21
./-

5 * 4 = 25 + 4 = 29

20

DEF.

Llamaremos grupoide toda pareja (S, *) formada por

un conjunto no vaco S y una operacin binaria (*) definida en
....--...ss

S.

Una operacin binaria (*) definida en un conjunto no

vaco S se dice conmutativa si
a * B = B * d
Veamos un ejemplo.

d G S

^ B G S

Tomemos el conjunto Z de los ente-

ros y consideremos en l, las dos operaciones siguientes:

d * G = d~B + 1

5 * 4 = 20 + 1 = 21

d r B = a - B

5 4 =

5 - 4 =

Entqnesfoomo el producto ordinario es conmutativo

,,. --

JU*

- ,_

lo mismo zrre con la operacin (*) y como la resta no es

conmutativa la segunda operacin tampoco lo es.

Asi tene~

m0S

<*a='~s`~sI
DEF.

<I<es`~a

Una operacin binaria (*) definida en un conjunto no

3.

vaco S, se dice asociativa si

(d * B) * Y = d * (B * ql
Veamos un ejemplo.

o Q S,

B S, Y G S

Tomemos el conjunto IR de los n-

meros reales y definamos en l las operaciones:

d * B = d + B + 5

3 * 4 = 3 + 4 + 5 = 12

d B = 2d - B

3 0 4 = 6 - 4 = 2

Haremos ver que (*) es asociativa, en efecto:

(a' B) w y = (a + B + 5) * Y = a + 3 + 5 + yp+ 5 = a+s+y+10

1

a * (B * Y) = af* (B + y + 5) = a + B + y^+ 5 + 5 = a+B+y+10

Contrariamente veamos que (0) no es asociativa

(G B) Y = (2a - B) Y = 4a - 26 - Y'
d

W
_;-s

= d 0

(26 - y) = 2d - 26 + 4y

O_
WI'

DEFO

_`

4I,.

Un grupoide (S, *) tiene elemento identidad para la

operacin (*) si existe un elemento e S tal que:
d * e =4e * d = d

d S

De acuerdo a esta definicin es inmediato que el gru~

poide ( R, +) admite al cero como elemento identidad, pues:

./I,
E'

4.

d + 0 = 0 + d = d

d IR

Contrariamente el grupoide (Z+, +) no tiene elemento

identidad o elemento neutro, pues el conjunto"Z+, de los

enteros positivos, no contiene al cero,

Tambin resulta inmediato que el grupoide Ilkf* )_tie
ne al unn.(1)cmo elemento neutro pues;
1 d = a DEF.

1 = d

^d JR

Sea (S, *) un grupoide con elemento identidad e_dUn

elemento d de S se dice que tiene inverso bajo'la operacin
(*) si existe en S algn elemento d', tal que?
d * d' = d? * d = e
El grupoide (IR, +) tiene como elemento neutro al cero
y cada elemento de

ZR, es decir cada nmero real tiene in"

verso bajo la operacin suma (+), pues sabemos que:

d + ( d) = (- d) + d = 0

Similarmente el grupoide (EL n) tiene como elemento

identidad al uno (1) y cada elemento d # 0 tiene inverso
bajo la multiplicacin, ya que:
d ~ = - d = 1

0 # d IR

5.

Veamos otro ejemplo.

'

conjunto

'

Tomemos arbitrariamente en el
0

ZR.- {0, l} un elemento d y consideremos el conjun~

to

s={akkez}
entonces el grupoide (S,

-) es conmutativo, pues:

dm ' un = dn ~ dm A
este grupoide (S,

d S,

m ^ n 8 Z

') tiene como elemento neutro, a, ya que

'

un ' d = a

un = un

d 8 S^ n Z

finalmente todo elemento de S tiene inverso, en efecto:

-

en ' d n = d n ~ un = d

DEF. 7

d G S ^ n G Z

_
Sea (S, *, Q) un sistema algebraico formado por un

conjunto no.vacio S y dos operaciones binarias (*) y (0). LH

operacin (}'<distributiva sobre la operaoin (*) si:

0 (BI-*Y)=-(VB)*(0Y)

'

<1es,Bes,ves.

(B*v)<x=(B<fx)*(Y<>I)
Es inmediato que en el sistema (HL +,
cacin (-) es distributiva sobre la suma,

-) la multipli-

(+) pus sabemos que

6.

G - (B + Y) = G - B + G - Y
V

IR, B

IR, Y

IR

(B+Y) -oei=B-u+Y~<1
veamos otro ejemplo.

En el conjunto Z de los nmeros

enteros definamos las operaciones:

a * B = d + 2@

d B = 2a ' B

,Mostraremos que la operacin (c) es distributiva sobre

la operacin (*), en efecto tenemos:

<s*v=I(e+2v = za- <s+2v = 2<e+4<x-Y

A

(a B) * (G P Y)

(20 ' B) * (20 Y)

2GB + 4G~Y

Considerando que la operacin () es conmutativa no

es necesario verificar la distributividad por la derecha.

DEF. e

-'
Un campo o cuerpo es un sistema algebraico (S, +, -)

constituido por un conjunto no vacio S y dos operaciones

binarias (+) y ja) tales que:
`

J'

^".

'

.",'

(A1a+el=a4-oi
,

(A2)

(a + B) + Y-= d + (B + Y)
Els 'S'

,
.

ass-ses

a S, B 6 S, Y G S

a G S

tal que

v
1

(-.__.:.. .

(A3)

`.

d + a = a

(A4) V
_
-

'

-,
-=.

a S

3 d' S

_ . . -,_ f
='f
-", ' -W.
W .___..,
''('_-_.|.,. \.Mv-

,_
-

tal que
_

a + a'

en

(Ml) d ' B = B ' d

d S, B

(M2) (a - B) ' Y = a ' (B ' Y)

a 6 S, B e s, Y e s

(MG) H u G S,

u # e,

tal que:

(M4) V d $V$2%g ft*Y 3 dni S

(Dl) d '

(B + Y) = d ' B + d - Y

u -

u = q. V

tal que

d G S

la . u-1 e

d S, B G S, Y

De acuerdo a esta definicin, tenemos que en todo cu

po (S, +,

-) los grupoides (S, +) y (S - {e},

~) son conmu-

tativos, asociativos, con elemento neutro para,cada operacin

(E) para la suma y (U) para la multiplicacin.

Adems cada

elemento de ellos, tiene inverso en cada una de las opera-

ciones.

Finalmente la multiplicacin es distributiva sobre

la suma.

~4f=jlg

Como ejemplos de campos podemos mencionar los siste-

mas (Q, +,~)I"y" (IR, +, -) donde Q es el conjunto de los

racionales y R el conjunto de los reales; ~

1 .

Terminaremos estas ideas mostrando que el sistema

(S, +, ), donde:.
I`S=={a+b\/-IaID/xb-G

QI

8.

es un campo.'
Comencemos verificando que la suma de dos elementos
de S es un elemento de S, en efecto si:
a = a + b VE-

.
B = ,+ d J;

tenemos:

,
d + B = (a + c) + (b + d) Vt

GTS
K

Adems los axiomas (A1) y (A2) son inmediatos y obviamente el elemento neutro de la operacin suma, es s = 0 + 0 VE.
Finalmente el inverso de a = a + b\f
Y

es (-c) = -a - b VE:

Comprobemosahora los axiomas de multiplicacin, ha-

ciendo ver previamente que el producto de dos elementos de S

es un elemento de S.
Y
tenemos

Para:

_'

L\,a = a + kVG;
,~Y Y
,WT
'

B = c+ d\[
.
-4- Y

oc ~ B = (a'+.bIV-)(c +d\/E) = (ac + 5 bd) + (ad + bc)\/-5_ S

Los ximas (M1) y (M2) son inmediatos y el elemento

neutro para la multiplicacin es u = l 0\I5.
d = a + b\f

Ahora dado

ie, busquemos un elemento d-1 = x + y\I5

tal que: d ' d_1 =Iu =~1.

Afirmamos que dicho elemento es:

9.

OL-1:

=a2-b\/-zza

a+b\/a-sb

2__2b

a~sb

2V'`eS

a-sb

en efecto, tenemos que a 1 existe, ya que por hiptesis siendo a y b racionales no debe ocurrir que: az - 5b2 = 0, pues

si asi sucediera llegariamos a la afirmacin contradictoria:

%=\[-

con

aD^-b`ID

que establece igualdad entre un racional y un irracional.

Adems:

OL 'OL-1 (a+b\/-)

=1=1+0V;=

Finalmente no es dificil verificar el axioma (D1),

con lo cual queda probado que (S, +,

-) es un cuerpo.

El Cuerpo de los Complejos.

En este prrafo nos proponemos introducir el campo de
los nmeros complejos, cuerpo que es de fundamental importancia en el estudio de la matemtica.
DEF.

Llamaremos nmero complejo toda pareja ordenada (x, y)

de nmeros reales.

10.

D e acuerdo a esta definicin, son nmeros complejos,

cada un o de los elementos del conjunto

_<|2={(x,y)
DEF.

Ixe 1R^ye ml

10

Dado un complejo (x, y), el nmero real x se dir

parte r eal del complejo, el nmero real y se llamar parte
imagina ria del complejo.
Llamando z al complejo (x, y), o sea si z = (x, y),
G5

COI'I` iente

emplear la notacin siguiente:

x

DEF.

= R (z)

I (z)

ll

Dados dos complejos zl= (xl, yl)

diremos que ellos son iguales:

Z

zz

si y solo si

z2= (x2, yz),

Y

xl = x2

yl = yz

Teniendo presente que la igualdad de nmeros reales

es refl eja, simtrica y transitiva; de acuerdo a la definicin pr ecedente, resulta inmediato que la igualdad de nmeros complejos tambin posee estas propiedades.
P

Dado un nmero complejo z = (x, y), llamaremos com-

11.

plejo opuesto de z, al nmero complejo: -z = (-x, - y).

DEF. 13

Llamaremos complejo nulo, al complejo (0, 0) = 6

Trataremos ahora de dar al conjunto de los nmeros
complejos la estructura de cuerpo.:

Para ello es necesario

introducir dos operaciones binarias, suma (+) y producto

(-) de tal modo que ellas verifiquen las condiciones (A),
(M) y (D) expresadas en la definicin de cuerpo.
DEF.

14

Dados dos nmeros complejos zl = (xl, yl) y zz =

(x2, yz), llamaremos suma de ellos al nmero complejo:
zl + zz = (xl + x2

yl + y2)

Teorema 1
(a). zl + zz = zz + zl
(b).

(zl + zz) + z3 = zl + (zz + zz)

(c). z + 9 = z
(d). z + %(- z) = 6

12.

EQ.

Ia) zi * 22 = (X1 * X2' Yi * Y2) = (X2 + X1' Y2 * Y1=z2* zi

Ib)(Z + 22) + 23 = (xl + X2, yl + yz) + (X3 , Y3)

= (X1 * X2 + xa'

Y1 +

Y2 +

Ya)

= (xl + F---*W
x2 + x3,

_ z1+(z2 + z3)
yl + r*-*-1
yz + y3) -

(c) z + 6 = (x, y) + (0, 0) = (x + O, y + 0) = (x, y) = z

(d) z + (-z) = (x, y) + (-x. -y) = (X - X, y - Y) = (0, 0) =

Corolario
i

El grupoide (, +) es conmutativo (Al), asociativo

(A2), tiene elemento neutro (A3) y cada elemento z tiene

un inverso (-z) 6 (A4).
DEF.

15

Dado un complejo z = (x, y) # 9, llamaremos recproco

de l, al complejo:
z`1 = (____
x + y

__ZX_)
x + y

13.

Continuando con la idea de dar al conjunto de los

nmeros complejos la estructura de cuerpo, introduzcamos
ahora la operacin producto (-)
DEF. 16

Dados dos complejos zl - (xl, yx)

zz = (x2,y2),

llamaremos producto de ellos, al complejo:

zi ` 22 = (X1 X2 ` Y1 Y2

'

X1 Y2 *'x2 Yi)

Teorema 2
fa).
(b).

zl ' zz = zz ' zl
(zl . zz)

. z3 = zl -

(zz z3)

(c).

z u = z

siendo u = (1, 0)

(d).

z -,z_1 = u

z # Q

QE.
(a).

zl ' zz = (xl, yz) ' (X2, yz)

= (X1 X2 ` Y1 Y2

'

X1 Y2 + X2 Yi)

= (X2 X1 ' Y2 Y1

'

X2 Y1 + X1 Y2) = zz ' 21

14.

(b)'

(zi ' zz) ` 23 = (X1 X2' Yi Y2 , Xi Y2 + X2 Yi)'(X3'Y3)

F"i__\

= I Xi X2 " Yi Y2 X3 `
,

r--_----
X
X
"

Yi Y2 Y3 I

_
r------1
(Xi X2 X3 ` Y2 Y3

X1 Y2+ X2 Yi Y3'

r------
X
'I'

1 Y2

X2 Y1 X3)

r------
` Yi Y2 X3 + X2 Y3'

' X1 X2 Y3 + Y2 X3 * Yi X2 X3 Y2 Y3
= IX1' Yi) ' (X2 X3 ` Y2 Y3 '

X2Y3+ X3Y2I

= 21 ' (22 ' 23)

(c).

z -u = (x, y)

(1, 0) = (x - 0 , 0 + y) = (x, y) = Z

(d. iz.:-z`1 = (x, y - (----2- , -2-T-Y-

x

+ y

+ y

+ y

)=(10)=u

'

+ y

Corolario
El grupoide ( - {9} ,

- ) es conmutativo (M1), aso-

ciativo (M2), tiene elemento neutro (M3)f Y cada elemento

z # 6 tiene un inverso z-1 6 (M4).

15.

Teorema 3
zl ~

(zz + 23) = 21 - zz + zl - z3

Dm.

zl-

(zz + z3) =

(xl, yl)

(X2 + x3, y2 + y)

" (X1X2+ XiX3` YiY2" YiY3,XiY2) XiY3I *2Yi 3Yi)

= (Xi X2 " Yi Y2

'

Xi Y2 * X2 Yi)

(Xi X3 ` Yi Y3 '
=

(XII

= z

'

yl)'(X2|'

+ z

(XII

Xi Y3 I X3 Yi)
Yl)(X3r

Este teorema nos muestra que el producto de complejos es distributivo sobre la suma.

IBEIL. 4
El conjunto de los nmeros complejos junto con las
operaciones suma (+) y producto (u) es un cuerpo.

RiflLa tesis propuesta es consecuencia inmediata de los

tres teoremas anteriores.

16.

DEF.

-__-

17

Un subconjunto no vaco S de un cuerpo (K, +,

dice subcuerpo de K si y slo si (S, +,

-) se

-) es cuerpo.

Teorema 5

mi

El conjunto de los nmeros complejos de.la forma

(x, 0) es un subcuerpo de .
Dm .

Mostraremos primero que la suma y el producto de dos

elementos del conjunto
0 a {z G I z = (x, 0) ^ x IR)
es tambin elemento de O.

En efecto, tenemos
4,,

(X1,

0)

(xl + x2,

0 + O)

0)

(X2,

(xl + x2,'0)

(xl, 0)

'

(X2, 0) = (x1x2+ 0, x10 + x20) = (xlxz, 0)

Ahora como todo nmero z de 0 es nmero de , necesariamente los elementos de 0 verifican todas las propiedades (A),

(M) y (D) contenidas en la definicin de cuerpo,

. \

de aqu entonces que 0 es un subcuerpo del cuerpo de los

nmeros complejos.

17.

observacin
Entre el cuerpo (0, + ,

-) de los complejos de la

forma (x, 0) y el cuerpo (IR, +,

-) de los nmeros reales,

se puede establecer una correspondencia biunvoca que haga

Qcrreponder a cada elemento de 0 un elemento de IB y re-

cprocamente a cada elemento de :R un elemento de 0, en

efecto, para ello basta asociar al complejo (x, 0) el nmero real x y al nmero real x, el complejo (x, 0).
Enxestas condiciones los cuerpos (0, +,
+,

-) y (IR,

-)_tienen idntico comportamiento frente a la suma y al

producto (cuerpos isomorfos).

.

.__

Slo hay diferencia de nota-

cin, pues operando en el cuerpo 0, se tiene:

(x1,o + (X2, o

(xl + X2, o

j <;1~1.'o - (x2, o = (xl x2. o

y Similarmente operando en el cuerpo JR, resulta

xl + x2

(xl + x2)

'ixl - x2

xl x2

Deseosos de tener un simbolismo operatorio simple

y expedito, eliminaremos esta terica dualidad, tomando la
definicin siguiente:
Y

18.

DEF.

18

Los nmeros complejos de la forma (x, 0), o sea de

componente imaginaria nula, sern iguales al real x, o sea
(x, 0) = x

x IR

De acuerdo a esta definicin tenemos que:

1

9 = (0,0) = 0

u = (1, 0) = 1

por esta razn en lo sucesivo en lugar de escribir:

DEF .

z + 6 = z

pondremos

z + 0 = z

Az - u = z

pondremos

z ~ 1 = z

19

Los nmeros complejos de la forma (0, y) se dirn

imaginarios y llamaremos unidad imaginaria al complejo:
1:

TGO rema

(oa

1:)

P(<, y) = (px. Py) = (X) y)1=

PEp(x. y) = (p. 0)-(X, y) e (px - Oy . py - OX) = (px, py

19@

Adems como:

p(x. y) = (p, 0)'(x, y) = (X. y)(p, 0) = (X. y)p

queda aprobada la tesis propuesta.
Teorema 7
(x, y) = x + iy

Em.(x, y) = (x + 0 , 0 + y)
(xr

DEF.

=(x,0)+(0 ,y)

y)=x+(0,1)y=X+iy

20

Sea z = (x, y) un complejo no nulo y n un entero positivo, entonces:

20 = 1

TOI'ema.-

zl = Z

zn+1 = zn z

a
i2=-i

i3=-1

i4=

gm.
12

1-=<o.i-<o.1=(-1.o=

13

12 - 1 = (-1. 0 ~ (0, 1 = (0, -1

.4
i

13-=(o,-i-<o,i=<i,o=i

(0, 1) = -i

20.

Corolar io

.._.----u

Si n es nmero entero positivo, se tiene:

i4n

= 1

.4 +1
.
i n
= i

I4 +2
i n
e -1

.4 +3
.
i n
= -i

Obser vacin
Sabemos que

IR es un campo ordenado, es decir, en

R es posiblfdeiuir una relacin de orden, que se expresa

por el simbolo (<)

"menor que" y que satisface las siguien-

tes propiedades:
(Q1). P ara cada par de elementos a y b de

JR, es vlida una

y slo una de las expresiones:

a < b

b < a

b<

C--_;a.<C

(m2)

($3).

a < b

===g>

a + c

<

(G4).

a < b

/\

0 < c

==>-

<b

b + c
ac < bc

Mostraremos a continuacin que en el cuerpo de los

nmeros complejos no es posible definir una relacin de orden.

E n efecto supongamos que en hay una relacin de orden

Haremos ver que aprovechando los axiomas (m3)

(Q4) es

posible .mostrar que no se verifica el axioma (ml) de la tricotoma

21.

Consideremos
los nmeros i y 0.
..Yi H 0.

Obviamente se tiene

Supongamos i < 0, entonces por axioma (03) tenemos:

'

1 + (- i) < 0 + (- 1)

o sea

0 < - i

ku

De aqui por axioma (m4) resulta:

- o < -i(-i

e sea

o < 12 - -1

y aprovechando nuevamente el axioma (04) tenemos:

-

0(-1) < (-1)(-i)

-Asi hemos establecido,

o seu

0 < i

Y que 1 < 0 .implica 1 > 0 'y esta conolu

sin contradice el axioma (ml).

En forma similar se puede probar que 0 < i implica

0 1, de aqui entonces gue el campo es un campo no orde!'lD.Ib1Q 0

Mdulo de un nmero complejo.

Q.221

,N

Blmaae mdulo de un nmero complejo z 1 (x, y), al

nmero real no negativo:

`

Iz|)- + /x2 + yz

Do esta definicin resulta inmediato quo:

22I

-__-.__-

R(z)

[2]

oseax;_f_.`/x2+y2

I (z)

5 |z|

o sea

f Vxz + yz

Teorema 9
z=0

siyslosi

|z|=0

Pl.
/

Si z =r 0 = (0, 0), obviamente se tiene |z| = 0.

Re-

cprocamente supongamos que |z| = 0, entonces tenemos:

xz+y2=0

dedonde

x=y=0

oseaz=(0,0)=0.
DEF. 22

Dado un nmero complejo z = (x, y), llmase complejo

conjugado de z, al nmero complejo z - (x, - y).

Teorema 1 0

'

I-2| = IZI

ll = Izl

PI".I- zl =\/(|-lx)2 + (-y)2

121 =\/X2* <-y2

= \/x2 + yz

='= |z|

= \/X2 + yz = 121

Teorema 11
+ z = 2x

z ' z =

1212

EE( xr

(a). z + z
(b)r

'

-'

z ' E

Y)

(xr

"Y)

(zx:

0)

2x = 2R(z)

(x, y-(x. -y = (x2 + yz , - xy

(X2 + yz . o - x2 + yz = ~z| 2

+ x )

Teorema 12
-II

21 +

zz

_
-

-I

_.-._-_--9

Z1 * zz

21

zz

21

EQ.

(a)

21 +

='

(xl + xl

-yl - yz)

(x1.- yl) + (X2,-yz) = El + E2

22

.(*1 X2' Y1 Y2

'

*1 Y2 * X2 Y1)

21

zz

='

(X1 *2' Y1 Y2

'

`*1 Yz ` X2 y1

'1

"

(X1:

" Yi)

xzr

Y2)

ggorema 13
'zi ' 22'

= '31'

'22'

21 ' zz

24.

QE.

'21 ' z22 = (21 ' zz) ` (21 ' zz)

= (21 ` zz) ` (51 ' E2)
= (zi - zl) - (zz ~ 22) = Izllz

|z2|2

de donde tomando la raz cuadrada positiva se obtiene la

tesis:

Izl - zz] = Izll

|z2|

Corolario
21 ' zz = 0

En efecto
decir |z1|

zl - zz = 0
|z2| = 0

y como

con zl f 0 , implica

implica

zz = 0

Izl - z2| = 0,

es

|z1| f 0, resulta que |z2| =

de donde z2 = 0

Teorema 14

121 + 221 < 1211 + 1221

E.

Izl + z2|2 = (21 + zz)-(21 + zz) = (zx + z2)'(1 + 22)

Izl + z2|2 = zl ' zl + zz - zz + 21 - zz + zz - zl

121 + z2|2 = |z1|2 + |z2|2 + (21-;2+ <-*'21-2-2

25.

Ahora la suma de un complejo y su conjugado es el

doble de la componente real del complejo, luego:

(z 1 - E 2 + ('"1
`
1 1)
2 = za (2 1 ' 'zz) 2 '21 ` z2|
O Sea.

(21-'2+ <--21--z-2 < 2 |z1||2| = 2 |z1| z2

Volviendo a la igualdad anterior resulta

121 + 2212 < |z1|2 + 12212 + 2 |=|z2|

Izl + z2|

( |z1| + |z2|)2

y de aqu tomando la raz positiva, queda:

Izl + z2|$|z1|+|z2I

Teorema 15

2'? =( .il
III

|z"1| = --1
Izl

z f 0

QEDe inmediato tenemos que:

(a.

z`1

=:

( -_ 2

x+y2

'

H+yf

1%

(x

Y):

MF

262

Teorema 16
Para todo 21 # 0

(21

22)

-1

zz # 0, se tiene que

'

21

-1 _

22

-1

gg.

(2

- z ) 1 =

21 22

121- 221

_-_ 21 _ 22f __
12112 12212 1211 1221

21' 22

_--

Z1

-1 _

Z2

~1

Teorema

(F1 = 151*
EE-

<21=1

-_

-_)

1212

--.--- =

1212

-_;--_

1212

- -1

(Z)

Diferen cia y Cuociente de Nmeros Complejos.

nar. 23
Dados los complejos 21 = (xl, x2)
llamaremos diferencia entre zl

zz = (x2, yz)

zz al complejo

zl - zz = zl + (~ 22)

27.

Teorema 18

21 ` 21 =2(x1 ' 22' Y1 ` Y2)

zl = (zl - zz) + zz

P11(a)

zl - zz = zl + (~z2)

(xl , yl) + (-x2, - yz)

21 ' 22 = (21 ` 22' Y1 " Y2)

( b)

(z 1 ~ zz) + zz =

zl + (~z2)

+ 22 = zl + [}~z2)+z]= zl

Teorema 19
lzll

Izl

zz'

IZII

'22'

Dl(a) |2 1

zz'

'21

(_z2)|

'21'

+'"z2|

'21'

'zz'

112) 12 1' = (21 ' 22) * 22

Aprovechando los resultados obtenidos en (a) y (b)
queda:
'21'

DEF .

'22'

IZ1

"

22'

'zi

'zz'

24

Dados los complejos zl = (xl , yl)

(X2 , yz) f 0, llamaremos cuociente entre zl

zz
y

=
zz, al pro-

28.

ducto de zl por el recproco de zz.

Designando este comple-

21 , tendremos:
jo por E2

il-.-Z-Z-1
zz `
1
2
Teorema 20
Z

E2'-=l_"--1;-E
2

VZ2750

Z0

22-

21 ` 2

-_--._-_

zz ' z

= (z

- z)

(z

- z)

-1

= (z

' z)

(z

-1 - _ z -1 )=
2

Teorema 21

21

|21

2;

122!

zz 0

QE
Z

-_

E;

(21.

22

(_

|21|

._

.-2-.-2-_..

._

(_

_.-._

Teorema 22
_*
. 1

E-5)

---

Z2

PE
.---_.--

----*~

_-

-:*

1
-1
1
1 _ 1
(")=
(21
'
22
)
=
21
'
22
=
21
`
(22)
` 5;
2

-1 21

z - z =l
2
2

29.

Teorema 23
1

Z-Z

-1

Zfo

219.
1

1 0

='L"' =11,01~2

=-1-21=21

Corolario
Z

1_

E; " 21

.i

zz

22 2 0

DEF. 25
Sea z = x + iy

un complejo no nulo y n un entero po

sitivo, entonces:
n
zqn = (x -1- y)n
DEF.

EW + iy)'

== (z"l)n

26

Sea z = a + ib un complejo y n un entero positivo

llamaremos raz n-sima de z = a + ib, a todo complejo
(x + iy) tal que:

(x + iy) = 2 + ib

La raz n-sima de un complejo 2 = a + ib ser indi~

cada con cualquiera de las notaciones:
1

l\/?=.9,/a+1b

1a+1b1

30.

Forma trigonomtrica de un complejo.

Dado un complejo no nulo

z = x + iy, teniendo pre-

sente que:
x$`/x2+y2=r

x2+y2=r

resulta:
'

-1 < Hx
~ 5 1

-1 5

HP<

< 1

55 +
r

= 1

expresiones que garantizan la existencia de por lo menos

un ngulo

, tal que:

x
_ cos
r
DEF.

y
_ sen
r

27

Llamaremos argumento de un nmero complejo no nulo,

z = x + iy, a un nmero real , tal que:
x = r cos

y = r sen

-n < 5 n

DEF. 28
Llamaremos argumento del complejo nulo (0,0) al nmero = 0
Para indicar que " es el argumento de un complejo
z, usaremos la notacin: arg z =

31.

Aprovechando la nocin de argumento, el complejo

z = x + iy de mdulo r =`Ix2 + yz , se expresa por
z = r (cos + i sen )
frmula conocida con el nombre de forma trigonometrica del
complejo z.

La forma trigonomtrica de un complejo z, que tambien

se suele llamar forma polar, corrientemente se abrevia poniendo:
z = r (cos

+ i sen ) = r cis'

Teorema 24
Para todo complejo no nulo z = r(cos + 1 sen
se tiene:
z = rl-_-cos(-) + i sen (-):|

1-. = %_cos(-) + i sen (-)]

z
PE'
En efecto de z = (x , y) = r(cos + i sen ), resulta x = r cos ,

y = r sen ,

entonces:

z = (x, - y) = (r cos , - r sen )

= r [cos (- ) + i sen ( -

32.

1 _ ~1 _--I-;-T-2--,P
E _ 1

E-Z

\r_COS(

)+1SI`1(")}

Corolario
z = r(cos + i sen ),
arg E

- arg z

arg %

implica
=

- arg z
r

Teorema 25
u-no--un-asu@-u-1.--un

.
,

Si 21 = a cis d

22 = b cis B, se tiene:

21 - zz = ab (s'@ + s'+ 1 sen'@ + ) = ab cis 12 + B)

!
Puesto que zl = (a cos a, a sen d)

z2F= (b cos B

b sen B) aplicando la definicin de producto se tiene:

zl ~ zz = (ab cos u cos B - ab sen a sen B,

, ab cos a sen B + ab sen a cos B)
zl ' zz = (ab cos'a + B'

ab sen a + ),

zl ' zz = ab (cos a + B'+ i sen'a + ) = ab cis (u + B)

Corolario 1
arg (zl + zl)

arg zl + arg 22

Corolario 2
Si z = r(cos + i sen ) Y k es nmero entero:

33.

zk = rk (cos k + i sen k )
Corolario 3

(Frmula de Moivre)

(cos a + i sen a)k

cos k a + i sen k a

Esta igualdad de uso frecuente se obtiene del corolario anterior haciendo r = 1.

Teorema 26
Si zl = a cis a
Z

r,_______

~ =
zz
b

zz = b cis B f 0, se tiene
'.___._

(cos a - B*+ i sen a - B) = 3 cis (a - B)

b

EQ.

De inmediato se tiene:
z
Ei = zl - %

= a cis a - % cis (- B)

o sea:
z

r____

Ei = % cis (a - B) = % (cos a - B + i sen a - B)

2

Corolario

21
arg E2

arg zl - arg zz

34.

Teorema 27
Si z = a(oos a + i sen u)

_n/;'=_n/(coS a +n2kw
con k = 0, 1, 2, 3,

n es entero positivo:

sen a +n2k)

.....2

(n - 1)

QE.

Sea -Q/= w = r (cos + i sen ), entonces

por

definicin de raz n-sima de un complejo tenemos:

rn (cos n + i sen n) = a (cos a + i sen a)
de donde:
rn = a
donde k es un entero.

no = a + Zkn
Despejando r y e introduciendo los

valores correspondientes en w = r cis , tenemos:

=-n` /.a

(QQS

g_

2+

sen

El hecho que k sea un entero cualquiera podra inducir a creer que hay tantas races n-ximas como se desee.
Haremos ver que solamente hay n races n-simas distintas,
que pueden obtenerse, entre otros modos, dando a k los valores: 0, 1, 2, 3, ......,

(n - 1).

35.

Veamos cuando dos races n-simas de z, correspondientes a valores distintos kl y kz de k, son iguales.

Pa-

ra que tal cosa ocurra es necesario y suficiente que:

aM*22k
--r--

a + 2k2n
----

donde p es un nmero entero.

kl - kz = pn ,

Zpw

De esta igualdad se obtiene:

o sea que la diferencia entre dos valores

de k debe ser mltiplo de n.

0, 1, 2, 3,

......

Ahora dando a k los valores:

(n - 1), la diferencia entre dos cuales-

quiera de estos nmeros no es nunca mltiplo de n, por consiguiente cada uno de ellos proporciona una raz n-sima
de z diferente de las otras.

Para valores de k mayores que

(n - 1) se obtiene raices ya determinadas, pues entonces

las diferencias kl - kz son mltiplos de n.
En la expresin
n`/z --/E-(cos
_ n
a + n Zkn + i sen a + n 2kn )

. .

el factor-/3: representa la raz aritmetica del nmero no

negativo a = |z|

Corolario 1
Entre las races de ndice par de un nmero real positivo, siempre hay dos y solamente dos reales y opuestas

36.

En efecto si el nmero es z 2 a real positivo, su

argumento es G = 0

si el ndice es par: n = 2p, tene-

mos:
l%;=~(cos + i sen )
Ahora esta expresin ser real solamente cuando
sen = 0

o sea para:

k = 0

k = p

Si k = 0 el nmero es positivo y si k = p el nmero es negativo, pues su argumento en este ltimo caso, es = H

Corolario 2
Entre las races de ndice impar de un nmero real
siempre hay una y slo una que es real.
Si el nmero es real positivo, slo habr raz real
para k = 0.

Adems ella ser positiva.

Contrariamente si

z es real negativo su argumento es G = W y si el ndice es

impar n = 2p + l tendremos:
_

-Q/.Z--1\!-_ (COS

(2k + 1)"

J.

Sen

(2k + 1)

y obviamente al dar a k los valores: 0, 1, 2,

.....

la expresin precedente ser real slo para k = p.

(n-1=2p)
En es-

te caso el argumento de la raz es = W, lo cual asegura

que dicha raz es un real negativo.

370

Corolario 3
Las raices n-simas de un nmero complejo cualquiera z, pueden obtenerse multiplicando una de ellas, por cada una de las raices n-simas de la unidad.
En efecto si wl, wz,

......, wn son las races n-si-

mas de la unidad y zo es una raiz n-sima de z, los produc-

tos: zowl, zowz, z0w3, ......, zown son tales que:

(z0w1)n = (z0w2)n = ....... = (zown)n = z
es decir son raices n-simas de z, adems todas ellas son
diferentes.

DEF. 29

Una raiz n-sima w

de la unidad, se dir raiz primi-

tiva si
2

www

oooo0w

n-1

son todas las raices n-simas de la unidad.

Refirindonos al caso de las raices cbicas de la
unidad:

_
w1_1

__;
_-1\/3)
wz-2(1
._g.

__l
w3_2(1+11/)

ocurre que wl = 1 no es raz primitiva, pero wz y w3 lo son,

38.

pues no es dificil verificar que:

w

= w3

Teorema 28

w23 = 1

.
W32 = wz

w33 = l

En la expresin que da las races n-simas de uno:

wk= ws 2--'L + 1 sen?-l

1< = o, 1, 2, 3,

(n-1)

wk es raz primitiva de la unidad si y slo si k es primo

con n.

PLETodo consiste en determinar el menor exponente natural q tal que:

wkq = cos Z

i sen

= 1

entonces si q < n, la raz obviamente no puede ser primitiva, contrariamente si q > n, la raiz ser primitiva, pues
tendremos que
2

..1
'

IIIIIOI

1
'

sern todas races de la unidad, siendo adems diferentes.

Supongamos primero que k y n'no son primos; entonces
tendrn un divisor comn d, tal que k = pd
estas condiciones, tenemos:

n = qd, en

39.

La suma de dos complejos variables

al

zz

dividida

por la diferencia de ellos da un imaginario puro.

muestre que los complejos

21

zz

De-

se desplazan sobre

una circunferencia con centro en el origen.

Solucin
Sean los complejos

21 = (xl, x2)

zz = (x2, yz),

entonces:

a1V+ Z = (xl + x2) f 1(y1 yz)

zl - 22

(xl - x2) + i(yl " yz)

:'11 1* a 1 (*12'*2,2'*(Y1?"'22 *W .(1`2 (?1Y2'

2 - 2

(xl - X212 +1111 - y22

y para que este complejo sea imaginario puro, debe ser:(

x12 - x22 + yl 2 - yz 2 = 0

o sea

resultado que nos muestra que

zz

|z1I

x12 + ylz = x22 + yaa

= |z2|, o sea zi

se desplazan sobre una misma circunferencia con centro

en el origen.

Un complejo

z = x + iy

3x + 4y + S = 0.
es uno.

se mueve sobre la recta

Demostrar que el valor minimo de |z|

40.

De todas slo wl y ws son races primitivas ya que

1

5 son primos con 6.

Adems no es difcil verificar

que:

`
wz

_
-

w3

_
-

W4

_
-

resultado que nos muestra que wo, wz, w3

wo
y

_
-

w4 no son rai-

ces primitivas.
DEF.

30

Dado un complejo z = a (cos a + i sen a) y

un ra-

cional irreductible, la potencia de exponente racional de

un complejo se definir por:
zp/q

= gd-

con

q > 0

De esta definicin resulta inmediato que

=-q` lap

1]

(CQS

2;

3]

E_

roolio

sen

qc

La expresin precedente nos muestra que z P/q tiene

q valores diferentes.

El valor que se obtiene para k = 0

lo llamaremos valor principal.

41.

Representacin grfica del nmero complejo

El estudio del cuerpo de los complejos ha sido desarrollado aritmticamente sin recurrir a ninguna representacin geomtrica; sin embargo teniendo presente las aplicaciones de este concepto, indicaremos dos representaciones grficas del nmero complejo, que son las que corrientemente
ms se usan.
Consideremos un plano y en l un sistema de ejes cartesiano ortogonal.

Sabemos desde la geometra que todo pun-

to del plano, determina con referencia al sistema de ejes

elegido, dos nmeros reales x
su ordenada respectivamente.
ros reales x

que son su abscisa y

Recprocamente dados dos nme-

se podr siempre individualizar un pun-

to de este plano y solamente uno, que tenga a x como abscisa

e

y como ordenada

Ahora como todo nmero compl

jo z = (x, y) es una pareja

ordenada de nmeros reales,

\\

resulta que todo complejo

determina un punto del plano

\1>)
0 p

ac

Qu

que tenga a x como abscisa

e y como ordenada y recpro-

42.

camente todo punto (x, y) del plano determina un complejo

z = (x, y).
De acuerdo a estas ideas se acostumbra a tomar como
representacin geomtrica del complejo
to (x, y) del plano.

z = (x, y) al pun-

De aqu que trabajando con represen-

tacin geomtrica de complejos sern sinnimas las expresiones: nmero complejo y punto del plano.

Adems lo co-

rriente entonces, ser expresar el complejo por una letra

mayscula, notacin habitual para designar puntos de un
plano.
Otra representacin grfica corriente para el complejo z = (x, y) es el vector del plano xy cuyas proyecciones sobre los ejes sean precisamente los nmeros x

y.

Obviamente que para un complejo dado hay infinitos vectores

que cumplen tales condiciones, entonces en rigor el complejo z = (x, y) queda representado, o quizs mejor an, representa a la clase de equivalencia de todos los vectores cuyas
proyecciones sobre los ejes coordenados son x

en el

orden trivial, y con sentido del origen al punto (x, y)

43.

A = (x,y) = x + iy = z

A
OA =\}x2 + yz

= |z|

OM = x = |z|

cos a

MA = y = |z|

sen a

x
GD

gt

2 2

-.-~

o1=argz=argA.

La representacin vectorial de un complejo da una

natural expresin a la igualdad de complejos, en
sabemos que zl, = (xl, yl)
si y slo si: xl = x2

efecto

z2 = (x2, yz) son iguales

yl = yl, es decir si, geomtri-

camente hablando, los vectores correspondientes son de igual magnitud, direccin y sentido.
Representacin grfica de la suma de dos complejos
I

A = (al, az) = a1+1a2

A'+B

JB,

'
(bl,
bz)

b1+ib2

2,
A+B - (a1+bl , a2+b2)

b A ~

f)

A+B = 1a1+b1 + (a2+b2

'- |A+B|$ Al +lB|

44.

ZRepresentacin grfica da diferencia de dos gomplejos

A B = A +

(- B)

(1) Para tener el vector BA = A-B

A-B

basta tomar el vector que

une el punto B con el punto A

B
_,

(2) La distancia entre dos puntos dados A

-B

(3)

por:

IA-BI =

B se expresa

IB-Al

IAI - IBI 4 IA - BI s IAI + IBI

Representacinygrfica del producto de dos complejos

2==A

A = a(oos o1+ i sen o1)

B

$7

.B

A
0/

Q)

P = A'B

= ab cis (01 + B)

<) (MoA =

4 (MOB) = 6

oM

<) (MOP) = o1+6

b(cos 6+ i sen)

OM

op
6-

_
_-A _ BI
op-ab

Se construye sobre OB un tringulo OBP semejante al tri ngulo OMA, donde OM = 1 es la unidad tomada en el sistema

cartesiano.

45.

Producto por un complejo de mdulo uno.

Si un complejo A = a cis u se mul

A Cp'.)`P

tiplica por un complejo cis de

mdulo uno, el producto,
A cis = a(cos'E$+ i sen'H
muestra que el vector A rota en

un ngulo en torno a su punto

4 \

inicial.

AL 1

Aut)

* \*"a
1

_n_-

o--r

*ji

Particularmente para rotar un vector A en (+ n/2) bastar multiplicarlo por i y para rotarlo en (- W/2) es suficiente multiplicarlo por (-i), pues sabemos que:

i = cos(/2) + i sen (U/2)

-i = cos(- n/2) + i sen (- n/2)

46.

Representacin grfica del cuociente de dos complejos

A
A = a(coso1+ i ,seno1)=a cis 01
B = b(cos 8+ i senB)=b cis B

_A.. cis
C---

C=^B

<) (Moc)

(01 - B)

<) (BOA) = 01 - B
<)(MoA = 01

<)(MoB)

4 .

Se construye sobre OM un tringulo OMC semejante al

tringulo OBA.

__

Representacin grfica del argumento de (A-B) y (B-A)

1
,.

1
A

\
F*

, 1

/9

\\

t\

ii@
2

1 B

` \\q,/

--

,B

y
.
-A

B-A

47,

Angulo de dos trazos AB gy

B1

\/
P1

=<

CD

(AB, CD)

(1-B

arg (B-A) - arg (D-C

arg

UU7 O3?

\ (P/

\\
~-Lil-unn-

)
C

"Q

E - 6

arg (C - B)

arg (C - A)

11

arg 6"-r

C - B

s
\

/5

u _

48.

Expresin de un punto sobre una recta.

Trataremos de expresar mediante operaciones con nmeros complejos el hecho que un punto P este sobre una rec

ta determinada por dos puntos A

yl B.

12
B

`\

ot

\'

\\\

>< \` iz'

Si el punto P est entre A y B, tenemos:

M.1

Arg. -2--1% = arg@ -A1 ,,- arg (P - B) =a - (- B) =

TT

Si el punto P no est entre A y B,tenemos:

Arg g-E-%

arg (P - A) - arg (P - B) = (+ a) - (+ a )

Esta observacin nos garantiza que el complejo (P - A)

/ (P - B) es real cuando P est sobre la recta AB y recipr
camente, de aqui que condicin necesaria y suficiente para
que P est sobre la recta AB es que sea real el complejo:

g-E-% = r

con

r IR

on-

49.

De aqu despejando P, se obtiene:

P = -

con r e IR

Considerando que la suma de los coeficientes de A y B

es la unidad, en lo sucesivo para expresar que P es un punto de la recta AB, usaremos una cualesquiera de las expresiones:

P = aA + BB

con

*+ b = 1, a e IR, b e IR

o bien
P = aA + (1 - a) B

con

a S IR.

Observacin 1
Si C est sobre la recta determinada por los puntos
A y B, ocurrir que siempre los puntos A, B y C sern colineales y para que ello suceda es necesario y suficiente que:
C = aA + (1 - a) B

con

a G

JR

o mejor, es necesario y suficiente que:

aA + (1 - a) B - C = 0

IR

Ahora considerando que la suma de los coeficientes

de A, B y C es cero, podremos decir que: tres puntos A, B
y C son colineales si y slo si existen tres nmeros reales

50.

a, b y c, no todos nulos, de tal modo que:

aA + bB + cC = 0

con

a + b + c = 0

Este teorema es de frecuente utilidad en las aplicaciones geomtricas de los complejos.

`

el

Observ acion

Sabemos que si un punto P est sobre la recta determinada por los puntos A y B, el cuociente entre los complejos
^

(P - A)
(Tn)

(P - B) debe ser

un nmero real.
2

Particular-

mente si el punto P divide

(n)
'B

al trazo AB de modo que:

=9l
0

fl

tendremos que el cuociente entre los complejos AP = (P - A)

y PB = (B - P) ser precisamente dicho nmero real: m/n;
as entonces el punto P que divide al trazo AB en la razn
m : n est dado por:
P * A

'B

m
n

Sea.

pOr

a ++

U3

B
5

Si el punto P fuese el punto medio M del trazo AB,

tendremos que AM : MB = l : 1 y entonces dicho punto medio

51.

resulta dado por:

V

III

M=_..._.__

l\+

Expresin de un punto de un plano

Suponemos un plano determinado por tres puntos A, B
y C no colineales y pretendemos expresar un punto cualquiera P del plano en trminos de los puntos A, B y C conocidos.
C

Unamos A con P y sea Q la

12

interseccin de las rectas

GL

AP y BC.

Puesto que Q es un

punto de la recta BC, tenemos

Q=bB+(1-b)C

y como P es punto de la recta AQ resulta:

P = aA + (1 - a) Q = aA + (1 - a) bB + (1 - a)(1 - b) C
Considerando que la suma de los coeficientes de A, B y C es:
a +

(1 - a)

b +

(1 - a)

- b

(1 - a)

= 1

podemos decir que P es punto del plano determinado por los

puntos no colineales A, B y C si existen tres reales a, b
y c tales que:
P = aA + bB + cC

con

a + b + c = 1

EJERCICIOS
RESUEL TOS

sqnRcIcIosg_gusLTos
C a 1 c u lar

(1 + i)

/ (1 + i )

Solucin

ll_~l,

lnwlw

(1 +

Separar la parte real y la parte imaginaria del complejo

Z

Solucion
=

(1

1)

""3(1+l)

(1

1-

1- + 1)

8(1 + i)

(1 + 1

1- veo

- -

+ 5

{
+

1 + 1)

son reales, usando nmeros complejos

demostrar que

+ d2 )

ac -

d)

(ad + bc)

Solucin

(az + b2(2 + az)

a + ib)(a - ib)( +

d)(c - 1

(a + ib)(c + id)(a - i

_..
.-

ac

bd, ad +

ac

c)

c - id)

ac - b , -ad - c

(ad + bc)2

+1

2-I-

Expresar en la forma a + ib el complejo z s 10"loq~ 21%

1*
Solucin

log

no
---p-_
.-,

I-*IQ

N I P-

PP-

-7-v-:_-

= 12-11+1 __ :+1
11 H-

P-

Demostrar que los nicos elementos de cuyo cuadrado

(-1) son i

(-1),

Solucin
2
tal que nZ 21 = -l, entonces:

Sea Z = x + iy ,

zz = (X2 - y2, 2

='

("

1,:

luego:
X2 - yz = -1

Zxy = 0

Resolviendo el sistema se encuentra:

as: z = (0, 1) = i

x = O ,

y = 1,

z = (0, ml) = (-1)(0, 1)

-.-

Determine una ecuacin de Segundo grado a coeficientes reales, que admita la solucin
Z

(~,.7-,.,,.:.'._1:. ,_. 4.,

1 +

1.

,_ -1--,-

1 +

H +)~ H

.3.`

Solucin
El complejo z se reduce a z = (2 + i) / 4

y si z es raiz

de la ecuacin, tambin lo es = (2 -ri) / 4

Considerando

que: z + 2 = 1

cin buscada es:

1`

z - 1= 5/16 la ecua-

16 x2 - 16 x + 5 = 0

Determinar la parte real y la parte imaginaria del complet

jo:

z = \/3 + 41

+ \/3 ~ 41

Solucin

22 = 3 + 41 + 3 ~ 41 + 2\/9 + 16 = s1+ 2\/252 =16

Asi;

2 = 4

0 bien

21 = (4, o

zz = (24, o)

Demostrar que si la ecuacin: zz + (a + bi) 2 + (c + di) =

tiene una raiz real, se verifica que: dz - abd + cbz = O
Solucin
Sea z = r una raz real de la ecuacin, entonces:

rz + (a + b r + (c + ia) =:o
Ahora, la nulidad de este complejo implica
r2 + ar + c = 0

br + d = 0

4.

eliminando r entre estas dos igualdades, resulta:

d2~ab<1+b2=o
Demuestre que si la ecuacin admite una raz imaginaria
1
.
z = ri,
se tiene
que:

d 2 + abd + ca 2 = 0

Los nmeros complejos z

les.

Demuestre que z

y
y

w
w

tienen suma y producto reason complejos conjugados.

.9_1_L9_i_.12.
Sea z = a + ib

w = c + id,

entonces

z + w = (a + c) + i (b + d)
z - w = (ac - bd) + i (ad + bc)
y para que estos nmeros sean reales debe ser

b+d=o

a1+bc=o

b = -d

b(c - a) = 0

o sea

Si b = 0, resulta d = 0
ces que b # 0
c = a.

z sera real.

Supongamos enton-

c - a = O, o sea tenemos: d = - b

En este caso los nmeros son

z = a + ib

es decir complejos conjugados.

w = a - ib

5.

Dado el complejo z = (a, b) (0, O), determinar un complejo w = (x, y), tal que z w1= 1

Solucin
De inmediato tenemos
z w = (a, b)-(x, y) = (ax - by, ay + bx) = (1, 0)
luego:
ax - by = 1

bx + ay = 0

Resolviendo el sistema, se encuentra

X=

+ b

)=

+ b

C0f1a2+b2#0

AS:
W=(a

1z12'1212

1212

(a

'

-b)=-Z--_.

1212

Determinar todos los complejos z, tales que 23 = 1.

Solucin
De inmediato tenemos que: z3 = 1, implica
z3 - 1 = 0

(2 - 1)(z 2 + z. + 1) = 0

o sea

Resolviendo las ecuaciones

_ 0
z - 1 -

_
z2 + z + l = 0

6.

se encuentra:
_
21-1

z2._

_ -(1214/)
l
_.

23-_

_ 2-(1+(/3)
1

Poniendo como es costumbre

zz = w,

mente que

1 + w + wz = 0

z3 = wz

y que:

se encuentra fcil-

Estas igualdades es aconsejable memorizarlas, pues ellas

son de frecuente empleo,
Si w es una raiz cbica compleja de la unidad, demostrar
que:

(1 + w)(l + 2w)(l + 3w)(l + Sw) = 21

Solucin
Efectuando el producto en el primer miembro se obtiene:

A = 1 + 11w + 41w2 + 61w3 + 3ow4

A = (l + w + wz) + l0w + l0w2 + 30w2 (1 + w + wz) + 31w3
de donde recordando que

w3 = 1

1 + w + wz = 0,

resulta:

A=1o(1+w+w2+21=21.
De anloga manera demostrar que:

11-w+w211+w-w2=4
(2) (1 - W111 - w2(1 ~ w4)(1 - ws) = 9
2
~`

x - 1

x - w

=:

x - wz

x3 - 1

11+w2 4 =4

7.

(43 (X + 2 + b1<x 2 aw + bw21(x 2 aw2+bw=x3- aabx + 23 + B3

Determinar las raices de la ecuacin: 4x3 - 3x + 1 = 0

sabiendo que:
(x + a + b)(x + aw + bw2)(x + aw2+ bw)= x3 - 3abx + a3+b

Solucin
De acuerdo a la hiptesis dada, las raices de la ecuacin: x3 - 3abx + a3 + b3 = 0
x

= -(a + b)

son:
2

= -(aw + bw )

= -(aw

+ bw)

As para tener las rices de la ecuacin

0 = 4x3 - 3x + 1 = x3 - Babx + a3 + b3
U' Q.*star

calcular a y b, sabiendo que:

23 2 b3 = 1/2

sab = 3/4

a3b3 = 1/64

o sea que:

23 + b3 = 1/4

Resolviendo el sistema se encuentra: a = b = 1/2 con lo

cual las raices buscadas son: xl = x2 = x3 = 1/2.

Resolver la ecuacin:

z6 + 7z3 - 8 = 0

8.

Solucin
Haciendo

z3 = x,

la ecuacin se reduce a x2 + 7x - 8 = 0,

cuyas races son

x = 1

x = -8

AS:

z3 = 1

implica

23 = -8

zl = 1 '

implica

zz == 1/2(-1+i \/3-)

z = 2-%/- l

z3=1/2(-1-i \/.3-)

calculando%)- 1

se

tiene:
24 = -2

25 = 1 + i\-

26 = 1 - 1\];-

Determinar las races de la ecuacin x3 = -1, sabiendo

que las races de x3 = 1 son:p

xl = 1

x2 = - 5 (1 - i\)

x3 = - 5 (1 + iyr)

Solucin

Haciendo

x = -u,

la ecuacin

x3 = -1

se transforma en:

u3 = 1, asi las races pedidas son:

x1=-1

2<2=--(1-1\/3)

<3=-(1+_V3

sabiendo que las raices de la ecuacin X4 = -1, son

-9%-(1-1))

*V-_(1+

Determinar las raices de las ecuaciones: x4 = i

x4 = -i

9.

Determinar las races de la ecuacin x3 = i, sabiendo

que las raices de x3 = 1 son:

_
xl-1

.
X2-__1(11\/)

_ 1
,
X3--(1+\/)

Solucin
.
.
_
3
.
Haciendo x = -iu, la ecuacin x = 1 se transforma en:
u3

= 1, as las races pedidas son:

xl _
-

_i

~ + i)
~
x2 _
- l
2 (JE

_ L2 ( _ V3-+ i)
x3 -

Determinar las races de la ecuacin: x3 = - i

Si

es una raz compleja de la ecuacin zn - 1 = 0,

demuestre que:
1 + a + a2 + ..... + an_1 = 0

Soluci
Como

es raz de zn - l = 0, la igualdad

(1 + z + zz + ..... + zn_1)(z - 1) = zn - l
nos da
(1 + a + a2 + ..... + an_l)(a - 1) = 0
y puesto que

es nmero complejo, tenemos a # 1,

.S

1+a+a2+.....+an"1=0

10.

Calcular:

S = l + i + iz + i3 + ..... + in_1

Solucin

Fcilmente se encuentra que

S = 1 + 1 + 2 + .

~.
.

. +

I-2

1'

S3

I-*
I-'

HH

Designando con 4 la expresin "es mltiplo de 4", debemos considerar los casos siguientes:

(a) Si

tenemos

entonces

(b) Si

tenemos

entonces

(c) Si

tenemos

-l entonces

(d) Si

tenemos

-i entonces

-'-

Calcular la suma

s = 1 + 21 + 312 + 413 + 514 + .:... + (4n1 4n-1

Solucin

La suma S puede descomponerse en las siguientes sumas

parciales:

sl = 1 + 5 + 9 + ..... + (4n - 3) = #1-QL3l ~ n

sz = 1 {2 + 6 + 1o + ..... + (4n-2)) =

2)

110

S4 = i3 (4 + 8 + 12 + .... +

4n}

= 1-5

n13

luego:

s=2"2;'*'2.A+?-11:-3.-112-2=-an-222
Determinar un complejo Z = (x, y) tal que:
zz = p + iq

Solucin
Por hiptesis tenemos (x + iy)2 = p + iq.

De aqu igua-

lando partes reales e imaginarias se tiene:

X2-y2=P

2y=1

Resolviendo este sistema se encuentra

X..-_-

'2+22+=A

Suponiendo
y

q 0,

como

y=

Zxy = q,

2+2:'=

resulta que

(xy)

deben tener igual signo, entonces las raices cua-

dradas de (p + iq) son

A

Jp + iq =

A + i B

-A - 1 B

cuando

q > 0

12.

www

A *

\/p + iq 2 {

cuando

q < 0

-A + i B

Calcular:

\/5-121 2 (3-21)

\/3+41

= (2+1)

calcular 3 /-1728
Splucin
De inmediato se tiene:
+2k
xK = 12 (cos 1 3

xl = 12 (cos

H + i sen %)
3

+2k
k

Op

lp

20

12 (--+%\/)=s+16(/3

x2 = 12 (cos W + i sen H

- 12

x3 = 12 (cos 2; + i sen )

=12(-5%--_?;\]_)=6-1e\/--

Sea k el mximo comn divisor de los enteros positivos

m

ne

de xm = l

Demuestre que las races de xk = 1 son raices

y

xn = 1

13.

Solucin
Sea m = pk

n = qk.

Si a es una raiz de la ecuacin

xk = 1, tenemos ak = 1, luego:

2"* = 221* - (2'P - 1

2 = 22'* - 12212 - 1

Determine las raices comunes de las ecuaciones x15 I 1

y x21 = 1.
_
Calcular el mdulo del complejo z = (2

4
31)

_
(1

5 + 1

3
21)

Solucin

|zI=I(2-s14(1-:PI = J_k(2-a14|((1-3|
5+: 3

|s+ 3|

_ 4 +)_)~_(_,j3 =
z = jz - 3%

(4 + 9) 4 8(1+ 1) 3 _, 134

Dados los complejos

con |z| = 1, demostrar que

z +_w

w
=

l + z w
Solucin
De z- = |z]2 = 1, resulta
entonces:

z = 1/E,

14.

z + w = %.+ w = (1 + z W)/'
luego

(z + w/(1 + E w) = (1 + E w)/:(1 + E w)

1/E

asi:

z + w

__--q--,-_
_

_
._

1 + z w

F 1

= |2|

Sabiendo que: Iz 1 I = |z 2 I = .... = Iz n I = 1,

demostrar

que:
_
|z1+z2+ooon+znI

1
ooo+''r;'

Solucin
Para todo complejo z se tiene |z| = |z|, luego
_

pu

1-

Izl + 22 + ..... + znl =d |z1 + zz + .... . + z n I

lzl + zz + ..... + znl =

Izl + zz + ..... + znl

Considerando que por hiptesis Izjl = 1, para 3 = 1

..... n, resulta que:

zj~z- -_ Izjl 2 -_ 1

_
implica

- __ L
zj
zj

finalmente reemplazando (b) en (a), obtenemos

Izl + 22 + ...._zn|

-I-

.r-

url

fl

(a
2

15.

26.

Demostrar que para todo par de complejos z

w se

tiene:
Iz + WI2 +[z - w|2

2 IzI2 + 2 |w|2

Solucin

z+w|2= (z-+w(_"`"z+w
Iz + w]

<z+w('+;

_ _

= z z + w w + z w + z w = ]z}2 + Iw]2 + (zw+zw)

Anlogamente se encuentra
|z - WI2 = zzl+ ww - zw - zw

|z|2 + |w|2 - (zw + zw)

y sumando se tiene la tesis propuesta

Sabiendo que todo par de complejos zl

zz

verifica

la igualdad:
2|z1]

+ 2 IQJ

121 + zz]

+ Izl - z2|

demostrar que todo par de complejos a

verifica la

igualdad.
la +-Vgz - bz] + la -\/a2 - b2| = Ia + bl + Ia - bl
Solucin

Sea:

zl = a +\/az ~ bz

zI.+.z2 _
- 2a

zl

zz = a -\/a2 - bz, entonces:

zz _
- 2

\/a 2 _

b2

zl

_ b 2,
zz -

16.

Adems:

|z1|2 + z2|2 = |2a|2 + % |z\/az-b2|2 = 2 |a|2+z|a2-b2| <1

Por otra parte, aprovechamos

(1)

y la hiptesis en:

(Ia +\/a2-b2 |+ Ia -\/a2-b2|)2= (|z1| + |z2|)2

= 12112 +|z2|2+2|z1||z2|
= 2 |a|2 + 2|a2- b2|

+ 2|b2|

= 2 |a|2 + 2|b|2+2|a2b2|

= |a+b|2+ |a-b|2+2|a+b||a-b|

= <|a + b| + |a - b|2
De donde tomando la raz cuadrada positiva de esta igualdad se tiene la tesis.

Sabiendo que todo par de complejos

verifica la

igualdad:

|p+2-1+|pA2-|=|
demostrar que todo par de complejos

+
Y

q|+|P -ql
b

verifica

la igualdad:
I%_P.+\/a.b|+|;+2..3-\/a.b|

Ial + Ibl

17.

Solucin

Haciendo:

p + q = a

p - (a + b)/ 2

p - q = b,

q = (a - b)/ 2

resulta
,

pz ~ qz = Va b

Reemplazando estos valores en la igualdad dada se obtiene la igualdad propuesta.

Si

( Ial

es un complejo de mdulo menor que uno.

< 1),

demostrar que:

|z`aI'
1 - z

es menor, igual o mayor que 1, segn sea

|z|

menor,

igual o mayor que uno.

Solucin

_...-_.--_.-_--_

|z - aI2 = (z - a)(z - a) = |z|2 - a - Ez + |a|2

Il - z|2 = (1 - 5 z)(1 - 'z) = 1 * a - Hz + |az|2

|z - a|2 - |1 - a z|2 = <|=|2 - 1<1 - |a|2 wn |a| < 1

_
2 _ 11932_ Lai.)2
1%---|=
1 + <|='1
"'

3.2

a.Z

fm |a| < 1

l8Q

~*.
tonsiderando
que

(1 ~ Hai"ZuJ

un

Q
~
son positivos,

11 - az]

tenemos que el mdulo del primer miembro ser menor, igual

o mayor que 1, eegn que

sem memor igual o mayor que

uno
Si

es un nmero real tai que:

~ f x < 1, demostrar

que;
iz! = l + ix + izxz + 3x3 + U)

= --l-Q/1 + x2

Solucin
Aprovechando la expresin que nos d la suma de una serie
geomtrica, el mdulo pedido se expresa por;
z = (l - X2 + X4 - X6 + ,O03 + i (X ~ X3 + x5 - x7 + ...
a

gg = Witivi i 1 ___i_g
1 + X2

La ecuacin:

1 + X2

_N

1 + X2
\ (1 + X292

X3 - 9x2 + 33x - 65 2 0

compleja cuyo mdulo es

13,

1___
Q/1 + x2

tiene una raz

Determinar las tres races

de la ecuacin,
Solucin
Sea

z = a + ib

entonces

la raz compleja cuyo mdulo es

13,

E 2 a - b tambin debe ser raz de la ecuacin.

19.

Finalmente la tercera raz debe ser necesariamente un

nmero real c.

Aprovechando las propiedades de las ra-

ces de toda ecuacin algebraica tenemos

(a+b+(a-b+<==9
(a + bi)(a - bi) c

= 65

(a+1;1(a~b = az + bz

= 13

Resolviendo el sistema_se encuentra sin dificultad que:

zl = 2 + 3i

zz = 2 - 31

Demostrar que todo nmero complejo

(z # - r)

z3 = 5

de mdulo

se puede poner en la forma

__
_1+it
zr1--it
siendo t un nmero real.
Solucin
Llamando d al argumento de z tenemos:

z = r

2 + i sen Q
.
_ cos
_
2
2
(cos a + 1 sen d) - ~
a

cos(- 5)+i sen(- )

con

20.

de donde simplificando por cos a/2 que no es nulo, queda:

'|-

z=
PP

Si

PP-

d/2

1 + it

=r

-1~_--T-,E

con

t=tg(a/2)

SR

z + 1/z = 2 cos a,

demostrar que:

zn + 1/zn = 2 cos na

Solucin
La condicin dada se puede poner en la forma:

_ 0
z 2 - 2z cos a + 1 de donde despejando z, se tiene:
z = cos a \/cosz a - l = cos a i sen a
fn'

As entonces tomando nicamente el signo positivo resulta:

zn

= cos na + 1 sen na

z -n = cos na - 1. sen na
de donde sumando queda:

n
Sea p(x) = kio ak xk
tal que p(z) = a + ib.
Solucin
De inmediato tenemos:

+ z n = 2 cos na.

un polinomio a coeficientes reales,

Demuestre que p(z) = a - ib.

21.

p(z) = aO+ al E + a2(z2) + ..... + an (zn)

p( = O + lle + az z2+ ..;.. + an 2 = ) = a - lb

pues sabemos que el conjugado de un producto es igual
al producto de los conjugados y el conjugado de una suma
es igual a la suma de los conjugados.
De aqu se desprende que si una ecuacin a coeficientes
reales admite una raiz compleja

raiz a

tambin admite como

E .

Determinar la parte real y la imaginaria de cada uno de

los complejos:

_z =_Vi

w = 1/V i.

Solucin
Sea vq= z = (x, y), entonces:

1 = (o, 1) = (X2 - yz , zxy

luego:
2xy

- y

2 _

- (x + y)(x - y) = 0

La primera de estas ecuaciones nos indica que

deben tener el mismo signo, entonces de la segunda slo

se obtiene x = y.

Asi tenemos:

22.

2xy = 2x2 = 2y2

x = y = 1/'V2

de donde:
Z

'=--1-1+--j=
v.
V?

_1__1_
w _ V--

--12

\/':`=\/'5'(1-1):

-l+ i

_1(1,_1)
v'

Demuestre que el producto de las n races de la ecuacin

xn = a

es

p = (-1)n+1 a.

(a = positivo)

Solucin
Las n races de

xn = a

estn dadas por:

xk =-J'(cos + 1 sen )
Haciendo'2a = a

k = 1, 2, 3,... (n-1),n

y observando que

w = cos 2+ i sen
es una raz n-sima de la unidad, tenemos:
p = xl ~ x2 ' x3 ... xn = (aw)(aw2)-(aw3).....

(awn)

n(n + 1)

P _ an_ w1+2+3+.....+n _ a w"""`2""`

p = a

cos(n + 1)n + i sen (n + 1)

= a(-1)n+1

23.

Resolver la ecuacin:

( 1 +2 i

3)

(_ iifblljx = 2

Solucin
Dando a los complejos forma polar, la ecuacin se reduce

a:
cos x + i sen 1 x + cos il x + i sen x = 2

y luego a
cos -
5 x-cos 1
2 x + i sen 21
6 x-cos
i
2 x = 1 + i-0
de donde igualando partes reales e imaginarias queda:

cos 2%-x - cos % x = 1

sen ? x - cos % x = 0

Resolviendo este sistema se encuentra como nica solucin

x = 0.

Expresar en forma polar el complejo

z = (sen a - sen B)

+ i (cos d - cos B)

Solucin

Sea z = r (cos + i sen ), entonces:

24.

r2 = x2 + yz e (sen d ~ sen 6)2 + (cos d - cos B)2

r2 = 2 - 2 (sen d sen 6 + cos d cos B)
rz = 2 - 2 cos (d - B) = 2 {1 - cos (d - B)}

rz = 2 - 2 senz ~-

r = 2 sen Q--

Adems:
= sen

cos

a ~

sen B

Sen = cos

2 sen fu - )72

sen B

2 sen (a - B)72

o sea:

ws = 3 Cos (OL ;**'2-:n2(d leg _ B)/S2

S2
'm
s ""'"`
n+

Q
sen _ ~2 sen (a2+s/%a._s?/d ~ B)/2 _ _sen _____
'm

n+

entonces:
Q

ID
z = 2 sen ~ (cos -- i sen 2--)

N+

Determinar mdulo y argumento del complejo

z = cos a + i sen d - 1
Solucin.

Sea z = r (cos + i sen ) = (cos a - 1) + i sen d

entonces:

25.

r cos = cos a - 1

r sen = sen d

elevando al cuadrado y sumando, resulta

r2 = (cos d - l)2 + senz a = 2(1 - cos d) = 4 senz %
Por otra parte eliminando r,
- send

2 sen %

se tiene:

cos %

tg='_-=*'"""'"'2"a""'
= 't=*=g(*2')
lcosd
2 sen 5
As.

_ 2 sen 22
r -

= 12 + 22

Demostrar que la suma de las races cbicas del complejo

z = 23 (1+ i)/T3-)

es nula.

Solucin
Dando forma polar al complejo obtenemos:
z = 23 (1 + i V3) = 46 (cos % + i sen %)
de donde:

-/'=3\]4_s_ (cos 1-*-l + 1 sen +96k"

Llamando zl, zz
3
. n
zl =-g
cis
5

z3

k, = o, 1, 2

las races, tenemos:

_3
. 7n
zz-W
cis
-9-

_3
.
13
z3--\/E
cis
--

26.

luego:
21

22

+ cis 2%-+ ci M
JGzy(cis E.
9

23

21 + Z2 + 23 =

3*Vaz-cis
. %
(1 + cis -6-"9-+ cis

18
1 - (cis -)
21

Z2

Z3

3
q/46

ti;
4;

cis %

1 - (cis % ) I

Z1

22

Demostrar que:

23

(1 +

1 7 cos Zn - i sen 2n, 3

1D

>21:ij'_
21:
- " cosei sen??

'V46

CIS =

1)/'. + (1 - i\/? = 2" cos 931

Solucin

Dando forma polar a los complejos zl = 1 + i\/3

zz = 1 - i V3, fcilmente se encuentra:

zl = 1 + i.V3 = 2 (cos % + i sen %)

_
_
V
n _ V
1
zz-1
1)/3i _ 2(cos
isen3)
de donde:

(1 + iVP)n = 2 (cos 2; + i sen g)

HW
(1-i\/15)-=2n (cosf-"--isen -)

27.

Sumando estas igualdades se tiene la tesis.

Si x es nmero real y

entero positivo, resolver la e-

cuacin:
1 + ix n

fi*->

Solucin
l + ix
1
lx

..,...._.___.

ze

.m
_-

lx

cos

2k
n

----+

.
2k
1 sen ...-......
n

0,1,2,..

1.51

cos ?

i sen

191.

ly

3;

0o~o(n-_

para k = 0, 1, 2, 3,

....,(n -

._
_-

cos(- g) + i sen(~ g)

kv +
i sen
cos n

,_

4,

1 + ix
1 _ lx

kn
.
kn
cos n + 1 sen 11

.
lx

1 + ,Q
1'-

/_
l

'IT

L r 1 tg ?

___wWwm%__
l ~ i tg g

k=0|

2;

As las races de la ecuacin propuesta son:

x = tg

Determinar las raices de la ecuacin

(><+1-(X-1=o

(n-1)

28.

Solucin
La ecuacin puede ponerse en la forma:
x + 1 n

(;;":"-1')-1
kn

X + 1 = 1 + 1 tg :
x - 1
1
.
kw

x = ~ i cot l
n

"ltg

"-:--'\/-1H
XX

y dando a

los valores: 0, 1, 2, 3, ....,

(n - 1).

Si cos a + cos B + cos W = sen a + sen B + sen W = 0,

usando nmeros complejos demostrar que:

cos 3 d + cos 3 + cos 3 W = 3 cos (a + B + W)

een 3 u + sen 3 B + sen 3 W = 3 sen (d + B + W)
Solucin

Aprovechando que:
x = cos d + cos
resulta:

B + cos W = 0

x + iy = cis

a + cis B

y = sen u + sen B + sen W =

+ cis W = 0

Entonces elevando al cubo: - cis d = cis B + cis W

queda:

-cissa = cisae + 3(is s)2 cisw + aciss (<:isW2+ cis sw

29.

o bien:
cis 3d+ cis 3B+ cis

= -3cisB cisW

(cisB + cis W)

cis 3u+ cis 3B+ cis 3W = -3cis(B+W)~(cisa+cisB+cisW cisa)

cis 3a+ cis 3B+ cis 3W = 3 cis (B + W) cis a
cis 3d+ cis 3B+ cis 3W = 3 cis (a + B + W)
Finalmente separando partes reales e imaginarias se obtienen las igualdades pedidas.

Si zl = cis d,

zz = cis B,

23 = cis W,

(z1+z2)(z 2 +z3)(z3+z 1 ) = 8 z 1 'z2'z3

demostrar que

cos g cos cos -

Solucin
Sin dificultad se encuentra:
zi = cos a + i sen a
1

= cos d ~ 1 sen a
1

\/Z:
1

COS

E + i sen 2
2
2

COS

Q
2

i sen 2
2

de donde
Z

1
E2

2
El

u sen 5)
B
__ 2 (cos 91
2 cos
2 + sen 5

21

zz

zl + 22
=

...'-

\/.21 zz

\/21 Z

2 cos 2-~

\/z1` zz

En forma similar se obtiene:

+ z

z3 + zl

w _
= 2 cos

....l'.____..3..=2c0s__.-.[2-

vz1~ z3

\/z1 z3

Finalmente multiplicando miembro a miembro estas igualdades se tiene la expresin pedida

Usando nmeros complejos demostrar que:

sen 4d cos 3d

= (cos 7d

- cos Sa

~ 3cos 3a + 3 cos g)

Solucin
Tomando el complejo
z = cos d

E = cos a

z = cis d de mdulo uno, tenemos

i Sen OL

cos na

+ i sen nd

i sen d

-n
z

cos nd

- i sen nd

entonces:
2+

2 cos a

Z-v

21 sen d

21 sen na

zn

-n
z

2 cos na

31.
y de aqu que:
(2 i sen d)4 (2 cos d)3

- 3

(z ~ )4 (z + z)

= uz- <z+;;:3 (z-

__

2_-23
z )

(z

z)

l6'8 sen4d cos3d

= (26-324 2+3z2 24-E6)

(z

E)

128 sen4c cos3a

= (z7+z7)+3z3z3(z+z)-3z2 z2(z3+z3)-z(z5+E5)

128 sen4d cosad

= 2cos 7d + Gcosu

(z

O Sea:

- 6cos 3 a - 2cos 5a

Finalmente dividiendo por 2 se tiene la tesis

Demostrar que:
(a).

32 cosd

= cos Ga + 6 cos 4a + 15 cos 2d + 10

(b). 128 sen5dcos3d

= sen 8d ~ 2 sen 6d - 2 sen 4a - 6 sen 2a

Demostrar que:
C = cos a + cos 2 a + ....+ cos na

sen 92
2
= --d
sen 2
(1
sen i

S = sen a + sen 2 d + ....+ sen nd

+
C052-Zi

+
= --2- sen gil a
sen Q
2

32.

Solucin

-__,...---..-.-.-._....

Multiplicando
C + i S

C + i S

C + i S

C + i S

S por i,

y sumando queda:

cis d + cis 2 a + ..... + cis n u

cis a (cis no

- 1)

efe OL i-r 1

cis d (cos no _i sen no - 1)

i cos d +` sen a - 1'

ci_dj-2sen2(n d/2)+2i senjnjo/2)cosln_ag)}
~2sen2 (d/2)+2i sen(d/2)cos(d/2)
Sen

23

(cos

C + i S
Sen

.I-'

n+

a + i sen

5 4-

nQlU9

Finalmente separando partes reales e imaginarios resultan

las igualdades propuestas.

'

Demostrar que:

-_ S%
s
C = cos d + cos (u + B) +...+cos(a+n-1B)=--cos(ew)
sen

'

Seng

S = sen a + sen (a + B) +...+sen(d+n-lB)=-sen(o+n*)

Sen

33Q

Usando nmeros complejos demostrar que:

H
Z

k=o

(Q) cos (d + kB) = 2" cosn % cos (a + g)

Solucin
Desarrollando el primer miembro de la suma propuesta tenemos:

C = (3) cos a + () cos (u B) + .,. + (2) cos (a + n6)

Tomando la expresin

que se indica:

S = (3) sen d + () sen (a + B) +.... + (3) sen (d + nB)

multiplicando por

y sumando, se obtiene:

C + i S = (3) cis d + () cis (a + B) + ...+(2) ci$(d+nB)

C + i S ={(3) + () cis B +....+ (3) cis nB} cis a

C + i S = (1 + cis B)n cis d = 2n cosn % cis % cis d
C + i S = 2n cosn % {cos (d + %) + i sen (a + %)}
De aqu separando partes reales e imaginaria se tiene la
igualdad propuesta.

34.

uemostrar que en todo tringulo ABC en el cual

0 < b < c, se tiene:

Z
(%)k_1 sen k d = sen W
k=1

Solucin
Consideremos las dos series geomtricas convergentes:
S = sen a + 2 sen 2 o + (%)2 sen 3 d + .......
C = cos a + 2 cos 2 a + (%)2 cos 3 d + ......,
De aqu se obtiene sin dificultad que:
C + i S _
c (cos d + i sen d)
= c - b cos a - ib sen d

_Jls a
a cis (-B)

ya que en todo tringulo se tiene:

c ~ b cos d = a cos B

b sen G = a sen B

Finalmente considerando quezd +6 = n - W,

se tiene:

C + i S = %%{cos (n - W) + i sen (W ~ W)}

y separando partes reales e imaginarias resulta la tesis

50.

Si wl, wz, w3, ..... , wn son las races n-simas de la

unidad, demostrar que:

35I

*``___;' '

' *
wlx

1 ' -"]-"""`;'=*
wzx

0 o n n n

-"'-'*"'3'-'^'"""'

1 - wnx

n
1 _ xn

Solucin
Si wj es una de las races n-simas de la unidad la p
gresin geomtrica de razn:
l_

2
n-1
x _
x
__
24-...+

_ x

~+-1-I-~

wjn

wjn-

Dando a

wi

"

n-1
+

--.

xn 1
w

W2
_-

_-

wl

n-2

W?
...

wj

los valores 1, 2,

wl

"

l ~ xw.n
l jj _
f-n
(l~xwj)wj

coco

__n
+ + l +.......+ W

gl

wjn_

nos d:

xwj

_.

...

..

2
n

'

ll

n- 3
'

W2

n-2
w

...

n- 3
w

1
+0 o o 1

-...

c Q 0 0+

"'_'_"

wzn

1 - xwj

obtenemos

nu

1 - x

xwl

1
1

XW2

-_

1
+DIIOUCOO+

xn

XW

fl

Sumando estas igualdades miembro a miembro y observando

que la suma de cada columna del primer miembro es cero,
menos la ltima q ue es n, resulta:
n
n = (1 - x )

{1

*'

xwl

l
l - xwz

1
1 M xwn

+oooo+-*i-__?-*_'}

36.

Si w es una raz n-sima primitiva de la unidad demostrar

que:
1

~+

1 - x

+:2

w - x

wz

wn'1
n_1

+.....+

- x

.n

- x

._

l - x

Solucin

Si wl, wz, w3, ...., wn son las races de x

1,

sabemos que:
l
l
l
+
+
i +.....+
1 - wlx
1 - wzx
l - w3x
1 - wnx

Sea wl = w, entonces: wz = w ; W3 = w ;....wn= wN

yy

la igualdad anterior se expresa por:

,..e,-~..l_:_ee,, tj:

...._ V 1

1 - wx

l ~ w x

_ . , _

1 - w x

1 _ xn

1 - w x

1 - x

Amplificando la primera fraccin por wn_1, la segunda por

wn_2, la tercera por wn_3 y as sucesivamente se tiene:
n-l
w
n- 1
w
- x
"

n-2
w
n- 2
w
- x

w - x

l - x

+oooo+__-_"+'-'_-'

_'

1 - x

Si wl, wz, w3, ...., wn son las races n-simas de la ur

nidad y

un entero, calcular la suma:

37.

S = wlk + wzk + w3k + ....+ wnk

Solucin

Si
p

es mltiplo de

n, ser de la forma k = pn

es nmero entero, entonces para todo

wj

k = wjnp = (wjn) P = 1

y en este caso la suma pedida es

wj

donde

tenemos:

j = l,2,3,....n

Consideremos ahora el caso en que

Si d es una raiz primitiva de orden

n
no es mltiplo de n.

de la unidad; las

dems raices sern: uz, a3, :... un

Entonces tendremos:
.

W 1: __ (yk

j=l

"

azk _ ak _
-

ocaso

_ ank _ ku - ak
_

l - a

.
nk
n k
Ahora considerando que a
= (a ) = 1,
en este caso resulta ser:
Si dl, a2,....., an

la suma pedida,

S = 0

son las races de la ecuacin xn = a,

calcular la suma:
S

_
_

ooo

Determine que curva debe recorrer el complejo

que

w = (z + 1)/(z - 1)

sea imaginario puro.

para

38.

Solucin
Sea z = x + iy,

:sf le

z ~ 1

entonces:

1 + ix, X2 :+12 - s- 25:1

x - 1 + iy

(x - 1)

+ y

y para que este complejo sea imaginario puro debe Ber:

xz + yz - 1 = 0.

Asi z

debe recorrer una circunferencia

con centro en el origen y radio uno.

Sea a = a + ib

un complejo fijo y

plejo que recorra la recta

z = x + ly

un com-

y = mx + n.

Determinar que curva recorre el complejo

w - o + z.

Solucin

Considerando que

z = x + iy = x + i(mx + n), resulta quo:

u + iv = w = a + ib + x + i (mx + n)
de donde:
u = a + x

eliminando

v = mx + n + b

entre estas dos igualdades, obtenemos

v = mu + (n + b - ma)
Ecuacin que nos indica que
ta paralela a la recta

w = u + iv

y = mx + n.

recorre una rec~

39.

La suma de dos complejos variables

al

zz

dividida

por la diferencia de ellos da un imaginario puro.

muestre que los complejos

21

zz

De-

se desplazan sobre

una circunferencia con centro en el origen.

Solucin
Sean los complejos

21 = (xl, x2)

zz = (x2, yz),

entonces:
21 + zz _ (xl + x2) t i(y1 + yz)
21

"'

22

xl

""

'_

1:2 _*-21: (*12~==:,>+<Y5"Y=

:;:~<*1"*2* <,Y: +>f=*"*==._1.~: ,=.:.*.z,.1.:.'.>1.:3
(xl-<22+ <y1-y,2
y para que este complejo sea imaginario puro, debe ser:i

X12 _ x22 +y12 __ Y22 _ 0

0 ___

resultado que nos muestra que

zz

|z1I

x12 +1,12 _x22 + Y22

= |z2|, o sea zl

se desplazan sobre una misma circunferencia con centro

en el origen.

56.

Un complejo

z = x + iy

3x + 4y + 5 = 0.

es uno.

se mueve sobre la recta

Demostrar que el valor minimo de |z|

40.

slssin
Sabemos que |z|
de

, geomtricamente representa la distancia

al origen.

Como

recorre la recta 3x+4y+5 = 0,

el nmero real |z| es la longitud del trazo que une el

punto

de la recta con el origen.

Obviamente este tra-

zo |z| tendr longitud mnima cuando l sea la distancia

del origen

(0,0)

a la recta 3x + 4y + 5 = 0,

mnimo |z|

= ---V9

Un complejo

z = x + iy

as entonces;

16

se desplaza en el plano

modo que |2z - 1] = |z - 2|

xy

de

, determinar que curva recorre.

elssis
La condicin impuesta se expresa por:

|(2x~ 1) +2y1

|(x-2) +y1|

(zx 12 + 4y2

(x ~ 22 + yz

Efectuando las operaciones indicadas se obtiene:

x2 + yz = 1, resultado que nos indica que

recorre una

circunferencia con centro en el origen y radio uno.

41.

Determinar el lugar geomtrico de un complejo z = x + iy

que verifica la condicin:

|(l + i)z - (1 + 3i)| 5 1.

Solucin.
El complejo

es tal que el mdulo de:

w=<1+i<x+y-<1+3=<x-y-1+(+y-s
verifica la condicin:

(x-y-12+(x+y-32$1
o sea:

<<-22+<y-12.s-Asi el L.G. del complejo

y radio

Si

es un circulo de centro (2,l)

1/y/51

es una raiz cbica compleja de la unidad, demostrar

que los puntos:

zl - 1

22 - w

z3 - w

son los vrtices de un tringulo equiltero.

Solucin
Sea

2w
_
2
.
2n
w = cos + i sen ef = cis - , entonces:

42.

22 e w ~ wz = (1 ~ W) w 2 zi cis ;
z3 = wz - 1 = wz ~ W3 R (W - wz) w = z2 cis
As zz es zi rotado en 120 y

z3 es zz rotado en 120?

o sea zl, zz y z3 son los vrtices de un tringulo equi-

ltero.

Si

es una raiz cbica compleja de la unidad, demostrar

que el tringulo cuyos vrtices son: z,

zw,

zwz

es equi-

ltero.
Solucin

Como:

1,

wz

dad, los complejos:

del complejo

son las tres raices cbicas de la uniz, zw

m z3.

Siendo

zwz
z,

son las raices cbicas

zw

zwz raices cbi-

cas de un mismo complejo,ellas tienen todas el mismo mdulo |z| = |zw| = |zw2|

de aqui que los puntos

z,

zw,

y zw2 estn en una misma circunferencia con centro en el

origen y radio |z|.

Finalmente:
arg zw = arg z + 120

arg zw2 = arg z + 240

As el tringulo de vrtices: z,
gulo equiltero.

zw

zwz

es un trin-

43.

Los vrtices A, B y C de un tringulo se mueven de modo

que:

c-A__

._

E-~:-a---k1+1.k2-l-k

donde

es constante.

Demostrar que el tringulo ABC

permanece semejante a si mismo.

Solucin
De la condicin dada resulta:

C-A

15":- =

C-A

-:*% =

|k|

igualdad que nos indica que la razn entre los lados AC

y

BC es constante.

He la hiptesis tambin se tiene:

arg %-E--e arg (C - A) - arg (C ~ B) = arg k
o sea:
lados
ABC

<j(ACB) = arg k ;
AC

BC

luego el ngulo que forman los

es constante y por lo tanto el tringulo

permanece semejante a si mismo.

Los complejos

z = x + iy

w = u + iv

pre la igualdad:
a2
W=Z+--

aem

verifican siem-

44.

Determinar que curva recorre

:
circunferencia

.
2
2
x? + y = r O

cuando

con r

recorre la

2
a .

Solucin
De la condicin dada, se obtiene:
2

unx-I@-'2_.(.

V=y--ax

I'

I'

entonces:
IU

<=u/<1+-
I
Ahora si

y==v/<1-

recorre la circunferencia

JmN

x2 + yz = rz,

tendremos:

"'-Bi-+"'''=1
(r + a )
(r
a )
resultado que nos indica que
semiejes (r2 + az)

Los complejos variables

z = x + iy

La circunferencia

(b)

La recta

x = y

w = u + iv, ve-

w = zz + a, donde

Determinar el L.G. de

(a)

recorre una elipse de

(rz M az).

rifican siempre la igualdad:

un real.

w,

x2 + yz = 1

cuando

es

recorre:

45.

Solucin
La condicin

w = zz + a,

se expresa por:

u = x2 - yz - a

Tomando primero

v = 2xy

x2 + yz = 1

y eliminando x

entre

las tres igualdades se obtiene:

(u+a2+v2=1
resultado que nos indica que en este caso el L.G. de
es una circunferencia de radio uno y centro

Finalmente si .z
u = a

recorre la recta

v = 2x2.

recorre una semirecta

x ='y,

(-a, 0).

se obtiene:

Estas ecuaciones muestran que

u = a,

paralela al eje

con

no negativo.

Los complejos*

verifican siempre la relacin:

W - (4 + -+_;
Determinar el L.G. de

cuando

(a)

La circunferencia:

|z| = 1

(b)

El eje de ordenadas.

recorre

w
v

46.

Solucin
De la condicin dada se obtiene:
_ W ~

Q; + di)

Z ' w ~ (4 + i)

W - A

w - B

Ahora cuando |z| = 1,

_

con

-'
-b ++ |,.a.

se obtiene:

w - A

_ Iw - AI _

zl-T"| " I :T-" I _

igualdad que nos indica que
trazo

AB,

recorre la simetral del

pues ]w - A] = |w - B|

Finalmente cuando

recorre el eje de ordenadas su ar~

gumento es (+ /2)

(- W/2),

luego:

w - A

_ +

(w - B)

.I'g'Z--argq--_--B--"'

o sea los complejas

y entonces

Los complejos

w - A)

1
2

son ortogonales

recorre una circunferencia de dimetro AB.

son las races de la ecuacin:

22 - (e + 51) z + (8 + 261) = o
Determinar un complejo
tringulo

ABC

C = x + iy,_ de tal modo que el

sea equiltero.

Solucin
Resolviendo la ecuacin se encuentra

A _ 6 + i

B = 2 + 4i.

ABC

tenemos

Ahora como.el tringulo

ABI = |BC| = ICAI

A212 =
IBCI

= gc

CAI

-'=

-4+31|2 =

(x

_-

2)

(X - 6)

es equiltero

y considerando que

..Al2

B] 2

+(y

2 +~ (Y-

4)
2

se obtiene el sistema

(x-s2+(y-12=2s

x-

2+

2=

que nos d las soluciones:

Clg-i\/+is+\/

Los cuatro nmeros complejos

Demostrar que el nmero

c2=a-:;\/-3-

A, B, C

(C - A)

(D -

) / (

-Q

son concclicos
-

es real.
Solucin
Como los puntos

A, B, C

D son conciclicos se tiene

48U

D
C

< (ACB) =
rq

15

__

< (ADB)

O(3 U1?

arg

arg

_-__

UKJ U1?

arg g

A
O sea:
C

._

un

afgf-*=*""r*> = 0
y esta igualdad es suficiente para afirmar que el nmero:

c-A_n-A =
c-Bn-B

(c-A) (D-B)
(c-B(D-A)

es real, pues su argumento es nulo.

Los vrticcs opuestos

de un rombo

ABCD

estn

dados por las raices de la ecuacin zz ~ 6(1+i)z + 161 = 0.

Determinar una ecuacin de segundo grado que d los otros
dos vrtices.
Solucin
Las races de la ecuacin dada son
C = 2(2 + 21),

A = 2 + 21

de aqu que la diagonal

del primer cuadrante.

Ahora como

AC

AC
y

BD

es bisectriz
se dimidian,

49.

tenemos:

B + D = A + c = 6(1 + 1)
Por otra parte el producto

B.

~'\

B ~ D

debe ser imagi-

nario puro (ver fig.) lue-

6*

go l debe ser de la forma

B ,___

B - D = ai, donde

un real arbitrario.
las expresiones que dan

B + D

y B ~ D

es
De

se obtiene la

ecuacin pedida: zz - 6(1 + i) z + ai = 0.

Para que el real (a) quede determinado es necesario dar
alguna condicin adicional, por ejemplo, que: 2AC = BD.

En un cuadrado ABCD, los vrtices opuestos

las races de la ecuacin:

son

zz - (6 + 8i) z + (1 + 301) =

Determinar los otros dos vrtices.

Solucin

Resolviendo la ecuacin se
tiene:

A=4+1
A

c=2+71

De aqu se obtiene para

50.

el punto medio

de la diagonal

AC,

que M = 3 + 4i.

Entonces:
MC = C - M = -l + 3i

MA = A ~ M = 1 - 3i

y como

MB = i MA

MD = i MC,

MD = D - M = -3 - i

MB=B--M=3+i

de donde:

resulta

B = 6 + Si

D = 31

Sobre los lados de un cuadriltero

ABCD

se construyen

hacia el exterior tringulos rectngulos issceles: ABP,

BCQ, CDR y DAS.

Demostrar que los trazos PR

y QS

son

iguales y perpendiculares.
glucin
El vector

PA

es el vec-

Q
C.

tor

.DI

'

PB

rotado positiva-

mente en 90, luego:

A-P=(B-_)i

de aqu despejando E se
A

E;

obtiene: P = ~-gi
1
1
De anloga manera resulta:

ZP

510

Ci

Q S -*
1

=9_.:...P.f_-.
_1

S=D"A1
1--:~;~

entonces:

0 sea:

70.

RP = P -

__(A-c)-(B-mi
R":
1-1:
'

SQ = Q *

-B (C fr M1,
S (B 70)1-1

(P - R) = i(Q - S), lo cual implica IP - R|= IQ

PR | sQ.

A,

BICIPIQ

son nmeros complejos tales que

Demostrar que los tringulos

ABC: y

PQR

son semejantes.

Solucin
De la condicin dada se obtiene sin dificultad que:

c - A =

R - P

C - B

R - Q

Esta igualdad de nmeros complejos implica

|._:_2*.l= |B_"___Pl
IC BI
IR" QI

argg-_-5
= ars-E
C
B
R
Q

52.

y estas igualdades muestran que los tringulos

ABC

PQR tienen dos lados proporcionales y el ngulo comprendido

entre ellos igual, lo que garantiza su semejanza.

Los complejos A, B
lo equiltero.

son los vrtices de

un tringu-

Demuestre que 1

A2-9-B2-4-C2

A-B+B'C+C'A

Solucin
Como el tringulo

ABC

GS

equiltero, tenemos:
C-A

Tomando estas igualdades dos

cis (W/3)

A-B = (C-B)

cis (n/3)

B-C

cis (U/3)

(A-C)

de donde:

E
C-A_A-B=B-c
B-A"c-B
A-c

(B-A)

-'_

cis

(U/3)

dos y multiplicando medios

y extremos, resulta:

C2-c-B-A-c+A-B=

-A-B2-A2+A-B

A2-A-c-B-A+B-c=

-B-C2-B2+B-c

B2-B-A-c-B+c-A=

-c-A2-c2+c-A

De donde sumando miembro a miembro se obtiene la igualdad

propuesta

Demostrar que una circunferencia de centro C

radio

<

se puede expresar por

=

donde

es una variable real

Solucin
ea
P

CA =

siendo

(A

un punto cual-

quiera de la circunfere -

Entonces

= OC

O0 rn

= C + r cis

me

'J

IQ-9-

xiu-

O O UI

- i sen
N9-

Finalmente haciendo
propuesta

cis

+1.SI`1

I'
J.

una
me
0O m

SGD

"

+
I-*D-'

I-'P

SR

[\)-9-

tg(/2) = t

se tiene la igualdad

54.

Si es variable

complejos fijos, demostrari

que la circunferencia de dimetro

AB

se expresa por:

2P = A(1 + cis ) + B(l - cis )

Solucin

-_-.--__-

(2

Sea

'i

di me t ro

el punto medio del

AB

un pun

to cualquiera de la cireun
'V

ferencia , determinado por

4

el ngulo variable
<

(AMP) =

Entonces:

0 .

OP = OM + MP
P:-_.

P=

OM + MA

M + (A - M)

cis

W + U3

W + U1

IQ

\\)

--- + (A - ---)

CiS

cis

2P =-A( 1 + cis ) + B(l - cis )

Dados los complejos

de tal modo que el tringulo

determinar un complejo
ABC

sea equiltero.

C,

55.

Solucin
El complejo buscado
Q'

tal que

es
w

l_Z__L = 1
| wie

-0

arg

C-A =1f.3

C _ B

Es decir el complejo
(C - A)/(C - B)

tiene m-

dulo uno y argumento (n/3),

o sea:
-E-% = cos (W/3) + i sen (W/3) =
De aqu despejando

C,

se tiene la solucin buscada:

_ A - dB

""'="a"'
Una comprobacin simple de este resultado se obtiene tomando

A -1;

B = 1

C=i\/_3-

*ya que obviamente debe encontrarse

obien

Demostrar que en todo tringulo

C=-i

ABC

se tiene:

a3 cos 36 + 3a2 b cos(d - 26) + 3ab3 cos(2c-B)+b3cos 3c= c3

56.

Solucin
Fcilmente se establece que en todo tringulo se tiene
x = b cos d + a cos B = c

y = b sen d - a sen B

De qui elevando al cubo~el complejo:

(x + iy)3 =

x + iy

{b cis a + a cis (- 5)}3

resulta:
c3

0 sea:
c

= b

cis 3a + 3b

a cis(2c - B) + 3 ba

cis(a - 25)

+ a3 cis (-33)
De donde igualando partes reales queda:
c3 = b3 cos 3a + 3b2 a cos(2a -B)5+=3ba2'cos(d 2B)

+ a3 cos 36