OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Atravesar una arista del grafo original equivale a recorrer una arista del grafo dual, por lo que el problema se reduce a encontrar un camino que pase por todas las aristas del grafo dual una sola vez. Esto no puede hacerse ya que eso implicaría que hay como máximo dos vértices del grafo dual a los que llegan un número par de aristas (Teorema de Euler). Sin embargo, el grafo dual tiene 4 vértices (C, D, E y F) a los que llegan un número par de aristas, por lo que concluimos que la curva buscada no puede existir.
Nota. Podríamos haber empezado de la forma obvia, expresando la condición sobre las raíces como \[\frac{-b-\sqrt{b^2-4ac}}{2a}\geq -1,\qquad \frac{-b+\sqrt{b^2-4ac}}{2a}\leq 1.\] Estas desigualdades se traducen en que $\sqrt{b^2-4ac}\gt 2a+b$ y $\sqrt{b^2-4ac}\gt 2a-b$. Elevando al cuadrado, llegamos a que $a+c\geq |b|$ fácilmente. No obstante, puede ser difícil llegar a partir de aquí a la condición $a\geq c$... ¿Sabrías completar la demostración?
Para ello, vamos a tomar las rectas que contienen a los lados impares $a_1,a_3,a_5,a_7$. Como los ángulos interiores son iguales a $45º$, estas rectas son paralelas dos a dos y forman un rectángulo $R$. Además, si a $R$ le quitamos el octógono, quedarán cuatro triángulos rectángulos isósceles de hipotenusas $a_2,a_4,a_6,a_8$, por lo que sus catetos serán $\frac{a_2}{\sqrt{2}},\frac{a_4}{\sqrt{2}},\frac{a_6}{\sqrt{2}},\frac{a_8}{\sqrt{2}}$, respectivamente. Imponiendo ahora que los lados opuestos de $R$ deben tener igual longitud, nos quedan las relaciones $$\frac{a_4+a_6}{2}\sqrt{2}+a_5=\frac{a_8+a_2}{2}\sqrt{2}+a_1,\qquad \frac{a_2+a_4}{2}\sqrt{2}+a_3=\frac{a_6+a_8}{2}\sqrt{2}+a_7.$$ Si usamos finalmente que los lados tienen longitudes enteras, entonces los términos que multiplican a $\sqrt{2}$ deben ser iguales (ya que $\sqrt{2}$ es irracional, mientras que el resto de términos son racionales), lo que nos lleva a reformular las igualdades anteriores como $$\frac{a_4+a_6}{2}=\frac{a_8+a_2}{2},\qquad a_5=a_1,\qquad \frac{a_2+a_4}{2}\sqrt{2}=\frac{a_6+a_8}{2},\qquad a_3=a_7,$$ probando así la igualdad que queríamos.
Nota. ¿Es cierto el mismo resultado para un hexágono?
Sólo queda por ver que no se puede cumplir si se sientan $673$ personas o menos. Para verlo, dividimos los $2022$ asientos en $674$ grupos de $3$ asientos consecutivos. Si hay $673$ personas o menos, entonces no habrá ninguna persona sentada en alguno de esos grupos y la silla central de dicho grupo tendrá otra silla libre tanto a su derecha como a su izquierda.
Nota. El mismo razonamiento funciona con $3n$ sillas, siendo $n$ un número natural.