Nacioanales 2018-2008 PDF

LIII Olimpiada matemática Española (Concurso Final)
Enunciados y Soluciones
1. Determina el número de valores distintos de la expresión

n2 − 2
,
n2 − n + 2
donde n ∈ {1, 2, . . . , 100}.
Solución. Sumando y restando 2 − n al numerador se obtiene
n2 − 2 n2 − 2 − n + 2 + n − 2 n−4
an = 2
= 2
=1+ 2
n −n+2 n −n+2 n −n+2
Ahora vamos a ver si hay dos términos iguales, es decir, cuando es ap = aq
para p 6= q. Esto es equivalente a encontrar los enteros p 6= q para los que
p−4 q−4
= 2 ⇔ (p − q)(pq − 4p − 4q + 2) = 0
p2 −p+2 q −q+2
pq − 4p − 4q + 2 + 14 = 14 ⇔ (p − 4)(q − 4) = 14
De lo anterior se deduce que (p−4) | 14 y p−4 ∈ {±1, ±2, ±7, ±14}. Los valores
negativos no son posibles porque ambos p, q ≥ 1 con lo que p−4 ∈ {1, 2, 7, 14}.
Como (p − 4)(q − 4) = 14 entonces q − 4 ∈ {14, 7, 2, 1} de donde resultan
22
los pares (p, q) = (5, 18) y (p, q) = (6, 11) para los que a5 = 23 = a18 y
17
a6 = 16 = a11 . Finalmente, dado que todos los an son números racionals,
entonces entre los 100 primeros términos de la sucesión hay 98 que son distintos.
2. Un trazador de puntos medios es un instrumento que dibuja el punto medio

exacto de dos puntos previamente señalados. Partiendo de dos puntos a distan-
cia 1 y utilizando sólo el trazador de puntos medios, debes obtener dos puntos
1 1
a una distancia estrictamente comprendida entre y , trazando el
2017 2016
menor número posible de puntos. ¿Cuál es el mı́nimo número de veces que
1
necesitas utilizar el trazador de puntos medios, y qué estrategia seguirı́as para
lograr tu objetivo?
Solución. Sin pérdida de generalidad podemos trabajar con la recta real y

considerar que uno de los puntos iniciales es el 0 y el otro el 1. Es fácil com-
probar que después de k aplicaciones del trazador, todos los puntos hallados
n
son de la forma k con 0 ≤ n ≤ 2k siendo la fracción no necesariamente
2
irreducible. Esto lo probaremos por inducción. En efecto, para k = 1 se tienen
los puntos
0 1 1 2
0 = 1, = 1, 1 = 1
2 2 2 2
Supongamos que en el paso k los puntos son
0 1 r s 2k
0= , , · · · , , · · · , , · · · , 1 =
2k 2k 2k 2k 2k
Entonces, aplicando el trazador de nuevo, en el paso k + 1 los puntos obtenidos
son
0 1 1 r s r+s 2k+1
0 = k+1 , k+1 , · · · , + = , · · · , 1 =
2 2 2 2k 2k 2k+1 2k+1
Ahora nos centramos en las distancias entre puntos. Utilizando el trazador

una vez, la distancia entre dos cualesquiera de los puntos obtenidos
0 1 1 2
0= , = 1, 1=
21 2 2 21
1
es un múltiplo de y aplicando el trazador k veces resulta que la distancia
21
1
entre dos cualesquiera puntos es un múltiplo de k . Es inmediato comprobar
2
64 66
que entre 17 y 17 se cumplen las desigualdades
2 2
64 1 65 1 66
17
< < 17 < < 17
2 2017 2 2016 2
1 1
Luego cualquier distancia estrictamente incluida entre 2017 y 2016
ha de tener
necesariamente en el denominador un exponente k ≥ 17.
Ahora vamos a ver que el número mı́nimo de veces que hay que utilizar el
trazador de puntos medios es k = 17 y describiremos una estrategia para
conseguirlo. En efecto, usando el trazador una vez se obtiene el punto 12 = 211 ,
luego lo utilizamos
2
de nuevo entre este punto y 1 para obtener el punto 34 = 232 , y a partir de aquı́
calculamos el punto medio entre el último punto hallado hasta ese momento,
1
y el punto , obteniendo sucesivamente los puntos
2
5 5 9 9 17 17 33 33
= 3, = 4, = 5, = 6,
8 2 16 2 32 2 64 2
65 65
y tras un total de 7 aplicaciones del trazador, se obtiene el punto = 7.
128 2
Aplicamos ahora 10 veces el trazador, para obtener el punto medio entre el
último punto hallado hasta ese momento y el punto 0, obteniéndose sucesiva-
mente los puntos
65 65 65 65
8
, 9 , 10 , · · · , 17
2 2 2 2
65 65
Este último punto dista 17 tanto de 0 como del anterior punto hallado 16 .
2 2
Luego en 17 pasos hemos conseguido nuestro objetivo, y hemos terminado.
1 1 1
3. Sean p un primo impar y Sq = + + ... + ,
2·3·4 5·6·7 q(q + 1)(q + 2)
3p − 5 1 m
donde q = . Escribimos − 2Sq en la forma , donde m y n son
2 p n
enteros. Demuestra que m ≡ n (mod p); es decir, que m y n dan el mismo
resto al ser divididos por p.
Solución. Se tiene que

2 (k + 2) − k 1 1
= = −
k(k + 1)(k + 2) k(k + 1)(k + 2) k(k + 1) (k + 1)(k + 2)

1 1 1 1 1 1 1 3
= − − − = + + −
k k+1 k+1 k+2 k k+1 k+2 k+1
con lo que

1 1 1 1 1 1 1 1 1
2 Sq = + + + ··· + + + −3 + + ··· +
2 3 4 q q+1 q+2 3 6 q+1
Antes de considerar el caso general veamos que ocurre con los primeros casos
particulares. Para p = 3 es q = 2 y se cumple el enunciado trivialmente. En
el caso en que p = q = 5, se tiene

2 2 1 1 1 1 1 1 1 1
2 S5 = + = + + + + + −3 +
2·3·4 5·6·7 2 3 4 5 6 7 3 6
3
y

n−m m 1 1 1 1 1 1 1 1 1
=1− = 1 + 2 S5 − = + + + = + + +
n n 5 3 4 6 7 3 7 4 6
2·5 2·5
= +
4·6 3·7
Como en los denominadores no aparece el primo 5 entonces n−m
n
es una fracción
cuyo numerador es múltiplo de 5 mientras que su denominador no lo es, lo que
permite concluir que n − m es múltiplo de 5 o n ≡ m (mod 5).
p−1
Notese que se han agrupado las p − 1 = 4 fracciones en 2
= 2 paréntesis
cuyos denominadores suman 2p = 10.
Generalizando lo anterior, resulta

n−m m 1
=1− = 1 + 2 Sq −
n n p

1 1 1 1 1 1 1 1 1 1
= 1+ + + + ··· + + + −3 + + ··· + −
2 3 4 q q+1 q+2 3 6 q+1 p

1 1 2 1 2 1
=1+ + + ··· + − 1 + + ··· + −
2 3 3p − 1 2 p−1 p
2 1 1 2
= + ··· + + + ··· +
p+1 p−1 p+1 3p − 1
| {z }
p−1 sumandos
!
1 1 1 1
= p+1 + 3p−1 + ··· + +
2 2
p − 1 p+1
| {z }
p−1
2
paréntesis cuyos denominadores suman 2p
2p 2p
= + ··· +
( p+1
2
)( 3p−1
2
) (p − 1)(p + 1)
| {z }
p−1
2
términos
Al igual que en el caso particular, todos los factores que aparecen en los deno-
minadores son primos con p mientras que el numerador no lo es, lo que permite
concluir que n − m es múltiplo de p. Es dcecir, n ≡ m (mod p).
4. Se dispone de una fila de 2018 casillas, numeradas consecutivamente de 0

a 2017. Inicialmente, hay una ficha colocada en la casilla 0. Dos jugadores
4
A y B juegan alternativamente, empezando A, de la siguiente manera: En su
turno, cada jugador puede, o bien hacer avanzar la ficha 53 casillas, o bien
hacer retroceder la ficha 2 casillas, sin que en ningún caso se sobrepasen las
casillas 0 o 2017. Gana el jugador que coloque la ficha en la casilla 2017.
¿Cuál de ellos dispone de una estrategia ganadora, y cómo tendrı́a que jugar
para asegurarse ganar?
Solución. Vamos a probar que el jugador A tiene estrategia ganadora. Co-

mienza de la única forma posible: llevando la ficha hasta la casilla 53. A partir
de ahı́, durante 38 turnos dobles BA, el jugador A hará lo contrario de B: si B
avanza 53, A retrocede 2, y viceversa. De este modo, la ficha queda en la casilla
53 + 38 × 51 = 1991 y es turno de B. Los siguientes movimientos son forzados:
7 turnos dobles BA de restar. La ficha queda en la casilla 1991 − 14 × 2 = 1963
y es turno de B. Ahora:
1. Si B avanza 53, dejará la ficha en la casilla 2016 y tras 13 turnos dobles

AB, forzados, la ficha queda en la casilla 2016 − 26 × 2 = 1964 y A gana
sumando 53.
2. Si B resta 2, dejará la ficha en la casilla 1961. Entonces, A avanza 53

para dejarla en 2014. Tras 12 turnos dobles forzados BA, la ficha queda
en 2014 − 24 × 2 = 1966. Después, B está obligado a restar 2 hasta 1964
y, en su turno, A gana sumando 53.
5. Determina el máximo valor posible de la expresión

√ √ √
27abc + a a2 + 2bc + b b2 + 2ca + c c2 + 2ab,
1
siendo a, b, c, números reales positivos tales que a + b + c = √ .
3
1
Solución. En primer lugar se observa que cuando a = b = c = 3
√
3
el valor
2
que toma la expresión es √ , lo cual sugiere conjeturar que
3 3
√ √ √ 2
27abc + a a2 + 2bc + b b2 + 2ca + c c2 + 2ab ≤ √
3 3
2
Para probar la conjetura, se puede
2 2
√ √aplicar √ √ de√Cauchy, (~u ·~v ) ≤
√ la desigualdad
||~u|| ||~v || a los vectores ~u = ( a, b, c) y ~v = ( bc, ca, ab), obteniéndose
√ √ √ 2
9abc = abc + abc + abc ≤ (a + b + c) (bc + ca + ab)
5
Multiplicando por 3 ambos miembros de la desigualdad anterior y teniendo en
cuenta la restricción, resulta
√
27 abc ≤ 3 (a + b + c) (bc + ca + ab) = 3 (bc + ca + ab)
√ 1 p 2 2
Por otro lado, dado que a a2 + 2bc = √ 3a (a + 2bc), aplicando la desi-
3
gualdad entre las medias aritmética y geométrica a los números 3a2 y a2 + 2bc
se obtiene
√ 1 p 2 2 1 3a2 + (a2 + 2bc) 1
a a2 + 2bc = √ 3a (a + 2bc) ≤ √ = √ (2a2 + bc)
3 3 2 3
Análogamnete, se tiene que
√ 1
b b2 + 2ca ≤ √ (2b2 + ca)
3
y
√ 1
c c2 + 2ab ≤ √ (2c2 + ab)
3
Combinando las desigualdades anteriores, y teniendo en cuenta otra vez la
restricción, se obtiene
√ √ √
27abc + a a2 + 2bc + b b2 + 2ca + c c2 + 2ab
√ 1
3 (bc + ca + ab) + √ (2a2 + bc + 2b2 + ca + 2c2 + ab)
≤
3
2 2 2
= √ (a2 + b2 + c2 + 2ab + 2bc + 2ca) = √ (a + b + c)2 = √
3 3 3 3
2
Esto prueba la conjetura y el máximo de la expresión es √ .
3 3
6. En el triángulo ABC los puntos medios respectivos de los lados BC, CA

y AB son D, F, E. Sean: M el punto donde la bisectriz interior del ángulo
∠ADB corta al lado AB, y N el punto donde la bisectriz interior del ángulo
∠ADC corta al lado AC. Sean ademas O el punto de intersección de las
rectas AD y M N , P el punto de intersección de AB y F O, y R el punto de
intersección de AC y EO. Demuestra que P R = AD.
Solución. Aplicando el teorema la bisectriz a los triángulos ADB y ADC se

obtiene
MB BD NC DC
= y =
AM AD AN AD
6
A
E F
M N
O R
P
B D C
MB NC
Como BD = DC, = y entonces M N es paralelo a BC, de donde
AM AN
AB BC MB BD
= . De aquı́, junto con = , resulta
AM MN AM AD
BD + AD BD MB M B + AM AB BC
=1+ =1+ = = = (1)
AD AD AM AM AM MN
Como EF es la paralela media de ABC, EF y BC son paralelas, BD = EF
y BC = 2 · EF . Sustituyendo esto en (1) obtenemos
BD + AD BC BD + AD 2 · EF 2 BD + AD
= ⇔ = ⇔ =
AD MN AD MN MN AD · EF
que lo podemos escribir como
2 1 1
= + (2)
MN AD EF
Como M N y EF son paralelas a BC, son paraleleas entre sı́, y entonces
AE AF
= (3)
EM AN
Aplicando dos veces el Teorema de Menelao al triángulo AM N , una con la
transversal ER y otra con la transversal P F , se obtiene
AR AE M O AP AF M O
= · y = · ,
NR EM ON MP F N ON
7
AP AR
ası́ que teniendo en cuenta (3) obtenemos = lo cual es equivalente a
MP NR
que P R es paralelo a M N . Pero M N es paralelo a EF y el cuadrilátero EP RF
es un trapecio. Ya que M N es paralela a las bases por el punto de intersección
de las diagonales, M N es la media armónica de las bases del trapecio, es decir
1 1 2 1 1
+ = y por (2), =
P R EF MN PR AD
de donde se concluye que P R = AD.
8
Problema 1.
Se tienen dos progresiones de números reales, una aritmética (an )n∈N y otra geométrica (gn )n∈N no
constante. Se cumple que a1 = g1 = 0, a2 = g2 y a10 = g3 . Decidir, razonadamente, si para cada entero
positivo p, existe un entero positivo m, tal que gp = am .
Solución.
Sean d y r = 1 la diferencia y la razón, respectivamente, de las progresiones aritmética (an )n∈N y
geométrica (gn )n∈N . En primer lugar tenemos g1 r = g2 = a2 = a1 + d = g1 + d de donde d = g1 (r − 1).
En segundo lugar g1 r2 = g3 = a10 = a1 + 9d = g1 + 9g1 (r − 1). De aquı́ sale r2 − 9r + 8 = 0 puesto
que g1 = 0. Las soluciones son r = 1 (que debemos descartar ya que la progresión geométrica no es
constante) y r = 8 que es la razón buscada. De aquı́ también resulta d = 7g1 .
Sea p un entero positivo cualquiera. Debemos encontrar un m tal que gp = am , es decir gp = g1 8p−1 =
am = a1 + (m − 1)d = g1 + (m − 1)7g1 que es equivalente a 8p−1 + 6 = 7m. Puesto que las potencias de
8 módulo 7 siempre son 1, resulta que 8p−1 + 6 es siempre múltiplo de 7 y siempre podremos encontrar
8p−1 + 6
m= .
7
Problema 2.
Sea p un número primo positivo dado. Demostrar que existe un entero α tal que α(α − 1) + 3 es divisible
por p si y sólo si existe un entero β tal que β(β − 1) + 25 es divisible por p.
Solución.
Sean f (x) = x(x − 1) + 3 = x2 − x + 3, g(x) = x(x − 1) + 25 = x2 − x + 25.

Caso p = 2. No podemos encontrar ni un tal α ni un tal β porque para cualesquiera α y β enteros, f (α)
y g(β) son impares, es decir, no múltiplos de p simultáneamente, y por lo tanto el enunciado se cumple.
Caso p = 3. Ahora f (1) = 3, g(2) = 27 y el enunciado también se cumple.
Caso p ≥ 5. Decir que p divide a f (α) es lo mismo que decir que f (α) ≡ 0 mod p. En adelante
seguiremos con esta notación de congruencias sobreentendiendo el módulo p. El enunciado es equivalente
a ver que las congruencias f (x) = x2 − x + 3 ≡ 0 y g(x) = x2 − x + 25 ≡ 0 tengan o no tengan solución
simultáneamente.
Puesto que 2 no es congruente con p, se puede dividir por 2 módulo p. Tenemos
√
1 2 11 1 ± −11
x −x+3 ≡ x−
2
+ ≡ 0 ⇐⇒ x ≡ .
2 4 2
Análogamente √
1 2 99 1 ± 3 −11
x − x + 25 ≡ x −
2
+ ≡ 0 ⇐⇒ x ≡ .
2 4 2
En consecuencia las congruencias f (x) ≡ 0 y g(x) ≡ 0 tienen o no solución (a la vez) según que −11 sea
cuadrado perfecto módulo p o no lo sea.
Observación. Recordemos que esto se cumplirá según que
p−1 p−1
(−11) 2 ≡ 1 o (−11) 2 ≡ −1.
Problema 3.
En la circunferencia circunscrita al triángulo ABC, sea A1 el punto diametralmente opuesto al vértice

A. Sea A el punto en el que la recta AA1 corta al lado BC. La perpendicular a la recta AA trazada
por A corta a los lados AB y AC (o a sus prolongaciones) en M y N , respectivamente. Demostrar que
los puntos A, M , A1 y N están en una circunferencia cuyo centro se encuentra en la altura desde A en
el triángulo ABC.
Primera solución.
Sea O el circuncentro de ABC, y D el pie de la altura desde A. Es conocido que AO y la altura desde
A son rectas isogonales en cualquier triángulo. En nuestro caso, los son en los dos triángulos ABC y
AM N , por la manera como se construye el triángulo AM N .
En ABC, AA1 es diámetro de la circunferencia circunscrita Γ y la recta AD es altura. En AM N , AO
es altura, ası́ que el centro de la circunferencia circunscrita Γ estará en la recta AD (isogonal de AO en
AM N ).
Para terminar el problema hay que probar que A1 pertenece a Γ . En primer lugar, es fácil demostrar que
los triángulos ABC y AM N son semejantes (AM N = 90◦ − α = Ĉ). Escribiendo la proporcionalidad
entre sus lados, obtenemos,
AB AN
= ,
AC AM
y esto quiere decir que las rectas M C y BN son antiparalelas y el cuadrilátero BM CN es cı́clico. Sea
Γ la circunferencia que pasa por los vértices de dicho cuadrilátero.
El eje radical de Γ y Γ es BC; el de Γ y Γ es M N . La intersección de las rectas BC y M N , es decir,
A , es el centro radical de las tres circunferencias. El eje radical de Γ y Γ debe, necesariamente, pasar
por A y A , luego no puede ser otro que AA y por lo tanto A1 estará en la circunferencia Γ .
Segunda solución.
Sean Γ y Γ las circunferencias circunscritas a ABC y AM N , respectivamente y AA1 un diámetro de Γ
(por construcción). El triángulo ABA1 es rectángulo en B y su ángulo en A1 es Ĉ por ver, desde A1 la
cuerda AB de Γ. En consecuencia, los triángulos
ABA1 y ADC son semejantes
y los ángulos marcados en A son iguales, α = 90◦ − Ĉ.
El segmento M A1 se ve desde A y desde B bajo ángulo recto (el primero por construcción y el segundo
por inscrito que ve un diámetro). Esto nos dice que los cuatro puntos B, M, A , A1 son concı́clicos. Y
esto nos lleva a que γ = δ. De forma similar, el segmento A1 N se ve desde A y C bajo ángulo recto y
los puntos A1 , A , C, N son concı́clicos. De ahı́ que γ = δ = γ.

Se tiene que BA ◦
1 C = 180 − Â por ser inscrito en Γ y ver la cuerda BC desde el arco contrario al vértice
A. Tenemos que M
A1 N = BA ◦
1 C + γ − γ = 180 − Â. Esto nos indica que A1 tiene que estar sobre la

circunferencia Γ en el arco opuesto al del vértice A.
Como que el triángulo AA M es rectángulo por construcción, resulta que AM A = Ĉ. Los puntos M y
P de Γ ven sobre esta circunferencia la cuerda AN . Luego AP N = Ĉ. En el triángulo AP N los ángulos
◦
en A y en P suman 90 , luego AN P = 90 y AP es un diámetro de Γ .
◦
Problema 4.
Sean m ≥ 1 un entero positivo, a y b enteros positivos distintos mayores estrictamente que m2 y menores
estrictamente que m2 + m. Hallar todos los enteros d, que dividen al producto ab y cumplen m2 < d <
m2 + m.
Solución.
Sea d un entero positivo que divida a ab y tal que d ∈ (m2 , m2 + m). Entonces
d dividea (a − d)(b − d) =
ab − da − db + d2 . Como que |a − d| < m y |b − d| < m, deducimos que (a − d)(b − d) < m2 < d lo que
implica que (a − d)(b − d) = 0. Ası́ d = a o d = b.
Problema 5.
De entre todas las permutaciones (a1 , a2 , . . . , an ) del conjunto {1, 2, ., n}, (n ≥ 1 entero), se consideran
las que cumplen que 2(a1 + a2 + · · · + am ) es divisible por m, para cada m = 1, 2, . . . , n. Calcular el
número total de estas permutaciones.
Solución.
Sea Pn el conjunto de permutaciones de {1, 2, . . . , n} que cumplen las condiciones del enunciado. El
problema consiste en calcular |Pn |. Observemos que, para cualquier n, las condiciones se cumplen
siempre para m = 1, para m = 2 y para m = n, de manera que P1 , P2 y P3 son, en cada caso, el
conjunto de todas las permutaciones y |P1 | = 1, |P2 | = 2 y |P3 | = 6.
Supongamos que (a1 , . . . , an ) ∈ Pn . Tomando m = n − 1, debe cumplirse que
(n − 1)|2(a1 + · · · + an−1 ) = 2(a1 + · · · + an ) − 2an = n(n + 1) − 2an . Mirando esta relación en
forma de congruencias, tenemos 2 − 2an ≡ 0 mod (n − 1), o bien que 2(an − 1) es múltiplo de n − 1, que
es equivalente a que an − 1 sea múltiplo de n−1
2 . Dada la acotación obvia an − 1 ≤ n − 1, resulta que los
únicos valores que puede tomar an − 1 son 0, n−12 o n − 1. Entonces an solamente puede ser 1, 2 o n.
n+1
Si fuese an = n+1 2 , entonces n deberı́a ser impar. La propiedad de Pn para m = n − 2 nos dice,
con un cálculo parecido al hecho antes, que (n − 2)|2(a1 + · · · + an−2 ) = n(n + 1) − 2an−1 − 2an =
(n−1)(n+1)−2an−1 . Mirando esta relación en forma de congruencias módulo (n−2) queda 3−2an−1 ≡ 0
mod (n − 2), de manera que 2an−1 − 3 tiene que ser múltiplo de n − 2 y esto solo sucede si es n − 1.
Pero esto conduce a que an−1 = n+12 = an , que es absurdo.
En conclusión, an solamente puede tomar los valores 1 y n.
Estudiemos estos dos casos.
Caso an = n. Entonces (a1 , . . . , an−1 ) es una permutación de {1, 2, . . . , n − 1}. Se comprueba fácilmente
que es de Pn−1 . Entonces habrá tantas permutaciones de Pn con an = n como permutaciones en Pn−1 .
Caso an = 1. Ahora a1 , a2 , . . . , an−1 > 1 y (a1 − 1, a2 − 1, . . . , an−1 − 1) es una permutación de Pn−1 .
La correspondencia (a1 , a2 , . . . , an−1 , 1) (a1 − 1, a2 − 1, . . . , an−1 − 1) es biyectiva. Habrá tantas
permutaciones de Pn con an = 1 como permutaciones en Pn−1 .
En definitiva, |Pn | = 2|Pn−1 | si n > 3, de donde, |Pn | = 3 · 2n−2 .
Observación: La demostración anterior nos da el algoritmo recurrente para obtener todas las permuta-
ciones que cumplen la condición. Por ejemplo, conocemos que las permutaciones de P3 son todas.
Añadiendo un 4 al final de cada una obtenemos la mitad de las de P4 . La otra mitad sale de sumar 1 a
cada elemento de cada permutación y añadir un 1 al final.
Problema 6.
Sea n ≥ 2 un número entero. Determinar el menor número real positivo γ de modo que para cua-
lesquiera números reales positivos x1 , x2 , . . . , xn y cualesquiera números reales y1 , y2 , . . . , yn con 0 ≤
y1 , y2 , . . . , yn ≤ 12 que cumplan x1 + x2 + . . . + xn = y1 + y2 + . . . + yn = 1, se tiene que
x1 x2 . . . xn ≤ γ (x1 y1 + x2 y2 + . . . + xn yn ),
Solución.
M
Sean M = x1 x2 . . . xn y Xi = para 1 ≤ i ≤ n. Consideremos la función
xi
M
ϕ : (0, +∞) → R definida por ϕ(t) = que es convexa como se prueba fácilmente. Como los números
t
no negativos yi , (1 ≤ i ≤ n), son tales que y1 + y2 + . . . + yn = 1, entonces aplicando la desigualdad de
Jensen a la función ϕ se tiene n
n
ϕ yi xi ≤ yi ϕ(xi ),
i=1 i=1
es decir,
−1

n
n
M n
M yi xi ≤ yi = yi Xi . (1)
i=1 i=1
xi i=1
Ahora se trata de encontrar la menor cota superior del término de la derecha de (1). Sin pérdida de
generalidad, podemos suponer que x1 ≤ x2 , ≤ . . . ≤ xn e y1 ≥ y2 ≥ . . . ≥ yn . Entonces se tiene que
X1 ≥ X2 ≥ . . . ≥ Xn como se comprueba inmediatamente. Aplicando la desigualdad del reordenamiento,

n
sabemos que entre todas las sumas de la forma yi Xi la que alcanza el valor máximo es la que se obtiene
i=1
cuando y1 ≥ y2 ≥ . . . ≥ yn y X1 ≥ X2 ≥ . . . ≥ Xn .
Ahora observamos que

n
yi Xi = y1 X1 + (y2 X2 + . . . + yn Xn ) ≤ y1 X1 + (y2 + . . . + yn )X2 = y1 X1 + (1 − y1 )X2 .
i=1
Al ser 0 ≤ y1 ≤ 1/2, se tiene que

1
n
1
yi Xi ≤ (X1 + X2 ) = (x1 + x2 )x3 . . . xn ≤
i=1
2 2
n−1 n−1
1 (x1 + x2 ) + x3 + . . . + xn 1 1
≤ =
2 n−1 2 n−1
donde se ha utilizado la desigualdad entre las medias aritmética y geométrica y la condición x1 + x2 +
. . . + xn = 1. De lo anterior y (1), resulta
n n n−1
1 1
n
M≤ yi xi yi Xi ≤ yi xi
i=1 i=1
2 n−1 i=1
y
n−1
1 1
γ≤ .
2 n−1
1 1 1
Si tomamos x1 = x2 = , x3 = x4 = . . . xn = e y1 = y2 = , y3 = y4 = . . . = yn = 0,
2(n − 1) n−1 2
entonces
n
1 1
M = x1 x2 . . . xn = =
4 n−1
n−1 n−1
n
1 1 1 1
= (y1 x1 + y2 x2 ) = yi xi
2 n−1 2 n−1 i=1
n n−1 n−1
n
1 1 1 1 1 1
M = x1 x2 . . . xn = = (y1 x1 + y2 x2 ) = yi xi
4 n−1 2 n−1 2 n−1 i=1
y se concluye que
n−1
1 1
γ= .
2 n−1
LI Olimpiada matemática Española (Concurso Final)
1. Sobre la gráfica de una función polinómica con coeficientes enteros, se eligen dos
puntos con coordenadas enteras. Probar que si la distancia entre ellos es un número
entero, entonces el segmento que los une es paralelo al eje de abscisas.
n
X
Solución. Sea el polinomio f (x) = ai xi , ai ∈ Z y sean A(c, f (c)) y B(d, f (d))
i=0
dos puntos con coordenadas enteras. Entonces
n
X
f (c) − f (d) = ai (ci − di )
i=1
Todos los sumandos de esta suma son divisibles por c − d, ası́ que
n
X
f (c) − f (d) = ai (ci − di ) = k(c − d),
i=1
donde k es un entero. Como la distancia entre los puntos A y B, que denotamos

por d(A, B) es un entero, entonces d2 (A, B) es un cuadrado perfecto. Pero
d2 (A, B) = (c − d)2 + k 2 (c − d)2 = (c − d)2 (1 + k 2 )
luego la única posibilidad para que esta expresión sea un cuadrado perfecto es que
k = 0, en cuyo caso
f (c) − f (d) = 0
y efectivamente el segmento AB es paralelo al eje de abcisas.
2. En el triángulo ABC, sea A0 el punto simétrico de A respecto del circuncentro

O de ABC.
a) Probar que la suma de los cuadrados de los segmentos de tangentes trazadas
desde A y A0 a la circunferencia inscrita en ABC es igual a 4R2 − 4Rr − 2r2 .
b) Sea I el incentro del 4ABC. Probar que la circunferencia de centro A0 y radio
A0 I corta
√ a la circunferencia circunscrita de ABC en un punto L tal que
AL = AB.AC.
1
Solución. a) Si t y t0 son las longitudes de los segmentos de tangentes, se tiene
t2 = AI 2 − r2 y t02 = A0 I 2 − r2 ;
por lo tanto,
t
M
I O
M'
B C
L t'
A'
t2 + t02 = AI 2 + A0 I 2 − 2r2
Aplicando el teorema de Apolonio al triángulo AIA0 con la mediana IO resulta
AI 2 + A0 I 2 = 2IO2 + 2R2 = 2(R2 − 2Rr) + 2R2 = 4R2 − 4Rr
Sustituyendo en la expresión anterior resulta la relación pedida.

b) Teniendo en cuenta a) y que AL2 = A0 A2 −A0 L2 = 4R2 −A0 I 2 , ya que el triángulo
AA0 L es claramente rectángulo por ser AA0 un diámetro, resulta
abc bc(p − a)
AL2 = 4R2 − (4R2 − 4Rr − AI 2 ) = 4Rr + AI 2 = + = bc,
p p
donde las dos últimas expresiones se obtienen a partir de las relaciones entre ángulos
y lados en el triángulo, teniendo en cuenta que t = p − a siendo p el semiperı́metro.
3. En la pizarra está escrito un número entero. Dos jugadores A y B juegan

alternadamente, empezando por A. Cada jugador en su turno reemplaza el número
existente por el que resulte de realizar una de estas dos operaciones: restar 1 o dividir
entre 2, siempre que se obtenga un entero positivo. El jugador que llegue al número
1 gana. Determinar razonadamente el menor número par que le exige a A jugar al
menos 2015 veces para ganar (no se contabilizan los turnos de B).
2
Solución. Si el valor de N inicial es par, veamos que gana A: ya sea restando 1
o bien dividiendo entre 2 (en el caso N = 4k + 2, N2 = 2k + 1 impar), A siempre
le dejará a B un impar, obligándolo a restar 1 por no poder dividir entre 2, con lo
cual al jugar A volverá a encontrarse con un par, menor que el anterior. Ası́, A se
encontrará finalmente con un 2, y ganará.
Hay que destacar que cuando A tiene dos opciones válidas para dejarle a B un impar,
siempre preferirá dividir entre 2, para acercarse más rápidamente al objetivo.
A continuación usaremos el siguiente resultado:
Sea y un número par con el cual se encuentra A en su turno. Entonces, dos turnos
antes A se encontraba con un número mayor o igual que 2y + 4.
En efecto, distinguiremos dos casos: (1) Caso y = 4k + 2. Proviene de una jugada
obligada de B desde 4k + 3. Antes, A podı́a estar en 8k + 6, o bien 4k + 4 (esto
es viable, ya que desde 4k + 4 A no puede dividir porque 2k + 2 es par). Es decir,
B estaba antes en 8k + 7 o en 4k + 5. Si B estaba en 8k + 7, A pudo estar antes
en 16k + 14 o en 8k + 8, mientras que si B estaba en 4k + 5 A sólo pudo estar en
8k + 10, no en 4k + 6, porque en ese caso habrı́a preferido dividir en vez de restar.
Resumiendo, si y = 4k + 2, hace dos turnos A podı́a encontrarse en 16k + 14, 8k + 10
o 8k + 8, siendo la menor opción justamente 2y + 4.
(2) Caso y = 4k. Razonando de forma similar, se deduce que hace dos turnos A se
encontraba en 8k + 4 (2y + 4) o
La solución al problema se obtendrá aplicando repetidamente el resultado anterior.
Definimos la sucesión a0 = 2, an+1 = 2an + 4, cuya fórmula explı́cita es
an = 6 · 2n − 4
Aplicando reiteradamente el resultado, vemos que para todo n se tiene que cualquier
N desde el cual se llegue al 2 en 2n turnos, debe cumplir N ≥ an . Es decir, contando
con que A pasa del 2 al 1 en un turno, hemos probado que para todo n, los números
N que le exigen a A al menos 2n + 1 jugadas cumplen N ≥ an .
Dado que para n = 1007 se tiene 2n + 1 = 2015, se cumple que N es mayor o igual
que el término a1007 de la sucesión considerada, es decir, el número 6 · 21007 − 4.
Queda por probar que se alcanza la igualdad. Para ello, basta ver que para todo
n ≥ 1, si A se encuentra con an , tras dos turnos estará en an−1 . En efecto,
n A B A B
6| · 2{z − 4} → 6 · 2n − 5 → 6 · 2n − 6 → 3 · 2n − 3 → 3 · 2n − 4 = |6 · 2n−1
{z − 4}
an an−1
4. Todas las caras de un poliedro son triángulos. A cada uno de los vértices de este
poliedro se le asigna de forma independiente uno de entre tres colores: verde, blanco
3
o negro. Decimos que una cara es extremeña si sus tres vértices son de distintos
colores, uno verde, uno blanco y uno negro. Es cierto que, independientemente de
cómo coloreemos los vértices, el número de caras extremeñas de este poliedro es
siempre par?
Solución. Sea C el número de caras del poliedro. Cada cara tiene 3 lados, cada uno
de los cuáles pertenece exactamente a dos caras. Luego el número total de aristas
del poliedro es 3C/2, que ha de ser entero. Luego el número C de caras del poliedro
es par.
A una arista cuyos vértices extremos son del mismo color la llamaremos monocroma.
Si sumamos las aristas monocromas de todas las caras, como cada una de ellas está
exactamente en dos caras, tendremos un número par. A este número no contribuyen
las caras extremeñas, pues no contienen aristas monocromas, y las no extremeñas
lo hacen con un número impar: 3, si los tres vértices son del mismo color, o 1 en
otro caso. Por tanto, el número de caras no extremeñas tiene que ser par. Como el
número total de caras es par, también será par el número de caras extremeñas.
5. Sean p y n enteros positivos, tales que p es primo, n ≥ p, y 1+np es un cuadrado

perfecto. Probar que n + 1 es suma de p cuadrados perfectos no nulos.
Solución. Sea 1 + np = k 2 , con k entero positivo. Entonces np = k 2 − 1 =

(k − 1)(k + 1). Ahora consideramos dos casos:
1. Si el primo p divide a k − 1, entonces k − 1 = p` y k = p` + 1, con ` entero
positivo. Por tanto
1 + np = k 2 = (p` + 1)2 = p2 `2 + 2p` + 1 ⇔ np = p2 `2 + 2p` ⇔ n = p`2 + 2`
Entonces, n + 1 = p`2 + 2` + 1 = (p − 1)`2 + (` + 1)2 como querı́amos probar.

2. Si el primo p divide a k + 1, entonces k + 1 = p` y k = p` − 1, con ` > 1 entero
(` = 1 se corresponde con el caso n = p − 2, que no es posible). Por tanto
1 + np = k 2 = (p` − 1)2 = p2 `2 − 2p` + 1 ⇔ np = p2 `2 − 2p` ⇔ n = p`2 − 2`
Entonces, n + 1 = p`2 − 2` + 1 = (p − 1)`2 + (` − 1)2 es suma de p cuadrados

perfectos.
6. Sean M y N puntos del lado BC del triángulo ABC tales que BM = CN ,

estando M en el interior del segmento BN . Sean P, Q puntos que están respectiva-
mente en los segmentos AN, AM tales que ∠P M C = ∠M AB y ∠QN B = ∠N AC.
¿Es cierto que ∠QBC = ∠P CB?
Solución. La idea clave de la solución es considerar las circunferencias circunscritas

de los triángulos BN Q (en verde en la figura) y P M C (en rojo). Si AM corta a
4
la circunferencia (BN Q) en X, y AN corta a la circunferencia (P M C) en Y , es
evidente que los cuadriláteros BQN X y M P CY son cı́licos. Puesto que ∠QBC =
A
α β
P
Q
B α
β
M C
N
∠QBN y ∠P CB = ∠P CM, los ángulos del enunciado del problema serán iguales
si lo son ∠QBC y ∠P CM. Pero ∠QBN = ∠QXN = ∠M XN y por otra parte
∠P CM = ∠P Y M = ∠N Y M. Entonces el problema estará resuelto en sentido
afirmativo si demostramos que ∠M XN = ∠N Y M lo cual es tanto como decir que
los cuatro puntos M, N, Y, X están en una circunferencia, para lo cual podemos
intentar demostrar que
AM AY
AM · AX = AN · AY ⇔ =
AN AX
Para ello razonaremos de la siguiente manera:
Los triángulos ABM y ACN tienen la misma área, ya que sus bases son iguales por
hipótesis y la altura desde A es la misma; entonces
AM · AB · sin α = AN · AC · sin β, (1)
donde α = ∠M AB y β = ∠N AC. Por otra parte, dos de los ángulos del triángulo
ABX son α y ∠BXQ = ∠QN B = β (en la circunferencia (BNQ)).
Análogamente, dos de los ángulos del triángulo ACY son β y α. Por lo tanto esos dos
triángulos son semejantes, y escribiendo la proporcionalidad entre lados homólogos,
se tiene
AY CY
= (2)
AX AB
5
Por último, aplicando el teorema del seno en el triángulo ACY , tenemos
AC CY sin β CY
= ⇔ =
sin α sin β sin α AC
Utilizando (1) y teniendo en cuenta (2), resulta
AM AC · sin β AC CY AY
= = · =
AN AB · sin α AB AC AX
y esto demuestra la igualdad de ángulos indicada en el enunciado
6
L Olimpiada matemática Española (Concurso Final)
1. Es posible disponer sobre una circunferencia los números 0, 1, 2, . . . , 9 de tal
manera que la suma de tres números sucesivos cualesquiera sea, como mucho a) 13,
b) 14, c) 15?
Solución. Cortamos la circunferencia a la izquierda del 0. Descartado el 0, nos

quedan 9 números, que podemos agrupar en tres trı́os cuya suma total es
1 + 2 + . . . + 9 = 45
Por lo tanto, no puede suceder que las tres sumen menos de 15. Luego la respuesta
a los apartados a) y b) es NO, mientras que al apartado c) es SÍ, colocando por
ejemplo los números en el siguiente orden:
0, 9, 5, 1, 8, 4, 3, 2, 7, 6
| {z } | {z } | {z }
1 1 1
2. Dados los números racionales r, q y n, tales que + = , probar
r r + qn q + rn r + q
n−3
que es un número racional.
n+1
Solución. Racionalizando, tenemos
r s p
n−3 (n − 3)(n + 1) (n − 1)2 − 4
= =
n+1 (n + 1)2 n+1
Por tanto, el enunciado quedará probado si vemos que (n − 1)2 − 4 es el cuadrado de

un número racional. Para ello, utilizamos la condición y la escribimos en la forma
equivalente
(r + qn)(r + q) + (q + rn)(r + q) = (r + qn)(q + rn) ⇔ (r + q)2 = rq(n − 1)2
(r + q)2
de donde resulta (n − 1)2 = . Entonces, se tiene que
rq
2
(r + q)2 (r − q)2 (r − q)2 (n − 1)2

2 (r − q)(n − 1)
(n − 1) − 4 = −4= = =
rq rq (r + q)2 (r + q)
(r + q)2
(En la penúltima igualdad se ha utilizado que rq = ). Por tanto, (n−1)2 −4
(n − 1)2
es el cuadrado de un número racional y hemos terminado.
1
3. Sean B y C dos puntos fijos de una circunferencia de centro O, que no sean dia-
metralmente opuestos. Sea A un punto variable sobre la circunferencia, distinto de
B y C, y que no pertenece a la mediatriz de BC. Sean H, el ortocentro del triángulo
ABC; y M y N los puntos medios de los segmentos BC y AH, respectivamente.
La recta AM corta de nuevo a la circunferencia en D, y, finalmente, N M y OD
se cortan en un punto P . Determinar el lugar geométrico del punto P cuando A
recorre la circunferencia.
Solución. Empezaremos considerando el caso en que 4ABC es acutángulo. En

primer lugar, denotaremos por A0 el punto diametralmente opuesto a A con lo que los
triángulos ACA0 y ABA0 son rectángulos. Los segmentos HB y CA0 son paralelos
por ser perpendiculares a AC. Igualmente, HC y BA0 también son paralelos por ser
perpendiculares a AB. Figura-1:
Figura-1: Caso en que ABCCaso
sea en que ABC sea acutángulo.
acutángulo.
A A A A
N N N N
H H H O H O
O O
C C B C B C M B B
M M M
P P
A' A' D D
Figura-1a: Figura-1a: Figura-1b Figura-1b
Triángulo ABC acutángulo

Análogamente seAnálogamente se razonaría en el:
razonaría en el:
Entonces, CHBA0 es un paralelogramo Figura-2:

Figura-2: Caso en que ABCCaso
sea en
tanto, M es el unto medio de HA0 .
que ABC sea obtusángulo.
y, obtusángulo.
por
Los triángulos AA 0 0
H H y OA
H M son semejantes H conHrazón de semejanza conocida. Es
N N
decir, tenemos que
N N
A A
A A
OM M A0 1 AH
C
= 0
= ⇒C OM B= C = AN =BN H B
C AH HA
M 2M B 2 M M
O O O
O
Luego OM HN es otro paralelogramo (figura izquierda).
P P
D D
Sea D la intersección de AM con A'

la circunferencia
A'
y sea P el punto de corte de
AD con N M . Puesto que 4AOD es isósceles, entonces ∠AOD = ∠ODA. Como
OM y AN son paralelos, pues Figura-2a:
Figura-2a: ambos son perpendiculares
Figura-2b al lado BC, además de
Figura-2b
iguales, entonces AOM N es también un paralelogramo. Y, de aquı́, tenemos que

∠OAM = ∠AM N = ∠P M D por ser opuesto por el vértice. Sintetizando, tenemos
que ∠P M D = ∠OAM = ∠OAD7 = ∠ODA 7 = ∠P DM con lo que 4P DM es
isósceles y, por tanto, P M = P D.
Finalmente, tenemos que
OP + P M = OP + P D = OD = r = constante
Es decir, con A variable, el punto P se mueve sobre una elipse incompleta con
focos en O y M , y eje mayor el radio de la circunferencia. En esta elipse hay que
descartar los cuatro vértices. En efecto, si el punto P estuviese sobre el eje mayor
de la elipse, también estarı́a D y por tanto A, lo cual está excluido del enunciado ya
que en este caso AD y N M son coincidentes. Si el punto P fuese uno de los vértices
del eje menor de la elipse, tendrı́amos OP = P M = r/2. Como OD = r, entonces
2
Figura-1: Caso enFigura-1:
que ABCCaso
sea acutángulo.
en que ABC sea acutángulo.
A A A
A
N N N
N
H H O H
O O H O
P D = r/2. Supongamos que P está del lado de B, entonces la paralela a BM por el
punto medio de OB es el eje menor BdeCla elipse, con lo que elB punto medio de OB es
C CM B CM B
precisamente P y D coincide conMB, lo que implicará P
queMA coincide con C, lo cual
P
está escluido del enunciado ya que ABC serı́a degenerado. El resto de puntos de la
A'
elipse se pueden obtener cuando A es A'distinto de BDy C y noD está en la mediatriz de
Figura-1a: Figura-1b
BC. Figura-1a: Figura-1b
Análogamente se razonaría en el:

A continuación apareceAnálogamente
la Figura-2:
figura para el caso en que 4ABC sea obtusángulo.
se razonaría en el:
Caso en que ABC sea obtusángulo.
Figura-2: Caso en que ABC sea obtusángulo.
H H H
H
N N N
N A
A A A
C C C B
C B B M B
M M M
O O O
O
P P
D D
A' A'
Figura-2a: Figura-2a: Figura-2b Figura-2b

Triángulo ABC obtusángulo
7
7
4. Sea {xn }n≥1 la sucesión de enteros positivos definida por x1 = 2 y xn+1 =
2x3n + xn para todo n ≥ 1. Determinar la mayor potencia de 5 que divide al número
x22014 + 1.
Solución. Para n = 1 se tiene que x1 = 2 y x21 + 1 = 22 + 1 = 5 que es múltiplo de

5 pero no de 52 . Para n = 2 es x2 = 2 · 23 + 2 = 18 y x22 + 1 = 182 + 1 = 325 que
es múltiplo de 52 pero no de 53 . Esto nos sugiere conjeturar que x2n + 1 es múltiplo
de 5n pero no de 5n+1 . La demostraremos por inducción. Los casos n = 1 y n = 2
ya están probados. Supongamos que n ≥ 3 y que x2n + 1 = k 5n con (k, 5) = 1.
Entonces,
x2n+1 + 1 = (2x3n + xn )2 + 1 = x2n (2x2n + 1)2 + 1 = (k5n − 1)(2k5n − 1)2 + 1

= (k5n − 1)(4k 2 52n − 4k5n + 1) + 1 = 4k 3 53n − 8k 2 52n + k5n+1

= k5n+1 |4k 2 52n−1{z− 8k5n−1} +1
5̇
que es múltiplo de 5n+1 pero no es múltiplo de 5n+2 ya que para n ≥ 3 es 2n − 1 ≥ 1

y n − 1 ≥ 1 respectivamente y el término entre paréntesis no es múltiplo de 5. Esto
prueba la conjetura y, por tanto, la mayor potencia de 5 que divide a x22014 + 1 es
52014 .
5. El conjunto M está formado por números enteros de la forma a2 + 13b2 , con a

y b enteros distinos de cero.
• Demostrar que el producto de dos elementos cualesquiera de M es un elemento

de M .
• Determinar, razonadamente, si existen infinitos pares de enteros (x, y) tales

que x + y no pertenece a M , pero x13 + y 13 sı́ pertenece a M .
3
Solución. (1) Sean 2 2 2 2
√ √ a + 13b y c + 13d dos elementos de M . Poniendo m = a, n =
13 b, p = c, q = 13 d en la identitdad algebraica
(m2 + n2 ) (p2 + q 2 ) = (mq − np)2 + (mp + nq)2 (Euler)
se obtiene
√ √
(a2 +13b2 ) (c2 +13d2 ) = ( 13ad− 13bc)2 +(ac+13bd)2 = (ac+13bd)2 +13(ad−bc)2 ∈ M
(2) Puesto que los cuadrados de los enteros son congruentes con 0 o con 1 módulo
4, entonces los elementos de M no son congruentes con 3 módulo 4. Para que la
suma x + y de dos elementos de M no pertenezca a M, es suficiente que x + y sea
congruente con 3 módulo 4. Ahora consideramos las sucesiones {xk }k≥1 e {yk }k≥1
definidas, respectivamente por

xk = (213 + 1) (4k)2 + 13(4k + 1)2 , yk = 2xk
Entonces,

xk + yk = 3xk = 3 (213 + 1) (4k)2 + 13(4k + 1)2 ≡ 3 (mod 4)
y por tanto xk + yk ∈
/ M para todo entero positivo k.
Calculamos ahora
13
x13
k + yk
13
= x 13
k + 2 13 13
x k = (213
+ 1)x13
k = (213
+ 1) 14
(4k) 2
+ 13(4k + 1) 2
∈M
al ser el producto de un cuadrado por un elemento de M.
6. Se tienen 60 puntos en el interior del cı́rculo unidad. Demostrar que existe un

punto V de la frontera del cı́rculo, tal que la suma de las distancias de V a los 60
puntos es menor o igual que 80.
Solución. Consideremos un triángulo equilátero P QR inscrito en la circunferencia

frontera del cı́rculo unidad dado. Observamos que si para cualquier punto X del
cı́rculo se cumple que
|XP | + |XQ| + |XR| ≤ 4,
entonces sumando las correspondientes desigualdades para los 60 puntos Xk , (1 ≤
k ≤ 60) se obtiene
60
X 60
X 60
X 60
X
|Xk P | + |Xk Q| + |Xk R| = (|Xk P | + |Xk Q| + |Xk R|) ≤ 60 × 4 = 240
k=1 k=1 k=1 k=1
En consecuencia, una de las sumas del miembro izquierdo no excede de 240/3 = 80

y, por tanto, alguno de los puntos P, Q o R verifica el enunciado. Ahora veremos
que
|XP | + |XQ| + |XR| ≤ 4
4
En efecto, debido a la simetrı́a del
recinto, será suficiente probar la de- P
siguladad cuando el punto X esté en
el sector P OQ, siendo O el centro
X y
del cı́rculo. De hecho, el máximo
valor de |XP | + |XQ| + |XR| se al-
canza cuando el punto X está so- z x
bre el arco P Q. En este caso, apli- a a
cando el Teorema de Ptolomeo al
cuadrilátero cı́clico RQXP se tiene O
que ax = ay + az de donde resulta
que x = y + z y como x ≤ 2 entonces Q a R
|XP | + |XQ| + |XR| ≤ 2 + 2 = 4 y
hemos terminado.
5
SOLUCIONES DE LOS PROBLEMAS DE LA OME 49ª
1. Sean a, b y n enteros positivos tales que a  b y ab  1  n 2 . Prueba que

a  b  4 n  3.
Indica justificadamente cuándo se alcanza la igualdad.
SOLUCIÓN:
Supongamos que el resultado a demostrar fuera falso.

Entonces (a  b) 2  (a  b) 2  4ab  4n  3  4(n 2  1)  (2n  1) 2 . Pero como a  b es
entero y a  b  2n  1, entonces a  b  2n y por la desigualdad entre las medias
2
2 ab 2
aritmética y geométrica n  1  ab     n , que es una contradicción. Luego el
 2 
resultado a demostrar es cierto.
El caso de la igualdad requiere que (a  b) 2  4n  3  4(n 2  1)  (2n  1) 2 , debido a la

identidad (a  b) 2  (a  b) 2  4ab. Por tanto a  b  2n  1. La igualdad a  b  4n  3
se alcanza cuando el radicando sea necesariamente un cuadrado perfecto impar; es decir
4n  3  (2u  1) 2 para algún entero no negativo u, con lo que
n  u 2  u  1 y a  b  2u  1.
Además, b  n  u  u 2  1, luego a  b  2u  1  u 2  2u  2. Se comprueba fácilmente
que en efecto ab  u 4  2u 3  3u 2  2u  2  (u 2  u  1) 2  1  n 2  1.
Luego hay igualdad si y sólo si
a  u 2  2u  2, b  u 2  1 y n  u 2  u  1, con a  b  2u  1,
para todo entero no negativo u.
2. Determina todos los números enteros positivos n, para los cuales

Sn  xn  y n  z n
es constante, cualesquiera que sean x, y, z reales tales que, xyz  1 y x  y  z  0.
SOLUCIÓN:
Supongamos z conocido. Entonces x, y son dos números reales con suma  z y

1 1
producto ; es decir son las raíces de la ecuación  2   z   0, o bien:
z z
4
 z  z2 
x, y  z.
2
1
Así una posible solución es por ejemplo z  3 4 y x  y   3 . Sin embargo,
2
podemos hacer z arbitrariamente grande en valor absoluto, siendo entonces uno de los
dos números x ó y también arbitrariamente grande en valor absoluto y de signo
contrario a z. Y el otro arbitrariamente pequeño en valor absoluto y de signo negativo.
Se deduce inmediatamente que n no puede ser par cuando S n es constante, ya que por
una parte toma un valor finito y bien determinado cuando z  3 4 y por otra puede
tomar valores arbitrariamente grandes y siempre positivos cuando z crece
arbitrariamente.
Para finalizar el problema utilizaremos el siguiente resultado.
Lema: Para todo n  3 impar, fijado z , se puede escribir x n  y n como un polinomio
en z de grado n (más algún término posiblemente de exponente negativo) y con
coeficientes iguales a  1, para los términos de grado n, iguales a 0, para los términos
de grado n  1, n  2 y n para los términos de grado n  3.
Demostración:
Para n  3 tenemos que x 3  y 3  ( x  y ) 3  3 xy ( x  y )   z 3  3.
5
Para n  5 tenemos x 5  y 5  ( x  y ) 5  5 xy ( x 3  y 3 )  10 x 2 y 2 ( x  y )   z 5  5 z 2  .
z
Si el resultado es cierto para un entero impar n, entonces para n  2 tenemos
n 1
 n  2  u u n  2 2 u
2
x n 2
y n2
  
 (x  y) n2
u
 x y x  
 y n  2  2u 
u 1  
n 1
n2 n 2
 n  2  x n  2  2 u  y n  2  2u
 z n 2  n
( x  y )     .
z u 2  u  zu
Por hipótesis de inducción la suma para u  2 no contiene ningún término de grado

superior a n  4, y también por hipótesis de inducción, el término de mayor grado del
n2
segundo sumando del miembro de la derecha es  ( z n )  (n  2) z n1.
z
De este modo queda probado el lema por inducción completa.
Del razonamiento inicial se deduce que si S n es constante, no puede ser n par y por el
lema cuando z   para algún n  5 impar dado, se tiene que
x n  y n  z n  nz n 3  ,
con signo positivo además por ser n  3 par en este caso. Luego sólo podrían ser constantes
S1 y S 3 : S1  0 es constante por hipótesis y S 3  3 como consecuencia de un resultado
hallado durante la demostración del lema.
Por tanto, se concluye que S n es constante con las condiciones del enunciado, si y sólo si
n =1 ó n =3.
3. Sean k y n enteros, con n  k  3. Se consideran n  1 puntos en el plano, no

alineados entre sí tres a tres. A cada segmento que une entre sí dos de esos puntos se le
asigna un color de entre k colores dados.
Se dice que un ángulo es bicolor si tiene por vértice uno de los n+1 puntos, y por lados,
dos de los segmentos anteriores que sean de distinto color.
Demuestra que existe una coloración tal que el número de ángulos bicolores es
estrictamente mayor que
2
n k 
n    .
k  2
OBSERVACIÓN: Se denota por  t  la parte entera del número real t ; es decir el mayor entero n  t.
SOLUCIÓN:
Utilizaremos en la solución el siguiente resultado o lema:
Para todo entero k3, se pueden colorear, usando k colores, todos los lados y
diagonales de un polígono regular de k lados, de forma que los k1 lados y diagonales
que confluyen en cada vértice estén coloreados de distinto color. Se puede además
elegir la coloración de forma que, para cada dos vértices consecutivos del polígono, el
color ausente para cada uno de ambos (es decir, aquel color del que no está pintado
ningún lado o diagonal que concurre en cada uno de dichos vértices) sea distinto.
Prueba: Cada lado o diagonal del polígono regular de k lados es una cuerda de su
circunferencia circunscrita, y su mediatriz es eje de simetría del polígono. Como es
conocido que el polígono tiene k ejes de simetría, podemos, a cada eje de simetría,
asociarle un color, y pintar de dicho color todos los lados y diagonales que son
perpendiculares al mismo (aquellos para los que el eje de simetría del polígono es la
mediatriz).Luego dos lados o diagonales tienen el mismo color si y sólo si son paralelos,
y como los k1 lados o diagonales que confluyen en un vértice uniéndolo a los k1
restantes no pueden ser paralelos dos a dos, estos k1 lados o diagonales tienen distinto
color, como queríamos demostrar. Además, dados cuatro vértices consecutivos que
numeramos ordenadamente P1, P2, P3, P4, el color del que está pintada la diagonal P1P3
corresponde a todos los lados y diagonales perpendiculares al eje de simetría que pasa
por P2, luego está ausente del vértice P2, y de forma análoga el color del que está
pintada la diagonal P2P4 está ausente del vértice P3, y estos dos vértices consecutivos
tienen colores ausentes distintos.
Para k  3 se cumple trivialmente, siendo suficiente pintar cada lado del triángulo
equilátero, de uno de los 3 colores disponibles.
Dados n y k cumpliendo las restricciones del enunciado, construimos una coloración en

la que el número de ángulos bicolores sea mayor que la cota propuesta. Para ello,
elegimos primero un punto O, al que llamamos “pivote”, y distribuimos los n puntos
n
restantes en k subconjuntos A1, A2,..., Ak, colocando primero   puntos en cada
k 
subconjunto, y distribuyendo los demás a voluntad. Numeramos ahora P1, P2,..., Pk los
vértices de un polígono regular de k lados, y asociamos a cada subconjunto Ai, el vértice
Pi. Coloreamos además los lados y diagonales del polígono regular de k lados de forma
que en cada vértice concurran k1 lados y diagonales de k1 colores distintos, de
acuerdo al Lema.
Para cada punto Q de los n1 dados y distinto del pivote, pintamos todos los segmentos
que lo unen a cada punto R de los n restantes, de la siguiente forma:
 Si Q y R están en distintos subconjuntos Ai y Aj, pintamos el segmento que los
une del mismo color que el lado o diagonal PiPj en el polígono regular.
 Si Q y R están en el mismo subconjunto Ai, o si RO es el pivote , pintamos el
segmento que los une del color que no está presente en ninguno de los lados y
diagonales que confluyen en el vértice Pi del polígono regular.
n
Claramente, con esta coloración cada punto Q de un subconjunto Ai, está unido a al menos  
k 
puntos por segmentos pintados con cada uno de los k colores. En efecto, para cada uno de los
k1 colores de los que están pintados los lados y diagonales que confluyen en el vértice Pi del
n
polígono regular, el punto Q está unido a los al menos   puntos del subconjunto Aj asociado
k 
al vértice Pj que está unido al vértice Pi por dicho color; y para el color restante, el punto Q está
n
unido a los al menos    1 puntos restantes del conjunto Ai, más al pivote O.
k 
De lo anterior, deducimos que, en la coloración propuesta y para cada uno de los n puntos
n
distintos del pivote, hay al menos   segmentos de cada uno de los k colores que confluyen
k 
2
n
en dicho vértice. Para cada par de colores distintos, hay por lo tanto   posibles pares de
k 
k 
segmentos que forman un ángulo bicolor cuyos lados son estos dos colores, y como hay  
 2
posibles formas de elegir dos colores de entre los k existentes, para cada uno de los n puntos
2
n k 
distintos del pivote hay al menos     ángulos bicolores que lo tienen por vértice, para un
k  2
total de al menos
2
n k 
n   
k   2
ángulos bicolores.
Ahora bien, por la segunda parte del Lema, los segmentos que unen al pivote con los puntos de
dos subconjuntos Ai y Aj, asociados a vértices consecutivos del polígono regular de k lados,
están pintados de los colores ausentes en cada uno de los dos vértices, que son distintos, y hay al
menos un ángulo bicolor con vértice en el pivote O, y por lo tanto, para la coloración
construida, el número de ángulos bicolores es mayor que
2
n k 
n    .
k   2
4. ¿Existen infinitos enteros positivos que no pueden representarse de la forma

a 3  b 5  c 7  d 9  e11 , donde a, b, c, d , e son enteros positivos?
Razona la respuesta.
SOLUCIÓN:
Como 5  7  9  11  3465, veamos cuántos enteros podemos obtener que sean menores o
iguales que N 3465 . Al ser a 3 , b 5 , c 7 , d 9 , e11 positivos, cada uno de ellos es menor que
N 3465 , y tenemos
a  N 1155 , b  N 693 , c  N 495 , d  N 385 y e  N 315 .
Luego al ser 1155  693  495  385  315  3043, hay menos de N 3043 tales números
que se pueden poner en la forma indicada, y hay más de N 3464 números entre los N 3465
primeros que no se pueden representar en la forma propuesta. Al crecer N arbitrariamente,
también aumenta el número de enteros positivos que no pueden representarse en la forma
indicada y por lo tanto sí existen infinitos enteros que no se pueden representar de la
manera propuesta.
5. Estudiar si existe una sucesión estrictamente creciente de enteros 0  a 0  a1  a 2  ... ,

que cumple las dos condiciones siguientes:
i) Todo número natural puede ser escrito como suma de dos términos, no
necesariamente distintos, de la sucesión.
n2
ii) Para cada entero positivo n, se verifica que a n  .
16
SOLUCIÓN:
Sea a n  la sucesión de todos los números naturales k , que en el sistema de numeración

binario sólo tiene unos en las posiciones pares o sólo en los lugares impares. De esta
forma se satisface la condición primera. Probemos a continuación que la estimación de la
condición segunda es también válida.
Consideremos todos los enteros no negativos que son menores que 2 2r , es decir los
números que no tienen más de 2r dígitos (cifras) en su representación binaria. Contamos
el número de elementos de la sucesión que hay entre esos números: hay 2 r elementos que
tienen ceros en todos los lugares pares y 2 r elementos que tienen ceros en todos los
lugares impares y 0 es el único número que se cuenta dos veces. Por tanto hay 2 r 1  1
elementos de la sucesión que son menores que 2 2 r y así a 2r 1 1  2 2 r .
Para cada número natural, se puede encontrar un entero r , tal que 2 r 1  1  n  2 r  2  1.
n n2
Por tanto 2 r  y esto implica que a 2r 1 1  2 2 r  ..
4 16
6. Sea ABCD un cuadrilátero convexo tal que:

AB  CD  2 AC y BC  DA  2 BD .
¿Qué forma tiene el cuadrilátero ABCD ?
SOLUCIÓN :
Sean M es el punto medio de AB, N el de BC, P el de CD y Q el de DA. El punto medio

de la diagonal AC es E y el de la diagonal BD es F.
Las longitudes respectivas de los lados AB, BC, CD y DA son a, b, c y d. Y e y f las de
las diagonales AC y BD, respectivamente.
Las relaciones de Euler en los cuadriláteros convexos las formulamos como
i )a 2  c 2  4  MP 2  b 2  d 2  e 2  f 2
ii ) b 2  d 2  4 NQ 2  a 2  c 2  e2  f 2
iii ) e 2  f 2  4 EF 2  a 2  b 2  c 2  d 2
Recordemos brevemente la demostración de una de ellas, por ejemplo i).
MP es una mediana en el triángulo APB, así que el teorema de la mediana en él nos da

4MP 2  2  PA2  PB 2   AB 2 ;
ahora bien, PA es mediana en ACD y PB lo es en BCD, así que volviendo a aplicar en
esos dos triángulos el teorema de la mediana y sustituyendo en la expresión anterior se
obtiene i).
Vamos a demostrar ahora que se verifica la desigualdad
1
QN   AB  CD  ,
2
y que el signo igual se verifica si y sólo si AB es paralelo a CD.
En efecto, sobre la siguiente figura,
en el triángulo EQN se verifica obviamente QN  QE  EN , valiendo el signo igual

cuando E está sobre QN; puesto que QE es paralela media en ACD (paralela a CD e
igual a su mitad) y EN también es paralela media en ABC (paralela a AB e igual a su
mitad), se tiene, inmediatamente,
1
QN   AB  CD  . (1)
2
(El signo igual vale, entonces, cuando ABCD es un trapecio de bases AB y CD).
A continuación vamos a demostrar que
Si ABCD es un cuadrilátero convexo, entonces
e 2  f 2  d 2  b 2  2ac , (2)
y el signo igual vale si y sólo si AB es paralelo a CD.
En efecto, multipliquemos (1) por 2 y elevemos al cuadrado:
2
4QN 2   AB  CD  ,
y sustituyamos aquí la expresión de QN2 dada por (ii):
b 2  d 2  4 NQ 2  a 2  c 2  e 2  f 2 ;
obtendremos
AC 2  BD 2  AD 2  BC 2  2  AB  CD ,
que es (2), y el signo igual es válido si y sólo si AB es paralelo a CD.
De una forma completamente similar obtendríamos
e 2  f 2  a 2  c 2  2bd , (3)
donde ahora el signo = es válido si y sólo si AD es paralelo a BC.
Sumando (2) y (3) llegamos entonces a que
2 2
2  e 2  f 2    a  c    b  d  , (4)
Donde el signo igual vale si AB es paralelo a CD y BC lo es a AD, es decir, si ABCD es
un paralelogramo. Puesto que elevando al cuadrado las dos relaciones del enunciado y
sumando se obtiene (4) y hemos terminado.
CONSTRUCCIÓN GRÁFICA:
Utilizaremos las notaciones siguientes.

Lados: AB = a, BC = b, CD = c, DA = d.
Diagonales del cuadrilátero: AC = d1, y BD = d2. Y para fijar ideas supongamos que
d1  d 2 .
Además, M es el punto medio de AB, N el de BC, P el de CD y Q el de DA. El punto
medio de la diagonal AC es E y el de la diagonal BD es F.
Según el enunciado, se cumplen las relaciones
a  c  2d1 y b  d  2d 2 .
Dados d1 y d2, se construyen sendos triángulos rectángulos isósceles cuyos catetos son
d1 y d2; entonces sus hipotenusas son a + c y b + d respectivamente.
El punto M (que coincidirá con A una vez terminada la construcción) será centro de una
circunferencia de radio d1; el punto N será centro de una circunferencia de radio d2. A
uno de los puntos de intersección de ambas circunferencias se le llama O. Sea P el
simétrico de M respecto de O.
En el triángulo NOP, el ángulo   NOP es el suplementario de MON .
Apliquemos el teorema del coseno en los triángulos MON y NOP:
En NOP : NP 2  d 12  d 22  2d 1 d 2 cos  y

en MNO :  2 d1 2
 d 12  d 22  2d1 d 2 cos
Sumando miembro a miembro y simplificando, obtenemos

NP 2  2d 2 2  NP  2d 2  b  d .
Trazando por P la paralela a MN y por M la paralela a NP obtenemos el punto Q.
El paralelogramo MNPQ es semejante al que buscamos; éste se obtiene trazando las
paralelas a los lados por el punto O.
Para que la construcción sea posible, debe ser
   
d1  d 2  d1 2  d 2  2  1 d1  d1 2  1  d 2  d1 .
Si d1  d 2  cos   0 y se obtendría un cuadrado.
SOLUCIONES DE LA 48ª OME
1. Determinar razonadamente si el número λn = 3n 2 + 2n + 2 es irracional para

todo entero no negativo n.
SOLUCIÓN. Supongamos que n es par. Entonces, 3n 2 + 2n es múltiplo de 4 y

3n 2 + 2n + 2 es múltiplo de 2 pero no de 4, con lo que no puede ser un cuadrado
perfecto.
Supongamos que n es impar. Cualquier cuadrado perfecto impar da resto 1 al dividir
entre 8; este resultado se demuestra trivialmente, escribiendo el cuadrado de cualquier
entero impar 2m + 1 en la forma 4m(m + 1) + 1 y observando que, bien m, bien m + 1,
ha de ser par. Se tiene entonces que si n es impar y 3n 2 + 2n + 2 fuera un cuadrado

perfecto, entonces 3n 2 + 2n + 2 daría resto 1 al dividir entre 8, o equivalentemente,
2n daría resto 1 − 2 − 3 = −4 al dividir entre 8, con lo que 2n sería múltiplo de 4 y n
par, contradicción. Luego para cualquier entero, positivo o negativo, 3n 2 + 2n + 2 es

un entero que no es un cuadrado perfecto, por tanto λ n es siempre irracional para
cualquier entero n, positivo o negativo.

Nótese también que λn es siempre real, incluso cuando n es un entero negativo, pues
3n 2 + 2n + 2 > (n + 1) 2 ≥ 0.
2. Hallar todas las funciones f : R → R de variable real con valores reales, tales
que
( x − 2) f ( y ) + f ( y + 2 f ( x)) = f ( x + y f ( x)) (1)
para todo x, y ∈ R.
SOLUCIÓN. Supongamos primeramente que f (0) = 0. Haciendo x = 0 en (1),

f ( y ) = 0 para todo y ∈ R. Esta función satisface la ecuación funcional dada (1).
Sea f (0) ≠ 0. Haciendo y = 0 en (1), se obtiene ( x − 2) f (0) + f (2 f ( x)) = f ( x) para
todo x ∈ R. Claramente esto implica que f es inyectiva porque si f ( x1 ) = f ( x 2 ),
entonces ( x1 − 2) f (0) + f (2 f ( x1 )) = f ( x1 ) = ( x 2 − 2) f (0) + f (2 f ( x 2 )) = f ( x 2 ) y por
tanto ( x1 − x 2 ) f (0) = 0 y x1 = x 2 .
Poniendo ahora x = 2 en (1), f ( y + 2 f (2)) = f (2 + yf (2)) para todo y ∈ R. Al ser
f inyectiva y + 2 f (2) = 2 + yf (2) para todo y ∈ R. En esta igualdad si y = 0,
3
f (2) = 1. Al ser inyectiva f (3) ≠ 1; por tanto con x = 3 e y = se llega a
1 − f (3)
1
⎛ 3 ⎞
f ⎜⎜ + 2 f (3) ⎟⎟ = 0. Hemos de demostrar que f tiene un cero. Sea a, tal que
⎝ 1 − f (3) ⎠
f (a) = 0. Poniendo ahora y = a en (1) resulta f (a + 2 f ( x)) = f ( x + af ( x)) para todo
x ∈ R. Así por la inyectividad de f , a + 2 f ( x) = x + af ( x) para todo x ∈ R. Como
x−a
a ≠ 2, f ( x) = . Sustituyendo esta función en (1) resulta que a = 1, lo que
2−a
proporciona dos únicas soluciones de la ecuación funcional inicial f ( x) = 0 y
f ( x) = x − 1.
3. Sean x y n enteros tales que 1 ≤ x < n. Disponemos de x + 1 cajas distintas y

n − x bolas idénticas. Llamamos f (n, x) al número de maneras que hay de
distribuir las n − x bolas en las x + 1 cajas. Sea p número primo, encontrar los
enteros n mayores que 1 para los que se verifica que el número primo p es
divisor de f (n, x) para todo x ∈ {1, 2, ..., n − 1 }.
SOLUCIÓN. Claramente f (n, x) es el número de combinaciones con repetición de

x + 1 elementos tomados de n − x en n − x. Es decir,
⎛ ( x + 1) + (n − x) − 1⎞ ⎛ n ⎞
f (n, x) = CR ( x + 1, n − x) = ⎜⎜ ⎟⎟ = ⎜⎜ ⎟⎟.
⎝ n−x ⎠ ⎝ x⎠
Vamos a probar que los n buscados son todos los de la forma p a con a entero positivo.
Sea m p la p -parte del entero positivo m, es decir si m = p a q (con q ≥ 1 entero),
m p = p a , siendo a ≥ 1 entero. Ahora probaremos el siguiente resultado previo:
Si m p = p a , entonces (m − i ) p = i p para cada i ∈ {1, 2, ..., p a − 1 }.
En efecto, si i p = p k entonces k < a y es obvio que p k (m − i ), luego i p ≤ (m − i ) p .
Recíprocamente, si (m − i ) p = p k , ha de ser k < a porque si no sería p a i. Ahora,
p k i porque p k m y p k (m − i ). Es decir (m − i ) p ≤ i p .
A continuación probaremos que si p es primo y n un entero mayor que 1. Entonces p

⎛n⎞
divide a ⎜⎜ ⎟⎟ para todo x ∈ {1, 2, ..., n − 1 } si y sólo si n = p a con a entero.
⎝ x⎠
⎛ n⎞ ⎛ n⎞
Si p ⎜⎜ ⎟⎟ para todo x ∈ {1, 2, ..., n − 1 }, p ⎜⎜ ⎟⎟ = n. Poniendo n p = p a , se tiene:
⎝ x⎠ ⎝1⎠
⎛ n ⎞ n (n − 1) ...(n − p a + 1)
⎜⎜ a ⎟⎟ =
⎝p ⎠ p a ( p a − 1)...2 ⋅ 1
⎛ n ⎞
y por el resultado previo concluimos que la p − parte de ⎜⎜ a ⎟⎟ es 1, luego n = p a .
⎝p ⎠
Recíprocamente, si n = p a , para cada x ∈ {1, 2, ..., p a − 1 },
⎛ n ⎞ p a ( p a − 1) ...( p a − x + 1)
⎜⎜ ⎟⎟ =
⎝ x⎠ x ( x − 1)...2 ⋅ 1
2
⎛n⎞ pa
y de nuevo por el resultado previo, la p − parte de ⎜⎜ ⎟⎟ es , que es múltiplo de p
⎝ x⎠ xp
por ser x < p a .
4. Hallar todos los números enteros positivos n y k, tales que

(n + 1) n = 2n k + 3n + 1.
SOLUCIÓN. Para n = 1 , la ecuación se escribe 2 = 6, claramente falsa. Luego n ≥ 2.

Por la fórmula del binomio de Newton,
(n + 1)n − 1 = n 2 + ⎛⎜⎜ ⎞⎟⎟n 2 + ⎛⎜⎜ ⎞⎟⎟n 3 + ...
n n
⎝ 2⎠ ⎝ 3⎠
es múltiplo de n2. Tenemos entonces dos casos a analizar:
• k = 1. Entonces, n2 divide a 2n1+3n = 5n, es decir, n divide a 5, con lo que n = 5,
y la ecuación se convierte en 65=26, claramente falsa.
• k ≥ 2. Entonces, n2 divide a 2nk + 3n, pero como divide a 2nk, también ha de
dividir a 3n, es decir, n divide a 3, con lo que n=3. Se comprueba fácilmente
que para n = 3, la ecuación se convierte en 43 = 2×3k + 10, luego en 3k = 27 = 33,
que es cierta si y sólo si k = 3.
5. Una sucesión (a n )n≥1 se define mediante la recurrencia

a n2−1 + 4
a1 = 1, a 2 = 5, a n = , para n ≥ 3.
an−2
Demostrar que todos los términos de la sucesión son números enteros y encontrar
una fórmula explícita para a n .
SOLUCIÓN. Observamos a partir de la definición que a k a k − 2 = a k2−1 + 4 y

a k +1 a k −1 = a k2 + 4 . Restando a la segunda ecuación de la primera, resulta
a k +1 a k −1 − a k a k −2 = a k2 − a k2−1 ⇔ a k2−1 + a k −1 a k +1 = a k2 + a k a k + 2 ,
que es equivalente a su vez a a k −1 (a k −1 + a k +1 ) = a k (a k + a k −2 ). Haciendo que 3 ≤ k ≤ n,
se obtienen
a 2 (a 2 + a 4 ) = a3 (a3 + a1 ),
a3 (a3 + a5 ) = a 4 (a 4 + a 2 ),
a 4 (a 4 + a 6 ) = a5 (a5 + a3 ),
………………………….
a n − 2 (a n − 2 + a n ) = a n −1 (a n −1 + a n −3 ),
a n −1 (a n −1 + a n +1 ) = a n (a n + a n − 2 ).
Multiplicando las igualdades anteriores y simplificando términos, resulta
3
a 2 (a n −1 + a n +1 ) = a n (a1 + a3 ) y teniendo en cuenta que a1 = 1, a 2 = 5 y a3 = 20, resulta
a n +1 = 6a n − a n −1 . De este modo es inmediato que todos los términos de la sucesión son
enteros.
Para encontrar una formula explícita de a n ensayamos con a n = t n con lo que
obtenemos a partir de la última expresión que
t n +1 − 6t n − t n −1 = 0 ⇔ t n −1 (t 2 − 6t + 1) = 0.
Se tienen tres soluciones. La primera t = 0, que no cumple con el enunciado. Las otras
dos t = 3 ± 2 2 combinadas linealmente, sí lo harán. Es decir la solución que buscamos
(
es de la forma a n = λ 3 − 2 2 ) n
( ) n
+ µ 3 + 2 2 , λ , µ ∈ R.
Para determinar las constantes λ y µ utilizamos que a1 = 1 y a 2 = 5 y tenemos
⎧⎪λ (3 − 2 2 ) + µ (3 + 2 2 ) = 1
⎨ .
⎪⎩λ (3 − 2 2 ) 2 + µ (3 + 2 2 ) 2 = 5
2+ 2 2− 2
Resolviendo este sistema λ = y µ= , con lo que
4 4
an =
2+ 2
4
(
3− 2 2 +
n
) 2− 2
4
( n
3+ 2 2 . )
6. Sea ABC un triángulo acutángulo, ω su circunferencia inscrita de centro I , Ω

su circunferencia circunscrita de centro O, y M el punto medio de la altura AH ,
donde H pertenece al lado BC. La circunferencia ω es tangente a este lado BC
en el punto D. La recta MD corta a ω en un segundo punto P, y la
perpendicular desde I a MD corta a BC en N . Las rectas NR y NS son
tangentes a la circunferencia Ω en R y S respectivamente. Probar que los puntos
R, P, D y S están en una misma circunferencia.
SOLUCIÓN. Supongamos que b = c. Entonces, el pie de la altura H coincide con el

punto de tangencia D, luego DM es perpendicular a BC y N no está definido.
Asumiremos entonces sin pérdida de generalidad que b > c. Sea U el punto de la recta
BC cuya potencia es la misma respecto de ω y Ω. Claramente, hay exactamente dos
tangentes a cada una de ambas circunferencias que pasan por U , siendo D el punto de
tangencia de una de ellas con ω; llamemos E al punto de tangencia con ω de la
segunda recta que pasa por U . La distancia de U a los cuatro puntos de tangencia es la
misma, luego existe una circunferencia de centro U que pasa por los cuatro puntos, es
decir, si demostramos que U = N , el problema quedaría resuelto. Ahora bien, el eje
radical de la circunferencia descrita con centro U y ω , es claramente la recta DE y la
perpendicular a esta recta por I es la mediatriz de la cuerda DE , luego pasa por U .
Basta entonces con demostrar que el punto W de la altura AH cuya potencia es la
misma respecto a la circunferencia de centro U por D y por E , y respecto a ω , es el
punto medio de AH , con lo que sería P = E y N = U . Ahora bien, dicha potencia es
UD 2 − UW 2 = ID 2 − IW 2
4
Pero UW 2 = UH 2 + WH 2 , IW 2 = (WH − ID) 2 + HD 2 , con lo que la anterior condición
es equivalente a
HD ⋅ UD
UD 2 − 2WH ⋅ ID = UH 2 − HD 2 = UD(UD − 2 HD ), WH = ,
ID
y el problema se reduce a demostrar que esta última expresión es la mitad de la altura.
Llamando s al semiperímetro de ABC , tenemos que BD = s − b, CD = s − c,
BH = c cos B, y al estar U definido como el punto sobre BC tal que su potencia es la
misma respecto de ω y Ω, y llamando Σ al área de ABC y usando la fórmula de
Herón para la misma, tenemos
BD ⋅ CD (s − b )(s − c ) Σ2
UD 2 = (UD − BD )(UD + CD ) , UD = = = .
CD − BD b−c s (b − c )(s − a )
Luego
WH = =
(
h a (s − b − c cos B ) h a(a + b + c ) − 2ab − a 2 − c 2 + b 2)=
2 (b − c )(s − a ) 2 (b − c )(b + c − a )
=
(
h ac − ab − c 2 + b 2 ) h
= ,
2 (b − c )(b + c − a ) 2
como queríamos demostrar.
5
XLVII Olimpiada Matemática Española
Fase nacional (Pamplona)
25 y 26 de marzo de 2011
ENUNCIADOS Y SOLUCIONES OFICIALES
1. En un polígono regular de 67 lados trazamos todos los segmentos que unen

dos vértices, incluidos los lados del polígono. Elegimos n de estos segmentos y
asignamos a cada uno de ellos un color entre 10 colores posibles. Halla el valor
mínimo de n que garantiza, que independientemente de cuáles sean los n
segmentos elegidos y de cómo se haga la asignación de colores, siempre habrá
un vértice del polígono que pertenece a 7 segmentos del mismo color.
SOLUCIÓN:
Veamos en primer lugar que con n = 2010 no es suficiente.
Diremos que un segmento es de tamaño r si une dos vértices entre los que, por el
camino más corto siguiendo los lados del polígono, hay otros r − 1 vértices. Elegimos
los 2010 segmentos de tamaño mayor que 3. Para cada r ∈ {1, 2,...,10 }, asignamos el
color r a los segmentos de tamaño 3r + 1, 3r + 2 y 3r + 3. Es obvio que cada vértice
pertenece a 6 segmentos de cada color.
Ahora vamos a probar que si n = 2011, hay algún vértice que está en 7 segmentos del
mismo color. En efecto, en los 2011 segmentos intervienen, contando repeticiones,
4022 vértices, luego, por el principio del palomar, como 4022 > 60 × 67, algún vértice
interviene en, al menos, 61 segmentos, de los cuales, de nuevo por el principio del
palomar, al menos, 7 serán del mismo color.
2. Sean a, b, c números reales positivos. Demuestra que
a b c ab + bc + ca 5
+ + + ≥ .
b+c c+a a+b a2 + b2 + c2 2
¿Cuándo se alcanza la igualdad?
SOLUCIÓN:
Nótese en primer lugar que, en virtud de la desigualdad entre medias aritmética y
geométrica, se tiene
2
1 a2 + b2 + c2 ab + bc + ca 3 a 2 + b 2 + c 2 ⎛ ab + bc + ca ⎞ 3
+ ≥ 3 ⎜ 2 ⎟ = ,
2 ab + bc + ca a +b +c
2 2 2
2 ab + bc + ca ⎜⎝ a + b + c ⎟⎠
2 2
2
dándose la igualdad si y sólo si a2+ b2+ c2= ab + bc + ca, o equivalentemente, si y sólo
si (a− b)2 + (b− c)2 + (c− a)2 = 0, es decir, si y sólo si a = b = c. Nos bastaría entonces,
para concluir el problema, con demostrar que
a b c 1 a 2 + b2 + c2
+ + ≥1+ .
b+c c+a a+b 2 ab + bc + ca
Esto puede conseguirse por fuerza bruta, viéndose en primer lugar que el miembro de la
derecha puede escribirse como
a 3 + b 3 + c 3 + abc
+1,
(a + b )(b + c )(c + a )
1
y a partir de aquí comparando las fracciones restantes, llegándose a la conclusión tras
algo de cálculo. Sin embargo, se puede obtener el resultado deseado de una forma más
elegante, ya que podemos escribir
2 2 2
a b c a2 b2 c2 ⎛ a ⎞ ⎛ b ⎞ ⎛ c ⎞
+ + = + + =⎜ ⎟ +⎜ ⎟ +⎜ ⎟
b + c c + a a + b ab + ca bc + ab ca + bc ⎝ ab + ca ⎠ ⎝ bc + ab ⎠ ⎝ ca + bc ⎠
,
( ) ( ) (
2(ab + bc + ca ) = ab + ca + bc + ab + ca + bc ,
2 2
) 2
y por la desigualdad del producto escalar, se tendría
2(ab + bc + ca )
a b c
+ + ≥
b+c c+a a+b
a b c
≥ ab + ca + bc + ab + ca + bc = a + b + c,
ab + ca bc + ab ca + bc
es decir,
a
+
b
+
c
≥
(a + b + c )2 = a 2 + b 2 + c 2 + 1 ,
b + c c + a a + b 2(ab + bc + ca ) 2(ab + bc + ca )
con lo que se concluye el problema. Nótese que la igualdad se da en la última
desigualdad si y sólo si
ab + ca bc + ab ca + bc
ab + ca = bc + ab = ca + bc ,
a b c
es decir, si y sólo si a = b = c, que es por lo tanto también la condición necesaria y
suficiente para que se dé la igualdad en la desigualdad propuesta.
3. Sean A, B, C , D cuatro puntos en el espacio, tales que no hay ningún plano que
pasa por los cuatro a la vez. Los segmentos AB, BC , CD, DA son tangentes a una
misma esfera. Demuestra que los cuatro puntos de tangencia están en un mismo
plano.
SOLUCIÓN:
Sean R, S, T, U los puntos de tangencia respectivos de la esfera con los segmentos AB,
BC, CD, DA. Siendo O el centro de la esfera, claramente OU, OR son respectivamente
perpendiculares a DA, AB, con lo que los triángulos OAU y OAR son rectángulos
respectivamente en U, R, y al ser OU = OR el radio de la esfera, ambos triángulos son
iguales, luego AU = AR = a, y de forma análoga,
BR = BS = b, CS = CT = c, y DT = DU = d.
2
Las rectas UR y BD están en el plano del triángulo ABD, así o bien se cortan o son
paralelas. Si UR y BD son paralelas, del teorema de Thales resulta b = d, y del
recíproco de Thales resulta que también son paralelas TS y DB. Entonces, UR y TS son
paralelas y los cuatro puntos están en un plano.
Si UR y BD no son paralelas, sea E su punto de intersección. Tampoco pueden
entonces ser paralelas TS y DB, porque si lo fueran, lo serían UR y BD, en contra de lo
supuesto. Sea entonces F el punto de intersección de TS y DB. Aplicando el teorema
de Menelao en ABD cortado por UR, y en BCD cortado por TS, obtenemos
BE DU AR BE d BF DT CS BF d BE BF
1= = , 1= = , = .
ED UA RB ED b FD TC SB FD b ED FD
Entonces, E y F dividen a DB en la misma razón. Como ninguno de los dos puntos (E y
F) pueden estar entre D y B – pues BCD tendría tres puntos de intersección con ST –
entonces E y F tienen que coincidir. Las rectas UR y ST se cortan entonces en E = F,
luego están en un mismo plano y en él, en particular, están los puntos U, R, S y T.
4. Sea ABC un triángulo con ∠B = 2∠C y ∠A > 90 o . Sean D el punto de la

recta AB tal que CD es perpendicular a AC , y M el punto medio de BC .
Demuestra que ∠AMB = ∠DMC .
SOLUCIÓN:
La recta que pasa por A y es paralela a BC corta a DM y a DC en los puntos N y

F respectivamente.
Se sigue que AN : BM = DN : DM = NF : MC .
Pues BM = MC , resulta AN = NF . Como que ∠ACF = 90 o , tenemos AN = NC , de
manera que ∠NCA = ∠NAC = ∠ACB .
Así pues, ∠NCB = 2∠ACB = ∠ABC .
Como AN BC , el cuadrilátero ABCN es un trapecio isósceles con AB = NC .
Por consiguiente, ∆ABM ≡ ∆NCM y ∠AMB = ∠NMC = ∠DMC
.
D
N
A
F
α
α 90
2α α
B M C
3
5. Cada número racional se pinta de un color, usando sólo dos colores, blanco y
rojo. Se dice que una tal coloración es sanferminera cuando para cada dos
números racionales x, y, con x ≠ y, si se cumple una de las tres condiciones
siguientes:
a) xy = 1,
b) x + y = 0,
c) x + y = 1,
entonces x e y están pintados de distinto color. ¿Cuántas coloraciones
sanfermineras hay?
SOLUCIÓN:
Si una coloración es sanferminera, podemos hallar otra coloración sanferminera
intercambiando simultáneamente el color de cada racional, de rojo a blanco y de blanco
a rojo; si en la coloración inicial dos racionales tienen distinto color, también lo tendrán
en la resultante. Hallemos entonces el número de coloraciones sanfermineras tales que,
sin pérdida de generalidad, el racional 1 está pintado de rojo, y el número total de
coloraciones sanfermineras será exactamente el doble.
Supongamos entonces que tenemos una coloración sanferminera con el 1 pintado de
rojo. Dado el color del racional x>0, el color del racional −x < 0 tiene que ser distinto,
pues x + (− x) = 0; al mismo tiempo, como 1 es rojo y 1 + 0 = 1, necesariamente 0 es
blanco. Luego fijado el color de cada racional positivo en una coloración sanferminera,
quedaría fijado el color de todos los racionales. Al mismo tiempo, para cada racional
positivo x, como ( x + 1) + (− x) = 1, entonces x + 1 y − x tienen color distinto, luego
x y x + 1 tienen el mismo color. Por inducción sobre n, se comprueba entonces
fácilmente que para cada racional positivo x y para cada entero positivo n, los racionales
x y n + x tienen el mismo color. En particular, todos los enteros positivos serán
necesariamente de color rojo.
Coloreados entonces todos los enteros positivos de color rojo, procedemos ahora de la
siguiente manera para los racionales positivos q que no tienen un color asociado
u
todavía: expresamos q = m + , donde m es la parte entera de q, y u < v son enteros
v
positivos primos entre sí; esta expresión es claramente única para cada racional positivo
q, y para dos racionales positivos que difieran en un entero, los valores de u, v son
v
claramente los mismos. Si tiene ya un color asociado, entonces le asociamos a q el
u
v
color opuesto; si no tiene todavía color asociado, entonces procedemos de la misma
u
v
forma con , hasta llegar a un racional que sí tenga color asociado, pudiendo entonces
u
v
asociarle un color a , y asociándole a q el color opuesto; nótese que en cualquier caso
u
x y n + x tendrán el mismo color asociado. El proceso termina necesariamente, ya que
v u'
expresando q = = m + , se tiene que v v' = m u v'+u u ' , luego al ser primos entre sí u,
u v'
v, entonces u divide a v', y al ser primos entre sí u', v', entonces v' divide a u, luego u = v'
> u', y tras a lo sumo u pasos, llegaríamos a u' = 0, es decir, a un entero, que sí tiene
4
asociado un color. Nótese además que el proceso es único ya que, en cada paso, los
valores de m, u, v quedan unívocamente determinados por el valor del racional positivo
q, con lo que al ser todos los enteros positivos rojos, cada racional positivo podrá tener
uno y sólo un color asociado. Esta coloración única para los racionales positivos se
extiende también de forma única a todos los racionales, como ya hemos visto. Existe
entonces a lo sumo una coloración sanferminera pintando el racional 1 de rojo.
Comprobemos que en efecto esta coloración única que hemos construido satisface las
condiciones del enunciado:
1) Si x + y = 0 con x ≠ y, sin pérdida de generalidad x > 0 > y = −x, luego y tiene,
por la forma de extender la coloración a todos los racionales, color distinto al
de x.
2) Si xy = 1 con x ≠ y, o ambos son positivos, o ambos son negativos, teniendo en
el segundo caso x, y colores respectivamente opuestos a los de −x, −y, que serían
positivos, reduciéndose la comprobación al primer caso. Si x, y son ambos
u
positivos, sin pérdida de generalidad x>1> y, con y = 0 + para enteros
v
v
positivos u < v, y por construcción a y se le asigna color opuesto al de x = .
u
3) Si x + y = 1 con x ≠ y, entonces sin pérdida de generalidad x > y, y bien x = 1 es
rojo, y = 0 es blanco, bien x > 1> 0 > y, bien 1 > x > y > 0. En el segundo caso, el
racional positivo x−1 tiene por construcción el mismo color que x, luego por 1),
x tiene color opuesto a 1−x = y. En el tercer caso, existen enteros positivos u < v
v u
primos entre sí tales que x = ,y= . Por construcción y por 2), x tiene
u+v u+v
u+v u v
color opuesto al de = 1 + , luego x tiene el mismo color que . Pero
v v u
u+v v
también por construcción y por 2), y tiene color opuesto al de y = = 1+ ,
u u
v
luego opuesto al de , y opuesto al de x.
u
Luego la coloración construida es sanferminera, y es la única que puede ser
sanferminera con el racional 1 pintado de rojo. Restaurando la generalidad, hay
exactamente dos coloraciones sanfermineras.
6. Sea ( S n ), con n ≥ 0, la sucesión definida por:

(i) S n = 1 para 0 ≤ n ≤ 2011.
(ii) S n + 2012 = S n + 2011 + S n , para n ≥ 0.
Demuestra que, para todo entero no negativo a, se cumple que S 2011a − S a , es
múltiplo de 2011.
SOLUCIÓN:
Sea p = 2011 . Observemos que p es primo.

Sea An el número de formas de cubrir un tablero de [ n filas ] × ⎡⎣( p + 1) columnas ⎤⎦ con
fichas de dimensiones 1× ( p + 1) (que podemos colocar horizontal o verticalmente).
Probemos primero que An = S n .
5
Tenemos que:
• para 1 ≤ n ≤ p , An = 1 = S n .
• Ap +1 = 2 = S p+1.
• para n ≥ 0 , An + p +1 = An + p + An ; en efecto, al cubrir un tablero de
⎡⎣( n + p + 1) filas ⎤⎦ × ⎡⎣( p + 1) columnas ⎤⎦ con fichas de 1× ( p + 1) , se da uno de
los dos casos siguientes:
*o bien la última fila, de ( p + 1) casillas, está cubierta por una ficha colocada
horizontalmente: en este caso, hay An + p formas de cubrir el tablero.
*o bien las ( p + 1) últimas filas, cada una de ( p + 1) casillas, están cubiertas por
( p + 1) fichas en posición vertical: en este caso, hay An formas de cubrir el
tablero.
Deducimos que, para n > 0 , An = S n .
Hallemos ahora una expresión de An en función de n.

Escribamos la división euclidiana de n por ( p + 1) : n = q ( p + 1) + r .
Observemos que, al cubrir el tablero, se pueden juntar las fichas colocadas en posición
vertical para formar cuadrados de ( p + 1) × ( p + 1) :
p+1
p+1
n
Llamemos bloques a estos cuadrados.

Sea Ank el número de formas de cubrir el tablero con k bloques, para 0 ≤ k ≤ q .
Dada una de estas formas de cubrir el tablero, llamemos B1 ,..., Bk los bloques ordenados
de arriba hacia abajo, y sean a0 el número de filas situadas encima de B1 , a1 el número
de filas entre B1 y B2 , a2 el número de filas entre B2 y B3 ,…, ak el número de filas
debajo de Bk . Por ejemplo, en el dibujo anterior, k = 2, a0 = 5, a1 = 3, a2 = 0 . Entonces
se tiene que a0 + ... + ak = n − ( p + 1) k .
Recíprocamente, a una ( k + 1) -upla de enteros no negativos ( a0 ,..., ak ) tal que
a0 + ... + ak = n − ( p + 1) k , le podemos asociar una única forma de cubrir el tablero con k
bloques, colocando de forma alternada y da arriba hacia abajo a0 fichas horizontales, un
6
bloque, a1 fichas horizontales, un bloque, …, ak −1 fichas horizontales, un bloque, ak
fichas horizontales.
Por tanto, Ank es el número de ( k + 1) -uplas de enteros no negativos ( a0 ,..., ak ) tales
⎛ n − pk ⎞
que a0 + ... + ak = n − ( p + 1) k , luego Ank = ⎜ ⎟.
⎝ k ⎠
q
⎛ n − pk ⎞
Deducimos que S n = An = ∑ ⎜⎜ ⎟.
k =0 ⎝ k ⎟⎠
⎢ pc ⎥
⎢ ⎥
⎛ p (c − k ) ⎞ ⎣ p +1 ⎦
Estudiemos finalmente S pc =
k =0 ⎝
∑ ⎜⎜
⎟⎟ (mod p) .
k ⎠
Para ello, utilizamos el lema siguiente:
Lema: Para todo primo p y enteros a y b, se tiene
⎛ pa ⎞ ⎛ a ⎞
(i) ⎜⎜ ⎟⎟ ≡ ⎜⎜ ⎟⎟ (mod p).
⎝ pb ⎠ ⎝ b ⎠
⎛ pa ⎞
(ii) Si p no divide a b, entonces p | ⎜ ⎟ .
⎝ b ⎠
Si admitimos el lema,
⎢ pc ⎥ ⎢ 1 ⎢ pc ⎥ ⎥ ⎢ c ⎥
⎢ ⎥ ⎢ ⎢ ⎥⎥ ⎢ ⎥
⎛ p (c − k ) ⎞
⎣ p +1 ⎦
⎛ c − pk ⎞⎣⎢ p ⎣ p +1 ⎦ ⎦⎥ ⎣ p +1 ⎦
⎛ c − pk ⎞
S pc = ∑ ⎜⎜
k =0 ⎝
⎟⎟ ≡ ∑ ⎜⎜ ⎟⎟ ≡ k = ∑ ⎜⎜ ⎟⎟ ≡ S c (mod p),
k ⎠ k =0 ⎝ k ⎠ k =0 ⎝ k ⎠
que es lo que queríamos probar.
Demostración del lema:

(i)
a −1 a
⎛ pa ⎞ ∏ ( pk + 1) ...( pk + p − 1) ∏ ( pk )
⎜ ⎟= ⋅
k =0 k =1
b −1 a − b −1 b a −b
⎝ pb ⎠
∏ ( pk + 1) ... ( pk + p − 1) ∏ ( pk + 1) ...( pk + p − 1) ∏ ( pk )∏ ( pk )
k =0 k =0 k =1 k =1
( ( p − 1)!)
a
⎛a⎞ ⎛a⎞
≡ ⋅ ⎜ ⎟ ≡ ⎜ ⎟ ( mod p )
( ( p − 1)!) ( ( p − 1)!)
b a −b
⎝b ⎠ ⎝b ⎠
(ii) Si n es el cociente de b dividido por p,
⎛ ⎛ pa ⎞ ⎞ a a − n −1 a a − n −1
v p ⎜ ⎜ ⎟ ⎟ = ∑ v p ( pk ) − ∑ v p ( pk ) = ∑ v p ( pk ) − ∑ v p ( pk ) + v p ( pa ) > 0 ,
⎝ ⎝ b ⎠ ⎠ k = n +1 k =1 k =n+2 k =1
a a − n −1
puesto que ∑ v ( pk ) − ∑ v ( pk ) ≥ 0 .
k =n+2
p
k =1
p
7
Olimpiada
Matemática
Española RSME
XLVI Olimpiada Matemática Española

Fase nacional 2010 (Valladolid, 26 y 27 de Marzo)
Soluciones oficiales
• Problema 1
Una sucesión pucelana es una sucesión creciente de dieciséis números impares positivos con-
secutivos, cuya suma es un cubo perfecto. ¿Cuántas sucesiones pucelanas tienen solamente
números de tres cifras?
Solución:
Sea la sucesión n, n + 2, . . . , n + 30. Entonces la suma es 12 16(2n + 30) = 8(2n + 30). Por
tanto, es necesario que 2n + 30 sea un cubo perfecto. Ahora hay que contar el número de
tales n que son impares y verifican 101 ≤ n ≤ 969. Los cubos pares entre 232 y 1968 son
512, 1000 y 1728, que corresponden a valores de n de 241, 485 y 849. Por lo tanto hay
exactamente tres sucesiones pucelanas.
• Problema 2
Sean N0 y Z el conjunto de todos los enteros no negativos y el conjunto de todos los enteros,
respectivamente. Sea f : N0 → Z la función que a cada elemento n de N0 le asocia como
imagen el entero f (n) definido por
n n
f (n) = −f −3
3 3
donde x es la parte entera del número real x y {x} = x −x su parte decimal. Determina
el menor entero n tal que f (n) = 2010.
NOTA: La parte entera de un número real x, denotada por x es el mayor entero que no
supera a x. Ası́ 1,98 = 1, −2,001 = −3, 7π − 8,03 = 13.
Solución:
Se prueba fácilmente por inducción que, si n = (ak ak−1 . . . a0 )3 , entonces
k
k

f (n) = aj − aj
j=0 j=0
j impar j par
En efecto, f (0) = 0, f (1) = −1, f (2) = −2.

k k
Supongamos que, para todo n menor que 3t, f (n) = j=0 aj − j=0 aj . Entonces, si

j impar
j par

t = bk . . . b0 3 , 3t = bk . . . b0 0 3 , 3t + 1 = bk . . . b0 1 3 , 3t + 2 = bk . . . b0 2 3 . Por lo tanto,
como f (3t) = −f (t), f (3t + 1) = −f (t) − 1, f (3t + 2) = −f (t) − 2, la propiedad sigue siendo
cierta para todo entero n menor que 3t + 2.
k k
Luego, para todo n = (ak ak−1 . . . a0 )3 , f (n) = j=0 aj − j=0 aj .
j impar j par
De esta forma, se obtiene el menor n = 2020 . . . 20 3 , tal que f (n) = 2010. Este número
contiene 1005 doses; su valor en base decimal es:
32010 − 1
3·
4
• Problema 3
Sea ABCD un cuadrilátero convexo. Sea P la intersección de AC y BD. El ángulo
AP D = 60◦ . Sean E, F , G y H los puntos medios de los lados AB, BC, CD y DA
respectivamente. Halla el mayor número real positivo k tal que
EG + 3HF ≥ kd + (1 − k)s
siendo s el semiperı́metro del cuadrilátero ABCD y d la suma de las longitudes de sus

diagonales. ¿Cuándo se alcanza la igualdad?
Solución:
√
Probaremos que k = 1 + 3 y que la igualdad se da si, y sólo si, ABCD es un rectángulo.
Z D
H
A
P G Y
W
E
B F C
X
Sean W , X, Y y Z cuatro puntos exteriores a ABCD de modo que los triángulos ABW y
DCY sean equiláteros, el triángulo BCX sea isósceles en X, el triángulo AZD sea isósceles
en Z y BXC = AZD = 120◦ .
Los cuadriláteros W AP B, XBP C, Y CP D y ZDP A son cı́clicos. Luego, por el teorema
de Ptolomeo, se obtiene que:
√ √
WP = PA + PB , XP 3 = P B + P C , Y P = PC + PD , ZP 3 = P D + P A
Por otro lado,
W P Y = W P B + 60◦ + CP Y = W AB + 60◦ + CDY = 180◦

Luego W , P , Y están alineados y, de forma análoga, Z, P , X están alineados. Luego:
W Y = W P + P Y = P A + P B + P C + P D = AC + BD
1 1
XZ = XP + P Z = √ (P B + P C + P D + P A) = √ (AC + BD)
3 3
Por la desigualdad, triangular:
W Y ≤ W E + EG + GY , XZ ≤ XF + F H + HZ
Luego:
√ √
3 3 1 BC AD
AC + BD ≤ AB + EG + DC , √ (AC + BD) ≤ √ + F H + √
2 2 3 2 3 2 3
Por lo tanto, sumando,

√ √
3 3
AC + BD ≤ AB 2 + EG + DC 2
√ √
3
√
3
3(AC + BD) ≤ BC + 3F H + AD
2 2
√
√
1 + 3 (AC + BD) ≤ EG + 3F H + s 3
o sea, √ √
EG + 3F H ≥ 1 + 3 d − s 3
√
Luego, si k = 1 + 3, entonces EG + 3F H ≥ kd + (1 − k)s.
La igualdad se dará si, y sólo si, por un lado, W , E, G, Y están alineados y, por otro lado, X,
F , H, Z también están alineados. Como W E es perpendicular a AB y GY es perpendicular
a DC, AB y DC deben ser paralelas y, de forma análoga, BC y AD también deben ser
paralelas, luego ABCD debe ser un paralelogramo. Además, la recta EG es perpendicular
a DC, lo que implica que ABCD es un rectángulo y se comprueba fácilmente que si ABCD
es un rectángulo, entonces se da la igualdad. Luego, la igualdad se da si, y sólo si, ABCD
es un rectángulo.
Ahora, sea un número real positivo l tal que EG+3HF ≥ ld +(1 −l)s. Entonces, si ABCD
es un rectángulo,
kd + (1 − k)s ≥ ld + (1 − l)s
o sea
k(d − s) ≥ l(d − s)
Pero la desigualdad triangular
√ implica que d > s, lo que implica que k ≥ l. Luego el número
real buscado es k = 1 + 3 y la igualdad se da si, y sólo si, ABCD es un rectángulo.
• Problema 4
Sean a, b, c tres números reales positivos. Demuestra que
a + b + 3c a + 3b + c 3a + b + c 15
+ + ≥
3a + 3b + 2c 3a + 2b + 3c 2a + 3b + 3c 8
Solución:
Haciendo a = x1 , b = x2 , c = x3 y llamando s = x1 + x2 + x3 , resulta que el lado izquierdo
de la desigualdad se escribe como
s + 2x1 s + 2x2 s + 2x3

S= + +
3s − x1 3s − x2 3s − x3
Por otro lado,

3
3

s + 2xk 7s
S+6 = +2 =
3s − xk 3s − xk
k=1 k=1
con lo que
3
7s 7s 7s 1
S+6 = + + = 7s
3s − x1 3s − x2 3s − x3 3s − xk
k=1
3 1
3
Dado que k=1 (3s − xk ) = 8s, entonces s = 8 k=1 (3s − xk ), y
3 3
7 1 63
S+6 = (3s − xk ) ≥
8 3s − xk 8
k=1 k=1
de donde resulta que
s + 2x1 s + 2x2 s + 2x3 63 15

S= + + ≥ −6=
3s − x1 3s − x2 3s − x3 8 8
La igualdad tiene lugar cuando x1 = x2 = x3 , es decir, cuando a = b = c.
• Problema 5
Sea P un punto cualquiera de la bisectriz del ángulo A en el triángulo ABC, y sean A , B ,
C puntos respectivos de las rectas BC, CA, AB, tales que P A es perpendicular a BC,
P B es perpendicular a CA y P C es perpendicular a AB. Demuestra que P A y B C se
cortan sobre la mediana AM , siendo M el punto medio de BC.
Solución:
Sea E el punto de intersección de P A y B C . Si P se mueve sobre la bisectriz AI (I es el
incentro), la figura P B C E es homotética de sı́ misma con respecto al punto A. Luego E
describe una recta que pasa por A. La bisectriz AI corta a la circunferencia circunscrita a
ABC en F , que se proyecta en el punto medio Am de BC; si P = F , la recta B C es la
recta de Simson de F , luego el lugar geométrico de E es la mediana AAm .
• Problema 6
Sea p un número primo y A un subconjunto infinito de los números naturales. Sea fA (n) el
número de soluciones distintas de la ecuación x1 + x2 + · · · + xp = n, con x1 , x2 , . . . , xp ∈ A.
¿Existe algún número natural N tal que fA (n) sea constante para todo n > N ?
Solución:
Para demostrar el enunciado procederemos por contradicción. Supongamos que existe un
número N para el que se cumpla la propiedad anterior. Como el conjunto A es infinito,
tomemos a ∈ A mayor que N . Vamos a estudiar el valor de fA (pa) y fA (pa + 1). Por
hipótesis, se cumple que fA (pa) = fA (pa + 1).
Sea S = (s1 , s2 , . . . , sp ) solución de la ecuación
x1 + x 2 + · · · + x p = n , s 1 , s 2 , . . . , sp ∈ A
Entonces, cualquier permutación de los ı́ndices da lugar a una nueva solución de la ecuación
(posiblemente repetida si se permutan valores iguales). Diremos
que una solución S =

(s1 , s2 , . . . , sp ) es asociada a una solución S = s1 , s2 , . . . , sp si la primera se obtiene a
partir de la segunda mediante permutación de ı́ndices. Sea S = (s1 , s2 , . . . , sp ) una solución
del problema y sea Q = (q1 , q2 , . . . , qp ) una solución asociada a S con la propiedad que
q1 = q2 = · · · = qr1 = qr1 +1 = qr1 +2 = · · · qr1 +r2 , y ası́ de manera sucesiva hasta llegar a
qr1 +r2 +···+rk = qp . En otras palabras, Q se obtiene a partir de S agrupando los valores si
que son iguales. En particular, r1 + r2 + · · · + rk = p. Con esta notación, el número de
p!
soluciones asociadas a S (contando también S) es igual a .
r1 !r2 ! · · · rk !
Obsérvese que si todos los ri son estrictamente menores que p, entonces dicha expresión es
congruente con 0 módulo p, puesto que el cociente de factoriales es un número natural y en
el denominador no hay ningún término múltiplo de p.
Ya tenemos todas las herramientas que necesitábamos. Volviendo al problema original,
observar que (a, a, . . . , a) es solución de x1 + x2 + · · · + xp = pa.

p
Por lo tanto fA (pa) ≡ 1 (mód p): la solución (a, a, . . . , a) no se asocia a ninguna otra,

p
mientras que cualquier otra solución de la ecuación x1 + x2 + · · · + xp = pa tiene un número
múltiplo de p de asociadas. Por otro lado no existen soluciones de x1 +x2 +· · ·+xp = pa +1
1
con todas las xi iguales (su valor tendrı́a que ser a + ), con lo que según lo anterior
p
fA (pa + 1) ≡ 0 (mód p) y llegamos a una contradicción.
Fase Nacional de la XLV Olimpiada Matemática Española
Sant Feliu de Guixols (Girona), 27 de marzo de 2009
PRIMERA SESIÓN
SOLUCIONES
PROBLEMA 1.- Halla todas las sucesiones finitas de n números naturales

consecutivos a1 , a 2 ,..., a n , con n ≥ 3, tales que a1 + a2 + ... + an = 2009.
Primera solución:
Supongamos que N es la suma de n números naturales consecutivos

empezando por k + 1. Entonces
N = (k + 1) + (k + 2) + ... + (k + n) =
[1 + 2 + ... + k + (k + 1) + ... + (k + n) ] − [1 + 2 + ... + k ] =
(k + n)(k + n + 1) k (k + 1) n(2k + n + 1)
− = .
2 2 2
Teniendo en cuenta que 2009 = 1 × 2009 = 7 × 287 = 49 × 41 se tienen los

siguientes casos:
(1) Si n = 7 y
(2k + n + 1) = 287
resulta k = 283 con lo que
2
2009 = 284 + 285 + 286 + 287 + 288 + 289 + 290.
n
(2) Si = 7 y 2k + n + 1 = 287, resulta k = 136 con lo que
2
2009 = 137 + 138 + ... + 150.
(3) Si n = 41 y
(2k + n + 1) = 49 resulta k = 28 con lo que
2
2009 = 29 + 30 + 31 + ... + 69.
(4) Si n = 49 y
(2k + n + 1) = 41 resulta k = 16 con lo que
2
2009 = 17 + 18 + 19 + ... + 65.
(5) Los otros casos dan valores de k que no verifican el enunciado.

Segunda solución:
n (n − 1)
Claramente, es a n = a1 + n − 1, de donde 2009 = n a1 + . Entonces
2
n (n − 1) (n − 1) 2
2009 ≥ > , luego n − 1 < 4018 , y al ser
2 2
64 2 = 4096 > 4018 > 3969 = 63 2 , resulta que 4018 < 64, con lo que n < 65.
Supongamos en primer lugar que n es impar. Entonces, obviamente n divide a

2009 = 7 2 × 41 y n puede tomar los valores 7, 41 ó 49, pues cualquier otro
divisor impar de 2009 es mayor o igual que 7 × 41 = 287. Se obtiene entonces
2009 n − 1
a1 = − , con valores respectivos 284, 29 y 17, es decir, se obtienen
n 2
las tres sucesiones
284, 285,..., 290;
29, 30,..., 69;
17,18,..., 65.
No hay otras sucesiones con un número impar de términos.
n
Supongamos finalmente que n es par. Entonces divide a 2009, con lo que
2
n = 14, ya que cualquier otro valor de n ha de ser mayor o igual que
2 × 41 = 82 > 65, lo que no es posible. Entonces a1 = 137, y la única sucesión
con número par de términos es 137,138,...,150.
PRIMERA SESIÓN
SOLUCIONES
PROBLEMA 2 .- Sean ABC un triángulo acutángulo, I el centro del círculo inscrito

en el triángulo ABC , r su radio y R el radio del círculo circunscrito al triángulo ABC.
Se traza la altura AD = ha , con D perteneciente al lado BC. Demuestra que
DI 2 = ( 2 R − ha ) ( ha − 2r ).
Primera solución:
Sean E y M las proyecciones ortogonales de I sobre BC y AD ,

respectivamente.
r S S
Se tiene: AI = ; r= ⇒ AI = (1) donde, evidentemente,
A p A
sen p ⋅ sen
2 2
S es el área del triángulo ABC y p es su semiperímetro.
bc ⋅ senA A A
Por otra parte, S = = bc ⋅ sen ⋅ cos , así que (1) se puede escribir
2 2 2
A
bc ⋅ cos
como AI = 2 , y ya que cos 2 A = p ( p − a ) , obtenemos
p 2 bc
bc ( p − a )
AI 2 = (2).
p
S 2S
Teniendo en cuenta que bc = 2 R ⋅ ha , p = , a = , la expresión (2) se
r ha
⎛ 2S ⎞
⎜ ⎟
⎜ ha ⎟ ⎛ 2r ⎞
escribe como AI = 2 R ⋅ ha 1 −
2
= 2 R ⋅ ha ⎜⎜1 − ⎟⎟ = 2 R (ha − 2r )
⎜ S ⎟ ⎝ ha ⎠
⎜ ⎟
⎝ r ⎠
(3).Como el cuadrilátero IEDM es un rectángulo, MD = IE = r. Aplicando el
teorema de Pitágoras generalizado a ADI tenemos
DI 2 = ha2 + AI 2 − 2ha ⋅ AM ⇔ DI 2 = ha2 + AI 2 − 2ha ( ha − MD ),
y teniendo en cuenta los resultados anteriormente obtenidos resulta, finalmente,
DI 2 = ha2 + 2 R ( ha − 2r ) − 2ha ( ha − r ) = (2 R − ha ) ( ha − 2r ), c.q.d.
Segunda solución:
Sean a, b, c las longitudes de los lados BC, CA y AB respectivamente, y sea

T el punto donde la circunferencia inscrita es tangente al lado BC. Por el
teorema de Pitágoras, al ser IT // AD ⊥ DT , se tiene que
DI = r + DT = r + AT − AD y la igualdad a demostrar es equivalente a
2 2 2 2 2 2
AT 2 + 4 Rr + r 2 = 2 ( R + r ) ha .
Ahora bien, llamando S al área de ABC , es conocido que
abc r (a + b + c) 1 ah
S= = = (a + b + c) (b + c − a) (c + a − b) (a + b − c) = a .
4R 2 4 2
2abc (b + c − a ) ( c + a − b ) ( a + b − c)
De aquí se deduce que 4 Rr = , r2 = ,
a+b+c a+b+c
(b + c − a ) (c + a − b) (a + b − c)
2 R ha = bc y 2 R ha = .
2a
2ab + 2bc + 2ca − a 2 − b 2 − c 2
Obsérvese que 4 Rr + r 2 = . Ahora bien, se
4
c+a −b a+b−c
sabe que BT = , CT = .
2 2
Por el teorema de Stewart, tenemos que
BT ⋅ AC 2 + CT ⋅ AB 2
AT = 2
− BT ⋅ CT =
BC
3b 2 + 3c 2 − a 2 − 2bc (b − c) 2 (b + c)
−
4 2a
con lo que
b 2 + c 2 − a 2 + ab + ca (b − c) 2 (b + c)
AT 2 + 4 Rr + r 2 = = ,
2 2a
e identificando términos se comprueba que esto coincide con el valor de
2 ( R + r ) ha
y de este modo la igualdad requerida queda demostrada.
Tercera solución:
Nótese en primer lugar que

B C
2r sen sen
2 S − 2ar (b + c − a ) r 2 2 = r2 IA 2
ha − 2r = = = = ,
a a A 2 A 2R
sen 2 R sen
2 2
A B C
donde S es el área de ABC y se ha utilizado que r = 4 R sen sen sen .
2 2 2
Sea ahora el punto P en el que la paralela a BC por I corta a la altura AD.
Claramente,
DI 2 = r 2 + IA 2 − ( ha − r ) 2 = IA 2 − ha ( ha − 2r ) = ( 2 R − ha ) ( ha − 2r ).
PRIMERA SESIÓN
SOLUCIONES
PROBLEMA 3.- Se pintan de rojo algunas de las aristas de un poliedro regular. Se dice
que una coloración de este tipo es buena, si para cada vértice del poliedro, existe una
arista que concurre en dicho vértice y no está pintada de rojo. Por otra parte, se dice que
una coloración donde se pintan de rojo algunas de las aristas de un poliedro regular es
completamente buena, si además de ser buena, ninguna cara del poliedro tiene todas sus
aristas pintadas de rojo. ¿Para qué poliedros regulares es igual el número máximo de
aristas que se pueden pintar en una coloración buena y en una completamente buena?
Justifica la respuesta.
Solución:
Claramente, las coloraciones completamente buenas son un subconjunto de las
coloraciones buenas, con lo que si el máximo número de aristas que se pueden
pintar de rojo para obtener una coloración buena se puede alcanzar con una
coloración completamente buena, la pregunta del enunciado tiene respuesta
afirmativa.
NOTA: En cada caso véase el recuadro de las figuras al final de la solución.
En el caso de un tetraedro, existen 6 aristas, tales que en cada vértice confluyen

3 de ellas. El número máximo de aristas pintadas de rojo en una coloración
2
buena sería por lo tanto × 6 = 4, pues en caso contrario existiría algún vértice
3
2
donde más de de las aristas estuvieran pintadas de rojo, es decir, todas las
3
aristas estarían pintadas de rojo. La figura muestra una coloración
completamente buena de un tetraedro con 4 aristas rojas (el tetraedro ha sido
deformado para poder ser dibujado en el plano).
De igual forma, en el cubo existen 12 aristas, tales que en cada vértice

confluyen 3 de ellas. El número máximo de aristas pintadas de rojo en una
2
coloración buena sería, por lo tanto, × 12 = 8. La figura muestra una
3
coloración completamente buena con 8 aristas rojas.
Finalmente, en el dodecaedro existen 30 aristas, tales que en cada vértice

2
coloración buena sería, por lo tanto, × 30 = 20. La figura muestra una
3
coloración completamente buena de un dodecaedro con 12 aristas rojas.
De lo anterior se deduce que para el tetraedro, el cubo y el dodecaedro, el
número máximo de aristas rojas en una coloración buena se alcanza con una
coloración completamente buena.
En el octaedro existen 12 aristas, tales que en cada vértice confluyen 4 de
ellas. El número máximo de aristas pintadas de rojo en una coloración buena es
3
por lo tanto × 12 = 9. La figura muestra una coloración buena de un octaedro
4
con 9 aristas rojas. Ahora bien, como cada arista pertenece a dos caras,
sumando para las 8 caras el número de aristas pintadas de rojo en dicha cara,
obtenemos 18 = 2 × 8 + 2, con lo que hay, al menos, dos caras con 3 aristas
pintadas de rojo y una coloración buena con el número máximo de 9 aristas
pintadas de rojo nunca puede ser completamente buena.
Finalmente, en el icosaedro existen 30 aristas, tales que en cada vértice
4
coloración buena es por lo tanto × 30 = 24. La figura muestra una
5
coloración buena de un icosaedro con 24 aristas rojas. Ahora bien, eso quiere
decir, que sumando el número de aristas rojas de cada cara para todas las caras,
obtenemos 48 = 2 × 20 + 8, es decir, existen, al menos, 8 caras con todas sus
aristas rojas, y una coloración buena con el número máximo de 24 aristas
pintadas de rojo nunca puede ser completamente buena.
Por lo tanto, los poliedros regulares que tienen la propiedad descrita en el

enunciado son el tetraedro, el cubo y el dodecaedro (es decir, los poliedros
tales que en cada vértice confluyen exactamente 3 aristas) y los que no la
tienen son el octaedro e icosaedro (en cuyos vértices confluyen más de 3
aristas).
FIGURAS
FIGURAS
SEGUNDA SESIÓN
SOLUCIONES
PROBLEMA 4. - Determina justificadamente todos los pares de números enteros

( x, y ) que verifican la ecuación x 2 − y 4 = 2009.
Solución:
Dada una solución ( x, y ) cualquiera, es claro que también son soluciones

( x,− y ), (− x, y ) y (− x,− y ), con lo que se puede asumir sin pérdida de
generalidad que x, y ≥ 0. Supongamos entonces que es así. Es claro
que ( x − y 2 ) ( x + y 2 ) = 7 2 ⋅ 41.
Si x − y 2 y x + y 2 no son primos entre sí, su máximo común divisor al
cuadrado divide a 2009 = 7 2 ⋅ 41, luego es 7 y divide a
( x + y 2 ) + ( x − y 2 ) = 2 x y a ( x + y 2 ) − ( x − y 2 ) = 2 y 2 , con lo que existen
enteros no negativos u y v tales que x = 7u , y = 7v y
(u + 7v )(u − 7v ) = 41. Como ambos factores han de ser enteros, se tiene que
2 2
10
u + 7v 2 = 41 y u − 7v 2 = 1, con lo que u = 21 y v 2 = . No existen pues
7
soluciones enteras en este caso.
Si x − y 2 y x + y 2 son primos entre sí, un posible caso es que x − y 2 = 1 y

x + y 2 = 2009, con lo que y 2 = 1004, absurdo pues 312 = 961 < 1004 < 322.
Resta entonces tan sólo el caso en que x − y 2 = 41 y x + y 2 = 49, que produce
x = 45, y 2 = 4, con lo que la única solución con enteros no negativos es
x = 45 e y = 2, y las únicas soluciones en enteros son ( x, y ) = (± 45, ± 2).
SEGUNDA SESIÓN
SOLUCIONES
PROBLEMA 5. - Sean a, b, c números reales positivos tales que abc = 1. Prueba la

desigualdad siguiente
2 2 2
⎛ a ⎞ ⎛ b ⎞ ⎛ c ⎞ 3
⎜ ⎟ +⎜ ⎟ +⎜ ⎟ ≥
⎝ 1 + ab ⎠ ⎝ 1 + bc ⎠ ⎝ 1 + ca ⎠ 4
Solución:
2 2 2
⎛ a ⎞ ⎛ ca ⎞ ⎛ ca ⎞
Como abc = 1, entonces ⎜ ⎟ =⎜ ⎟ =⎜ ⎟ . Análogamente se
⎝ 1 + ab ⎠ ⎝ abc + c ⎠ ⎝1+ c ⎠
2 2 2 2
⎛ b ⎞ ⎛ ab ⎞ ⎛ c ⎞ ⎛ bc ⎞
obtienen ⎜ ⎟ =⎜ ⎟ y ⎜ ⎟ =⎜ ⎟ . Por tanto la
⎝ 1 + bc ⎠ ⎝1+ a ⎠ ⎝ 1 + ca ⎠ ⎝1+ b ⎠
desigualdad requerida se convierte en
2 2 2
⎛ ab ⎞ ⎛ bc ⎞ ⎛ ca ⎞ 3
⎜ ⎟ +⎜ ⎟ +⎜ ⎟ ≥ , equivalente a
⎝1+ a ⎠ ⎝1+ b ⎠ ⎝1+ c ⎠ 4
1 ⎡⎛ ab ⎞ ⎛ bc ⎞ ⎛ ca ⎞ ⎤ 1
2 2 2
⎢⎜ ⎟ +⎜ ⎟ +⎜ ⎟ ⎥≥ .
3 ⎣⎢⎝ 1 + a ⎠ ⎝ 1 + b ⎠ ⎝ 1 + c ⎠ ⎦⎥ 2
Usando ahora la desigualdad entre las medias aritmética y cuadrática, se
obtiene
1 ⎡⎛ ab ⎞ ⎛ bc ⎞ ⎛ ca ⎞ ⎤ 1 ⎡ ⎛ ab ⎞ ⎛ bc ⎞ ⎛ ca ⎞ ⎤
2 2 2
⎢⎜ ⎟ +⎜ ⎟ +⎜ ⎟ ⎥≥ ⎜ ⎟+⎜ ⎟+⎜ ⎟ .
3 ⎣⎢⎝ 1 + a ⎠ ⎝ 1 + b ⎠ ⎝ 1 + c ⎠ ⎦⎥ 3 ⎢⎣ ⎝ 1 + a ⎠ ⎝ 1 + b ⎠ ⎝ 1 + c ⎠ ⎥⎦
ab bc ca 3
Así es suficiente demostrar que + + ≥ o equivalentemente
1+ a 1+ b 1+ c 2
abc abc abc 3
+ + ≥ , que a su vez equivale a que
c(1 + a) a(1 + b) b(1 + c) 2
1 1 1 3
+ + ≥ .
c(1 + a) a (1 + b) b(1 + c) 2
x y z
Poniendo a= ,b= y c= en la última desigualdad resulta
y z x
−1 −1 −1
⎛ x x⎞ ⎛ y y⎞ ⎛z z⎞ 3 1 1
⎜⎜ + ⎟⎟ + ⎜ + ⎟ + ⎜⎜ + ⎟⎟ ≥ . Sustituyendo ahora α = , β = y
⎝ y z⎠ ⎝ z x⎠ ⎝x y⎠ 2 x y
1 α β γ 3
γ = , se llega a la desigualdad de Nessbit + + ≥ .
z β +γ γ +α α + β 2
La igualdad se alcanza si y sólo si a = b = c = 1.
SEGUNDA SESIÓN
SOLUCIONES
PROBLEMA 6. - En el interior de una circunferencia de centro O y radio r , se toman

dos puntos A y B, simétricos respecto de O. Se considera un punto variable P sobre
esta circunferencia y se traza la cuerda PP´, perpendicular a AP. Sea C el punto
simétrico de B respecto de PP´. Halla el lugar geométrico del punto Q, intersección de
PP´ con AC , al variar P sobre la circunferencia.
Primera solución:
Establezcamos primero que AC es constante.

Método 1.
Se obtiene C a partir de A aplicando un giro de 180º con centro en O
seguido de la simetría de eje PP´.
P Descomponiendo el giro en producto de dos
C
M simetrías de ejes perpendiculares e1 paralelo a AP y
Q
e2 perpendicular a AP, resulta que el triángulo
P' e2
AAĆ es rectángulo en A´ y además:
AĆ = 2 OM ; AA´= 2 MP, de donde
B O A
AC = 4 OM + 4 MP = 4 OP = 4 r ; es
2 2 2 2 2
decir
e1 AC = 2 r , con independencia de la posición de P.
A'
C Método 2
P
Prolongamos PA hasta que corte de nuevo a la

P' circunferencia en P´´. Se tiene CP´= P´B = AP´´.
Además P´B es paralelo a PP´´; luego el segmento
CA es la imagen del segmento P´P´´ mediante la
B O A
traslación de vector P´Á P y como ∠P´PP´´ es
recto y P´P´´ es un diámetro, resulta
P '' AC = P´P´´= 2 r.
Finalmente, al ser PP ´ la mediatriz de BC ,
QC = QB; se deduce entonces que QB + QA = QC + QA = AC = 2 r y Q
describe la elipse de focos A y B y constante 2 r. La recta PP´ es la tangente
en Q a la elipse.
Segunda solución:
Tomamos r = 1 y unos ejes de coordenadas en los que la ecuación de la

circunferencia es x 2 + y 2 = 1, y las coordenadas de A (a,0), B (− a,0), con
0 < a < 1.
En vez de empezar por P, sea P´ ( x 0 , y 0 ) con la condición x02 + y 02 = 1. Por
las condiciones del problema, P´ es el punto medio de BC; llamando ( x1 , y1 )
⎧ x1 = 2 x 0 + a
a las coordenadas de C , se tiene ⎨ . Entonces la ecuación de la
⎩ y1 = 2 y 0
y
recta CA es y = 0 ( x − a ), es decir x0 y − y 0 x + y 0 a = 0.
x0
y0 x +a
Las pendientes de P´B y de P´P son respectivamente y − 0 . Por
x0 + a y0
tanto la ecuación de P´P es y 0 y + x ( x 0 + a) − ax0 + 1 = 0.
Las coordenadas del punto Q, intersección de AC y P´P son:
⎞
⎛ x 0 + a y 0 (1 − a 2 )
Q ⎜⎜ , ⎟. Denotando por x, y a las coordenadas de Q y
⎟
⎝ 1 + x0 a 1 + x0 a⎠
a−x −y
despejando los valores de x0 e y 0 se obtiene x0 = , y0 = .
ax − 1 ax − 1
Imponiendo ahora la condición x02 + y 02 = 1, se llega a
(a − x) 2 y2
+ =1
(ax − 1) 2 (ax − 1) 2
y2
y mediante operaciones se transforma en la ecuación x 2 + = 1, que es la
1− a2
ecuación de una elipse.
Tercera solución:
Demostraremos en primer lugar que, dados dos puntos A, B del plano, el

conjunto de los puntos P (del mismo plano) tales que PA 2 + PB 2 es constante
y mayor que AB 2 , es una circunferencia de centro el punto medio de AB y
que tiene a los puntos A y B en su interior.
En efecto, supongamos A = (d ,0), B = (−d ,0) y sea P = ( x, y ) cualquier
punto. Se tiene entonces
PA 2 + PB 2 = 2 x 2 + 2 y 2 + 2 d 2 .
k
Así que si PA 2 + PB 2 = k ≥ 4 d 2 , se tiene que x 2 + y 2 = − d 2 ≥ d 2 .
2
Sea entonces ahora R el punto donde BC corta a PP´ (que es perpendicular a
BC ). Este punto R satisface
PR 2 = BP 2 − BR 2 = AR 2 − AP 2 ,
luego R está en la circunferencia y es distinto de P , con lo que R = P´.
Ahora bien, se tiene
AP 2 + BP´2 −( AP − BP´) 2 k − PP´2 −( AP − BP´)2 k − AB 2
AP ⋅ BP´= = = ,
2 2 2
donde k = AP 2 + BP 2 = AP´2 + BP´2 .
Además, la potencia de A respecto de la circunferencia es
k k − AB 2
r2 − d 2 = − 2d 2 = ,
2 2
con lo que el segundo punto S en el que AP corta a la circunferencia es tal
que AS = BP´= CP´.
Como CP´⊥ PP´⊥ AP, se tiene que AS es paralelo a CP´ y ASPĆ es un
paralelogramo.
Finalmente,
PP´2 + PS 2 = AP´2 + AS 2 + 2 ⋅ AS ⋅ AP = AP´2 + BP´2 + k − AB 2 = 2 k − 4 d 2 = 4 r 2 ,
es decir, P ' S = AC = 2r. Como AQ + BQ = AC = 2 r , el lugar de Q es la

elipse interiormente tangente a la circunferencia dada, con A y B como
focos.
LIV Olimpiada matemática Española (Concurso Final)
1. Determina todos los enteros positivos x, tales que 2x + 1 sea un cuadrado

perfecto, pero entre los números 2x + 2, 2x + 3, · · · , 3x + 2, no haya ningún
cuadrado perfecto.
Solución. Sea n un número entero tal que 2x+1 = n2 y n2 ≤ 3x+2 < (n+1)2 .
De la primera ecuación se obtiene x = (n2 − 1)/2 y sustituyendo este valor en
la doble desigualdad, resulta
3n2 + 1
n2 ≤ < n2 + 2n + 1 ⇔ 2n2 ≤ 3n2 + 1 < 2n2 + 4n + 2
2
En la última expresión la primera desigualdad se cumple para todo n entero,
la segunda puede escribirse como
√ √
n2 − 4n − 1 < 0 ⇔ 2 − 5 < n < 2 + 5,
y se verifica para todos los enteros n ∈ {0, 1, 2, 3, 4}. De entre estos valores,
sólo para n = 3, se obtiene que x = (32 − 1)/2 = 4 es entero positivo, y esta
es la única solución del problema, ya que en este caso 2x + 1 = 9 y entre los
números 10, 11, 12, 13 y 14 no hay ningún cuadrado perfecto.
2. Se colocan 2n + 1 fichas, blancas y negras, en una fila (n ≥ 1). Se dice que

una ficha está equilibrada si el número de fichas blancas a su izquierda, más el
número de fichas negras a su derecha es n. Determina, razonadamente, si el
número de fichas que están equilibradas es par o impar.
Solución. Numeramos las posiciones en la fila desde 1 hasta 2n + 1, de

izquierda a derecha. Definimos la valoración de una cierta posición k =
1, 2, · · · , 2n + 1 como el número de fichas blancas a su izquierda más el número
de fichas negras a su derecha, con lo que una ficha está equilibrada si y sólo si
su valoración es igual a n.
1
Supongamos que las fichas en posiciones k y k + 1 tienen distinto color. El
número de fichas blancas a su izquierda en las posiciones 1, 2, · · · , k − 1 y el
número de fichas negras a su derecha en las posiciones k + 2, k + 3, · · · , 2n + 1
son los mismos para ambas. La suma de estas dos cantidades es la valoración
común de ambas si la ficha en posición k es negra y la ficha en posición k + 1
es blanca; pero en caso contrario, la ficha negra en k + 1 tiene una ficha
blanca adicional a su izquierda, y la ficha blanca en posición k tiene una ficha
negra adicional a su derecha, con lo que la valoración de estas dos fichas es en
cualquiera de los dos casos la misma.
Tenemos entonces que, sean cuales sean sus colores, si intercambiamos las
fichas en posiciones k y k + 1, la paridad del número de fichas equilibradas no
varı́a. En efecto, la valoración de las fichas en las posiciones 1, 2, · · · , k − 1
y en las posiciones k + 2, k + 3, · · · , 2n + 1 no varı́an con el cambio, si las
fichas en posiciones k y k + 1 tienen el mismo color simplemente intercambian
sus valoraciones, y si tienen distinto color, entonces ambas tienen la misma
valoración antes del cambio, y ambas tienen la misma valoración después del
cambio, luego el número de fichas equilibradas permanece constante, puede
aumentar en 2, o reducirse en 2.
Como toda permutación se puede descomponer en intercambios sucesivos de

elementos contiguos, la paridad del número de fichas equilibradas no cambia
cuando situamos todas las fichas negras en las primeras posiciones de la fila,
y todas las blancas en las últimas posiciones de la fila.
Sea a el número de fichas negras y b el de fichas blancas, con la condición de

que a + b = 2n + 1. Representamos la fila de fichas blancas y negras mediante
un camino en el interior de un rectángulo a × b, que empieza por la esquina
inferior izquierda del rectángulo. La fila se recorre de izquierda a derecha. Si
la ficha es negra se marca un paso unidad hacia arriba, y si es blanca, un paso
unidad hacia la derecha. Se considera el segmento L que une dos lados parale-
los del rectángulo, pasa por su centro O, y forma ángulos de 45◦ con los lados
del mismo. El rectángulo queda ası́ dividido por L en dos polı́gonos simétricos
respecto del punto O. Y las fichas equilibradas corresponden precisamente a
los pasos del camino que cruzan L. Si consideramos la fila con todas las fichas
negras al principio de la fila a la izquierda de las fichas blancas (lo cual no
altera la paridad del número de fichas equilibradas), entonces el correspondi-
ente camino es formado por el lado vertical del rectángulo y el lado superior
del mismo. Ası́ L corta una vez al camino y por tanto el número de fichas
equilibradas es impar.
2
3. Sea O el circuncentro del triángulo acutángulo ABC y sea M un punto arbi-
trario del lado AB. La circunferencia circunscrita al triángulo AM O interseca
por segunda vez a la recta AC en el punto K y la circunferencia circunscrita
al triángulo BOM interseca por segunda vez a la recta BC en el punto N .
Prueba que
1
Área (M N K) ≥ Área (ABC)
4
y determina el caso en que se alcanza la igualdad.
Solución. Utilizaremos las notaciones habituales en Geometrı́a del triángulo

(R, radio de la circunferencia circunscrita al 4ABC, O su incentro; a longitud
MA
del lado BC del triángulo ABC, etc.). Sea = k > 0, entonces
MB
MA + MB c c
k+1= = ⇒ MB =
MB MB k+1
K
N
B
A M
En lo que sigue utilizaremos el parámetro k para fijar la posición del punto

M en el segmento AB. Si α = ∠M N B = ∠M OB y β = ∠M OA = ∠M KA
entonces α+β = 2 C. Sean r1 y r2 los radios de las circunferencias circunscritas
a los triángulos OM A y OM B, respectivamente. Aplicando el teorema de los
senos generalizado en los dos triángulos OM B y OM A, habida cuenta que
∠OM A + ∠OM B = 180◦ , resulta
OA OB
= 2 r1 y = 2 r2
sin ∠OM A sin ∠OM B
De lo anterior se deudce que r1 = r2 ya que OA = OB = R y los ángulos
∠OM A y ∠OM B son suplementarios.
3
Aplicando el teorema de los senos a los triángulos M AK y M N B, se obtiene
MK MN
= 2 r1 y = 2 r2
sin A sin B
De lo anterior, resulta
MK MN MK MN
= ⇒ = (1)
sin A sin B a b
Por otra parte, se verifica que ∠KM A = 180◦ − (β + A) y ∠N M B = 180◦ −
(α + B). Entonces,
∠KM N = 180◦ − (∠N M B + ∠KM A) = C (2)
De (1) y (2) se deduce que los triángulos M N K y ABC son semejantes y que
M N es el lado homólogo de b en la semejanza. Entonces, para el cociente entre
las áreas, se tiene
[M N K] MN2
=
[ABC] b2
En los triángulos M OB y M N B se tiene
MB OM MN OM · sin B
= ◦
= ⇒ MN =
sin α sin(90 − C) sin B cos C
Además, aplicando el Teorema del Coseno al triángulo M OB, resulta
OM 2 = M B 2 + R2 − 2 M B · R · cos(90◦ − C) = M B 2 + R2 − 2 M B · R · sin C
Teniendo en cuenta que c = 2R sin C, entonces

sin2 B c2 c2

2 2
MN = +R −
cos2 C (k + 1)2 k+1
2
c2 k

sin B 2
= R −
cos2 C (k + 1)2
sin2 B R2 (k + 1)2 − 4R2 sin2 C

=
cos2 C (k + 1)2
Llevando esto al cociente entre las áreas de los triángulos M N K y ABC y
teniendo en cuenta que b = 2R sin B, se obtiene
[M N K] MN2 1 sin2 B 2 2
2 (k + 1) − 4k sin C
= = · · R ·
[ABC] b2 b2 cos2 C (k + 1)2
(k − 1)2 + 4k cos2 C
=
4(k + 1)2 cos2 C
4
Dado que cos2 C < 1, entonces se verifica que
[M N K] cos2 C [(k − 1)2 + 4k] 1
> 2 2
=
[ABC] 4(k + 1) cos C 4
El cociente entre las áreas es igual a 1/4 para k = 1, es decir, cuando M es el
punto medio del segmento AB.
4. Los puntos de una superficie esférica de radio 4, se pintan con cuatro

colores distintos. Prueba que existen dos√puntos sobre la superficie
√ que tienen
el mismo color y que están a distancia 4 3 o bien a distancia 2 6.
NOTA: La distancia entre dos puntos es la distancia euclı́dea; es decir la lon-
gitud del segmento rectilı́neo que los une.
Solución. Dado que se pintan los puntos de la esfera con cuatro colores
distintos, para resolver el problema será suficiente con encontrar cinco puntos
distintos que cumplan las condiciones del enuciado y aplicar el Principio del
Palomar.
Esto puede hacerse, por ejemplo, observando que si inscribimos un triángulo

equilátero en una circunferencia √
de diámetro máximo de la esfera, entonces el
lado de dicho triángulo mide 4 3, y que tomando dos de tales triángulos,
contenidos en planos perpendiculares √y que tengan un vértice común, los
vértices no comunes distan entre sı́ 2 6. En efecto, en un sistema de co-
ordenadas cartesianas con origen en el centro de la esfera, la superficie de ésta
viene dada por los puntos cuyas coordenadas (x, y, z) satisfacen la ecuación
x2 + y 2 + z 2 = 16.√ Sobre esta superficie,
√ consideremos los siguientes puntos
A(4, 0, 0), B(−2, 2 3, 0), C(B(−2, −2 3, 0) que están sobre la circunferencia
Γ1 = {(x, y, z) | x2 + y 2 = 16, z = 0}
√
y son los vértices de un triángulo
√ equilátero √de lado 4 3. Igualmente, los pun-
tos A(4, 0, 0), D(−2, 0, 2 3), E(B(−2, 0, −2 3) son los vértices de un triángulo
equilátero inscrito en la circunferencia
Γ2 = {(x, y, z) | x2 + z 2 = 16, y = 0}
Nótese que los planos de las circuneferencias Γ1 y Γ2 son perpendiculares, que
los triángulos equiláteros tienen el vértice común A, y que
√ √
AB = AC = AD = AE = BC = DE = 4 3 y BD = BE = CD = CE = 2 6
√
Luego cada uno √ de estos cinco puntos A, B, C, D, E está a distancia 4 3 o
a distancia 2 6 de cada uno de los cuatro restantes, y por el principio del
palomar, hay dos del mismo color, como querı́amos demostrar.
5
5. Sean a y b dos números positivos primos entre sı́. Se dice que un entero
positivo n es débil si no puede ser escrito en la forma n = ax + by, para algunos
enteros x e y no negativos. Prueba que si n es débil y n < ab 6
, entonces existe
un entero k ≥ 2, tal que kn es débil.
Solución. Trivialmente se observa que la suma de enteros positivos no débiles

es no débil. Esto motiva considerar para cada entero positivo n los enteros 2n
y 3n. Si ambos no son débiles, entonces kn no es débil para cada k ≥ 2, ya que
kn puede ser escrito en la forma 2nr + 3ns para algunos enteros no negativos
r y s.
Sea n un entero positivo débil y supongamos que 2n y 3n son no débiles, con

2n = ax1 + by1 y 3n = ax2 + by2 . Entonces
0 = 2(3n) − 3(2n) = a(2x2 − 3x1 ) + b(2y2 − 3y1 ) (3)
y
n = 3n − 2n = a(x2 − x1 ) + b(y2 − y1 ) (4)
De (4) por ser n débil, resulta que x2 < x1 o y2 < y1 . Sin pérdida de gen-
eralidad, podemos suponer que x2 < x1 . Entonces 2x2 − 3x1 < 0, y por (3),
2y2 − 3y1 > 0. Como a y b son primos entre sı́, (3) también implica que
a | (2y2 − 3y1 ), y ası́ a ≤ 2y2 − 3y1 ≤ 2y2 . Concluimos que
ab ab
3n = ax2 + by2 ≥ by2 ≥ ⇒n≥
2 6
Esto prueba que si n es débil y n < ab
6
, entonces existe un entero k ≥ 2, tal
que kn es débil. (La desigualdad en el enunciado debe de ser estricta, como
muestra el ejemplo n = 1, a = 2, b = 3).
6. Sea R+ el conjunto de los números reales positivos. Halla todas las funciones
f : R+ → R+ , tales que f (x + f (y)) = yf (xy + 1), para todo x, y > 0.
Solución. Supongamos que exista un número real y tal que y − 1 y f (y) − 1

son ambos no nulos y del mismo signo. Entonces podemos tomar el número
real positivo
f (y) − 1
x=
y−1
de donde se obtienef (y) = x(y − 1) + 1 y x + f (y) = xy + 1. Por tanto,
f (x + f (y)) = f (xy + 1) y utilizando el enunciado, resulta
f (x + f (y))
y= =1
f (xy + 1)
6
Esto es una contradicción, y por tanto, y − 1 y f (y) − 1 no puden ser ambos no
nulos ni tener el mismo signo. Es decir, f (y) ≥ 1 para todo y < 1, y f (y) ≤ 1
para todo y > 1.
Para todo y > 1, tomemos el número real x = (y − 1)/y > 0. Entonces, se

tiene que
y−1
f + f (y) = y f (y)
y
Ahora distinguimos dos casos:
y−1
• Si yf (y) > 1, entonces + f (y) ≤ 1, luego yf (y) ≤ 1, contradicción.
y
y−1
• Si yf (y) < 1, entonces + f (y) ≥ 1, luego yf (y) ≥ 1, contradicción.
y
1
Por tanto, yf (y) = 1 para todo y > 1 y f (y) = .
y
Sea ahora y ≤ 1, y tomemos x = 1. Se tiene entonces que tanto x + f (y) =
1 + f (y) como xy + 1 = y + 1 son números reales mayores que 1, con lo que
1 y
= ⇔ xy + 1 = xy + yf (y)
x + f (y) xy + 1
1
y concluı́mos que f (y) = también para todo y ≤ 1. Luego la única función
y
1
que puede satisfacer las condiciones del enunciado es f (y) = . Vemos además
y
que
xy + 1 y
f (x + f (y)) = f = = yf (xy + 1),
y xy + 1
1
luego en efecto f (y) = es solución, y no puede haber otras.
y

Nacioanales 2018-2008 PDF

Caricato da

Informazioni sul documento

Descrizione originale:

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Nacioanales 2018-2008 PDF

Caricato da

Copyright:

Formati disponibili

LIII Olimpiada matemática Española (Concurso Final)

1. Determina el número de valores distintos de la expresión

Solución. Sumando y restando 2 − n al numerador se obtiene

2. Un trazador de puntos medios es un instrumento que dibuja el punto medio

Solución. Sin pérdida de generalidad podemos trabajar con la recta real y

Ahora nos centramos en las distancias entre puntos. Utilizando el trazador

Solución. Se tiene que

Generalizando lo anterior, resulta

4. Se dispone de una fila de 2018 casillas, numeradas consecutivamente de 0

Solución. Vamos a probar que el jugador A tiene estrategia ganadora. Co-

1. Si B avanza 53, dejará la ficha en la casilla 2016 y tras 13 turnos dobles

2. Si B resta 2, dejará la ficha en la casilla 1961. Entonces, A avanza 53

5. Determina el máximo valor posible de la expresión

6. En el triángulo ABC los puntos medios respectivos de los lados BC, CA

Solución. Aplicando el teorema la bisectriz a los triángulos ADB y ADC se

Sean f (x) = x(x − 1) + 3 = x2 − x + 3, g(x) = x(x − 1) + 25 = x2 − x + 25.

En la circunferencia circunscrita al triángulo ABC, sea A1 el punto diametralmente opuesto al vértice

Ahora observamos que

Al ser 0 ≤ y1 ≤ 1/2, se tiene que

donde k es un entero. Como la distancia entre los puntos A y B, que denotamos

d2 (A, B) = (c − d)2 + k 2 (c − d)2 = (c − d)2 (1 + k 2 )

2. En el triángulo ABC, sea A0 el punto simétrico de A respecto del circuncentro

AI 2 + A0 I 2 = 2IO2 + 2R2 = 2(R2 − 2Rr) + 2R2 = 4R2 − 4Rr

Sustituyendo en la expresión anterior resulta la relación pedida.

3. En la pizarra está escrito un número entero. Dos jugadores A y B juegan

5. Sean p y n enteros positivos, tales que p es primo, n ≥ p, y 1+np es un cuadrado

Solución. Sea 1 + np = k 2 , con k entero positivo. Entonces np = k 2 − 1 =

1 + np = k 2 = (p` + 1)2 = p2 `2 + 2p` + 1 ⇔ np = p2 `2 + 2p` ⇔ n = p`2 + 2`

Entonces, n + 1 = p`2 + 2` + 1 = (p − 1)`2 + (` + 1)2 como querı́amos probar.

1 + np = k 2 = (p` − 1)2 = p2 `2 − 2p` + 1 ⇔ np = p2 `2 − 2p` ⇔ n = p`2 − 2`

Entonces, n + 1 = p`2 − 2` + 1 = (p − 1)`2 + (` − 1)2 es suma de p cuadrados

6. Sean M y N puntos del lado BC del triángulo ABC tales que BM = CN ,

Solución. La idea clave de la solución es considerar las circunferencias circunscritas

Utilizando (1) y teniendo en cuenta (2), resulta

Solución. Cortamos la circunferencia a la izquierda del 0. Descartado el 0, nos

Por tanto, el enunciado quedará probado si vemos que (n − 1)2 − 4 es el cuadrado de

(r + qn)(r + q) + (q + rn)(r + q) = (r + qn)(q + rn) ⇔ (r + q)2 = rq(n − 1)2

Solución. Empezaremos considerando el caso en que 4ABC es acutángulo. En

Triángulo ABC acutángulo

Entonces, CHBA0 es un paralelogramo Figura-2:

Sea D la intersección de AM con A'

iguales, entonces AOM N es también un paralelogramo. Y, de aquı́, tenemos que

Finalmente, tenemos que

Análogamente se razonaría en el:

Figura-2a: Figura-2a: Figura-2b Figura-2b

Solución. Para n = 1 se tiene que x1 = 2 y x21 + 1 = 22 + 1 = 5 que es múltiplo de

x2n+1 + 1 = (2x3n + xn )2 + 1 = x2n (2x2n + 1)2 + 1 = (k5n − 1)(2k5n − 1)2 + 1

que es múltiplo de 5n+1 pero no es múltiplo de 5n+2 ya que para n ≥ 3 es 2n − 1 ≥ 1

5. El conjunto M está formado por números enteros de la forma a2 + 13b2 , con a

• Demostrar que el producto de dos elementos cualesquiera de M es un elemento

• Determinar, razonadamente, si existen infinitos pares de enteros (x, y) tales

(m2 + n2 ) (p2 + q 2 ) = (mq − np)2 + (mp + nq)2 (Euler)

al ser el producto de un cuadrado por un elemento de M.

6. Se tienen 60 puntos en el interior del cı́rculo unidad. Demostrar que existe un

Solución. Consideremos un triángulo equilátero P QR inscrito en la circunferencia

En consecuencia, una de las sumas del miembro izquierdo no excede de 240/3 = 80

1. Sean a, b y n enteros positivos tales que a  b y ab  1  n 2 . Prueba que

Supongamos que el resultado a demostrar fuera falso.

El caso de la igualdad requiere que (a  b) 2  4n  3  4(n 2  1)  (2n  1) 2 , debido a la

2. Determina todos los números enteros positivos n, para los cuales

Supongamos z conocido. Entonces x, y son dos números reales con suma  z y

Por hipótesis de inducción la suma para u  2 no contiene ningún término de grado