Administración     

Olimpiadas de Matemáticas
Página de preparación y problemas

OME Local
OME Andaluza
OME Nacional
OIM
IMO
EGMO
USAMO
ASU
OMCC
Retos UJA
Selector
La base de datos contiene 2434 problemas y 940 soluciones.
Problema 659
Sean $A$ y $B$ los vértices opuestos de un tablero cuadriculado de $n\times n$ casillas ($n\geq 1$), a cada una de las cuales se añade su diagonal en la dirección $AB$, formándose así $2n^2$ triángulos iguales. Se mueve una ficha recorriendo un camino que va desde $A$ hasta $B$ formado por segmentos del tablero y se coloca, cada vez que se recorre un segmento, una semilla en cada uno de los triángulos que admiten ese segmento como lado. El camino se recorre de tal forma que no se pasa por ningún segmento más de una vez, y se observa, después del recorrido, que hay exactamente dos semillas en cada uno de los $2n^2$ triángulos del tablero. ¿Para qué valores de $n$ es posible esta situación?
pistasolución 1info
Pista. El problema se reduce a eliminar segmentos de forma que se elimine exactamente un lado de cada triángulo y el grafo resultante se pueda recorrer desde $A$ hasta $B$ pasando una única vez por cada segmento. Razona lo que debe ocurrir en una esquina distinta de $A$ y $B$.
Solución. Si eliminamos los segmentos que no se recorren nos queda un grafo por el que puede viajarse de $A$ a $B$ recorriendo cada segmento exactamente una vez, lo cual puede hacerse si el grafo es euleriano, es decir, si en $A$ y $B$ llegan un número impar de aristas y a cualquier otro vértice llegan un número par. Por otro lado, para que queden dos semillas en cada triángulo se debe pasar exactamente por dos lados del triángulo. Por lo tanto, el problema equivale a quitar una cierta cantidad de segmentos de forma que:
  • Se quite exactamente un lado de cada uno de los $2n^2$ triángulos.
  • A todos los vértices, excepto $A$ y $B$, llegue un número par de segmentos.

El caso $n=1$ claramente es imposible pero el caso $n=2$ sí se puede, como indica la figura superior (hemos indicado en línea discontinua los segmentos que se eliminan). Para el caso de $n\geq 3$, comenzaremos razonando en una esquina que no es $A$ ni $B$, que supondremos que es la inferior izquierda y etiquetaremos las aristas como indica en la figura central. Las aristas $c_1$ y $a_1$ no se pueden eliminar ya que a la esquina deben llegar un número par de aristas y no se pueden eliminar dos lados de ese triángulo. Por lo tanto, es $d_1$ la que debe eliminarse. También debe eliminarse $a_2$ porque, en caso contrario, $d_1$, $a_1$ y $a_2$ llegarían a un vértice con un número impar de aristas. Esto nos lleva a que debe conservarse $d_2$. Análogamente, debe eliminarse $e_1$ y, por tanto, $f_1$ también debe conservarse. Ahora bien, si dejáramos $c_3$, entonces $b_2$ se eliminaría, luego $e_2$ también se eliminaría (por la paridad del vértice) y el triángulo de lados $e_2,b_2,f_2$ tendría dos aristas eliminadas; esto nos dice que $c_3$ también se elimina, luego $b_2$ debe conservarse, $f_2$ eliminarse y $e_3$ conservarse. Más aún, $a_3$ y $d_3$ deben conservarse porque $c_3$ se ha eliminado. El proceso puede continuarse con el mismo razonamiento para demostrar que todos los $c_n$ con $n\geq 3$ y todos los $f_n$ con $n\geq 2$ se eliminan, quedando un patrón de cuadrados y paralelogramos como se muestra en la figura inferior. No obstante, cuando llegamos al vértice $B$ esto produce una contradicción ya que $a_n$, $b_n$ y $d_n$ deben permanecer. Como a $B$ deben llegar un número impar de aristas, también $c_{n+1}$ debe conservarse, pero esto nos da un triángulo en el que no se ha eliminado ninguna arista.

Deducimos así que el único caso posible es $n=2$.

imagen
Si crees que el enunciado contiene un error o imprecisión o bien crees que la información sobre la procedencia del problema es incorrecta, puedes notificarlo usando los siguientes botones:
Informar de error en enunciado Informar de procedencia del problema
José Miguel Manzano © 2010-2025. Esta página ha sido creada mediante software libre