IX Olimpiada Iberoamericana de Matematica Universitaria

Noviembre de 2006

1. 
(4 puntos) Sean m y n n
umeros enteros mayores que 1. Se definen los conjuntos Pm =
1
2
m1
y Pn = n1 , n2 , . . . , n1
.
m, m, . . . , m
n
Encontrar la distancia entre Pm y Pn , que se define como
mn {|a b| : a Pm , b Pn } .
2. (5 puntos) Demostrar que para cualquier entero positivo n y cualesquiera n
umeros reales
a1 , a2 , . . . , an , b1 , b2 , . . . , bn se cumple que la ecuacion
a1 sen(x) + a2 sen(2x) + + an sen(nx) = b1 cos(x) + b2 cos(2x) + + bn cos(nx)
tiene al menos una raz real.
3. (5 puntos) Sean p1 (x) = p(x) = 4x3 3x y pn+1 = p (pn (x)) para cada n entero positivo.
Denotamos como A (n) el conjunto de todas las races reales de la ecuacion pn (x) = x.
Demostrar que A (n) A (2n) y que cada producto de dos elementos de A (n) es el promedio
de dos elementos de A (2n).
4. (6 puntos) Demostrar que para cualesquiera intervalo de numeros reales [a, b] y n
umero
entero positivo n existen un n
umero entero positivo k y una particion del intervalo dado
a = x (0) < x (1) < x (2) < . . . < x (k 1) < x (k) = b,
tales que
x(1)
x(3)
x(2)
x(4)
Z
Z
Z
Z
f(x)dx + f(x)dx + = f(x)dx + f(x)dx +
x(0)

x(2)

x(1)

x(3)

para todo polinomio f con coeficientes reales de grado menor que n.

5. (7 puntos) Un n-agono regular esta inscrito en un crculo de radio 1. Sean a1 , a2 , . . . , an1
las distancias de uno de los vertices del polgono a todos los otros vertices. Demostrar que






5 a21 5 a22 5 a2n1 = Fn2 ,
donde Fn es n-esimo termino de la sucesion de Fibonacci: 1, 1, 2, . . .


6. (7 puntos) Sean x0 (t) = 1, xk+1 (t) = 1 + tk+1 xk (t) , para todo k 0; yn,0 (t) = 1, yn,k (t) =
tnk+1 1
yn,k1 (t) , para n 0, 1 k n.
tk 1
Demostrar que

n1
P
j=0

(1)j xnj1 (t) yn,j (t) =

1(1)n
,
2

para todo n 1.

7. (7 puntos) Consideramos el grupo multiplicativo A =


n
o
k

z C z 2006 = 1 y 0 < k Z de

todas las races complejas de la unidad de grado 2006k para todos los n
umeros enteros
positivos k. Encontrar el n
umero de homomorfismos f : A A que satisfacen la condici
on:
f (f (x)) = f (x) para todos los elementos x A.