��) C������� �. N������ ��������� [§�.

�
como p; q; r ys s, ver figura, se relacionan con a; b; c y d a través de las ecuaciones
p D a C i a; q D 2a C b C i b;
r D 2a C 2b C c C i c; s D 2a C 2b C 2c C d C i d;
en donde hemos tenido en cuenta que i z rota, en sentido antihorario, al complejo z justo ⇡=2
radianes. Por tanto, los números complejos A WD s q y B WD r p representan los segmentos
que unen los cuadrados. Calculemos ahora
A C iB D s q C ir ip
D .2a C 2b C 2c C d 2a b c C a/ C i.d b C 2a C 2b C c a/
D .a C b C c C d /.1 C i/
D 0:
Así pues, A D i B lo que implica jAj D jBj y A ? B, como queríamos demostrar.

§�.�. Ejercicios
�) Demostrar que si jzj D 1 entonces, dados a; b 2 C cualesquiera, se tiene
ˇ ˇ
ˇ az C b ˇ
ˇ ˇ D 1:
ˇ bz
N C aN ˇ

Solución: Como jaz C bj2 D .az C b/az C b D .az C b/.aN zN C b/ N D jaj2 jzj2 C jbj2 C
N C ab
abz N C ab
N zN D jaj2 C jbj2 C abz N Usando esta expresión
N zN D jaj2 C jbj2 C 2 Re.abz/.
cambiando a ! bN y b ! aN concluimos que jbz N C ajN D jaj C jbj2 C 2 Re.ab
2 2
N zN / y como
Re Z D Re ZN obtenemos el resultado.
��) Describir el conjunto de números complejos tales que Re.z 2 C 5/ D 0.
Solución: Como z 2 C 5 D x 2 y 2 C 5 C 2 i xy, tenemos que Re.z 2 C 5/ D x 2 y 2 C 5,
luego el lugar pedido es la hipérbola equilátera y 2 x 2 D 5.
���) Dados dos números complejos z; w 2 C demostrar la regla del paralelogramo jz
wj2 C jz C wj2 D 2.jzj2 j C jwj2 /.
Solución: Recordando que jz wj2 D jzj2 C jwj2 2 Re.z w/, N jz C wj2 D jzj2 C jwj2 C
N se obtiene el resultado. p
2 Re.z w/
1Ci 3
��) Para el número complejo z D p :
1 i 3
a) Hallar su forma binómica (como suma de parte real e imaginaria) y exponencial
b) Demostrar que z 4 D z
c) Encontrar las raíces cuartas de z.
d) Determinar todos los números complejos que son raíces cuartas de si mismos
Solución:
a) El número z, al ser el cociente de un
p número⇡complejo y su conjugado tiene módulo
2⇡
unidad jzj D 1, además arg.1 ˙ i 3/ D ˙ 3 mKod 2⇡, luego arg z D 3 mKod 2⇡
p
2⇡ 3
y z D ei 3 . Esto es, z D cos 2⇡
3
C i sen 2⇡
3
D 1
2
Ci 2
.
i 8⇡ 2⇡
b) z D e 3 D e e 3 D z.
4 i 2⇡ i
§�.�] Ejercicios (��
2⇡
c) Las raíces cuartas de z son los números z D ei. 3 Ci 2⇡k/=4 , k 2 Z. Esto es, el
⇡ 2⇡ 7⇡ 5⇡
conjunto de raíces cuartas es fei 6 ; ei 3 ; ei 6 ; ei 3 g
d) Los números que satisfacen z 4 D z son aquellos tales que z.z 3 1/ D 0 esto es
z D 0 ó las raíces cúbicas de la unidad z 3 D 1. Esto es, el conjunto pedido es
2⇡ 2⇡
f0; 1; ei 3 ; e i 3 g.
�) Usando la fórmula de Euler demostrar las identidades trigonométricas de la semidife-
rencia y semisuma
xCy x y xCy x y
cos x cos y D 2 sen sen ; sen x sen y D 2 cos sen ;
2 2 2 2
xCy x y xCy x y
cos x C cos y D 2 cos cos ; sen x C sen y D 2 sen cos :
2 2 2 2
Solución: xCy xCy x y x y
ei 2 e i 2 ei 2 e i 2
D e e e4 C e .
ix iy iy ix
a) sen xCy
2
sen x y
2
D 2i 2i
xCy xCy x y x y
ei Ce i
ei i
ei x ei y C e iy ix
b) cos xCy
2
sen x 2 y D 2
2
2 2 e
2i
2
D 4i
e
.
xCy xCy x y x y
i i i i
Ce Ce ei x C ei y Ce iy Ce ix
c) cos xCy
2
cos x 2 y D e 2
2
2 e 2
2
2
D 4
.
xCy xCy x y x y
i i i i
Ce
D e C e 4ei
ix iy iy ix
d) sen xCy
2
cos x 2 y D e e
2i
2e
2
2 2e
. 2

��) Dado un triangulo arbitrario se construye cuadrados sobre dos lados, y se unen los
centros de éstos con el punto medio del lado opuesto del triangulo. Demostrar que
dichos segmentos tienen la misma magnitud y se encuentran perpendicularmente. Ver
figura

y r

2b

2a
p
m

Solución: Como en el caso del rombo, tenemos p D a C i a, r D 2a C b C i b y

m D a C b. Por lo tanto, r m D a C i b y p m D i a b D i.r m/. Esto es, los
segmentos son perpendiculares y miden lo mismo.
���) Dados dos números complejos a; b 2 C, hallar el conjunto de puntos z 2 C del plano
complejo que cumplen
��) C������� �. N������ ��������� [§�.�
a) jz aj D jz bj
b) jz ajjz bj D r
Solución:
a) Los puntos z equidistan de los dos puntos a y b, esto es conforman la recta media-
triz entre esos dos puntos. En cartesianas será
.x Re a/2 C .y Im a/2 D .x Re b/2 C .y Im b/2
que desarrollada da
Im.a b/y Re.a b/x C jbj2 jaj2 D 0:
b) Es un ovalo de Cassini.
2⇡k
����) Dados los números complejos wk D ei n , para k 2 f1; : : : ; ng:
a) Demostrar que
(
1X
n
0; m 62 n;
P
.wk /m D
n 1; m 2 n;
P
kD1

donde nP WD fnk; k 2 Ng denota el conjunto de múltiplos naturales de n.

b) Si P .z/ D a0 C a1 C C a2n 1 z 2n 1 es un polinomio arbitrario de grado 2n 1
se tiene
1X
n
P .wk / D a0 C an :
n
kD1

Solución:
a) Tenemos que si m 62 nP que
!
1X 1 X i 2⇡km 1 X ⇣ i 2⇡ m ⌘k
n n n 2⇡ m
1 ei n .nC1/ 1
m
.wk / D e n D e n D 2⇡ m
1
n n n n ei n 1
!
kD1 kD1 kD1
2⇡ m
1 ei 2⇡ m ei n 1
D 2⇡ m
1 D0
n ei n 1
y si m 2 nP que
1X 1 X i 2⇡km 1 X ⇣ i 2⇡ m ⌘k 1X k
n n n n
m
.wk / D e n D e n D 1 D1
n n n n
kD1 kD1 kD1 kD1

b) Procedemos como sigue

1X 1⇣ X X X X X
n n n n n n
P .wk / D a0 1 C a1 wk C a2 .wk /2 C C an 1 .wk / n 1
C an .wk /n
n n
kD1 kD1 kD1 kD1 kD1 kD1
X
n X
n ⌘
C anC1 .wk /nC1 C C a2n 1 .wk /2n 1

kD1 kD1
D a0 C an
§�.�] Ejercicios (��
⇣z a⌘
��) Dados a; b 2 C y ‚ 2 R describir el conjunto de puntos z 2 C tales que arg D
z b
‚.
Ayudas:
Todos los ángulos inscritos en un mismo círculo que subtienden el mismo arco son iguales
(Proposición III.�� de los Elementos de Euclides) y si †CAD D †CBD, ángulos
orientados de forma similar entonces los puntos A; B; C y D son conciclícos (existe
un círculo que los contiene).
Teorema del ángulo inscrito: El ángulo central que subtiende un arco (con respecto al
centro del círculo) es el doble que el ángulo inscrito por ese arco (Proposición III.�� de los
Elementos de Euclides).
Por dos puntos a y b pasan infinitas circunferencias, estando todas ellas centradas
en la bisectriz de a y b.

y y
b b

2‚
a a
⇥ ⇥ ‚
x x
⇥ ‚

Solución: Las circunferencias que pasan por a y b están todas centradas en la bi-
sectriz de esos dos puntos en el plano complejo. Dicha bisectriz tiene como ecuación
paramétrica

aCb b a
C.t/ D Ci t; t 2 R:
2 2

El ángulo 2‚.t/ D †abC.t/ se calcula como sigue. Observemos que los radios que
unen los puntos a y b con el centro de la circunferencia

aCb b a b a
a C.t/ D a Ci tD T .t/; T .t/ WD 1 C i t;
2 2 2
aCb b a b a
b C.t/ D b Ci tD T .t/;
2 2 2
Por ello,
✓ ◆
T .t/
2‚.t/ D arg
T .t/
��) C������� �. N������ ��������� [§�.�
p
y si escribimos T .t/ D jT .t/j ei ✓.t / , jT .t/j D 1 C t 2 y ✓.t/ D arctan t mKod 2⇡ ,
⇡
tendremos TT .t.t // D e2 i.✓ 2 / y
⇡
‚.t/ D ✓.t/ mKod 2⇡:
2
Por lo tanto, t D cot ‚ y los centros correspondientes a un ángulo inscrito ‚ serán
aCb b a cos ‚
C˙ .✓; a; b/ D Ci ;
2 2 sen ‚
y existen dos posibles centros con el mismo angulo inscrito, a la derecha y a la izquierda
del segmento que une los puntos a y b. Pero, ahora bien, los puntos z sobre los lados
largos, determinados por el segmento ab, de esas circunferencias con centros C˙ y que
pasa por a y b tiene justamente como ángulo inscrito a ‚ (los lados cortos tendrián
‚). Esto es,
z a
arg D arg.z a/ arg.z b/ D ‚:
z b
y

⇥ b

a ⇥ ‚
x

p
�) Demostrar que tan 3⇡
8
D 1 C 2. Ayuda: Considerar ei ⇡=4 y ei ⇡=2 , su suma y la forma
polar. p
Solución: Por un lado, ei ⇡=4 C ei ⇡=2 D p12 .1Ci/Ci D p12 .1Ci.1C 2// y, por el otro,
tenemos ei ⇡=4 C ei ⇡=2 D ei 3⇡=8 .ei ⇡=8 C e i ⇡=8 / D 2 ei 3⇡=8 cos ⇡=8. Comparando la tan-
gente del argumento de ambas expresiones, binomial y polar, obtenemos el resultado
pedido.
��) Probar que
! ! !
2m 2m 2m m⇡
C C . 1/mC1 D 2m sen :
1 3 2m 1 2

Solución: Es una consecuencia de la forma real de las fórmulas de De Moivre,

!
X
n
n .n k/⇡
sen n✓ D cosk ✓ senn k ✓ sen ;
k 2
kD0
§�.�] Ejercicios (��
donde ahora n D 2m es un número par y ✓ D ⇡=4, así
!
X 2m ⇣ ⇡ ⌘k ⇣ ⇡ ⌘n k
2n
m⇡ .2m k/⇡
sen D cos sen sen
2 k 4 4 2
kD0
!
1 X 2m
2n
.2m k/⇡
D p 2m sen
2 k 2
kD0

y observando sen .2m 2 k/⇡ vale, consecutivamente, ˙1 cuando k es impar y se anula

para k par obtenemos el resultado pedido.
���) Demostrar las fórmulas de Lagrange

cos. n✓
2
/ sen. .nC1/✓
2
/
1 C cos ✓ C C cos n✓ D ;
sen ✓2
sen. n✓
2
/ sen. .nC1/✓
2
/
sen ✓ C sen 2✓ C C sen n✓ D :
sen ✓2
Solución: Tenemos

i✓ i 2✓ i n✓ ei.nC1/✓ 1
1 C e Ce C Ce D
ei ✓ 1
1 ✓
ei.nC 2 /✓ e i 2
D ✓ ✓
ei 2 e i 2
nC1 nC1
i n✓ ei 2 ✓ e i 2 ✓
De 2
✓ ✓
ei 2 e i 2
i n✓
sen .nC1/✓
2
De 2 :
sen ✓2
De donde, tomando partes real e imaginaria, se obtienen las fórmulas de Lagrange.
����) Si w es una raíz n-ésima de la unidad, w n D 1, y w ¤ 1 demostrar que

1CwC C wn 1
D 0;
n
1 C 2w C C nw n 1
D :
w 1
Completar, en el espíritu de las anteriores relaciones, la ecuación

2C C .n C 1/nw n 1
D‹‹‹

Solución: Tenemos
wn 1
Sn 1 .w/ WD 1 C w C C wn 1
D
w 1
y si w n D 1 obtenemos Sn 1 .w/ D 1 C w C C wn 1
D 0.
��) C������� �. N������ ��������� [§�.�

Por otro lado, si llamamos Sn.1/ WD 1 C 2w C C nw n 1

tenemos
Sn.1/ wSn.1/ D 1 C 2w C 3w C 2
C nw n 1
w 2w 2
.n 1/w n 1
nw n
D1CwC C wn 1
nw n
y como w n D 1 queda
Sn.1/ wSn.1/ D n
y, por lo tanto, obtenemos
n
Sn.1/ D :
w 1
.2/
Llamemos SnC1 D2C C .n C 1/nw n 1 y calculemos
.2/ .2/
SnC1 wSnC1 D 2 C 6w C 12w 2 C C .n C 1/nw n 1
2w 6w 2 n.n 1/w n 1
.n C 1/nw n
D 2 C 4w C 6w 2 C C 2nw n 1
n.n C 1/w n
D 2Sn.1/ .w/ n.n C 1/w n
Así pues, cuando w n D 1, obtenemos
.2/ 2n
.1 w/SnC1 D n.n C 1/;
w 1
por lo que concluimos
.2/ 2n n.n C 1/
SnC1 D 2
C :
.w 1/ w 1
���) Para cada c 2 C considerar f .z/ D z 2 C c y la sucesión determinada por su iteración,
zn D f ı f ı ı f .z/. Estudiar el conjunto de puntos M{ D fz 2 C W lKımn!1 zn D
„ ƒ‚ …
n veces
1g.
Solución: