Encontrando Valores de Un Par Ametro
Encontrando Valores de Un Par Ametro
Encontrando Valores de Un Par Ametro
a2 + b 2 + 1
= 3.
ab
Solución. Fijemos un entero positivo k con conjunto de soluciones no vacı́o y conside-
ramos las soluciones (a, b), consistiendo de enteros positivos, de la ecuación
a2 + b 2 + 1
= k.
ab
Tomemos una solución (a, b) con suma a + b mı́nimo y a ≥ b. Podemos reescribir
nuestra ecuación anterior como a2 − kab + b2 + 1 = 0, la cual veremos como una
ecuación cuadrática en a:
x2 − kbx + b2 + 1 = 0.
Por construcción, a es solución a dicha ecuación y llamaremos c a la segunda solución.
Usando las fórmulas de Vieta, obtenemos que
a + c = kb
ac = b2 + 1
de donde
b2 + 1
c = kb − a =
a
de la primera igualdad se obtiene que c es entero, y de la segunda que c es positvo.
Esto implica que (b, c) es solución a la ecuación original. Por la minimalidad de a + b,
tenemos que c ≥ a y, como a ≥ b ≥ 1,
a2 ≤ ac = b2 + 1 ≤ a2 + 1
y por lo tanto a = b. Con esto concluimos que para cada k entero positivo, las solucio-
nes (a, b) en entero positivos con suma a + b mı́nima a la ecuación original cumplen
que a = b, por lo que basta considerar a = b para encontrar los posibles valores de k.
Tenemos pues que
2a2 + 1 1
k= 2
=2+ 2 ∈Z
a a
y la única posibilidad para a, b es a = b = 1 por lo que k = 3, como querı́amos
mostrar.
Ejemplo 2. Encuentra todos los enteros k tales que existen enteros positivos a, b tales
que
b+1 a+1
+ = k.
a b
Adán Medrano Martı́n del Campo 3
a + c = kb
ac = b2
de donde
b2
c = kb − a =
a
por lo que c es un entero positivo y la pareja (b, c) es también una solución al problema
original. Por la minimalidad de a + b, obtenemos que a ≤ c y, como b ≤ a, tenemos
que
b2 ≤ a2 ≤ ac = b2
y por lo tanto a = b, lo cual implica que k = 2. Hemos mostrado entonces que este es
el único valor entero que k puede obtener. Ahora bien, si k = 2 entonces a2 +b2 = 2ab,
de donde
(a − b)2 = 0
por lo que las únicas parejas de enteros positivos que satisfacen el problema son aque-
llas de la forma (a, a), y como el problema nos pide soluciones en enteros, las parejas
que satisfacen el problema son
Ejemplo 4. Encuentra todas las parejas de enteros positivos (a, b) tales que
a | b2 − b + 1 y b | a2 − a + 1.
Solución. Una pareja (a, b) que cumple con el problema satisface que mcd(a, b) = 1,
de donde
mcd(a, a − b) = mcd(b, a − b) = 1.
Las condiciones de divisibilidad del problema son equivalentes a que ab divide a ambos
b3 − b2 + b y a3 − a2 + a. Restando, obtenemos que ab divide a
(a − b)(a2 + ab + b2 − a − b + 1)
x2 − x(bk + 1) + (b2 − b + 1) = 0
Adán Medrano Martı́n del Campo 5
a + c = kb
ac = b2 − k
de donde
b2 − k
c = kb − a =
a
por lo que c es un entero. Mostraremos ahora que c es positivo. Notemos que c 6= 0, de
lo contrario k = b2 pero k no es un cuadrado perfecto por hipótesis. Si c es negativo,
entonces −kbc ≥ k y por lo tanto
0 = c2 − kbc + b2 − k ≥ c2 + b2 > 0
lo cual es una contradición, de donde c es positivo. Esto muestra que la pareja (b, c) es
una solución en enteros positivos a nuestra ecuación y, por la minimalidad de a + b,
obtenemos que b ≤ a ≤ c. Esto nos dice que
b2 ≤ a2 ≤ ac = b2 − k
a2 + b 2
=k
ab + 1
con k no cuadrado perfecto.
Ejemplo 6. (IMO 2003/2) Encuentra todas las parejas de enteros positivos (a, b) tales
que
a2
2ab2 − b3 + 1
es un entero positivo.
D = b2 (2a − b) + 1
el cual debe ser positivo, pues el numerador lo es. Tenemos entonces dos posibilidades:
a + c = 2kb2
ac = k(b3 − 1)
de donde
k(b3 − 1)
c = 2kb2 − a =
a
por lo que c es un entero no negativo. Notemos que c = 0 si y solo si b = 1, en
cuyo caso a = 2k y obtenemos las soluciones (2k, 1). Si b > 1 entonces ambos
a, c son enteros positivos. Esto nos dice que fijando b > 1 junto con k, si una de las
soluciones a nuestra cuadrática es entero positivo entonces la segunda también lo es.
Como a + c = 2kb2 , entonces
máx{a, c} ≥ kb2
k(b3 − 1) kb3
0<c= < 2 = b.
a kb
Habiendo probado ya que b = 2c o bien c ≥ b, concluimos que b = 2c. Esto nos dice
que
b 2k(b3 − 1)
a = 2kb2 − =
2 b
2 4
de donde k = b4 y se sigue que a = b 2−b . Esto nos da las soluciones (8c4 −c, 2c). Con
esto hemos caracterizado todas las posibles soluciones a nuestra ecuación cuadrática
para cada b, k, y por lo tanto hemos encontrado todas las soluciones del problema, las
cuales son (2n, 1), (n, 2n), (8n4 − n, 2n), para todo n entero positivo y estas clara-
mente cumplen que la fracción original es un entero.
(4a2 − 1)2
4ab − 1
es entero, entonces a = b.
8 Vieta Jumping
Probaremos que si
(a − b)2
=k
4ab − 1
es entero, entonces k = 0. Para esto procederemos por contradicción: fijamos k en-
tero positivo y supongamos que su conjunto de soluciones es no vacı́o. Elegimos una
solución (a, b) con a + b mı́nimo y a ≥ b. Tomando la ecuación cuadrática en a:
x2 − x(2b + 4bk) + b2 + k = 0
a + c = 2b + 4bk
ac = b2 + k
de donde
b2 + k
c = 2b + 4bk − a =
a
y ası́, c es un entero positivo. Luego, (b, c) es solución de nuestra ecuación con b y c
enteros positivos. Por la minimalidad de a + b obtenemos que b ≤ a ≤ c. Entonces
(a − b)2
a2 − b2 ≤ ac − b2 = k =
4ab − 1
pero esto implica que
(a − b)2
=k
4ab − 1
para k > 0. De este modo, solo es posible encontrar soluciones para k = 0, donde es
necesario que a − b = 0, o de manera equivalente a = b como querı́amos.
Ejemplo 8. (IMO, Lista Corta 2019/N8) Sean a, b enteros positivos. Muestra que
° 2§
4a
a2 +
b
no es un cuadrado perfecto.
Adán Medrano Martı́n del Campo 9
Solución. Procedemos por contradicción. Fijemos un entero positivo c tal que para
algunos a, b enteros positivos tenemos
° 2§
4a
a2 + = c2 .
b
Usando la definición de la función techo, obtenemos
4a2
c2 − a2 − 1 < ≤ c2 − a2
b
o de manera equivalente,
0 ≤ c2 b − a2 (b + 4) < b.
x+y x−y
Consideramos la sustitución x = c + a y y = c − a de modo que c = 2 ya= 2 .
Entonces nuestra desigualdad anterior puede reescribirse como
x + y 2 x − y 2
0≤ b− (b + 4) < b
2 2
o de manera equivalente, como
0 ≤ −x2 − y 2 + xy(b + 2) < b.
Llamaremos d = xy(b+2)−x2 −y 2 , de modo que x, y satisfacen la ecuación cuadrática
x2 + xy(b + 2) + y 2 + d = 0
donde adicionalmente sabemos que 0 ≤ d < b y por construcción x > y. Fijan-
do b, d, y obtenemos una ecuación cuadrática cuyas soluciones son x, z. Usando las
fórmulas de Vieta tenemos que
x + z = y(b + 2)
xz = y 2 + d
de donde
y2 + d
z = y(b + 2) − x =
x
de donde z es un entero positivo. Supongamos que fijando únicamente b, d tomamos
inicialmente una pareja (x, y) con x > y que satisface la ecuación cuadrática con suma
mı́nima x + y. Como la pareja (y, z) también satisface nuestra ecuación cuadrática, por
la minimalidad de x + y tenemos que x ≤ z, de donde
y2 + b y2 + d y(b + 2)
> =z≥
y x 2
lo cual implica que 2 > y 2 y, por lo tanto, y = 1. Esto implica que nuestra ecuación
cuadrática original es de la forma x2 − x(b + 2) + 1 + d = 0 o de manera equivalente,
d + 1 = x(b + 2 − x) > 0 pero para valores enteros de x, el menor valor positivo
de x(b + 2 − x) es b + 1, que es mayor que d + 1 ya que d < b por hipótesis. Esto
contradice la existencia de soluciones a nuestra ecuación cuadrática, y por lo tanto al
problema original, terminando nuestra prueba por contradicción.
10 Vieta Jumping
Ejercicios
1) (Brilliant [3], Ariel Gershon). Sean a y b enteros positivos tales que ab − 1 divide a
a2 + b2 . Muestra que
a2 + b 2
= 5.
ab − 1
2) (Brilliant [3]). Encuentra todas las parejas (n, m) de enteros positivos con 1 ≤ n <
m ≤ 100 tales que n divide a m2 − 1 y m divide a n2 − 1.
3) (Crux Mathematicorum [4]). Sean a, b y c enteros positivos tales que 0 < a2 + b2 −
abc < c. Muestra que a2 + b2 − abc es un cuadrado perfecto.
4) (Vietnam, 2002). Encuentra todos los enteros positivos n para los cuales la ecuación
(a + b + c + d)2 = n2 abcd
tiene una solución en enteros positivos.
5) (Putnam, 1993). Muestra que para cada número real N , la ecuación
a2 + b2 + c2 + d2 = abc + bcd + cda + dab
tiene solución en enteros positivos, todos mayores que N .
6) (Vandervelde, 2013 [5]). Sean a, b, c enteros positivos tales que abc + 1 divide a
a2 + b2 + c2 . Muestra que
a2 + b 2 + c2
abc + 1
puede escribirse como la suma de dos cuadrados perfectos positivos.
Bibliografı́a
1. Arthur Engel, Problem-Solving Strategies, Springer, 1999.
2. Yimin Ge, The Method of Vieta Jumping,
https://blogs.sch.gr/sotskot/files/2011/01/Vieta_Jumping.
pdf.
3. Brilliant, Vieta Root Jumping,
https://brilliant.org/wiki/vieta-root-jumping/
4. Shirali, S., Problema 1420. Crux Mathematicorum, Volumen 15, Número 2, Fe-
brero de 1989.
https://cms.math.ca/wp-content/uploads/crux-pdfs/Crux_
v15n02_Feb.pdf
5. Vandervelde, S. A Rational Function Whose Integral Values Are Sums of Two
Squares,
http://myslu.stlawu.edu/˜svanderv/sumsquares.pdf
Problemas de práctica
E F
D
B H C
Problema 2. Se tienen 100 focos apagados acomodados en una fila y hay un botón en
frente. Al presionar el botón, todos los focos se encienden. Al presionarlo de nuevo, se
apagan los focos en posiciones pares. Cuando se vuelve a presionar el botón, cambian
de estado los focos que están en una posición múltiplo de 3. En general, al presionar el
botón por k-ésima ocasión, los focos en posiciones divisibles por k cambian de estado.
Si el botón se oprime 100 veces, ¿cuántos focos quedaron encendidos al final?
Luego se trazan cı́rculos cuyos diámetros son los segmentos que unen los puntos me-
dios de cada lado. ¿Cuánto vale el área sombreada?
Problema 5. Sean a1 , a2 , . . . , a10 enteros que no son múltiplos de 5 tales que cada uno
de los números
a10 10 10 10 10
1 + a2 , a2 + a3 , a3 + a4 , . . . , a9 + a10 , a10 + a1 ,
Problema 9. Sean p1 , p2 y p3 tres números primos tales que p1 < p2 < p3 , 2p2 =
p3 − 25 y p1 p3 = 3p1 p2 + 16. Determina los valores de p1 , p2 y p3 .
Problema 10. ¿Cuántos números menores que 100000 tienen como dı́gito más grande
un 7 y como segundo dı́gito más grande un 2? Ejemplos: 2007 cumple, 2777 cumple,
7777 no cumple, 6121 no cumple, 22107 cumple.
Demuestra que
√ 1
n
a1 a2 · · · an + √ ≥ m.
n
a1 a2 · · · an
Problema 12. Un número “chida” es un número divisible por la suma de los cuadrados
de sus dı́gitos. Ejemplo, 2010 es chida porque 22 + 02 + 12 + 02 = 5 y 5 divide a 2010.
Demuestra que existen infinitos números n tales que n y n + 1 son chidas.
Problema 13. Sea ABC un triángulo acutángulo inscrito en una circunferencia ω con
˜ de ω y los segmentos
centro O. Un punto variable X se escoge en el arco menor AB
CX y AB se cortan en D. Denotemos por O1 y O2 los circuncentros de los triángulos
ADX y BDX, respectivamente. Determina todos los puntos X para los cuales se
minimiza el área del triángulo OO1 O2 .
Problema 16. Un pueblo tiene 5 calles verticales y 5 calles horizontales. En las calles
horizontales se puede mover a la derecha, pero no a la izquierda. En la primera calle
vertical se puede mover solo hacia abajo, en la siguiente calle solo hacia arriba, en la
tercera solo hacia abajo, en la cuarta solo hacia arriba y en la quinta solo hacia abajo.
Si Héctor está en el punto A y quiere llegar al punto B, ¿de cuántas maneras puede
hacerlo? (Héctor debe seguir el sentido de las calles).
A b
b
B
14 Problemas de práctica
Problema 18. En cierto bosque habitan varios enanos, cada uno de los cuales tiene tres
sombreros numerados con alguno de los números 1, 2, . . . , 28. Los tres sombreros de
un mismo enano tienen números distintos. Cada dı́a se celebran tres festivales en este
bosque. En el primer festival, cada enano usa el sombrero con el número menor, en
el segundo, usa el sombrero con el segundo menor número y, en el último, usa el que
tiene el número mayor. Después de esto, se dan cuenta de que cualesquiera dos enanos
usaron sombreros con el mismo número en a lo más un festival. Determina la mayor
cantidad posible de enanos.
Problema 19. Seis circunferencias tienen un punto en común. Prueba que una de ellas
contiene en su interior o frontera el centro de otra circunferencia.
En esta sección encontrarás las soluciones a los 20 problemas de práctica elegidos para
este número de la revista. Antes de consultar estas soluciones, te recomendamos hacer
tu propia solución a cada problema o, al menos, haberle dedicado un tiempo conside-
rable a cada uno de ellos.
Es muy común en matemáticas que un problema tenga más de una solución. Las solu-
ciones que presentamos no necesariamente son las mejores o las únicas. Aunque hayas
resuelto un problema y estés muy seguro de que tu solución es correcta, te invitamos
a consultar estas soluciones y discutirlas con tus compañeros. Si logras encontrar una
solución diferente a las que aquı́ presentamos o tienes dudas de tus soluciones, te invi-
tamos a compartirlas con nosotros a la dirección revistaomm@gmail.com.
Solución del problema 1. Es claro que los triángulos ADE, GF E, GHC y ABC
son todos semejantes entre sı́. Si [X] representa el área de la figura X, sabemos que
AD 2
FG = [ADE] 24
[GF E] = 6 = 4, por lo que AD = 2F G. Con un razonamiento similar,
podemos ver que F G = GH. Debido a que BDF H es un rectángulo, entonces AB =
AD + DB = AD + F H = AD + F G + GH = AD + 2F G = 2AD. Luego,
AB 2
[ABC]
[ADE] = AD = 4 y, por lo tanto, [ABC] = 4[ADE] = 4(24) = 96.
divisor (positivo o negativo) de 2020, hay exactamente una progresión aritmética que
contiene a 1 y 2021, ya sea que aparezca primero 1 (cuando r > 0) o que aparezca
primero 2021 (cuando r < 0). Como 2020 = 22 · 5 · 101, se sigue que hay exactamente
2(2 + 1)(1 + 1)(1 + 1) = 24 progresiones aritméticas que satisfacen el problema.
a b a3 1 a4 − 1 a2 − 1 1
− 2 = 2 − = = = a − = a − b,
b2 +1 a +1 2
a + 1 a(a + 1) 2
a(a + 1) a a
como se querı́a.
A
P
C M D
Solución del problema 10. Podemos asumir que el número tiene 5 dı́gitos usando
dı́gitos 0 a la izquierda si son necesarios, ya que los dı́gitos 0 no afectan cuál es el dı́ıgito
más grande o cuál es el segundo dı́gito más grande. En general, tenemos 5 lugares
dónde poner los sietes. Para el resto, dividimos en casos dependiendo de cuántos dı́gitos
2 aparecen en el número.
Hay exactamente un siete. Hay 5 maneras de colocar el siete. Si hay cuatro 2’s,
entonces hay una manera de colocarlos. Si hay tres 2’s, tenemos 4 maneras de
dónde ponerlos y 2 opciones (0 o 1) para el dı́gito restante. Si hay dos 2’s,
escoger
hay 42 = 6 maneras de escoger dónde poner esos dı́gitos y tenemos 22 opciones
18 Soluciones a los problemas de práctica
como se querı́a.
nk = 1 0| ·{z
· · 0} 10,
k
Soluciones a los problemas de práctica 19
· · 0} 11.
nk + 1 = 1 |0 ·{z
k
Como el número consiste de tres 1’s y muchos 0’s, entonces la suma de los cuadrados
de los dı́gitos de nk + 1 es 3. Sin embargo, la suma de los dı́gitos de nk + 1 también es
3, ası́ que el número es múltiplo de 3. Por lo tanto, nk + 1 es chida.
Entonces, para cualquier entero k ≥ 0, nk y nk + 1 son chidas, por lo que hay infinitos
enteros n tales que n y n + 1 son chidas.
C
b
b
O
A b b b D N
b b B
M b
O2
b
O1
b
1
0 < an < √
2020n
para todo entero n ≥ 1.
a0 a0 a0
Como a0 > 0, tenemos que a1 = √ > 0 y a1 = √ < √ =
1+2020a20 1+2020a20 2020a20
√1 .
2020
√ 1 an
Si 0 < an < 2020n
, entonces an+1 = √ >0y
1+2020a2n
an 1 1 1
an+1 = p =»1 < … = p ,
1 + 2020a2n a2 + 2020 Ä 1 ä2 + 2020 2020(n + 1)
n √ 1
2020n
Solución del problema 15. Demostraremos primero que todas las columnas tienen la
misma configuración de personas. Supongamos que este no es el caso y sean C1 y C2
dos columnas con configuraciones distintas. Sean c1 y c2 las cantidades de mentirosos
en dichas columnas y supongamos sin pérdida de generalidad que c1 ≥ c2 . Luego,
existe un mentiroso en C1 en la misma posición que un caballero en C2 , y supongamos
que esto pasa en la fila R con r mentirosos. Entonces, por la afirmación, tenemos que
c1 ≤ r < c2 , lo que es una contradicción, ya que c1 ≥ c2 . Concluimos que nuestra
suposición es falsa y, por lo tanto, todas las columnas tienen la misma configuración.
Ahora, es claro que si todos en el tablero son caballeros, la configuración no es com-
patible, pues habrı́a 0 mentirosos en cada fila y en cada columna. Con esto vemos que
además debe haber por lo menos un mentiroso.
De manera recı́proca, si todas las columnas tienen la misma configuración, tenemos
por lo menos un mentiroso, entonces la configuración es compatible. En efecto, si una
persona en una fila y una columna con r y c mentirosos, respectivamente, es un menti-
roso, entonces r = n ≥ c y, por lo tanto, puede decir la afirmación; si es un caballero,
entonces r = 0 < c y, por lo tanto, puede decir la afirmación.
Se sigue que podemos escoger libremente la primera columna, con la excepción de
ser todos caballeros y con ello queda determinado el acomodo, dando un total de
28 − 1 = 255 posibilidades.
Solución del problema 16. Denotemos a los puntos en el tablero usando coordenadas.
Las 5 calles horizontales serán numeradas 1, 2, 3, 4, 5 de arriba hacia abajo y las calles
verticales 1, 2, 3, 4, 5 de izquierda a derecha. Sea C = (a, b) un punto en la calle
vertical a y calle horizontal b. Calcularemos el número de caminos nC de A a C.
Si a = 1, entonces nC = 1 ya que la única manera de llegar es moviéndose hacia
Soluciones a los problemas de práctica 21
Solución del problema 17. Consideremos una terna (a, b, c) de estos números, con
a < b < c y a + b + c = 3k . Sea 3ℓ la menor potencia entera de 3 que es mayor
que c. Observemos que c < a + b + c = 3k y 3c > a + b + c = 3k implican
que c > 3k−1 . Entonces, ℓ = k. De esta forma, nuestras posibles potencias de 3 que
podemos expresar como suma de tres números distintos, son uno de los n posibles
valores de 3ℓ asignados a cada uno de los n elementos. Sin embargo, los dos números
más chicos de este conjunto no pueden ser el número mayor en ninguna terna, por
lo que concluimos que podemos considerar únicamente a lo más n − 2 valores de ℓ
asignados a los n − 2 números más grandes. Se sigue el resultado.
Solución del problema 18. La respuesta es 182. Para el ejemplo, consideremos cada
posible terna de números (a, b, c) en el rango especificado con a < b < c y a + b = c,
y hagamos que un enano utilice sombreros con esos números. Es claro que no hay
dos enanos con dos sombreros en común; por ejemplo, si dos enanos compartieran los
sombreros a y b, entonces también deberı́an compartir c por la condición a + b = c, lo
que es una contradicción.
Ahora contemos la cantidad de tales ternas. Si el primer número es n, el segundo puede
ser cualquiera entre n + 1 y 28 − n, dando 28 − 2n posibilidades. Luego, hay 26 +
24 + · · · + 2 = 182 posibilidades y, por lo tanto, 182 es cota inferior. A continuación
22 Soluciones a los problemas de práctica
Solución del problema 19. Sea P el punto en común de las seis circunferencias. Si dos
de los centros de las seis circunferencias, digamos A y B, cumplen que A, B y P son
colineales en ese orden, entonces B está en el interior del radio AP de la circunferencia
de centro A, por lo que se cumple lo buscado. Luego, supongamos que no sucede lo
dicho anteriormente. Etiquetemos a los centros de las circunferencias de acuerdo al
orden que aparecen respecto a P como se muestra en la figura.
O2
O1
O3
O6
O4
O5
los ángulos son iguales a 60◦ y, por lo tanto, O1 está sobre la circunferencia de centro
O2 . Si está en O1 , entonces O2 P ≥ O1 O2 (pues el ángulo más grande abre el lado
O2 P ), lo que indica que O2 está dentro o sobre la circunferencia de centro O2 , como
se querı́a.
Problemas de Entrenamiento.
Año 2021 No. 2.
Presentamos ahora los 10 problemas de entrenamiento elegidos para este número de
tu revista. Te recordamos que las soluciones de los problemas en esta sección no las
publicamos en este momento, por lo que te invitamos a que los resuelvas y nos envı́es
tus soluciones. Las soluciones de los problemas de esta sección se escogerán de entre
las participaciones recibidas por parte de la comunidad olı́mpica de todo el paı́s.
Con el fin de dar tiempo a nuestros lectores para la redacción y envı́o de sus tra-
bajos, las soluciones de los problemas presentados en cada número de la revista, se
publican 3 números después. Para ello, ponemos a tu disposición nuestra dirección:
revistaomm@gmail.com y ten la seguridad de que tan pronto recibamos tu con-
tribución, inmediatamente nos pondremos en contacto contigo para comentar y en su
caso, publicar tu trabajo. ¡Te invitamos a intentarlo!
p
Problema 1. Demuestra que (n + 1)2 > 3 n (n!)2 para todo entero positivo n.
Problema 2. Determina todos los enteros positivos n para los cuales existe un entero
positivo d con la propiedad de que n es divisible por d y n2 + d2 es divisible por
d2 n + 1.
a3 − 3a2 + 5a = 1,
b3 − 3b2 + 5b = 5.
Determina el valor de a + b.
vecinos infectados se vuelven infectadas. ¿Puede llegar a suceder que todas las celdas
del tablero estén infectadas?
Problema 5. Sean 0 < x < y < z < p números enteros con p número primo. Si x3 ,
y 3 y z 3 dejan el mismo residuo al dividirse entre p, demuestra que x + y + z divide a
x2 + y 2 + z 2 .
Solución de Guillermo Courtade Morales (misma que las soluciones de Titu Zvo-
naru y José Hernández Santiago). La ecuación se puede reescribir como
(x + y) x2 − xy + y 2 = (x + y)2 .
consiguiente, (x − 1)2 > 1, esto es, (x − 1)2 ≥ 4 pues x es un entero. Por lo tanto,
x ≥ 0 y, de manera análoga, obtenemos que y ≥ 0. Luego, los valores posibles de x y
y son 0, 1 y 2. De aquı́, obtenemos las soluciones (0, 1), (1, 0), (1, 2), (2, 1) y (2, 2).
x4 − 40x2 + q = 0
x1 + x2 + x3 + x4 = 0, (1)
x1 x2 + x1 x3 + x1 x4 + x2 x3 + x2 x4 + x3 x4 = − 40, (2)
x1 x2 x3 x4 = q. (3)
Solución de Guillermo Courtade Morales. Viendo la ecuación dada como una cuadráti-
ca en x2 , usando la fórmula general y después obteniendo raı́z, se tiene que las cuatro
raı́ces x1 < x2 < x3 < x4 son
» p » p
x1 = − 20 + 400 − q, x2 = − 20 − 400 − q,
» p » p
x3 = 20 − 400 − q, x4 = 20 + 400 − q.
Como estos números forman una progresión aritmética, debe suceder que x1 − x2 =
x2 − x3 . Sustituyendo los valores obtenidos, resulta que
» p » p » p » p
− 20 + 400 − q+ 20 − 400 − q = − 20 − 400 − q− 20 − 400 − q,
p √ p √
lo cual equivale a 3 20 − 400 √ − q = 20 + 400 − q. Elevando al cuadrado y
reacomodando, obtenemos que 10 400 − q = 160, cuya única solución es q = 144,
de donde sigue que x1 = −6, x2 = −2, x3 = 2 y x4 = 6, la cual claramente es una
progresión aritmética. Por lo tanto, el único valor posible de q es 144.
lo cual implica que hay una infinidad de soluciones (una por cada valor entero de k).
Solución de José Hernández Santiago. Para cada entero n, es fácil ver que los núme-
ros a = 22n+1 − 2, b = 2n+1 y c = 22n+1 − 1, satisfacen la ecuación a2 + b2 = c2 + 3
y, por lo tanto, esta ecuación tiene una infinidad de soluciones en los enteros.
Solución de Titu Zvonaru. Para cada entero k es fácil comprobar que los números
a = 2k, b = 2k 2 − 2 y c = 2k 2 − 1, son una solución de la ecuación dada. Esto nos da
una infinidad de soluciones en los enteros.
Problema 4. Sea ABC un triángulo acutángulo. Sean D y E puntos sobre los segmen-
tos AB y AC, respectivamente, tales que BD = CE. Los segmentos BE y CD se
cortan en P y las circunferencias circunscritas a los triángulos BDP y CEP se cortan
por segunda vez en Q. Demuestra que AQ es bisectriz del ángulo ∠BAC.
Solución de Titu Zvonaru. Observemos que ∠BDQ = ∠BP Q = ∠ECQ, ya que los
cuadriláteros BDP Q y QP EC son cı́clicos. Análogamente, tenemos que ∠QBD =
∠QEC. Luego, los triángulos QBD y QEC son semejantes y, como BD = EC,
resulta que son congruentes. Esto significa que d(Q, AB) = d(Q, AC) donde d(X, ℓ)
es la distancia del punto X a la recta ℓ. Esto implica que Q está en la bisectriz del
ángulo ∠BAC, como se querı́a.
Ab
Db E
P b
b b
B C
b
Q
Problemas de Entrenamiento 29
1 1 2
Problema 5. Demuestra que + ≥ para todo entero positivo n y determina
ϕ(n) σ(n) n
cuándo se da la igualdad.
(Nota: σ(n) denota a la suma de los divisores positivos de n y ϕ(n) denota al número de enteros
positivos menores o iguales que n y primos relativos con n).
2
Problema 6. Sea a0 = 1 y an = an−1 4 − n para n ≥ 1. Para cada entero n ≥ 1,
demuestra que
a) an es un entero positivo.
b) an es divisible por cada número primo p tal que n < p ≤ 2n.
c) Si n es primo, entonces an − 2 es divisible entre n.
n
Solución. a) Demostraremos que an = 2 (2n−1)!! n! para todo entero positivo n, donde
1
(2n − 1)!! = 1 · 3 · 5 · · · (2n − 1). Claramente, tenemos que a1 = 1(4 − 21 ) = 2 = 2 1!·1! .
Supongamos que el resultado es verdadero para cierto entero n ≥ 1. Entonces,
Å ã
2 2n (2n − 1)!! 2(2n + 1) 2n+1 (2n + 1)!!
an+1 = an 4 − = · = ,
n+1 n! n+1 (n + 1)!
lo que concluye la inducción.
Por otro lado, observemos que
Ç å
(2n − 1)!! n (2n − 1)!! 2 · 4 · 6 · · · (2n) (2n)! 2n
an = ·2 = · = = ,
n! n! n! n!n! n
30 Problemas de Entrenamiento
el cual es un entero.
b) Sea p un número primo tal que n < p ≤ 2n. Es fácil ver que p y n! son primos
relativos, pues si p | n!, entonces p divide a un entero menor o igual que n, lo que es
n
una contradicción. Como 2 (2n−1)!!
n! es un entero, se sigue que n! divide a 2n (2n− 1)!!.
Si n = 1, entonces 1 < p ≤ 2 y, por consiguiente, p = 2 y 2 | a1 .
Si n > 1, entonces 1 < n < p ≤ 2n y, por consiguiente, p > 2. En este caso, se sigue
que p | (2n − 1)!! ya que en (2n − 1)!! están todos los impares entre n y 2n. Por lo
tanto, p divide a (2n − 1)!! · 2n . Como p y n! son primos relativos, concluimos que
n
p · n! divide a (2n − 1)!! · 2n , de donde se sigue que p divide a 2 (2n−1)!!
n! = an .
2
c) Si n = 2, entonces a2 − 2 = 2 2!·3!! − 2 = 4 y, claramente, n = 2 divide a an − 2.
Supongamos que n > 2 es primo. Demostraremos que
(2n − 1)!!
≡ −1 (mod n).
n
Tenemos que n es primo impar y 2n − 1 > n. Luego,
Como n es primo, podemos aplicar el teorema de Wilson, esto es, (n−1)! ≡ −1 (mod n).
Por lo tanto, (2n−1)!!
n ≡ −1 (mod n). Entonces,
2n (2n − 1)!!
−an ≡ (n − 1)!an = ≡ −2n ≡ −2 (mod n),
n
donde la primera congruencia se sigue por el teorema de Wilson, la segunda por lo
demostrado previamente y la tercera por el teorema pequeño de Fermat. Ası́, an − 2 ≡
0 (mod n), como querı́amos.
1, 1, 2, 2, 3, 3, 4, 4, 5, 5, . . ., 2022, 2022,
donde cada entero positivo entre 1 y 2022 inclusive, aparece exactamente dos veces.
Determina si es posible reordenar los términos de la sucesión, de tal manera que para
cada 1 ≤ k ≤ 2022, haya exactamente k números entre los dos términos que son
iguales a k.
distinta paridad, por lo que aquı́ se ocupan la misma cantidad de posiciones pares que
de impares, esto es, 1011. Por lo tanto, hay al menos 1011 + 1012 = 2023 posiciones
pares ocupadas, lo que es una contradicción pues hay exactamente 2022 posiciones
pares en la sucesión.
B1
C1
H
B′
C′
O′
B A1 C
B1
C1
H
B2
C2
B A1 C
n2 + 1
Problema 9. Determina todas las parejas (m, n) de enteros positivos tales que
√ 2m
y 2n−1 + m + 4 sean números enteros.
2
por lo que n2m+1
no puede ser un entero. De aquı́, obtenemos que los valores posibles de
2 √
n son: 1, 3, 5, 7, 9, 11 o 13. Se debe cumplir que m divide a n 2+1 , que 2n−1 + m + 4
n+1
sea un entero y que m ≥ 2 2 − 3. Revisando los posibles casos para cada posible
valor de n, obtenemos que las únicas parejas (m, n) que cumplen son (1, 3) y (61, 11).
Problema 10. Sea n un entero mayor que 1. Cierta escuela tiene 1 + 2 + · · · + n alum-
nos y cuenta con n salones, con espacio para 1, 2, . . . , n personas, respectivamente.
Los niños juegan un juego en k rondas como sigue: en cada ronda, cuando suena la
campana, los alumnos se distribuyen en los salones de tal forma que no excedan su
capacidad y, si dos alumnos compartı́an salón en alguna ronda, ya no pueden hacerlo
en esta. Para cada n, determina el máximo valor posible de k.
2 3
b b
4 5 6
b b b
7 8 9 10
b b b b
11 12 13 14 15
b b b b b
16 17 18 19 20 21
b b b b b b
En la prueba por equipos en el Nivel II, el Estado de Baja California Sur obtuvo el
primer lugar (con 254 puntos), la Ciudad de México obtuvo el segundo lugar (con 230
puntos) y el Estado de Morelos obtuvo el tercer lugar (con 212 puntos).
Los resultados del Campeón de Campeones en el Nivel II fueron:
Primer lugar: Ciudad de México (con 436 puntos). Segundo lugar: Baja California Sur
y Jalisco (con 396 puntos). Tercer lugar: Morelos (con 385 puntos).
2) Un pı́xel está formado por 3 leds: uno rojo, uno verde y uno azul, donde cada uno
puede prender con 4 intensidades de luminosidad diferentes (además de que pueden
estar apagados). Cada configuración de estos tres leds determina el color del pı́xel.
¿Cuántas configuraciones hay con el led azul prendido?
36 4a OMMEB, Concurso Nacional 2020 (Virtual)
3) Sea ABC un triángulo rectángulo con ∠BAC = 90◦ y área 12 cm2 . Sean M y
N puntos en la hipotenusa BC tales que BM = M N = N C. Se prolongan los
segmentos M A y N A más allá de A, hasta los puntos P y Q tales que M A = AP
y N A = AQ. Encontrar el valor del área del cuadrilátero BCP Q en cm2 .
N
M
B A
P
Q
4) Una máquina A es capaz de cortar una determinada área de césped en 120 minutos.
Una máquina B corta esa misma área en 240 minutos. Si se ponen a trabajar las dos
máquinas al mismo tiempo para cortar esa área, ¿en cuántos minutos estará cortado
el césped?
5) En cada casilla de una cuadrı́cula de 3 × 3 hay una moneda. ¿De cuántas maneras
se pueden quitar dos monedas que no se encuentren en casillas que comparten un
lado?
7) La siguiente figura está formada por 5 cuadrados iguales de área 36 cm2 cada uno.
Los puntos A, B, C y D son vértices de cuadrados. El punto E del segmento CD
es tal que el segmento AE divide a los 5 cuadrados en dos partes de la misma área.
Determinar la medida, en cm, del segmento CE.
C E D
A B
D C
10) Se consideran todos los enteros positivos que se construyen escribiendo consecuti-
vamente los primeros números enteros positivos. Por ejemplo, el que aparece en el
primer lugar es el 1, en segundo lugar aparece 12, en el lugar 3 aparece 123, y ası́ su-
cesivamente (en el lugar 12 aparece 123456789101112). De los números anteriores,
¿cuántos dı́gitos tiene el número más pequeño en el que aparece la cadena 2022?
Por ejemplo, el número de dı́gitos del número más pequeño en el que aparece la
cadena 91 es 11 pues aparece por primera vez en el décimo número 12345678910,
el cual tiene 11 dı́gitos.
A 6 N 12 D
B C
9 M 9
Parte B
13) Sea ABCD un cuadrado. Se dibuja, por fuera del cuadrado, un semicı́rculo que
tenga al lado AB como diámetro. Se escoge un punto E en la semicircunferencia.
Sean G y F puntos de los segmentos BC y AD, respectivamente, tales que GB =
BE y AF = AE. Sean a = AF y b = GB. Si las áreas entre ABGF y F GCD
a+b
están a razón 3a−b , ¿cuánto mide el ángulo ∠EBA?
38 4a OMMEB, Concurso Nacional 2020 (Virtual)
b
a
A B
a
b
F
G
D C
14) Sea x0 = a con a un número entero positivo. Para cada entero n > 0 definimos
xn = 5xn−1 + 1. ¿Cuántos valores de a menores o iguales que 2020 satisfacen que
xk no es divisible entre 9 para todo entero k ≥ 0?
15) En la figura de abajo se muestra un panal de abejas. Dos hexágonos son vecinos
si comparten una arista. Si en cada hexágono cabe a lo más una abeja, ¿cuál es la
mayor cantidad de abejas que pueden vivir en dicho panal de modo que no haya
abejas vecinas?
B
A S
E
R
F
D C K
3) ¿Cuántos números de tres dı́gitos, abc (con a 6= 0), tienen la propiedad de que los
números de dos dı́gitos ab y bc son números primos? Por ejemplo, un número que
cumple es 237 pues tanto 23 como 37 son números primos.
4) La siguiente figura consta de 14 vértices y 20 segmentos. Se dice que dos vértices
son vecinos si hay una lı́nea que empieza en uno de ellos y acaba en otro. Raúl
quiere elegir algunos vértices de manera que entre los vértices que eligió y sus
vecinos, estén elegidos todos los vértices. ¿Cuál es la mı́nima cantidad de vértices
que debe elegir Raúl para lograr esto?
•
• •
• • •
• •
• • •
• •
•
5) Una ficha sombrero es una como la que se muestra en la figura, donde cada cuadrito
es de 1 × 1. Se quiere cubrir una cuadrı́cula de 6 × 40 con fichas sombrero, de
tal manera que las fichas no se traslapen, no se salgan del tablero y los lados de
las fichas sean paralelos a los lados de la cuadrı́cula. ¿De cuántas formas distintas
puede llenarse el tablero, considerando que las fichas pueden rotarse?
6) Encontrar la suma de todos los números enteros n de tres dı́gitos distintos, para los
cuales la suma de todos los números de dos dı́gitos que se pueden formar con los
dı́gitos de n sea igual al doble de n. Por ejemplo, si n = 123, entonces los números
de dos dı́gitos distintos que se pueden formar con los dı́gitos de n son 12, 13, 21,
23, 31 y 32.
7) En la figura, ABC es un triángulo equilátero cuyos lados miden 28 cm. Los puntos
medios de AB y AC son E y D, respectivamente. ¿Cuál debe ser el valor de la
longitud del segmento BG, en cm, para que el área del triángulo AEF sea igual al
doble del área del cuadrilátero CDF G?
40 4a OMMEB, Concurso Nacional 2020 (Virtual)
E D
F
B G C
8) En un paı́s, se tienen ciudades que inician con cada letra del abecedario (el cual
cuenta con 26 letras). Hay una ciudad cuyo nombre empieza con la letra a, dos
ciudades cuyos nombres empiezan con la letra b, tres ciudades con la letra c, cuatro
ciudades con d y ası́ sucesivamente. Solo se puede pasar de una ciudad a otra si las
letras con las que empieza su nombre son vecinas en el abecedario; por ejemplo,
c es vecino de b y d, ası́ como a es vecino de b y z. ¿Se pueden recorrer todas las
ciudades sin repetir?
2) Las posibilidades de que el led azul esté prendido son 4. Cada uno del led rojo y el
azul tienen 5 posibilidades. Entonces, el resultado es 4 × 5 × 5 = 100.
4) En una hora, A poda la mitad del césped y B poda la cuarta parte, de manera que
entre las dos podan 43 partes del área total. Necesitan podar una cuarta parte más,
es decir, un tercio de lo que podan en una hora. Como 60 3 = 20, la cantidad total de
minutos es 60 + 20 = 80.
Nivel II 41
5) Como hay 9 monedas, entonces hay 92 = 9×8 2 = 36 maneras de quitar dos mo-
nedas. Ahora, falta contar la cantidad de maneras en que se pueden quitar dos mo-
nedas que comparten un lado, lo cual es equivalente a contar cuántas aristas tiene
una cuadrı́cula de 3 × 3 sin contar las del exterior. Es fácil ver que hay 12 de estas
aristas, por lo que en total hay 36 − 12 = 24 maneras de quitar dos monedas que no
se encuentren en casillas que comparten un lado.
6) Notamos primero que el cociente entre dos números es más grande cuando el nume-
rador es lo máximo posible y el denominador es lo mı́nimo posible. Si la suma de
cifras es cualquier número entero entre 1 y 9, lo máximo que puede ser el cociente
es 100 pues, por ejemplo, si la suma fuera 7, el mayor numerador que puede tener
suma de dı́gitos igual a 7 es 700 y entonces 700 7 = 100. Si la suma de los dı́gitos
es 10 o más, como el numerador a lo más es 999, entonces el cociente es menor o
igual a 999
10 = 99.9. Por lo tanto, la respuesta es 100.
7) El área de los 5 cuadrados es 36 × 5 = 180 cm2 , ası́ que buscamos que AE parta
la figura en dos regiones de área 90 cm2 cada una. Completemos la figura con un
cuadrado como se muestra en la figura.
P C E D
Como cada cuadrado mide 6 cm de lado, se tiene que AP = 18 cm y P E = 6+CE
cm. De esta manera, obtenemos que 18(6+CE)
2 = 90 + 36 = 126 cm, de donde
18(6 + CE) = 252 cm y entonces CE = 252 18 − 6 = 14 − 6 = 8 cm.
8) Contemos la cantidad de números en la lista que no tienen ningún dı́gito igual a 0 o
a 2. Hay 8 opciones en las que el número tiene un dı́gito; hay 8 × 8 = 64 en las que
el número tiene 2 dı́gitos; hay 8×8×8 = 512 con 3 dı́gitos y hay 1×8×8×8 = 512
con 4 dı́gitos. En total, hay 8 + 64 + 512 + 512 = 1096 números cuyos dı́gitos no
son ni 2 ni 0, por lo que la cantidad de números que tienen al menos un dı́gito igual
a 2 o igual a 0 es 2020 − 1096 = 924.
9) Notemos que los triángulos ABP y P CD son semejantes, por lo que AB BP =
PC 5 16−BP
CD , esto es, BP = 12 . Como BP < P C, necesariamente BP = 6 cm y
P
√ C = 16 − BP √= 10 cm. Por el teorema
√ de Pitágoras,
√ tenemos que AP =
AB 2 + BP 2 = 61 cm y P D = CD2 + P C 2 = 2 61 cm. Por lo tanto, el
área del triángulo AP D es igual a AP ×P
2
D
= 61 cm2 .
10) El número 20 solamente aparece antes del 200 en 20 y en 120 y ahı́ no apare-
ce 2022. Entonces, la secuencia 2022 aparece por primera vez en el lugar 203:
123 . . . 202203. Contemos los dı́gitos usados: Del 1 al 9 hay 9 dı́gitos; del 10 al 99
hay 2 × 90 = 180 dı́gitos, del 100 al 199 hay 3 × 100 = 300 dı́gitos y, finalmente,
del 200 al 203 hay 3 × 4 = 12 dı́gitos. El total es 9 + 180 + 300 + 12 = 501.
42 4a OMMEB, Concurso Nacional 2020 (Virtual)
11) Hay 20 3 = 20×19×18
3×2×1 = 1140 subconjuntos de 3 elementos de X. Para que un
subconjunto de 3 elementos no cumpla con la condición puesta, es porque o bien
los tres números deben son impares o bien
porque hay dos impares y uno par no
múltiplo de 4. En el primer caso hay 10
3 = 10×9×8
3×2×1 = 120 subconjuntos; en el
segundo hay 5 10 2 = 5×10×9
2 = 225 subconjuntos. Por lo tanto, la respuesta es
1140 − 120 − 225 = 795.
A 6 N 12 D
a P
d b
8
c
B C
9 M 9
Parte B
√
13) Por el√teorema de Pitágoras, tenemos que AB = a2 + b2 . Luego, [ABGF ] =
(a+b) a2 +b2
2 y, por lo tanto, [F GCD] = [ABCD] − [ABGF ] = a2 + b2 −
√
(a+b) a2 +b2
2 . Se sigue entonces que
√
a+b [ABGF ] (a + b) a2 + b2
= = √ .
3a − b [F GCD] 2 (a2 + b2 ) − (a + b) a2 + b2
14) Tomemos a ≡ 0 (mod 9). Entonces podemos formar la siguiente lista módulo 9:
x0 ≡ 0,
x1 ≡ 5(0) + 1 = 1,
x2 ≡ 5(1) + 1 = 6,
x3 ≡ 5(6) + 1 ≡ 4,
x4 ≡ 5(4) + 1 ≡ 3,
x5 ≡ 5(3) + 1 ≡ 7,
x6 ≡ 5(7) + 1 ≡ 0.
..
.
Por esta razón, si a ≡ 0, 1, 3, 4, 6, 7 (mod 9), entonces este ciclo se repite y lle-
gamos a algún xk ≡ 0 (mod 9), dejando fuera del ciclo las congruencias 2, 5 y
8.
Ası́, cualquier a con estas congruencias módulo 9 cumple las condiciones del pro-
blema. Nótese que esto equivale a que a ≡ 2 (mod 3). Por lo tanto, hay 673
números menores o iguales que 2020 que cumplen.
Con la siguiente elección nos podemos dar cuenta que sı́ pueden vivir 13 abejas en
el panal.
44 4a OMMEB, Concurso Nacional 2020 (Virtual)
T 3 B 12
A S
E h1
6 R
F h2
D 6 C 6 K
Ahora, observemos que los triángulos T RS y KRD son semejantes por ser T S y
DK paralelas y ∠DRK = ∠SRT . De aquı́, si h1 y h2 son las alturas desde R
hasta AB y CD, respectivamente, entonces hh21 = 12 15
= 45 , ası́ que 5h2 = 4h1 y,
como h1 + h2 = 6, se sigue que h2 = 83 cm, por lo que [DRK] = 38 × 12 2 = 16
cm2 . También, [DKS] = 12×6
2 = 36 cm 2
, lo cual implica que
[KRS] = [DKS] − [DRK] = 36 − 16 = 20 cm2 .
Nivel II 45
3) Los números primos de dos dı́gitos tienen como dı́gito de las unidades a un núme-
ro impar distinto de 5. Luego, c solamente puede ser alguno de 1, 3, 7 o 9. Hay 5
números primos de dos dı́gitos que terminan en 1: 11, 31, 41, 61, 71; hay 6 núme-
ros primos de dos dı́gitos que terminan en 3: 13, 23, 43, 53, 73, 83; hay 5 números
primos de dos dı́gitos que terminan en 7: 17, 37, 47, 67, 97 y, hay 5 números primos
de dos dı́gitos que terminan en 9: 19, 29, 59, 79, 89. Veamos las distintas posibilida-
des de c.
Caso c = 1. Hay cinco primos de la forma b1, pero como ab es también primo, b no
puede ser 4 o 6. Luego, bc es solamente uno de 11, 31, 71; de donde el número de
posibilidades para ab es 5 + 6 + 5 = 16.
Caso c = 3. De nuevo hay seis posibles primos de dos dı́gitos de la forma b3, pero
como ab debe ser primo, solamente debemos de considerar a 13 y 73. Las posibi-
lidades para a1 son cinco y para las de a7 son cinco. Entonces, aquı́ tenemos 10
números abc.
Caso c = 7. De los cinco posibles números b7, solamente nos fijaremos en 17, en 37
y en 97; en los otros ab no será primo. Hay 5 primos de la forma a1; hay 6 primos
de la forma a3 y hay 5 primos de la forma a7. Ası́, en este caso tenemos 16 números
abc.
Caso c = 9. De igual manera solamente son de interés el 19 y el 79. Para el primero
hay cinco primos de la forma a1 y hay cinco de la forma a7, por lo que en este
último caso hay 10 números abc.
Luego, en total hay 16 + 10 + 16 + 10 = 52 números de tres dı́gitos abc con ab y
bc números primos.
v6
•
v2 • • v12
v4 v7 v10
• • •
v1 • • v14
• • •
v5 v8 v11
v3 • • v13
•
v9
Notemos que Raúl debe elegir al menos 4 vértices de la figura ya que los vértices
en rojo no son vecinos y tampoco tienen vecinos en común. Luego, eligiendo v2 ,
v4 , v11 y v13 , Raúl logra su cometido. Entonces, debe elegir 4 vértices.
5) Notemos que para que las esquinas puedan llenarse, las primeras tres fichas deben
colocarse como se muestra.
46 4a OMMEB, Concurso Nacional 2020 (Virtual)
Después de eso hay dos opciones: colocar una ficha para completar un rectángulo o
colocar dos fichas extra como se ve en la siguiente figura
en cuyo caso volveremos a una situación como la que se tenı́a. Esto muestra que
cada múltiplo de 4 tenemos dos opciones para continuar el llenado del tablero, y
esto será ası́ hasta que lleguemos al final del tablero. De esta manera, en total habrá
40 9
4 − 1 = 9 momentos en los que se puede elegir, por lo que en total hay 2 = 512
formas de llenar el tablero.
6) Podemos escribir el número n como n = 100a + 10b + c con 0 ≤ a, b, c ≤ 9 y
a 6= 0. Cada número formado con dos dı́gitos de n se puede escribir como 10x + y
con x ∈ {a, b, c}, y ∈ {a, b, c} y x 6= y. Entonces, la condición del problema es
equivalente a
2n = 2(100a + 10b + c)
= (10a + b) + (10a + c) + (10b + a) + (10b + c) + (10c + a) + (10c + b).
Ası́, tenemos que 200a + 20b + 2c = 22a + 22b + 22c, lo cual implica que 178a =
2b + 20c o bien 89a = b + 10c.
Como 89 < 99, necesariamente a ≤ 1, lo cual implica que a = 1 y, por lo tanto,
b = 9 y c = 8. Luego, n = 198 es el único número que satisface las condiciones.
7) Denotamos el área de XY Z por [XY Z]. Como D y E son puntos medios de AC
y AB, respectivamente, tenemos que [ADE] = 41 [ABC] y DE FE
= GB
CB . Luego
FE 1 GB GB
[AF E] = DE × 4 [ABC] = 4CB [ABC] = 112 [ABC].
Por otra parte, sabemos que [BEF G] = 3[AF E] = 3GB
112 [ABC] y [BEDC] =
3
4 [ABC], por lo que [GF DC] = [BEDC] − [BEF G] = 84−3GB
112 [ABC]. Co-
GB 2(84−3GB)
mo [AF E] = 2[GF DC], se sigue que 112 [ABC] = 112 [ABC], es decir,
GB = 168 − 6GB. Por lo tanto, GB = 24 cm.
Nivel II 47
b
A
α β
D b
b
θ Q
β
I b
β
β
β
b β b
B P
b
θ
θ
E b
Problema 3. Sea n ≥ 3 un número entero. Dos jugadores, Ana y Beto, juegan a lo si-
guiente. Ana etiqueta los vértices de un n-ágono regular con los números del 1 al n, en
el orden que ella quiera. Cada vértice debe quedar etiquetado con un número distinto.
Luego, se coloca un guajolote en cada uno de los vértices.
Estos guajolotes están entrenados para lo siguiente. Si Beto silba, cada guajolote se
52 Concurso Nacional 2020, 34a OMM (Virtual)
mueve al vértice adyacente que tenga la etiqueta con el número mayor. Si Beto aplau-
de, cada guajolote se mueve al vértice adyacente que tenga la etiqueta con el número
menor.
Beto gana si después de dar algún número de silbidos y aplausos, en el orden que él
quiera, logra que todos los guajolotes queden en el mismo vértice. Ana gana si puede
etiquetar los vértices de modo que Beto no pueda hacer lo anterior. Para cada n > 3,
determina qué jugador tiene una estrategia que garantice su victoria.
(Problema sugerido por Isaı́as Fernando de la Fuente Jiménez y Vı́ctor Hugo Antonio de la
Fuente).
tonces hay dos fichas que llamaremos k y R que no se juntan (esto es porque si dos
fichas se juntan, se moverán juntas de allı́ en adelante y permanecerán juntas). Sea d la
distancia entre k y R, donde la distancia entre dos vértices es el número de lados entre
ellos contanto en dirección en contra de las manecillas del reloj. Digamos que Beto
siempre dice la instrucción (mayor o menor) necesaria para que k se mueva siempre
en contra de las manecillas del reloj. En un movimiento, si R fue en contra de las ma-
necillas del reloj, d permanece constante, si no, entonces d disminuye en 2 (al menos
que d = 1, que harı́a que d subiera a n − 1) pues k avanza 1 y R retrocede 1. Sea
Sk la secuencia de instrucciones para mover a k una vuelta completa en contra de las
manecillas del reloj y SR la secuencia análoga para R. Después de dar una vuelta con
las instrucciones de Sk , la distancia d cambia a d − 2c mód n donde c es la cantidad
de instrucciones en posiciones correspondientes de Sk y SR que fueron distintas. Si
Sk y SR no son idénticas, entonces la distancia disminuye (módulo n) de 2 en 2. Por
lo tanto eventualmente llega a 0 (cuando “disminuye” de 1 a n − 1, la distancia se
vuelve par, entonces puede bajar de 2 en 2 hasta 0). Como asumimos que k y R no
se juntan, entonces las instrucciones de Sk deben ser idénticas a las instrucciones de
SR . Llamando d a la distancia inicial, vemos que si Sk = SR , entonces después de
d movimientos, k está donde estaba R. Entonces las siguientes d instrucciones deben
ser las mismas, ya que son los pasos que dio R. Pero después de las siguientes d ins-
trucciones llega a donde llegó R después de las primeras d, entonces las siguientes
d instrucciones son las mismas, y ası́ sucesivamente. Por lo tanto, las n instrucciones
son periódicas módulo d. Pero como n es primo y 1 ≤ d ≤ n − 1, entonces existe
m tal que md ≡ 1 (mod n), lo cual implica que las instrucciones tienen periodo 1,
que implica que todas las instrucciones deben ser iguales. Sin pérdida de generalidad
digamos que todas las instrucciones son “mayor”. Entonces para todos los números,
tenemos que el vértice adyacente en contra de las manecillas del reloj es mayor. Nu-
meremos los vértices en contra de las manecillas del reloj v1 , v2 , . . . , vn . Entonces,
v1 < v3 < v5 < · · · < vn < v2 < v4 < v6 < · · · < vn−1 < v1 , lo cual es imposible.
Luego, las instrucciones Sk y SR no pueden ser idénticas. Por lo tanto, Beto puede
ganar.
De esta forma, quedan las tres cosas en una orilla (en la caja de la orilla originalmente
solo era de papel). Todas las configuraciones se pueden organizar de forma que queden
los tres objetos en una caja de la “orilla”. Prueba: s r p ya se probó, es sencillo
ver que p r s es lo mismo pero volteado (todas terminarán igual en la caja de papel
pero ahora en la izquierda). Para s p r primero movemos la roca con el papel, luego
el papel con las tijeras, luego la roca va con el papel como en el diagrama:
s p r ⇒ s pr ⇒ sp r ⇒ spr .
Esto sigue finitamente hasta que llegamos al momento en que todos los objetos
quedan en una caja (la otra caja adyacente a las dos vacı́as que se formaron con
los movimientos del inicio).
Problema 5. Una cuarteta de enteros positivos distintos {a, b, c, d}, se dice que es
pandémica si hay 2 de ellos tales que su producto es múltiplo del máximo común
divisor de los otros 2. Por ejemplo, la cuarteta {4, 6, 2, 8} es pandémica pues el máximo
común divisor de 2 y 6 es 2, y este divide a 4 × 8 = 32.
Encuentra el máximo valor de n, para el cuál toda cuarteta de enteros positivos distintos
menores o iguales que n es pandémica.
(Problema sugerido por Isaı́as Fernando de la Fuente Jiménez y Vı́ctor Hugo Antonio de la
Fuente).
(a, b) = x1 ⇒ x1 ∤ cd,
(a, c) = x2 ⇒ x2 ∤ bd,
(a, d) = x3 ⇒ x3 ∤ bc,
(b, c) = x4 ⇒ x4 ∤ ad,
(b, d) = x5 ⇒ x5 ∤ ac,
(c, d) = x6 ⇒ x6 ∤ ab.
Ninguno de los xi puede ser igual a 1 ya que 1 divide a cualquier número y eso contra-
dice que xi no divida a los otros dos.
Supongamos que existe un primo p que divide a a, b y c. Notemos que {a/p, b/p, c/p, d}
sigue siendo pandémica. Tenemos (a/p, b/p) = (a, b)/p = x1 /p. Si x1 /p | cd/p en-
tonces x1 | cd contradiciendo que {a, b, c, d} es pandémica. Similarmente, si x2 /p |
bd/p o x4 /p | ad/p, también llegamos a una contradicción. Ahora (a/p, d) = x3 si
p ∤ d y (a/p, d) = x3 /p si p | d. En el caso que p | d, entonces (a/p, d) = x3 /p
y si x3 /p | bc/p2 entonces x3 | bc, contradiciendo que {a, b, c, d} es pandémica. En
el caso que p ∤ d, (a/p, d) = x3 . Si x3 | bc/p2 , entonces x3 | bc, contradiciendo
que {a, b, c, d} es pandémica. Para x5 , x6 es análogo al caso x3 . Entonces, si un primo
divide a a, b, c lo podemos dividir de los 3 y obtener una cuarteta más pequeña que
también es pandémica. Por lo tanto, podemos seguir dividiendo hasta que llegamos a
una cuarteta pandémica {a, b, c, d} donde cualquier terna tiene máximo común divisor
igual a 1. En particular, si p | a y p | b, entonces p ∤ c y p ∤ d.
Para minimizar, asumimos que para cada pareja solo hay un primo que la divide y
56 Concurso Nacional 2020, 34a OMM (Virtual)
a = p1 p2 p3 , b = p1 p4 p5 , c = p2 p4 p6 , d = p3 p5 p6 .
Como queremos minimizar, podemos asumir que los seis primos son 2, 3, 5, 7, 11, 13
en algún orden. Para encontrar el mı́nimo queremos considerar las permutaciones de
{2, 3, 5, 7, 11, 13} tales que el número mayor es lo más pequeño posible. Conjeturamos
que ese número es 231. Entonces, el número buscado serı́a 230.
Intentaremos hacer un acomodo con el número mayor que es menor a 231. Notemos
que si en algún momento tenemos que elegir entre un número mayor a 231 y uno
menor, no tiene sentido escoger el mayor, ya que nos darı́a una cuarteta con número
grande mayor a 231. Sabemos que cada primo debe salir dos veces, luego notemos que
multiplicar 11 · 13 por cualquier número es mayor a 231, entonces eso ya se pasa. Por
lo tanto, el 11 no va con el 13. Como cada primo va con otros cuatro y el 11 no va con
el 13, el 13 debe aparecer con cada uno de los primos 2, 3, 5, 7. Haremos una matriz
de congruencias; si un primo está en ese número se le pondrá una marca como en el
siguiente ejemplo:
2 3 5 7 11 13
a X X X
b X X X
c X X X
d X X X
Notemos que 21·13 > 231, entonces el número divisible entre 7 y 13, debe ser divisible
por 2. El otro 13 tendrı́a que estar conectado con 3 y 5 o con 2 y 5. Si lo conectamos con
2 y 5, entonces ya usamos dos 2’s y dos 13’s entonces a, b son divisibles por 2 · 13. Por
lo tanto, podemos asumir que 13 va con 3 y 5 (b = 3 · 5 · 13 y a = 2 · 7 · 13). Los otros
dos números son divisibles por 11 y al menos uno de ellos es divisible por 7, entonces
como 11·7·5 > 231 y 11·7·3 = 231 si queremos encontrar una cuarteta no-pandémica
más chica necesitamos c = 11 · 7 · 2. Pero eso nos forzarı́a a que d = 3 · 5 · 11, pero
entonces (b, c) = 15. Por lo tanto, si tenemos una cuarteta no-pandémica {a, b, c, d},
entonces máx{a, b, c, d} ≥ 231. La cuarteta {182, 195, 231, 110} no es pandémica,
entonces la mı́nima es con máximo igual a 231. Por lo tanto, la respuesta es 230.
Solución de Ana Illanes Martı́nez de la Vega. Como todos los cuadrados son positi-
vos, tenemos que x21 > 0, x22 > 0, . . . , x2n > 0 (no son 0 porque los xi s son distintos
Concurso Nacional 2020, 34a OMM (Virtual) 57
1 s
x2i + x2i+1 x2i
≥ ,
2 x2i+1
entonces s
1 x2i
x2i + ≥2 .
x2i+1 x2i+1
Si hacemos esto para los n términos, nos va a quedar que
Å ãÅ ã Å ã
2 1 2 1 2 1 n x21 x22 · · · x2n
P = x1 + 2 x2 + 2 · · · xn + 2 ≥ 2 = 2n .
x2 x3 x1 x22 x23 · · · x2n x21
Por lo tanto, P ≥ 2n .
1
Ahora, vamos a reescribir a x2i + x2i+1
como
y
1
x22 = x24 = · · · = x2n = .
k
√ √ √
Si xi = − k, entonces xi+1 = √1 darı́a xi + 1
= − k + k = 0 y P = 0, que
k xi+1
√
no se puede. Analogamente si xi = − √1k , xi+1 6= k. Por lo tanto, si uno es negativo
todos√ √ y si uno es positivo todos son positivos. Sea r un real distinto de 0
son negativos
(r = k o r = − k). Entonces
x1 = x3 = · · · xn−1 = r
y
1
x2 = x4 = · · · = xn = .
r
Con estos valores nos queda
Å ãÅ ã Å ã Å ã Å ã
1 1 1 2 2
x1 + x2 + · · · xn + = (2r) (2r) · · · = 2n
x2 x3 x1 r r
y
Å ãÅ ã Å ã Å ãn/2
1 1 1 2
x21 + 2 x22 + 2 · · · x2n + 2 = (2r2 ) 2 = 2n .
x2 x3 x1 r
Por lo tanto, concluimos que si n es impar entonces
(x1 , x2 , . . . , xn ) = (1, 1, . . . , 1)
Concurso Nacional 2020, 34a OMM (Virtual) 59
y, si n es par, entonces
1 1 1
(x1 , x2 , . . . , xn ) = (r, , r, , . . . , r, )
r r r
para algún número real r 6= 0.
Apéndice