• El problema de los cocos. Cinco marineros suspicaces emplean el dı́a en recoger un montón de cocos.

Agotados, posponen el reparto del montón hasta la mañana siguiente. Desconfiados, cada uno decide coger
su parte durante la noche. El primer marinero divide el montón en cinco partes iguales más un coco extra,
que da a un mono. Coge un montón y deja el resto en un único montón. Más tarde, el segundo marinero
hace lo mismo; y, de nuevo, el mono recibe un coco sobrante. El tercero, cuarto y quinto marineros también
lo hacen; todas las veces queda un coco, que recibe el mono. Por la mañana, dividen los cocos restantes
en cinco montones iguales, y cada marinero recibe su “parte”. (Cada marinero sabe que faltan algunos,
pero nadie protesta, porque ¡todos son culpables!) ¿Cuál es el menor número posible de cocos en el montón
original?
(Este problema apareció en el Saturday Evening Post el 9 de octubre de 1926.)
Respuesta. Si x indica el número de cocos recogidos, y el número de cocos que cada marinero recibe al
final, y x1 , . . . , x5 , el número de cocos que esconde cada marinero, las acciones sucesivas de éstos indican
que
(i) x = 5x1 + 1;
(ii) 4x1 = 5x2 + 1;
(iii) 4x2 = 5x3 + 1;
(iv) 4x3 = 5x4 + 1;
(v) 4x4 = 5x5 + 1;
(fin) 4x5 = 5y.
Por tanto:
5 1 1
52  1
x = 5x1 + 1 = (5x2 + 1) + 1 = (52 x2 + 5 + 4) = (5x3 + 1) + 5 + 4 = 2 [53 x3 + 52 + 4(5 + 4)] = · · ·
4 4 4 4 4
1
· · · = 5 [56 y + 4[54 + 4(53 + 4[52 + 4(5 + 4)])]]
4
es decir,
45 x − 56 y = 4[54 + 4(53 + 4[52 + 4(5 + 4)])],
y en definitiva,
1024x − 15625y = 8404.
Ası́ pues, el número pedido es la mı́nima solución positiva x de la ecuación anterior, que resolveremos con
ayuda de maple :
isolve(1024*x-15625*y=8404);
nos proporciona
{x = 3121 + 15625 Z1, y = 204 + 1024 Z1}
indicando Z1 un entero arbitrario.
(La sintaxis general para resolver ecuaciones diofánticas es isolve(eqns,vars).)
La respuesta pedida es, por tanto,
x = 3121,
ya que las demás soluciones son mayores o negativas.
A este valor de x corresponde el valor de y = 204, de modo que sabemos también que los marineros se
repartirán 5y = 1020 cocos después de sus “fechorı́as”.

–—o0o—–

1
• Hallar x, y ∈ R tales que z = x + iy sea una raı́z cuadrada de 2 − 5i, es decir, (x + iy)2 = 2 − 5i. En
general, dados a, b ∈ R, si z = x + iy es una raı́z cuadrada de a + bi, es decir, (x + iy)2 = a + bi, expresar x
e y en función de a, b.
Respuesta.
 25

x − y = 2 x2 − =2 ⇓
2 2

4x2
(x+iy)2 = 2−5i ⇐⇒ x2 −y 2 +2xyi = 2−5i ⇐⇒ ⇑ ⇒ 4x4 − 8x2 − 25 = 0

 5
 2xy = −5 ⇒ y=−
2x
Se sigue entonces que √ √
2 4± 16 + 100 4 + 2 29
x = =
4 4
√
(no sirve (4 − 29)/4, es negativo y tiene que ser x2 ≥ 0), y de aquı́

1 √
x=± 4 + 2 29
2
y por tanto
   √ √
√ √ √
5 5 4 + 2 29 5 4 + 2 29 (2 29 − 4) (2 29 + 4)(2 29 − 4)2
y = ∓ √ =∓ √ =∓ =∓
4 + 2 29 4 + 2 29 4 · 29 − 42 20
 √
(4 · 29 − 42 )(2 29 + 4) 
1 √
=∓ =∓ 2 29 − 4,
20 2
que da dos soluciones:
   
1 √ i √ 1 √ i √
z1 = 4 + 2 29 − −4 + 2 29, z2 = −z1 = − 4 + 2 29 + −4 + 2 29.
2 2 2 2
EN GENERAL :

x2 − y 2 = a,
z 2 = a + bi ⇐⇒ x2 − y 2 + 2xyi = a + bi ⇐⇒
2xy = b.

Podemos seguir ahora el esquema anteror, pero si pensamos un poco se puede abreviar, notando que

(x2 + y 2 )2 = (x2 − y 2 )2 + 4x2 y 2 = a2 + b2 ,

lo que no dice otra cosa que (|z|2 )2 = |a + bi|2 . Ası́ pasamos al sistema
 √
√ √ 
 a+ a2 + b2
 x=±
x2 + y 2 = a2 + b2 2x2 = a + √a2 + b2 2√
=⇒ =⇒
x2 − y 2 = a 2y 2 = −a + a2 + b2 
 −a + a2 + b2
 y=±
2
¿Se obtienen cuatro soluciones? No, imposible. Si recorremos el camino inverso, se llega a

x2 − y 2 = a
4x2 y 2 = b2 =⇒ 2xy = b, sino 2xy = ±b.

Para solventar este punto, basta añadir

sig xy = sig b para lograr la implicación buscada, y ası́ finalmente
 √

 a + a2 + b2

x = ±

2
,
√
 −a + a2 + b2

 y=± ,

 2
sig xy = sig b,
que da las dos soluciones auténticas.

2
 n
1 + sen a + i cos a
• Calcular , n ∈ N y a ∈ R.
1 + sen a − i cos a
Respuesta. Notemos que

1 + sen a + i cos a 1 + i e−ia e−ia (eia + i)

z= = = = i e−ia .
1 + sen a − i cos a 1 − ieia −i (eia + i)

Por tanto
z n = in e−ina = in (cos na − i sen na),

siendo 
 1 si n≡0 (mód 4)

n i si n≡1 (mód 4)
i =
 −1
 si n≡2 (mód 4)
−i si n≡3 (mód 4).

–—o0o—–

• Hallar los números complejos que son iguales a la potencia n-ésima de sus conjugados.
Respuesta. Para n = 1, sabemos que z = z si y sólo si z ∈ R. Supongamos desde ahora n ≥ 2.
Si z = z n , se sigue que |z| = |z n | = |z|n = |z|n , luego |z| (1 − |z|n−1 ) = 0, lo que implica que |z| = 0
1
(es decir, z = 0) o que |z|n−1 = 1, de donde |z| = 1. En este segundo caso es z z = 1, con lo cual z = y
n
z
1 1 n+1
z= = n , ası́ que z = 1: para que z = 0 sea solución, es necesario que sea una raı́z (n + 1)-ésima
z z
de la unidad,
2kπi
z = e n+1 , k = 0, 1, . . . , n.

Recı́procamente, si z = 0 o z es una raı́z (n + 1)-ésima de la unidad, es z = z n : para z = 0 es evidente,

1 1
y si z = 0 y z n+1 = 1, se sigue que |z|n+1 = 1; por tanto |z| = 1, z = , y z n = n = z.
z z
En resumen:
(i) para n = 1, z = z si y sólo si z ∈ R;
(ii) para n ≥ 2, z = z n si y sólo si z = 0 o

2kπi
z = e n+1 , k = 0, 1, . . . , n.

–—o0o—–
√
13 − 1
• Sea ω = e 2πi/13 3 4
. Probar que ω + ω + ω + ω + ω 9 10
+ω 12
= .
2
Indicación: Si S es la suma, ¿quién es (2S + 1)2 ?
Respuesta. Teniendo en cuenta que


12
ω 13 = 1, ω k = 0,
k=0

se tiene

(2S + 1)2 = (1 + 2ω + 2ω 3 + 2ω 4 + 2ω 9 + 2ω 10 + 2ω 12 )2
= 1 + 4ω 2 + 4ω 6 + 4ω 8 + 4ω 5 + 4ω 7 + 4ω 11 + 4ω + 4ω 3 + 4ω 4 + 4ω 9 + 4ω 10 + 4ω 12
+ 8ω 4 + 8ω 5 + 8ω 10 + 8ω 11 + 8 + 8ω 7 + 8ω 12 + 8 + 8ω 2 + 8 + 8ω + 8ω 3 + 8ω 6 + 8ω 8 + 8ω 9
= 1 − 4 + 8 + 8 = 13.

3
 √ √
Por tanto, 2S + 1 = 13 o 2S + 1 = − 13. Pero (dibujar las raı́ces de orden 13 de la unidad para
comprenderlo mejor)
2π
ω + ω 12 = ω + ω = 2 cos ,
13
6π
ω 3 + ω 10 = ω 3 + ω 3 = 2 cos > 0,
13
8π 5π
ω 4 + ω 9 = ω 4 + ω 4 = 2 cos = −2 cos ,
13 26
2π 5π √
y como cos > cos , debe ser S > 0. Ası́ 2S + 1 = 13 y
13 26
√
13 − 1
S= .
2

–—o0o—–
sen 6θ
• Expresar cos 6θ y en potencias de cos θ (θ ∈ R).
sen θ
Respuesta. e6iθ = cos 6θ + i sen 6θ, y
e6iθ = (cos θ + i sen θ)6 = cos6 θ − 15 cos4 θ sen2 θ + 15 cos2 θ sen4 θ − sen6 θ
+ i (6 cos5 θ sen θ − 20 cos3 θ sen3 θ + 6 cos θ sen5 θ),
de modo que
cos 6θ = cos6 θ − 15 cos4 θ(1 − cos2 θ) + 15 cos2 θ(1 − cos2 θ)2 − (1 − cos2 θ)3
= cos6 θ − 15 cos4 θ + 15 cos6 θ + 15 cos2 θ − 30 cos4 θ + 15 cos6 θ − 1 + 3 cos2 θ − 3 cos4 θ + cos6 θ
= 32 cos6 θ − 48 cos4 θ + 18 cos2 θ − 1
y análogamente
sen 6θ = sen θ [6 cos5 θ − 20 cos3 θ sen2 θ + 6 cos θ sen4 θ]
= sen θ [6 cos5 θ − 20 cos3 θ(1 − cos2 θ) + 6 cos θ(1 − cos2 θ)2 ]
= sen θ [6 cos5 θ − 20 cos3 θ + 20 cos5 θ + 6 cos θ − 12 cos3 θ + 6 cos5 θ]
= sen θ [32 cos5 θ − 32 cos3 θ + 6 cos θ].

–—o0o—–

• Resolver la ecuación z 4 + (−3 + 5i)z 3 − (15 + 15i)z 2 + (125 − 75i)z + 625i = 0, sabiendo que tiene dos
raı́ces conjugadas cuyo producto es 25.
Respuesta. Llamando p(X) = X 4 + (−3 + 5i)X 3 − (15 + 15i)X 2 + (125 − 75i)X + 625i, sean a y a a estas
raı́ces, de modo que |a|2 = a a = 25; si b y c son las otras dos raı́ces, y hacemos s = a + a = 2 e a, tendremos
la factorización
p(X) = (X − a)(X − a)(X − b)(X − c) = (X 2 − s X + 25)(X − b)(X − c).
Efectuando el poducto e igualando los coeficientes de los términos de igual grado resulta:
−3 + 5i = −(s + b + c) (1)
−(15 + 15i) = · · ·
125 − 75i = −sbc − 25(b + c) (2)
625i = 25bc ⇐⇒ bc = 25i (3)
Llevando (3) a (2), 125 − 75i = −25is − 25(b + c), o sea,
(4) 5 − 3i = −is − (b + c), que junto con
(1) −3 + 5i = −s − (b + c),
da al restar 8 − 8i = (1 − i)s, es decir, s = 8, mientras que (4) − (1)i deja 10 = (−1 + i)(b + c), luego
b + c = −5 − 5i, que con (3) lleva a b = −5, c = −5i (o viceversa). Como a = 4 + i m a = 4 + 3i (ya que
|a| = 5), las raı́ces son
4 + 3i, 4 − 3i, −5, −5i.

–—o0o—–