Geometrı́a Combinatoria y el

Teorema del Ham Sandwich

Por Cuauhtémoc Gómez Navarro

Nivel Avanzado

La geometrı́a combinatoria es un área de las matemáticas que ha tomado mucha fuer-

za en los últimos años, tanto en la investigación matemática, como en problemas de
olimpiadas.
Muchos problemas de esta área matemática se caracterizan por tener soluciones que
solo usan ideas sencillas, sin embargo, esto no significa que el problema sea fácil de
resolver. Un ejemplo de esto es el problema 2 de la Olimpiada Internacional de Ma-
temáticas (IMO) del año 2011, que tiene una solución sencilla y, sin embargo, a la
mayoria de los participantes de esa competencia no se les ocurrió esa idea sencilla.
Este artı́culo tiene como propósito mostrar algunas de las ideas que han servido para
resolver problemas de olimpiadas de matemáticas del área de la geometrı́a combinato-
ria, además veremos que esas ideas nos llevan a resultados más fuertes de investigación
en geometrı́a combinatoria (también llamada geometrı́a discreta).
Se ha tratado de dar las referencias de todos los problemas y resultados que aparecen
en este artı́culo. Pido una disculpa por cualquier error en las referencias. Por último, se
recomienda al lector intentar los problemas antes de leer la solución.

Problemas de Olimpiadas de Matemáticas

Imaginemos que estamos manejando un automóvil sobre una avenida A y que a nuestro
lado izquierdo, se encuentra otra avenida B. Supongamos que después de 30 minutos
de manejar sobre la avenida A (en la misma dirección), nos damos cuenta que ahora la
avenida B se encuentra a nuestro lado derecho. Si pensamos a las avenidas como lı́neas
rectas en el plano, nuestra intuición nos deberı́a decir que en un momento intermedio
2 Geometrı́a Combinatoria y el Teorema del Ham Sandwich

Figura 1: En este ejemplo (del Problema 1), inicialmente el lado derecho de la recta
l tiene más de la mitad de puntos. Entonces, antes de dar la media vuelta,
llegaremos a la recta l1 , que deja la mitad de los puntos en cada uno de
los lados que determina.

las dos avenidas se cruzaron, es decir, en un momento estuvimos simultáneamente

sobre las dos avenidas.

En esta sección veremos las soluciones de algunos problemas de olimpiadas de ma-

temáticas. La idea intuitiva para resolverlos será la misma intuición que usamos en el
ejemplo de las avenidas.

Problema 1. Sea S un conjunto finito de al menos dos puntos en el plano y con una
cantidad impar de puntos. Supongamos que no hay 3 puntos en S que sean colineales.
Demuestra que para cualquier punto p de S, hay una recta que pasa por p y que deja la
mitad de los puntos de S en cada uno de los lados (semiplanos) definidos por esa recta.

Solución. Sea p cualquier punto de S. Nos tomamos cualquier recta l que pase por p,
pero no pase por ningún otro punto de S.
Si l es una recta que deja la mitad de los puntos de S en cada uno de los lados que define
la recta, es la recta que estamos buscando, si no podemos asignarle una dirección a la
recta y considerar su lado derecho y su lado izquierdo. Sin pérdida de generalidad,
supongamos que el lado derecho tiene más de la mitad de puntos de S. Si empezamos
a rotar la recta con centro en p al dar un giro de 180◦ habremos invertido los lados,
ası́ que ahora el lado derecho va tener menos puntos de S que la mitad. Como no hay
3 puntos de S sobre la recta l (o alguna de sus rotaciones), al hacer la rotación los
puntos de S van cambiando de lado uno por uno, ası́ que antes de dar el giro de 180◦,
encontraremos una recta l1 que pase por p y deje la mitad de los puntos de S en cada
uno de los lados que determina la recta (ver Figura 1).
C. Gómez Navarro, Tzaloa No. 2, 2022 3

El siguiente problema es un resultado de un tema de investigación que se ha trabaja-

do en geometrı́a combinatoria (el lector interesado en la historia del problema puede
consultar [5]).

Problema 2. Sea n un entero mayor que 1. Sea A un conjunto de 2n puntos sobre

una circunferencia (en el plano). Supongamos que n de los puntos están coloreados de
azul y los otros n puntos están coloreados de rojo. Una trayectoria de longitud k es una
sucesión p1 , p2 , . . . , pk de puntos distintos en el conjunto A. Decimos que la trayectoria
(con vértices en el conjunto A) es una trayectoria alternante simple si alterna puntos
azules con puntos rojos y, para toda i 6= j con 0 < i, j < k, los segmentos pi pi+1 y
pj pj+1 no se cruzan. Demuestra que hay una trayectoria alternante simple (con vértices
en el conjunto A) de longitud al menos n.

Solución. Primero veamos que hay una recta l que deja la mitad de los puntos de A de
un lado y la otra mitad en el otro lado. Para eso, tomemos cualquier recta l0 que cumpla
que ni l0 ni ninguna de las rectas paralelas a l0 pasa por dos puntos de A. Entonces,
empecemos a trasladar la recta l0 hasta llegar a una recta l que deje la mitad de los
puntos de A de un lado y la otra mitad en el otro lado. Asignemos una dirección a la
recta l y consideremos el lado derecho. Por el principio de las casillas, el lado derecho
tiene al menos ⌈ n2 ⌉ puntos de alguno de los dos colores, sin pérdida de generalidad el
lado derecho tiene al menos p ≥ ⌈ n2 ⌉ puntos azules, los cuales numeramos de arriba
hacia abajo como a1 , . . . , ap . Entonces, el lado izquierdo debe tener al menos q ≥
⌈ n2 ⌉ puntos rojos, los cuales numeramos de arriba hacia abajo como r1 , . . . , rq . Sin
pérdida de generalidad, p ≥ q. Entonces, la trayectoria r1 , a1 , r2 , a2 , . . . , rq , aq es una
trayectoria alternante simple de longitud 2q ≥ n (ver Figura 2).

A continuación veremos el problema 2 de la Olimpiada Internacional de Matemáticas

(IMO) del 2011, que fue propuesto por Geoff Smith.

Problema 3. Sea S un conjunto finito de al menos dos puntos en el plano. Supon-

gamos que no hay 3 puntos en S que sean colineales. Un remolino es un proceso que
empieza con una recta l que pasa por exactamente un punto p de S. La recta se em-
pieza a rotar con centro en p en sentido de las manecillas del reloj, hasta que la recta
se encuentre por primera vez con otro punto q de S. En ese momento, se cambia el
centro de rotación al punto q y se continúa rotando la recta en sentido a las manecillas
del reloj, hasta que la recta se encuentre con otro punto de S. Este proceso continúa
indefinidamente. Demuestra que se puede elegir un punto p en S y una recta l que pase
por p, de tal manera que el remolino que resulta usa cada punto de S como centro de
rotación una infinidad de veces.

Solución. Primero tomemos cualquier recta l que cumpla que ni l ni ninguna de las
rectas paralelas a l pasa por dos puntos de S. Entonces, empecemos a trasladar la recta
l hasta llegar a una recta l1 que pase por un punto p de S y que cumpla que la diferencia
(positiva) de la cantidad de puntos de S entre los dos lados que define, es a lo más 1
(notemos que si S tiene una cantidad impar de puntos, entonces l1 es una recta que deja
4 Geometrı́a Combinatoria y el Teorema del Ham Sandwich

Figura 2: Ejemplo del Problema 2 con n = 4 y una trayectoria alternante simple de

longitud n = 4. Notemos que en este ejemplo, la trayectoria alternante
simple que nos da la solución del Problema 2, se puede extender a una
trayectoria alternante simple de longitud 2n = 8.

la mitad de los puntos de S en cada uno de los lados que define la recta). Proponemos
que si empezamos el remolino con ese punto p y esa recta l1 , obtendremos lo que
queremos.
Digamos que una recta es justa, si cumple que la diferencia (positiva) de la cantidad de
puntos de S entre los dos lados que define, es a lo más 1.
Si empezamos a rotar la recta l1 con centro en p, es claro que la recta seguirá siendo
justa hasta que llegue a otro punto de S. Cuando lleguemos a otro punto q de S y
cambiemos el centro de rotación a q, uno de los lados perderá al punto q, sin embargo,
inmediatamente ganará al punto p, por lo que la recta se mantendrá siendo justa.
Como la recta se mantiene justa durante todo el remolino, entonces, cuando demos un
giro de 180◦ , llegaremos a otra recta l2 , paralela a l1 , que cumple que en la franja entre
las rectas l1 y l2 no hay ningún punto (ver Figura 3).
Esto significa que en el remolino, cuando pasamos de la recta l1 a la recta l2 , pasamos
por todos los puntos de S. Entonces, si seguimos rotando la recta, cada vez que demos
un giro de 180◦, pasaremos por todos los puntos de S. Por lo tanto, si empezamos el
remolino con una recta justa, obtenemos el resultado.

Ahora veremos un problema que se resuelve con ideas similares a las que hemos estado
viendo y que además usa la definición de envolvente convexa.
Decimos que un conjunto C (en el plano) es convexo, si para cada par de puntos x, y en
C, se cumple que el segmento que tiene como extremos a x y a y, se queda contenido
C. Gómez Navarro, Tzaloa No. 2, 2022 5

Figura 3: En este ejemplo (del Problema 3) el conjunto tiene una cantidad par de
puntos, por lo que las rectas l1 y l2 son distinas, pero no hay puntos en la
región que está entre esas dos rectas.

en C. Un conjunto convexo C lo podemos visualizar como un conjunto que no tiene

hoyos. Por ejemplo, un cı́rculo, un triángulo y un rectángulo, son ejemplos de conjuntos
convexos.
Sea S un conjunto de puntos (en el plano). Diremos que C es la envolvente convexa de
S, si es el conjunto convexo más pequeño que contiene en su interior o en su frontera,
a todos los puntos de S, en el sentido de que cualquier otro conjunto convexo que
contenga a S, contiene a C. Además, cuando un punto de S esté en el interior o sobre
la frontera de la envolvente convexa C, diremos que ese punto está sobre la envolvente
convexa.
La definición de envolvente convexa puede llegar a ser muy útil a la hora de resolver
problemas de geometrı́a combinatoria, ya que en muchas ocasiones, los puntos sobre
las envolventes convexas tienen propiedades interesantes.
El siguiente problema se resuelve usando ideas similares a las que hemos estado vien-
do, además, es un ejemplo de la importancia que puede llegar a tener la envolvente
convexa. Fue el problema 5 de la Olimpiada de Matemáticas de los Estados Unidos
(USAMO) del 2005.

Problema 4. Sea n un entero mayor que 1. Consideremos un conjunto de 2n puntos

en el plano donde no hay 3 colineales. Supongamos que n de los puntos están colo-
reados de azul y los otros n puntos están coloreados de rojo. Una recta en el plano se
llama balanceada si pasa por exactamente un punto azul y un punto rojo, y para cada
lado definido por la recta, el número de puntos azules en ese lado es igual al número
de puntos rojos en ese lado. Demuestra que existen al menos dos rectas balanceadas.

Solución. Observemos que la envolvente convexa del conjunto de los 2n puntos, con-
tiene al menos 3 puntos sobre ella. Por el principio de las casillas, hay al menos 2 de
esos puntos que son del mismo color, sin pérdida de generalidad, supongamos que son
6 Geometrı́a Combinatoria y el Teorema del Ham Sandwich

Figura 4: En este ejemplo (del Problema 4) tenemos 4 puntos azules y 4 puntos

rojos. Notemos que la recta l3 cumple que su lado derecho tiene la misma
cantidad de puntos azules que rojos, sin embargo, el punto p3 es azul,
por lo cual l3 no es balanceada. La recta l5 también cumple que su lado
derecho tiene la misma cantidad de puntos azules que rojos, y como el
punto p5 sı́ es rojo, tenemos que l5 sı́ es balanceada.

de color azul. La idea será buscar una recta balanceada por cada punto azul sobre la
envolvente convexa.
Consideremos uno de los puntos azules p sobre la envolvente convexa. Sean p1 y p2n−1
los dos puntos que están sobre la envolvente convexa y que son adyacentes a p. Si
alguno de p1 o p2n−1 es de color rojo, al unirlo con el punto azul p, obtendremos una
recta balanceada. Entonces, supongamos que tanto p1 como p2n−1 son azules.
Sea l1 la recta que pasa por p y p1 . Empecemos a rotar la recta l1 con centro en p en
sentido contrario a las manecillas del reloj. Numeremos a los 2n − 1 puntos que son
distintos de p, de acuerdo al orden en que la recta fue pasando por esos puntos, cuando
hicimos la rotación con centro en p; al i-ésimo punto lo llamamos pi . Notemos que esta
numeración es compatible con las etiquetas que ya le habı́amos puesto a los puntos p1
y p2n−1 . Dado el orden anterior, llamemos li a la recta que pasa por los puntos p y pi
(ver Figura 4).
A todas las rectas li les asignamos una dirección: apuntando hacia el lado contrario de
p visto desde pi . Entonces, la recta l2 cumple que su lado derecho tiene más puntos
azules que rojos; y la recta l2n−1 cumple que su lado derecho tiene menos puntos
azules que rojos. Como no hay tres de los puntos que sean colineales, cuando hacemos
la rotación con centro en p, estamos cambiando a los puntos de lado uno por uno. Por
lo tanto, hay una recta li (con 2 ≤ i ≤ 2n − 2) que cumple que su lado derecho tiene
la misma cantidad de puntos azules que rojos. Además, si el punto pi es rojo, entonces,
el lado izquierdo de li también tiene el mismo número de puntos azules y rojos, por lo
cual li serı́a balanceada.
En otro caso, el punto pi es azul. Entonces, la recta li+1 cumple que su lado derecho
tiene más puntos azules que rojos, y como ya sabemos que la recta l2n−1 cumple que
C. Gómez Navarro, Tzaloa No. 2, 2022 7

su lado derecho tiene menos puntos azules que rojos, tenemos que existe una recta lj
(con i + 1 ≤ j ≤ 2n − 2) que cumple que su lado derecho tiene la misma cantidad de
puntos azules que rojos. Notemos que si desde el principio nos hubieramos tomado i
como el máximo de los números que cumplen que el lado derecho de li tiene la misma
cantidad de puntos azules que rojos, entonces lj nos hubiera dado una contradicción.
El párrafo anterior nos dice que si nos tomamos i como el máximo de los números que
cumplen que el lado derecho de li tiene la misma cantidad de puntos azules que rojos,
entonces li será una recta balanceada.
Por lo tanto, para cada punto azul sobre la envolvente convexa hay una recta balanceada
que pasa por el punto azul. Como estamos suponiendo (sin pérdida de generalidad) que
hay al menos dos puntos azules, tenemos al menos dos rectas balanceadas.

Como seguramente recordarán, en las rotaciones de las soluciones de los Problemas 1

y 3, no usamos que los centros de rotación estuvieran sobre la envolvente convexa del
conjunto de puntos. Esto nos podrı́a llevar a pensar que en la solución del Problema
4 podemos usar cualquier punto como centro de rotación, por lo cual tendrı́amos al
menos n rectas balanceadas (una recta por cada punto azul o una recta por cada punto
rojo). Sin embargo, no hay ninguna recta balanceada que pase por el punto p6 de la
Figura 4, por lo que la solución anterior puede fallar si nos tomamos como centro de
rotación cualquier punto en el interior de la envolvente convexa. Afortunadamente, sı́
es cierto que hay al menos n rectas balanceadas, y eso es un resultado de J. Pach y
R. Pinchasi. Como la demostración de ese resultado es muy larga y queda fuera del
propósito de este artı́culo, los lectores interesados pueden consultar [7].

El teorema del Ham Sandwich

Los Problemas 1 y 3 de la sección anterior nos motiva a preguntarnos si, dados dos
conjuntos finitos de puntos S1 y S2 (ajenos) en el plano, existe una recta l que cumpla
que cada uno de los semiplanos (lados) definidos por l contiene a la mitad de los puntos
de S1 y a la mitad de los puntos de S2 .

Dado un conjunto S de puntos en el plano, decimos que una recta l biseca el conjunto
S, si l pasa por a lo más 1 punto de S, y los dos semiplanos (lados) definidos por l
continen la misma cantidad de puntos de S.

El siguiente teorema es la versión discreta en el plano de un teorema conocido como el

teorema del Ham Sandwich.

Teorema 1. Consideremos m puntos azules y n puntos rojos en el plano, de tal manera

que no hay 3 puntos (azules o rojos) que sean colineales. Entonces, existe una recta
que biseca simultáneamente los dos conjuntos de colores.
Demostración. Para demostrar este teorema, primero supongamos que alguno de m o
n es impar, sin pérdida de generalidad, m es impar.
Por el Problema 1, podemos encontrar una recta l1 que pasa por un punto p azul y que
biseca los puntos azules. Empecemos a rotar la recta l1 en sentido de las manecillas del
8 Geometrı́a Combinatoria y el Teorema del Ham Sandwich

Figura 5: En este ejemplo (del Teorema 1), la recta l1 pasa por el punto p azul y
biseca el conjunto de puntos azules, sin embargo, no biseca el conjunto de
puntos rojos. Cuando hacemos las rotaciones (del Problema 3), antes de
dar la media vuelta, llegaremos a la recta l2 , que biseca ambos conjuntos
de colores.

reloj con centro en p, hasta intersectar a otro punto azul q, en ese momento cambiemos
el centro de rotación a q y sigamos rotando la recta. Continuemos rotando la recta de
esa manera, cambiando el centro de rotación cada vez que toquemos otro punto azul.
De acuerdo al Problema 3, obtenemos rectas que siempre van a bisecar el conjunto de
puntos azules, y como m es impar, al dar un giro de 180◦ tenemos que regresar a la
misma recta l1 pero en sentido contrario. Por el mismo argumento de la solución del
Problema 1, al hacer estas rotaciones, antes de dar un giro de 180◦ tendremos una recta
l2 que también biseque los puntos rojos, por lo tanto, esa recta biseca ambos conjuntos
(ver Figura 5).
Si ambos números m, n son pares, podemos considerar un punto r (que no sea azul ni
rojo), agregar el punto r al conjunto de puntos azules y aplicar las rotaciones anteriores
a ese nuevo conjunto. Por el mismo argumento, llegaremos a una recta que biseque
el conjunto de puntos rojos, además, si la recta pasa por el punto r también bisecará
el conjunto de puntos azules. Si la recta no pasa por r significa que pasa por algún
punto azul y alguno de los lados tendrá un punto azul más que el otro, pero como
hay una cantidad finita de puntos, podemos trasladar un poco la recta para pasar ese
punto azul al lado correspondiente, sin afectar los puntos rojos, ası́ tendremos la recta
buscada.

Ahora vamos a ver una aplicación sencilla de la versión discreta del teorema del Ham
C. Gómez Navarro, Tzaloa No. 2, 2022 9

Sandwich (Teorema 1). El siguiente teorema es un resultado de J. Akiyama y N. Alon

[1]. Aunque la demostración que veremos usa la versión discreta del teorema del Ham
Sandwich, el siguiente teorema también se puede demostrar sin usar el teorema del
Ham Sandwich, lo que lo hace un buen ejercicio de práctica para estudiantes que par-
ticipan en Olimpiadas de Matemáticas.
Teorema 2. Sea n un entero mayor que 1. Consideremos un conjunto de 2n puntos en
el plano donde no hay 3 colineales. Supongamos que n de los puntos están coloreados
de azul y los otros n puntos están coloreados de rojo. Decimos que un segmento es
arcoı́ris si uno de sus extremos es un punto azul y su otro extremo es un punto rojo.
Demuestra que es posible trazar n segmentos arcoı́ris que no se intersecten entre sı́.
Demostración. Demostraremos por Inducción sobre n. Como no hay 3 puntos coli-
neales, entonces podemos aplicar la versión discreta del teorema del Ham Sandwich
(Teorema 1), por lo que hay una recta l que biseca simultáneamente el conjunto de
puntos rojos y el conjunto de puntos azules. Entonces, en cada uno de los semiplanos
(lados) definidos por l aplicamos la hipótesis de inducción, es decir, en cada semiplano
(lado) trazamos segmentos arcoı́ris que no se intersecten entre sı́ (ver Figura 6).

Figura 6: Ejemplo del Teorema 2 con n = 5. La recta l biseca simultáneamente el

conjunto de puntos azules y el conjunto de puntos rojos, por lo que pode-
mos aplicar la hipótesis de inducción en cada uno de los lados definidos
por l, con lo que obtenemos los segmentos arcoı́ris que queremos.

Como l separa a esos dos semiplanos (lados), entonces obtenemos segmentos arcoı́ris
que no se intersectan entre sı́. Si n es par hemos acabado. Si n es impar, entonces en
l hay un punto rojo y un punto azul, si trazamos el segmento entre esos dos puntos,
ese segmento arcoı́ris no intersecta a los demás segmentos arcoı́ris que ya habı́amos
trazado, lo que concluye la prueba.
10 Geometrı́a Combinatoria y el Teorema del Ham Sandwich

Veamos otra aplicación del Teorema 1. El siguiente resultado es conocido como el

teorema del collar.
Teorema 3. Dos ladrones han robado un collar (abierto) con 2 tipos de perlas diferen-
tes: perlas azules y perlas rojas. Ellos quieren partir el collar en varias partes, para
después repartir esas partes de tal manera que a los dos les toque la misma cantidad
de perlas de cada uno de los 2 tipos de perlas. Demuestra que el collar puede ser
repartido entre los dos ladrones usando a lo más 2 cortes.
Demostración. Vamos a colocar el collar en el plano de tal manera que cada perla es
representado por un punto (el punto es del mismo color de la perla) y no hay 3 puntos
en el collar que sean colineales. Entonces, por la versión discreta del teorema del Ham
Sandwich (Teorema 1), existe una recta l que biseca simultáneamente los puntos azules
y los puntos rojos (ver Figura 7).

Figura 7: Ejemplo de un collar dividido en tres partes (con 2 cortes), donde las
partes 1 y 3 le tocan a un ladrón y la parte 2 le toca al otro ladrón.

Si los ladrones hacen un corte por cada vez que esa recta interseca al collar, habrán
hecho a lo más 2 cortes, ya que no hay 3 puntos en el collar que estén sobre la recta l.
Por lo tanto, se puede repartir el collar con 2 cortes: todas las perlas que quedaron en
uno de los lados definidos por l son para uno de los ladrones y todas las perlas que se
quedaron en el otro lado definido por l son para el otro ladrón.

Ya hemos trabajado con rectas que bisecan conjuntos finitos de puntos. Una pregunta
muy natural es si también existen rectas que bisecan el área de polı́gonos en el plano.
Antes de responder esta pregunta, precisemos a qué nos referimos cuando decimos
polı́gonos en el plano.
Un polı́gono en el plano, es la envolvente convexa de un conjunto finito de puntos
en el plano, que cumplen que no hay 3 de esos puntos que sean colineales. Además,
diremos que una recta biseca el área de un polı́gono, si la recta parte al polı́gono en dos
polı́gonos con la misma área.
Motivados por el Teorema 1, ahora nos gustarı́a probar que, dados dos polı́gonos en
el plano, existe una recta que biseca simultáneamente el área de ambos polı́gonos. Ese
C. Gómez Navarro, Tzaloa No. 2, 2022 11

resultado es la versión en el plano del teorema del Ham Sandwich, que enunciamos a
continuación. La demostración queda como ejercicio al lector.

Teorema 4. Dados dos polı́gonos en el plano, existe una recta que biseca simultánea-
mente el área de ambos polı́gonos.

Conclusiones y comentarios finales

Como vimos a lo largo de este artı́culo, muchos de los problemas de geometrı́a com-
binatoria tienen la caracterı́stica de tener soluciones sencillas. De hecho, a nivel in-
vestigación, estas mismas ideas sencillas son uno de los ingredientes principales para
demostrar resultados fuertes de geometrı́a combinatoria (también llamada geometrı́a
discreta).
Por ejemplo, Soberón [8], Karasev, Hubard, Aronov [6], Blagojevic y Ziegler [2], de-
mostraron un teorema que generaliza el teorema del Ham Sandwich (Teorema 4), y la
solución geométrica de ese teorema es muy similar a la idea que vimos en la demostra-
ción del Teorema 1, la diferencia es que para concluir sus resultados, usan herramientas
muy fuertes de topologı́a algebraica. Para una continuación amigable de los temas vis-
tos en este artı́culo, se puede consultar [3], [4] y [9]. Además, en la siguiente sección
dejamos algunos ejercicios de práctica para el lector.

Ejercicios
1) (Oriol Solé Pi, Olimpiada Regional del Centro de México 2019) Considera n lı́neas
en el plano tal que no hay 3 que pasen por un mismo punto. Demuestra que es
posible etiquetar los k puntos donde esas lı́neas se intersectan con los números del
1 al k (usando cada número exactamente una vez), de tal manera que en cada lı́nea,
las etiquetas de los n − 1 puntos que están sobre esa lı́nea están arreglados en orden
creciente (en una de las dos direcciones).

2) Considera n rectas en el plano tal que no hay 3 que pasen por un mismo punto.
Definamos una gráfica donde los vértices son las intersecciones de las rectas, y
dos vértices están conectados por una arista (son vecinos en la gráfica) si y solo si
son consecutivos en una misma recta. Demuestra que los vértices de esa gráfica se
pueden colorear con 3 colores, de tal manera que no hay dos vértices vecinos del
mismo color.

3) Dar una demostración alternativa del Teorema 2, que no use ninguna de las dos
versiones que vimos del teorema del Ham Sandwich (Teorema 1 y Teorema 4).

4) (Vı́ctor Dominguez Silva, Olimpiada Mexicana de Matemáticas 2019) Sea n ≥ 2

un entero. Considera 2n puntos alrededor de una circunferencia. Cada vértice ha
sido etiquetado con un entero del 1 al n, inclusive, y cada uno de estos enteros ha
sido usado exactamente 2 veces. Isabel divide los puntos en n parejas y traza los
n segmentos entre dichas parejas, con la condición de que estos no se intersecan.
Luego, a cada segmento le asigna el número mayor entre las dos etiquetas en sus
extremos.
12 Geometrı́a Combinatoria y el Teorema del Ham Sandwich

a) Muestre que, sin importar cómo se hayan etiquetado los puntos, Isabel puede
escoger las parejas de tal forma que se usen exactamente ⌈ n2 ⌉ números para
etiquetar a los segmentos.
b) ¿Pueden etiquetarse los puntos de tal forma que, sin importar cómo Isabel divida
los puntos en parejas, siempre se usen exactamente ⌈ n2 ⌉ números para etiquetar
los segmentos?

5) (El teorema del Ham Sandwich) Considera dos polı́gonos convexos en el plano. De-
muestra que siempre existe una recta que parte a la mitad el área de ambos polı́go-
nos.

6) (Olimpiada Geometrense 2020) Sea K un polı́gono convexo en el plano con peri-

metro igual a 1. Sea n ≥ 2 un entero y sea r < n un entero positivo. Demuestra
que existe un par de rectas perpendiculares que dividen la frontera de K en arcos
r r n−r n−r
de longitudes 2n , 2n , 2n , 2n , en ese orden cı́clico.

7) Sea t ∈ [0, 41 ] un número real y K un polı́gono convexo en el plano de área 1.

Demuestra que existe una pareja de rectas perpendiculares que divide a K en 4
polı́gonos de áreas t, t, ( 21 − t), ( 12 − t), en ese orden cı́clico.

8) (A. Kaneko, M. Kano, K. Suzuki [5]) Considera 8 puntos en el plano donde no hay
3 colineales. Supongamos que 4 de los puntos están coloreados de azul y los otros
4 puntos están coloreados de rojo. Demuestra que hay una trayectoria alternante
simple (con la misma definición del Problema 2) de longitud 8 (es decir, que pasa
por los 8 puntos).

Bibliografı́a
1) J. Akiyama, N. Alon. Disjoint simplices and geometric hypergraphs, Combinato-
rial Mathematics; Proc. of the Third International Conference (New York, 1985),
volume 555, pages 1-3. Annals of the New York Academy of Sciences, 1989. (ref:
p. 53)

2) P.V.M. Blagojevic, G.M. Ziegler, Convex equipartitions via equivariant obstruction

theory, Israel Journal of Mathematics, 200:49-77, 2014.

3) C. Gomez-Navarro, Teoremas de equipartición: una generalización del teorema del

Ham Sandwich, Tesis UNAM, 2020.

4) C. Gomez-Navarro, Una introducción a la geometrı́a combinatoria: problemas de

divisiones justas, Espacio Matemático 2(1), 16-30, 2021.

5) A. Kaneko, M. Kano, K. Suzuki, Path Coverings of Two Sets of Points in the plane,
Towards a theory of geometric graphs, 99-111, ed. by J. Pach, Contemp. Math. 342,
Amer. Math. Soc., Providence, RI, 2004.

6) R. Karasev, A. Hubard, B. Aronov, Convex equipartitions: The spicy chicken theo-

rem, Geometriae Dedicata, 170:263-279, 2014.
C. Gómez Navarro, Tzaloa No. 2, 2022 13

7) J. Pach, R. Pinchasi, On the Number of Balanced Lines, Discrete and Computational

Geometry 25:611-628 (2001).
8) P. Soberón, Balanced convex partitions of measures in Rd , Mathematika 58(1), 71-
76, 2012.
9) A.H. Stone, J.W. Tukey, Generalized sandwich theorems, Duke Math. J.9 (1942).
 Problemas de práctica

A continuación presentamos los 20 problemas de práctica seleccionados especialmente

para este segundo número del año 2022. Aprovechamos para invitarte a que contribu-
yas a enriquecer esta sección de la revista. Estamos seguros que conoces problemas
interesantes que quieres compartir y por eso ponemos a tu disposición la dirección
revistaomm@[Link], donde con gusto recibiremos tus propuestas.

Problema 1. Demuestra que entre cualesquiera 7 enteros positivos, podemos escoger

dos de ellos tales que su suma o su resta es múltiplo de 10.

Problema 2. Determina el menor entero positivo n con las siguientes propiedades:

a) Su dı́gito de las unidades es 6.

b) Si el último dı́gito 6 se borra y se coloca al principio del número, el resultado es 4

veces n.

Problema 3. ¿Cuántos números enteros positivos menores que 1012 cumplen que los
dı́gitos en posición impar (contando de derecha a izquiera) son impares y los dı́gitos en
posición par son pares?

3n2
Problema 4. Determina todos los enteros positivos m y n tales que los números y
√ m
n2 + m sean números enteros.

Problema 5. Sea m un entero positivo tal que m(m+1)

3 es un cuadrado perfecto. Prueba
que m es divisible por 3 y que m + 1 y m
3 son ambos cuadrados perfectos.

Problema 6. Sea ABCD un cuadrilátero convexo tal que AB + BC = 2022 cm y

AD = CD. Si ∠ABC = ∠CDA = 90◦ , determina la longitud de la diagonal BD.

Problema 7. Considera el polinomio P (x) = x3 + ax + b con a y b números reales.

Si P (x) tiene tres raı́ces reales distintas, demuestra que a < 0.
Problemas de práctica 15

Problema 8. Determina todas las parejas de enteros positivos (x, y) tales que ambos
x, y tienen la misma cantidad de dı́gitos y se satisface la ecuación xy = y.x, donde y.x
representa el número que se obtiene de colocar un punto decimal después de y y luego
concatenar el número x.

Problema 9. Sabiendo que 13 es un divisor de 512064008001, determina los seis divi-

sores primos del número 512064008001.

Problema 10. Sean D, E y F los puntos de tangencia del incı́rculo del triángulo ABC
con los lados BC, CA y AB, respectivamente. Sean P y Q los puntos medios de DF y
DE, respectivamente. Las rectas P C y DE se intersecan en R, mientras que las rectas
BQ y DF se intersecan en S. Prueba que:
a) Los puntos B, C, P y Q son concı́clicos.
b) Los puntos P , Q, R y S son concı́clicos.

Problema 11. Encuentra la mayor cantidad de elementos que un subconjunto S del

conjunto {1, 2, 3, . . . , 50} puede tener, de tal manera que no haya un elemento de S
que sea igual a la suma de dos elementos diferentes de S.

Problema 12. Encuentra todas las parejas de enteros (x, y) tales que

y 5 + 2xy = x2 + 2y 4 .

Problema 13. Se tiene un tablero de 2022×2022. Se dice que este tablero está teselado
por cuadrados de k × k, si estos cubren al tablero (posiblemente sobrelapándose) y
tienen sus esquinas en los cuadrados unitarios. Encuentra el mı́nimo valor de k tal que
la mı́nima cantidad de cuadrados de k × k que teselan al tablero es 100.

Problema 14. Sean O, M y N puntos colineales, en este orden, de manera que OM =

3 y M N = 5. Sea ω el cı́rculo de radio 2 centrado en O. Encuentra, entre todos los
puntos P en ω, el máximo valor posible para el ángulo ∠M P N .

Problema 15. Sea n > 2 un entero. Sea Sn el conjunto de enteros positivos menores
a n que son primos relativos con n. Llamemos φ(n) al número de elementos en Sn .
Demuestra que la suma de los números en Sn es igual a

nφ(n)
.
2
Problema 16. En un tablero de ajedrez de 9 × 9 hay 9 torres que no se atacan. Cada
torre se mueve una casilla horizontalmente o verticalmente. Prueba que tras mover las
torres, hay dos que se atacan.

Problema 17. Determina todas las parejas de enteros positivos (x, y) que satisfacen la
ecuación x5 = y 5 + 10y 2 + 20y + 1.
16 Problemas de práctica

Problema 18. Demuestra que para cada entero n ≥ 1, el número 371 . . . 1, que termina
en n unos, no es primo.

Problema 19. Determina todos los números reales que satisfacen la ecuación
10 11 12 13
+ + + = 2x2 − 23x − 4.
x − 10 x − 11 x − 12 x − 13

Problema 20. Demuestra que para cada entero positivo m, existe un entero positivo n
tal que
n
X 1
> m.
k
k=1
 Soluciones a los problemas de
práctica

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@[Link].

Solución del problema 1. Consideremos los seis conjuntos {0}, {1, 9}, {2, 8}, {3, 7},
{4, 6} y {5}. Por el principio de las casillas, entre cualesquiera 7 enteros positivos hay
dos números a y b tales que sus dı́gitos de las unidades están en el mismo conjunto. Si
el dı́gito de las unidades de a es igual al dı́gito de las unidades de b, entonces a − b
es múltiplo de 10. Pero, si el dı́gito de las unidades de a es distinto al dı́gito de las
unidades de b, entonces por la construcción de los conjuntos, a + b será múltiplo de 10
ya que 1 + 9 = 2 + 8 = 3 + 7 = 4 + 6 = 10.

Solución del problema 2. Escribimos n = 10m + 6. Sea k la cantidad de dı́gitos de

m. Tenemos entonces que 4(10m + 6) = 6 · 10k + m, esto es, 13m = 2 · (10k − 4).
De aquı́, se sigue que 13 divide a 10k − 4, esto es, 10k ≡ 4 (mod 13). Por prueba y
error, encontramos que el menor entero positivo k con esta propiedad es k = 5, lo cual
implica que m = 15384. Por lo tanto, el menor valor de n es 153846.

Solución del problema 3. Los contaremos por el número de dı́gitos. Si el número de

dı́gitos es 2k, entonces hay 4k · 5k = 20k números ya que las k posiciones impares
tienen 5 posibilidades y las k posiciones pares tienen 4 posibilidades. Si el número de
dı́gitos es 2k + 1, entonces el número de posibilidades es 5k+1 · 4k = 5 · 20k . Por lo
18 Soluciones a los problemas de práctica

tanto, la respuesta es

(5 + 20) + (5(20) + 202 ) + · · · + (5(20)5 + 206 )

206 − 1 25(202 − 1)(204 + 202 + 1)
= 25(1 + 20 + · · · + 205 ) = 25 · =
19 19
25(20 + 1)(20 − 1)(204 + 202 + 1) 25(20 + 1)(20 − 1)[(202 + 1)2 − 202 ]
= =
19 19
25(20 + 1)(20 − 1)(20 + 1 − 20)(202 + 1 + 20)
2
25(21)(19)(381)(421)
= =
19 19
= 32 · 52 · 7 · 127 · 421.

√
Solución del problema 4. Sea k un entero positivo tal que n2 + m = k. Entonces,
tenemos que m = k 2 − n2 . Sea d = mcd(k, n), esto es, k = dx y n = dy para algunos
enteros positivos primos relativos x, y. Como m es positivo, necesariamente x > y.
Entonces,
3n2 3d2 y 2 3y 2
= 2 2 = .
m d (x − y 2 ) x2 − y 2
Es fácil ver que y 2 y x2 − y 2 son primos relativos, pues x y y lo son. Entonces, x2 − y 2
debe dividir a 3. Luego, x2 − y 2 = 1 o 3.
Si x2 − y 2 = (x − y)(x + y) = 1, entonces x + y = x − y = 1, de donde x = 1,
y = 0. Como y debe ser positivo, no hay soluciones en este caso.
Si x2 − y 2 = (x − y)(x + y) = 3, entonces x + y = 3 y x − y = 1, de donde x = 2,
y = 1. Luego, m = k 2 − n2 = 4d2 − d2 = 3d2 y n = d. Es fácil ver que para
cualquier entero positivo d, los números m = 3d2 y n = d satisfacen las condiciones
del problema.

Solución del problema 5. Si m(m+1)3 es un cuadrado perfecto, en particular debe ser

un entero, por lo que 3 divide a m(m + 1). Como 3 es primo, tenemos que 3 divide
a m o a m + 1. Supongamos que 3 no divide a m. Entonces 3 divide a m + 1. Esto
significa que m m+1


3 es un cuadrado perfecto. Como m y m+1 son primos relativos,
tenemos que m y m+1 3 también son primos relativos. Luego, ambos enteros m y m+1 3
son cuadrados perfectos, lo que es una contradicción ya que m ≡ −1 ≡ 2 (mod 3) y
se sabe que los cuadrados perfectos son congruentes con 0 o 1 módulo 3. Por lo tanto,
concluimos que 3 divide a m. Ası́, m un cuadrado perfecto con m


3 (m + 1) es 3 y
m + 1 primos relativos, lo cual implica que ambos enteros m 3 y m + 1 son cuadrados
perfectos.

Solución del problema 6. Como los dos ángulos rectos del cuadrilátero son opues-
√ Luego, si AD = CD = a, por el teorema de Pitágo-
tos, el cuadrilátero es cı́clico.
ras tenemos que AC = a 2. Ahora, por el teorema de Ptolomeo en el cuadrilátero
ABCD, tenemos que AB ·√CD + AD · BC √ = AC · BD. Sustituyendo, obtenemos
que a · AB + a · BC = a · √ 2 · BD, esto es, 2 · BD = AB + BC = 2022 cm. Por
lo tanto, BD = 2022√
2
= 1011 2 cm.
Soluciones a los problemas de práctica 19

Solución del problema 7. Sean r, s y t las tres raı́ces reales distintas de P (x). De las
fórmulas de Vieta tenemos que r + s + t = 0 y a = rs + st + tr. Luego, sustituyendo
t = −r − s en el valor de a, obtenemos que
1
a = rs+s(−r−s)+(−r−s)r = − r2 + rs + s2 = − r2 + s2 + (r + s)2 < 0.


2

Solución del problema 8. Como x y y tienen la misma cantidad de dı́gitos, el número

10y tiene más dı́gitos que x, por lo que x < 10y. Esto significa que xy < 10, es decir,
y tiene exactamente un dı́gito, lo cual implica que x también es de un solo dı́gito.
Luego, la ecuación dada se puede reescribir como xy = y + 10 x
, la cual equivale a
xy 2 2
10 = x − y . De aquı́ obienemos que x − y > 0 y que 10 | xy. De lo primero
podemos ver que y 2 < x ≤ 9, esto es, y < 3. Ası́, y ∈ {1, 2}. Si y = 1, entonces
10 | x, lo cual es imposible pues x tiene un solo dı́gito y no puede ser igual a cero.
Luego, y = 2, de donde se sigue que x = 5. Podemos verificar que la pareja (5, 2)
satisface las condiciones, pues 2 y 5 son ambos de un solo dı́gito y 52 = 2.5. Por lo
tanto, (5, 2) es la única solución.

Solución del problema 9. Notemos que 512 = 29 , 64 = 26 , 8 = 23 y 1 = 20 .

Entonces,

512064008001 = 29 · 109 + 26 · 106 + 23 · 103 + 20 · 100

= (20)9 + (20)6 + (20)3 + 1
2012 − 1
= .
203 − 1
Ahora usando diferencia de cuadrados, diferencia de cubos y suma de cubos, obtene-
mos que

2012 − 1 (206 − 1)(206 + 1)

= = (203 + 1)(206 + 1)
203 − 1 203 − 1
= (20 + 1)(202 − 20 + 1)(202 + 1)(204 − 202 + 1).

Como 21 = 3 · 7, resulta que

512064008001 = 3 · 7 · 381 · 401 · 159601.

Es fácil ver que 13 no divide a ninguno de los números 421, 381 y 401, por lo que debe
dividir a 159601. Luego, 159601 = 13 · 12277. Usando que 381 = 3 · 127, obtenemos
que

512064008001 = 3 · 7 · 13 · 381 · 401 · 12277 = 32 · 7 · 13 · 127 · 401 · 12277.

Como 3, 7, 13, 127, 401 y 12277 son primos relativos y el problema nos dice que
hay 6 divisores primos, entonces los seis números deben ser primos. La respuesta es
3, 7, 13, 127, 401 y 12277.
20 Soluciones a los problemas de práctica

Solución del problema 10. a) Observemos que CE = CD por ser los segmentos
tangentes desde C al incı́rculo del triángulo ABC, por lo que CQ es perpendicular a
DE. Análogamente, BF = BD y, por lo tanto, BP es perpendicular a F D. Notemos
que ∠DP Q = ∠DF E = ∠DEC = 90◦ − ∠BCA 2 . Luego,
Å ã
∠BCA
∠BP Q = ∠BP D + ∠DP Q = 90◦ + 90◦ − = 180◦ − ∠BCQ,
2
lo cual implica que el cuadrilátero BCQP es cı́clico.

F
Q
P
S R
B C
D

b) Del inciso anterior tenemos que ∠BP C = ∠BQC. Sin embargo, ∠BP C = 90◦ +
∠DP C = 90◦ + ∠SP R y, de manera similar, ∠BQC = ∠SQR + 90◦ . Se sigue que
∠SP R = ∠SQR, por lo que los puntos P , Q, R y S son concı́clicos.

Solución del problema 11. El subconjunto {25, 26, 27, . . . , 50} tiene 26 elementos y
es claro que cumple con la condición dada (pues la suma de cualesquiera dos elementos
diferentes es mayor o igual a 51). Esto significa que la respuesta buscada es mayor o
igual a 26.
Supongamos que existe un subconjunto S con 27 elementos que tiene la propiedad
dada, digamos S = {a1 , a2 , . . . , a27 } con 1 ≤ a1 < a2 < · · · < a27 ≤ 50.Conside-
remos las a272−1 parejas (1, a27 − 1), (2, a27 − 2), . . . , a272−1 , a27 − a272−1 .
 

Para cada una de estas parejas, a lo más uno de los dosnúmeros que
 la forman puede
estar en S, de donde tenemos que hay a lo más a272−1 ≤ 50−1

2 = 24 números en
S que están en alguna de estas parejas. Dependiendo de si a27 es par o no, podrı́a ser
que a227 esté en S. Como a27 ya está en S, entonces hay a lo más 24 + 1 + 1 = 26
elementos en S, lo cual contradice que haya al menos 27 elementos en S. Por lo tanto,
la respuesta es 26.

Solución del problema 12. La ecuación dada la podemos ver como una ecuación
cuadrática en x: x2 − (2y)x + (2y 4 − y 5 ) = 0. Para que tenga soluciones en enteros,
su discriminante debe ser un cuadrado perfecto, esto es, 4y 2 − 4(2y 4 − y 5 ) debe ser un
cuadrado. Como 4y 2 −4(2y 4 −y 5 ) = 4y 2 (y 3 −2y 2 +1), debemos tener que y 3 −2y 2 +1
debe ser un cuadrado. Factorizando, obtenemos que (y − 1)(y 2 − y − 1) = m2 con
m ≥ 0. Como y 2 − y − 1 = y(y − 1) − 1, ambos factores y − 1 y y 2 − y − 1 son
Soluciones a los problemas de práctica 21

primos relativos. De aquı́ se sigue que cada factor es un cuadrado o es el negativo de

un cuadrado.
Supongamos que y − 1 = a2 y y 2 − y − 1 = b2 con a ≥ 0 y b ≥ 0. La última ecuación
se puede escribir como y 2 − y − (b2 + 1) = 0. Viendo esta última ecuación como una
cuadrática en y, dado que y es un número entero,

debe suceder que el discriminante es
un cuadrado perfecto, esto es, 1 − 4[− b2 + 1 ] = c2 para algún entero c ≥ 0. Enton-
ces, c2 − 4b2 = 5, es decir, (c − 2b)(c + 2b) = 5. Dado que c + 2b ≥ 0, c + 2b ≥ c − 2b
y ambos factores deben ser enteros, necesariamente debe suceder que c + 2b = 5 y
c − 2b = 1. De aquı́ se llega a que b = 1 y, por lo tanto, y 2 − y − 1 = 1, por lo que
y 2 − y − 2 = 0. Luego y = 2 o y = −1.

Si y = −1, sustituyendo en la ecuación original obtenemos que −1 − 2x =

x2 + 2, esto es, x2 + 2x + 3 = 0, que no tiene soluciones enteras (de hecho, ni
siquiera tiene soluciones reales).

Si y = 2, sustituyendo en la ecuación original obtenemos que 32+4x = x2 +32,

es decir, x2 − 4x = 0. Luego, x = 0 o x = 4 y, en ambos casos, obtenemos
soluciones válidas.

Supongamos que y − 1 y y 2 − y − 1 son negativos de cuadrados. Como y 2 − y − 1 =

(y − 21 )2 − 54 ≥ − 45 , los valores posibles de y 2 − y − 1 son −1 y 0. En el primer caso,
tenemos que y 2 − y = 0, de donde obtenemos las soluciones y = 0, 1.

Si y = 0, de la ecuación original obtenemos que x = 0.

Si y = 1, de la ecuación original resulta que 1 + 2x = x2 + 2, esto es, (x − 1)2 =

0, por lo que x = 1.

En el segundo caso, no hay soluciones en números enteros.

Por lo tanto, las únicas parejas que satisfacen la ecuación inicial son (0, 0), (1, 1), (0, 2)
y (4, 2).

Solución del problema 13. Asignemos coordenadas a las casillas del tablero, desde
(0, 0) hasta (2021, 2021). Para cualquier valor de k, es posible teselar el tablero con
f (k) = (⌊2021/k⌋ + 1)2 cuadrados de k × k, colocando uno por cada casilla cuyas
coordenadas sean múltiplos de k. Recı́procamente, cada cuadrado solo puede cubrir a
una de estas f (k) casillas, por lo que esta cantidad es mı́nima. Por lo tanto, buscamos
el mı́nimo entero positivo k tal que f (k) = 100, esto es, tal que 2021 < 10k, el cual es
203.

Solución del problema 14. Sea P un punto arbitrario en ω. Si el cı́rculo ω ′ por M ,

N y P tiene una segunda intersección Q con ω, entonces cada punto R en el arco P ˜ Q
sobre ω estará en el interior de ω ′ , de manera que ∠M RN > ∠M P N . Por lo tanto, el
punto P que maximiza el ángulo ∠M P N ha de ser tal que el cı́rculo ω ′ es tangente a
ω. Sea O′ el centro de ω ′ y sea R su radio. Sea h la altura desde O′ sobre M N .
22 Soluciones a los problemas de práctica

O′

h
P

O M N

Por el teorema de Pitágoras, tenemos que h2 + 2.52 = R2 y h2 + 5.52 = (R + 2)2 .

Restando la primera ecuación de la segunda y simplificando, obtenemos que R = 5. En
particular, el triángulo M O′ N es equilátero, de donde ∠M O′ N = 60◦ y ∠M P N =
30◦ .

Solución del problema 15. Notemos que si a es primo relativo con n, entonces n − a
también lo es, ya que d | n y d | a si y solo si d | n y d | (n − a). También notemos
que para n > 2, a 6= n − a ya que si a = n − a entonces n = 2a y como a | n y
a > 1 entonces n y a no serı́an primos relativos. Por lo tanto, podemos emparejar a los
términos de Sn en parejas de la forma (a, n − a). Cada una de las parejas suma n y hay
φ(n)/2 parejas, de donde se sigue el resultado.

Solución del problema 16. Asignemos coordenadas a las casillas desde (0, 0) hasta
(8, 8). Que las torres inicialmente no se ataquen significa que hay una por fila y por
columna. Por lo tanto, la suma de sus coordenadas es 2(0 + 1 + · · · + 8), el cual es un
número par. Tras mover cada torre, una de las coordenadas de cada torre cambia por 1,
lo cual hace que la suma de sus coordenadas sea impar. Por lo tanto, hay dos torres que
se atacan.

Solución del problema 17. Observemos que

(y + 2)5 = 25 + 5(24 )y + 10(23 )y 2 + 10(22 )y 3 + 5(2)y 4 + y 5 .

Luego, es fácil ver que si y es positivo,

y 5 < y 5 + 10y 2 + 20y + 1 < (y + 2)5 .

Como y es un entero positivo tal que x5 = y 5 + 10y 2 + 20y + 1, la única posibilidad

es que x = y + 1. Entonces, tenemos que (y + 1)5 = y 5 + 10y 2 + 20y + 1, esto es,

0 = (y + 1)5 − (y 5 + 10y 2 + 20y + 1) = 5(y − 1)y(y 2 + 3y + 3).

Como y > 0, la única opción es y − 1 = 0, esto es, y = 1 y, por consiguiente, x = 2.

Verificando, vemos que 25 = 1 + 10 + 20 + 1. En conclusión, la única pareja (x, y) en
enteros positivos que satisface la ecuación x5 = y 5 + 10y 2 + 20y + 1 es (2, 1).
Soluciones a los problemas de práctica 23

Solución del problema 18. Sea an = 371 . . . 1, terminando con n unos. Demostrare-
mos por inducción fuerte que para todo n ≥ 0, an siempre tiene un factor primo en el
conjunto S = {3, 7, 13, 37}. Para 0 ≤ n ≤ 5, esto se puede verificar directamente:

37 | a0 , 7 | a1 , 3 | a2 , 37 | a3 , 13 | a4 , 3 | a5 .

Para n ≥ 6, como an−6 tiene un factor primo en S por la hipótesis de inducción,

entonces an = 106 an−6 + 3 · 7 · 11 · 13 · 37 también lo tendrá. En particular, para
n ≥ 1, an no puede ser primo.

Solución del problema 19. Sumando 1 a cada una de las fracciones y 4 al lado derecho,
obtenemos
x x x x
+ + + = 2x2 − 23x.
x − 10 x − 11 x − 12 x − 13
De aquı́ obtenemos una solución x = 0. Para cualquier otra solución x 6= 0, podemos
dividir por x para obtener

1 1 1 1
+ + + = 2x − 23.
x − 10 x − 11 x − 12 x − 13
Sea y = x − 23/2. Esto nos permite reescribir la ecuación como

1 1 1 1
+ + + = 2y.
y − 3/2 y − 1/2 y + 1/2 y + 3/2

Juntando la primera y cuarta fracción, al igual que la segunda y tercera, obtenemos

2y 2y
+ 2 = 2y.
y2 − (3/2)2 y − (1/2)2

De aquı́ obtenemos otra solución y = 0 o x = 23/2. En cualquier otro caso, podemos

dividir por 2y y simplificar para obtener

9 49
y4 − y2 + = 0.
2 16
Esta es una cuadrática en y 2 . Resolviéndola y sustituyendo para x, obtenemos las so-
luciones …
23 9 √
x= ± ± 2,
2 2
además de las que ya habı́amos obtenido.

Solución del problema 20. Sea m un entero positivo y sea n = 22m − 1. Entonces,
podemos separar la suma como sigue
2m j
n 2X−1 2m 2 −1
X 1 1 X X 1
= = .
k k j=1
k
k=1 k=1 j−1 k=2
24 Soluciones a los problemas de práctica

Como 2j−1 < 2j−1 + 1 < · · · < 2j − 1 < 2j para cada entero positivo j, tenemos que
1 1 1 1 1 1
> j , j−1 > j, ..., j > j,
2j−1 2 2 +1 2 2 −1 2
lo cual implica que
j j j
2X −1 2X
−1 2X −1
1 1 1 1 1
> j
= j 1= j
· 2j−1 = .
k 2 2 2 2
k=2j−1 j−1
k=2 k=2j−1

Por lo tanto,
j
n 2m 2 −1 2M
X 1 X X 1 X1
= > = m.
k j=1
k j=1
2
k=1 j−1
k=2
 Problemas de Entrenamiento

Problemas de Entrenamiento.
Año 2022 No. 2.
Presentamos ahora los 10 problemas de entrenamiento elegidos para este segundo
número de tu revista. Te recordamos que las soluciones de los problemas en esta sec-
ció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 esco-
gerá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@[Link] 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!

Problema 1. Un grillo está parado en el origen del plano cartesiano. El grillo puede
hacer saltos de longitud 5 siempre y cuando el salto inicie y termine en un punto de
coordenadas enteras. ¿Cuál es el mı́nimo número de saltos con los que el grillo puede
llegar al punto (2021, 2021)?

Problema 2. Sea {pn }n≥1 la sucesión de los números primos, esto es, p1 = 2, p2 = 3,
p3 = 5 y ası́ sucesivamente. Para cada entero positivo n, sea Sn = p1 + p2 + · · · + pn .
Demuestra que para cada entero positivo n, existe un cuadrado perfecto entre Sn y
Sn+1 .

Problema 3. Sea ABC un triángulo con puntos E y F sobre el segmento BC. Sean K
y L puntos sobre los segmentos AB y AC, respectivamente, tales que EK es paralela
a AC y F L es paralela a AB. Los incı́rculos de los triángulos BEK y CF L son
26 Problemas de Entrenamiento

tangentes a los segmentos AB y AC en X y Y , respectivamente. Las rectas AC y EX

se cortan en M , mientras que las rectas AB y F Y se cortan en N . Si AX = AY ,
demuestra que M N es paralela a BC.

Problema 4. Sea p un número primo impar y sea Q(x) un polinomio de grado n <
p − 1. Demuestra que p divide a Q(0) + Q(1) + · · · + Q(p − 1).

Problema 5. Sean m un entero positivo y r1 , r2 , . . . , rm números racionales positivos

tales que r1 + r2 + · · · + rm = 1. Se define la función f por

f (n) = n − (⌊r1 n⌋ + ⌊r2 n⌋ + · · · + ⌊rm n⌋)

para cada entero positivo n. Determina el menor y el mayor valor posible de f (n).
Nota: ⌊x⌋ denota el mayor entero que es menor o igual que x.

Problema 6. Determina un polinomio P (x, y) distinto de cero tal que

P (⌊a⌋, ⌊2a⌋) = 0

para todo número real a.

Nota: ⌊x⌋ denota el mayor entero que es menor o igual que x.

Problema 7. Once estudiantes presentaron un examen. Para cualesquiera dos preguntas

en el examen, hay al menos 6 estudiantes que resolvieron exactamente una de esas dos
preguntas. Prueba que no hay más de 12 preguntas en el examen.

Problema 8. Sea S un conjunto de 2022 rectas en el plano, tales que no hay dos para-
lelas ni tres concurrentes. S divide al plano en regiones finitas y regiones infinitas. ¿Es
posible que todas las regiones finitas tengan un número entero de área?

Problema 9. Sea N el conjunto de los enteros positivos. Determina todas las funciones
f : N → N tales que para todos los enteros positivos m y n, el entero f (m)+f (n)−mn
es distinto de cero y divide a mf (m) + nf (n).

Problema 10. Sean a, b, c y d enteros no negativos y p un número primo. Demuestra

que Ç å Ç åÇ å
ap + b a b
≡ (mod p).
cp + d c d

Soluciones a los Problemas de Entrenamiento.

Año 2021 No. 3.
A continuación presentamos las soluciones de los problemas de entrenamiento pro-
puestos en Tzaloa No. 3, año 2021. En esta ocasión, agradecemos a Alejandro Solı́s
Problemas de Entrenamiento 27

Mercado, a Emmanuel Iván Montiel Paredes y a Rogelio Esaú Aguirre González, por
haber enviado sus soluciones y aprovechamos para invitar a todos los lectores a par-
ticipar enviándonos sus soluciones para que puedan salir publicadas en los números
posteriores de la revista. Recuerda que en el siguiente número de la revista aparecerán
las soluciones de los problemas de entrenamiento propuestos en Tzaloa No. 4, año
2021, por lo que aún tienes tiempo de enviarnos tus soluciones.

Problema 1. Determina todos los enteros positivos n tales que n + 200 y n − 269 sean
ambos cubos de números enteros.

Solución de Alejandro Solı́s Mercado. Sean n + 200 = x3 y n − 269 = y 3 con

x y y números enteros tales que x > y. Entonces x3 − y 3 = 469, es decir, (x −
y) x2 + xy + y 2 = 469. Como 469 = 7 · 67 y x − y > 0, tenemos cuatro casos


que se representan en la siguiente tabla, donde los
valores de la
tercera columna se
calculan observando que xy = 31 x2 + xy + y 2 − (x − y)2 y las parejas de la
cuarta columna se obtienen resolviendo la ecuación cuadrática z 2 − (x − y)z − xy = 0
(que tiene como soluciones z = x y z = −y).

x−y x2 + xy + y 2 xy (x, y) n = x3 − 200

1 469 156 (13, 12), (−12, −13) 1997, −1928
7 67 6 No son enteros -
67 7 −1494 No son enteros -
469 1 −73320 No son enteros -

Por lo tanto, el único valor de n que cumple es n = 1997.

Este problema también fue resuelto por Emmanuel Iván Montiel Paredes y Rogelio
Esaú Aguirre González.

Problema 2. Sean a y b enteros positivos tales que 2(a + b) = mcd(a, b) + mcm(a, b).
mcm(a, b)
Determina el valor de .
mcd(a, b)

Solución de Emmanuel Iván Montiel Paredes. Sean a = mu, b = mv, donde

mcd(a, b) = m. Luego, mcm(a, b) = muv. Ahora, 2m(u + v) = m + muv, por lo que
2u + 2v = 1 + uv Ası́, (u − 2)(v − 2) = 3, lo cual nos dice que (u, v) = (5, 3), (3, 5).
Por lo tanto, mcm(a,b) muv
mcd(a,b) = m = uv = 2(u + v) − 1 = 15.

Solución de Rogelio Esaú Aguirre González. Sea mcd(a, b) = q y sean x, y enteros

positivos tales que a = qx y b = qy. Es fácil ver que mcm(a, b) = qxy. Por lo tanto,
la ecuación dada en el problema se puede reescribir como 2(qx + qy) = q + qxy, lo
cual equivale a 2x + 2y = xy + 1. Reordenando términos y factorizando, obtenemos
que 2y − 1 = x(y − 2). Como 2y − 1 > 0 y x > 0, tenemos que y − 2 > 0. Además,
dado que y − 2 divide a x(y − 2), entonces y − 2 divide a 2y − 1, por lo que también
divide a 2y − 1 − 2(y − 2) = 3. Ası́, y − 2 = 1 o y − 2 = 3. Si y − 2 = 1, entonces
y = 3 y, por lo tanto, x = 5. Si y − 2 = 3, entonces y = 5 y, por consiguiente, x = 3.
En cualquier caso, tenemos que mcm(a,b) qxy
mcd(a,b) = q = xy = 3 · 5 = 15.
28 Problemas de Entrenamiento

Problema 3. Los números reales a, b y c satisfacen la condición

|a − b| = 2|b − c| = 3|c − a|.

Demuestra que a = b = c.

Solución de Emmanuel Iván Montiel Paredes. Si al menos dos de los números son
iguales, es claro que los tres números tendrán que ser iguales. Ası́, supongamos que a,
b y c son diferentes por parejas. Procedemos a analizar cada uno de los posibles casos
en donde se ordenan los números a, b y c.
Si a < b < c, se obtiene que b − a = 2(c − b) = 3(c − a). De la primera igualdad
se tiene que b = 2c+a
3 . Al sustituir en la segunda igualdad y reordenar términos,
obtenemos que 73 (c − a) = 0, es decir, a = c, lo cual contradice la suposición
inicial.
Si a < c < b, se obtiene que b − a = 2(b − c) = 3(c − a). De la primera igualdad
se tiene que b = 2c − a. Al sustituir en la segunda igualdad y reordenar términos,
obtenemos que c−a = 0, es decir, a = c, lo cual contradice la suposición inicial.
Si b < a < c, se obtiene que a − b = 2(c − b) = 3(c − a). De la primera igualdad
se tiene que a = 2c − b. Al sustituir en la segunda igualdad y reordenar términos,
obtenemos que 5(c − b) = 0, es decir, c = b, lo cual contradice la suposición
inicial.
Si b < c < a, se obtiene que a − b = 2(c − b) = 3(a − c). De la primera igualdad
se tiene que a = 2c − b. Al sustituir en la segunda igualdad y reordenar términos,
obtenemos que c − b = 0, es decir, c = b, lo cual contradice la suposición inicial.
Si c < a < b, se obtiene que b − a = 2(b − c) = 3(a − c). De la primera igualdad
se tiene que b = 2c − a. Al sustituir en la segunda igualdad y reordenar términos,
obtenemos que 5(c − a) = 0, es decir, c = a, lo cual contradice la suposición
inicial.
Si c < b < a, se obtiene que a − b = 2(b − c) = 3(a − c). De la primera igualdad
se tiene que a = 3b−2c. Al sustituir en la segunda igualdad y reordenar términos,
obtenemos que 7(b − c) = 0, es decir, b = c, lo cual contradice la suposición
inicial.
Del análisis anterior se concluye que a = b = c.

Solución alternativa. Si a = b, entonces |c−a| = 0 y, por consiguiente, a = c. Luego,

a = b = c.
Si a 6= b, entonces podemos reescalar los números de manera que |a − b| = 6. En este
caso, tenemos que |b − c| = 3 y |c − a| = 2. Como a − b = (a − c) + (c − b), por la
desigualdad del triángulo resulta que|a − b| ≤ |b − c| + |c − a|. Sin embargo, 6 > 3 + 2
ası́ que esto es imposible. Por lo tanto, a = b = c.
Problemas de Entrenamiento 29

Problema 4. Los números naturales a y b se escriben en notación decimal usando los

mismos dı́gitos, esto es, cada dı́gito del 0 al 9 aparece la misma cantidad de veces en
a que en b. Demuestra que si a + b = 101000 , entonces ambos números a y b son
múltiplos de 10.

Solución. Notemos que a y b deben tener ambos 1000 dı́gitos, ası́ que hay 999 dı́gitos
que no son las unidades. Además, si alguno de a o b no es divisible por 10, entonces
ninguno es divisible por 10, ya que a + b es múltiplo de 10. Luego, si a y b no son
divisibles por 10, entonces los dı́gitos de las unidades de a y b deben sumar 10, y los
demás dı́gitos en la misma posición deben sumar 9. Por lo tanto, la suma de los dı́gitos
de a y b debe ser 999 · 9 + 10, lo cual claramente es impar. Esto es una contradicción,
puesto que la suma debe ser par ya que a y b utilizan los mismos dı́gitos. Concluimos
que a y b son divisibles por 10.

Problema 5. Sean x, y números reales positivos tales que

x3 + y 3 + (x + y)3 + 30xy = 2000.

Determina el valor de x + y.

Solución de Emmanuel Iván Montiel Paredes. Usando la factorización conocida

1
a3 + b3 + c3 − 3abc = (a + b + c)[(a − b)2 + (b − c)2 + (a − c)2 ],
2
obtenemos que

x3 + y 3 + 30xy = x3 + y 3 + (−10)3 − 3xy(−10) − (−10)3

1
= (x + y − 10) (x − y)2 + (x + 10)2 + (y + 10)2 + 103 .
 
2
Ası́, al sustituir en la ecuación dada en el problema y reordenando términos, llegamos
a que
1
(x + y − 10) (x − y)2 + (x + 10)2 + (y + 10)2
 
2
= 1000 − (x + y)3
= −(x + y − 10) 102 + 10(x + y) + (x + y)2 ,
 

por lo que

(x + y − 10) (x − y)2 + (x + 10)2 + (y + 10)2

 

= −2(x + y − 10) 102 + 10(x + y) + (x + y)2

 

y, lo por tanto,
î ó
0 = (x + y − 10) (x − y)2 + (x + 10)2 + (y + 10)2 + 2 · 102 + 2 · 10(x + y) + 2(x + y)2
î ó
= (x + y − 10) 2x2 + 2y 2 + 2(x + 10)2 + 2(y + 10)2 + xy .
30 Problemas de Entrenamiento

Nótese que el segundo factor en la última ecuación es positivo al ser x y y números

reales positivos. Ası́, forzosamente debe suceder que x + y − 10 = 0, es decir, x + y =
10.

Solución alternativa. Sean A = x + y y B = xy. Ası́, la ecuación dada se puede

escribir como
A A2 − 3B + A3 + 30B = 2000,

lo cual se puede expresar como

(A − 10) 2A2 + 20A + 200 − 3B = 0.

De la desigualdad MA-MG, tenemos que (x + y)2 ≥ 4xy, esto es, A2 ≥ 4B. De aquı́
se puede ver que 2A2 + 20A + 200 − 3B > 0, lo que indica que A − 10 = 0. Por lo
tanto, x + y = 10.

Problema 6. En el plano hay 1024 puntos tales que no hay tres que sean colineales.
Cada par de puntos se une con un segmento. Ana y Beto juegan el siguiente juego:
Beto le asigna un dı́gito a cada segmento y Ana le asigna un dı́gito a cada punto. Beto
gana si hay dos puntos cuyo dı́gito es el mismo que el del segmento que los une, de lo
contrario pierde. Prueba que Beto tiene una estrategia ganadora.

Solución. La estrategia de Beto será la siguiente:

Agrupar los 1024 vértices en parejas y poner 0 en las aristas que unen los vértices
de cada pareja (512 parejas, 512 aristas).

Agrupar las 512 parejas en 256 “parejas de parejas” y poner 1 en las aristas que
no han sido marcadas entre los cuatro vértices de cada grupo.

Agrupar ahora de forma similar en 128 grupos de 8 vértices y poner 2 en las

aristas que no han sido marcadas; luego 64 grupos de 16 vértices donde pone 3,
32 grupos de 32 donde pone 4, 16 grupos de 64 donde pone 5, 8 grupos de 128
donde pone 6, 4 grupos de 256 donde pone 7, 2 grupos de 512 donde pone 8 y
un grupo de 1024 donde pone 9.

Veamos que esta estrategia en efecto es ganadora.

En cada una de las 512 parejas, Ana puede poner ceros en a lo más un vértice, por lo
que a lo mucho 512 vértices tienen ceros. En cada grupo de 4 vértices, hay al menos
dos vértices que no son 0 y están en distintas parejas, por lo que al menos uno de esos
debe ser diferente a 1. En cada uno de los grupos de 8 hay al menos 2 vértices que no
son 1 ni 0 y están en distintos grupos de 4, entonces al menos uno de esos vértices no
tiene un 2.
Luego, en cada uno de los grupos de 16 hay al menos 2 vértices que no son 0, 1 ni 2 y
están en distintos grupos de 8, entonces al menos uno de esos vértices no tiene un 3.
Después, en cada uno de los grupos de 32 hay al menos 2 vértices que no son 0, 1, 2 ni
3 y están en distintos grupos de 16, entonces al menos uno de esos vértices no tiene un
4.
Problemas de Entrenamiento 31

Continuando el argumento: en cada uno de los grupos de 64 vértices hay al menos un

vértice que no tiene un 0, 1, 2, 3, 4 o 5; en cada grupo de 128 hay al menos un vértice
que no tiene un 0, 1, 2, 3, 4, 5 o 6; en cada grupo de 256 hay al menos un vértice que
no tiene un 0, 1, 2, 3, 4, 5, 6 o 7; en cada grupo de 512 hay al menos un vértice que no
tiene un 0, 1, 2, 3, 4, 5, 6, 7 u 8 y, en cada grupo de 1024, hay al menos un vértice que
no tiene un 0, 1, 2, 3, 4, 5, 6, 7, 8 o 9, lo que es imposible. Esto quiere decir que Ana
no puede ganar si Beto sigue su estrategia, justo como se querı́a.

Problema 7.
Sea k un entero positivo. Demuestra que si n ≥ k + mcm(1, 2, . . . , k),

entonces nk tiene al menos k divisores primos distintos.

Solución. Tenemos que

Ç å
n n(n − 1)(n − 2) · (n − k + 1)
= .
k k(k − 1) · · · (1)

Consideremos n − i para i = 0, 1, . . . , k − 1. Tenemos que n − i > mcm(1, 2, . . . , k).

Demostraremos que existe un primo qi y un entero positivo j tal que qij divide a n − i y
qij ∤ mcm(1, 2, . . . , k). Supongamos que para todo primo p que divide a n − i, tenemos
que νp (n − i) ≤ νp (mcm(1, 2, . . . , k)). Entonces,
Y Y
n−i= pνp (n−i) ≤ pνp (mcm(1,2,...,k)) = mcm(1, 2, . . . , k).
p p

Esto contradice que n−i > mcm(1, 2, . . . , k). Luego, tal primo qi existe con qij divisor
de n−i pero qij ∤ mcm(1, 2, . . . , k). Podemos escoger j de tal manera que n−i = qij bi
para algún entero bi con qi ∤ bi . Entonces, tenemos que n = qij bi + i con 0 ≤ i < qij y
i < k, lo cual implica que
ú ü ú ü
n n−k
= bi y < bi .
qij qij
Usando la fórmula de Legendre tenemos que
ÇÇ åå ∞ Åõ û õ û õ ûã
n X n k n−k
νqi = − − .
k t=1
qit qit qit

Es conocido que si x + y = z con x, y ≥ 0, entonces ⌊z⌋ − ⌊x⌋ − ⌊y⌋ ∈ {0,
1}.

Entonces cada sumando es 0 o 1. Al encontrar un sumando 1, tenemos que qi | nk . El
sumando que sale de t = j nos da
ú ü ú ü ú ü
n n−k k
j
− j
− j ≥ 1,
qi qi qi
j k
ya que qij ∤ mcm(1, 2, . . . , k) implica que qkj = 0.
i
Entonces para cada n − i tenemos un qi que divide a nk . Nos falta demostrar que


32 Problemas de Entrenamiento

cada uno de estos qi ’s es distinto. Supongamos que qa = qb = q. Entonces existen

enteros j, r tales que q j divide a n − a y q j ∤ mcm(1, 2, . . . , k) y q r divide a n − b
y q r ∤ mcm(1, 2, . . . , k). Supongamos que r ≤ j. Entonces, q r divide a n − a y a
n − b, lo cual implica que q r divide a |a − b| ≤ mcm(1, 2, . . . , k). Esto implica que
q r | mcm(1, 2, .
. . , k), lo que es una contradicción. Por lo tanto, hay k primos distintos
que dividen a nk .

Problema 8. Determina todos los números primos p tales que p! + p es un cuadrado

perfecto.

Solución. Si p = 2, entonces p! + p = 4 = 22 , que cumple. Si p = 3, entonces

3! + 3 = 9 = 32 , que cumple. Supongamos que p ≥ 5 y que p! + p = x2 . Como
p! + p es impar, necesariamente x es impar y, por lo tanto, x2 ≡ 1 (mod 8). Pero
p! + p ≡ p (mod 8) porque p ≥ 5. Sea q < p un primo impar. Como q < p entonces
q | p!, pero q ∤ p, ası́ que q no divide a la suma p! + p. Como p! + p es un cuadrado
perfecto y q | p!, entonces por la ley de reciprocidad cuadrática tenemos que
Å ã Å ã Å ã
p! + p p q
1= = = .
q q p

Esto significa que para cada primo q < p, q es un residuo cuadrático módulo p. Pero el
producto de residuos cuadráticos es un residuo cuadrático. Por lo tanto, todo número
impar es residuo cuadrático módulo p. Tenemos que en el conjunto {1, 2, . . . , p − 1}
debe haber (p−1)/2 residuos cuadráticos. Entonces deben ser los impares, pero p ≥ 5,
ası́ que 4 es un residuo cuadrático módulo p, lo que es una contradicción. Por lo tanto,
si p > 3, p! + p no es cuadrado perfecto.

Problema 9. Determina todos los enteros positivos n, k1 , k2 , . . . , kn tales que k1 +

k2 + · · · + kn = 5n − 4 y
1 1 1
+ + ···+ = 1.
k1 k2 kn

Solución. Por la desigualdad media aritmética-media armónica tenemos que

5n − 4 k1 + k2 + . . . + kn n
= ≥ 1 1 1 = n.
n n k1 + k2 + ··· + kn

Entonces, 5n − 4 ≥ n2 . Por lo tanto, 1 ≤ n ≤ 4. En los casos n = 1, 4 obtenemos que

5n − 4 = n2 . Luego, las desigualdades deben ser igualdades y, por lo tanto, k1 = k2 =
k3 = k4 . Con n = 1 tenemos que k1 = 1 y con n = 4 tenemos que k1 = k2 = k3 =
k4 = 4. Si n = 2, entonces k1 ≥ 2, ya que k11 + k12 = 1. Esto implica que k2 ≤ 2 y,
por consiguiente, k1 = k2 = 2. Ası́, k1 + k2 = 4 6= 6 = 5(2) − 4. Esto significa que
con n = 2 no hay soluciones. Si n = 3, entonces k1 + k2 + k3 = 11. Supongamos
que k1 ≤ k2 ≤ k3 . Si k1 ≥ 3, entonces k1 = k2 = k3 = 3, que no cumple. Luego,
k1 = 2. Si k2 ≥ 4, entonces k2 = k3 = 4 y k1 + k2 + k3 6= 11. Por lo tanto, k2 = 3
Problemas de Entrenamiento 33

y, por consiguiente, k3 = 6. Por lo tanto, las soluciones (n, k1 , k2 , . . . , kn ) son (1, 1),
(3, 2, 3, 6), (3, 2, 6, 3), (3, 3, 2, 6), (3, 3, 6, 2), (3, 6, 2, 3), (3, 6, 3, 2), (4, 4, 4, 4, 4).

Problema 10. Sea S el conjunto de secuencias de longitud 2018 cuyos términos son
números del conjunto {1, 2, 3, 4, 5, 6, 10} que suman 3860. Demuestra que
Å ã2018
2018
|S| ≤ 23860 .
2048

Solución. Sea a(k, n) el número de secuencias de longitud k con elementos del con-
junto {1, 2, 3, 4, 5, 6, 10} que suman n. Entonces tenemos que a(k, n) es el coeficiente
de xn del polinomio

(x + x2 + x3 + x4 + x5 + x6 + x10 )k .

Como el polinomio tiene coeficientes no negativos, para cualquier x > 0 tenemos que

a(k, n)xn < (x + x2 + x3 + x4 + x5 + x6 + x10 )k .

1
Entonces con x = 2 tenemos que
Å ãk Å ãk
1 1 1 1 1 1 1 1009
a(k, n) < 2n + + + + + + = 2n
2 4 8 16 32 64 1024 1024
Å ã
2018 k
= 2n .
2048
Å ã2018
2018
En particular, |S| = a(2018, 3860) < 23860 .
2048
 Concursos Estatales: Yucatán,
2022 – 4◦, 5◦ y 6◦ de Primaria

El pasado 5 de febrero de 2022 se llevó a cabo el concurso estatal de la olimpiada

mexicana de matemáticas en Yucatán 2022, en los niveles de Primaria, Secundaria y
Bachillerato. En el nivel Primaria, participaron estudiantes de 4◦ , 5◦ y 6◦ grado, de los
cuales fueron seleccionados 21, 19 y 20 estudiantes de cada grado, respectivamente, los
cuales fueron invitados a participar en los entrenamientos con los que se seleccionará
a la delegación yucateca para participar en el 6◦ concurso nacional de la olimpiada
mexicana de matemáticas para educación básica (OMMEB) a realizarse en el mes de
junio de forma virtual.
A continuación presentamos los problemas del examen estatal 2022 de la olimpiada
mexicana de matemáticas en Yucatán para 4◦ , 5◦ y 6◦ de Primaria. Los alumnos tuvie-
ron 2 horas para contestarlo. Al final están las respuestas del examen.

Sección A: Los problemas de esta sección valen 1 punto cada uno.

1. ¿Cuántos números entre 100 y 1000 cumplen que la cifra de las decenas es impar?

2. ¿De cuántas maneras diferentes puedes lograr 240 multiplicando dos números (por
ejemplo 24 × 10)? Nota: 24 × 10 y 10 × 24 son un ejemplo de dos maneras diferentes.

3. La figura muestra una ventana cuadrada de cristal que mide

30 cm en cada lado. En las esquinas hay adornos de color café
con forma de L y el centro es de cristal blanco. ¿Cuánto es el
resultado de restar el área de color blanco menos el área de color
café?

4. Ocho amigos se reúnen a comer pizza y toman el acuerdo de que todos tienen que
pagar la misma cantidad de dinero. Julia olvidó llevar su monedero, por lo que no
Yucatán, 2022 – 4◦ , 5◦ y 6◦ de Primaria 35

puede pagar. Entonces, sus amigos ponen 5 pesos más para completar la parte de Julia.
¿Cuánto se pagó en total por las pizzas?

5. Si las cuatro letras A, B, C y D representan dı́gitos diferentes y se cumplen la suma

y la resta siguientes, ¿cuánto vale D?

A B A B
+ C A − C A
D A A

Sección B: Los problemas de esta sección valen 2 puntos cada uno.

6. Drini está ahorrando. El 1 de febrero, pone 1 peso en una alcancı́a. El 2 de febrero
pone 3 pesos. El 3 de febrero pone 5 pesos. El 4 de febrero pone 7 pesos. ¿Cuánto
dinero tendrá después de poner las monedas del 28 de febrero?

7. ¿Cuántos números de 3 cifras cumplen que, si multiplicas sus cifras, el resultado es

24?

8. Imagina que tomas un cuadrado de cartulina cuyo lado mide 2 cm. Le pegas en un
lado un pentágono (cinco lados iguales) de cartulina, luego otro cuadrado de cartulina,
luego un hexágono (seis lados iguales), luego otro cuadrado, luego un heptágono (siete
lados iguales) y sigues pegando hasta llegar a un decágono (diez lados iguales). En la
figura te mostramos las primeras 5 piezas que se pegan. ¿Cuál es el perı́metro de la
figura completa que se forma?

2 cm

9. Si la figura mostrara un octágono regular que tuviera área de

400 cm2 y la parte sombreada se forma uniendo el centro con
un vértice (esquina) y un punto que está en la mitad de un lado,
¿cuánto valdrı́a el área que queda sombreada?
36 Concursos Estatales

10. Observa las siguiente serie de figuras. ¿Cuánto sumarán los números en los cuadros
de la figura 20, si continúas el patrón?

6
2 2
1 5 1 3 9 5 1 3 7
4 4
Figura 1
8
Figura 2
Figura 3

Sección C: Los problemas de esta sección valen 3 puntos cada uno.

11. Si pones 4 puntos en la orilla de un cı́rculo, como muestra la figura, puedes formar
6 lı́neas rectas uniéndolos. ¿Cuántas lı́neas rectas puedes formar si pones 10 puntos en
un cı́rculo?

12. Math Vader necesita construir urgentemente una escuela de Matemáticas, ası́ que
se dedica a encontrar colegas en todo el planeta que le ayuden a construirla. Los Geo-
metrucos le dicen que pueden construir la escuela en un año. Los Combinatóricos le
dicen que la pueden construir en un año y medio. Si en el planeta de Math Vader los
años duran 400 dı́as, ¿en cuántos dı́as construirán la escuela los Geometrucos y los
Combinatóricos trabajando juntos?

13. Julio va al parque cada 10 dı́as, Vı́ctor va al parque cada 8 dı́as y Bruno cada 6 dı́as.
Si se encontraron en el parque hace 9 dı́as, ¿cuántos dı́as faltan para que se vuelvan a
encontrar la siguiente vez?

14. En la figura se muestran dos cuadrados, el mayor tiene área 64 cm2 y el menor tiene
área 48 cm2 . ¿Cuánto vale la multiplicación de las medidas marcadas como a y b?

b
Yucatán, 2022 – 4◦ , 5◦ y 6◦ de Primaria 37

15. A continuación te mostramos dos formas de llenar una cuadrı́cula de 3 × 3 con los
números 1, 2, 3, de manera que no haya repeticiones en ningún renglón (horizontal) ni
en ninguna columna (vertical). ¿Cuántas maneras diferentes hay en total de llenar la
cuadrı́cula sin que haya repeticiones en renglones o en columnas?

1 2 3 3 2 1
3 1 2 2 1 3
2 3 1 1 3 2

RESPUESTAS
Sección A Sección B Sección C
1. 450 6. 784 pesos 11. 45
2. 20 7. 21 12. 240
3. 36 cm2 8. 94 cm 13. 111
4. 280 pesos 9. 125 cm2 14. 8 cm2
5. 9 10. 3003 15. 12
 5a Olimpiada Mexicana de
Matemáticas para Educación
Básica, Concurso Nacional
(Virtual)

Del 17 al 21 de junio de 2021 se llevó a cabo de manera virtual, el Concurso Nacional

de la 5a Olimpiada Mexicana de Matemáticas para Educación Básica (OMMEB). Par-
ticiparon 117 estudiantes de primaria, representando a 29 entidades federativas y, 149
estudiantes de secundaria, representando a 29 entidades federativas.
La OMMEB está compuesta por tres niveles:
a) Nivel I: Estudiantes de cuarto y quinto año de primaria.
b) Nivel II: Estudiantes de sexto año de primaria y de primer año de secundaria.
c) Nivel III: Estudiantes de segundo año de secundaria.
Cada delegación participa con un equipo de 3 estudiantes para cada uno de los tres
niveles. Cada estudiante presenta dos exámenes: uno individual y uno por equipos. Para
el Nivel I, la prueba individual consta de 15 problemas para resolver en 90 minutos.
Para los niveles II y III, la prueba individual consta de 15 problemas, separados en
Parte A y Parte B, para resolver en 120 minutos. La parte A consiste de 12 problemas
de respuesta cerrada que se califican como correcto o incorrecto. La parte B consiste
de 3 problemas de redacción libre.
En los tres niveles, la prueba por equipos consiste de 8 problemas, a resolver en 70
minutos. Se entregan los primeros 6 problemas a cada equipo y tienen 10 minutos para
discutirlos sin poder escribir. Cada integrante debe resolver al menos un problema y
tienen 35 minutos de trabajo individual. Al terminar ese tiempo, el equipo se vuelve a
reunir para intentar resolver 2 problemas adicionales en 25 minutos más.
En esta ocasión, los ganadores de medalla de oro en las pruebas individual y por equi-
pos del Nivel III, integran la preselección nacional, a partir de la cual se formarán los
equipos que representarán a México en la Competencia Internacional de Matemáticas
Nivel III 39

(IMC), a celebrarse en el verano de 2022.

Los alumnos ganadores de medalla de oro en las pruebas individual y por equipos del
Nivel III de la 5a OMMEB son los siguientes.

Nombre Estado Medalla

Alonso Baeza Quevedo Baja California Sur Oro individual
Alan Alejandro López Grajales Chiapas Oro individual
Mateo Iván Latapı́ Acosta Ciudad de México Oro individual
Héctor Juan Villarreal Corona Ciudad de México Oro individual
Javier Santiago Alfaro González Ciudad de México Oro por equipos
Emmanuel Buenrostro Briseño Jalisco Oro individual
Angela Marı́a Flores Ruiz Sinaloa Oro individual

En la prueba por equipos en el Nivel III, la Ciudad de México obtuvo el primer lugar
(con 265 puntos), el Estado de Jalisco obtuvo el segundo lugar (con 255 puntos) y el
Estado de Sinaloa obtuvo el tercer lugar (con 180 puntos).
Los resultados del Campeón de Campeones en el Nivel III fueron:
Primer lugar: Ciudad de México (con 501 puntos).
Segundo lugar: Jalisco (con 436 puntos).
Tercer lugar: Sinaloa (con 336 puntos).

A continuación presentamos los problemas y soluciones de los exámenes individual y

por equipos del Nivel III de la 5a OMMEB.

Prueba Individual, Nivel III

Parte A
1) En el interior de un cuadrado hay tres triángulos equiláteros como se muestra en
la figura. Si la suma de los ángulos a y b es 50◦ , ¿cuál es el valor de la suma, en
grados, de los ángulos c y d?

a d
b c

2) En una olimpiada participan cinco hermanos: Aldo, César, Hugo, Luis y Saúl. Sus
edades son 12, 13, 14, 17 y 25 años, pero no se sabe quién tiene cada edad. Sin
 40 5a OMMEB, Concurso Nacional 2021 (Virtual)

embargo, se sabe que si sumas la edad de Saúl y la de César, obtienes la edad de

Luis, mientras que si sumas la edad de Saúl y la de Aldo, obtienes el doble de la
edad de César. ¿Cuál es la edad de Hugo?
3) Rogelio escribe una lista de los divisores positivos de 10! de menor a mayor. Luego
multiplica los números que ocupan los lugares 10 y 261 de su lista. ¿Qué resultado
obtiene Rogelio?
4) Carolina planea vender crepas dulces y la forma de prepararlas es acompañarlas
con una o dos frutas diferentes y un aderezo. Carolina ha considerado utilizar como
aderezo chocolate, cajeta o mermelada de fresa. A ella le gustarı́a ofrecer a sus
clientes al menos 100 tipos de crepas distintas. ¿Cuál es la cantidad mı́nima de
frutas que debe ofrecer Carolina a sus clientes para garantizar al menos 100 tipos
de crepas distintas?
5) Ivannia escribió en el pizarrón la siguiente ecuación: m2 − n2 = 2021. Calcula la
suma de todos los posibles valores del último dı́gito de nm , tomando en cuenta que
m y n son enteros positivos.
6) ¿Cuántos números de siete dı́gitos hay para los cuales el producto de sus dı́gitos es
453 y la suma de sus dı́gitos no es un número primo?
7) Sea ABCD un trapecio con AB paralela a CD, AB = 14 cm, BC = 15 cm,
CD = 28 cm y DA = 13 cm. Encuentra el área, en cm2 , de ABCD.

A 14 B

13 15

D 28 C

8) La taquerı́a “El taco matemático” tiene dos promociones: Promo100, donde son tres
órdenes de tacos por 100 pesos, y Promo70, donde son dos órdenes de tacos por 70
pesos. Matilde quiere hacer una fiesta y quiere minimizar el dinero que gastará en
los platillos. Si ella quiere pedir exactamente 31 órdenes de tacos, ¿cuánto es lo
menos que puede gastar en pesos?
9) Determina cuántos enteros positivos a menores que 10000, satisfacen que 1010a −
1011 es múltiplo de 2021.
10) Se tiene un cubo con sus caras pintadas de 6 colores distintos, una de cada color.
Cada cara se separa en 4 cuadrados iguales trazando lı́neas perpendiculares a sus
lados que pasen por sus centros. En los 24 cuadrados que resultan de la división,
se acomodan los números del 1 al 24 de manera que después de colocarlos todos,
la suma de cada 3 números cuyos cuadrados tienen un vértice en común y este sea
un vértice del cubo sea múltiplo de 3 y, además, cada dos números cuyos cuadra-
dos estén en la misma cara del cubo y estos compartan un lado sumen también un
múltiplo de 3. Si el número de formas de realizar este acomodo se puede expresar
 Nivel III 41

de la forma a · (b!)c donde a, b y c son enteros positivos tales que a no es divisible

por el cuadrado de ningún número primo, determina el valor de a + b + c.
11) Los números reales positivos x, y, z satisfacen
x+y y+z z+x
= = .
z 5x 2y
Si el valor de la expresión x+2y m
3z se puede escribir de la forma n con m y n enteros
positivos cuyo máximo común divisor es igual a 1, encuentra m + n.
12) En la figura se observan dos circunferencias de radios 1 cm y 2 cm tangentes a una
recta horizontal. Una tercera circunferencia de radio 3 cm es tangente a las otras
dos circunferencias. ¿A qué distancia, en centı́metros, se encuentra el centro de la
tercera circunferencia de la recta horizontal?

2
?

Parte B
13) La siguiente figura muestra un hexágono regular cuyos vértices son A, B, C, D, E, F ,
un pentágono regular cuyos vértices son E, G, H, I, F , y un cuadrado cuyos vérti-
ces son I, F, K, J. ¿Cuánto mide, en grados, el ángulo ∠KAI?

G
H
E D

I
F C

J
K A B

14) David, Américo y Nicho tienen 12, 13 y 14 años, respectivamente. Al inicio, cada
uno de ellos tiene un número. Por turnos, siguiendo el orden de acuerdo a su edad
del menor al mayor, juegan al “Oportuno veinte veintiuno” que consiste en, durante
su turno, elegir y hacer uno de los siguientes movimientos:
 42 5a OMMEB, Concurso Nacional 2021 (Virtual)

Restar 3 a su número.
Multiplicar por 7 su número y al resultado sumarle 9.
Multiplicar por 4 su número y al resultado restarle 3.
Gana el primero que obtenga como resultado el número 2021. Si cada uno comienza
con el número de su edad, ¿quién ganará?
15) Los números reales x, y, z, N cumplen las siguientes ecuaciones:

x + y + z = 3,

N = x2 y 2 + 4z = y 2 z 2 + 4x = z 2 x2 + 4y.
Encuentra todos los posibles valores de N .

Prueba por Equipos, Nivel III

1) En la figura se observa un hexágono regular y una diagonal entre dos vértices opues-
tos. El área del triángulo B resulta de multiplicar por n el área del triángulo A. El
área del triángulo C resulta de multiplicar por m el área del triángulo A. Determina
el valor de 2n − m.

B
C A

2) Un número de 5 dı́gitos abcde es fósil si cumple las siguientes condiciones:

El número ab es múltiplo de 2.
El número abc es múltiplo de 3.
El número abcd es múltiplo de 4.
El número abcde es múltiplo de 5.
Por ejemplo, el número 10245 es fósil porque 10 es múltiplo de 2, 102 es múltiplo
de 3, 1024 es múltiplo de 4 y 10245 es múltiplo de 5. ¿Cuántos números fósiles
hay?
3) Sean a y c números reales diferentes de cero y diferentes entre sı́, tales que
4 4
a+ =c+ .
a c
Determina el valor del producto ac.
Nivel III 43

4) Encuentra el mayor entero positivo n tal que 7n divide a

49 · 1 · 1! + 49 · 2 · 2! + 49 · 3 · 3! + · · · + 49 · 49 · 49!.
(NOTA: Si n es un entero positivo, entonces n! = 1·2·3 · · · (n−1)·n. Por ejemplo,
3! = 1 · 2 · 3 = 6).
5) Ángel escribe en un pizarrón exactamente una vez cada uno de los números de la
forma ±1 ± 2 ± 3 ± · · · ± 8. Por ejemplo, uno de esos números que escribe es
−1 + 2 − 3 + 4 − 5 + 6 + 7 + 8 = 18. Determina la cantidad de números positivos
que escribe Ángel.
NOTA: si más de una expresión de la forma ±1 ± 2 ± 3 ± · · · ± 8 da el mismo
resultado positivo, entonces ese resultado se cuenta tantas veces como la cantidad
de expresiones que dan dicho resultado.
6) En la siguiente figura, se tiene un cuadrado ABCD y un triángulo equilátero CM E,
donde M es el punto medio del segmento AD. Sea N el punto medio de AB.
Encuentra la medida, en grados, del ángulo ∠N EB.

D C

A N B

7) Considera todos los números enteros de 7 dı́gitos que se forman con los dı́gitos 1,
2 y 3 de manera que el 3 aparezca exactamente 2 veces. ¿Cuántos de tales enteros
son divisibles entre 11?
8) Roberto y Tomás colorean por turnos los hexágonos del siguiente tablero. Empieza
Roberto y terminan una vez que hayan coloreado 12 hexágonos en total. Después
escriben en cada hexágono la cantidad de hexágonos coloreados con los que com-
parten un lado y por último suman todos los números de los hexágonos. Si la suma
total del tablero es múltiplo de 5, entonces gana Tomás, de otra forma gana Roberto.
44 5a OMMEB, Concurso Nacional 2021 (Virtual)

¿Quién tiene la estrategia ganadora y cuál es?

Por ejemplo, en la siguiente figura se muestra cómo terminarı́a una posible partida.

2
1 3
1 3 3
1 2 4 1
1 2 3 4 1
3 3 5 2
0 2 1
2 2
2

En este caso la suma es 54, por lo que ganó Roberto.

Soluciones de la Prueba Individual, Nivel III

1) La respuesta es 130◦ . Consideremos el hexágono formado por los dos vértices su-
periores del cuadrado y los cuatro vértices en los que están los ángulos marcados.
La suma de los ángulos internos de este hexágono es igual a 4(180◦ ). Sin embargo,
esta misma suma se puede expresar como la suma de los 2 ángulos rectos en los
vértices del cuadrado, de los 6 ángulos de 60◦ en los triángulos equiláteros y de los
ángulos marcados. Es decir, si S es la suma de ángulos buscada, entonces

2 (90◦ ) + 3 (120◦ ) + S + 50◦ = 4 (180◦ ) ,

de donde obtenemos que S = 130◦ .

2) La respuesta es 17. Para cada uno de los hermanos, su edad se denotará por la
primera letra de su nombre. Ası́, tenemos las ecuaciones

s + c = ℓ,
s + a = 2c.

De la primera, como cada una de las posibles edades es mayor a 10, entonces ℓ >
20, por lo que ℓ = 25 y, por ende, s y c son, en algún orden, 12 y 13. Si c = 12,
entonces s + a = 26 con s = 13, por lo que a = 13, lo cual es imposible. Esto
implica que c = 13 y s = 12, de donde se obtiene que a = 14 y, por lo tanto,
h = 17.

3) La respuesta es 10! = 3628800. Factorizando, obtenemos que

10! = 1 · 2 · 3 · 4 · 5 · 6 · 7 · 8 · 9 · 10 = 28 · 34 · 52 · 7,

por lo que 10! tiene (8 + 1)(4 + 1)(2 + 1)(1 + 1) = 270 divisores positivos.
Ordenando los divisores de menor a mayor, tenemos que el producto de cada pareja
de elementos en posiciones 1 y 270, 2 y 269, 3 y 268, . . . , 10 y 261, es igual a 10!.
Ası́, el resultado de Rogelio es 10! = 3628800.
Nivel III 45

4) La respuesta es 8. Tomando en cuenta que la crepa se acompaña de un aderezo,

podemos concluir que la cantidad total de crepas que se pueden ofrecer es tres
veces la cantidad de crepas diferentes con un aderezo en particular. Si hay n frutas,
entonces se pueden preparar n crepas acompañadas de una fruta y n2 = n(n−1)


2
crepas acompañadas de dos frutas. Ası́, buscamos el menor valor posible de n tal
que Å ã
n(n − 1)
3 n+ > 100.
2
En este caso, el menor valor de n que cumple lo anterior es n = 8.

5) La respuesta es 2. De la ecuación dada, tenemos que (m + n)(m − n) = 2021.

Además, 2021 = 43 · 47. Como 0 < m − n < m + n, hay únicamente dos
opciones:

m − n = 43 y m + n = 47. De aquı́ obtenemos que m = 45 y n = 2.

Ası́, buscamos el último dı́gito de 245 . Considerando que 21 ≡ 2 (mod 10),
22 ≡ 4 (mod 10), 23 ≡ 8 (mod 10), 24 ≡ 6 (mod 10), 25 ≡ 2 (mod 10)
y 45 ≡ 1 (mod 4), concluimos que 245 ≡ 1 (mod 10).
m − n = 1 y m + n = 2021. Luego, m = 1011 y n = 1010. El último dı́gito
de 10101011 claramente es 0.

Por lo tanto, la suma de todos los posibles valores del último dı́gito de nm es 2+0 =
2.

6) La respuesta es 210. Tenemos que 453 = 36 · 53 . Ası́, tres de las cifras del número
tienen que ser iguales a 5. Las cuatro restantes solo pueden ser 1, 3 o 9, y su producto
debe ser 36 . Las únicas opciones para lograr esto es que los cuatro dı́gitos restantes
sean 9, 9, 3 y 3, o 9, 9, 9 y 1, en algún orden.


de las cifras es igual a 39, el cual no es un número primo.
En el primer caso, la
suma
En este caso hay 73 42 22 = 210 números.
En el segundo caso, la suma de las cifras es igual a 43, el cual sı́ es un número
primo.
Por lo tanto, en total hay 210 números.

7) La respuesta es 252. Sea M el punto medio de CD. Tenemos que DM = M C =

14 = AB, lo cual implica que ABM D es un paralelogramo con AM = BC = 15
y BM = AD = 13. Por lo que el área de ABCD es el triple del área de un
triángulo de lados 13, 14 y 15.

A 14 B

13 15 13 15

D 14 M 14 C
46 5a OMMEB, Concurso Nacional 2021 (Virtual)

Como ese triángulo se puede construir con dos triángulos de lados 13, 12, 5 y 15,
12, 9, tiene altura 12 y área 84.

13 12 15

D 5 9 M

Por lo tanto, el área de ABCD es igual a 84 × 3 = 252.

Solución alternativa. Consideremos el triángulo ADM y tracemos su altura AE

desde el vértice A y sean h = AE, n = DE y EM = 14 − n como se muestra en
la figura.

13 h 15

D n E 14 − n M

Entonces, por el teorema de Pitágoras en los triángulos rectángulos AED y AEM ,

tenemos que 132 − n2 = h2 = 152 − (14 − n)2 , de donde (14 − n)2 − n2 =
152 −132 , esto es, 142 −28n = (15+13)(15−13) = 28(2). De aquı́, obtenemos que
28n = 142 − 2(28) = 2(7)(14) − 2(28) = 7(28) − 2(28) = (7 − 2)(28) = 5(28),
de donde
√ se sigue que √ n = 5. Por lo tanto, DE = n = 5, EM = 14 − n = 9,
h = 132 − 52 = 144 = 12 y el área de ABCD es igual a 84 × 3 = 252.
8) La respuesta es 1040. Denotemos por m y n al número de Promo100 y Promo70,
respectivamente. Sabemos entonces que 3m + 2n = 31. Buscamos minimizar
100m + 70n. Observemos que

100m + 70n = 105m + 70n − 5m = 35(3m + 2n) − 5m = 35 · 31 − 5m,

por lo que, para minimizar 100m + 70n, basta maximizar m. Como 3m + 2n = 31,
tenemos que m = 31−2n3 . Al querer maximizar m, se quiere minimizar n. Es claro
que para n = 0 y n = 1 no se obtiene un valor entero de m. Para n = 2 obtenemos
que m = 31−2(2)
3 = 9, donde 3(9) + 2(2) = 31. Por lo tanto, lo menos que puede
gastar Matilde es 100(9) + 70(2) = 1040 pesos.
 Nivel III 47

9) La respuesta es 4. Sea a un entero positivo menor que 10000. Si 1010a − 1011 es

múltiplo de 2021, entonces 1010a − 1011 = 2021x para algún entero x, esto es,
1010a = 2021x + 1011. Si multiplicamos esta ecuación por 2 y reducimos módulo
2021, obtenemos que −a ≡ 1 (mod 2021). Esto significa que a = 2021t − 1 para
algún entero t.
Si t ≤ 0, entonces a ≤ −1, ası́ que no hay soluciones en este caso.
Si t ≥ 5, entonces a ≥ 2021(5) − 1 = 10104 > 10000, ası́ que no hay soluciones
en este caso.
Si t = 1, 2, 3 o 4, entonces a = 2021, 4041, 6062 o 8083, respectivamente, los
cuales satisfacen la condición del problema.
Por lo tanto, solo hay 4 posibles valores de a.

10) La respuesta es 17. Analizando una esquina, podemos observar que tres cuadros que
comparten una esquina deben tener números que tengan todos sus residuos módulo
3 iguales o todos distintos. De analizar las caras del cubo notamos que al saber el
residuo módulo 3 de un número en algún cuadro, las congruencias de sus vecinos
quedan determinadas (al haber un único residuo que sume 0 con el del cuadro),
determinando ası́ las congruencias de toda su cara.
Si se toma una cara con una casilla que tiene un número divisible por 3, todos los
números en esa cara serán divisibles por 3. Ninguna de las caras vecinas a esta
pueden tener un múltiplo de 3, puesto que las esquinas que comparten indicarı́an
que las otras dos caras adyacentes a ambas tienen todas sus casillas con múltiplos
de 3, a pesar de solo haber 8 múltiplos de 3 entre 1 y 24. Ası́, los múltiplos de 3
estarán en dos caras opuestas y cada una de las demás caras tendrá en un patrón de
ajedrez números congruentes a 1 o 2 módulo 3.
Hay 3 formas de elegir las dos caras opuestas que tendrán a los múltiplos de 3, luego
hay 2 formas de escoger el patrón de ajedrez de números congruentes a i módulo 3
para cada i = 0, 1, 2. Esto resulta en un total de 6 × (8!)3 acomodos posibles. Por
lo tanto, la respuesta es 6 + 8 + 3 = 17.

11) La respuesta es 14. Si a, b, c y d son números reales tales que ab = dc , entonces

ad + cd = bc + cd, por lo que dc = a+c
b+d . En el problema, tenemos que

3x + 3y y+z 2z + 2x
= = ,
3z 5x 4y
de donde, usando lo mencionado al principio,

3x + 3y (3x + 3y) + (y + z) + (2z + 2x)

= = 1.
3z 3z + 4y + 5x
Por lo tanto,
x+y y+z z+x
= = = 1,
z 5x 2y
lo que implica que x + y = z. Usando esto en y+z x+2y
5x = 1, obtenemos que 5x = 1.
x+2y
Por consiguiente, y = 2x, lo que indica que z = 3x. Por lo tanto, 3z = x+4x
9x =
5
9 , de donde se concluye que la respuesta es 5 + 9 = 14.
 48 5a OMMEB, Concurso Nacional 2021 (Virtual)

√
12) La respuesta es 8 3 2 + 1 ≈ 4.76. Sean A, B y C los centros de las circunferencias
(como se muestra en la figura). Observemos que el triángulo ABC tiene lados de
longitudes 3 cm, 4 cm y 5 cm, por lo que es un triángulo rectángulo.
Tracemos la recta que pasa por B y que también es paralela a la recta horizontal.
Luego tracemos las perpendiculares AQ y CP como se observa en la figura.

Q B P

Ahora notemos que ∠CBP = 90◦ − ∠QBA = ∠BAQ por lo que los triángulos
AQB y BP C son semejantes. En el triángulo BP C tenemos √ que BC = 3 cm y
CP = 1 cm, por lo que, por Pitágoras, resulta que BP = √8 cm. De la semejan-
AQ
za anterior obtenemos que BC AB
= BP , de donde AQ = 4 3 8 cm. Finalmente, la
√ √
distancia de A a la recta horizontal es AQ + 1 = 4 3 8 + 1 = 8 3 2 + 1 ≈ 4.76 cm.

Parte B
13) Primero, observemos que AF = KF = IF , por lo que F es el circuncentro del
triángulo KAI. Como ∠KF I = 90◦ , entonces ∠KAI = 21 ∠KF I = 21 (90◦ ) =
45◦ .

14) Notemos que los tres movimientos no alteran el residuo módulo 3 del número de
cada uno. Como 2021 ≡ 14 (mod 3), el único que puede ganar es Nicho. La
siguiente sucesión de movimientos muestra que, en efecto, puede ganar:

14 → 11 → 86 → 83 → 80 → 77 → 74 → 71 → 506 → 2021.

15) De las igualdades dadas tenemos que x2 y 2 + 4z = y 2 z 2 + 4x, lo cual implica que
x2 y 2 − y 2 z 2 = 4x − 4z, esto es, y 2 (x2 − z 2 ) = 4(x − z). Si x 6= z, de la última
ecuación y de la primera ecuación dada obtenemos que 4 = y 2 (x + z) = y 2 (3 − y).
Esto se puede reescribir como 0 = y 3 − 3y 2 + 4 = (y − 2)2 (y + 1). Se sigue que,
si x 6= z, entonces y = −1 o y = 2. Análogamente, si x 6= y, entonces z = −1 o
z = 2, y si y 6= z, entonces x = −1 o x = 2.
Por consiguiente x, y y z no pueden ser todos diferentes. En efecto, asumiendo que
sı́, se obtiene una contradicción pues se tendrı́a que x, y y z serı́an cada uno −1 o
2, lo cual por el principio de las casillas, implica que hay dos iguales. De aquı́ se
tienen dos casos.
Nivel III 49

Si dos de x, y y z son iguales y el otro es diferente, sin pérdida de generalidad

podemos asumir que x 6= y y y = z. Ası́, se tiene que z = −1 o z = 2.
Si z = −1, entonces y = −1 y 3 = x + y + z = x − 2, por lo que x = 5.
Es claro que estos valores cumplen las ecuaciones dadas. Ası́, se obtiene que
N = (−1)2 (−1)2 + 4(5) = 21.
Si z = 2, entonces y = 2 y 3 = x + y + z = x + 4, por lo que x = −1. Estos
valores cumplen las ecuaciones dadas. Se llega a que N = (2)2 (2)2 +4(−1) =
12.
Si x = y = z, de la primera ecuación dada se concluye que x = y = z = 1,
valores que claramente cumplen las ecuaciones dadas. Ası́, N = (1)2 (1)2 +
4(1) = 5.
Por lo tanto, los únicos valores posibles de N son 5, 12 y 21.

Soluciones de la Prueba por Equipos, Nivel III

1) Sin pérdida de generalidad, supongamos que la base del triángulo A mide 1 cm.
Como los triángulos A, B y C tienen la misma altura (vertical), entonces la razón
entre áreas es igual a la razón entre bases. Esto indica que la base del triángulo B
(que es igual al lado del hexágono), es igual a n y la base del triángulo C es igual
a m. Como el hexágono de la figura es regular, entonces su diagonal principal mide
el doble del lado del hexágono, por lo que m + 1 = 2n, esto es, 2n − m = 1.

Solución alternativa. Sea h la distancia entre la diagonal principal trazada del

hexágono (cuya longitud se denota por d) y el lado horizontal superior del hexágono
(cuya longitud se denota por ℓ). Tenemos que d = 2ℓ, pues el hexágono es regular.
Entonces, el área del triángulo B es igual a 12 hℓ, mientras que el área del trapecio
formado por los triángulos A, B y C es igual a 21 (h)(3ℓ) = 23 hℓ. Si a denota el área
del triángulo A, entonces a+an+am = 32 hℓ y an = 12 hℓ, por lo que a+am = hℓ.
Se sigue que
1+m a + am hℓ
= = 1 = 2,
n an 2 hℓ
de donde 1 + m = 2n, esto es, 2n − m = 1.
2) Por el criterio de divisibilidad del 4, para que abcd sea múltiplo de 4, debemos tener
que cd es múltiplo de 4. Como hay 25 múltiplos de 4 que se pueden formar con dos
dı́gitos, tenemos 25 maneras de elegir al número cd.
Para que ab sea múltiplo de 2, b debe ser par. Por lo tanto, tenemos 5 maneras de
elegir al dı́gito b.
Para que abc sea múltiplo de 3, por el criterio de divisibilidad del 3 debemos tener
que a + b + c es múltiplo de 3. Si b + c es 3, 6, 9, 12, 15 o 18, entonces a debe
ser 3, 6 o 9. Si b + c es 4, 7, 10, 13 o 16, entonces a debe ser 2, 5 u 8. Si b + c es
2, 5, 8, 11, 14 o 17, entonces a debe ser 1, 4 o 7. En cualquier caso, a siempre tiene
3 opciones.
Finalmente, para que abcde sea múltiplo de 5, e debe ser 0 o 5, esto es, e tiene 2
50 5a OMMEB, Concurso Nacional 2021 (Virtual)

opciones.
En total hay 25 × 5 × 3 × 2 = 750 números fósiles.

3) La igualdad dada implica que a − c = 4c − a4 = 4(a−c)ac . Como a y c son diferentes,

tenemos que a − c 6= 0 y, de la última ecuación, concluimos que ac = 4.

4) Si k es un entero positivo, entonces k ·k! = k! [(k + 1) − 1] = (k + 1)!− k! Usando

esta relación y llamando S a la suma 49 · 1 · 1! + 49 · 2 · 2! + · · · + 49 · 49 · 49!,
tenemos que

S = 49 (1 · 1! + 2 · 2! + · · · + 49 · 49!)
= 49[(2! − 1!) + (3! − 2!) + · · · + (50! − 49!)] = 49 (50! − 1!) .

Como 49 | 50!, tenemos que mcd(49, 50! − 1) = 1, por lo que 7 no divide a 50! − 1.
Ası́, los únicos factores 7 de 49(50! − 1) son los factores 7 de 49, de los cuales hay
2.

5) El número total de números escritos por Ángel es 28 = 256, por la diferente elec-
ción de signo de los 8 números. Notemos que la cantidad de números positivos es
igual a la cantidad de números negativos, pues si una expresión da como resulta-
do un número positivo, invirtiendo los signos de los 8 números que pertenecen a
la operación se obtiene un número negativo (que corresponde al número positivo
mencionado anteriormente), por lo que basta enfocarse en aquellas expresiones cu-
yo resultado es 0. Para eso, los números del 1 al 8 se dividen en dos conjuntos A
y B dependiendo de cuáles serán positivos (conjunto A) y cuáles serán negativos
(conjunto B). Como el 8 pertenece a alguno de los dos conjuntos, sin pérdida de
generalidad se puede asumir que está en A y multiplicar por 2 la cantidad de formas
que se obtengan.
La suma de ambos conjuntos debe ser la misma. Como la suma de los 8 números es
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 = 36, en cada conjunto se debe sumar 18, por lo que
una vez puesto el 8 en A, el resto de los números de A deben sumar 18 − 8 = 10.
Ası́, obtenemos las siguientes posibilidades:

8, 1, 2, 3, 4; 8, 7, 2, 1; 8, 6, 3, 1; 8, 5, 3, 2; 8, 5, 4, 1; 8, 7, 3; 8, 6, 4.

Son 7 posibilidades si 8 está en A, por lo que Ángel escribe 7·2 = 14 veces el núme-
ro 0 en el pizarrón. Por lo tanto, la cantidad de resultados positivos es 256−14
2 = 121.

6) Observemos que CN = CM = M B, pues los tres segmentos son hipotenusas

de triángulos rectángulos cuyos catetos cumplen que uno de ellos es igual al lado
del cuadrado y el otro es igual a la mitad del lado del cuadrado. Más aún, por este
argumento, tenemos que los triángulos AM B y BN C son congruentes, por lo que
∠M BN = ∠N CB. Como ∠CBN = 90◦ , concluimos que los segmentos CN y
M B son perpendiculares.
Nivel III 51

D C

A N B

Sean α = ∠M EN y β = ∠BEC. De la construcción de la figura, como M E =

M C = M B y CE = CM = CN , tenemos que M y C son los circuncentros
de los triángulos ECB y EM N , respectivamente. Esto significa que ∠BM C =
2∠BEC = 2β y ∠M CN = 2∠M EN = 2α. Como M B y CN son perpendicu-
lares, entonces ∠BM C + ∠M CN = 90◦ . Esto quiere decir que 2α + 2β = 90◦ y,
por consiguiente, α + β = 45◦ . Por lo tanto,

∠N EB = ∠M EC − (∠M EN + ∠BEC) = 60◦ − (α + β) = 60◦ − 45◦ = 15◦ .

7) Sea n = abcdef g uno de los números buscados. Por el criterio de divisibilidad del
11, x = a + c + e + g − (b + d + f ) debe ser múltiplo de 11. Observemos que el
valor mı́nimo de x es (1 + 1 + 1 + 1) − (3 + 3 + 2) = −4, mientras que el valor
máximo de x es (3 + 3 + 2 + 2) − (1 + 1 + 1) = 7, por lo que x = 0 es el único
valor posible.
Sea y = a + c + e + g = b + d + f . Luego, la suma de los dı́gitos de n es 2y.
Observemos que el valor mı́nimo de 2y es 3 + 3 + 1 + 1 + 1 + 1 + 1 = 11 y el valor
máximo de 2y es 3 + 3 + 2 + 2 + 2 + 2 + 2 = 16, de donde se sigue que y puede
ser 6, 7 u 8.

Si y = 6, entonces no puede suceder que dos de los dı́gitos b, d y f sean 3,

al igual que con a, c, e y g. Entonces, dos de los dı́gitos b, d y f suman 3, lo
que implica que {b, d, f } = {3, 2, 1}, los cuales se pueden ordenar de 3! = 6
formas. Como tres de los dı́gitos a, c, e y g suman 3, entonces esos tres tienen
que ser iguales a 1 y el otro igual a 3, dando un total de 4 · 6 = 24 números en
este caso.
Si y = 7, como b + d + f = 7, entonces b, d, f deben ser 1, 3, 3 (en algún
orden) o 2, 2, 3 (en algún orden). En el primer caso, como a + c + e + g = 7 y
ninguno es 3, se tiene que tres de los dı́gitos deben ser 2 y el otro es 1, dando
3·4 = 12 números. En el segundo caso, uno de los números a, c, e, g es 3 y los
demás suman 4, por lo que los dı́gitos a, c, e, g son 1, 1, 2, 3 en algún orden,
52 5a OMMEB, Concurso Nacional 2021 (Virtual)

dando 3 · 42 21 = 36 números. Ası́, en este caso hay un total de 12 + 36 = 48

números que cumplen.
Si y = 8, como b + d + f = 8, la única opción es que b, d, f sean 2, 3, 3
en algún orden. Además, como a + c + e + g = 8 y ninguno es 3, entonces
a = c = e = g = 2. Se sigue que solo hay 3 números en este caso.
Por lo tanto, en total hay 24 + 48 + 3 = 75 números.
8) Tomás tiene estrategia ganadora. Para ver esto, observemos que cada vez que se
colorea un hexágono, la suma aumenta en la cantidad de hexágonos que lo rodean,
de modo que al considerar la cantidad de hexágonos que rodean a cada celda, se
obtiene un tablero como el que se muestra.

3
4 4
4 6 4
4 6 6 4
2 6 6 6 2
4 6 6 4
4 6 4
4 4
3

La estrategia es como sigue. Si Roberto colorea uno que tenga un 3, Tomás colorea
uno que tenga un 2 y viceversa. Lo mismo sucede con las celdas de 6 y 4: si Roberto
escoge una que tenga un 6, Tomás puede colorear una con un 4 y viceversa.
Como hay tantas celdas con un 3 como celdas como un 2, además de que hay doce
celdas con un 4 y nueve celdas con un 6, la estrategia de Tomás sı́ se puede llevar a
cabo pues se tomarán a lo mucho seis celdas con un 4 y a lo mucho seis celdas con
un 6.
Como Tomás solo está escogiendo números de manera que, después de su turno, la
suma sea un múltiplo de 5, la suma al final del juego deberá de ser múltiplo de 5.
 35a Olimpiada Mexicana de
Matemáticas
Concurso Nacional (Virtual)

Del 7 al 14 de noviembre de 2021 se llevó a cabo en forma virtual el Concurso Nacional

de la 35a Olimpiada Mexicana de Matemáticas, con la participación de 190 estudiantes
provenientes de los 32 Estados del paı́s.

Los 17 alumnos ganadores del primer lugar fueron:

1. Rogelio Guerrero Reyes (Aguascalientes).

2. Omar Farid Astudillo Marbán (Guerrero).
3. Daniel Alejandro Ochoa Quintero (Tamaulipas).
4. Ana Illanes Martı́nez de la Vega (Ciudad de México).
5. Diego Alfonso Villarreal Grimaldo (Nuevo León).
6. Eric Ransom Treviño (Nuevo León).
7. Karla Rebeca Munguı́a Romero (Sinaloa).
8. Leonardo Mikel Cervantes Mateos (Ciudad de México).
9. Luis Eduardo Martı́nez Aguirre (Nuevo León).
10. Vı́ctor Manuel Bernal Ramı́rez (Sinaloa).
11. Rosa Victoria Cantú Rodrı́guez (Ciudad de México).
12. Alonso Baeza Quevedo (Baja California Sur).
13. Adrián Arturo Garcı́a López (Jalisco).
14. Sebastián Montemayor Trujillo (Nuevo León).
15. Dariam Samuel Aguilar Garcı́a (Baja California).
16. Carlos Fernando Martı́nez Quintero (Ciudad de México).
17. Megan Ixchel Monroy Rodrı́guez (Hidalgo).

Los 9 alumnos preseleccionados para la Olimpiada Matemática de Centroamérica y el

Caribe fueron:
54 Concurso Nacional 2021, 35a OMM (Virtual)

1. Alonso Baeza Quevedo (Baja California Sur).

2. Emiliano Hernández Barranco (Morelos).
3. Leonardo Melgar Rubı́ (Morelos).
4. Andrea Sarahı́ Cascante Duarte (Morelos).
5. Rodrigo Saldı́var Mauricio (Zacatecas).
6. Iker Torres Terrazas (Chihuahua).
7. Alan Alejandro López Grajales (Chiapas).
8. Luis Veudi Vivas Pérez (Quintana Roo).
9. Ángela Marı́a Flores Ruiz (Sinaloa).

Las 12 alumnas preseleccionadas para la Olimpiada Europea Femenil de Matemáticas

fueron:

1. Ana Illanes Martı́nez de la Vega (Ciudad de México).

2. Karla Rebeca Munguı́a Romero (Sinaloa).
3. Rosa Victoria Cantú Rodrı́guez (Ciudad de México).
4. Megan Ixchel Monroy Rodrı́guez (Hidalgo).
5. Sandra Gabriela Garcı́a Barraza (Sonora).
6. Andrea Escalona Contreras (Morelos).
7. Alexandra Valdepeñas Ramı́rez (Coahuila).
8. Cynthia Naely López Estrada (Guanajuato).
9. Andrea Sarahı́ Cascante Duarte (Morelos).
10. Marcela Aguirre Valdez (Sinaloa).
11. Marı́a Fernanda López Tuyub (Yucatán).
12. Jimena Sofı́a Dı́az Sánchez (Zacatecas).

Aunque la participación en el Concurso Nacional es individual, es importante destacar

la labor que han llevado los estados de la República apoyando a sus concursantes.
Con el propósito de reconocer este trabajo, presentamos el registro de los estados que
obtuvieron los primeros 10 lugares en el Concurso Nacional de la 35a OMM.

1. Ciudad de México.
2. Nuevo León.
3. Sinaloa.
4. Morelos.
5. Jalisco.
6. Oaxaca.
7. Guerrero.
8. Tamaulipas.
9. Aguascalientes.
10. Hidalgo.
10. Yucatán.

En esta ocasión, el premio a la Superación Académica fue ganado por Oaxaca. El

segundo y tercer lugar de este premio lo ocuparon Guerrero y Baja California Sur,
respectivamente.
Concurso Nacional 2021, 35a OMM (Virtual) 55

A continuación presentamos los problemas y soluciones del 35 Concurso Nacional de

la OMM (Virtual). Los alumnos tuvieron dos sesiones de cuatro horas y media cada
una para resolverlos.

Problema 1. Los números positivos y distintos a1 , a2 , a3 , son tres términos conse-

cutivos de una progresión aritmética y, de la misma manera, los números positivos y
distintos b1 , b2 , b3 son tres términos consecutivos de una progresión aritmética. ¿Es po-
sible usar tres segmentos con longitudes a1 , a2 , a3 como bases y otros tres segmentos
con longitudes b1 , b2 , b3 como alturas (en algún orden), para construir tres rectángulos
con la misma área?
(Problema sugerido por David Torres Flores).

Solución de Rogelio Guerrero Reyes. Se probará que no es posible. Con el fin de

llegar a una contradicción, supongamos que sı́ es posible. Sin pérdida de generalidad,
podemos suponer que a1 < a2 < a3 y b1 < b2 < b3 . Si el rectángulo de base a1
tiene altura b1 o b2 , digamos bi , entonces su área es a1 bi , pero entonces el rectángulo
de altura b3 tiene de base a a2 o a3 , digamos aj . Como a1 < aj y bi < b3 , entonces
a1 bi < aj b3 , lo cual no es posible. Ası́, la base a1 está con la altura b3 y, análogamente,
a3 está con la altura b1 , por lo que la base a2 debe estar con la altura b2 .
De esto tenemos que
a1 b 3 = a2 b 2 = a3 b 1 . (1)
Ahora, se sabe que a2 = a1 +x y a3 = a1 +2x para algún x > 0, ası́ como b2 = b1 +y
y b3 = b1 + 2y para algún y > 0. Al sustituir en (1), obtenemos que
a1 (b1 + 2y) = (a1 + x)(b1 + y) = (a1 + 2x)b1 ,
lo cual es equivalente a
a1 b1 + 2a1 y = a1 b1 + a1 y + b1 x + xy = a1 b1 + 2b1 x
y, al restar a1 b1 , se llega a que
2a1 y = a1 y + b1 x + xy = 2b1 x. (2)
De la cadena anterior de igualdades se tiene que 2a1 y = 2b1 x, es decir, a1 y = b1 x.
Ası́, al usar la primera igualdad de (2), se tendrá que a1 y + b1 x = a1 y + b1 x + xy,
esto es, xy = 0, lo cual es imposible pues tanto x como y son positivos. Esta es la
contradicción buscada y, por lo tanto, no es posible construir tales rectángulos.

Problema 2. Sea ABC un triángulo tal que ∠ACB > 90◦ y sea D el punto de la recta
BC tal que AD es perpendicular a BC. Considera Γ la circunferencia de diámetro
BC. Una recta que pasa por D es tangente a la circunferencia Γ en P , corta al lado
AC en M (quedando M entre A y C) y corta al lado AB en N . Demuestra que M es
punto medio de DP si y solo si N es punto medio de AB.
(Problema sugerido por Alexis Jonathan Dorantes Vázquez).

Solución de Omar Farid Astudillo Marbán. Empezamos notando que la condición

∠ACB > 90◦ , implica que el punto D está sobre la recta BC más allá de C. Ahora,
56 Concurso Nacional 2021, 35a OMM (Virtual)

prolongamos la recta AC hasta que interseque a Γ en K, con C 6= K. Este punto existe,

ya que de lo contrario, se tendrı́a que AC es tangente a Γ y, como BC es diámetro,
entonces BC serı́a perpendicular a AC, lo cual contradice que ∠ACB > 90◦ . Además,
justo por el hecho de que ∠ACB > 90◦ , el punto K está en la extensión del lado AC
más allá de C. Dado que BC es diámetro de Γ, se tiene que ∠CKB = 90◦ pero, como
∠AKB = ∠CKB = 90◦ = ∠ADB, se tiene que el cuadrilátero ABKD es cı́clico.

N
P

B C D

Tenemos que M es punto medio de P D si y solo si M P = M D, si y solo si M P 2 =

M D2 . Por potencia desde M a Γ, se tiene que M P 2 = M C · M K y, por consiguiente,
M D2 = M C · M K. Luego, M es punto medio de P D si y solo si MD MK
MC = MD .
Esta última igualdad significa que los triángulos M CD y M DK son semejantes por
el criterio de semejanza LAL. Ası́, tenemos que M es punto medio de P D si y solo
si ∠M DC = ∠M KD = ∠AKD = ∠ABD, donde la última igualdad se debe a
que ABKD es cı́clico. Por lo tanto, M es punto medio de P D si y solo si ∠N BD =
∠ABD = ∠M DC = ∠N DB. Como ∠ADB = 90◦ , concluimos que M es punto
medio de P D si y solo si N es punto medio de AB (pues el punto medio de AB es la
intersección de la mediatriz de BD con AB).

Problema 3. Sean m, n ≥ 2 dos enteros. En una cuadrı́cula de m × n, una hormiga

empieza en el cuadrito inferior izquierdo y quiere caminar al cuadrito superior dere-
cho. Cada paso que da la hormiga debe ser a un cuadrito adyacente, de acuerdo a las
siguientes posibilidades: ↑, → y ր. Sin embargo, un malvado mago ha dejado caer
lava desde arriba y ha destruido algunos de los cuadritos, de forma tal que:
Si un cuadrito está destruido, entonces todos los cuadritos superiores a él también
están destruidos.
El número de cuadritos destruidos es mayor o igual a 0.
Concurso Nacional 2021, 35a OMM (Virtual) 57

Quedan suficientes cuadritos sin destruir para que la hormiga pueda llegar a la
meta.
Sea P el número de caminos de longitud par que puede seguir la hormiga. Sea I el
número de caminos de longitud impar que puede seguir la hormiga. Encuentra los
valores posibles de P − I.

Nota. La longitud de un camino es el número de pasos que da la hormiga. Por ejemplo,

se muestra un posible camino de longitud 8 en la figura de 6 × 7 siguiente, en la que
los cuadritos destruidos están sombreados y la meta está indicada con una estrella.

(Problema sugerido por Miguel Raggi Pérez y Gerardo Raggi Cárdenas).

Solución de Adrián Arturo Garcı́a López. A cada cuadrito de la cuadrı́cula en el

que no hay lava se le asigna el valor de P − I que le corresponde, es decir, se cuenta
la cantidad de caminos de longitud par y la cantidad de caminos de longitud par que
se pueden hacer desde la posición inicial de la hormiga hasta ese cuadrito y se restan
esas cantidades. Al cuadrito inicial de la hormiga se le asigna el valor de 1. Nótese que
a los cuadritos de la fila inferior de la cuadrı́cula se les asignarán los valores de 1 y
−1 alternadamente, ası́ como a los cuadritos de la columna izquierda de la cuadrı́cula.
Además, en la fila inferior de la cuadrı́cula, nótese que la suma de los números asigna-
dos a cualesquiera dos cuadritos adyacentes horizontales es igual a 0. En la figura de
abajo se muestra cómo se asignarı́an los números para un tablero de 6 × 7 en el que la
primera columna no tiene lava.

−1
1
−1
1
−1
1 −1 1 −1 1 −1 1

Ahora, para cualquier cuadrito que no esté en la primera columna o en la última fila,
nótese que este será el negativo de la suma de los números asignados a las casillas
58 Concurso Nacional 2021, 35a OMM (Virtual)

que están a la izquierda, abajo y en diagonal hacia la izquierda y abajo. En efecto,

supongamos que los cuadritos tienen los números asignados como se muestran en la
siguiente figura.

P1 − I1 P4 − I4

P2 − I2 P3 − I3

Ası́, se puede ver que P4 = I1 + I2 + I3 y que I4 = P1 + P2 + P3 , pues de cada

cuadrito se llega en un movimiento al cuadrito de arriba a la derecha. Entonces,

P4 − I4 = (I1 + I2 + I3 ) − (P1 + P2 + P3 )
= − [(P1 − I1 ) + (P2 − I2 ) + (P3 − I3 )] . (3)

Luego, suponiendo que no hay lava en la cuadrı́cula, se probará que en cada fila los
valores asignados en la cuadrı́cula se alternan entre 1 y −1, donde el primer valor
asignado es el que se encuentra en la columna de la izquierda. Se puede probar por
inducción sobre el número de filas en el que se encuentra (siendo la fila de abajo la
primera fila). En la primera fila es claro que se cumple. De ahı́, si en cierta fila se
cumple esto, en la siguiente se pueden calcular los valores asignados a los cuadritos de
izquierda a derecha usando (3). Sin embargo, se tendrı́a que (P2 − I2 ) + (P3 − I3 ) = 0,
por lo que (3) se convertirı́a en P4 −I4 = −(P1 −I1 ), es decir, (P4 −I4 )+(P1 −I1 ) = 0,
lo cual completa la inducción. De aquı́ se concluye que, cuando no hay lava en la
cuadrı́cula, el cuadrito de la esquina superior derecha cumple que P − I es igual a 1 o
−1, el cual depende de la paridad de m y n.
Por último, tomemos el caso en el que el tablero tiene lava. Sabemos que todas las filas
que no contengan lava van a cumplir que los números asignados a cualesquiera dos
cuadritos adyacentes horizontales sumarán 0. Fijémonos en la primera fila con lava.
Entonces todos los cuadritos a la derecha del cuadrito con lava que esté más a la derecha
en esa fila, tendrán como número asignado al 0, pues para calcular el número que se
les asigna se ocupan los cuadritos abajo y en diagonal hacia abajo y a la izquierda, los
cuales suman 0, mientras que el cuadrito de la izquierda tendrá lava o tendrá un 0. De
aquı́ se tiene que toda esa fila tendrá únicamente 0’s después del último cuadrito con
lava y, por lo tanto, los cuadritos en las siguientes filas hacia arriba también tendrán
como número asignado al 0. Como hay lava en algún cuadrito, por hipótesis también
hay lava en los cuadritos arriba de él. En particular debe haber lava en la fila de arriba,
lo cual implica que la esquina superior derecha tendrá un 0 como número asignado.
Por lo tanto, los posibles valores de P − I son −1, 0 y 1.
Concurso Nacional 2021, 35a OMM (Virtual) 59

Problema 4. Sea ABC un triángulo acutángulo escaleno con ∠BAC = 60◦ y orto-
centro H. Sean ωb la circunferencia que pasa por H y es tangente a AB en B y, ωc , la
circunferencia que pasa por H y es tangente a AC en C.
a) Prueba que ωb y ωc solamente tienen a H como punto común.
b) Prueba que la recta que pasa por H y el circuncentro O del triángulo ABC, es una
tangente común a ωb y ωc .
Nota: El ortocentro de un triángulo es el punto de intersección de sus tres alturas,
mientras que el circuncentro de un triángulo es el centro de la circunferencia que pasa
por sus tres vértices.
(Problema sugerido por Maximiliano Sánchez Garza).

Solución de Karla Rebeca Munguı́a Romero. Sean K y R los puntos de intersec-

ción de la recta HO con AB y AC, respectivamente. Como O es circuncentro y
∠BAC = 60◦ , tenemos que ∠BOC = 120◦ .
Sean HA , HB y HC los pies de las alturas en el triángulo ABC desde A, B y C, res-
pectivamente. Como ABHA HB y CAHC HA son cı́clicos, tenemos que ∠HB BC +
∠HC CB = ∠HA AC + ∠BAHA = 60◦ y ∠BHC = 120◦. Por lo tanto, BHOC es
cı́clico.

HB

O R
HC H
K

B HA C

Como OB = OC, resulta que ∠OHC = ∠OBC = 30◦ . De aquı́ se sigue que
∠KHB = 180◦ − ∠BHC − ∠OHC = 30◦ . De manera análoga, obtenemos que
∠RHC = 30◦ . Además, fijándonos en los triángulos ABHB y ACHC , vemos que
∠ABHB = 30◦ y ∠ACHC = 30◦ . Esto implica que los triángulos KBH y RCH
son isósceles.
Demostraremos que HO es tangente a ωb por contradicción. Sea H ′ la segunda inter-
sección de HO con ωb . Por potencia de un punto, tenemos que KB 2 = KH · KH ′ .
Sin embargo, por ser el triángulo KBH isósceles, esto implica que H = H ′ . De ma-
nera análoga se demuestra que HO es tangente a ωc en H, de donde ambos incisos se
siguen de inmediato.
60 Concurso Nacional 2021, 35a OMM (Virtual)

Problema 5. Para cada entero n > 0 con expansión decimal a1 a2 . . . ak definimos

s(n) como sigue:

Si k es par, s(n) = a1 a2 + a3 a4 + · · · + ak−1 ak .

Si k es impar, s(n) = a1 + a2 a3 + · · · + ak−1 ak .

Por ejemplo, si n = 123, entonces s(n) = 1 + 23 = 24 y, si n = 2021, entonces

s(n) = 20 + 21 = 41.
Decimos que n es digital si n es múltiplo de s(n). Muestra que entre cualesquiera 198
enteros positivos consecutivos, todos ellos menores a 2000021, hay uno de ellos que es
digital.
(Problema sugerido por Germán Puga Castillo).

Solución de Daniel Alejandro Ochoa Quintero. Demostraremos que 99 | s(99k)

para cada entero positivo k. Si 99k = a1 a2 . . . ak tiene una cantidad par de dı́gitos,
entonces

s(99k) = 10(a1 + a3 + · · · + ak−1 ) + (a2 + a4 + · · · + ak ).

En este caso, tenemos que s(99k) ≡ a1 + a2 + · · · + ak ≡ 0 (mod 9) y s(99k) ≡

−a1 + a2 − · · · + ak ≡ 0 (mod 11), lo cual implica que s(99k) ≡ 0 (mod 99).
Si 99k = a1 a2 . . . ak tiene una cantidad impar de dı́gitos, entonces

s(99k) = 10(a2 + a4 + · · · + ak−1 ) + (a1 + a3 + · · · + ak ).

En este caso, tenemos que s(99k) ≡ a1 + a2 + · · · + ak ≡ 0 (mod 9) y s(99k) ≡

a1 − a2 + · · · + ak ≡ 0 (mod 11), lo cual implica que s(99k) ≡ 0 (mod 99).
Notamos también que si n ≤ 9, 999, 999, entonces s(n) ≤ 3 · 99 + 9. En particular, si
n < 2000021 es múltiplo de 99, entonces s(n) ∈ {99, 2 · 99, 3 · 99}.
Entre 198 números enteros consecutivos, hay un múltiplo n de 198. Si s(n) 6= 3 · 99,
entonces s(n) | n. De otra forma, n ha de ser necesariamente igual a 1, 999, 998, el
cual también satisface s(n) | n. En cualquier caso, tenemos un número digital.

Problema 6. Determina todos los conjuntos no vacı́os C1 , C2 , C3 , . . . tales que cada

uno de ellos tienen un número finito de elementos y todos sus elementos son enteros
positivos, con la siguiente propiedad: Para cualesquiera enteros positivos m y n, la
cantidad de enteros positivos en el conjunto Cm más la cantidad de enteros positivos
en el conjunto Cn , es igual a la suma de los enteros positivos en el conjunto Cm+n .
Nota. Al denotar por |Ck | la cantidad de elementos del conjunto Ck y por Sk a la suma
de los elementos del conjunto Ck , la condición del problema es que para m, n enteros
positivos, se cumple
|Cm | + |Cn | = Sm+n .
(Problema sugerido por José Alejandro Reyes González).

Primera solución. Sea a la diferencia |C2 | − |C1 |. Para cualquier entero n ≥ 2, te-
nemos que |C1 | + |Cn | = Sn+1 = |C2 | + |Cn−1 |, por lo que |Cn | − |Cn−1 | =
Concurso Nacional 2021, 35a OMM (Virtual) 61

|C2 | − |C1 | = a es constante. Por lo tanto, |C1 |, |C2 |, |C3 |, . . . es una progresión
aritmética con
|Cn | = a(n − 1) + |C1 |,
para todo n ≥ 2. Si a < 0, entonces la sucesión |C1 |, |C2 |, |C3 |, . . . es estrictamente
decreciente de números enteros positivos, lo cual no es posible. Por lo tanto, tenemos
que a ≥ 0. Supongamos que a > 0. Como |C2 | + |C2 | = S4 = 2(a + |C1 |) y
|C4 | = 3a + |C1 |, tenemos que

S4 ≥ 1 + 2 + · · · + (3a + |C1 | − 1) + (3a + |C1 |).

Luego,
2(a + |C1 |) ≥ 1 + 2 + · · · + (3a + |C1 | − 1) + (3a + |C1 |),
lo cual implica que

0 ≥ 1 + 2 + · · · + (3a + |C1 | − 2) + (3a + |C1 | − 1) + (3a + |C1 |) − 2(a + |C1 |)

= 1 + 2 + · · · + (3a + |C1 | − 2) + (4a − 1)
> 0,

que es una contradicción. Esto significa que a = 0 y, por consiguiente, |Cn | = b, para
todo n ≥ 1, donde b es una constante y Sn = 2b, para todo n ≥ 2. Luego, para n ≥ 2
tenemos Cn tiene b elementos (por las condiciones del problema b > 0) y, por lo tanto,
2b = Sn ≥ 1 + 2 + · · · + b = b(b+1)2 . Esto se simplifica como b ≤ 3.
Si b = 1, buscamos conjuntos Cn con 1 elemento tales que Sn = 2, por lo que la única
solución es |C1 | = 1 y {2} = C2 = C3 = · · · .
Si b = 2, buscamos conjuntos Cn con 2 elementos tales que Sn = 4. Como los dos
elementos son distintos, la única solución es |C1 | = 2 y {1, 3} = C2 = C3 = · · · .
Si b = 3, buscamos conjuntos Cn con 3 elementos tales que Sn = 6. Como los ele-
mentos son diferentes, la única solución es |C1 | = 3 y {1, 2, 3} = C2 = C3 = · · · .
P
Segunda solución. Sea Si = x∈Ci x, para i = 2, 3, . . . La condición del problema
es que para todos m, n enteros positivos, se tiene que

|Cm | + |Cn | = Sm+n .

Supongamos que C1 , C2 , C3 , . . . es una sucesión que cumple la condición. Sea k el

mı́nimo elemento del conjunto L = {|C1 |, |C2 |, |C3 |, . . . }, el cual existe porque L es
un conjunto de enteros positivos, y sea Cj un conjunto tal que |Cj | = k.
Tenemos que 2j − 1 ≥ 2 − 1 = 1, |C1 | ≥ k y |C2j−1 | ≥ k. Entonces,

2k = |Cj | + |Cj | = S2j = |C1 | + |C2j−1 | ≥ k + k,

de donde se cumple la igualdad. En particular, tenemos que |C1 | = k.

Como |C2 | ≥ k, resulta que S2 ≥ 1 + 2 + · · · + k = k(k+1)
2 , lo cual implica que

k(k + 1)
2k = |C1 | + |C1 | = S2 ≥
2
62 Concurso Nacional 2021, 35a OMM (Virtual)

de donde 4 ≥ k + 1, esto es, 3 ≥ k.

Consideremos los conjuntos A1 = {2}, A2 = {1, 3} y A3 = {1, 2, 3}. Notemos que
|Ak | = k para k = 1, 2, 3.

Lema. Si Si = 2k, entonces Ci = Ak .

Demostración. Si k = 1, entonces Ci no puede tener más de un elemento o si no

tendrı́amos Si ≥ 1 + 2 > 2. Entonces Ci tendrá solo un elemento que debe ser 2 para
que Si = 2.
Si k = 2, entonces Ci no puede tener más de dos elementos o si no tendrı́amos Si ≥
1+2+3 > 4. Entonces Ci tendrá exactamente dos elementos y, como 1+3 = 2+2 = 4
son las únicas maneras de sumar 4 con dos enteros positivos, Ci = A2 .
Si k = 3, entonces Si ≥ 1+2+3 y, como se da la igualdad, debemos tener exactamente
Ci = A3 , lo cual termina la demostración del lema. 

Ahora, demostraremos por inducción que Ak = C2 = C3 = · · · .

En efecto, S2 = |C1 | + |C1 | = 2k, de donde C2 = Ak por el lema anterior, lo que

prueba la base de inducción. Para n ≥ 3, supongamos que Cn−1 = Ak , de donde
|Cn−1 | = |Ak | = k, luego Sn = |C1 | + |Cn−1 | = k + k = 2k por la hipótesis de
inducción, de donde Cn = Ak por el lema anterior. Ası́ que los conjuntos que cumplen
la condición deben cumplir que |C1 | = k ≤ 3 y Ak = C2 = C3 = · · · y es fácil
verificar que tales conjuntos satisfacen la condición del problema, por lo que son todas
las soluciones.
 Apéndice

Definición 1 (Divisibilidad). Si a y b son enteros, se dice que a divide a b o que b es

múltiplo de a si b = aq para algún entero q, y se denota por a | b.
Definición 2 (Congruencias). Dados dos enteros a, b y un entero positivo m, decimos
que a es congruente con b módulo m si a − b es múltiplo de m. En este caso escribimos
a ≡ b (mod m).
Teorema 1 (Propiedades de las congruencias). Sean a, b, c, d, m enteros con m ≥ 1.
1. Si a ≡ c (mod m) y c ≡ d (mod m), entonces a ≡ d (mod m).
2. Si a ≡ c (mod m) y b ≡ d (mod m), entonces ab ≡ cd (mod m).
3. Si a ≡ c (mod m), entonces an ≡ cn (mod m) para todo entero positivo n.
m
4. Si ab ≡ bc (mod m), entonces a ≡ c (mod (b,m) ) donde (b, m) denota el
máximo común divisor de b y m.
Teorema 2 (Pequeño de Fermat). Si p es un número primo y a es un entero primo
relativo con p, entonces ap−1 ≡ 1 (mod p).
Teorema 3 (Inducción). El método de inducción se usa para demostrar que una pro-
posición P (n) es verdadera para todo entero n ≥ k0 , donde k0 es un entero fijo. El
método funciona de la siguiente manera:
1. Caso base: Se demuestra que P (k0 ) es verdadera.
2. Hipótesis de inducción: Se supone verdadera la proposición P (k) para algún
entero k ≥ k0 .
3. Se demuestra que P (k + 1) es verdadera.
Concluimos entonces que P (n) es verdadera para todo entero n ≥ k0 .
Teorema 4 (Principio de las Casillas). Si kn + 1 objetos son colocados en n casillas,
entonces al menos una casilla contiene k + 1 objetos.
Apéndice 75

Teorema 5 (Combinaciones). Dado un conjunto A de n elementos, una combinación

de m elementos de A, es un subconjunto de A formado
de m elementos. El número de
n
combinaciones de m elementos de A, denotado por m , es igual a
Ç å
n n!
= ,
m (n − m)!m!

donde n! denota el producto 1 · 2 · · · n.

Teorema 6 (Binomio). Para a y b números cualesquiera y n un entero no negativo se
cumple que
n Ç å
n
X n k n−k
(a + b) = a b .
k
k=0

Teorema 7 (Desigualdad MA-MG: media aritmética - media geométrica). Si x1 , x2 ,

. . . , xn son números reales positivos, entonces
x1 + x2 + · · · + xn √
≥ n x1 x2 · · · xn
n
y la igualdad se cumple si y solo si x1 = x2 = · · · = xn .
Teorema 8 (Suma de los ángulos internos de un triángulo). La suma de los ángulos
internos de un triángulo es 180◦ .
Teorema 9 (Pitágoras). En un triángulo rectángulo, el cuadrado de la hipotenusa es
igual a la suma de los cuadrados de los catetos.
Definición 3 (Congruencia de triángulos). Los triángulos ABC y A′ B ′ C ′ son con-
gruentes si los ángulos y los lados del triángulo ABC son iguales a los ángulos y los
lados del triángulo A′ B ′ C ′ .
Criterio 1 (Criterio de congruencia LLL). Un criterio de congruencia de triángulos
nos dice que si tenemos dos triángulos con sus tres lados correspondientes iguales,
entonces son congruentes. A este criterio se le llama lado-lado-lado y lo denotamos
como LLL.
Criterio 2 (Criterio de congruencia ALA). Un criterio de congruencia de triángulos
nos dice que si tenemos dos triángulos con un lado igual y dos ángulos adyacentes
iguales, entonces son congruentes. A este criterio se le conoce como ángulo-lado-
ángulo y lo denotamos como ALA.
Definición 4 (Semejanza de triángulos). Los triángulos ABC y A′ B ′ C ′ son semejan-
tes, si sus ángulos respectivos son iguales, es decir, ∠ABC = ∠A′ B ′ C ′ , ∠ACB =
∠A′ C ′ B ′ y ∠BAC = ∠B ′ A′ C ′ ; y sus lados homólogos son proporcionales, esto es
AB BC CA
A′ B ′ = B ′ C ′ = C ′ A′ .

Criterio 3 (Criterio de semejanza AA). Si dos pares de ángulos correspondientes de

los triángulos ABC y A′ B ′ C ′ son iguales, entonces los triángulos son semejantes. A
esta relación le llamamos ángulo-ángulo y la denotamos como AA.
76 Apéndice

Teorema 10 (Tales). Si ABC es un triángulo y D, E son puntos sobre los lados AB

y CA, respectivamente, entonces los segmentos DE y BC son paralelos si y solo si
AB AC
AD = AE .

Teorema 11 (Bisectriz). Dado un triángulo ABC y un punto D sobre el lado BC, se

tiene que BD BA
DC = AC .

Teorema 12 (Ceva). Si L, M y N son puntos sobre los lados (o extensiones) BC, CA y

AB, respectivamente, del triángulo ABC, entonces AL, BM y CN son concurrentes
si y solo si BL CM AN
LC · MA · N B = 1.

Teorema 13 (Menelao). En un triángulo ABC, si L, M y N son puntos sobre los

lados BC, CA y AB, respectivamente (o sobre sus extensiones), entonces L, M y
N son colineales si y solo si BL CM AN
LC · MA · N B = −1, donde los segmentos se están
considerando como segmentos dirigidos.
Definición 5 (Ángulos en la circunferencia).

1. Ángulo inscrito. Es el ángulo formado por dos cuerdas que comparten un punto
común.
2. Ángulo seminscrito. Es el ángulo formado por una cuerda y la tangente a la
circunferencia en un punto común.
3. Ángulo central. Es el ángulo formado por dos radios.
Teorema 14 (Medida del ángulo inscrito). La medida de un ángulo inscrito en una
circunferencia es igual a la mitad del ángulo central que abre el mismo arco.
Teorema 15 (Medida del ángulo seminscrito). La medida de un ángulo seminscrito en
una circunferencia es igual a la mitad del ángulo central que abre el mismo arco.
Teorema 16 (Potencia de un punto).
1. Si dos cuerdas AB y CD de una circunferencia se intersectan en un punto P ,
entonces P A · P B = P C · P D.
2. Si A, B y T son puntos sobre una circunferencia y la tangente en T intersecta
en un punto P a la prolongación de la cuerda AB, entonces P T 2 = P A · P B.
Definición 6 (Cuadrilátero cı́clico). Un cuadrilátero es cı́clico si sus cuatro vértices
están sobre una misma circunferencia.
Teorema 17 (Cuadrilátero cı́clico). Un cuadrilátero convexo ABCD es cı́clico si y
solo si la suma de los ángulos opuestos es igual a 180◦ , esto es, ∠DAB + ∠BCD =
∠ABC + ∠CDA = 180◦ .
Teorema 18 (Circuncı́rculo e Incentro). Si Ω es el circuncı́rculo de un triángulo ABC,
I es el incentro y M es la intersección de AI con Ω, entonces M I = M B = M C.