TZALOA

TZALOA
Revista de la Olimpiada
Mexicana de Matemáticas
Año 2015, No. 1
Comité Editorial:
Marco Antonio Figueroa Ibarra
Luis Eduardo Garcı́a Hernández
Carlos Jacob Rubio Barrios
Pedro David Sánchez Salazar
Comité de la Olimpiada Mexicana de Matemáticas
Cubı́culo 201
Departamento de Matemáticas
Facultad de Ciencias, UNAM
Circuito Interior s/n
Ciudad Universitaria
Coyoacán C.P. 04510
México D.F.
Teléfono: (55) 56-22-48-64
www.ommenlinea.org
Editor: Carlos Jacob Rubio Barrios

Diseño de Portada: Manuel Macı́as Beckmann
www.rayaenmedio.com
Impreso: Torre y de la Torre Impresos

Aragón no. 134
Col. Álamos, 03400
México D.F.
Teléfonos: (55) 55-30-14-82 y (55) 55-38-34-53
Queda
c estrictamente prohibida la reproducción parcial o total por cualquier sistema
o método, mecánico o electrónico, sin autorización previa del autor.
Impreso y hecho en México.
Febrero de 2015.
Contenido
Presentación IV
Artı́culos de matemáticas: El Máximo Común Divisor 1
Problemas de práctica 14
Soluciones a los problemas de práctica 18
Problemas de Entrenamiento 24
Problemas de Entrenamiento. Año 2015 No. 1 24
Soluciones a los Problemas de Entrenamiento. Año 2014 No. 2 26
Concursos Estatales 33
Olimpiada Estatal de Jalisco, 2014 33
Concurso Nacional 2014, 28a Olimpiada Mexicana de Matemáticas 35
Problemas y Soluciones de Concursos Internacionales 45

XXIX Olimpiada Iberoamericana de Matemáticas 45
Información Olı́mpica 53
Apéndice 56
Bibliografı́a 59
Directorio 61
Presentación
Tzaloa1 , la revista oficial de la Olimpiada Mexicana de Matemáticas (OMM), es una

publicación trimestral editada por la Sociedad Matemática Mexicana (SMM). Los ar-
tı́culos, problemas, soluciones, exámenes y demás información que en ella encon-
trarás, fueron seleccionados con el fin de apoyar a profesores y estudiantes de nivel
medio superior que cada año se preparan para participar en los distintos concursos de
matemáticas que se realizan dentro y fuera de nuestro paı́s.
Además de ello, Tzaloa es una publicación de interés para un público más amplio.
Aunque está concebida para satisfacer las necesidades de la comunidad olı́mpica, su
columna vertebral es la resolución de problemas, por lo que también resulta de gran
valor para todo aquel que guste de hacer matemáticas. El enfoque centrado en los ra-
zonamientos, el contenido expuesto con rigor pero sin formalismos innecesarios o ex-
cesivos, ası́ como su tendencia al uso de matemática simple y elegante, son algunas de
las caracterı́sticas que hacen del material expuesto un recurso valioso para profesores,
estudiantes, aficionados y hasta profesionales de las matemáticas.
Tzaloa, Año 2015, Número 1

Con este número, Tzaloa inicia su séptimo año de publicaciones trimestrales ininte-
rrumpidas. La consistencia de su publicación en el contexto nacional, es un ejemplo
de la gran generosidad de muchos profesores y estudiantes que con su trabajo compro-
metido contribuyen al proyecto.
Pasando al contenido, destaca el artı́culo: El Máximo Común Divisor, contribución de

Carlos J. Rubio y Alejandro Lara. En muchos de los problemas de olimpiada rela-
cionados con temas de divisibilidad o con la teorı́a de números es muy frecuente el uso
del máximo común divisor. Estamos seguros que este trabajo será apreciado por todos
nuestros lectores, desde los principiantes hasta los más avanzados.
Por otro lado, en la sección Concursos Estatales encontrarás el examen estatal de Jalis-
1 Vocablo náhuatl cuyo significado en español es aprender.
Presentación V
co del año 2014. Agradecemos a Julio Rodrı́guez Hernández por habernos propor-
cionado el material y aprovechamos invitar a los delegados estatales a que nos envı́en
sus propuestas de exámenes que utilizan para seleccionar a las delegaciones que repre-
sentan a sus estados en el concurso nacional. Estamos seguros que la difusión a nivel
nacional de estos materiales locales, tiende puentes que favorecen el intercambio entre
los estados.
En la sección nacional encontrarás los resultados completos del concurso nacional de

la 28a Olimpiada Mexicana de Matemáticas, incluyendo los nombres de todos los
ganadores de primer lugar ası́ como el ranking actualizado por estados de la república.
Además, también incluimos el examen que se aplicó en dicha ocasión junto con las
mejores soluciones de los alumnos ganadores.
En la sección internacional hallarás los resultados y el examen con soluciones de la

XXIX Olimpiada Iberoamericana de Matemáticas.
Como siempre, hemos preparado una cuidadosa selección de Problemas de Práctica y

de Entrenamiento, mismas que esperamos sean útiles para tu preparación. Por último,
no olvidamos incluir toda la información detallada del calendario 2015, ası́ como los
datos actualizados de los delegados estatales y del Comité Olı́mpico Nacional.
México y las Olimpiadas de Matemáticas
Desde sus inicios la Sociedad Matemática Mexicana ha venido impulsando vigorosa-

mente los trabajos de la Olimpiada Mexicana de Matemáticas (OMM). Este programa
solo es posible gracias a la participación de miles de jóvenes estudiantes y a la entu-
siasta colaboración de muchos profesores quienes, de manera espontánea y altruista,
han dedicado sus esfuerzos a mejorar la enseñanza y elevar la cultura matemática de
nuestro paı́s. Motivados por el movimento olı́mpico, en escuelas ubicadas a lo largo de
todo el territorio nacional, se han desarrollado innumerables talleres de resolución de
problemas, donde estudiantes y profesores trabajan con el único afán de incrementar
sus capacidades para el razonamiento, el análisis y la creatividad matemática.
En el ámbito internacional, mediante la destacada participación de las delegaciones

mexicanas en diversos concursos, la Olimpiada Mexicana de Matemáticas ha contribui-
do a elevar el prestigio de la matemática nacional. Pero, más importante aún ha sido
la contribución que el movimiento olı́mpico ha tenido para el desarrollo cientı́fico del
paı́s. En muchos casos, la detección temprana de jóvenes con talento matemático ex-
cepcional ha permitido brindarles una formación adecuada para desarrollar al máximo
todo su potencial. Asimismo, la participación en los concursos olı́mpicos ha definido
las vocaciones de muchos otros estudiantes. Universidades de todo el paı́s se han vis-
to beneficiadas con el ingreso de jóvenes ex-olı́mpicos, mismos que cuentan con una
sólida formación matemática y muchos de los cuales han permanecido en ellas para
dedicar su vida profesional a la docencia y la investigación.
VI Presentación
29a Olimpiada Mexicana de Matemáticas
El programa anual de la Olimpiada Mexicana de Matemáticas se desarrolla en 3 etapas:

Concursos Estatales.
Concurso Nacional.
Entrenamiento, selección y participación de las delgaciones nacionales que re-
presentan a México en concursos internacionales.
En la 29a Olimpiada Mexicana de Matemáticas podrán participar los estudiantes de
México nacidos después del 1◦ de agosto de 1996. Los concursantes deberán estar ins-
critos en una institución preuniversitaria durante el primer semestre del ciclo escolar
2015-2016 y, para el 1◦ de julio de 2016, no deberán haber iniciado estudios universi-
tarios. Para mayor información puedes consultar la página:
http://www.ommenlinea.org.
Para la primera etapa, los participantes deberán inscribirse directamente con el Comi-
té Estatal correspondiente.
El Concurso Nacional de la 29a Olimpiada Mexicana de Matemáticas se realizará en el

mes de noviembre de 2015 en algún estado de la República Mexicana. A los primeros
lugares de este certamen se les invitará a la etapa de entrenamiento y selección que se
realizará durante aproximadamente diez dı́as de cada seis semanas a partir de diciembre
de 2015 y hasta la fecha de celebración del concurso internacional correspondiente.
Los alumnos que continúen en los entrenamientos nacionales en el mes de marzo, pre-
sentarán el examen de la XXVIII Olimpiada de la Cuenca del Pacı́fico.
Con base en el desempeño de los participantes durante ese periodo, se elegirá a los in-
tegrantes de las delegaciones mexicanas que asistirán a la 57a Olimpiada Internacional
de Matemáticas (Hong Kong, julio de 2016) y a la XXXI Olimpiada Iberoamericana
de Matemáticas (septiembre de 2016).
De entre los concursantes nacidos en 1999 o después y premiados en el Concurso Na-

cional se seleccionará la delegación que representará a México en la XVIII Olimpiada
Matemática de Centroamérica y el Caribe (junio de 2016).
De entre los más jóvenes se seleccionará la delegación mexicana que nos represen-
tará en la Competencia Internacional de Matemáticas (IMC).
De entre las mujeres participantes se seleccionará a la delegación que representará a

México en la V Olimpiada Europea Femenil de Matemáticas (EGMO)2 a celebrarse en
el mes de abril de 2016.
2 La Olimpiada Europea Femenil de Matemáticas nace en 2012 como una manera de estimular la par-
ticipación femenil en olimpiadas de matemáticas, siguiendo el ejemplo de China que ya contaba con una
olimpiada exclusiva para mujeres. El modelo de competencia de esta olimpiada es el mismo que el de la
IMO, con la diferencia de que las delegaciones nacionales son de cuatro participantes en lugar de seis. A
pesar de que la olimpiada es europea, es posible la participación de equipos no europeos por invitación.
El Máximo Común Divisor
Por Carlos Jacob Rubio Barrios y José Alejandro Lara Rodrı́guez
Nivel Intermedio
Divisibilidad
Si a y b son números enteros, se dice que a divide a b, denotado por a | b, si b = ac
para algún entero c. En este caso se dice que a es un divisor de b. Otras formas de decir
que a divide a b son:
a es un factor de b,
b es un múltiplo de a,
b es divisible entre a.
Si a no divide a b, se escribe a ∤ b.
Si a y b son enteros, una combinación lineal de a y b es un entero de la forma ax + by
donde x, y son enteros.
En el siguiente teorema se presentan algunas propiedades útiles de la divisibilidad.
Teorema 1.
1. Propiedad reflexiva: Para cualquier entero a, se tiene a | a.
2. Propiedad transitiva: Si a | b y b | c, entonces a | c.
3. Un entero c divide a los enteros a y b si y solamente si c divide a cualquier
combinación lineal de a y b:
c | a y c | b ⇔ c | (ax + by) para cualesquiera enteros x, y.
4. a | b y b | a si y solamente si a = ±b.
5. Sea m un entero distinto de cero. Entonces a | b si y solamente si ma | mb.
2 El Máximo Común Divisor
Demostración. Todas las pruebas son inmediatas de la definición.
1. Es evidente que a = a · 1.
2. Si b = aq1 y c = bq2 , con q1 y q2 enteros, entonces c = (aq1 )q2 = a(q1 q2 ).
3. ⇒): Como c | a y c | b, existen enteros q1 , q2 tales que a = cq1 y b = cq2 . Por

lo tanto ax = cq1 x y by = cq2 y. Sumando término a término y factorizando c
se tiene que ax + by = c(q1 x + q2 y), lo que demuestra que c siempre divide a
ax + by.
⇐): Como c divide a cualquier combinación lineal de a y b, en particular, c |
(a · 1 + b · 0) y c | (a · 0 + b · 1); es decir, c | a y c | b.
4. Supongamos primero que a | b y b | a. Primero se observa que si a = 0 entonces

b = 0 ya que a | b y se cumple 0 = ±0. Recı́procamente, si b = 0, entonces a
es cero y también se cumple a = ±b. Supongamos que ni a ni b son cero. De
la hipótesis se sigue que existen enteros u1 , u2 tales que b = au1 y a = bu2 .
Esto implica que b = bu2 u1 y a = au1 u2 y por tanto u1 u2 = 1. Entonces
u1 = u2 = 1 o u1 = u2 = −1. Luego a = b o a = −b.
Recı́procamente, supongamos que a = ±b. Por definición se tiene b | a. También
se tiene b = ±a y por lo a | b.
5. Si a | b, entonces b = ac para algún entero c. Multiplicando ambos lados de la

igualdad por m, se obtiene mb = mac lo que indica que ma | mb (observe que
no importa que m sea cero o distinto de cero).
Recı́procamente, si ma | mb, entonces existe algún entero c tal que mb = mac.
Como m 6= 0, aplicando la ley de la cancelación se obtiene b = ac.
Algunos casos particulares del Teorema 1 se presentan en el siguiente
Corolario 1.
1. Si a | b, entonces a | bx para cualquier entero x.
2. Si c | a y c | b, entonces c | (±a ± b).
Demostración. 1. Por hipótesis a | b y como siempre sucede que a | 0, entonces

a | (bx + 0y) para cualesquiera enteros x, y, esto es, a | bx .
2. De la hipótesis se sigue que c divide a cualquier combinación lineal de a y b, y

cada uno de los enteros a + b, a − b, −a + b y −a − b es una combinación lineal
de a y b.
Teorema 2. Sean a y b números enteros.
1. a | |a| y |a| | a.
El Máximo Común Divisor 3
2. Las siguientes condiciones son equivalentes:

a) a | b.
b) |a| | |b|.
Demostración. 1. De acuerdo con la definición de valor absoluto se tiene
ß
a si a ≥ 0,
|a| =
−a si a < 0.
Es decir, |a| = ±a. Esto prueba que a | |a|. También se tiene que a = ±|a|. Por
tanto, |a| | a.
2. Supongamos primero que a | b. Como |a| | a y a | b se sigue que |a| | b; ahora
se tiene que |a| | b y b | |b|; por tanto |a| | |b|.
Recı́procamente, supongamos que |a| | |b|. Como a | |a| y |a| | |b| se obtiene
que a | |b|. Como también se tiene que |b| | b, se llega a que a | b.
El Algoritmo de la división
Una propiedad muy útil que relaciona el orden en el conjunto de los números enteros
con la divisibilidad es la siguiente.
Teorema 3. Si a y b son enteros con b 6= 0 y a | b, entonces |a| ≤ |b|.
Demostración. La hipótesis a | b implica que |a| | |b|. Entonces |b| = |a|c para algún
entero c. Como b 6= 0, tenemos que a 6= 0 y por lo tanto |b| > 0 y |a| > 0. De aquı́,
c > 0 o, de manera equivalente, c ≥ 1. Luego, |b| = |a|c ≥ |a|.
Una consecuencia inmediata de este teorema es que todo entero distinto de cero tiene
un número finito de divisores. En efecto, sea a un entero distinto de cero y sea d ∈ D
donde D es el conjunto de los divisores de a. Entonces d | a y por lo tanto |d| ≤ |a|, o
lo que es equivalente −|a| ≤ d ≤ |a|. Luego, D es subconjunto del conjunto
{−|a|, −|a| + 1, . . . , −1, 0, 1, . . . , |a|}
de donde se sigue que D es un conjunto finito.
Si x es un número real, ⌊x⌋ denota al mayor entero menor o igual que x:

⌊x⌋ = máx{k ∈ Z : k ≤ x}.
El entero ⌊x⌋ es el piso de x y de acuerdo con la definición es el único entero tal que
⌊x⌋ ≤ x < ⌊x⌋ + 1.
Si x es entero, ⌊x⌋ = x y si x no es entero, ⌊x⌋ es el primer entero a la izquierda de x
en la recta real. Por ejemplo ⌊−3.5⌋ = −4 y ⌊3.8⌋ = 3.
Si x no es entero, entonces ⌊−x⌋ = −⌊x⌋ − 1. En efecto, ⌊x⌋ es el entero inmedia-
to anterior a x y ⌊x⌋ + 1 es el entero inmediato posterior x, de modo que el entero
inmediato anterior a −x es −⌊x⌋ − 1 y el entero inmediato posterior a −x es −⌊x⌋.
−x x
b b b b b b b
−⌊x⌋ − 1 −⌊x⌋ 0 ⌊x⌋ ⌊x⌋ + 1

= ⌊−x⌋
Teorema 4 (Algoritmo de la división). Si a y b son enteros y b 6= 0, entonces existen

enteros q y r únicos tales que
a = qb + r con 0 ≤ r < |b|.
Se dice que q es el “cociente” y r es el “residuo”.

Demostración. En primer lugar demostraremos la existencia de los enteros q y r, con-
siderando dos casos.
Caso 1: b > 0. Haciendo q = ⌊ ab ⌋, tenemos que
a
q≤ < q + 1 ⇒ qb ≤ a < (q + 1)b ⇒ 0 ≤ a − qb < b.
b
Tomando r = a − qb, se sigue que las elecciones posibles para el entero r son 0, 1,
2, . . . , b − 1.
Caso 2: b < 0. Como −b > 0, por el Caso 1, existen enteros q y r tales que a =
q(−b) + r = (−q)b + r con 0 ≤ r < −b = |b|. Luego, −q y r son el cociente y
residuo, respectivamente.
Para demostrar la unicidad, supongamos que q, r, q ′ y r′ son tales que a = qb + r
con 0 ≤ r < |b| y a = q ′ b + r′ con 0 ≤ r′ < |b|. Si r − r′ ≥ |b|, se tendrı́a
que r ≥ |b| + r′ ≥ |b|, lo que es una contradicción. Luego, r − r′ < |b| y también
r′ − r < |b|, ası́ que |r − r′ | < |b|.
Por otro lado se tiene que b(q − q ′ ) = r′ − r lo que indica que b | r′ − r; por tanto
también se tiene que |b| divide a |r − r′ |. Si r′ − r 6= 0 se tendrı́a |b| ≤ |r − r′ | lo
que serı́a una contradicción. Luego r − r′ = 0, esto es, r = r′ . Dado que b 6= 0,
bq + r = bq ′ + r′ implica que q = q ′ .
A continuación, veamos algunas aplicaciones del Algoritmo de la división.
Ejemplo 1. Sea n un entero positivo tal que 3n + 1 es un cuadrado. Demostrar que
n + 1 es suma de tres cuadrados.
Solución. Sea n un entero positivo tal que 3n + 1 = k 2 para algún entero k. Por el
algoritmo de la división, k = 3q + r con r = 0, 1 o 2.
Si k = 3q, entonces 3n + 1 = 9q 2 de donde 1 es múltiplo de 3, lo cual es un absurdo.
Si k = 3q + 1, entonces 3n + 1 = 9q 2 + 6q + 1 de donde n = 3q 2 + 2q. Ası́,
n + 1 = q 2 + q 2 + (q + 1)2 es suma de tres cuadrados.
Si k = 3q + 2, entonces 3n + 1 = 9q 2 + 12q + 4 de donde n = 3q 2 + 4q + 1. Ası́,
n + 1 = q 2 + (q + 1)2 + (q + 1)2 es suma de tres cuadrados.
Ejemplo 2. Sean a, d y n enteros positivos con a > 1. Si ad − 1 divide a an − 1,

demostrar que d divide a n.
Solución. Por el algoritmo de la división, existen enteros (únicos) q y r tales que n =
dq + r con 0 ≤ r < d. Entonces,
an − 1 = (adq+r − ar ) + (ar − 1) = ar (adq − 1) + (ar − 1).
Si ad − 1 divide a an − 1, entonces ad − 1 divide a ar − 1, pues ad − 1 también divide a
adq −1 (observe que adq −1 = (ad )q −1 = (ad −1)(ad(q−1) +ad(q−2) +· · ·+ad +1)).
Luego, si ar − 1 > 0, tendrı́amos que ad − 1 ≤ ar − 1 (por el Teorema 3) de donde
d ≤ r, lo cual no es posible. Por lo tanto, ar − 1 = 0 lo cual implica que r = 0 y
n = dq. Ası́, d | n.
El máximo común divisor

Como vimos antes, el número de divisores de un entero distinto de cero es finito, de
modo que podemos definir el máximo común divisor de los enteros a y b como el
máximo de los divisores comunes de a y b, esto es,
máx{d ∈ Z : d | a y d | b},
suponiendo que a 6= 0 o b 6= 0, donde Z denota el conjunto de los números enteros.
Denotaremos a este número por mcd(a, b). Se extiende la definición estableciendo que
mcd(0, 0) = 0.
El máximo común divisor de a y b cuando a 6= 0 o b 6= 0, es por definición el elemento

máximo de la intersección del conjunto de divisores de a con el conjunto de divisores
de b:
mcd(a, b) = máx{d ∈ Z : d | a y d | b} = máx({d ∈ Z : d | a} ∩ {d ∈ Z : d | b}).
De la definición también es inmediato que mcd(a, b) = mcd(b, a).
Dado que el conjunto de divisores de un entero a es el mismo que el conjunto de

divisores de −a se sigue directamente de la definición que
mcd(a, b) = mcd(±a, ±b) = mcd(|a|, |b|).
Ejemplo 3. El máximo común divisor de 6 y 10 es 2, ya que
{d ∈ Z : d | 6 y d | 10} = {±1, ±2, ±3, ±6} ∩ {±1, ±2, ±5, ±10} = {−2, −1, 1, 2}.
También se tiene mcd(−4, 6) = 2 puesto que
mcd(−4, 6) = máx({±1, ±2, ±4} ∩ {±1, ±2, ±3, ±6}) = máx{−2, −1, 1, 2} = 2.
Por otro lado, mcd(3, 0) = 3 ya que
máx({−3, −1, 1, 3} ∩ Z) = máx{−3, −1, 1, 3} = 3.
En general, mcd(a, 0) = mcd(0, a) = |a| para cualquier entero a.
Teorema 5. Si a y b son enteros, entonces
mcd(a, b) = mcd(a, b − a) = mcd(b, a − b) = mcd(a, a + b).
Demostración. Si a = b = 0, el resultado es inmediato. Supondremos que a 6= 0 o

b 6= 0. Para probar la primera igualdad de izquierda a derecha, bastará probar que el
conjunto de divisores de a y b es el mismo que el conjunto de divisores de a y b − a
(pues el conjunto de divisores de un entero distinto de cero es un conjunto finito, y si
dos conjuntos finitos son iguales necesariamente tienen el mismo elemento máximo.)
Sea d un divisor común de a y b, es decir, d | a y d | b. De acuerdo con el Corolario 1,
se sigue que d | (b − a). Recı́procamente, si d | a y d | b − a, entonces d | a y
d | a + (b − a), i.e., d | a y d | b.
Las pruebas de que mcd(a, b) = mcd(b, a − b) y mcd(a, b) = mcd(a, b + a) son
análogas y se dejan de ejercicio al lector.
Una consecuencia inmediata del teorema anterior y que será de gran utilidad para
el cálculo del máximo común divisor es la siguiente.
Corolario 2. Sean a, b y n enteros. Entonces, mcd(a, b) = mcd(a, b − an).
Demostración. Si n = 0, el resultado es inmediato. Si n > 0, aplicando repetidamente
el teorema anterior se tiene
mcd(a, b) = mcd(a, b − a) = mcd(a, b − a − a) = · · · = mcd(a, b − na)
y si n < 0 se tiene
mcd(a, b) = mcd(a, a + b) = mcd(a, a + a + b) = · · · = mcd(a, |n|a + b)

= mcd(a, −na + b).
Se pueden usar repetidamente el Algoritmo de la división junto con el Teorema 5

para calcular el máximo común divisor. Ilustramos esto con un ejemplo.
Ejemplo 4. Calcular mcd(4655, 1309).
Solución. Al dividir 4655 entre 1309 hallamos que 4655 = 1309 · 3 + 728, es decir,
q = 3 y r = 728. De acuerdo con el Teorema 5, se tiene
mcd(1309, 4665) = mcd(1309, 4665 − 1309 · 3) = mcd(1309, 728).
Esto reduce el problema, pues ahora se debe hallar el mcd de números más pequeños.
Repitiendo el proceso encontramos que 1309 = 728 · 1 + 581, de tal manera que
mcd(1309, 728) = mcd(728, 581). Continuando de esta manera:
728 = 581 · 1 + 147, mcd(728, 581) = mcd(581, 147),

581 = 147 · 3 + 140, mcd(581, 147) = mcd(147, 140),
147 = 140 · 1 + 7, mcd(147, 140) = mcd(140, 7),
140 = 7 · 20 + 0, mcd(140, 7) = mcd(7, 0) = 7.
De esta forma se tiene que mcd(4665, 1309) = 7.

Aunque el procedimiento puede resultar largo y quizá tedioso por las divisiones suce-
sivas, este es un método que no requiere la factorización de números, la cual puede
no ser fácil de realizar, sobre todo cuando se trata de números grandes. De hecho, se
sabe que el número de pasos requeridos para encontrar el máximo común divisor de
los enteros a y b es, en el peor de los casos, 5 veces el número de dı́gitos (en base
10) del más pequeño de los números. En el ejemplo anterior, los dos números tienen 4
dı́gitos, ası́ que en el peor de los casos hubiera sido necesario realizar 20 divisiones o
20 algoritmos de la división.
Algoritmo Euclidiano. Dados los enteros a y b, mediante la aplicación repetida del

Algoritmo de la división se obtiene una sucesión de cocientes y residuos
a = bq0 + r0 , 0 ≤ r0 < |b|, (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)
..
.
rn−2 = rn−1 qn + rn , 0 ≤ rn < rn−1 , (n)
rn−1 = rn qn+1 , (n+1)
donde rn es el último residuo distinto de cero. Entonces, rn es el máximo común divisor

de a y b.
Es importante enfatizar la existencia de rn . Dado que |b| > r0 > r1 > · · · > rn es
una sucesión estrictamente decreciente de números enteros no negativos, la sucesión
no puede continuar de manera indefinida.
Ejemplo 5. Sean a, b y c enteros con a > 1. Demostrar que
mcd(ab − 1, ac − 1) = amcd(b,c) − 1.
Solución. Por el algoritmo de la división, podemos escribir b = cq + r con 0 ≤ r < c.

Luego,
ab − 1 = (acq − 1)ar + ar − 1
= (ac − 1)(ac(q−1) + ac(q−2) + · · · + ac + 1)ar + (ar − 1).
Aplicando el Corolario 2 con los enteros ac − 1, ab − 1 y n = (ac(q−1) + ac(q−2) +

· · · + ac + 1)ar , tenemos que
mcd(ab − 1, ac − 1) = mcd(ac − 1, ab−1 − (ac(q−1) + ac(q−2) + · · · + ac + 1)ar (ac − 1))

= mcd(ac − 1, ar − 1).
De manera análoga, nuevamente por el Algoritmo de la división tenemos que c =

rq1 +r1 con 0 ≤ r1 < r y mcd(ac −1, ar −1) = mcd(ar −1, ar1 −1). Continuando de
esta forma, si r, r1 , r2 , . . . , rn son los residuos obtenidos en la aplicación del Algoritmo

Euclidiano y rn es el máximo común divisor de b y c obtenemos
(ab − 1, ac − 1) = (ac − 1, ar − 1) = (ar − 1, ar1 − 1) = · · · = (arn−1 − 1, arn − 1)
= (arn − 1, 0) = arn − 1 = amcd(b,c) − 1.
El siguiente teorema establece que el máximo común divisor de los números a y b es
combinación lineal de a y b. Es un resultado muy útil en problemas de la olimpiada.
Teorema 6. Si a y b son enteros, entonces existen enteros x, y tales que
mcd(a, b) = ax + by.
Demostración. Se tiene mcd(a, 0) = |a| = a · u + 0 · 0, donde u = 1 o −1. Análoga-
mente, mcd(0, b) = |b| = 0 · 0 + b · u′ , con u′ = 1 o −1, y mcd(0, 0) = 0 · 0 + 0 · 1. Se
puede suponer que ab 6= 0. En el Algoritmo Euclidiano, primero se usa la ecuación
(n), para escribir rn en términos de los dos residuos inmediatos anteriores, rn =
rn−2 − qn rn−1 . Después se usa la ecuación (n − 1) para escribir rn−1 en términos
de rn−2 y rn−3 , etc. Al final de este proceso recursivo, rn estará escrito en términos de
a y b.
Hay más de una manera de escribir mcd(a, b) como combinación lineal de a y b. De
hecho, hay una infinidad, pues si mcd(a, b) = ax + by, también se tiene mcd(a, b) =
a(x + b) + b(y − a). Sin embargo, en muchos problemas basta considerar una.
Ejemplo 6. De acuerdo con el Ejemplo 4, se tiene mcd(4655, 1309) = 7. Además,
4655 = 1309 · 3 + 728, (0)
1309 = 728 · 1 + 581, (1)
728 = 581 · 1 + 147, (2)
581 = 147 · 3 + 140, (3)
147 = 140 · 1 + 7, (4)
140 = 7 · 20. (5)
Despejando 7 en la ecuación (4), se tiene 7 = 147 − 140 · 1. Ahora se despeja 140 en
la ecuación (3) y se sustituye en la ecuación anterior
7 = 147 − (581 − 147 · 3) = 147 · 4 − 581 · 1.
A continuación se despeja 147 en la ecuación (2) y se sustituye quedando
7 = (728 − 581) · 4 − 581 · 1 = 728 · 4 − 581 · 5.
Se sustituye ahora 581
7 = 728 · 4 − (1309 − 728) · 5 = 728 · 9 − 1309 · 5.
Finalmente, se despeja 728 en la ecuación (0):
7 = (4655 − 1309 · 3) · 9 − 1309 · 5 = 4655 · 9 − 1309 · 32.
Es decir, mcd(4655, 1309) = 4655(9)+1309(−32). También se tiene mcd(4655, 1309) =
4655(9 + 1309) + 1309(−32 − 4655).
Una consecuencia inmediata del teorema anterior es que un entero c es combinación

lineal de dos enteros a y b si y solamente si mcd(a, b) | c. En otras palabras, el con-
junto de enteros que son combinación lineal de a y b coincide con el conjunto de los
múltiplos de mcd(a, b). En efecto, supongamos que d = mcd(a, b). Como d | a y d | b,
entonces d divide a cualquier combinación lineal de a y b; en particular d divide a c.
Recı́procamente, si d | c, entonces c = dq para algún entero q. De acuerdo con el
Teorema 6, existen enteros r, s tales que d = ar + bs. Luego c = dq = a(rq) + b(sq).
Según el Teorema 6, mcd(a, b) es combinación lineal de a y b. El recı́proco no es cierto,

es decir, si c es combinación lineal de a y b, c no necesariamente es el máximo común
divisor de a y b. Como el máximo común divisor de dos números distintos de cero
es positivo, estamos interesados en combinaciones lineales que den por resultado un
número positivo. Resulta que de entre todas las combinaciones lineales que dan por
resultado un número positivo, la más pequeña de todas, es el máximo común divisor.
Dado que mcd(a, b) = mcd(|a|, |b|), con frecuencia nos podemos restringir al caso
a > 0, b > 0.
Teorema 7. Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Demostración. Se debe probar que d es un divisor común de a y b y que además
es el máximo entre todos los divisores comunes. De acuerdo con el Algoritmo de la
división, se tiene a = dq + r con 0 ≤ r < d. Como d = ax + by, se obtiene que
a = (ax + by)q + r, de donde r = a(1 − xq) + b(−yq). Dado que r < d y d es la
combinación lineal positiva mı́nima de a y b, no es posible que r > 0; entonces r = 0
y d | a. De manera análoga se muestra que d | b.
Como d | a y d | b, entonces d divide a cualquier combinación lineal de a y b (Teo-
rema 1); en particular d | mcd(a, b). De acuerdo con el Corolario 2 se tiene que d ≤
mcd(a, b). Por otro lado, como mcd(a, b) | a y mcd(a, b) | b, se tiene que mcd(a, b) | d.
Luego mcd(a, b) ≤ d. Las dos desigualdades implican que d = mcd(a, b).
Ejemplo 7. Los números 10, 20 y 30 son combinaciones lineales positivas de a = 2210
y b = 980:
10 = a · (−47) + b · 106, 20 = a · 4 + b · (−9), 30 = a · (−43) + b · 97
Con base en el teorema anterior podemos afirmar que el máximo común divisor de a y
b no es ni 20 ni 30, pues 10 es combinación lineal positivia de a y b que es menor que
20 y 30. Para poder asegurar que 10 es el máximo común divisor de a y b necesitamos
más información.
El siguiente teorema es de gran importancia pues da algunas caracterizaciones para el
máximo común divisor.
Teorema 8. Sean a, b y d > 0 enteros. Las siguientes afirmaciones son equivalentes:
1. d = mcd(a, b).
2. d es la combinación lineal positiva mı́nima de a y b.
3. d | a, d | b, y si c | a y c | b, entonces c | d.
4. d | a, d | b, y d es combinación lineal de a y b.
Demostración. El teorema anterior muestra que 2) implica 1). Recı́procamente, si d =

mcd(a, b) y d1 es combinación lineal positiva de a y b, entonces d | d1 ya que d divide
a cualquier combinación lineal de a y b. Luego d ≤ d1 y d es la combinación lineal
positiva mı́nima de a y b. Esto muestra que 1) y 2) son equivalentes.
Ahora bien, 1) implica 3), pues cualquier divisor de a y b divide a cualquier combi-
nación lineal de a y b, en particular, divide a mcd(a, b). Supongamos ahora que d sa-
tisface 3); dado que mcd(a, b) es un divisor común de a y b, se sigue que mcd(a, b) | d
y por lo tanto mcd(a, b) ≤ d. Por otro lado, como d | a y d | b, entonces d | mcd(a, b),
ya que mcd(a, b) es combinación lineal de a y b. Ası́, d ≤ mcd(a, b), y queda probado
que d = mcd(a, b). Esto muestra que 1) y 3) son equivalentes.
Finalmente, veamos que 2) ⇔ 4). Si d satisface la condición 2), entonces por el teo-
rema anterior, d = mcd(a, b) y por lo tanto se satisface la condición 4). Supongamos
ahora que d satisface la condición 4) y sea c un entero tal que c | a y c | b. Como d es
combinación lineal de a y b, tenemos que c | d. Luego, se satisface la condición 3) y por
lo tanto se satisface la condición 2) (pues las condiciones 1), 2) y 3) son equivalentes).
Esto muestra que las condiciones 2) y 4) son equivalentes.
De acuerdo con el Ejemplo 7, los números 10, 20 y 30 son combinaciones lineales

positivas de 2210 y 980. Dado que 10 es combinación lineal de 2210 y 980, y 10 es
divisor común de 2210 y 980, con base en el teorema anterior se concluye que 10 es el
máximo común divisor de 2210 y 980.
El Ejemplo 5 se puede resolver de otra manera utilizando el Teorema 8. En efecto, sea

d = mcd(b, c). Entonces, b = sd y c = td para algunos enteros s, t. Tenemos que
ab − 1 = (ad )s − 1 y ac − 1 = (ad )t − 1 son divisibles por ad − 1, de modo que por el
Teorema 8 ad − 1 divide a mcd(ab − 1, ac − 1). De aquı́, ad − 1 ≤ mcd(ab − 1, ac − 1).
Por otra parte, tenemos que d = bx+cy para algunos enteros x, y. Además, x e y deben
tener signos opuestos (claramente no pueden ser ambos negativos, ya que d es positivo.
Tampoco pueden ser ambos positivos, ya que si lo fueran se tendrı́a que d ≥ b+c lo que
es una contradicción, pues d ≤ b y d ≤ c). Asumamos, sin pérdida de generalidad, que
x > 0, y ≤ 0 y sea t = mcd(ab − 1, ac − 1). Entonces, t | (abx − 1) y t | (a−cy − 1), lo
cual implica que t divide a ((abx −1)−ad(a−cy −1)) = ad −1, y por lo tanto t ≤ ad −1.
En conclusión, tenemos que t = mcd(ab − 1, ac − 1) ≤ ad − 1 ≤ mcd(ab − 1, ac − 1),
esto es, mcd(ab − 1, ac − 1) = ad − 1 = amcd(b,c) − 1.
Una consecuencia inmediata del Teorema 8 es que si a y b son enteros y 1 = ax + by

para algunos enteros x, y, entonces el máximo común divisor de a y b es 1, pues en
este caso, 1 es la combinación lineal positiva mı́nima de a y b.
Se dice que dos enteros a y b son primos relativos, primos entre sı́ o coprimos, si su
máximo común divisor es 1.

Corolario 3. Si a y b son enteros tales que mcd(a, b) = d, entonces mcd ad , db = 1.
Demostración. Tenemos que d = ax + by para algunos enteros x, y. Como d | a y

d | b, resulta que ad y db son enteros, y por lo tanto 1 = ( ad )x + ( db )y. Se sigue que
mcd( ad , db ) = 1.
Ejemplo 8. Si a y b son enteros con mcd(a, b) = 1, demostrar que mcd(a2 , b2 ) = 1.
Solución. Tenemos que existen enteros x, y tales que ax+by = 1. Elevando al cuadrado
obtenemos que 1 = a2 x2 + b(2axy + by 2 ), y por lo tanto mcd(a2 , b) = 1. Esto
muestra que si mcd(a, b) = 1, entonces mcd(a2 , b) = 1. Usando esto, concluimos que
mcd(a2 , b2 ) = 1.
Teorema 9 (Propiedad Multiplicativa del Máximo Común Divisor). Sean a, b y n en-

teros positivos. Entonces, mcd(na, nb) = n · mcd(a, b).
Demostración. Sea d = mcd(a, b). Sabemos que existen enteros x, y tales que d =
ax + by. Como d | a y d | b, tenemos que nd | na, nd | nb y nd = (an)x + (bn)y.
Luego, nd, na y nb satisfacen la condición 4) del Teorema 8, y por lo tanto nd =
mcd(na, nb) (por la equivalencia de 1) con 4) de dicho teorema).
Ejemplo 9. Sean a y b enteros tales que mcd(a, b) = 1. Demostrar que
mcd(a + b, a2 − ab + b2 ) = 1 o 3.
Solución. Sea d = mcd(a + b, a2 − ab + b2 ). Tenemos que d es divisor de (a +

b)2 − a2 + ab − b2 = 3ab. Luego, d divide a 3b(a + b) − 3ab = 3b2 y también a
3a(a+ b)− 3ab = 3a2 . Luego, por el Teorema 8 se sigue que d divide a mcd(3a2 , 3b2 ).
Esto es, d divide a 3 · mcd(a2 , b2 ) por la propiedad multiplicativa del máximo común
divisor. Como mcd(a, b) = 1, el ejemplo anterior implica que mcd(a2 , b2 ) = 1, y por
lo tanto d | 3. Ası́, d = 1 o 3.
Ejemplo 10. Sea n ≥ 5 un entero. Determinar el máximo común divisor de a =

n3 − n2 − 12n y b = 2n2 − 7n − 4 en términos de n.
Solución. Observemos primero que a = n(n − 4)(n + 3) y b = (n − 4)(2n + 1).

Aplicando la propiedad multiplicativa del máximo común divisor, tenemos que
mcd(a, b) = (n − 4) · mcd(n(n + 3), 2n + 1).
Como n y 2n + 1 son primos relativos (pues 1 = (−2)n + 1(2n + 1)), es fácil ver
que mcd(n(n + 3), 2n + 1) = mcd(n + 3, 2n + 1) (ejercicio). Luego, basta calcular
mcd(n + 3, 2n + 1).
Sean A = 2n + 1, B = n + 3 y d = mcd(A, B). Como d | A y d | B, tenemos
que d | (2B − A), esto es, d | 5. De aquı́, d = 1 o 5. Supongamos que d = 5;
entonces, 5 | A y 5 | B. De aquı́, 5 | (A − B), esto es, 5 | (n − 2). Recı́procamente, si
5 | (n − 2) entonces n = 5k + 2 para algún entero k. Luego, A = 2n + 1 = 5(1 + 2k)
y B = n + 3 = 5(k + 1), lo que significa que A y B son múltiplos de 5. Por lo tanto,
tenemos que 5 | A y 5 | B si y sólo si 5 | (n − 2). Esto implica que si d = 5, entonces
5 | (n − 2). Recı́procamente, si 5 | (n − 2) entonces 5 | A y 5 | B, y por el Teorema 8
se sigue que 5 | d. Como d = 1 o 5, debemos tener que d = 5. En conclusión, d = 5 si

y sólo si 5 | (n − 2), y por lo tanto, d = 1 si y sólo si 5 ∤ (n − 2). Luego,
ß
5(n − 4) si 5 | (n − 2),
mcd(a, b) =
n−4 si 5 ∤ (n − 2).
Si un entero a divide a un producto bc, no necesariamente divide a alguno de los fac-

tores. Por ejemplo, 4 | 2 · 10, pero 4 ∤ 2 y 4 ∤ 10. Sin embargo, si el divisor es primo
relativo con alguno de los factores, es posible concluir que el divisor divide al factor
con el cual no es primo relativo.
Teorema 10. Si a | bc y mcd(a, b) = 1, entonces a | c.
Demostración. De acuerdo con la hipótesis, existen enteros x, y tales que 1 = ax+ by.
Multiplicando por c, se obtiene que c = acx + bcy. Como a | bc, existe un entero q tal
que bc = aq. Luego c = acx + aqy = a(cx + qy), de donde a | c.
Ejemplo 11. Sean a y b enteros positivos primos relativos tales que ab = cn para
algún entero positivo c y algún entero positivo n. Demostrar que existen enteros x, y
tales que a = xn y b = y n .
a c
Solución. Sea d = mcd(a, c). Tenemos que a = du y c = dv con u = d yv = d
primos relativos (ver Corolario 3). Entonces,
ab = dub = (dv)n = cn ⇒ ub = dn−1 v n ⇒ u | dn−1 v n .
Como u y v n son primos relativos (pues u y v lo son), el teorema anterior implica que
n−1
u | dn−1 . Sea k = d u . Como 1 = mcd(a, b) = mcd(du, kv n ) existen enteros r, s
tales que 1 = dur + kv n s. Luego, d y k son primos relativos, y en consecuencia dn−1
y k también lo son. De aquı́, 1 = mcd(dn−1 , k) = mcd(ku, k) = k · mcd(u, 1) = k y
por lo tanto, dn−1 = u, a = du = dn y b = kv n = v n .
Para finalizar, dejamos unos ejercicios para el lector.
Ejercicios
1. Sean a y b enteros positivos impares tales que a ∤ b. Demuestra que existen
enteros q y r tales que b = aq + r donde r es impar y −a < r < a.
2. Sean a y b enteros tales que b < 0 y b ∤ a. Si a = bq + r con 0 ≤ r < |b|,
demuestra que q = ⌊ ab ⌋ + 1.
ab
3. Sean a, b y c enteros y sea d = mcd(a, b). Si a | c y b | c, demuestra que d
también divide a c.
4. Sean a y b enteros primos relativos. Demuestra que mcd(a + b, a − b) = 1 o 2.
5. Se dice que una fracción ab es irreducible si los enteros a y b son primos relativos.
Demuestra que la fracción 21n+4
14n+3 es irreducible para todo entero positivo n.
6. Los números de la sucesión 101, 104, 109, 116, . . . son de la forma an = 100 +
n2 , n = 1, 2, . . .. Para cada entero positivo n sea dn = mcd(an , an+1 ). Deter-
mina el valor máx dn .
n≥1
7. Sean m y n enteros positivos con m impar. Demuestra que 2m − 1 y 2n + 1 son

primos relativos.
8. Sean m y n enteros positivos con m 6= n. Determina mcd(a2m + 1, a2n + 1) para
cualquier entero a. (Sugerencia: si An = a2n + 1, demuestra que An | (Am − 2)
si m > n).
a+1 b+1
9. Sean a y b enteros positivos y sea d su máximo común divisor. Si + es
√ b a
un entero, demuestra que d ≤ a + b.
10. Para cualesquiera enteros positivos a > b > 1, una sucesión x1 , x2 , . . . está defini-
n
da por xn = abn −1−1
. Determina el menor entero d tal que para cualesquiera a y b,
esta sucesión no contiene d términos consecutivos que son números primos.
11. Sean a = pm 1 m2 mr
1 p2 · · · pr y b = pn1 1 pn2 2 · · · pnr r donde mi ≥ 0 y ni ≥ 0 son
enteros y los pi son primos distintos para 1 ≤ i ≤ r. Si ti = mı́n{mi , ni } denota
el valor mı́nimo de mi y ni , demuestra que
mcd(a, b) = pt11 pt22 · · · ptrr .
12. Usa el ejercicio anterior para demostrar la siguiente propiedad multiplicativa del
máximo común divisor.
a k b h
Å ãÅ ã
(ah, bk) = (a, b)(h, k) , ,
(a, b) (h, k) (a, b) (h, k)
para cualesquiera enteros a, b, h y k. Aquı́, hemos abreviado la notación mcd(a, b)
por (a, b). Esta propiedad muestra en particular, que si (a, b) = (h, k) = 1, en-
tonces (ah, bk) = (a, k)(b, h).
13. Dados tres enteros a, b y c, se define su máximo común divisor como
mcd(a, b, c) = mcd(mcd(a, b), c).
a) Demuestra que mcd(a, b, c) = mcd(a, mcd(b, c)).

b) Demuestra que existen enteros x, y, z tales que ax+by+cz = mcd(a, b, c).
Bibliografı́a
1. Ana Rechtman Bulajich, Carlos Jacob Rubio Barrios. Divisibilidad y congruen-
cias. Tzaloa No. 2, 2009.
2. José Alejandro Lara Rodrı́guez, Carlos Jacob Rubio Barrios. Álgebra Superior
(notas de curso). Universidad Autónoma de Yucatán, 2014.
Problemas de práctica
En esta sección encontrarás 20 problemas seleccionados especialmente para comenzar

tu preparación de este año. Es importante señalar que en esta ocasión los problemas se
presentan en formato de opción múltiple. Esto se debe a que el filtro inicial de la mayo-
rı́a de los concursos estatales suele ser presentado ası́. Sin embargo, conviene señalar
que para resolverlos no es recomendable obtener la respuesta correcta por eliminación
de las otras opciones.
Ten en cuenta que en las olimpiadas no sólo se trata de saber la respuesta correcta,
sino que además, es necesario justificar dicha solución. En las etapas más avanzadas
de todos los concursos de matemáticas, las preguntas siempre son abiertas y nunca se
utiliza el formato de opción múltiple3 . En el caso de esta publicación, el formato de
opción múltiple se adopta con el fin de que el estudiante que recién se inicia se vaya
familiarizando con el concurso y sus estapas.
Como seguramente ya habrás observado, en el primer número de cada año el nivel de

dificultad de los problemas que contiene esta sección no es muy elevado y el material
escogido está pensado mayoritariamente para principiantes. Conforme el año transcu-
rra su nivel se irá incrementando paulatinamente, de forma que, para el último número
del año, el material será en su mayorı́a de nivel avanzado.
Por último, te invitamos a que con tu participación contribuyas a enriquecer esta sec-
ción de la revista. Estamos seguros que conoces problemas interesantes que quieres
compartir y por eso ponemos a tu disposición la dirección revistaomm@gmail.
com, donde con gusto recibiremos tus propuestas.
Problema 1. ¿Qué tienen que cumpir a, b y c si el producto de las soluciones de la

ecuación ax2 + bx + c = 0 es igual a 1?
(a) a = b (b) a = bc (c) c = a (d) c = b (e) c = ab

3 De hecho, el formato de opción múltiple sólo se usa por el carácter masivo de las etapas inciales de
muchos concursos y debido a su facilidad de calificación (no requiere apreciación).

Problema 2. Se tiene un triángulo rectángulo ABC con ángulo recto en A, AB = 1 cm

y AC = 2 cm. Si X es un punto sobre el lado BC tal que AX mide √25 cm, ¿cuánto
puede medir el ángulo AXB?
(a) 45◦ o 135◦ (b) 60◦ o 30◦ (c) 30◦ , 60◦ o 90◦ (d) 75◦ (e) 90◦
√ √
Problema 3. ¿Cuál es el menor entero a tal que a − 2015 es la raı́z de un entero
positivo?
(a) 4030 (b) 20152 (c) 18135 (d) 8060 (e) 2015
Problema 4. Para subir más rápido, dos personas suben caminando una escalera eléctri-
ca. Una de las personas camina tres veces más rápido que la otra. Si al subir una cuenta
75 escalones mientras la otra cuenta 50, ¿cuántos escalones son visibles en la escalera?
(a) 75 (b) 100 (c) 125 (d) 150 (e) 300
Problema 5. ¿Cuántos números de la forma 13A25B son múltiplos de 12? (A y B son

dı́gitos.)
(a) 6 (b) 8 (c) 12 (d) 36 (e) 1
Problema 6. En el siguiente paralelogramo, cada número indica el área en centı́metros

cuadrados del triángulo en donde están. ¿Cuánto vale x?
25 x
30
10
(a) 20 cm2 (b) 25 cm2 (c) 10 cm2 (d) 15 cm2 (e) 30 cm2
Problema 7. Sea f una función tal que f (x) + 3f ( x1 ) = x2 para todo número real
x 6= 0. ¿Cuál es el valor de f (−3)?
(a) − 77
72 (b) − 37
36 (c) − 25
24
13
(d) − 12 (e) − 13
Problema 8. Sea ABC un triángulo acutángulo y consideremos un punto P . Sean D,

E y F los pies de las perpendiculares desde P sobre BC, CA y AB, respectivamente.
Si BD = 1 cm, DC = 10 cm, CE = 6 cm, EA = 9 cm y AF = 13 cm, ¿cuánto
mide F B?
(a) 1 cm (b) 2 cm (c) 3 cm (d) 4 cm (e) 5 cm
16 Problemas de práctica
Problema 9. Si x, y son números reales, ¿cuál es el valor mı́nimo de
x4 − 5x2 + y 2 + 2x + 2y + 2xy + 6?
(a) −5 (b) −4 (c) −1 (d) 0 (e) 2
Problema 10. Cuatro jaulas se han colocado en forma de tablero de 2 × 2. Cada jaula
contiene algunas gallinas y algunos conejos (algunas jaulas pueden contener solo ga-
llinas o solo conejos). El número total de cabezas en las dos jaulas del primer renglón
del tablero es 60. El número total de patas en las dos jaulas en el segundo renglón del
tablero es 240. El número total de cabezas en las dos jaulas de la primera columna es
70. El número total de patas en las dos jaulas de la segunda columna es 230. ¿Cuál es
el mı́nimo número de animales en las cuatro jaulas?
(a) 95 (b) 120 (c) 128 (d) 145 (e) 180
Problema 11. En una bolsa hay 900 tarjetas numeradas del 100 al 999. ¿Cuál es el
menor número de tarjetas que necesitas sacar para garantizar que tengas dos tarjetas
cuya suma de dı́gitos sea la misma?
(a) 3 (b) 27 (c) 28 (d) 899 (e) 99
Problema 12. ¿Cuál es el mayor número primo que divide a todos los números de 3
dı́gitos que tienen todos sus dı́gitos iguales?
(a) 101 (b) 3 (c) 11 (d) 17 (e) 37
Problema 13. La figura muestra una cuadrı́cula de 5 × 5 a la que se le han pintado de

negro las casillas en las diagonales.
Si se hace lo mismo con una cuadrı́cula de 100 × 100, el resultado de dividir el número
de casillas negras entre el número de casillas blancas es:
1 1 199 197 99
(a) 50 (b) 49 (c) 9801 (d) 9604 (e) 10000
Problema 14. Sobre los lados AB y AD de un paralelogramo ABCD se consideran

puntos P y Q tales que AP = P B y 2AQ = QD. ¿Cuál es la razón del área del
triángulo P QC sobre la del paralelogramo ABCD?
1 1 2 1
(a) 4 (b) 3 (c) 5 (d) 2 (e) No se puede determinar
Problema 15. Pedro y Juan van a jugar un juego por turnos con un montón de 21 mo-
nedas. En cada turno se pueden tomar 1, 2, 3 o 4 monedas y gana la persona en quitar
la última moneda. Si Juan empieza, ¿cuántas monedas tiene que tomar en su primer
turno para asegurar que gana?
(a) No puede asegurar ganar en su primer turno

(b) 1 (c) 2 (d) 3 (e) 4
Problema 16. Considera el siguiente patrón. Si lo continúas hasta obtener una figura
que tenga 2014 hexágonos, ¿cuántos hexágonos tendrá la fila central?
(a) 670 (b) 671 (c) 672 (d) 673 (e) 674
Problema 17. Toño y Pepe van a jugar un juego por turnos con una baraja inglesa. En
cada turno se toma una carta al azar de la baraja, gana la primera persona en conseguir
un par. ¿Cuántas cartas tienen que haberse tomado para asegurar que alguien gana?
(a) 3 (b) 14 (c) 21 (d) 26 (e) 27
Problema 18. En la siguiente figura se tiene que AB = BC = CD = DE = EF , si

el ángulo ∠BAC = 11◦ , ¿cuánto mide el ángulo F ED?
b
E
C
b
b b b b
F
A
B D
◦ ◦ ◦
(a) 80 (b) 84 (c) 90 (d) 92◦ (e) 96◦
Problema 19. ¿Cuál es el mayor número primo de dos dı́gitos que divide a 332 − 232 ?
(a) 17 (b) 71 (c) 89 (d) 13 (e) 97

a−b a−c
Problema 20. Sean a, b, c y d números reales tales que c−d =2y b−d = 3. ¿Cuál es
el valor de a−d
b−c ?
(a) −5 (b) −4 (c) −3 (d) −2 (e) −1

Soluciones a los problemas de
práctica
En esta sección podrás encontrar las soluciones de los 20 problemas de la sección ante-
rior. Sin embargo, no te recomendamos consultarla antes de tener tu propia respuesta o
por lo menos no sin haberle dedicado bastante tiempo a cada problema. Ten en cuenta
que la clave para mejorar tus capacidades está en la perseverancia y el esfuerzo.
Observa que, en cada solución, no sólo se ha determinado la opción correcta, sino que
además, siempre se incluye la argumentación que establece su validez. En todos los
casos, la justificación se basa en resultados conocidos y/o en razonamientos lógicos,
además de que la solución sólo se alcanza a partir del enunciado y sin usar la informa-
ción contenida en las opciones de respuesta.
Cabe aclarar que las soluciones que aquı́ se presentan no son necesariamente las únicas
o las mejores, tan sólo son ejemplos que muestran el tipo de razonamiento que busca
estimular la olimpiada. En matemáticas, cada problema puede tener tantas soluciones
correctas como ideas originales se desarrollen con creatividad y lógica. Si tú encon-
traste una solución diferente de las que aquı́ se presentan y no estás seguro de su validez
o simplemente quieres compartirla con nosotros, te invitamos para que nos escribas a
[email protected].
Solución del problema 1. La respuesta es (c).

Al dividir la ecuación entre a (como hay dos soluciones, a no puede ser igual a 0)
obtenemos x2 + ab x + ac = 0. Si las soluciones son x1 y x2 , tenemos la factorización
x2 + ab x + ac = (x − x1 )(x − x2 ) = x2 − (x1 + x2 )x + (x1 x2 ). Por lo tanto, ac = x1 x2 .
Luego, x1 x2 = 1 si y solo si ac = 1, si y solo si a = c.
Solución del problema 2. La respuesta es (e).

El área de este triángulo es igual a 1 cm2 . Por el teorema de Pitágoras tenemos que
√ √
BC = 5 cm. Luego, si h es la longitud de la altura desde A, tenemos que h 52 cm =
1 cm2 , de donde h = √25 cm.
Luego, tiene que suceder que X es el pie de la altura, pues para cualquier otro punto
X sobre BC se tendrı́a que la longitud de AX serı́a mayor que la longitud de la altura,
o sea, √25 cm. Por lo tanto, el ángulo ∠AXB solo puede medir 90◦ .
b
A
b b b
B X C
Solución del problema 3. √ La respuesta

√ es (d).
√
Consideremos
√ √la ecuación
√ a − 2015 = x para a y x enteros positivos. Es√equiva-
lente a a = 2015+ x. Elevando al cuadrado llegamos a a = 2015+x+2 2015x.
Como a y x son enteros, tenemos que 2015x tiene que ser el cuadrado de un entero.
Ya que la factorización en primos de 2015 es 5 × 13 × 31, x√debe tener
√ estos tres fac-
tores primos, por lo que el menor valor de x es justo 2015 y a = 2 2015, de donde
a = 8060.
Solución del problema 4. La respuesta es (b).

Sea v la velocidad de la escalera, y sean a y 3a las velocidades de las personas que
están subiendo. Sea x el número visible de escalones.
La persona con velocidad 3a recorre 75 escalones y podemos pensar que los otros
x − 75 escalones los recorre gracias a la velocidad v de la escalera. Como ésto sucede
en el mismo tiempo, tenemos que 3a 75
v = x−75 .
50
Análogamente, considerando a la otra persona tenemos que va = x−50 .
Ä ä
75 50
Como la primera igualdad es igual a 3 veces la segunda, tenemos que x−75 = 3 x−50 ,
de donde x = 100.
Solución del problema 5. La respuesta es (a).

Para que un número sea múltiplo de 12 tiene que serlo de 3 y 4. Para que este número
sea múltiplo de 4, el número formado por sus dos últimos dı́gitos debe ser múltiplo de
4. Es decir, 4 tiene que dividir a 5B. Luego, B puede valer 2 o 6.
Si B vale 2 obtenemos el número 13A252. Para que sea múltiplo de 3, la suma de sus
dı́gitos tiene que ser múltilplo de 3. La suma es 13 + A, por lo que A puede valer 2, 5
u 8 y obtenemos tres números.
Si B vale 6 obtenemos el número 13A256, cuya suma de dı́gitos es 17 + A, por lo que
A puede valer 1, 4 o 7. Obteniendo tres números más.
Por lo tanto, son 6 números los que cumplen.
Solución del problema 6. La respuesta es (d).

Nombremos a los puntos como se muestra en la figura. Los triángulos ABF y DCE
tienen la misma base (DC = AB) y la misma altura respectiva (la distancia entre las
20 Soluciones a los problemas de práctica
paralelas AB y CD), por lo que tienen la misma área. Ignorando el área del cuadrilátero
EHF G, tenemos que 10 + 30 = 25 + x, de donde x = 15.
D b
F
b b C
25 x
b
H
b
G
30
10
b b b
A E B

Si x = −3, tenemos que f (−3) + 3f (− 31 ) = 9; y si x = − 13 , tenemos que f (− 31 ) +
3f (−3) = 19 . Resolviendo el sistema de dos ecuaciones para f (−3) obtenemos que
13
f (−3) = − 12 .

C b
E b
b
D
b b
F b
A B
b
P
Por el teorema de Pitágoras tenemos que BD2 − DC 2 = (BP 2 − P D2 ) − (CP 2 −
P D2 ) = BP 2 − CP 2 . De manera similar tenemos que CE 2 − EA2 = CP 2 − AP 2
y AF 2 − BF 2 = AP 2 − BP 2 . Sumando estas relaciones obtenemos que
(BD2 + CE 2 + AF 2 ) − (DC 2 + EA2 + F B 2 ) = 0.
Luego, F B 2 = (12 + 62 + 132 ) − (102 + 92 ) = 52 cm2 de donde F B = 5 cm.

Observemos que x4 −5x2 +y 2 +2x+2y+2xy+6 = (x2 −3)2 +(x+y+1)2 −4 ≥ −4.
2
√ buscado es −4,
Luego, el valor mı́nimo √ que se da cuando x − 3 = 0 y x + y + 1 = 0,
esto es, con x = ± 3 e y = −1 ∓ 3.

Hay 230 patas en las dos jaulas de la segunda columna. Como 230 = 4(57) + 2,
tales patas provienen de al menos 58 animales, digamos, de 57 conejos y una gallina.
Luego, el mı́nimo número de animales en las cuatro jaulas serı́a mayor o igual que
70 + 58 = 128. Si tenemos 55 animales en la primera jaula del primer renglón, cero
gallinas y 5 conejos en la segunda jaula del primer renglón, 15 gallinas y cero conejos
en la primera jaula del segundo renglón, y una gallina y 52 conejos en la segunda jaula
del segundo renglón, tenemos 128 animales en total. Por lo tanto, el mı́nimo número
de animales en las cuatro jaulas es 128.

Observemos que la máxima suma posible es 27, que se obtiene con el 999. Además,
todos los números entre 1 y 27 se pueden obtener como sumas: Los números del 1 al
9 dan las sumas del 1 al 9, los números del 91 al 99 dan las sumas del 10 al 18, y los
números del 991 al 999 dan las sumas del 19 al 27. Por tanto, no es posible asegurar
que con 27 elecciones o menos, tengamos dos con la misma suma de dı́gitos, pues basta
con que cada elección tenga una suma distinta de acuerdo a lo descrito antes.
Como hay 27 sumas posibles, por el principio de las casillas, es necesario sacar 28
tarjetas para asegurar que dos tengan la misma suma de dı́gitos.

Si aaa es un número de tres dı́gitos, tenemos que aaa = 100a + 10a + a = a(100 +
10 + 1) = 111a, lo que muestra que todos los números que tienen tres dı́gitos iguales
son múltiplos de 111. Como 111 = 3 × 37 es uno de los números, el primo buscado
solo puede ser 3 o 37. El 37 cumple, pues 111 divide al número de tres dı́gitos aaa, por
lo que aaa siempre es múltiplo de 37.

Observemos que el número de casillas en cada diagonal es igual al número de casillas
en el lado del cuadrado. Sin embargo, como 100 es par, a diferencia de la figura, las
diagonales no se intersecan. Por tanto en el tablero de 100 × 100 el número de casillas
negras es 200.
El número de casillas blancas lo obtenemos restando del total: 1002 − 200 = 9800. Por
200 1
lo tanto, la respuesta es 9800 = 49 .

Sea A el área del paralelogramo ABCD y denotemos por (XY Z) al área de cualquier
triángulo XY Z. En el triángulo ABC se cumple que P es el punto medio del lado
AB, luego los triángulos ABC y AP C comparten la altura desde C y sus bases están
en razón 2 a 1, entonces (ACP ) = (ABC) 2 . De manera similar, los triángulos ACD
y ACQ comparten la altura desde C y la razón de sus bases es de 3 a 1, entonces
(ACQ) = (ACD) 3 . Además, el triángulo AQB tiene la misma base AQ y la misma
22 Soluciones a los problemas de práctica
altura que el triángulo ACQ (puesto que C y B equidistan del lado AD), entonces
(AQB) = (AQC) = (ACD) 3 .
D b b C
Q b
b b b
A P B
De nuevo por ser P el punto medio de AB se tiene que (AQP ) = (AQB) 2 = (ADC)
6 .
Por ser ABCD un paralelogramo se tiene que los triángulos ABC y CDA son con-
gruentes, entonces cada uno tiene área la mitad del paralelogramo. De todo esto se
concluye que
A A A A
(P QC) = (AQC) + (AP C) − (AQP ) = + − = .
4 6 12 3
Por lo tanto, la razón buscada es 31 .

Veamos que si Juan quita una moneda en su primer turno puede asegurar que gana. Si
Juan quita una moneda en su primer turno quedan 20 que es un múltiplo de 5. Después
Pedro quita algún número de monedas pero menor que 5, entonces Juan quita las que
hagan falta para que solo queden 15 monedas, siguiendo este proceso Juan asegura
dejar siempre una cantidad de monedas múltiplo de 5, y puesto que 0 es múltiplo de 5,
Juan gana.

Observemos que en las figuras del ejemplo, todas las filas tienen la misma cantidad
de celdas, excepto la fila central que tiene un hexágono más. Por tanto, si quitáramos
esa celda adicional en la figura con 2014 hexágonos, quedarı́an 2013 hexágonos que se
reparten en tres renglones, y por tanto cada uno tendrı́a 671. Como la fila central debe
tener una celda más, la respuesta es 672.

En una baraja inglesa hay 13 posibles números, entonces podrı́a pasar que en 26 turnos
cada uno de Toño y Pepe tengan 13 cartas de números distintos y no tener un ganador.
Si han pasado 27 turnos entonces alguno de los dos tiene 14 cartas y por el principio
de las casillas esa persona debe tener dos cartas del mismo número. Por lo tanto, con
27 cartas se asegura que hay un ganador.

Por ángulos externos en el triángulo ABC se tiene que ∠DBC = ∠BAC +∠ACB =
11◦ + 11◦ = 22◦ , por ser isósceles ABC.
b
E
C
b
b b b b
F
A
B D
Por el isósceles BCD se tiene que ∠CDB = 22◦ y por ángulos externos en el
triángulo ADC se tiene que ∠DCE = 11◦ + 22◦ = 33◦ . De manera análoga se
tiene que ∠F DE = 44◦ . Luego por ser isósceles el triángulo F ED se tiene que
∠F ED = 180◦ − 2(44◦ ) = 92◦ .

Factorizando tenemos que
332 − 232 = (316 − 216 )(316 + 216 )

= (38 − 28 )(38 + 28 )(316 + 216 )
= (34 − 24 )(34 + 24 )(38 + 28 )(316 + 216 )
= (32 − 22 )(32 − 22 )(34 + 24 )(38 + 28 )(316 + 216 )
= 5(13)(97)(38 + 28 )(316 + 216 ).
Luego, los números primos 5, 13 y 97 son divisores del número 332 − 232 . Como 97 es
el mayor número primo de dos dı́gitos y divide a 332 − 232 , la respuesta es 97.
Solución del problema 20. La respuesta es (a).

Se tiene que a − b = 2(c − d) y a − c = 3(b − d), restando la primera ecuación a la
segunda obtenemos que b − c = 3b − 3d − 2c + 2d = 3b − 2c − d, entonces 2b = c + d
por lo tanto b − c = d − b. Ahora
a−d a−c+c−b+b−d a−c c−b b−d a−c

= = + + =− − 1 − 1 = −5.
b−c b−c b−c b−c b−c b−d
Problemas de Entrenamiento
Esta es la sección interactiva de la revista y su construcción sólo es posible con la

participación entusiata de todos sus lectores. Los siguientes 10 problemas que presen-
tamos carecen de solución pues están esperando a que tú los resuelvas. Acepta el reto y
resuelve uno o todos los Problemas de Entrenamiento y una vez que lo logres, envı́anos
tus soluciones cuanto antes para que puedan salir publicadas con tu nombre impreso.
En esta ocasión agradecemos de una manera muy especial a Emerson Soriano Pérez
(de Perú) por su contribución con el Problema 10.
Las soluciones de los problemas de esta sección se escogerán de entre las participa-
ciones recibidas por parte de la comunidad olı́mpica de todo el paı́s.
Con el fin de dar tiempo a nuestros lectores para la redacción y envı́o de sus tra-
bajos, las soluciones de los problemas presentados en cada número de la revista, se
publican 3 números después. Para ello, ponemos a tu disposición nuestra dirección:
[email protected] y ten la seguridad de que tan pronto recibamos tu con-
tribución, inmediatamente nos pondremos en contacto contigo para comentar y en su
caso, publicar tu trabajo.
Problemas de Entrenamiento.
Año 2015 No. 1.
Problema 1. Sean p, q y r tres números primos mayores que 3 que están en progresión
aritmética con razón d. Muestra que d es múltiplo de 6.
Problema 2. Demuestra que un número de 9 dı́gitos que tenga exactamente una vez
los dı́gitos del 1 al 9 y que termina en 5, no puede ser un cuadrado perfecto.
Problema 3. Sea P QRS un cuadrilátero cı́clico con ∠P SR = 90◦ y sean H y K los

pies de las perpendiculares desde Q hacia los lados P R y P S. Demuestra que HK

biseca al segmento QS.
Problema 4. Antonio escribe una lista de fracciones de acuerdo con la siguiente regla:
si la última fracción escrita x es menor o igual que 12 , entonces el siguiente número
en la lista es 2x. De lo contrario, el siguiente número que escribe será 2(1 − x). Si el
3
primer número de la lista es 11 , ¿cuál es el número que escribe en la posición 2014?
Problema 5. Si Antonio escribe otra lista con la misma regla que el problema anterior,
y en la cuarta posición le toca escribir el número 1, ¿cuál es el mayor número que pudo
iniciar la lista?
Problema 6. Sean a1 , a2 , a3 , a4 y a5 números reales tales que cualesquiera dos de

ellos difieren por al menos 1. Supongamos que para algún número real k se cumple
que a1 + a2 + a3 + a4 + a5 = 2k y a21 + a22 + a23 + a24 + a25 = 2k 2 . Demuestra que
k 2 ≥ 25
3 .
Problema 7. Sean t y s enteros diferentes de 0 y sea (x, y) una pareja de enteros. Un

movimiento cambia la pareja (x, y) por la pareja (x − t, y − s). Una pareja es buena
si después de cierta cantidad de movimientos (posiblemente cero) se llega a una pareja
de enteros primos relativos (podrı́an ser negativos).
Demuestra que la pareja (s, t) es buena.
Demuestra que existe una pareja (x, y) que no es buena.
Problema 8. Determina todas las ternas de enteros mayores que 1, (m, n, k), tales que
1! + 2! + · · · + m! = nk .
Problema 9. Sean a1 , a2 , . . . , an y k números reales positivos tales que a1 + a2 + · · ·+

an = 3k, a21 + a22 + · · · + a2n = 3k 2 y a31 + a32 + · · · + a3n > 3k 3 + k. Demuestra que
se pueden elegir dos de los números a1 , a2 , . . . , an tales que la diferencia entre ellos es
mayor que 1.
Problema 10. Cada entero positivo se va a pintar con uno de 10 colores distintos
disponibles respetando la siguiente condición: “Si un entero positivo n es la suma de
tres enteros positivos distintos, entonces al número n se le pinta del mismo color del
menor de sus sumandos o del mismo color del mayor de sus sumandos”. Por ejemplo,
como 40 = 25+10+5, entonces al número 40 se le debe pintar con el mismo color que
se ha pintado al 25 o con el mismo color que se ha pintado al 5. ¿De cuántas maneras
se puede realizar el coloreado respetando la condición mencionada?
26 Problemas de Entrenamiento
Soluciones a los Problemas de Entrenamiento.

Año 2014 No. 2.
A continuación presentamos las soluciones de los problemas de entrenamiento pro-
puestos en Tzaloa 2, año 2014. En esta ocasión agradecemos a Francisco Emmanuel
Anaya González por su solución al Problema 5. Recuerda que en el siguiente número
de la revista aparecerán las soluciones de los problemas de entrenamiento propuestos
en Tzaloa 3, año 2014, por lo que todavı́a estás a tiempo para que tus trabajos puedan
salir publicados dándote todo el crédito que mereces.
Problema 1. Los primeros cuatro dı́gitos de un entero positivo son 1, 1, 3 y 7. De-

muestra que podemos reacomodar sus dı́gitos de tal manera que el nuevo número sea
divisible entre 7.
Solución. Sea n un entero positivo cuyos primeros cuatro dı́gitos son 1, 1, 3 y 7. Sea
Q el número restante después de quitarle los primeros cuatro dı́gitos a n. Podemos
reacomodar los dı́gitos de n de tal manera que el número resultante sea de la forma
104 Q + R, donde R es un número formado por los dı́gitos 1, 1, 3 y 7. Si logramos
que R tome cualquier congruencia módulo 7, habremos acabado, pues solo habrı́a que
elegir aquella que haga que 104 Q + R ≡ 0 (mod 7). Esto es cierto, pues módulo 7 se
tiene que
3171 ≡ 0, 1317 ≡ 1, 1731 ≡ 2, 1137 ≡ 3, 1173 ≡ 4, 1713 ≡ 5 y 1371 ≡ 6.
Problema 2. Demuestra que hay una infinidad de enteros positivos pares m tales que
m + p2 es compuesto para todo número primo p.
Solución. Sea p un número primo. Si p = 3, tenemos que p2 ≡ 0 (mod 3); y si p 6= 3,

entonces p2 ≡ 1 (mod 3). Luego, nos gustarı́a encontrar un número m tal que
m ≡ 0 (mod 2). Esto para que m sea par.
m ≡ 2 (mod 3). Esto para que 3 divida a p2 + m para todo primo p 6= 3. Como
p2 + m ≥ 22 + 2 > 3, ninguno de estos números serı́a primo.
m ≡ 1 (mod 5). Esto para que 5 divida a 32 + m. Como 32 + m ≥ 32 + 2 > 5,
este número no serı́a primo.
No es difı́cil ver que los números que cumplen estas condiciones son aquellos m tales
que m ≡ 26 (mod 30). Como hay una infinidad de estos, terminamos.
Problema 3. Alrededor de una circunferencia están marcados 60 puntos de manera que

30 de ellos son rojos, 20 azules y 10 verdes. Estos puntos dividen la circunferencia en
60 arcos y a cada arco se le asigna un número, dependiendo de los colores de sus dos
extremos:
Si un arco tiene extremos rojo y verde, se le asigna el número 1.

Si un arco tiene extremos azul y rojo, se le asigna el número 2.

Si un arco tiene extremos verde y azul, se le asigna el número 3.
Si un arco tiene extremos del mismo color, se le asigna el número 0.
¿Cuál es la máxima suma de los números asignados a los arcos?
Solución. Sea x el número de arcos con número 1, y el número de arcos con número
2 y z el número de arcos con número 3. Además, sean a, b y c el número de arcos con
ambos extremos rojos, azules y verdes, respectivamente.
Se sigue que x + y + 2a = 60 (pues cada punto rojo aparece en dos de estos arcos),
y + z + 2b = 40 (análogo con los azules) y z + z + 2c = 20 (análogo con los
verdes). Estas tres igualdades pueden considerarse como un sistema de tres por tres en
las variables x, y y z. La solución del sistema es:
x = 20 − a + b − c,
y = 40 − a − b + c,
z = a − b − c.
Ahora, queremos maximizar la expresión x + 2y + 3z que con estos valores es igual a
100 − 4b − 2c y este valor es a lo más 100. Para que sea 100 basta que b = c = 0 y para
ello, necesitamos un ejemplo donde no haya arcos con extremos ambos azules o ambos
verdes. Un ejemplo es poner 10 veces la pareja AV , seguida de 10 veces la pareja AR
seguida de 20 veces R alrededor de la circunferencia. Luego, el máximo buscado es
100.
Problema 4. Diez niñas, numeradas del 1 al 10 se sientan alrededor de una mesa de

cualquier manera. Cada niña recibe un nuevo número, que es la suma de su número y
el de sus dos vecinas. Demuestra que alguna niña recibe un número mayor que 17.
Solución. Supongamos que los números originales de las niñas son a0 , a1 , . . . , a9 . El

nuevo número será bi = ai−1 + ai + ai+1 , con 0 ≤ i ≤ 9 y donde los ı́ndices se toman
módulo 10.
Notamos que nunca puede darse que dos bi consecutivos sean iguales, pues si, digamos
bi = bi+1 se tendrı́a que ai−1 = ai+2 , lo cual no es posible pues todos los ai son
diferentes. Además, tenemos que b0 + b1 + · · · + b9 = 3(a0 + a1 + · · · + a9 ) = 3 · 55 =
165.
Supongamos que bi ≤ 17 para cada i. Si hubiera 6 o más iguales a 17 habrı́a dos
que son consecutivos y eso es imposible. Luego, hay a lo más 5 iguales a 17. Esto
también implica que hay al menos 5 que son menores o iguales que 16. Si todos ellos
son iguales a 16 la única opción es que los 16 y los 17 se alternen. Sin pérdida de
generalidad podemos suponer que bi = 16 para i impar y bi = 17 para i par. Se sigue
que:
b 1 = b 3 ⇒ a0 + a1 = a3 + a4 ,
b 4 = b 6 ⇒ a3 + a4 = a6 + a7 ,
b 7 = b 9 ⇒ a6 + a7 = a9 + a0 .
Lo cual implica que a1 = a9 , que es imposible. Esto implica que no todos los que son
menores a 17 pueden ser iguales a 16. Luego, la suma de los bi es estrictamente menor
que 5 · 17 + 5 · 16 = 165, lo cual es una contradicción y la prueba está completa.
Problema 5. Sea ABCD un cuadrado de diagonales AC y BD y llamémosle O a su

centro. Se construye un cuadrado P QRS, cuyos lados son paralelos a los de ABCD,
tal que P está sobre el segmento AO, Q está sobre el segmento BO, R está sobre el
segmento CO, S está sobre el segmento DO. Si el área del cuadrado P QRS es la
mitad del área del cuadrado ABCD y M es el punto medio del lado AB, ¿Cuánto
mide el ángulo ∠AM P ?
Solución de Francisco Emmanuel Anaya González. Sea Γ la circunferencia inscrita

en el cuadrado. Como es tangente en los puntos medios y el cuadrado formado por los
puntos medios tiene justamente la mitad del área del cuadrado ABCD, tenemos que
cualquier cuadrado inscrito en Γ tendrá la mitad del área de ABCD. Sea N el punto
medio de CD.
D b
N b C b
S
b
R
b
b
O
b b
P Q
b b b
A M B
Por ángulos inscritos, tenemos que ∠P N Q = 21 ∠P OQ = 12 (90◦ ) = 45◦ y por

simetrı́a, ∠P N M = ∠P2N Q = 22.4◦ . Finalmente, como el ángulo ∠P M A es semi-
inscrito, concluimos que ∠P M A = ∠P N M = 22.5◦ .
Solución alternativa. Puesto que los lados de P QRS son paralelos a los de ABCD,
entonces OP = OQ = OR = OS por semejanza. Ası́, O es el centro de P QRS.
Ahora bien, llamémosle L a la longitud del lado del cuadrado ABCD y l a la longitud
del lado de P QRS. El área de un cuadrado se calcula como lado por lado, ası́ que
1 1
l2 = Area(P QRS) = Area(ABCD) = L2 .
2 2
Por tanto, l2 = 12 L2 y l = L
√
2
. Ahora bien, como O es el centro de los dos cuadrados,
OA L √
= = 2,
OP l
√
por lo que OA = 2OP .
D b b C
b b
S R
b
O
P b b
Q
b b b
A M B
Por otra parte, el triángulo ∆AM O es rectángulo, y como el ángulo ∠OAM mide 45◦ ,
se tiene que ∆AM O es rectángulo isósceles, con OM = M A. Aplicando el Teorema
de Pitágoras,
OA2 = OM 2 + M A2 = 2OM 2
√
por lo que OA = 2OM . Juntando las dos igualdades tenemos que
√ √
2OM = OA = 2OP
por lo que OM = OP . Ası́, el triángulo ∆OM P es isósceles, con ∠M OP = 45◦ .

Puesto que los ángulos interiores de ∆OM P suman 180◦, cada uno de los ángulos
◦ ◦
∠OM P y ∠OP M mide 180 2−45 = 67.5◦. Por tanto,
∠AM P = ∠AM O − ∠OM P = 90◦ − 67.5◦ = 22.5◦ .
Problema√
√ 6. Cada uno de los números a1 , a2 , . . . , a2014 puede tomar uno de los valores
3 − 1 y 3 + 1. Considera la suma
1007
X
a2k−1 a2k = a1 a2 + a3 a4 + · · · + a2013 a2014 .
k=1
¿Cuántos valores enteros distintos puede valer esta suma?

√ √
Solución. Observemos que si a2k−1 = 3 − 1 y a2k = √ 3 + 1, entonces √ a2k−1 a2k
es entero y es igual a 2. Lo mismo√ ocurre si a2k−1 = 3 + 1 y a2k =√ 3 − 1. Por
otra parte, si a2k−1 = a2k = 3 + 1, entonces √ a2k−1 a2k = 4 + 2 3, que no√es
entero; similarmente, si a2k−1 = a2k = 3 − 1, entonces a√ 2k−1 a2k = 4 − 2 3,
que tampoco
√ es entero. Luego, la suma será de la forma a + b 3, con a y b enteros.
Como 3 es irracional, la única manera para que la suma sea un entero √ es que√ b = 0.
Por tanto, debe ocurrir que por cada par (a2k−1√ , a2k ) de√la forma ( 3 − 1, 3 − 1)
debe haber otro par (a2l−1 , a2l ) de la forma ( 3 + 1, 3 + 1) para que al sumar
a2k−1 a2k + a2l−1 a2l obtengamos un número entero. √ Ahora √ 1007√parejas
√ bien, si las
(a2k−1 , a2k ) son conjugadas, es decir, de la forma ( 3−1, 3+1) o ( 3+1, 3−1),
entonces cada uno de los 1007 sumandos es igual√ a 2 y la suma
√ es igual a 2014. Si hay
exactamente n parejas (a2k−1 , a2k ) de la forma ( 3 − 1, 3 − 1), deberá haber otras
√ √
n de la forma ( 3 + 1, 3 + 1), y las 1007 − 2n restantes serán conjugadas. Ası́, la
suma es igual a
4(2n) + 2(1007 − 2n) = 4n + 2014.
Observemos que todas las sumas, para cada n, son distintas, y que n puede tomar los
valores desde 0 hasta 1006
2 = 503, ya que 1007 − 2n, que es el número de parejas
conjugadas, no puede ser negativo. Por tanto, hay 504 valores distintos, a saber, los
números pares 2014, 2018, . . . , 4026.
√ √
Problema
√ 7. Sean x, y, z números reales positivos. Si a = x(y−z)2 , b = y(z−x)2
y c = z(x − y)2 , demuestra que a2 + b2 + c2 ≥ 2(ab + bc + ca).
Solución. Tenemos que

√ √ √
b + c − a = −(y + z)(z − x)(x − y),
√ √ √
c + a − b = −(z + x)(x − y)(y − z),
√ √ √
a + b − c = −(x + y)(y − z)(z − x).
Luego,
√ √ √ √ √ √ √ √ √
( b + c − a)( c + a − b)( a + b − c)
= −(y + z)(z + x)(x + y)[(y − z)(z − x)(x − y)]2
≤ 0.
Por lo tanto,
2(ab + bc + ca) − (a2 + b2 + c2 )

√ √ √ √ √ √ √ √ √ √ √ √
= ( a + b + c)( b + c − a)( c + a − b)( a + b − c)
≤ 0.
Problema 8. Un poliedro P cumple que cada una de sus aristas es tangente a un esfera
y todas sus aristas son congruentes. Si una de las caras de P tiene una cantidad impar
de lados, demuestra que existe una esfera que pasa por todos los vértices de P .
Solución. Sea a la longitud común de las aristas de P , r el radio de la esfera tangente

a las aristas de P y O el centro de dicha esfera. Supongamos que ℓ es la longitud del
lado de un triángulo isósceles con base a y altura r.
Coloreamos un vértice V de P de verde, rojo o azul si OV = ℓ, OV < ℓ o OV > ℓ,
respectivamente.
Sea U V una arista de P con V de color verde, entonces U OV es un triángulo con base
a, altura r y un lado ℓ, por lo tanto OU = ℓ y U es verde. De lo anterior podemos
concluir que si hay un vértice verde entonces todos los vértices que forman una arista
de P con ese vértice son verdes, siguiendo este proceso se puede concluir que todos
los vértices de P son verdes (puesto que de esta manera se llega a cualquier vértice de
P ).
Supongamos entonces que no hay ningún vértice verde, de manera similar si U V es

arista de P con V rojo; se sigue que U OV es un triángulo con base a, altura r y un
lado menor que ℓ, entonces OU > ℓ y U es azul. Sin embargo esto es una contradición
puesto que no se puede colorear de manera intercalada los vértices de la cara de P
con una cantidad impar de vértices. Por lo tanto, existe un vértice verde, con lo cual
concluimos.
Problema 9. El incı́rculo del triángulo ABC toca a los lados BC y AB en los puntos
D y F , respectivamente; e intersecta a la recta AD nuevamente en H y a la recta CF
F D · HK
nuevamente en K. Demuestra que = 3.
F H · DK
Solución. Sea E el punto donde el incı́rculo toca al lado AC y sean x = AF = AE,

y = BD = BF y z = CD = CE. Por el teorema de Stewart4 tenemos que
BD CD y(x + z)2 + z(x + y)2

AD2 = · AC 2 + · AB 2 − BD · DC = − yz
BC BC y+z
4xyz
= x2 + .
y+z
b B
b D
F b
b
b
K
H
b b b
A E C
AF 2 x2
Por potencia de punto5 tenemos que AH = AD = AD , y por lo tanto
AD2 − x2 4xyz
HD = AD − AH = = .
AD AD(y + z)
De manera análoga, obtenemos que KF = CF4xyz (x+y) .

De la semejanza de los triángulos CDK y CF D, se sigue que DK = DFCF ·CD
=
DF
CF · z. Por otra parte, de la semejanza de los triángulos AF H y ADF , tenemos que
F H = DFAD ·AF
= DFAD · x. Aplicando la ley de los cosenos en el triángulo ABC
6
2 2 2 2 2
obtenemos AC = AB + BC − 2AB · BC cos B, es decir, (x + z) = (x + y) +
4 Ver en el apéndice el teorema 15.
2 2 2
(y + z)2 − 2(x + y)(y + z) cos B. De aquı́, cos B = (x+y)2(x+y)(y+z)
+(y+z) −(x+z)
. Aplicando
ahora la ley de los cosenos en el triángulo BDF y sustituyendo la expresión obtenida
previamente para cos B, obtenemos que
DF 2 = BD2 + BF 2 − 2BD · BF cos B
(y + z)2 + (x + y)2 − (x + z)2
Å ã
2
= 2y 1 −
2(x + y)(y + z)
2
4xy z
= .
(x + y)(y + z)
Luego,
4xyz 4xyz
KF · HD CF (x+y) · AD(y+z) 16xy 2 z
= DF DF
= = 4.
F H · DK AD x · CF z
DF 2 (x + y)(y + z)
Finalmente, como D, K, H y F son concı́clicos, por el teorema de Ptolomeo7 tenemos

que KF · HD = DF · HK + F H · DK, y por lo tanto F D·HK
F H·DK = 3.
Problema 10. Demuestra que para cada entero positivo k, existen infinitos enteros
positivos n tales que los números
2n + 3n − 1, 2n + 3n − 2, . . . , 2n + 3n − k
son todos compuestos.
Solución. Dado cualquier entero positivo k, sea m un entero positivo suficientemente

grande tal que 2m + 3m − k > 1. Consideremos los siguientes k enteros:
2m + 3m − 1, 2m + 3m − 2, . . . , 2m + 3m − k,
los cuales son todos mayores que 1. Para cada uno de estos enteros, consideremos un
divisor primo p1 , p2 , . . . , pk , respectivamente, es decir, el primo pi divide al número
2m + 3m − i, y sea
nt = m + t(p1 − 1)(p2 − 1) · · · (pk − 1),
donde t es un entero positivo arbitrario. Para cualquier entero fijo i (1 ≤ i ≤ k),
tenemos que 2nt ≡ 2m (mod pi ). En efecto, si pi = 2, el resultado es claro. Si pi 6= 2,
por el pequeño teorema de Fermat8 tenemos que
2nt = 2m · 2t(p1 −1)(p2 −1)···(pk −1) ≡ 2m · 1 = 2m (mod pi ).
De manera análoga, tenemos que 3nt ≡ 3m (mod pi ). Luego, 2nt + 3nt − i ≡ 2m +
3m − i ≡ 0 (mod pi ) y 2nt + 3nt − i > 2m + 3m − i, de donde 2nt + 3nt − i es
un número compuesto. Por lo tanto, nt es uno de los enteros positivos n tales que los
números 2n + 3n − 1, 2n + 3n − 2, . . . , 2n + 3n − k son todos compuestos. Como t
se eligió de manera arbitraria, se sigue que hay una infinidad de tales enteros positivos
satisfaciendo las condiciones del problema.
Concursos Estatales
Olimpiada Estatal de Jalisco, 2014

La olimpiada estatal de matemáticas en Jalisco se celebra anualmente en el mes de
junio, la fecha se precisa en función de los eventos donde participan los candidatos al
concurso, por ejemplo exámenes de ingreso a la preparatoria o la fecha del concurso
nacional de ONMAPS. En 2014 la fecha quedó el 14 de junio y la sede fue la Escuela
Preparatoria Regional de Tlajomulco de Zúñiga de la Universidad de Guadalajara.
Los profesores de la Escuela sede formaron un Comité Organizador Local y se en-

cargaron de la logı́stica de las aulas para la aplicación del examen, las personas que
estarı́an a cargo de las aulas, los “aplicadores” y un grupo de edecanes que apoyarı́a
en guiar a los estudiantes a sus aulas y llevar y regresar preguntas acerca del exam-
en. El comité académico se integra con el comité estatal y se amplı́a con profesores y
ex-olı́mpicos interesados en apoyar: el diseño del examen; la mesa de preguntas y; la
calificada.
La premiación se hizo en la misma sede una semana después. Al examen asistieron 377
estudiantes de 101 escuelas acompañados por 129 profesores. Se premiaron a 25 para
primer lugar; 35 para segundo lugar y; 50 para tercer lugar. Los ganadores de primer
lugar asistieron a un curso de entrenamiento durante el verano, al final del curso se
seleccionaron a 10 estudiantes que continuaron el entrenamiento, y después de un par
de selectivos más conformarı́an la selección de Jalisco a la 28a OMM.
A continuación presentamos los problemas del Concurso Estatal de Jalisco de la 28a

Olimpiada Mexicana de Matemáticas. Los alumnos tuvieron una sesión de 4.5 horas
para resolverlos.
Problema 1. Sea ABCD un cuadrado de papel de lado 10 y E un punto en el lado

AB. Al doblar el papel a lo largo de la recta DE, el punto A determina al punto F ,
como se ve en la figura.
34 Concursos Estatales
A b
E
b
B
b
b
F
b G
b b
D C
La recta EF corta al lado BC en G. Calcular el perı́metro del triángulo EBG.
Problema 2. Considera la secuencia de términos:

t1 = 1, t2 = 23, t3 = 456, t4 = 78910, t5 = 1112131415, . . .
donde 1 es el único número en el primer término (t1 ), el 2 y el 3 forman el segundo
término (t2 ), 4, 5 y 6 forman el tercer término (t3 ), 7, 8, 9 y 10 forman el cuarto término
(t4 ), 11, 12, 13, 14 y 15 forman el quinto término (t5 ), 16, 17, 18, 19, 20 y 21 forman
el sexto término (t6 ) y ası́ sucesivamente. Sea tn el término en donde aparecen por
primera vez los dı́gitos del número 2014 en ese orden.
¿Cuál es la suma de los dı́gitos de ese término tn ? Por ejemplo, los dı́gitos del número
131 aparecen por primera vez en ese orden en t5 ya que 1112131415, en donde la suma
de las cifras de t5 es 1 + 1 + 1 + 2 + 1 + 3 + 1 + 4 + 1 + 5 = 20.
Problema 3. Pepillo realiza el siguiente proceso:

Escoge al azar un número de dos cifras o más y le aplica sucesivamente “una
operación”.
“Una operación” consiste en tomar el número, sumar sus dos últimos dı́gitos
(unidades y decenas), borrar en el número los dı́gitos sumados y en su lugar
pone el resultado de la suma.
Por ejemplo, si Pepillo escoge el 1399 al aplicarle “una operación” se obtiene el 1318,
ya que se tiene que 1399 → 9+9 = 18 → 1318; si se vuelve a aplicar “una operación”
se obtiene 1318 → 1 + 8 = 9 → 139. ¿Cuántos números menores que 2014 tienen
la propiedad de que al aplicarles “una operación” varias veces, el resultado en algún
momento es 11?
Problema 4. Sea ABC un triángulo cuyos vértices están en una circunferencia de

centro O y sean D y E puntos en los lados AC y AB tales que DB y EC son alturas
del triángulo. Demuestra que las rectas OA y DE se cortan formando ángulos rectos.
Problema 5. Encuentra todas las parejas de enteros no negativos (a, b) tales que el
resultado de la expresión
2(a + 2b) − 5
a2 + b 2
es un número entero.
Concurso Nacional 2014
28a Olimpiada Mexicana de
Matemáticas
Del 9 al 14 de noviembre de 2014 se llevó a cabo en Toluca, Estado de México, el Con-

curso Nacional de la 28a Olimpiada Mexicana de Matemáticas, con la participación de
todos los estados de la República.
Los 19 alumnos ganadores del primer lugar (ordenados por estados) fueron:
Arturo Arenas Esparza (Chihuahua).

Enrique Domı́nguez Lucero (Chihuahua).
Luis Carlos Garcı́a Ramos (Chihuahua).
Alonso Granados Baca (Chihuahua).
Antonio López Guzmán (Chihuahua).
Jorge Pat De la Torre Sánchez (Coahuila).
Israel Bonal Rodrı́guez (Guanajuato).
José Ramón Tuirán Rangel (Hidalgo).
Rodrigo Flores Martı́nez (Jalisco).
Leonardo Ariel Garcı́a Morán (Jalisco).
Olga Medrano Martı́n del Campo (Jalisco).
Juan Carlos Ortiz Rhoton (Jalisco).
Rodrigo Andrés Cariño Escobar (Morelos).
Juan Carlos Castro Fernández (Morelos).
Kevin William Beuchot Castellanos (Nuevo León).
Vı́ctor Hugo Antonio De la Fuente Jiménez (Nuevo León).
Marı́a Cecilia Rojas Cuadra (Puebla).
Pablo Meré Hidalgo (Querétaro).
Luis Xavier Ramos Tormo (Yucatán).
36 Concurso Nacional 2014, OMM
Los 10 alumnos preseleccionados para la Olimpiada Matemática de Centroamérica y

el Caribe fueron:
Enrique Domı́nguez Lucero (Chihuahua).

Victor Hugo Almendra Hernández (Distrito Federal).
Luis Alfredo Aceves Astengo (Jalisco).
Leonardo Ariel Garcı́a Morán (Jalisco).
Iancarlo Ariel Espinosa Garcı́a (Nuevo León).
Diana Espinosa Ruiz (San Luis Potosı́).
Carlos Yeddiel Cortes Ruelas (Tlaxcala).
Fernando Isaı́ Sáenz Meza (Tlaxcala).
Manuel Guillermo Flota López (Yucatán).
Juan Eduardo Castanedo Hernández (Zacatecas).
Los 8 alumnos preseleccionados para la Competencia Internacional de Matemáticas

(IMC) fueron:
Marcela Cruz Larios (Campeche).

Oriol Solé Pi (Distrito Federal).
Leyre Carpinteyro Garcı́a (San Luis Potosı́).
José Ángel Rodrı́guez Leija (San Luis Potosı́).
Mariola Camacho Lie (Veracruz).
Manuel Guillermo Flota López (Yucatán).
Jesús Pablo Rodrı́guez Castanedo (Zacatecas).
Las 9 alumnas preseleccionadas para la Olimpiada Europea Femenil fueron:
Aylı́n Aribel Pérez Moriel (Chiapas).

Tania Martı́nez Villagómez (Guanajuato).
Naomi Mastache López (Guerrero).
Olga Medrano Martı́n del Campo (Jalisco).
Alka Xavier Earathu (Morelos).
Jacqueline Lira Chávez (Morelos).
Marı́a Cecilia Rojas Cuadra (Puebla).
Shaira Rocı́o Hernández Flores (San Luis Potosı́).
Aunque la participación en el Concurso Nacional es individual, es importante destacar

la labor que han llevado los estados de la República apoyando a sus concursantes.
Con el propósito de reconocer este trabajo, presentamos el registro de los estados que
obtuvieron los primeros 10 lugares en el Concurso Nacional de la 28a OMM.
Concurso Nacional 2014, OMM 37
1. Chihuahua.
2. Jalisco.
3. Morelos.
4. Nuevo León.
5. Yucatán.
6. Distrito Federal.
7. Guanajuato.
8. San Luis Potosı́.
9. Puebla.
10. Colima.
En esta ocasión, el premio a la Superación Académica se llamó Copa “Sor Juana Inés
de la Cruz”, y fue ganado por Tamaulipas. El segundo y tercer lugar de este premio lo
ocuparon Sinaloa y Veracruz, respectivamente.
A continuación presentamos los problemas y soluciones del Concurso Nacional 2014.

Los alumnos tuvieron dos sesiones de cuatro horas y media cada una para resolverlos.
Problema 1. Diremos que dos enteros positivos m y n son cuates si alguno de los
números m n
n o m es un número primo. Cada uno de los números del 1 al 4027 está co-
loreado de verde o rojo. Un paso consiste en elegir dos números que sean cuates y
cambiar el color de cada uno de ellos (si alguno era rojo pasa a verde y si alguno era
verde pasa a rojo).
Muestra que tras algunos pasos es posible hacer que todos los números del 1 al 2014
sean verdes.
(Problema sugerido por Jorge Garza Vargas)
Solución de Pablo Meré Hidalgo (Querétaro). Primero notemos que 1 es primo rela-
tivo con todo primo p y que si m y n son cuates, también lo serán mk y nk para todo
entero positivo k.
Veamos que si x divide a y con 1 ≤ x < y ≤ 4027, podemos cambiar de color los
números x e y sin afectar el color del resto de los números. Para ello, consideremos
la descomposición en primos de xy = p1 p2 · · · pk (los primos pi se pueden repetir).
Hacemos los cambios de colores en las parejas de números (x, xp1 ), (xp1 , xp1 p2 ), . . .,
(xp1 p2 · · · pk−1 , xp1 p2 · · · pk−1 pk ). En estos cambios, cada número, a excepción del
x y del y, fue cambiado dos veces, por lo que después de estos cambios, sus colores no
fueron alterados, mientras que sı́ lo fueron los colores de x e y.
Ahora, para cada i entre 2 y 2014 que esté pintado de rojo, hacemos este proceso con
los números 1 e i. Terminaremos con todos los números entre 2 y 2014 pintados de
verde. Si el 1 terminó de color rojo, basta hacer el cambio con los números 1 y 2015
para terminar.
Problema 2. Un entero positivo a se reduce a un entero positivo b, si al dividir a entre

su dı́gito de las unidades se obtiene b. Por ejemplo, 2015 se reduce a 2015
5 = 403. En-
cuentra todos los enteros positivos que, mediante algunas reducciones, llegan al número
1. Por ejemplo, 12 es uno de tales enteros pues 12 se reduce a 6 y 6 se reduce a 1.
(Problema sugerido por Manuel Enrique Dosal Bustillos)
Solución de Olga Medrano Martı́n del Campo (Jalisco). Consideramos un número

a cuyo último dı́gito es d. Es decir, a = 10c + d con c entero no negativo y d un dı́gito.
El número a se reduce al número b = 10c+dd . Primero demostraremos que este número
b no puede terminar en los dı́gitos 0, 2, 4 u 8.
Si b termina en 0, tendrı́amos que 10c+d

d = 10x para cierto entero positivo x, de
donde 10c + d = 10dx y por tanto 10 divide a d. Como d es un dı́gito, tendrı́a
que ser 0 pero no se puede dividir entre 0.

d = 10x + 2 para cierto entero positivo
x, de donde 10c + d = 10dx + 2d y por tanto d = 10(c − dx). Luego, 10 divide
a d y concluimos como en el inciso anterior.

d = 10x + 4 para cierto entero positivo x,
de donde 10c + d = 10dx + 4d y por tanto 3d = 10(c − dx). De aquı́, 10 divide
a d (pues 10 y 3 son primos relativos) y concluimos como antes.

d = 10x + 8 para cierto entero positivo
x, de donde 10c + d = 10dx + 8d y por tanto 7d = 10(c − dx). Nuevamente 10
divide a d (pues 10 y 7 son primos relativos) y concluimos como antes.
Claramente 1 se reduce a 1. Sea n > 1 un número que se reduce al 1. Si n > 10,

al reducirse obtendrı́amos (siendo d su último dı́gito) nd > 10 10 = 1, lo que es una
contradicción, y n = 10 no es posible pues termina en 0. Luego, n tiene que ser un
dı́gito. Para que ese número haya sido la reducción de algún otro, n no puede ser 2, 4
u 8. Veamos los demás casos.
Para n = 3 tenemos que 10c+d d = 3, de donde 5c = d, d = 5 y c = 1, por lo

que el 3 puede venir únicamente del 15. El 15 puede venir únicamente del 75.
En general, demostraremos que se obtienen los números de la forma 3 · 5k con
k un entero no negativo. Ya tenemos la base inductiva. Para el brinco inductivo,
consideramos 10c+dd = 3 · 5k , de donde 10c + d = 3 · 5k d, por lo que 5 divide a d
y d tiene que ser 5, de donde 10c + d = 3 · 5k+1 . Todos estos números cumplen,
pues efectivamente terminan en 5.
Para n = 5 tenemos que 10c+d

d = 5, de donde 5 divide a d, por lo que tiene que
ser igual a 5 y 10c + d = 25, por lo que el 5 puede venir únicamente del 25.
Demostraremos que se obtienen los números de la forma 5k con k un entero no
negativo. Ya tenemos la base inductiva. Para el brinco inductivo, consideramos
10c+d
d = 5k , de donde 10c + d = 5k d, por lo que 5 divide a d y d tiene que ser
5, de donde 10c + d = 5k+1 . Todos estos números cumplen, pues efectivamente
terminan en 5.
Para n = 7 tenemos que 10c+d d = 7, de donde 5c = 3d, por lo que d vuelve

a ser igual a 5 y 10c + d = 35, por lo que el 7 puede venir únicamente del 35.
Demostraremos que se obtienen los números de la forma 7·5k con k un entero no
negativo. Ya tenemos la base inductiva. Para el brinco inductivo, consideramos
10c+d
d = 7 · 5k , de donde 10c + d = 7 · 5k d, por lo que 5 divide a d y d tiene
que ser 5, de donde 10c + d = 7 · 5k+1 . Todos estos números cumplen, pues
efectivamente terminan en 5.
Para n = 9 tenemos que 10c+d d = 9, de donde 5c = 4d, d = 5 y c = 4, por
lo que el 9 puede venir únicamente del 45. En general, demostraremos que se
obtienen los números de la forma 9 · 5k con k un entero no negativo. Ya tenemos
la base inductiva. Para el brinco inductivo, consideramos 10c+dd = 9 · 5k , de
k
donde 10c + d = 9 · 5 d, por lo que 5 divide a d y d tiene que ser 5, de donde
10c + d = 9 · 5k+1 . Todos estos números cumplen, pues efectivamente terminan
en 5.
Para n = 6 tenemos que 10c+d d = 6, de donde 2c = d y obtenemos los números
12, 24, 36 y 48. De estos, el único que puede tener antecesor es el 36.
Para llegar al 36, tuvimos que haber llegado desde un número par que no acaba
en 0, por lo que puede ser el 2 × 36 = 72, 4 × 36 = 144, 6 × 36 = 216 y
8 × 36 = 288. De estos, el único que puede tener antecesor es el 216.
Este proceso continuará, pues módulo 10 se tiene que 6k ≡ 6, por lo que
2 · 6k ≡ 2 · 6 ≡ 2,
4 · 6k ≡ 4 · 6 ≡ 4,
6 · 6k ≡ 6 · 6 ≡ 6,
8 · 6k ≡ 8 · 6 ≡ 8.
Luego, obtenemos los números de la forma 6k , 2 · 6k , 4 · 6k y 8 · 6k para cualquier

entero no negativo k.
Por lo tanto, los números buscados son el 1, 5k , 3 · 5k , 7 · 5k , 9 · 5k , 6k , 2 · 6k , 4 · 6k y
8 · 6k para cualquier entero no negativo k.
Problema 3. Sean Γ1 una circunferencia y P un punto fuera de Γ1 . Las tangentes des-

de P a Γ1 tocan a la circunferencia en los puntos A y B. Considera M el punto medio
del segmento P A y Γ2 la circunferencia que pasa por los puntos P , A y B. La recta
BM intersecta de nuevo a Γ2 en el punto C, la recta CA intersecta de nuevo a Γ1 en
el punto D, el segmento DB intersecta de nuevo a Γ2 en el punto E y la recta P E
intersecta a Γ1 en el punto F (con E entre P y F ). Muestra que las rectas AF , BP y
CE concurren.
(Problema sugerido por Marco Antonio Flores Martı́nez)
Solución de Rodolfo Flores Jiménez (Puebla). Sea α = ∠P BA. Como P A y P B

son tangentes a Γ1 , se tiene que P A = P B y ∠BAP = ∠P BA = α. Como el
ángulo ∠P AB es semi-inscrito en Γ1 se tiene que ∠BDA = ∠BAP = α. Por

ángulos inscritos en Γ2 , ∠P EA = ∠P BA = α y ∠BEP = ∠BAP , y como
∠EDA+ ∠DAE = ∠BEA = 2α (al ser ∠BEA ángulo exterior del triángulo EDA)
y ∠EDA = α, concluimos que ∠DAE = α y el triángulo EDA es isósceles con
ED = AE.
b
C
A
b
D b
Γ1
b
M
b
P
b
b
E
F
Γ2
b
B
G b
Como ∠DEF = ∠BEP = α, tenemos que DA es paralela a F P . Sea β = ∠P AC.

Por el paralelismo tenemos que ∠AP E = β. Por ángulos inscritos tenemos que
∠AP E = ∠ACE = β y ∠P EC = ∠P AC = β, por lo que P A = EC y el
cuadrilátero AEP C es un trapecio isósceles, de donde ∠CP E = ∠P EA = α y por
ángulos inscritos en Γ2 , ∠ABE = ∠AP E = β y ∠P BC = ∠P AC = β.
Como ∠CP E = ∠BEP las rectas BE y P C son paralelas. Como también sabemos
que DC es paralelo a F P , si demostramos que AP y F B son paralelas, los triángulos
AP C y F EB serı́an homotéticos y las rectas AF , EC y BP se intersectarı́an en el
centro de homotecia. Si demostramos que las rectas EP y BC se cortan sobre Γ1 en un
punto que llamaremos Q, tendrı́amos que, por la suma de ángulos del triángulo BEQ,
∠EQB = 180◦ − 2α, de donde ∠F BG = 180◦ − 2α (G es un punto en la extensión
del segmento P B) y ∠ABF = α = ∠BAP y obtendrı́amos el paralelismo deseado.
Luego, basta demostra que las rectas EP y BC se cortan sobre Γ1 .
Sea Q el otro punto de intersección de Γ1 con BC y sea Q′ el punto de intersección
de BC y EP . Por potencia de M sobre Γ1 y Γ2 tenemos que M A2 = M Q · M B y
M A2 = M B · M C (pues P M = M A), de donde M Q = M C. Por otro lado, como
AC y Q′ P son paralelas y P M = M A, por Tales, tenemos que M C = Q′ M . Luego,
M Q = M Q′ , por lo que Q = Q′ y EP y BC se cortan sobre Γ1 , que era lo que
faltaba demostrar.
Problema 4. Sea ABCD un rectángulo con diagonales AC y BD. Sean E la inter-

sección de la bisectriz del ángulo ∠CAD con el segmento CD, F el punto sobre el
segmento CD tal que E es el punto medio de DF y G el punto sobre la recta BC tal
que BG = AC (con C entre B y G). Muestra que la circunferencia que pasa por D, F
y G es tangente a BG.
(Problema sugerido por Eduardo Velasco Barreras)
Solución de Isaı́ Sáenz Meza (Tlaxcala). Sean H e I las intersecciones de AE con

BG y DG, respectivamente. Sea x = ∠DAE = ∠EAC. Como ∠AED = ∠HEC
y los ángulos ∠EDA y ∠ECH son rectos, tenemos que los triángulos EAD y EHC
son semejantes, por lo que ∠CHE = ∠DAE = x.
A b b
D
E b
I
b
F
b b b b
B C G H
Como ∠CHA = ∠HAC, tenemos que el triángulo HCA es isósceles con AC =

CH. Como AC = BG, llegamos a que BG = CH, de donde BC = GH. Por otro
lado, como AD y GH son paralelas, se tiene que los triángulos ADI y HGI son
semejantes, pero como AD = GH, son congruentes, por lo que DI = IG. Como
además DE = EF , por Tales tenemos que EI es paralela a F G.
Como ABCD es cı́clico, tenemos que ∠DBC = ∠DAC = 2x y como BD = AC =
BG, el triángulo BDG es isósceles con DB = BG, por lo que ∠GDB = ∠BGD =
90◦ − x. Por la suma de ángulos internos del triángulo DGC tenemos que ∠GDC = x
y en el triángulo ADI podemos concluir que ∠AID = 90◦ − 2x. Como AI es paralela
a F G tenemos que ∠F GD = 90◦ − 2x y como ∠CGD = 90◦ − x concluimos que
∠CGF = x. Finalmente, como ∠GDC = ∠CGF , tenemos que BG es tangente a la
circunferencia que pasa por los puntos D, F y G, como se buscaba demostrar.
Problema 5. Sean a, b y c números reales positivos tales que a + b + c = 3. Muestra

que
a2 b2 c2 3
√ + √ + √ ≥ ,
a + bc b + ca c + ab
3 3 3
2
y determina cuándo se cumple la igualdad.
(Problema sugerido por David Cossı́o Ruiz y José Antonio Gómez Ortega)
Solución de Marı́a Cecilia Rojas Cuadra (Puebla). Como todos los números involu-
crados son positivos, podemos usar la desigualdad útil:
a2 b2 c2 (a + b + c)2
√ + √ + √ ≥ √ √ √
a + bc b + 3 ca c + ab
3 3 3 3
a + b + c + bc + 3 ca + ab
9
= √ √ √ .
3 + bc + 3 ca + 3 ab
3
Luego, la desigualdad quedará demostrada si probamos que

9 3
√ √ √ ≥ ,
3 + 3 bc + 3 ca + 3 ab 2
√
3 √ √
3
la cual es equivalente a bc + 3 ca + ab ≤ 3.
Como b, c y 1 son positivos,
√ por la desigualdad entre la media aritmética
√ y la media
geométrica se tiene que 3 bc ≤ b+c+1 . Análogamente se tiene que 3 ca ≤ c+a+1 y
√ 3 3
que 3 ab ≤ a+b+13 . Sumando las tres desigualdades tenemos que
√
3 √ √
3 2(a + b + c) + 3 9
bc + 3 ca + ab ≤ = = 3,
3 3
que era lo que faltaba demostrar. Para que la igualdad se alcance, se tienen que dar las
igualdades en la desigualdad útil
√ y en cada una de las desigualdades entre las medias.
Para que se dé la igualdad en 3 bc ≤ b+c+1
3 se necesita que b = c = 1. Para las otras
dos, es necesario que c = a = 1 y que a = b = 1, por lo que la igualdad solo podrı́a
darse en el caso a = b = c = 1. Evaluando, vemos que efectivamente se da la igualdad,
por lo que solo se da en este caso.
Problema 6. Para cada entero positivo n, sea d(n) la cantidad de divisores positivos
de n. Por ejemplo, los divisores positivos de 6 son 1, 2, 3 y 6, por lo que d(6) = 4.
Encuentra todos los enteros positivos n tales que
n + d(n) = d(n)2 .
(Problema sugerido por David Cossı́o Ruiz)
Solución. Consideremos la ecuación
d(m(m − 1)) = m. (1)

Si n es solución del problema, m = d(n) es solución de (1) y si m es solución de (1),
n = m(m−1) es solución del problema. Entonces buscaremos las soluciones de (1).√La
idea principal es usar que para casi todo entero positivo k se cumple que d(k) ≤ k.
Observemos que si m es solución, m tiene que ser par porque si es impar, el lado
izquierdo de (1) es impar y el derecho par porque m(m − 1) no es cuadrado.
Consideremos la función f definida en los enteros positivos como
d(k)2
f (k) = .
k
p
Si m es tal que f (m(m − 1)) ≤ 1, se tendrı́a que d(m(m − 1)) ≤ m(m − 1) <
m, por lo que m no es solución. Notemos que si a y b son enteros primos relativos,
f (ab) = f (a)f (b) (es decir, f es multiplicativa). En particular, si k = pa1 1 · · · · · par r es
la descomposición como producto de primos de k, entonces f (k) = f (pa1 1 )·· · ··f (par r ).
Observemos que las únicas potencias de primos, pa , que cumplen que 1 < f (pa ) son
2, 22 , 23 , 24 , 25 y 3.
22 42 22 · 32 9
f (2) = = 2, f (23 ) = 3
= 2, f (2 5
) = 5
=
2 2 2 8
32 9 52 4
f (22 ) = 2 = , 4
f (2 ) = 4 , f (3) = .
2 4 2 3
De lo anterior podemos ver que f (k) ≤ 3 para cualquier k > 0. Supongamos que m
es solución y sea p el mayor primo que divide a m. Supongamos que p ≥ 7; como
p | m = d(m(m − 1)), hay un primo en m(m − 1) cuyo exponente es al menos p − 1.
Sea q tal primo. Si q = p tendrı́amos m(m − 1) = ps k, con (k, p) = 1 y p − 1 ≤ s,
entonces
f (m(m − 1)) = f (ps )f (k) ≤ f (76 ) · 3 < 1,
ası́ que m no serı́a solución. Entonces q 6= p, por lo que m = q s pr k, con (pq, k) = 1.
Si q ≥ 3,
72 · 22
f (m(m − 1)) = f (q s )f (pr )f (k) ≤ f (36 )f (7) · 3 = · 3 < 1,
36 · 7
lo cual no es posible. Si q = 2, k no es divisible por 2 y entonces f (k) ≤ f (3) = 34 .
4
f (m(m − 1)) ≤ f (26 )f (7) · < 1.
3
Entonces p ≤ 5. Analizaremos los casos p = 5, p = 3 y p = 2.
1. (p = 5). Entonces m = 2a 3b 5c . Si c ≥ 2, 52 | d(m(m − 1)), y pueden pasar dos
cosas: Un primo aparece con exponente al menos 24, pero entonces f (m) < 1,
o hay al menos dos primos p1 < p2 con exponente al menos 4. En tal caso,
escribimos m(m − 1) = ps2 · k. Como p2 ≥ 3,
52
f (m(m − 1)) ≤ f (34 )f (k) ≤ · 3 < 1.
34
Entonces c = 1 y hay un primo con exponente al menos 4 en m(m − 1). Se

puede ver que ese primo debe ser 2, de lo contrario f (m(m − 1)) ≤ 1. Ahora,
m = 24 ·3b ·5. Observemos que si m es múltiplo de 3, como también es par, m−1
no tiene factores 3 ni 2 y entonces f (m − 1) ≤ 1, por lo tanto f (m(m − 1)) ≤
f (m). Supongamos que b ≥ 3.
20
f (m(m − 1)) ≤ f (m) ≤ f (24 )f (33 )f (5) = < 1.
27
Entonces sólo falta probar b ∈ {0, 1, 2}, pero ninguno produce una solución.
2. (p = 3). Tenemos m = 2a · 3b y queremos 2a · 3b = (a + 1)(b + 1)d(m − 1),

entonces a + 1 y b + 1 son de la forma 2α · 3β . Los primeros números ası́ son 2,
3, 4 y 6. Si b + 1 ≥ 6,
f (m(m − 1)) ≤ f (m) ≤ f (2a )f (35 ) ≤ 1,
entonces b + 1 ∈ {2, 3, 4}. Supongamos que b = 3. Si a + 1 ≥ 6

2
f (m(m − 1)) ≤ f (m)f (25 )f (33 ) = < 1,
3
entonces a+1 ∈ {2, 3, 4}. Revisando estos tres casos se ve que ninguno produce
una solución. Si b = 2,
f (m(m − 1)) ≤ f (m) = f (2a )f (32 ) = f (2a ),
por lo tanto a ∈ {1, 2, 3, 4, 5}. Sólo a = 2 nos da una solución, m = 36.

Si b = 1, m = 2a · 3. Hay dos opciones: 3 | a + 1 o a + 1 es potencia de dos. En
la primera, a + 1 = 2s · 3. Si s = 0 encontramos la solución m = 12, si s = 1,
m no es solución y si s ≥ 2, f (m(m − 1)) ≤ 1. Si a + 1 = 2s , la desigualdad
f (m(m − 1)) > 1 se cumple sólo para s = 1 y s = 2, pero en ninguno de estos
casos m es solución.
3. (p = 2). En este caso m = 2a y queremos 2a = (a + 1)d(m − 1), entonces
a + 1 = 2s para algún s ≥ 1. Como a es impar, 3 no divide a m − 1 y entonces
f (m − 1) ≤ 1. Como f (m(m − 1)) ≤ f (m), necesitamos que 1 < f (m).
Podemos ver que esta desigualdad se cumple sólo para s = 1 y s = 2, lo cual da
m = 2 y m = 8, respectivamente, que sı́ son soluciones.
En conclusión, las soluciones de (1) son 2, 8, 12 y 36, entonces las soluciones n de la
ecuación original son 2, 56, 132 y 1260.
Problemas y Soluciones de
Concursos Internacionales
XXIX Olimpiada Iberoamericana de Matemáticas

Del 19 al 27 de septiembre del año 2014, en la ciudad de San Pedro Sula, Honduras,
se realizó la 29a Olimpiada Iberoamericana de Matemáticas, en la que participaron 22
paı́ses con un total de 82 estudiantes.
Toda la delegación mexicana fue premiada. Los cuatro alumnos que nos representaron,
obtuvieron tres medallas de oro y una medalla de plata, logrando ası́ una destacada
participación. Ellos son: Kevin William Beuchot Castellanos (de Nuevo León), Luis
Xavier Ramos Tormo (de Yucatán), Pablo Meré Hidalgo (de Querétaro) y Luis En-
rique Chacón Ochoa (de Chihuahua). Kevin, Luis Xavier y Pablo obtuvieron medalla
de oro, y Luis Enrique obtuvo medalla de plata. Los profesores que acompañaron a
la delegación fueron: Marco Antonio Figueroa Ibarra (lı́der) y Daniel Perales Anaya
(tutor).
Sus logros colocaron a México en el primer lugar general por paı́ses en el evento,
quedando por encima de paı́ses como Argentina, Brasil, España, Perú y Portugal, entre
otros. No es la primera vez que se logra esto. En 2006 y 2011 fuimos también primer
lugar, sin embargo no es frecuente por ser fuerte la competencia.
La delegación mexicana ganó por segunda ocasión la Copa Puerto Rico, que se otorga
al paı́s de mejor avance relativo a los dos últimos años.
A continuación presentamos los problemas de la XXIX Olimpiada Iberoamericana de

Matemáticas junto con las soluciones de los alumnos mexicanos. Los alumnos tuvieron
dos sesiones de 4.5 horas cada una para resolverlos.
Problema 1. Para cada entero positivo n, se define s(n) como la suma de los dı́gitos
de n. Determine el menor entero positivo k tal que
46 Soluciones de Concursos Internacionales
s(k) = s(2k) = s(3k) = · · · = s(2013k) = s(2014k).
Solución de Kevin William Beuchot Castellanos. Primero demostraremos que s(10k −

1) = s(r · (10k − 1)) para 1 ≤ r ≤ 10k + 1. Para ello, sea r = a1 a2 . . . an . Como mul-
tiplicar por 10 no altera la suma de los dı́gitos, podemos suponer que an 6= 0. Tenemos
que r · (10k − 1) es igual a
a1 a2 . . . an−1 (an − 1) 99 . . . 9(9 − a1 )(9 − a2 ) . . . (9 − an−1 )(10 − an ),

| {z }
k dı́gitos
por lo que s(r · (10k − 1)) = 9k = s(10k − 1). Esto demuestra que 9999 cumple las
condiciones del problema. Ahora demostraremos que es el menor.
Si a ≤ 999, por lo demostrado tenemos que s(a) = s(999a) = s(999) = 27, lo que
implica que a = 999 pues es el único número de tres dı́gitos que alcanza esa suma de
dı́gitos. Pero como s(999) = 27 6= 54 = s(1001 · 999), 999 tampoco cumple. Resta
ver si hay algún número con 4 dı́gitos que cumple.
Supongamos que a = a1 a2 a3 a4 cumple. Al multiplicarlo por 1001 obtenemos
a1 a2 a3 (a4 + a1 )a2 a3 a4 ,
si a4 + a1 < 10. En este caso tendrı́amos que s(1001a) = 2s(a), lo cual es una
contradicción y a4 + a1 tiene que ser mayor a 10 para que se haga el acarreo.
Por otro lado, como a4 + a1 ≤ 18, este acarreo a a3 será de solo una unidad y como
a3 + 1 ≤ 10 y a2 + 1 ≤ 10, tenemos que podrı́a llegar solo un acarreo de 1 a a1 .
Si el acarreo no llega al a1 , el primer dı́gito del número será justo el a1 . Los últimos
tres dı́gitos serán a2 , a3 y a4 . Pero además, sı́ hubo acarreo. Eso implica que la suma
del segundo y del tercer dı́gito será al menos 1, justo por ese acarreo que no llegó a a1 .
Luego, la suma de dı́gitos de s(1001a) es al menos a1 + a2 + a3 + a4 + 1 lo cual es
mayor que s(a).
Si el acarreo llega a a1 y a1 < 9, obtendrı́amos la misma cota, por lo que el acarreo
tiene que llegar y a1 tiene que ser 9. Para que el acarreo llegue, se necesita que a2 =
a3 = 9. Luego, a = 999a4.
Pero como s(a) = s(2a), módulo 9 tenemos que a tiene que ser múltiplo de 9, por lo
que a = 9990 o a = 9999. Si a = 9990 cumple, también cumplirı́a a = 999, pero ya
vimos que no, por lo que a tiene que ser 9999 y terminamos.
Problema 2. Halle todos los polinomios P (x) con coeficientes reales tales que P (2014)
= 1 y, para algún entero c, se cumple que xP (x − c) = (x − 2014)P (x).
Solución de Pablo Meré Hidalgo. Supongamos que P (2014 − kc) = 0 para cierto
entero positivo k. Sustituyendo x = 2014 − kc en la ecuación obtenemos que
(2014 − kc)P (2014 − (k + 1)c) = (−kc)P (2014 − kc) = 0,
de donde kc = 2014 o P (2014 − (k + 1)c) = 0.

Soluciones de Concursos Internacionales 47
Sustituyendo ahora x = 2014 en la expresión inicial obtenemos que P (2014 − c) = 0.

Aplicando lo que acabamos de demostrar, tenemos que c = 2014 o 2014 − 2c es raı́z
de P (x). Si 2014 − 2c es raı́z de P (x), nuevamente por lo demostrado previamente,
tenemos que 2c = 2014 o 2014 − 3c es raı́z de P (x). Continuando de esta forma
tenemos que o bien c divide a 2014 o bien 2014 − kc es raı́z de P (x) para todo entero
positivo k. Si esto último sucediera, tendrı́amos que el polinomio P (x) tendrı́a que ser
el polinomio cero, contradiciendo que P (2014) = 1. Luego, c debe dividir a 2014, esto
es, 2014 = kc para algún entero positivo k y ası́ los números
2014 − c, 2014 − 2c, . . . , 2014 − (k − 1)c, 2014 − kc = 0,
son raı́ces de P (x). Esto es, los números 0, 2014 2014 2014
k , 2( k ), . . . , (k − 1)( k ) son raı́ces
de P (x). Entonces,
k−1
YÅ 2014
Å ãã
P (x) = x−j Q(x),
j=0
k
para cierto polinomio Q(x) con coeficientes enteros. Sustituyendo esta expresión en la
ecuación original, tenemos que
Y k−1
Y
x (x − (j + 1)c) Q(x − c) = (x − 2014) (x − (j + 1)c) Q(x),
j=0 j=0
de donde Q(x) = Q(x − c). Por otro lado, tenemos que

k−1
YÅ j Q(2014)2014k k!
Å ãã
1 = P (2014) = Q(2014) 2014 1 − = ,
j=0
k kk
kk−1
de donde Q(2014) = 2014k (k−1)! . Como Q(x) = Q(x − c), tenemos que el polinomio
kk−1
Q(x) − tiene una infinidad de raı́ces (todas las de la forma 2014 − jc con
2014k (k−1)!
j entero no negativo), por lo que tiene que ser el polinomio idénticamente 0, por lo que
k−1
Q(x) es el polinomio idénticamente igual a 2014kk (k−1)! . Por lo tanto,
k−1
k k−1 YÅ 2014j
Å ãã
P (x) = x −
2014k (k − 1)! j=0 k
para cada divisor k de 2014.
Problema 3. Sobre una circunferencia se marcan 2014 puntos. Sobre cada uno de los
segmentos cuyos extremos son dos de los 2014 puntos, se escribe un número real no
negativo. Se sabe que para cualquier polı́gono convexo cuyos vértices son algunos de
los 2014 puntos, la suma de los números escritos en sus lados es menor o igual que 1.
Determine el máximo valor posible de la suma de todos los números escritos.
Solución de Luis Xavier Ramos Tormo. Definimos la longitud de la cuerda AB como

la cantidad de puntos en el arco más pequeño que comprende, aumentada en 1. En la
siguiente figura se muestra un ejemplo con 10 puntos. En este caso, la longitud de la

cuerda AB es igual a 3. Como hay 2014 puntos, la longitud de cada cuerda será un
entero entre 1 y 1007.
b b
b b
B
b b
b b
b b
Para cada k entre 1 y 1007, definimos f (k) la suma de los números asignados a las
cuerdas con longitud k. Primero demostraremos que si a y b son enteros positivos con
a + b = 1007, se tiene que f (a) + f (b) ≤ 1007. Para ello, numeraremos los vértices
del 1 al 2014 en el sentido de las manecillas del reloj. Para cada k entre 1 y 2014
consideraremos el cuadrilátero con vértices en k, k + a, k + a + b y k + 2a + b (todo
módulo 2014). Como a y b son menores a 1007, se tiene que las longitudes de este
cuadrilátero son a, b, a y b. Tenemos que para cada uno de esos cuadriláteros, la suma
de los números asignados a sus cuatro aristas es menor que 1, por lo que la suma de
todas las aristas de todos estos cuadriláteros es menor a 2014. Por otro lado, cada arista
de longitud a está en dos cuadriláteros de este estilo y lo mismo sucede con cada arista
de longitud b. Luego 2(f (a) + f (b)) ≤ 2014, de donde
f (a) + f (b) ≤ 1007, (2)
como querı́amos demostrar. Ahora, si para cada k entre 1 y 2014 consideramos un

triángulo con vértices en k, k +a y k +1007 (este triángulo tendrá cuerdas con longitud
a, b y 1007) notamos que cada arista con lado a y cada arista con lado b aparece en
exactamente uno de estos triángulos, mientras que las aristas con longitud 1007 (los
diámetros) aparecen en dos de esos triángulos. Luego,
f (a) + f (b) + 2f (1007) ≤ 2014, (3)
Si sumamos las desigualdades (2) y (3) con a = 1 y b = 1006 tenemos que 2(f (1) +
f (1006) + f (1007)) ≤ 3 · 1007, por lo que f (1) + f (1006) + f (1007) ≤ ( 23 )1007. Por
otro lado, sumando las desigualdades (2) para (a, b) igual a (2, 1005), (3, 1004),. . . ,
(503, 504), tenemos que f (2) + f (3) + · · · + f (2005) ≤ 1007(502). Sumando esta
desigualdad con la pasada, llegamos a que
3 10072
f (1) + f (2) + · · · + f (1007) ≤ 1007( + 502) = ,
2 2
10072
por lo que la suma de las aristas es menor o igual que 2 . Si encontramos un ejemplo
con esta suma, habremos terminado.
k
Para el ejemplo, a cada arista de longitud k asignamos el número 2014 . Para ver que
funciona, consideramos una arista AB. Digamos que entre A y B hay x números en
el arco AB (aquel que va de A a B en el sentido de las manecillas del reloj) y y el
número de puntos en el otro arco. Por la manera de elegir la longitud de AB, se tiene
x+1 y+1
que ésta es menor o igual que 2014 (pues o es este valor o es igual a 2014 con y < x).
Consideremos ahora un polı́gono convexo A1 A2 . . . An . Tenemos que la suma de las n
aristas es menor o igual que (x1 +1)+(x2 2014
+1)+···+(xn +1)
= x1 +x2 +···+x
2014
n +n
. Pero como
x1 + x2 + · · · + xn es justo el número de vértices fuera del polı́gono, se tiene que
x1 + x2 + · · · + xn + n = 2014, por lo que la suma es menor o igual que 1 y este
arreglo cumple las condiciones del problema.
b b
b b
A3 b b
b b
An−1
x2 puntos
b b
xn−1 puntos
b b
b b
A2 An
b b
b b
b b
x1 puntos xn puntos
A1
Ahora, para cada k entre 1 y 1006 se tienen exactamente 2014 aristas con longitud k.
1007
k
Por lo tanto, f (k) = 2014( 2014 ) = k y f (1007) = 1007( 2014 ) = 1007
2 . Por la suma
de Gauss, tenemos que
1006(1007) 1007 10072
f (1) + f (2) + · · · + f (1006) + f (1007) = + = ,
2 2 2
por lo que la suma los números en las aristas es igual a la cota que habı́amos encontrado
y terminamos.
Problema 4. Se tienen N monedas, de las cuales N − 1 son auténticas de igual peso y

una es falsa, de peso diferente de las demás. El objetivo es, utilizando exclusivamente
una balanza de dos platos, hallar la moneda falsa y determinar si es más pesada o más
liviana que las auténticas. Cada vez que se pueda deducir que una o varias monedas son
auténticas, entonces todas estas monedas se separan inmediatamente y no se pueden
usar en las siguientes pesadas. Determine todos los N para los que se puede lograr con
certeza el objetivo. (Se pueden hacer tantas pesadas como se desee.)
Solución de Luis Enrique Chacón Ochoa. Primero notamos que solo tiene sentido
poner la misma cantidad de monedas en cada balanza, pues si pongo una cantidad
diferente, no obtengo información, pues como la moneda falsa puede pesar más o puede
pesar menos que las auténticas, el resultado no me dice nada.
Luego, solo consideraré pesadas donde hay la misma cantidad de monedas en cada
platillo. Si una pesada resulta equilibrada, todas las monedas involucradas resultarán
auténticas y solo me quedaré con las restantes, mientras que si la pesada resulta en
desequilibrio, el resto de monedas son auténticas y simplemente me quedo con las que
estuvieron en la pesada.
Para N = 1 el problema es trivial porque la única moneda debe ser falsa, y para N = 2
es imposible decidir pues no sabemos si la moneda falsa pesa más o menos que una
moneda real. Para N = 3 solo puedo poner una moneda en cada lado. Si resulta un
desequilibrio, ya no puedo usar la otra moneda y no podré saber cuál de las dos es la
falsa.
Para N = 4 sı́ es posible. Sean las monedas 1, 2, 3 y 4. Peso las monedas 1 y 2 contra
las 3 y 4 y supongo, sin pérdida de generalidad que las monedas 1 y 2 pesaron menos.
Ahora peso la moneda 1 contra la moneda 2. Si no hay equilibrio, la que pese menos
tendrá que ser la falsa y pesará menos que las auténticas. Si hay equilibrio, peso la
moneda 3 contra la 4 y no puede haber equilibrio, pues la falsa es una de ellas. La
moneda que pese más será la falsa y pesará más que las auténticas.
Para N = 5, puedo poner una o dos monedas en cada platillo y si resulta equilibrio,
me quedarı́a con 3 y 1 monedas, respectivamente y esos casos no son posibles.
Para N = 6 numero las monedas del 1 al 6. Peso 1, 2 y 3 contra 4, 5 y 6 y supongo, sin
pérdida de generalidad, que las monedas 1, 2 y 3 pesaron menos. Si la moneda falsa es
la 1, 2 o 3, tiene que pesar menos que las demás, mientras que si la falsa es la 4, la 5 o la
6, tendrı́a que pesar más que las auténticas. Peso ahora 1 contra 2. Si no hay equilibrio,
la que pese menos será la falsa. Si hay equilibrio, peso 3 y 4 contra 5 y 6 y no puede
haber equilibrio. Si 3 y 4 pesan más, la única opción es que la 4 sea la diferente y pese
más que las demás. Si 5 y 6 pesan más, quedan tres opciones: que la diferente sea la 3
y pese menos o que sea la 5 o la 6 y que pesen más. Ahora peso 5 y 6. Si pesan igual,
la diferente es la 3 y si no, la que pese más es la falsa. Por lo tanto, sı́ es posible para
n = 6.
Primero demostraremos por inducción fuerte que es imposible para N impar. Ya tene-
mos la base de inducción con N = 1. Supongamos que es imposible para todos los
impares entre 1 y N (donde N es cierto impar). Si tenemos N + 2 monedas, en la
primera pesada usaremos un número par de monedas y si resultan en equilibrio, tengo
que descartarlas y me quedarı́an algún número impar menor o igual a N de monedas
posibles y por la hipótesis de inducción esto es imposible, lo que concluye la inducción.
Supongamos ahora que tenemos un número par de monedas mayor que 6. Ponemos dos
monedas en cada platillo. Si resultan diferentes me reduzco a esas 4 monedas y acabo
como ya se mostró. Si resultan diferentes, las descarto y tengo 4 monedas menos.
Vuelvo a hacer lo mismo, poniendo dos monedas en cada platillo. Si siempre resultan
iguales, eventualmente llegaremos a 4 o 6 monedas y terminamos.
Por lo tanto, es posible para todos los N pares mayores que 2.
Problema 5. Sea ABC un triángulo acutángulo y H el punto de intersección de sus

alturas. La altura desde A corta a BC en D. Sean M y N los puntos medios de BH y
CH, respectivamente. DM y DN intersectan a AB y AC en X e Y , respectivamente.
Si XY intersecta a BH en P y a CH en Q, demuestre que H, P, D y Q están en una
misma circunferencia.
Solución de Luis Enrique Chacón Ochoa. Sean α = ∠CAH = ∠HBC, β =

∠HAB = ∠BCH y θ = ∠ABH = HCA. Se tiene que α + β + θ = 90◦ . Co-
mo M y N son los centros de los circuncı́rculos de los triángulos BDH y HDC,
respectivamente, se tiene que los triángulos M BD y N DC son isósceles, se tiene que
∠M DB = α y ∠CDN = β.
b
A
b
H
X b
P b b
Q b
Y
b b
M N
b b b
B D C
Tenemos que ∠DXB = 180◦ − (θ + α) − α = 2β + θ, por lo que ∠AXD = 2α + θ.

Análogamente ∠CY D = 2α + θ y ∠AY D = 2β + θ. Luego, ∠AY D + ∠AXD =
(2β + θ) + (2α + θ) = 180◦ , por lo que el cuadrilátero AY DX es cı́clico. Por lo
tanto ∠DY X = ∠DAX = β y ∠DXY = ∠DAY = α. Como ∠P XD = ∠P BD
tenemos que el cuadrilátero P XBD es cı́clico y
∠HP D = 180◦ − ∠DP B = 180◦ − ∠DXB = ∠DXA = 2α + θ.
Análogamente, ∠HQD = 2β + θ. Finalmente, ∠HP D + ∠HQD = (2α+ θ)+ (2β +

θ) = 180◦ , por lo que el cuadrilátero HP DQ es cı́clico, como querı́amos demostrar.
Problema 6. Dado un conjunto X y una función f : X → X, denotamos para cada

x ∈ X, f 1 (x) = f (x) y, para cada j ≥ 1, f j+1 (x) = f (f j (x)). Decimos que a ∈ X
es un punto fijo de f si f (a) = a. Para cada número real x, definimos π(x) como la
cantidad de primos positivos menores o iguales que x.
Dado un número entero positivo n, decimos que f : {1, 2, . . . , n} → {1, 2, . . . , n} es
catracha si f f (k) (k) = k para todo k ∈ {1, 2, . . . , n}.
Pruebe que: √
a) Si f es catracha, entonces f tiene al menos π(n) − π( n) + 1 puntos √ fijos.
b) Si n ≥ 36, existe una función catracha con exactamente π(n) − π( n) + 1 puntos
fijos.
Solución de Pablo Meré Hidalgo. Sea f una función catracha. Para cada k = 1,
2, . . . , n, definimos sk como el menor entero positivo tal que f sk (k) = k. Como la
función f cumple que f f (k) (k) = k para cada k, sk está bien definida. Por la definición
de sk se tiene que sk = sf (k) .
Demostraremos que f (k) es múltiplo de sk para cada k. Por el algoritmo de la división,

f (k) = qsk + r con 0 ≤ r < sk . Si r > 0 se tiene que
k = f f (k) (k) = f qsk +r (k) = f r (f qsk (k)) = f r (k),
lo cual es una contradicción, pues por definición de sk , ningún número de la forma

f r (k) con 0 < r < sk puede ser igual a k. Luego, r = 0 y f (k) es múltiplo de sk .
Veamos ahora que 1 es un punto fijo de f . Como f f (k) (k) = k, la función inversa f −1
existe. Sea k = f −1 (1), es decir, √ f (k) = 1. Luego, k = f f (k) (k) = f 1 (k) = 1, por
√ que f (1) = 1. Como π(n) − π( n) es justamente la cantidad de primos p tales que
lo
n < p ≤ n, basta que demostremos que cada uno de estos primos es punto fijo de f .
Sea p uno de tales primos y sea k = f −1 (p), es decir, f (k) = p. Se tiene que
sp = sk divide a p. Si sk = sp = p, tenemos que p está en el ciclo de p números
{p, f (p), f 2 (p), . . . , f p−1 (p)}. Como están en el mismo ciclo, todos tienen el mismo
valor sk y se tiene que sk = p divide a cada √ uno de estos p números. Luego, alguno de
ellos tiene que ser al menos p2 y como p > n, p2 > n, lo cual es una contradicción.
Para crear la función f de la segunda √ parte, todos los números en {1, 2, . . . , n} que
no sean el 1 o un primo p con n < p ≤ n serán puestos en conjuntos de la for-
ma {a1 , a2 , . . . , am } tal que m divide a cada uno de ellos y f (a1 ) = a2 , f (a2 ) =
a3 , . . . , f (am ) = a1 . Por construcción,
√ esta función cumplirá que f f (k) (k) = k.
Considero el mayor primo p ≤ n que divide a n! y tomo todos sus múltiplos entre 1
y n. Los agrupo sucesivamente en conjuntos de p números. Me quedarán a lo más p − 1
números y puedo elegirlos de manera que sean algunos del conjunto {2p, 3p, . . . , (p −
1)p}. Esto, pues si no tuviera el número (p − 1)p, tendrı́a exactamente los primeros p
múltiplos de p y los pongo en un conjunto.
Con los números que quedan hago lo mismo con el siguiente primo más grande y
continúo este proceso hasta p = 5. Restan los números que solo tienen a los primos 2
o 3 en su factorización. Como n ≥ 36, al menos tengo los números 6, 12, 18, 24 y 36.
Sin considerar estos 5 números, separo los números en los conjuntos Y con múltiplos
de 2 y Z con múltiplos de 3 (de cualquier manera). Si puedo incluir esos cinco números
en los conjuntos Y y Z de manera que Y sea par y Z sea múltiplo de 3, podrı́a hacer
los conjuntos que faltan y terminar. Para ello, veremos todos los casos de los residuos
módulo 2 de |Y | y módulo 3 de |Z|.
1. |Y | es par.
a) |Z| ≡ 0 (mod 3). Agregamos 2 números a Y y 3 a Z.
b) |Z| ≡ 1 (mod 3). Agregamos los 5 números a Z.
c) |Z| ≡ 2 (mod 3). Agregamos 4 números a Y y 1 a Z.
2. |Y | es impar.
a) |Z| ≡ 0 (mod 3). Agregamos los 5 números a Y .
b) |Z| ≡ 1 (mod 3). Agregamos 3 números a Y y 2 números a Z.
c) |Z| ≡ 2 (mod 3). Agregamos 1 número a Y y 4 números a Z.
Por lo tanto, siempre es posible construir la función requerida.

Información Olı́mpica
A continuación presentamos las actividades programadas por el comité organizador de

la Olimpiada Mexicana de Matemáticas para el año 2015.
4 al 14 de diciembre de 2014, Cuernavaca, Morelos

Entrenamientos para los seleccionados nacionales y aplicación de dos exámenes
de entrenamiento.
25 de enero al 3 de febrero de 2015, Guanajuato, Guanajuato
Entrenamientos para los seleccionados nacionales y aplicación de tres exámenes
de entrenamiento.
Febrero
Publicación del 25o número de la revista “Tzaloa”.
Primera quincena de febrero
Envı́o de material a los estados (convocatoria, trı́ptico y nombramiento de dele-
gado).
25 de febrero al 1 de marzo, Bucarest, Rumania
VII Romanian Master of Mathematics.
Marzo
Publicación del folleto introductorio de la OMM.
7 al 15 de marzo, Guanajuato, Guanajuato
Entrenamientos para los seleccionados nacionales y aplicación de dos exámenes
de entrenamiento, del examen de la XXVII Olimpiada de la Cuenca del Pacı́fico
y del selectivo para la Olimpiada Europea Femenil de Matemáticas.
17 de marzo
Envı́o a los estados del examen eliminatorio propuesto por el Comité Organi-
zador de la OMM.
54 Información Olı́mpica
21 de marzo
Aplicación del examen eliminatorio en los estados resgistrados con este propósito
(puede aplicarse después).
7 al 13 de abril, Cuernavaca, Morelos
Entrenamiento previo a la IV Olimpiada Europea Femenil de Matemáticas.
14 al 20 de abril, Minsk, Bielorrusia
IV Olimpiada Europea Femenil de Matemáticas.
30 de abril al 10 de mayo, Cuernavaca, Morelos
selectivos para determinar a la delegación que representará a México en la 56a
Olimpiada Internacional (6 participantes), la delegación que representará a Méxi-
co en la XVII Olimpiada Centroamericana y del Caribe (3 participantes) y la
preselección para la XXX Olimpiada Iberoamericana.
Mayo
2 de junio
Envı́o a los estados del examen semifinal propuesto por el Comité Organizador
de la OMM.
6 de junio
Aplicación en los estados registrados con este propósito del examen semifinal
propuesto por el Comité Organizador de la OMM (puede aplicarse después).
15 al 21 de junio, Cuernavaca, Morelos
Entrenamiento previo a la XVII Olimpiada Matemática de Centroamérica y el
Caribe.
21 al 27 de junio, México
XVII Olimpiada Matemática de Centroamérica y el Caribe.
29 de junio al 7 de julio, Cuernavaca, Morelos
Entrenamiento previo a la 56a Olimpiada Internacional de Matemáticas.
Julio
4 al 16 de julio, Chiang Mai, Tailandia
56a Olimpiada Internacional de Matemáticas.
23 al 28 de julio, Changchun, China
Competencia Internacional de Matemáticas.
Información Olı́mpica 55
31 de agosto
Envı́o a los estados del examen final propuesto por el Comité Organizador de la
OMM.
4 y 5 de septiembre
Aplicación en los estados registrados con este propósito del examen final pro-
puesto por el Comité Organizador de la OMM (puede aplicarse después).
12 al 19 de septiembre, Cuernavaca, Morelos
selectivos para determinar a la delegación para la XXX Olimpiada Iberoameri-
cana (4 alumnos).
Octubre
Octubre
Curso para entrenadores.
Noviembre
Concurso Nacional de la 29a Olimpiada Mexicana de Matemáticas.
1 al 7 de noviembre
Entrenamiento previo a la XXX Olimpiada Iberoamericana de Matemáticas.
6 al 14 de noviembre, Mayagüez, Puerto Rico
XXX Olimpiada Iberoamericana de Matemáticas.
Apéndice
Definición 1 (Divisibilidad). Si a y b son enteros, se dice que a divide a b o que b es

múltiplo de a si b = aq para algún entero q, y se denota por a | b.
Definición 2 (Congruencias). Dados dos enteros a, b y un entero positivo m, decimos
que a es congruente con b módulo m si a − b es mú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
máximo común divisor de b y m.
Teorema 2 (Pequeño teorema de Fermat). Si p es un número primo y a es un entero
primo relativo con p, entonces ap−1 ≡ 1 (mod p).
Teorema 3 (Inducción). El método de inducción se usa para demostrar que una proposi-
ción P (n) es verdadera para todo entero n ≥ k0 , donde k0 es un entero fijo. El método
funciona de la siguiente manera:
1. Caso base: Se demuestra que P (k0 ) es verdadera.
2. Hipótesis de inducción: Se supone verdadera la proposición P (k) para algú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. En particular, si n + 1 objetos
son colocados en n casillas, entonces al menos una casilla contiene dos o más objetos.
Apéndice 57
Teorema 5 (Suma de los ángulos internos de un triángulo). La suma de los ángulos

internos de un triángulo es 180◦ .
Teorema 6 (Teorema de Pitágoras). En un triángulo rectángulo, el cuadrado de la
hipotenusa es igual a la suma de los cuadrados de los catetos.
Definición 3 (Congruencia de triángulos). Los triángulos ABC y A′ B ′ C ′ son con-
gruentes si los ángulos y los lados del triángulo ABC son iguales a los ángulos y los
lados del triángulo A′ B ′ C ′ .
Criterio 1 (Criterio de congruencia LLL). Un criterio de congruencia de triángulos
nos dice que si tenemos dos triá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 triángulos
nos dice que si tenemos dos triángulos con un lado igual y dos ángulos adyacentes
iguales, entonces son congruentes. A este criterio se le conoce como ángulo-lado-
ángulo y lo denotamos como ALA.
Definición 4 (Semejanza de triángulos). Los triángulos ABC y A′ B ′ C ′ son seme-
jantes, si sus ángulos respectivos son iguales, es decir, ∠ABC = ∠A′ B ′ C ′ , ∠ACB =
∠A′ C ′ B ′ y ∠BAC = ∠B ′ A′ C ′ ; y sus lados homólogos son proporcionales, esto es
AB BC CA
A′ B ′ = B ′ C ′ = C ′ A′ .
Criterio 3 (Criterio de semejanza AA). Si dos pares de ángulos correspondientes de

los triángulos ABC y A′ B ′ C ′ son iguales, entonces los triángulos son semejantes. A
esta relación le llamamos ángulo-ángulo y la denotamos como AA.
Teorema 7 (Teorema de Tales). Si ABC es un triángulo y D, E son puntos sobre los
lados AB y CA, respectivamente, entonces los segmentos DE y BC son paralelos si
AB
y sólo si AD = AC
AE .
Teorema 8 (Desigualdad del triángulo). Los números positivos a, b y c son las medidas
de los lados de un triángulo si y sólo si se cumplen las desigualdades a + b > c,
a + c > b y b + c > a.
Definición 5 (Puntos y rectas notables de un triángulo).
1. Mediana. Recta que une un vértice y el punto medio del lado opuesto.
2. Centroide. Punto donde concurren las medianas. También se le llama gravicen-
tro o baricentro.
3. Mediatriz. Recta perpendicular a un lado que pasa por su punto medio.
4. Circuncentro. Punto donde concurren las mediatrices. Es el centro de la circun-
ferencia circunscrita al triángulo.
5. Bisectriz interna. Recta que divide a un ángulo interior de un triángulo en dos
ángulos de la misma medida.
58 Apéndice
6. Incentro. Punto donde concurren las bisectrices internas. Es el centro de la cir-

cunferencia inscrita al triángulo.
7. Altura. Recta trazada desde un vértice que es perpendicular al lado opuesto de
dicho vértice.
8. Ortocentro. Punto donde concurren las alturas.
Teorema 9 (Ley de los cosenos). En un triángulo de lados a, b y c, se cumple la
relación a2 = b2 + c2 − 2bc cos α donde α es el ángulo opuesto al lado a.
Definición 6 (Ángulos en la circunferencia).
1. Ángulo inscrito. Es el ángulo formado por dos cuerdas que comparten un punto
común.
2. Ángulo semi-inscrito. Es el ángulo formado por una cuerda y la tangente a la
circunferencia en un punto común.
3. Ángulo central. Es el ángulo formado por dos radios.
Teorema 10 (Medida del ángulo inscrito). La medida de un ángulo inscrito en una
circunferencia es igual a la mitad del ángulo central que abre el mismo arco.
Teorema 11 (Medida del ángulo semi-inscrito). La medida de un ángulo semi-inscrito
en una circunferencia es igual a la mitad del ángulo central que abre el mismo arco.
Teorema 12 (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 prolongación de la cuerda AB, entonces P T 2 = P A · P B.
Definición 7 (Cuadrilátero cı́clico). Un cuadrilátero es cı́clico si sus cuatro vértices

están sobre una misma circunferencia.
Teorema 13 (Cuadrilátero cı́clico). Un cuadrilátero convexo ABCD es cı́clico si y
sólo si la suma de los ángulos opuestos es igual a 180◦ , es decir,
∠DAB + ∠BCD = ∠ABC + ∠CDA = 180◦ .
Teorema 14 (Teorema de Ptolomeo). Un cuadrilátero convexo ABCD es cı́clico si y

sólo si AC · BD = AB · CD + BC · AD.
Teorema 15 (Teorema de Stewart). Sea ABC un triángulo y AX una ceviana de
longitud p que divide al segmento BC en dos segmentos BX y XC de longitudes m y
n, respectivamente. Entonces, a(p2 + mn) = b2 m + c2 n donde a, b y c son los lados
del triángulo opuestos a los vértices A, B y C, respectivamente.
Bibliografı́a
[1] A. Alberro Semerena, R. Bulajich Manfrino, C. J. Rubio Barrios. Problemas

avanzados de olimpiada. Cuadernos de Olimpiadas de Matemáticas. Instituto de
Matemáticas de la UNAM, 2010.
[2] R. Bulajich Manfrino, J. A. Gómez Ortega, R. Valdez Delgado. Desigualdades.

Cuadernos de Olimpiadas de Matemáticas. Instituto de Matemáticas, UNAM,
2010.
[3] R. Bulajich Manfrino, J. A. Gómez Ortega. Geometrı́a. Cuadernos de Olimpiadas

de Matemáticas. Instituto de Matemáticas de la UNAM, 2010.
[4] R. Bulajich Manfrino, J. A. Gómez Ortega. Geometrı́a. Ejercicios y Problemas.

2010.
[5] R. Bulajich Manfrino, C. J. Rubio Barrios. Olimpiadas en SLP, elemental.

2011.
[6] R. Bulajich Manfrino, C. J. Rubio Barrios. Olimpiadas en SLP, avanzado. Cuader-

nos de Olimpiadas de Matemáticas. Instituto de Matemáticas, UNAM, 2012.
[7] J. A. Gómez Ortega, R. Valdez Delgado, R. Vázquez Padilla. Principio de las

casillas. Cuadernos de Olimpiadas de Matemáticas. Instituto de Matemáticas de
la UNAM, 2011.
[8] A. Illanes Mejı́a. Principios de olimpiada. Cuadernos de Olimpiadas de

Matemáticas. Instituto de Matemáticas de la UNAM, 2011.
[9] Loren C. Larson. Problem-Solving Through Problems. Springer-Verlag, 1983.

60 Bibliografı́a
[10] I. Niven, H. Zuckerman, H. Montgomery. An Introduction to the Theory of Num-

bers. Wiley, 1991.
[11] M. L. Pérez Seguı́. Combinatoria. Cuadernos de Olimpiadas de Matemáticas.

Instituto de Matemáticas de la UNAM, 2010.
[12] M. L. Pérez Seguı́. Combinatoria avanzada. Cuadernos de Olimpiadas de

Matemáticas. Instituto de Matemáticas de la UNAM, 2010.
[13] M. L. Pérez Seguı́. Con la colaboración de L. M. Garcı́a Velázquez y M. Rag-

gi Pérez. Matemáticas preolı́mpicas. Cuadernos de Olimpiadas de Matemáticas.
[14] M. L. Pérez Seguı́. Teorı́a de números. Cuadernos de Olimpiadas de Matemáticas.

[15] A. Rechtman Bulajich, C.J. Rubio Barrios. Divisibilidad y congruencias. Revista

de la Olimpiada Mexicana de Matemáticas, Tzaloa No. 2, 2009.
[16] P. Soberón Bravo. Combinatoria para olimpiadas internacionales. Cuadernos de

Olimpiadas de Matemáticas. Instituto de Matemáticas de la UNAM, 2010.
[17] L. Shively. Introducción a la Geometrı́a Moderna. Compañı́a editorial continen-

tal. México, 1972.
Directorio
Directorio de los delegados estatales
Aguascalientes–Efraı́n Casillas Carrillo

CONALEP Prof. J. Refugio Esparza Reyes
[email protected]
Baja California–Carlos Yee Romero

Universidad Autónoma de Baja California, Facultad de Ciencias
[email protected], www.ommbc.org
Baja California Sur–Jesús Eduardo Rı́os Torres

CBTIS #62,
[email protected]
www.institutomardecortes.edu.mx
Campeche–Hernán Rafael Dı́az Martı́n

Coordinación de Intervención Académica, Dirección General CONALEP
[email protected]
Chiapas–Marı́a del Rosario Soler Zapata

Centro de Estudios en Fı́sica y Matemáticas Básicas y Aplicadas, UNACH
[email protected]
62 Directorio
Chihuahua–Héctor Daniel Garcı́a Lara

Universidad Autónoma de Ciudad Juárez
[email protected], www.ommch.org
Coahuila–Silvia Carmen Morelos Escobar

Facultad de Ciencias Fı́sico Matemáticas, Universidad Autónoma de Coahuila
[email protected]
Colima–Carmen Jazmı́n Isaı́as Castellanos

Facultad de Ciencias, Universidad de Colima
[email protected], [email protected]
Distrito Federal–Isabel Alicia Hubard Escalera

Instituto de Matemáticas, UNAM, cubı́culo 214
[email protected]
Durango–Armando Mata Romero

Universidad Juárez del Estado de Durango, Escuela de Matemáticas
[email protected]
Estado de México–Saúl Dı́az Alvarado

Facultad de Ciencias, UAEMex
[email protected]
Guanajuato–Marı́a Fernanda de la Torre Robles

Departamento de Matemáticas, Universidad de Guanajuato
[email protected], www.ommgto.wordpress.com
Guerrero–Vicente Castro Salgado

Universidad Autónoma de Guerrero, Unidad Académica de Matemáticas
[email protected]
Hidalgo–Federico Menendez-Conde Lara

Universidad Autónoma del Estado de Hidalgo, CIMA
[email protected]
Directorio 63
Jalisco–José Javier Gutiérrez Pineda

Preparatoria 7, Universidad de Guadalajara
[email protected]
Michoacán–David Meza Alcántara

Facultad de Ciencias Fı́sico Matemáticas, Universidad Michoacana
[email protected]
Morelos–Radmila Bulajich Manfrino

Universidad Autónoma del Estado de Morelos, Facultad de Ciencias
[email protected]
Nayarit–Francisco Javier Jara Ulloa

Universidad Autónoma de Nayarit
[email protected]
Nuevo León–Alfredo Alanı́s Durán

Facultad de Ciencias Fı́sico Matemáticas, UANL
[email protected], sites.google.com/site/eommnl
Oaxaca–Marcelino Ramı́rez Ibañez

Instituto de Agroingenierı́a, Universidad del Papaloapan
[email protected]
Puebla–Marı́a Araceli Juárez Ramı́rez

Facultad de Ciencias Fı́sico Matemáticas, BUAP
[email protected]
Querétaro–Iván González Garcı́a

Universidad Autónoma de Querétaro, Facultad de Ingenierı́a
zelaznog [email protected], [email protected]
Quintana Roo–Vı́ctor H. Soberanis Cruz

División de Ciencias e Ingenierı́a, Universidad de Quintana Roo
[email protected]
64 Directorio
San Luis Potosı́–Eugenio Daniel Flores Alatorre

Casa Olı́mpica, San Luis Potosı́, San Luis Potosı́
[email protected], ommslp.blogspot.com
Sinaloa–Maria Guadalupe Russell Noriega

Facultad de Ciencias Fis-Mat, Universidad Autónoma de Sinaloa
[email protected], [email protected]
Sonora–José Marı́a Bravo Tapia

Universidad de Sonora, Departamento de Matemáticas
[email protected]
Tabasco–Jaı́r Remigio Juárez

Universidad Juárez Autónoma de Tabasco, Div. Académica de Ciencias Básicas
[email protected]
Tamaulipas–Ramón Jardiel Llanos Portales
Universidad Autónoma de Tamaulipas
Unidad Académica Multidisciplinaria de Ciencias, Educación y Humanidades
[email protected], www.matetam.com
Tlaxcala–Mauro Cote Moreno

Secretarı́a de Educación Pública de Tlaxcala
[email protected]
Veracruz–Porfirio Toledo Hernández

Universidad Veracruzana, Facultad de Matemáticas
[email protected]
Yucatán–Pedro David Sánchez Salazar

Universidad Autónoma de Yucatán, Facultad de Matemáticas
[email protected], www.matematicas.uady.mx
Zacatecas–Nancy Janeth Calvillo Guevara

Universidad Autónoma de Zacatecas, Unidad Académica de Matemáticas
[email protected], nautilus.uaz.edu.mx/olimpiada/
Directorio 65
Directorio del Comité Organizador de la OMM

José Antonio Gómez Ortega (presidente) Ignacio Barradas Bibriesca
Facultad de Ciencias, UNAM Universidad de Guanajuato
[email protected] [email protected]
Irving Daniel Calderón Camacho Fernando Campos Garcı́a
Facultad de Ciencias, UNAM Facultad de Ciencias, UNAM
José Alfredo Cobián Campos David Cossı́o Ruiz
Facultad de Ciencias, UNAM Depto. de Fı́sica y Matemáticas
[email protected] Universidad Autónoma de Cd. Juárez
[email protected]
Luis Cruz Romo Marco Antonio Figueroa Ibarra
NA-AT Technologies Metamorfosis del CIMAT
[email protected] Centro de Investigación en Matemáticas
[email protected]
Héctor Flores Cantú Luis Eduardo Garcı́a Hernández
Universidad Autónoma de Nuevo León Facultad de Ciencias, UNAM
Luis Miguel Garcı́a Velázquez Marı́a Eugenia Guzmán Flores
Instituto de Matemáticas, UNAM CUCEI, Universidad de Guadalajara
Jesús Jerónimo Castro Leonardo Ignacio Martı́nez Sandoval
Facultad de Ingenierı́a Facultad de Ciencias, UNAM
Universidad Autónoma de Querétaro [email protected]
[email protected]
Daniel Perales Anaya Marı́a Luisa Pérez Seguı́
Facultad de Ciencias, UNAM Facultad de Ciencias Fı́sico Matemáticas
[email protected] Universidad Michoacana de
San Nicolás de Hidalgo
[email protected]
Miguel Raggi Pérez Olga Rivera Bobadilla
Escuela Nacional de Estudios Superiores Facultad de Ciencias
Universidad Nacional Autónoma de México Universidad Autónoma del
[email protected] Estado de México
[email protected]
Julio Rodrı́guez Hernández Carlos Jacob Rubio Barrios

SEMS, Universidad de Guadalajara Facultad de Matemáticas
[email protected] Universidad Autónoma de Yucatán
[email protected]
66 Directorio
David Guadalupe Torres Flores Rogelio Valdez Delgado

Metamorfosis del CIMAT Facultad de Ciencias, UAEM
Centro de Investigación en Matemáticas [email protected]
[email protected]
Rita Vázquez Padilla Hugo Villanueva Méndez
Universidad Autónoma Centro de Estudios en Fı́sica y Matemáticas
de la Ciudad de México Básicas y Aplicadas
[email protected] Universidad Autónoma de Chiapas
[email protected]
Dirección Postal de la Olimpiada Mexicana de Matemáticas:
Cubı́culo 201, Departamento de Matemáticas.

Circuito Exterior, Facultad de Ciencias.
Universidad Nacional Autónoma de México.
Ciudad Universitaria.
Colonia Copilco, C.P. 04510.
Delegación Coyoacán.
México, Distrito Federal.
Teléfono: (55) 5622-4864.
Fax: (55) 5622-5410.
Email: [email protected]
Página oficial de la Olimpiada Mexicana de Matemáticas:
http://ommenlinea.org/
¡Sı́guenos en facebook y en twitter!
http://facebook.com/OlimpiadaMatematicas
@ommtw

TZALOA

Cargado por

TZALOA

Cargado por

TZALOA

Editor: Carlos Jacob Rubio Barrios

Impreso: Torre y de la Torre Impresos

Artı́culos de matemáticas: El Máximo Común Divisor 1

Soluciones a los problemas de práctica 18

Concurso Nacional 2014, 28a Olimpiada Mexicana de Matemáticas 35

Problemas y Soluciones de Concursos Internacionales 45

Tzaloa1 , la revista oficial de la Olimpiada Mexicana de Matemáticas (OMM), es una

Tzaloa, Año 2015, Número 1

Pasando al contenido, destaca el artı́culo: El Máximo Común Divisor, contribución de

En la sección nacional encontrarás los resultados completos del concurso nacional de

En la sección internacional hallarás los resultados y el examen con soluciones de la

Como siempre, hemos preparado una cuidadosa selección de Problemas de Práctica y

México y las Olimpiadas de Matemáticas

Desde sus inicios la Sociedad Matemática Mexicana ha venido impulsando vigorosa-

En el ámbito internacional, mediante la destacada participación de las delegaciones

29a Olimpiada Mexicana de Matemáticas

El programa anual de la Olimpiada Mexicana de Matemáticas se desarrolla en 3 etapas:

El Concurso Nacional de la 29a Olimpiada Mexicana de Matemáticas se realizará en el

De entre los concursantes nacidos en 1999 o después y premiados en el Concurso Na-

De entre las mujeres participantes se seleccionará a la delegación que representará a

c | a y c | b ⇔ c | (ax + by) para cualesquiera enteros x, y.

Demostración. Todas las pruebas son inmediatas de la definición.

2. Si b = aq1 y c = bq2 , con q1 y q2 enteros, entonces c = (aq1 )q2 = a(q1 q2 ).

3. ⇒): Como c | a y c | b, existen enteros q1 , q2 tales que a = cq1 y b = cq2 . Por

4. Supongamos primero que a | b y b | a. Primero se observa que si a = 0 entonces

5. Si a | b, entonces b = ac para algún entero c. Multiplicando ambos lados de la

Algunos casos particulares del Teorema 1 se presentan en el siguiente

1. Si a | b, entonces a | bx para cualquier entero x.

2. Si c | a y c | b, entonces c | (±a ± b).

Demostración. 1. Por hipótesis a | b y como siempre sucede que a | 0, entonces

2. De la hipótesis se sigue que c divide a cualquier combinación lineal de a y b, y

Teorema 2. Sean a y b números enteros.

2. Las siguientes condiciones son equivalentes:

Si x es un número real, ⌊x⌋ denota al mayor entero menor o igual que x:

−⌊x⌋ − 1 −⌊x⌋ 0 ⌊x⌋ ⌊x⌋ + 1

Teorema 4 (Algoritmo de la división). Si a y b son enteros y b 6= 0, entonces existen

a = qb + r con 0 ≤ r < |b|.

Se dice que q es el “cociente” y r es el “residuo”.

Ejemplo 2. Sean a, d y n enteros positivos con a > 1. Si ad − 1 divide a an − 1,

El máximo común divisor

El máximo común divisor de a y b cuando a 6= 0 o b 6= 0, es por definición el elemento

Dado que el conjunto de divisores de un entero a es el mismo que el conjunto de

Teorema 5. Si a y b son enteros, entonces

mcd(a, b) = mcd(a, b − a) = mcd(b, a − b) = mcd(a, a + b).

Demostración. Si a = b = 0, el resultado es inmediato. Supondremos que a 6= 0 o

mcd(a, b) = mcd(a, b − a) = mcd(a, b − a − a) = · · · = mcd(a, b − na)

mcd(a, b) = mcd(a, a + b) = mcd(a, a + a + b) = · · · = mcd(a, |n|a + b)

Se pueden usar repetidamente el Algoritmo de la división junto con el Teorema 5

mcd(1309, 4665) = mcd(1309, 4665 − 1309 · 3) = mcd(1309, 728).

728 = 581 · 1 + 147, mcd(728, 581) = mcd(581, 147),

De esta forma se tiene que mcd(4665, 1309) = 7.

Algoritmo Euclidiano. Dados los enteros a y b, mediante la aplicación repetida del

a = bq0 + r0 , 0 ≤ r0 < |b|, (0)

donde rn es el último residuo distinto de cero. Entonces, rn es el máximo común divisor

Ejemplo 5. Sean a, b y c enteros con a > 1. Demostrar que

Solución. Por el algoritmo de la división, podemos escribir b = cq + r con 0 ≤ r < c.

Aplicando el Corolario 2 con los enteros ac − 1, ab − 1 y n = (ac(q−1) + ac(q−2) +

mcd(ab − 1, ac − 1) = mcd(ac − 1, ab−1 − (ac(q−1) + ac(q−2) + · · · + ac + 1)ar (ac − 1))

De manera análoga, nuevamente por el Algoritmo de la división tenemos que c =

esta forma, si r, r1 , r2 , . . . , rn son los residuos obtenidos en la aplicación del Algoritmo

Una consecuencia inmediata del teorema anterior es que un entero c es combinación

Según el Teorema 6, mcd(a, b) es combinación lineal de a y b. El recı́proco no es cierto,

10 = a · (−47) + b · 106, 20 = a · 4 + b · (−9), 30 = a · (−43) + b · 97

Demostración. El teorema anterior muestra que 2) implica 1). Recı́procamente, si d =

De acuerdo con el Ejemplo 7, los números 10, 20 y 30 son combinaciones lineales

El Ejemplo 5 se puede resolver de otra manera utilizando el Teorema 8. En efecto, sea

Una consecuencia inmediata del Teorema 8 es que si a y b son enteros y 1 = ax + by

Demostración. Tenemos que d = ax + by para algunos enteros x, y. Como d | a y

Ejemplo 8. Si a y b son enteros con mcd(a, b) = 1, demostrar que mcd(a2 , b2 ) = 1.

Teorema 9 (Propiedad Multiplicativa del Máximo Común Divisor). Sean a, b y n en-

Ejemplo 9. Sean a y b enteros tales que mcd(a, b) = 1. Demostrar que

Solución. Sea d = mcd(a + b, a2 − ab + b2 ). Tenemos que d es divisor de (a +

Ejemplo 10. Sea n ≥ 5 un entero. Determinar el máximo común divisor de a =

Solución. Observemos primero que a = n(n − 4)(n + 3) y b = (n − 4)(2n + 1).

mcd(a, b) = (n − 4) · mcd(n(n + 3), 2n + 1).