S OCIEDAD

E CUATORIANA DE
M ATEMTICA

X E DICIN DE LAS O LIMPIADAS

DE LA

S OCIEDAD E CUATORIANA DE M ATEMTICA

Tercer Nivel Juvenil
Sbado, 27 de abril de 2013

1. Cul es el sexto trmino de la siguiente sucesin?

1 2
,
1
2 1
a)

...

32 64
16 32

d)

8 16
,
4 8

10 24
8 16

c)

4 8
,
2 4

16 32
8 16

b)

2 4
,
1 2

32 48
16 32

e) Ninguna de las anteriores.

Solucin. La opcin correcta es c). Es suciente ver que la serie de matrices tiene la forma
1 2
1
2 1

2. Cuntas soluciones tiene la ecuacin x4 2y2 = 1, con x, y Z?

a) 0

b) 1

c) 2

d) Innitas

e) Ninguna de las anteriores

Solucin. La opcin correcta es c). En efecto, es obvio que x es impar. Entonces

x = 2k + 1.
Reescribamos la ecuacin as:

( x2 1)( x2 + 1) = 2y2 .
1

(1)

Ahora, los nmeros x2 + 1 y x2 1 tienen mximo comn divisor 2, pues

mcd( x2 + 1, x2 1) = mcd((2k + 1)2 + 1, (2k + 1)2 1)

= mcd(4k2 + 4k + 2, 4k2 + 4k)

= 2 mcd(2k2 + 2k + 1, 2k2 + 2k).
Entonces (1) signica que

x2 + 1 = 2u2 ,

x 2 1 = v2 .

La igualdad x2 1 = v2 signica que x2 y v2 son cuadrados perfectos y tienen diferencia 1. No

hay ms cuadrados perfectos consecutivos que 0 y 1. Entonces
x=1

x = 1.

Por lo tanto y = 0. Es decir, hay dos soluciones:

x = 1, y = 0 y

x = 1, y = 0.

3. Considere el polinomio p( x) = a3 x3 + a2 x2 + a1 x + a0 , que satisface

p(0) = 1,

p(s) = 0,

p( t) = 5 y

p(u) = 20.

(2)

Aqu s < t < u son las races de un polinomio de orden 3 q( x) = b3 x3 + b2 x2 + b1 x + b0 , cuyos

coecientes satisfacen
b3 = 1,

b1 = b2 + 1x,

b2 = b3 x,

b0 = b1 1x,

(3)

con x un dgito primo, cuya representacin binaria est dada por un nmero de tres dgitos
iguales. El producto de las tres races de p( x) es igual a:
a) 2

b) 1

c) 0

d) -1

e) Ninguna de las anteriores

Solucin. Para determinar los coecientes del polinomio p( x), necesitamos conocer las races
de q( x), para lo cual, a su vez, necesitamos analizar (3). Necesitamos, entonces, conocer el valor
de x.
Segn las hiptesis, x es un dgito primo. Entonces x puede tomar nicamente los valores
2, 3, 5 y 7. Adems, se nos dice que su representacin binaria tiene tres dgitos iguales. Es
inmediato, entonces, que x = 7. Luego, de (3), se tiene que
b3 = 1,
Esto implica que

b2 = 6,

b1 = 11

b0 = 6.

q( x) = x3 6x2 + 11x 6.

Y, como
q( x) = ( x 1)( x 2)( x 3),
deducimos que s = 1, t = 2 y u = 3.
Ahora ya podemos hallar p( x) si resolvemos el sistema (2) que se obtiene al reemplazar los
valores de s, t y u:

0 0 0 1
a3
1
1 1 1 1 a2 0

8 4 2 1 a1 = 5 .
27 9 3 1
a0
20
2

Resolviendo este sistema, se tiene que

a3 = 1,

a2 = 1,

a1 = 1 y

a0 = 1,

lo que implica que

p( x ) = x3 x2 + x 1

= ( x2 + 1)( x 1),
cuyas races son r1 = 1, r2 = i y r3 = i, e inmediatamente concluimos que r1 r2 r3 = 1.
4. Sean a y b dos nmeros reales positivos tales que a + b = 1. Demuestre que
a4 + b 4

1
.
8

S UGERENCIA : Una funcin f : R R es convexa en un intervalo I si y solo si para todo x I, todo

y I y todo t [0, 1], se verica la desigualdad
f (tx + (1 t)y) t f ( x ) + (1 t) f (y).
Utilice el hecho de que la funcin x x3 es convexa.

Solucin. Si
a=b=
entonces

1
,
2

1
;
8
por lo tanto, podemos suponer, sin prdida de generalidad, que
a4 + b 4 =

a<

1
< b < 1.
2

Puesto que la funcin x x3 es convexa en [0, +), se sigue que

a4 + b4 = aa3 + bb3

= aa3 + (1 a)b3
( aa + (1 a)(1 a))3
= (2a2 2a + 1)3 .
Es fcil ver que el polinomio de segundo grado
p( a) = 2a2 2a + 1
est acotado inferiormente por 1 :
2
2a2 2a + 1 = 2 a2 a +

=2

a2 a +

=2 a
1
.
2
Y de aqu se concluye lo que se pide demostrar.
3

1
2

1
2

1
4

1
2

1
4

5. Dado n, (n) representa el nmero de enteros positivos menores o iguales a n y primos relativos
con n. es una funcin y se denomina funcin de Euler. Formalmente:
(l ) := card ({n N : n l, mcd(l, n) = 1}) .
Determine el lugar geomtrico que dene est funcin en el conjunto de todos los nmeros primos. Adems, encuentre el rea comprendida entre dicho lugar geomtrico, la recta de ecuacin
y = 25 x y la recta y = 5.
Solucin. Ntese que si p es un nmero primo, entonces
( p) = p 1,
pues todo nmero primo es primo relativo con los nmeros anteriores a l. Se sigue, entonces,
que el lugar geomtrico requerido es la recta de ecuacin y = x 1.
Claramente las rectas de ecuaciones y = x 1, y = 25 x y y = 5 denen un tringulo
issceles de vrtices los puntos de coordenadas (6, 5), (20, 5 y (13, 12):
y

y = 25 x

y = x1
y = p1

15

(13, 12)
10

y=5

(6, 5)

(20, 5)
x

El rea de este tringulo es:

10

15

20

25

(20 6) 7
= 49.
2

6. Sea n un entero positivo. Demuestre que hay un mltiplo de n que contiene solo dgitos 0 y 1.
n +1

Demostracin. Consideremos los enteros 1, 11, 111, . . . , 111 11. Si dividimos estos enteros por
n, hay n + 1 residuos y, por el principio del palomar, hay dos residuos iguales. Sustraemos los
nmeros correspondientes y el resultado tiene la forma 1111 0000 y es divisible por n.
7. Considere las funciones continuas f : [0, 1] R que satisfacen las condiciones siguientes:
4

(a) f (0) = 0 y f ( x) > 0 para todo 0 < x 1,

(b) f (1) = 1, y
(c) f ( x) + f (y) f ( x + y) para x, y y x + y, todos en [0, 1].
Asuma que existe una constante c tal que
f ( x) cx

(4)

para cada funcin f que satisface (i)-(iii) y todo x [0, 1].

Encuentre (y demuestre) la constante ms pequea que satisfaga (4).
Demostracin. Dividiremos la demostracin en 4 pasos.
(a) Empezamos probando que si f satisface (i)-(iii), entonces es estrictamente montona. En
efecto, gracias a (iii), si x > 0,
f ( x + y) f (y) f ( x) > 0.
(b) Probaremos a continuacin que la funcin denida por F ( x) = f ( f ( x)) satisface las condiciones (i)-(iii). En efecto,
F ( x) = f ( f ( x)) > 0
si x > 0, puesto que f ( x) > 0. Adems,
F (1) = f ( f (1)) = f (1) = 1.
Para probar (iii), usamos la monotona de f , con lo cual
F ( x) + F (y) = f ( f ( x)) + f ( f (y))

f ( f ( x) + f (y))
f ( f ( x + y))
= F ( x + y).

(c) Supongamos que c > 1. Existe, entonces, una funcin f y un x ]0, 1[ tales que f( x ) = c x.
Consecuentemente,

f( x) > x.
Aplicando la funcin f a ambos lado, se tiene entonces que

c x = f( x) < f( f( x)) = F ( x) c x,
con lo cual se obtiene una contradiccin. Por tanto, c 1.
(d) Tomando el caso f ( x) = x se obtiene que c = 1, con lo cual se ha encontrado la constante.