NÚMEROS COMPLEJOS

Metodología Problem Solving

Gerard Romo Garrido

Toomates Coolección vol. 11

 Toomates Coolección
Los documentos de Toomates son materiales digitales y gratuitos. Son digitales porque están pensados para ser consultados mediante un
ordenador, tablet o móvil. Son gratuitos porque se ofrecen a la comunidad educativa sin coste alguno. Los libros de texto pueden ser digitales o
en papel, gratuitos o en venta, y ninguna de estas opciones es necesariamente mejor o peor que las otras. Es más: Suele suceder que los mejores
docentes son los que piden a sus alumnos la compra de un libro de texto en papel, esto es un hecho. Lo que no es aceptable, por inmoral y
mezquino, es el modelo de las llamadas "licencias digitales" con las que las editoriales pretenden cobrar a los estudiantes, una y otra vez, por
acceder a los mismos contenidos (unos contenidos que, además, son de una bajísima calidad). Este modelo de negocio es miserable, pues
impide el compartir un mismo libro, incluso entre dos hermanos, pretende convertir a los estudiantes en un mercado cautivo, exige a los
estudiantes y a las escuelas costosísimas líneas de Internet, pretende pervertir el conocimiento, que es algo social, público, convirtiéndolo en un
producto de propiedad privada, accesible solo a aquellos que se lo puedan permitir, y solo de una manera encapsulada, fragmentada,
impidiendo el derecho del alumno de poseer todo el libro, de acceder a todo el libro, de moverse libremente por todo el libro.
Nadie puede pretender ser neutral ante esto: Mirar para otro lado y aceptar el modelo de licencias digitales es admitir un mundo más injusto, es
participar en la denegación del acceso al conocimiento a aquellos que no disponen de medios económicos, y esto en un mundo en el que las
modernas tecnologías actuales permiten, por primera vez en la historia de la Humanidad, poder compartir el conocimiento sin coste alguno, con
algo tan simple como es un archivo "pdf". El conocimiento no es una mercancía.
El proyecto Toomates tiene como objetivo la promoción y difusión entre el profesorado y el colectivo de estudiantes de unos materiales
didácticos libres, gratuitos y de calidad, que fuerce a las editoriales a competir ofreciendo alternativas de pago atractivas aumentando la calidad
de unos libros de texto que actualmente son muy mediocres, y no mediante retorcidas técnicas comerciales.
Este documento se comparte bajo una licencia “Creative Commons 4.0 (Atribution Non Commercial)”: Se permite, se promueve y se
fomenta cualquier uso, reproducción y edición de todos estos materiales siempre que sea sin ánimo de lucro y se cite su procedencia. Todos los
documentos se ofrecen en dos versiones: En formato “pdf” para una cómoda lectura y en el formato “doc” de MSWord para permitir y facilitar
su edición y generar versiones parcial o totalmente modificadas.

¡Libérate de la tiranía y mediocridad de las editoriales! Crea, utiliza y comparte tus propios materiales didácticos

Toomates Coolección Problem Solving (en español):

Geometría Axiomática , Problemas de Geometría 1 , Problemas de Geometría 2
Introducción a la Geometría , Álgebra , Teoría de números , Combinatoria , Probabilidad
Trigonometría , Desigualdades , Números complejos , Funciones
Toomates Coolección Llibres de Text (en catalán):
Nombres (Preàlgebra) , Àlgebra , Proporcionalitat , Mesures geomètriques , Geometria analítica
Combinatòria i Probabilitat , Estadística , Trigonometria , Funcions , Nombres Complexos ,
Àlgebra Lineal , Geometria Lineal , Càlcul Infinitesimal , Programació Lineal , Mates amb Excel
Toomates Coolección Compendiums:
Ámbito PAU: Catalunya TEC Catalunya CCSS Galicia País Vasco Portugal A Portugal B Italia
Ámbito Canguro: ESP , CAT , FR , USA , UK , AUS
Ámbito USA: Mathcounts AMC 8 AMC 10 AMC 12 AIME USAJMO USAMO
Ámbito español: OME , OMEFL , OMEC , OMEA , OMEM , CDP
Ámbito internacional: IMO OMI IGO SMT INMO CMO REOIM Arquimede HMMT
Ámbito Pruebas acceso: ACM4 , CFGS , PAP
Recopilatorios Pizzazz!: Book A Book B Book C Book D Book E Pre-Algebra Algebra
Recopilatorios AHSME: Book 1 Book 2 Book 3 Book 4 Book 5 Book 6 Book 7 Book 8 Book 9

¡Genera tus propias versiones de este documento! Siempre que es posible se ofrecen las versiones editables “MS
Word” de todos los materiales, para facilitar su edición. Descarga en los siguientes enlaces la versión ".doc" de
este documento:
www.toomates.net/biblioteca/ProblemasNumerosComplejos.doc

¡Ayuda a mejorar! Envía cualquier duda, observación, comentario o sugerencia a toomates@gmail.com

¡No utilices una versión anticuada! Todos estos documentos se mejoran constantemente. Descarga totalmente
gratis la última versión de estos documentos en los correspondientes enlaces superiores, en los que siempre
encontrarás la versión más actualizada.
Consulta el Catálogo de libros de la biblioteca Toomates Coolección en http://www.toomates.net/biblioteca.htm
Encontrarás muchos más materiales para el aprendizaje de las matemáticas en www.toomates.net
Visita mi Canal de Youtube: https://www.youtube.com/c/GerardRomo

Versión de este documento: 15/07/2023

Índice

1 Números complejos aplicados al álgebra. →

2 Números complejos aplicados a la trigonometría. →

3 Números complejos aplicados a la geometría. →

4 Números complejos aplicados a la trigonometría (2). →

Soluciones. →

Este libro es la continuidad natural del libro de texto "Nombres complexos":

http://www.toomates.net/biblioteca/NombresComplexos.pdf
1 Números complejos aplicados al álgebra.
1.1 F
¿Cuál es el valor mínimo entero de k para que

2 x(k x  4)  x 2  6  0
no tenga raíces reales?

ASHME 1974 #10

1.2 F
Sea   z  z 2  z 4 y   z 3  z 5  z 6 , donde z es un número complejo tal que z 7  1 y
z  1. Entonces,  y  son las raíces de la ecuación cuadrática x2  px  q  0 para
ciertos p y q números enteros. Encuentra el par ordenado ( p, q ) .

1.3 M
Resuelve la ecuación compleja
i z4 z 1  0

1.4 M
Hallar la ecuación de la circunferencia que pasa por los afijos de las soluciones de la
ecuación
z 3  (1  i) z 2  (1  i) z  i  0

1.5 MF
Sea z un número complejo con parte imaginaria igual a 164 tal que
z
 4i
zn
donde n es un número entero positivo. Encuentra n.

AIME1 2009 #2

1.6 F
Determina el número de pares ordenados ( a , b ) con a, b  IR tales que
a  bi2002  a  bi
AMC 12A 2002 #24

1.7 M
Sean a, b, c, d números complejos no nulos para los cuales existe un complejo z tal que
satisface al mismo tiempo las ecuaciones az 3  bz 2  cz  d  0 y bz 3  cz 2  dz  a  0 .
Determina todos los posibles valores de z.
HMMT 2010, Álgebra #4

1.8 M
Sean v y w dos raíces de la ecuación z1997  1  0 , diferentes y tomadas aleatoriamente.
Calcula la probabilidad de que v  w  1 .
AIME 1997 #14 (modificado)
1.9 F
Determina todos los enteros n  1 tales que x n1  x n  1 sea divisible por x 2  x  1 .

1.10 M
1 1
Determina z n  n
sabiendo que z   2 sin  .
z z

1.11 D
Resuelve la ecuación z  1  z  1  0
n n

1.12 D
La ecuación
z10  13 z  1  0
10

tiene 10 raíces complejas r1 , r1 , r2 , r2 , ..., r5 , r5 . Encuentra el valor de

1 1 1 1 1 1
    
r1 r1 r2 r2 r3 r3 r3 r3 r4 r4 r5 r5

AIME 1994 #13

1.13 F
Sean x, y, z números complejos tales que xy  80  320 i , yz  60 , zx  96  24i ,
donde i   1 . Sean a, b números reales tales que x  y  z  a  bi . Determina
a2  b2 .

AIME II 2018 #5

1.14 F
Sean z1  18  83i , z2  18  39i , z3  78  99i , donde i   1 . Sea z el único número
complejo con las propiedades siguientes:
z  z z  z2
a) 3 1  es un número real
z2  z1 z  z3
b) La parte imaginaria de z es lo mayor posible.

Determina la parte real de z.

AIME I 2017 #10

1.15 F
Si las seis soluciones de x 6  64 se escriben de la forma a  bi , con a, b reales,
entonces el producto de sus soluciones con a  0 es:

(A) -2 (B) 0 (C) 2i (D) 4 (E) 16

AHSME 1990 #22

1.16 D
Sea N la cantidad de números complejos z con la propiedad que z  1 y z 6 !  z 5! sea
un número real. Determina el residuo cuando N se divide entre 1000.

AIME I 2018 #6

1.17 F
El polinomio f ( z )  a z 2018  b z 2017  c z 2016 tiene coeficientes reales no superiores a
2019, y
 1  3i 
f    2015  2019 3i

 2 

Determina el residuo cuando f (1) se divide entre 1000.

AIME II 2019 #8

1.18 F
En el plano complejo, sea A el conjunto de soluciones de z 3  8  0 y sea B el conjunto
de soluciones de z 3  8 z 2  8 z  64  0 . Determina la máxima distancia entre un punto
de A y un punto de B.

(A) 2 3 (B) 6 (C) 9 (D) 2 21 (E) 9  3

AMC12A 2020 #15

1.19 F
Si z  C y v  z 6  3 z z 2  z 2   z 6 , podemos afirmar que v es igual a:
2


(A) z 2  z 2 
3

(B) z 6  z 6 (C) z 3  z 3 
2
(D) z  z 
6
(E) z  z  z 4  z 4 
2

ITA (Brasil) 2014

1.20 F
En C, el conjunto de números complejos, sea z  1 2i .
Sea  el menor argumento positivo del número complejo z (conjugado de z ).
¿A cuál de los intervalos siguientes pertenece  ?

      5   5 3 
(A)  0,  (B)  ,  (C)   ,  (D)  , 
 4 4 2  4   4 2 

PAU PORTUGAL 2019 635 #6

1.21 MD
Determina el número de polinomios de la forma x5  a x4  b x3  c x2  d x  2020
donde a, b, c, d son números reales, que cumplan la siguiente propiedad:
1 i 3
Si r es una raíz, también lo es  r , en donde i   1 .
2

(A) 0 (B) 1 (C) 2 (D) 3 (E) 4

AMC 12B 2020 #17

1.22 MD
Sean an  y bn  las sucesiones de números reales tales que 2  i   a n  bn i
n


an bn
para todo entero n  0 , donde i   1 . Determina 
n 0 7
n

3 7 1 9 4
(A) (B) (C) (D) (E)
8 16 2 16 7
AMC 12A 2020 #22

1.23 M
Supongamos que para cierto número complejo c , el polinomio
  
P( x )  x 2  2 x  2 x 2  c x  4 x 2  4 x  8 
Tiene exactamente cuatro raíces diferentes. Determina z .

(A) 2 (B) 6 (C) 2 2 (D) 3 (E) 10

AMC 12A 2019 #14

1.24 F
Determina la cantidad de números complejos z tales que 0 , z y z 3 , representados por
puntos en el plano complejo, son los tres vértices de un triángulo equilátero.

(A) 0 (B) 1 (C) 2 (D) 4 (E) una cantidad infinita.

AMC 12B 2019 #17

1.25 D
1 1
Sea     i 3 . Denotamos por S el conjunto de todos los puntos del plano
2 2
complejo de la forma a  b  c 2 , donde 0  a  1 , 0  b  1, 0  c  1 . Determina el
área de S.

1 3 3 1
(A) 3 (B) 3 (C) 3 (D)  3 (E) 
2 4 2 2
AMC 12B 2019 #24
1.26 D
Sea
1 i
z .
2
Determina
z 12 2 2
2  1
z z
1
z
1 1 
 z 2  z 3  ...  z12   12  2 2  32  ...  122 
z 

(A) 18 (B) 72 36 2 (C) 36 (D) 72 (E) 72 36 2

AMC 12A 2019 #21

1.27 F
Las soluciones de las ecuaciones z 2  4  4 15i y z 2  2  2 3i , donde i   1 ,
forman los vértices de un paralelogramo en el plano complejo. El área de este
paralelogramo se puede escribir como p q  r s , donde p, q, r, s son enteros
positivos y ni q ni s son divisibles por el cuadrado de ningún número primo.
Determina p  q  r  s .

(A) 20 (B) 21 (C) 22 (D) 23 (E) 24

AMC 12A 2018 #22

1.28 F
Las soluciones de la ecuación  z  6  81 están conectadas en el plano complejo
8

formando un polígono regular, tres de cuyos vértices denotamos por A, B y C.

Determina el área mínima del triángulo ABC .

1 3 3 1
(A) 6 (B) 2 (C) 2 3  3 2 (D) 2 (E) 3 1
6 2 2 2

AMC 12B 2018 #16

1.29 M
3i 1 i 3
Sea w  y z , donde i   1 . Determina el número de pares
2 2
ordenados  r , s  de enteros positivos que no exceden de 100 satisfaciendo la ecuación
i  wr  z s .

AIME I 2022 #4
1.30 D Problema solucionado paso a paso en vídeo .

Sea P( x)  x 2022  x1011  1 , ¿Cuál de entre los siguientes polinomios es un factor de

P (x ) ?

(A) x 2  x  1 (B) x 2  x  1 (C) x 4  1 (D) x 6  x 3  1 (E) x 6  x 3  1

AMC 12A 2022 #21

Solución: https://youtu.be/5O_LDp1m2SM

1.31 MF
n n
 1  i 3   1  i 3 
Sea f (n)    
 

 donde i   1 . Determina f (2022 ) .
 2   2 

(A) -2 (B) -1 (C) 0 (D) 1 (E) 2

AMC 12B 2022 #11

1.32 M Problema solucionado paso a paso en vídeo .

2 2
Sea   cos  i  sin , donde i   1 . Determina el valor del producto
7 7

  
6
3k
 k 1
k 0

AIME II 2023 #8

Solución: https://youtu.be/Yfqd_C7Cks4

1.33 M
Sea c un número real, y sean z1, z2 los dos números complejos satisfaciendo la ecuación
z 2  c z  10  0
1 1
Los puntos z1 , z2 , , son los vértices de un cuadrilátero (convexo) Q en el plano
z1 z2
complejo. Determina el valor más cercano a c cuando el área de Q alcanza su valor
máximo.

(A) 4.5 (B) 5 (C) 5.5 (D) 6 (E) 6.5

AMC 12A 2022 #22

2 Números complejos aplicados a la trigonometría.
2.1 F
Si i 2  1 , determina el valor de la suma
cos 45º i cos135 º ...  i n cos(45  90nº )  ...  i 40 cos(3645 º )

AHSME 1977 #16

2.2 M

Calcula cot cot 1 (3)  cot 1 (7)  cot 1 (13)  cot 1 (21) 
2.3 M
Determina todos los valores enteros de  con 0    90 para los cuales
cos  º i sin  º 75
es un número real.

ARML 1995 #T5

2.4 M
Demuestra que
1  cot 0.5º 
cos 0º  cos 1º  cos 2º ...  cos 89 º 
2

2.5 M
Determina 2 cos 72º

2.6 M
2 4 8
Sean a  cos , b  cos , c  cos . Calcular ab  bc  ac .
7 7 7
3 Números complejos aplicados a la geometría.
3.1
En el plano complejo 2  i es el centro de un cuadrado y 5  5i uno de sus vértices.
Halla los otros vértices del cuadrado.

3.2
Determina el lugar geométrico de los números complejos z que verifican:
z  2i  2 z  3

3.3 F
Demuestra que los puntos medios de cualquier cuadrilátero forman siempre un
paralelogramo.

3.4 M
Demostrar, mediante números complejos, el Teorema del Coseno:

a 2  b 2  c 2  2ab cos A

3.5 D
Sea A0 A1 A2 A3 A4 A5 A6 un polígono regular de 7 lados. Demostrar que
1 1 1
 
A0 A1 A0 A2 A0 A3
3.6 D
Demostrar que la circunferencia inscrita y la circunferencia de los Nueve Puntos son
tangentes entre sí. El punto de tangencia se denomina "Punto de Feuerbach" del
triángulo.

3.7 M
Sean Q1 ,..., Qn n puntos equiespaciados en una circunferencia de radio 1 centrada en O.
Sea P un punto de la semirrecta OQ1 tal que OP  2 . Determina el producto
n

 PQ
k 1
k

en función de n.

3.8 F
Dado un cuadrilátero cíclico ABCD , sean P y Q los puntos simétricos de C respecto a
AB y AD respectivamente. Demuestra que la recta PQ pasa por el ortocentro de ABD .
3.9 MF
Sea O el circuncentro y H el ortocentro de un triángulo ABC . Sea Q un punto tal que
O es el punto medio de HQ. Sean T1 , T2 y T3 los respectivos baricentros de BCQ ,
CAQ y ABQ . Demostrar que
4
AT1  BT2  CT3  R
3
donde R denota el circunradio de ABC .

Yug MO 1990, 3-4 grade

3.10 MD
Sea un triángulo ABC con incentro I, sean E y F los puntos de tangencia entre la
circunferencia inscrita y los lados CA y AB , respectivamente. Sean G y H los puntos
simétricos respectivos de E y F respecto el centro I. Sea Q el punto de corte de GH y
BC , y sea M el punto medio de BC . Demostrar que IQ y IM son perpendiculares.

Taiwan TST 2014

3.11 M
Una partícula está localizada en el punto de coordenadas (5,0) . Se define un
movimiento de la partícula como la rotación de  / 4 radianes alrededor del origen
seguida de una traslación de 10 unidades hacia la derecha*. Determinar la posición de la
partícula después de 150 movimientos.

AIME II 2008 #9

* "in the positive x-direction" en el original en inglés.

3.12 M
Un gusano se mueve durante todo el día y duerme durante toda la noche. Empieza en el
punto O y avanza una distancia de 5 unidades hacia el este. Cada noche, el gusano gira
60º en el sentido contrario al de las agujas del reloj, y al día siguiente avanza en esta
nueva dirección la mitad de la distancia del día anterior. Este gusano se acerca más y
más a un cierto punto P. Determina las coordenadas de dicho punto.

AIME I 2020 #8

Nota: Este problema se plantea y se resuelve en PA/11.2 mediante Geometría analítica

y sucesiones de números reales.

3.13 F
Considere en C, el conjunto de números complejos, z1  3  4i y z2  4  6i .
z1  i 6  2 z1
Sea w 
z1  z2
En el plano complejo, la condición z  w  Im( z )  0  Re( z )  0 define un arco de
circunferencia. Determine su longitud.

PAU PORTUGAL 2019 635 #10

3.14 D
Dada la función f ( z )  z 2  19 z , sabemos que existen números complejos z con la
propiedad de que z , f (z ) y f  f (z) son los vértices de un triángulo rectángulo en el
plano complejo, con ángulo recto en f (z ) . Existen enteros positivos m y n tales que
uno de estos valores de z es m  n  11 i . Determina m  n .

AIME I 2019 #12

3.15 MF
Sea R la región del plano complejo consistiendo en todos los números complejos z que
se pueden escribir como la suma de los números complejos z1 y z2, donde z1 pertenece
al segmento de extermos 3 y 4i, y z2 tiene magnitud igual o menor que 1. Determina el
entero más cercano al área de R.

(A) 13 (B) 14 (C) 15 (D) 16 (E) 17

AMC 12A 2022 #13

4 Números complejos aplicados a la trigonometría (2).
Resumen teórico.
Trabajaremos con números complejos de módulo 1, es decir, números que se pueden
expresar en forma trigonométrica como

z  cos   i sin 

En este caso, y aplicando las fórmulas de Moire, tenemos

z n  cos   i sin    cos n  i sin n

n

y puesto que su módulo es 1, su inverso es el conjugado:

z  n  cos   i sin    cos n  i sin n

n

De estas dos igualdades podemos aislar cos n y isin n :

z n  z n z n  z n
cos n  i sin n 
2 2

4.1 D
Resolver la ecuación
cos 2   cos 2 2  cos 2 3  1

IMO 1962 #4

Nota: Este mismo problema se resuelve en PT/#1.15 mediante identidades trigonométricas. Se pretende
ahora resolverlo mediante números complejos.
Soluciones.
1.1
2 x(k x  4)  x 2  6  0  2kx2  8x  x 2  6  0  (2k  1) x 2  8x  6  0

Una ecuación de segundo grado no tendrá raíces reales cuando su discriminante sea negativo:
D  (8) 2  42k  1  6  64  48k  24  48k  88  0  48k  88  k 
88 11
  1.83
48 6

Luego la solución es k  2 .

1.2
Si  y  son las raíces de la ecuación cuadrática x 2  px  q  0 , entonces
 p  (   )
0  ( x   )( x   )  x 2  (   ) x     x 2  px  q  0  
q   

Puesto que z es una raíz de la unidad y z  1, sabemos que 1  z  z 2  z 3  z 4  z 5  z 6  0 ,

luego

    1  z  z 2  z 4  z 3  z 5  z 6  1  0  1  1

Por otro lado,

   z 4  z 5  z 6  3z 7  z 8  z 9  z10 
   
 z 4 1  z  z 2  3z 3  z 4  z 5  z 6  z 4 1  z  z 2  z 3  z 4  z 5  z 6  2 z 3 
 z 2 z   2 z
4 3 7
2

Así pues, la ecuación buscada es x 2  x  2  0 , y ( p, q)  (1,2)

1.3
 1  1i
i z 4 z  1  0  i z 4 z  1  z 4 z   2 i
i i
 z4 z  i  1  1  z4 z  z z  z  z  1
4 5

1
Luego las soluciones pertenecen a la circunferencia unidad, y por tanto z  .
z

1  1  1i
0  i z4 z 1  i z4  1  i z 3  1  i z 3  1  z 3   2 i
z i i

Luego las soluciones son las tres raíces cúbicas de i

i  1cos90ºi sin 90º 

 90 º 360 º
k   k  30 º 120 º k k  0, 1, 2
3 3

0  30 º 120 º0  30 º  z0  cos 30 º i sin 30 º

1  30º120º1  150º  z1  cos150ºi sin 150º
2  30º120º2  270º  z2  cos 270ºi sin 270º

1.4
Observamos que z  i es una solución de la ecuación. En efecto:
0  (i)3  (1  i)(i)2  (1  i)(i)  i  i  (1  i)(1)  (1  i)i  i  i  1  i  i  1  i  0

Ahora, realizando una división sintética de polinomios, vemos que:

z 3  (1  i) z 2  (1  i) z  i
 z2  z 1
z i

1  (1) 2  4 11 1   3 1  3i
Las soluciones de 0  z 2  z  1  z   
2 1 2 2

Vemos que las tres soluciones pertenecen a la circunferencia unidad:

1 3 1 3 1 1
 i  i 1 3  4 1
2 2 2 2 2 2
i 1

Luego la solución es z  1

1.5
Sea z  a  164i
 4i  z  4iz  n  
z
zn
a  164 i  4ia  164 i  n  
a  164  4  656
a  164 i  4ai  164  4  4ni  
164 i  4ai  4ni  4a  4n i  164  4a  4n

164  4(656 )  4n  n  697

1.6
Se nos pide determinar el número de soluciones de la ecuación z 2002  z
Una posible solución trivial es z  0 .
Pero si z  0 , está claro que z  1 , pues
z 2002  z  z  z 2002  z  z
2002

y una ecuación x 2002  x , con x  z  IR solo tiene soluciones x  0 o x  1 .

 1
Pero si z  1 entonces z  , y por lo tanto
z
1
z 2002  z   z 2003  1 y z es alguna de las 2003 raíces de grado 2003 de la unidad.
z

1.7
Supongamos que se cumple az 3  bz 2  cz  d  0 . Entonces, multiplicando a izquierda y
derecha por z :
bz 3  cz 2  dz  a  0  bz 3  cz 2  dz  a
a  0
0  z  0  z az 3  bz 2  cz  d   az 4  bz 3  cz 2  dz  az 4  a  a ( z 4  1)   4
z  1  0

Puesto que, por hipótesis, a  0 , llegamos a z 4  1 , es decir, z es alguna de las cuatro raíces de
grado 4 de la unidad: 1,1, i,i .

az  bz  cz  d  0
3 2

 3

bz  cz  dz  a  0
2

a  b  c  d  0
Para z  1 :   abcd  0
b  c  d  a  0

 a  b  c  d  0
Para z  1 :   a  b  c  d  0
 b  c  d  a  0

 ai  b  ci  d  0  0  0i  ai 2  bi  ci 2  di  a  bi  c  di
Para z  i : 
 bi  c  di  a  0

ai  b  ci  d  0
Para z  i : 
bi  c  di  a  0  0  0i  ibi  c  di  a   b  ci  d  ai

No existe ningún conjunto a, b, c, d para los cuales sean solución las cuatro raíces cuartas. En
efecto: Puesto que se debe cumplir para los cuatro valores, los complejos a, b, c, d deben
satisfacer el sistema:
a  b  c  d  0
 a  b  c  d  0


 bi  c  di  a  0
ai  b  ci  d  0

Y este sistema solo tiene solución a  b  c  d  0 , contradiciendo la hipótesis del enunciado.

Sin embargo, es fácil encontrar valores a, b, c, d para los cuales se cumpla alguna de las cuatro.
Por ejemplo, puesto que z 4  1 , sabemos que z 3  z 2  z  1  0 , luego tomando
a  b  c  d  1 obtendremos tres de las cuatro soluciones: {1, i,i}
1.8

El complejo v  w se representa geométricamente como el vector de la diagonal del

paralelogramo determinado por v y w . Observamos que

v  w  1  el ángulo entre v y w es de 120º, que es cuando determinan dos triángulos

equiláteros:

v  w  1  v, w  120 º

Sean v y w dos raíces distintas de la ecuación z1997  1  0 .

Sabemos que en la circunferencia unidad hay 1997 complejos diferentes que cumplen esta
condición, repartidos homogéneamente por toda la circunferencia.
2
En 240º habrán 1331 valores posibles ( 1997  1331 .33 ) , luego, como no pueden ser el
3
mismo, descartamos 1, 1330 en total.

Una vez fijado el primero, la probabilidad de que el segundo "caiga" dentro de 120º a su
izquierda o a su derecha es de 1330 /1997

Nota 1: En el libro donde encuentro este problema la solución propuesta es 1331 /1997 .

Nota 2: En el problema AIME original se pide la probabilidad de que

v w  2 3
1.9
Sean p( x)  x n1  x n  1 y q( x)  x 2  x  1 . El polinomio p (x ) será divisible por q (x ) si y
solo si p( x)  q ( x)h( x) , pero entonces
q( x)  0  h( x)  q( x)h( x)  0 h( x)  0 , es decir, las raíces de q (x ) serán raíces de p (x ) .

La raíz primitiva de tercer grado de la unidad   e 2i / 3 es raíz de q (x ) , luego también lo será
de p (x ) .

1 3
  e 2i / 3  cos 120 º i sin 120 º  i
2 2
1 3
 2   i
2 2
 3 1

n  1   2    1  0 cierto.
n  2   3   2  1  0  1    1  0    2 no es cierto.
n  3   4   3  1  0    1  1  0    2 no es cierto.

n  3  n  3a  b , con 0  b  2

 
 n1   n  1   3ab1   3ab  1   3a  b1   b   1   3   b1   b  1 
a

 
 1  b1   b  1   b1   b  1  0  b  1

Luego será divisible para todos aquellos n de la forma n  3k  1 , es decir n  1mod 3 .

1.10
1 z2 1
2 sin   z    2 sin  z  z 2  1  0  z 2  2 sin  z  1 
z z
2 sin   (2 sin  ) 2  4 1 1
z  sin   sin 2   1  sin    cos 2  
2
 sin   i cos   sin   i cos 

(aquí hemos aplicado  x   x )

Los posibles valores de z son z1  sin   i cos y z2  z1 .

1
En todo caso, z  1 , y por lo tanto z n  n  z n  z n y su valor es el mismo para las dos
z
posibles soluciones. Por lo tanto, solo hace falta estudiar uno de los dos casos.

Supongamos que z  sin   i cos  . Entonces:

   
z  sin   i cos   cos     i sin      cos   i sin 
2  2 
 
en donde hemos definido    .
2

z n  cos n  i sin n
1
n
 z n  cos n  i sin n
z
1  
z n  n  cos n  i sin n  cos n  i sin n  2 cos n  2 cos n   
z 2 

Fuente de la solución: Compiled and Solved Problems in Geometry and Trigonometry (Florentin Smarandache), página 76 .

1.11

z  1n  z  1n  0  z  1n  z  1n  z  1n  z  1n  z  1 n

1
z 1  z  1n

 z 1
n

  1
 z 1 

z 1
Es decir, es una raíz n-ésima de la unidad:
z 1

z 1 2 k 2 k
  k  cos  i sin k  0 ,1, ..., n  1
z 1 n n

z 1 2 k 2 k  2 k 2 k 
 cos  i sin  z  1   cos  i sin ( z  1) 
z 1 n n  n n 
 2 k 2 k   2 k 2 k 
  cos  i sin  z   cos  i sin 
 n n   n n 
 2 k 2 k   2 k 2 k 
z   cos  i sin  z   cos  i sin  1 
 n n   n n 
  2 k 2 k    2 k 2 k 
1   cos  i sin   z   cos  i sin  1 
  n n   n n 
 2 k 2 k  2 k 2 k
 cos  i sin  1 z  cos  i sin 1 
 n n  n n
2 k 2 k
cos  i sin 1
z n n  (*)
2 k 2 k
cos  i sin 1
n n
 2 k 2 k k k k
cos  i sin  1  1  2 sin 2  i 2 sin cos 1 
n n n n n
k k k k  k k 
 2 sin 2  i 2 sin cos  2 sin   sin  i cos 
n n n n  n n 

2 k 2 k k k k
cos  i sin  1  2 cos 2  1  i 2 sin cos 1 
n n n n n
k k k k  k k 
 2 cos 2  i 2 sin cos  2 cos  cos  i sin 
n n n n  n n 

k  k k  k  k k 
2 cos  cos  i sin  2 cos  cos  i sin 
n  n n  n  n n 
(*)   
k  k k  k  k k 
2 sin   sin  i cos  2(i ) sin  i sin  cos 
n  n n  n  n n 
k k
2 cos cos
 n  n  i cot   k 
k k  n 
2(i ) sin  i sin
n n
Fuente de la solución: Compiled and Solved Problems in Geometry and Trigonometry (Florentin Smarandache), página 76 .

1.12
z10  13 z  1  0  z10  13 z  1  i10 13 z  1  i (13 z  1)  
10 10 10 10

10 10
z10  z   z 
 1     1     1
i(13 z  1) 10
 i (13 z  1)   13i z  i 

z 2k 2k
Luego   k  cos  i sin k  0, 1,..., 9 es una de las diez raíces de grado 10 de
13i z  i 10 10
la unidad.

  k  z   k 13i z  i   13i k z  i k  i k  13i k z  z  13i k  1z 

z
13i z  i
i k 1 1
z  
13i k  1 13  1 13  i  k
i k
1 1 (i ) 1 1
Donde hemos utilizado que   i  i k
i k i (i )  k k
1
Luego las soluciones de la ecuación son de la forma zk 
13  i  k

Las raíces de grado 10 de la unidad presentan las siguientes propiedades:

 5  1   0
 6  1   4
 7   2   3
 8   3   2
 9   4  1

Luego:
1 1 1 1 1
z0    z5     z 0  z 0  z5
13  i  0 13  i 13  i  5 13  i (1) 13  i
1 1 1 1
z1    z4    z1  z1  z4
13  i 1 13  i 9 13  i  4 13  i  9
1 1 1 1
z2    z3    z 2  z 2  z3
13  i  2 13  i 8 13  i  3 13  i  8
1 1 1 1
z6    z9    z 6  z 6  z9
13  i  6 13  i 4 13  i  9 13  i  4
1 1 1 1
z7    z8    z7  z7  z8
13  i  7 13  i 3 13  i  8 13  i  3

1 1 1 1 1 1 1
Puesto que  2 , nos piden calcular 2
 2 2 2 2
ri ri ri z0 z1 z2 z6 z7

1 1 1 1 2
zk    zk     
2
13 i
13  i  k 13  i  k 2 2 k
13  i  k zk

2k 2k 2k 2k

 k  cos  i sin   k  cos  i sin 
10 10 10 10
2k 2k 2k 2k
i  k  i cos  sin  13  i  k  i cos  sin  13 
10 10 10 10
2k  2k
2
2 
13  i  k  cos 2   sin  13  
10  10 
2k 2k 2k 2k
 cos 2  sin 2  13 2  2  13 sin  1  13 2  26 sin 
10 10 10 10
2k
 170  26 sin
10
2 2 2 2 2
13  i  0  13  i 1  13  i  2  13  i  6  13  i  7 
 2  0 2  1 2  2 2  6 2  7 
 170  5  26 sin  sin  sin  sin  sin   (*)
 10 10 10 10 10 
 2  0 2  1 2  2 2  6 2  7
sin  sin  sin  sin  sin 
10 10 10 10 10
 2 6 7
 sin 0  sin  sin  sin  sin 
5 5 5 5
 2  5    5 2 
 sin  sin  sin     sin   
5 5  5 5  5 5 
 2    2 
 sin  sin  sin      sin    
5 5  5  5 
 2    2 
 sin  sin  sin    sin  0
5 5 5  5 

(*)  170  5  26  0  170  5  850

1.13
Primera versión. Resolviendo el sistema.
 xy  80  320 i  80 (1  4i )

 yz  60
 zx  96  24i  24 (4  i )


60 
yz  60  y   60 x 80 4 4
z   x  80 (1  4i)    (1  4i)   (1  4i)  x   z (1  4i)
z z 60 3 3
xy  80 (1  4i) 

 4  24 (i  4)
zx  24 (4  i)  z  z (1  4i)   24(4  i)  z 2   18i
 3  4
 (1  4i)
 3 
Las raíces cuadradas de i son 
1
1  i  , luego las raíces cuadradas de  18i son
2
z  3i  1

Sea z  3i  1 . Entonces:

60 60
y   10  10 i
z 3(i  1)

 80(1  4i)
xy  80(1  4i)  x   20  12i
 10  10i

Finalmente:
x  y  z  7  5i  a  7, b  5  a 2  b2  72  52  49  25  74

Nota: las condiciones del enunciado se cumplen tanto para

z  3i  1 , y  10  10i , x  20  12i como para z  3i  1 , y  10  10i , x  20  12i .
Segunda versión. Mediante notación exponencial.
Pasamos a notación exponencial: x  r1ei1 , y  r2 ei 2 , z  r3e i 3 .

xy  r1  r2   80  320 i  80 17
yz  r2  r3  60  60
xz  r1  r3   96  24i  24 17

Este sistema tiene por solución: r1  4 34 , r2  10 2 y r3  3 2

xy  r1r2 ei (1  2 )  80  320 i  80 17 ei arctan(4)  1   2  arctan(4)

yz  r2 r3ei ( 2 3 )  60  60ei 0   2   3  0   3   2
xz  r1r3e i (1  3 )  96  24i  24 17 e i arctan(1/ 4 )  1   3  arctan( 1 / 4)

1   2  arctan( 4) 
  2 2  arctan( 4)  arctan( 1 / 4)   / 2   2   / 4
1   2  arctan( 1 / 4)
Y por tanto  3   2   / 4 .

De todo lo anterior deducimos que y  10 2ei / 4  10  10i , z  3 2ei / 4  3  3i

y utilizando xy  80  320 i , deducimos que x  20 12i .

Como en la primera versión, basta sumar x  y  z para llegar al resultado 74.

Fuente de esta versión: https://artofproblemsolving.com/wiki/index.php/2018_AIME_II_Problems/Problem_5

1.14
Vemos que este problema es una aplicación directa de 20.12.3b:
(c  a )  ( d  b )
A, B, C y D son cocíclicos o colineales   IR
(c  b)  ( d  a )
En nuestro caso:
z3  z1 z  z2 z1  z3 z  z2
    IR  z1 , z2 , z3 , z cocíclicos o colineales.
z2  z1 z  z3 z1  z2 z  z3

Está claro que colineales no lo podrán ser, pues no lo son ya z1 , z2 , z3 , luego la condición a del
enunciado equivale a que z pertenezca a la circunferencia circunscrita determinada por
z1 , z2 , z3 .
La condición b del enunciado sitúa el punto z en el extremo superior de la circunferencia:
El centro O de esta circunferencia pasa por la mediatriz del segmento z1 z2 , es decir, a una
83  39
altura y   61 .
2
El centro O pasará también por la mediatriz del segmento z2 z3 , que calcularemos por
geometría analítica:
z2  18  39i , z3  78  99i ,
99  39 60 1
m1    1  m2   1
78  18 60 1
Punto medio: P 
18  78,39  99   96,138   48,69 
2 2
y   x  b  69  48  b  b  69  48  117
La mediatriz es y   x  117 , y imponiendo además y  61 tenemos que el centro es
61   x  117  x  117  61  56  O  (56,61)

La parte real de z será 56.

1.15
Primera versión. Calculando explícitamente las raíces.
 64  64 (cos 180 º i sin 180 º )

Luego 6  64  6 64 cos  k  i sin  k  , con k 

180 360
 k  30  60 k k  0,1,...5
6 6
 0  30 º
1  30  60  1  90 º
 2  30  60  2  150 º
 3  30  60  3  210 º
 4  30  60  4  270 º
 5  30  60  5  330 º
Las únicas raíces con parte real positiva son z0  2cos 30  i sin 30  y su conjugado
z5  2cos 330  i sin 330 
Su producto es z0 z5  2  2cos(30  330 )  i sin( 30  330 )  4
Segunda versión. Sin tener que calcular las seis raíces explícitamente.
Sabemos que las seis raíces de  64 están distribuidas equiespaciadamente en la circunferencia
de radio 6 64  2 .
Vemos que  2i son raíces de  64 , luego existirán exactamente dos con parte real positiva, y
serán conjugadas la una de la otra.
Sabemos que el producto de un número por su conjugado es el cuadrado del módulo, luego su
producto será 22  4 .

1.16
Primera versión.
Pasando a forma exponencial: z  ei ,
z 6 !  z 720  e 720 i
z 5!  z120  e120 i
   
z 6!  z 5!  IR  Im z 6!  Im z 5! , y, puesto z  1 , esto solo puede pasar si sucede una de las
dos condiciones siguientes:
a) z 6!  z 5!  e720 i  e120 i  720  120  600  0 ,
ecuación que tiene 600 soluciones, puesto que estamos trabajando mod 2 .
b) z 6!, z 5! son reflexiones la una de la otra respecto del eje imaginario.
Luego e720i  e 120  i  720     120  840    , ecuación que tiene 840 soluciones.
Un total de 600  840  1440 soluciones, y por tanto su residuo al dividirlo entre 1000 es 440.

Segunda versión.
1
Puesto que z  1 , z 
z 1
Puesto que z 6 !  z 5! es real, será igual a su conjugado, luego
1 1 1 1
z 6!  z 5!  z 720  z120  z 720  z120  z 720  z 120  720  120  z 720  z120  720  120
z z z z
720
Multiplicando ambos lados por z obtenemos un polinomio de grado 1440 , que tendrá 1440
soluciones complejas.

Tercera versión.
   
z 6!  z 5!  IR  Im z 6!  Im z 5!  sin( 720  )  sin(120  )  sin( 720  )  sin(120  )  0

Aplicando la identidad trigonométrica "Resta-A-Producto", tenemos

 720   120    720   120  
0  sin( 720  )  sin( 120  )  2 cos  sin  
 2   2 
  840  
cos 2   0
 840    600    840    600     
 2 cos  sin    2 cos  sin  
 2   2   2   2  sin  600    0
  2 
La primera ecuación tiene 840 soluciones y la segunda 600, haciendo un total de 1440
soluciones.

Fuente: Soluciones #3, #4 y #2 respectivamente de la web "artofproblemsolving.com"

1.17
1  3i
El número p  en notación exponencial es e 60º i , luego:
2
p 2  e120º i  cos120 º i sin 120 º   cos 60 º i sin 60 º
p3  e180º i  1
p6  e360º i  1 , y por tanto p 2016  p3366  p3   366
 1366  1


f ( z )  a z 2018  b z 2017  c z 2016  z 2016 a z 2  b z  c 

2015  2019 3i  f  p   p 2016 a p 2  b p  c  
 a cos 60 º  ai sin 60  b cos 60 º bi sin 60 º  c 
b  a cos 60 º  c  2015
 b  a cos 60 º  c  (a  b)i sin 60 º  
(a  b) sin 60 º  2019 3

3
(a  b) sin 60 º  2019 3  (a  b)  2019 3  a  b  4038
2

Puesto que, por hipótesis, a, b  2019 , a  b  4038  a  b  2019

Finalmente, sustituyendo en la primera ecuación:
b  acos60ºc  2015  c  2015
Luego f (1)  a12018  b12017  c12016  a  b  c  2019  2019  2015  6053 , y su residuo al
dividir por 1000 es 53.

1.18
El conjunto A consta de tres puntos:
A1  (2,0)
A2  2cos 120 º i sin 120 º 
A3  2cos 240 º i sin 240 º 

Observamos, por Ruffini, que 8 es solución de la ecuación z 3  8 z 2  8 z  64  0 . Las otras dos

soluciones son  8 . Las tres son números reales. Luego el conjunto B consta de tres puntos:
B1  (8,0)
B2   8,0
B3   8 ,0 

Representando estos puntos en un plano cartesiano vemos que la distancia máxima está entre
A2 y B1 (la misma que hay entre A3 y B1 )
 
A2  2cos 120 º i sin 120 º   2  1 / 2, 3 / 2   1, 3   
Luego
dist  A2 , B1   8  (1)2  0  
2
3  92  3  84  2 21 (D)

1.19
Teniendo en cuenta que z  z z  z  z z   z 2 z 2 , y definiendo a  z 2 , b  z 2
2 4 2

   
v  z 6  3 z z 2  z 2  z 6  z 6  3z 2 z 2 z 2  z 2  z 6  a 3  3ab(a  b)  b3 
2

 a3  b3  3ab(a  b)  (a  b)(a 2  ab  b 2 )  3ab(a  b) 

 (a  b)(a 2  ab  b 2  3ab)  (a  b)(a 2  2ab  b 2 )  (a  b)(a  b) 2  (a  b)3 

 z2  z 2 3
( A)

1.20
Representando el número z  1 2i :

Vemos que su argumento está en el tercer cuadrante, más cerca de 3 / 2 que de  , luego la
solución es D.

1.21
1  i 3
Sea p( x)  x5  a x4  b x3  c x2  d x  2020 . Observamos que  e 2  / 3i .
2
Luego, si r es una raíz, también lo serán r e2 / 3i y r e4 / 3i .
Puesto que el polinomio es de grado 5, tendrá también dos raíces más.
Sea w una de estas dos raíces. Pero entonces we2 / 3i y we4 / 3i también serían raíces, lo que no
puede pasar con un polinomio de grado 5 a menos que w sea r , r e2 / 3i o r e4 / 3i .

Así pues, el polinomio no puede tener más raíces que estas, y por tanto se puede escribir como

p( x)  x  r  x  r e2 / 3i
m
 x  r e
n

4 / 3i p

Además, por Vieta sabemos que existe un único posible valor para la magnitud de r como
r  2020 (????), luego el conjunto de polinomios equivale al conjunto de posibles ternas
5

(m, n, p ) , cumpliendo m  n  p  5 .
Además, para que el polinomio resultante tenga coeficientes reales se deberá cumplir n  p ,
puesto que r e2 / 3i y r e4 / 3i son conjugados.
Con todo esto llegamos a las dos únicas posibles soluciones de (m, n, p ) , que son (1,2,2) y
(3,1,1) , es decir, hay dos posibles polinomios (C).

Fuente: https://artofproblemsolving.com/wiki/index.php/2020_AMC_12B_Problems/Problem_17

1.22
Primera versión. Mediante una serie geométrica compleja.
Elevamos al cuadrado la igualdad del enunciado:
2  i n  an  bni  2  i 2n  an  bni 2  an2  bn2  2anbni 
anbn 
1
2
 2n 1
2

Im 2  i   Im 2  i 
2
    12 Im3  4i  
n n

Y por tanto


an bn  2
1

Im 3  4i 
n

1   3  4i   1 
n

1

 7

n 0 7
n
 
n 0 7n
 Im    Im 
2  n  0 7 n  2  1  3  4i  16
( B)
 
 7 

Segunda versión. Aplicando la fórmula de Moire y serie geométrica compleja.

Aplicamos la fórmula de Moire:
 
a  r cos   sin  i   a n  r n cos( n )  sin( n ) i 

En nuestro caso:
r  2 2  12  5
1
  arctan 
2
2  i n    cos(n )  sin( n )i  
n
5
  5   5  cos( n )  sin( n )  5 sin( 2n )
n n
 anbn n

n
a b 15
 n n n    sin( 2n )
7 27
En donde hemos aplicado la identidad trigonométrica sin( 2 x)  2 sin( x) cos( x)
 
Ahora observamos que sin( 2n )  Im e2in 
1    5  2in 
 n n
an bn  1  5 
Con lo cual  n     sin( 2n )  Im    e
n 0 7 n 0 2  7  2  n 0  7  

 n
 5  2in 1
En donde    e
n 0  7 
es una serie compleja convergente igual a
5
1  e2i
7
sin 2   2 cos sin    2
2 1 4

5 5 5

cos2   cos 2    sin 2     

4 1 3
5 5 5

e2i  cos2   sin 2 i   i

3 4
5 5
1 1 7 7 7
   i , cuya parte imaginaria es .
5 2i 53 4  8 8 8
1 e 1   i 
7 75 5 
17 7
Finalmente, la solución es  ( B)
2 8 16

Fuente de estas dos versiones: www.artofproblemsolving.com

1.23
Primera versión.
2  (2)2  4  1  2 2   4 2  2i
x2  2x  2  0  x    1 i
2 2 2
4  (4) 2  4  1  8 4   16 4  4i
x2  4x  8  0  x     2  2i
2 2 2

Las raíces de P (x) son estas cuatro anteriores más las raíces de x 2  c x  4 , luego para que
tenga exactamente cuatro raíces diferentes, las raíces de x 2  c x  4 deben ser alguna de estas
cuatro.
x2  4 x  4
2
x2  4
0  x  c x  4  cx  x  4  c 
2 2
c 
x x x
Si x 1  i :
x 2  (1  i )(1  i )  1  1  2i  2i  x 2  4  4  2i 
x 2  4  4  2i  42  22  16  4  20

x  1  i  12  12  2
20
c  10
2
Si x  2  2i :
x 2  (2  2i )(2  2i )  4  4  8i  8i  x 2  4  4  8i 
x 2  4  4  8i  42  82  16  64  80  4 5

x  2  2i  22  22  8  2 2
4 5
c  10
2 2

Con los casos x 1  i , x  2  2i se demuestra igualmente que c  10 (E)

Segunda versión.
Siguiendo el desarrollo anterior, vemos que el polinomio x 2  c x  4 debe descomponer en dos
de los factores
x  1  i  , x  1  i  , x  2  2i  , x  2  2i 

Puesto que el término independiente es 4, vemos que las dos únicas combinaciones aceptables
son:
x 2  c x  4  x  (1  i)x  (2  2i)  c  (1  i  2  2i)  (3  i)  i  3 
c  12  32  10

x 2  c x  4  x  (1  i)x  (2  2i)  c  (1  i  2  2i)  (3  i)  i  3 

c  12  32  10

1.24
z  z 3  z 
3
i
  z  1  z  1  z  e para cierto ángulo  .
2

z0 

z  ei  z 3  ei 3 , luego el ángulo determinado por las rectas Oz y Oz 3 será 3    2 .

 
Así pues, puesto que buscamos un ángulo de 60 º  rad , 2   2k .
3 3
 
Para 0      .
2 6
 5
Para        .
2 6
Por simetría, para     2 nos encontraremos con otros dos valores, por lo que resulta un
total de 4 complejos diferentes (D).

1.25
Vamos a resolver este problema interpretando los números complejos como vectores en el
plano cartesiano.
 1 1  1 1  1 1  1 1 1 3
    i 3   2     i 3    i 3    i 3 i 3 
2 2  2 2  2 2  4 4 4 4
1 1
   i 3 
2 2

Los puntos de la forma b  c 2 , con 0  b, c  1 determinarán un rombo de vértices 0,  ,

 2   y    2      1

Si cada uno de estos puntos z los podemos mover, además de la forma a  z , con 0  a  1 ,
todo el rombo anterior se desplaza en horizontal a lo largo de una unidad de longitud

Esta figura se puede interpretar como seis triángulos equiláteros de lado 1 para calcular su área:
1 1 3
A6   3  3 (C)
2 2 2

1.26
1 i
En primer lugar vemos que z   145º es la unidad principal de orden 8, es decir:
2
z 2  i , z 3  1135º , z 4  1 , z 5  1225º , z 6  i , z 7  1315º , z 8  1 .
 z1  z, z 2  z 4  1, z 3  z 9  z, z 4  z16  1, z 5  z 25  z,
2 2 2 2 2

z 6  z 36  z 4  1, z 7  z 49  z, z 8  z 64  1, z 9  z 81  z ,
2 2 2 2

z10  z100  z 4  1, z11  z121  z, z12  z144  1

2 2 2

Y por tanto:
z1  z 2  z 3  ...  z12  z  1  z  1  z  1  z  1  z  1  z  1  6 z
2 2 2 2

Por otro lado, puesto que z pertenece a la circunferencia unidad, se cumple z 1  z

y por tanto
z 1  z , z 2  1, z 3  z , z 4  1, z 5  z , z 6  1
2 2 2 2 2 2

z 7  z , z 8  1, z 9  z , z 10  1, z 11  z , z 12  1

2 2 2 2 2 2

Luego:
1 1 1 1
12
 22
 32
 ...  122
 6z
z z z z

Y finalmente:
z 12 2 2 2  1
z z
1
z
1 1 
z 

 z 2  z 3  ...  z12   12  22  32  ...  122   6 z  6 z  36 zz  36 z  36 (C)
2

1.27
Calculamos las raíces de 4  4 15i :

a  b  4
2 2

4  4 15i  z  (a  bi)  a  b  2abi  

2 2 2 2


2ab  4 15
4  4 15i  42  4 15  
2
 42  42 15  42 1  15   16 2  16
16  z 2  z  16  a 2  b 2
2

Luego
 4 15 4 3  5 2 3
a  10  2 10b  4 15  b     6
20  2a  10  a   2 2
2 10 2 2  5 2

a   10  b   6

Las dos raíces cuadradas son z1  10  6i , y z2   10  6i cumpliendo:

z1  z2  10  6  16  4
El ángulo  que determina z1 como punto del plano cumple:
6 10
sin   , cos  
4 4
Calculamos las raíces de 2  2 3i :
 
a  b  2
2 2

2  2 3i  z 2  (a  bi)2  a 2  b2  2abi  

2ab  2 3
 
2  2 3i  22  2 3  22  22  3  22 1  3  16  4
2

4  z 2  z  4  a 2  b2
2

Luego

a  3  2 3b  2 3  b  1
6  2a 2  3  a 2  

a   3  b  1
Las dos raíces cuadradas son z3  3  i , y z4   3  i , cumpliendo:
z3  z4  3  1  4  2
El ángulo  que determina z 3 como punto del plano cumple:
1 3
sin   , cos  
2 2
Luego el ángulo entre los puntos z1 y z 3 cumple
6 3 10 1 3 2  10
sin(    )  sin  cos   cos  sin    
4 2 4 2 8
Y el área del triángulo que determinan los puntos z1 y z 3 y el origen de coordenadas es:
1 1 3 2  10 3 2  10
A z1 z2 sin(    )  4  2  
2 2 8 2

 3 2  10 
Y el área total será 4 A  4   6 2  2 10 , y la respuesta al problema es

 2 
6  2  2  10  20 (A)

Observación: Una forma mucho más sencilla de calcular el área del triángulo sabiendo las

coordenadas es mediante la fórmula “Shoelace” (ver GA/18.6.6): 0,0 , 10 , 6 , 3 ,1 :
1 1 1
A 0
1
2
10 3 
1
2
1

10  1  6  3  3 2  10
2

0 6 1
1.28
Las raíces de  z  6  81 forman en el plano complejo un octágono de radio
8

8
81  34 / 8  3

Este octágono está transladado seis unidades hacia la izquierda, pero eso no afecta en nada las
áreas que determinan sus vértices. Vemos que el área mínima se encuentra cuando los tres
vértices son consecutivos, por ejemplo cuando A  3 , B  3 45º , C  3 315º

A  
3,0 , B  3 45º  
 3 3
,
 3 3
 , C  3 315º  


 2 , 2
 2 2  
El triángulo ABC tiene área:
    
ABC   1  2 3  3  3   3  3  3   3 2  3 (B)
2  2  2 2 2 2 2

1.29
1 i 3
z es la raíz cúbica principal de la unidad: z 3  1
2

3i
w es la raíz de índice 12 principal de la unidad: w12  1
2
Se cumple w 4  z , w8  z 2 , w12  z 3  1 . En general: w 4 k  z k
i  w r es una rotación de 90º en el sentido contrario a las agujas del reloj de w r .
Observamos que se cumple i  wr  wr 3 ,
Con todo esto, la condición que deben cumplir  r , s  es que s  4

Organizamos toda esta información en una tabla:

Vemos que las filas de índice 3k  1 tienen 34 coincidencias, las filas de índice 3k  2 tienen
33 coincidencias y las filas de índice 3k  3 tienen 33 coincidencias. En total hay
34  33  33  100 coincidencias en cada grupo de 12 filas.
Hay 8 grupos de 12 filas completos, y un último grupo que solo tiene una fila. En total:
8 100  34  834 coincidencias.

1.30
Ver Problema 4.11.1 del libro http://www.toomates.net/biblioteca/ProblemasAlgebra.pdf

1.31
1 i 3 1 i 3
Los números complejos z1  y z2  son ambos raíces de índice 3 de la
2 2
unidad, es decir: z13  z23  1 .

Puesto que 2022  3  674 , tenemos

674
 1  i 3 
2022
 1  i 3 
3674
   1  i 3 3 



   
     
   1674  1
2 2  2
      
Y de la misma forma
 674
 1  i 3 
2022
 1  i 3 
3674
   1  i 3 3 



   
     
   1674  1
2 2  2
      

Luego
2022 2022
 1  i 3   1  i 3 
f (2022 )   
   
  11  2
 2   2 

1.32
2 2
Vemos claramente que   cos  i  sin es la raíz primitiva de índice 7 de la unidad, es
7 7
decir,  7  1 , y sabemos que también se cumple  6   5   4   3   2    1  0 .

Ahora observamos que podemos agrupar los factores del enunciado por parejas::

  
6 6
3k
  k  1   zi
k 0 k 0

z0   30
  1    0 1  111  3
0 0

z1   31  1  1   3    1
z2   32   2  1   6   2  1   6   2  1
z3   33   3  1   9   3  1   72   3  1   7 2   3  1   2   3  1
z4   34   4  1  12   4  1   75   4  1   7 5   4  1   5   4  1
z5   35   5  1  15   5  1   771   5  1     5  1
z6   36   6  1  18   6  1   7 7 4   6  1   4   6  1

Tenemos:
  
z1  z6   3    1  4   6  1   9  2 7   6   5   4   3    1 
 2  2  6  5   4  3   1  2  6  5   4  3  2   1  2

Y de la misma forma se deduce que z2  z5  2 y z3  z4  2 .

  
6 6
Así pues, finalmente: 3k
  k  1   zi  3  2  2  2  24 .
k 0 k 0

1.33
Resolvemos la ecuación de la forma habitual:
c  c 2  40
z  c z  10  0  z 
2

2
Para que se generen raícen complejas se debe cumplir
c2  40  0  c2  40  2 10  c  2 10

Y en este caso, las soluciones son

z
c  c 2  40 c  (1) 40  c 2
 
c  i 40  c 2  
2 2 2
Así pues,
  c 40  c 2   
 y z   c ,  40  c
2
z1   , z
2 2  2
2 2  1
   
c
Por otro lado, comprobamos que z  10 . En efecto, mediante el cambio de variable u  ,
2
  c
 
2 
 c 40  c 2   c 40  c 2
z1   ,  ,   , 10   c    u, 10  u 2
2 2  2 4  2  2  
    
y por tanto
z1  u 2  (10  u 2 )  10 .
2

(Aunque más elegante hubiera sido aplicar directamente las fórmulas de Vieta sobre la
ecuación original: z1 z2  10 ).

Ahora
1 z1 z2 1 z2 z1
z1 z1  z1  10    , y de la misma forma  
2

z1 10 10 z2 10 10

Así pues, el cuadrilátero Q tiene la forma de un trapecio isósceles:

Que alcanzará su área máxima cuando z1 pertenezca a la bisectriz del primer cuadrante, es
decir, cuando
40  c 2 c
  40  c 2  c  40  c 2  c 2  40  2c 2  20  c 2 
2 2
 c  20  2 5  2  2.2  4.4 ( A)

En las soluciones propuestas en www.artofproblemsolving.com encontramos la demostración

detallada de este mínimo, como aplicación directa de la desigualdad AM-GM (ver el Tema 2
del libro Desigualdades):

S   z1z2O   1 1 O  z1z2O  1 z1z2O  z1z2O1  1  

 z1 z2  100  100 
1  c 40  c 2 1 
1 
 Re( z1 )  Im( z1 )1 
1  1
  1    1 
1 

  c 40  c 
2 2

2  100  2  100  2 2 2  100 
1
1  
2

1  c  40  c 2
 1
 1 
1  
  40  101 
1  99

2  100  2 4  100   100  10
y la igualdad solo acontece cuando c2  40  c2  c  20  2 5  2  2.2  4.4 .

2.1
Vemos que los valores de este sumatorio se van repitiendo de cuatro en cuatro:

i 0  1 2
n0  cos 45 
cos( 45  90  0) 2
i1  i i 2
n 1   i cos 135 
cos( 45  90 1)  cos 135 º 2

i 2  1
n2   cos 225   cos(180  45)   cos(135 ) 
cos( 45  90  2)  cos 225 º
2
 ( cos 45)  cos 45 
2
i 3  i i 2
n 3  i cos 225  i cos(135 ) 
cos( 45  90  3)  cos 315 º 2

2  2i 2
La suma de estos cuatro valores es igual a 2   2 i 2
2 2

Y el valor correspondiente a n  4 es el mismo que para n  0 , el valor para n  5 es el mismo

que para n  1,etc.

Luego el valor total de los primeros 40 será 10 veces el valor de los cuatro primeros, es decir,
10 2 10i 2 ,

No olvidemos que hay uno más, el valor n  40 , luego el resultado final será:

2 21
10 2  10i 2   2  10i 2
2 2

2.2
Nos basamos en el puro concepto de cotangente: base / altura. Por ejemplo:
cot 1 3   porque podemos construir un triángulo de base 3 y altura 1 con ángulo  .

Resolvemos este problema con números complejos, pasando a la circunferencia unidad, pues en
la circunferencia unidad la suma de ángulos se determina mediante multiplicaciones.
 3i
cot 1 (3)  ei  hip  32  12  10
10

7i
cot 1 (7)  e i  hip  7 2  12  5 2
5 2

13  i
cot 1 (13)  e i  hip  13 2  12  170
170

21  i
cot 1 (21)  e i  hip  212  12  442
442

cot 1 (3)  cot 1 (7)  cot 1 (13)  cot 1 (21) 

3  i 7  i 13  i 21  i 3  2i 3 2i
 e i e i  e i  e i       
10 5 2 170 442 13 13 13

 
Luego, finalmente, cot cot 1 (3)  cot 1 (7)  cot 1 (13)  cot 1 (21) 
3 / 13 3

2 / 13 2

2.3
En primer lugar, cos º i sin  º   cos º i sin  º   175  1 , luego
75 75

cos  º i sin  º 75  

1
 1

Si cos  º i sin  º   1 , entonces cos ºi sin  º es una de las raíces de grado 75 de la unidad,
75

360 24
y por tanto   k k con 0  k  75 .
75 5

Puesto que, además, exigimos 0    90 ,

24 k 90  5
  90   90  k   18.75  k  18
5 24

Puesto que, además, exigimos que sean enteros, los números enteros de la forma
24
k con 0  k  18
5
Serán aquellos en los que k sea 0 o múltiplo de 5 = {5,10,15} , un total de 4 contando el 0
inicial.

Luego hay cuatro soluciones:   0º , 24 º , 48 º , 72 º .

150

Para el caso cos  º i sin  º   cos  º i sin  º  
  1  1 y nos encontramos con un
75 2 2

problema similar con las raíces de grado 150 de la unidad.

He hecho estas dos ramas se podrían haber unificado desde el principio puesto que

cos ºi sin  º 75  1  cos ºi sin  º 75    12  1  cos ºi sin  º 150   12  1
2

2.4
Sea  la raíz principal de grado 360 de la unidad, es decir:
  cos1º   i sin 1º 

Entonces:
 2  cos 2º   i sin 2º 
 3  cos 3º   i sin 3º 
 3  cos 3º   i sin 3º 
 4  cos 4º   i sin 4º 
...

Queremos calcular Re(1     2  ...   88   89 )

Aplicando la fórmula de la serie geométrica:

 90  1 i  1
1     2  ...   88   89  
 1  1

 i 1 
Luego reducimos nuestro problema a determinar Re :
  1 

i 1

i 1

i 1 cos1º 1  i sin 1º  
  1 cos1º 1  i sin 1º cos1º 1  i sin 1º cos1º 1  i sin 1º 

i  1cos1º 1  i sin 1º 
cos1º 12  sin 2 1º
 i 1 
Rei  1cos1º 1  i sin 1º 
1
Re 
   1  cos1º 1  sin 1º
2 2

i  1cos1º 1  i sin 1º   i cos1º i  sin 1º  cos1º 1  i sin 1º 

 sin 1º  cos 1º 1  icos 1º 1  sin 1º  
Rei  1cos 1º 1  i sin 1º   sin 1º  cos 1º 1

sin 1º  cos 1º 1 1  cot 0.5º 

Luego queremos demostrar que 
cos1º 1  sin 1º
2 2
2
 sin 1º  cos1º 1 sin 1º  cos1º 1
 
cos1º 1  sin 1º cos 1º 2 cos1º 1  sin 2 1º
2 2 2

sin 1º  cos1º 1 sin 1º  cos1º 1 1  sin 1º  cos1º 1  1  sin 1º  cos1  1 

       
 2 cos1º 1  1  2 cos1º 2 2  1  cos1º  2  1  cos1º 1  cos1º 
1  sin 1º  cot( 0.5º )  1
   1 
2  1  cos1º  2

Donde hemos utilizado la identidad de la tangente del ángulo mitad:

1  cos1º sin 1º
 tan( 0.5º )  cot( 0.5º ) 
sin 1º 1  cos1º

2.5
2
  72 º  . El número z  ei es una raíz quinta de la unidad: z 5  1 , y puesto que z  1 ,
5
z  z  z  z 1  0 .
4 3 2

Dividiendo la igualdad anterior por z 2 :

z 4  z3  z 2  z 1 z 4 1 z3  z  1  1
0  2  2 1   z2  2    z   1
 z   z
2
z z z
1 1
Sea t  z  . Entonces z 2  2  t 2  2 y llegamos a la ecuación
z z
1  5
t2  2  t 1  0  t 
2
1 1 5
Nos piden 2 cos 72 º  z  
z 2

2.6
2 4 8
Sea A  . Entonces 2 A  y 4A  .
7 7 7
2 1  1 4 1  2 1  8 1  4 1 
Luego cos   z    cos   z  2   cos  z  4 
7 2 z 7 2 z  7 2 z 

Y multiplicando por 4 nosotros buscamos determinar

 1  2 1   2 1  4 1   1  4 1 
 z   z  2    z  2  z  4    z   z  4 
 z  z   z  z   z  z 

Ahora, utilizando que z 7  1 , la expresión anterior se convierte en

1
 
2 z  z 2  z 3  z 4  z 5  z 6  2(0  1)  2 , y por lo tanto el valor buscado es
1
4
(2) 
2
.
3.1
Sea a  5  5i , que corresponde con el punto A  (5,5) , y p  2  i , que corresponde con el
punto P  (2,1) . Queremos determinar los puntos B, C , D , que se corresponden con los
complejos b, c, d .

En primer lugar aplicamos una traslación z  z  p para situar el centro en el origen.

Luego A  A'  a  p  5  5i  2  i   3  4i .
Rotamos 90º en sentido positivo multiplicando por i :
B'  A' i  (3  4i )i  3i  4i 2  4  3i
C '  B' i  (4  3i )i  4i  3i 2  3  4i
D'  C ' i  (3  4i )i  3i  4i 2  4  3i

Y ahora deshacemos la traslación inicial sumando p a cada punto:

B  B' p  4  3i  2  i  2  4i
C  C ' p  3  4i  2  i  1  3i
D  D' p  (4  3i )  2  i  6  2i

3.2
Primera versión. Sea z  a  bi
z  2i  a  bi  2i  a  (b  2)i  z  2i  a  (b  2)i  a 2  (b  2) 2
z  3  a  bi  3  a  3  bi  z  3  a  3  bi  (a  3) 2  b 2
2 z  3  2 (a  3) 2  b 2
 z  2i  2 z  3  a 2  (b  2) 2  2 (a  3) 2  b 2

 a 2  (b  2) 2  2 (a  3) 2  b 2  4 (a  3) 2  b 2  

a 2  (b  2) 2  4 (a  3) 2  b 2 
a 2  b 2  4b  4  4a 2  24 a  36  4b 2 
a 2  b 2  4b  4  4a 2  24 a  36  4b 2  0 
 3a 2  3b 2  4b  24 a  32  0  3a 2  3b 2  4b  24 a  32  0 
2 2
 2  52  2
 0  a  4   b     0  a  4   b   
4 32 52
a  b  b  8a 
2 2 2 2

3 3  3 9  3 9
 2 2 13
Obteniendo una circunferencia de centro   4,  y radio
 3 3
Segunda versión.
Aplicamos la propiedad z  z z
2

z  2i  2 z  3  2( z  3)  2 z  6 
2 2

z  2i z  2i   2 z  62 z  6 
z  2i z  2i   2 z  62 z  6 
zz  2iz  2iz  4i 2  4 zz  12 z  12 z  36  0 
zz  2iz  2iz  4i 2  4 zz  12 z  12 z  36  0 
 3 zz  2i ( z  z )  12 ( z  z )  32  0 
3 zz  2i ( z  z )  12 ( z  z )  32  0
 z  z  a  bi  (a  bi)  2bi

Sea z  a  bi  z  a  bi   z  z  a  bi  (a  bi)  2a
 z z  a  bi a  bi   a 2  b 2i 2  a 2  b 2

Y nuestra ecuación queda de la forma
3(a 2  b2 )  2i 2bi  12  2a  32  0  3(a 2  b2 )  4b  24 a  32  0

Ecuación que encontramos en la primera versión de este mismo problema.

Fuente de esta solución: "Problemas de olimpiadas sobre números complejos" (Paola Posadas Prados) Pág. 23

3.3 Ver problema PG/6.67

3.4 Ver problema PG/6.68

3.5 Ver problema PG/6.69

3.6 Ver problema PG/6.70

3.7 Ver problema PG/6.71

3.8 Ver problema PG/6.73

3.9 Ver problema PG/6.75

3.10 Ver problema PG/6.76

3.11 Ver problema PG/6.77

3.12
Colocamos el punto inicial en el origen: O  0 .
Cada avance del gusano se puede representar mediante números complejos como
n
 e i / 3 
Pn   
 2 

Luego el recorrido del gusano se puede representar mediante la serie compleja

k

 e i / 3 
P  5  
k 0  2 

e i / 3
Que es convergente pues 1
2

5
Y su límite es P  (La fórmula de la serie geométrica se puede ampliar a los
e i / 3
1
2
complejos)

1 3 1 i 3
ei / 3  cos  / 3  i sin  / 3 
i  
2 2 2
e i / 3 1  i 3 e i / 3 1 i 3 3  i 3 5 20 5 3
 1 1   i / 3
 5 i
2 4 2 4 4 e 3i 3 3
1
2

Fuente: Artofproblemsolving.com

3.13
z1  i 6  2 z1  3  4i  (1)  2(3  4i)  8  4i  42  i   z1  i 6  2 z1  4 22  12  4 5

z1  z2  3  4i  4  6i   1  2i  (1  2i )  z1  z2  12  22  5
z1  i 6  2 z1 4 5
w  4
z1  z2 5
Luego el conjunto z  w  Im( z )  0  Re( z )  0 determina la parte del primer cuadrante de la
circunferencia z  4
 2 r 2 4
Cuya longitud es   2
4 4

3.14
Calculamos los “vectores de desplazamiento”:
 
a  z  f ( z)  z  z 2  19 z  z  z 2  19 z  20 z  z 2  z (20  z)
 
b  f ( f ( z ))  f ( z )  ( z  19 z ) 2  19 ( z 2  19 z )  z 2  19 z 
2

      
 z  19 z ( z  19 z )  19  1  z  19 z z  19 z  20  z  z  19  z 2  19 z  20 
2 2 2 2

 z  z  19  z  1 z  20   a ( z  1)(19  z )

Aplicando GA/20.7.5c tenemos:

b a( z  1)(19  z)
a  b   iIR   iIR  ( z  1)(19  z )  iIR
a a

Por el enunciado, sabemos que z  k  11 i , luego

z 2  (k  11i ) 2  k 2  112  22 ki
18 z  18 k  18 11i
( z  1)(19  z )  19 z  z 2  19  z  18 z  z 2  19 
 
 18 k  198 i  k 2  112  22 ki  19  18 k  198 i  k 2  121  22 ki  19 
 18 k  k 2  121  19  198 i  22 ki  18 k  k 2  140  198  22 k i

Que será un imaginario puro si y solo si 18k  k 2  140  0  k  9  221

Por el enunciado, el complejo buscado será z  9  221  11i , y la respuesta es 221  9  230 .

3.15
Interpretando este problema desde un punto puramente geométrico vemos que R es la siguiente
región del plano:
que consta de dos semicírculos de radio 1 y un rectángulo central de altura 2 y longitud la
distancia entre los puntos (3,0) y (0,4), es decir, 32  4 2  5 , así pues,
R  5  2   12  10    13.14 , y la respuesta correcta es 13 (A)
4.1
Usamos las identidades
z n  z n z n  z n
cos n  i sin n 
2 2

para convertir esta ecuación en una ecuación sobre números complejos:

cos  
z  z 1  z  z 1 
 cos 2     
z  z 1
2
  2

2  2  4

cos 2 
2 z 2  z 2
 cos 2 
2 z 2  z 2   2

2 4

cos 3 
2 z z
3 3
 cos 3 
2 z  z 3
3 2
 
2 4
z  z   z
1 2 2
 z 2   z
2 3
 z 3 
2

1
4 4 4
z  z   z
1 2 2
  2
 z 2  z 3  z 3 
2
4
z 2  z 2  2 zz 1  z 4  z 4  2 z 2 z 2  z 6  z 6  2 z 3 z 3  4 
z 2  z  2  2  z 4  z  4  2  z 6  z 6  2  4  z 2  z  2  z 4  z  4  z 6  z 6  2  0

Reordenamos los elementos para obtener una progresión geométrica de razón z 2 .

Sabemos que z 2  1 porque la ecuación del enunciado no se satisface para  múltiples de  .

z 6  z 4  z 2  10  z 2  z 4  z 6  1
z

Por lo tanto, aplicando la fórmula de la suma de términos de una sucesión geométrica:

z 6  z 6
 1
1 z2
o bien (???)
 
z 7  z 7   z  z 1 
Ahora recuperamos la ecuación trigonométrica subjacente:
z 7  z 7  2i sin 7 z1  z 1  2i sin 

2i sin 7  2i sin   sin 7   sin   sin 7  sin   

Esta última ecuación tiene por soluciones:


7    2k k  0,1,2,3,...  8  2k    k k  0,1,2,3,... k  0 mod 4
4
o bien:
7    ( )  2k k  0,1,2,3,...  7      2k  6    2k   (2k  1) 
 (2k  1)

6
Fuente de esta solución: International Mathematical Olympiads Compiled and with solutions by Samuel L.Greitzer, pág. 49