OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Supongamos entonces que los cinco puntos $p_1,p_2,p_3,p_4,p_5$ son distintos. En particular, $p_1,p_2,p_3$ son tres puntos distintos tanto en $\Gamma_4$ como en $\Gamma_5$. Como tres puntos distintos determinan una única circunferencia, deducimos que $\Gamma_4=\Gamma_5$, luego $p_5$ está también en $\Gamma_5$ y, por tanto, es un punto común a todas las circunferencias.
En cuanto al apartado (b), supongamos que tenemos un hexágono convexo que cumple la propiedad del enunciado pero no sabemos si las diagonales se cortan en el mismo punto. Estas diagonales dividen al hexágono en siete regiones de áreas $S_0,\ldots,S_6$ y denotamos por $a_1,a_2,a_3$, $b_1,b_2,b_3$ y $x_1,x_2,x_3$ los segmentos que se forman, todo ello como se indica en la figura. Las igualdades de las áreas se traducen en \begin{align*} S_1+S_2+S_3&=S_0+S_4+S_5+S_6,\\ S_3+S_4+S_5&=S_0+S_6+S_1+S_2,\\ S_5+S_6+S_1&=S_0+S_2+S_3+S_4. \end{align*} Sumando estas igualdades dos a dos, obtenemos que \[S_1=S_0+S_4,\qquad S_2=S_0+S_5,\qquad S_3=S_0+S_6,\] Tenemos que $S_1$ es el área de un triángulo que se puede calcular como la mitad del producto de $a_1$ y $a_2$ por el seno del ángulo que forman estos dos lados y que $S_0+S_4$ es el área de otro triángulo que análogamente es la mitad del producto de $x_1+b_1$ y $x_2+b_2$ por el seno del ángulo que forman estos dos segmentos. Los dos ángulos que se han considerado son opuestos por el vértice luego sus senos pueden simplificarse en la igualdad $S_1=S_0+S_4$, obteniendo que \[S_1=S_0+S_4\ \Longleftrightarrow\ a_1a_2=(b_1+x_1)(b_2+x_2)\] y de la misma forma \begin{align*} S_2=S_0+S_5&\ \Longleftrightarrow\ a_3b_1=(b_3+x_3)(a_1+x_1), S_3=S_0+S_6&\ \Longleftrightarrow\ b_2b_3=(a_2+x_2)(a_3+x_3). \end{align*} Multiplicando las tres igualdades así obtenidas, llegamos a que \[a_1a_2a_3b_1b_2b_3=(a_1+x_1)(a_2+x_2)(a_3+x_3)(b_1+x_1)(b_2+x_2)(b_3+x_3),\] pero como todos los números son positivos, el miembro de la derecha es estrictamente mayor que el de la izquierda a menos que $x_1=x_2=x_3=0$, lo que equivale a que las tres diagonales se corten en un único punto.
Como el máximo común divisor de $m+n$ y $m^2+n^2$ es, en particular, un divisor común, tiene que ser $1$ o $2$. Será igual a $2$ cuando $m$ y $n$ tengan la misma paridad y $1$ cuando tengan distinta paridad.
El mismo argumento no funciona para un tablero $8\times 8$ y es que sí que es posible rellenarlo con fichas de dominó, como se muestra en la figura. El razonamiento anterior nos da una pista ya que de las 14 rectas a considerar, podemos tomar 12 de ellas que cortan a 2 fichas cada una y las 2 restantes a 4 fichas cada una, lo que nos da las $12\cdot 2+2\cdot 4=32$ fichas.
Ahora bien, hay $\binom{10}{2}=45$ posibles combinaciones de dos dígitos distintos y una de ellas no se toma nunca según hemos visto. Deducimos que la respuesta a la pregunta es negativa.
En cuanto al apartado (b), supongamos que tenemos un hexágono convexo que cumple la propiedad del enunciado pero no sabemos si las diagonales se cortan en el mismo punto. Estas diagonales dividen al hexágono en siete regiones de áreas $S_0,\ldots,S_6$ y denotamos por $a_1,a_2,a_3$, $b_1,b_2,b_3$ y $x_1,x_2,x_3$ los segmentos que se forman, todo ello como se indica en la figura. Las igualdades de las áreas se traducen en \begin{align*} S_1+S_2+S_3&=S_0+S_4+S_5+S_6,\\ S_3+S_4+S_5&=S_0+S_6+S_1+S_2,\\ S_5+S_6+S_1&=S_0+S_2+S_3+S_4. \end{align*} Sumando estas igualdades dos a dos, obtenemos que \[S_1=S_0+S_4,\qquad S_2=S_0+S_5,\qquad S_3=S_0+S_6,\] Tenemos que $S_1$ es el área de un triángulo que se puede calcular como la mitad del producto de $a_1$ y $a_2$ por el seno del ángulo que forman estos dos lados y que $S_0+S_4$ es el área de otro triángulo que análogamente es la mitad del producto de $x_1+b_1$ y $x_2+b_2$ por el seno del ángulo que forman estos dos segmentos. Los dos ángulos que se han considerado son opuestos por el vértice luego sus senos pueden simplificarse en la igualdad $S_1=S_0+S_4$, obteniendo que \[S_1=S_0+S_4\ \Longleftrightarrow\ a_1a_2=(b_1+x_1)(b_2+x_2)\] y de la misma forma \begin{align*} S_2=S_0+S_5&\ \Longleftrightarrow\ a_3b_1=(b_3+x_3)(a_1+x_1), S_3=S_0+S_6&\ \Longleftrightarrow\ b_2b_3=(a_2+x_2)(a_3+x_3). \end{align*} Multiplicando las tres igualdades así obtenidas, llegamos a que \[a_1a_2a_3b_1b_2b_3=(a_1+x_1)(a_2+x_2)(a_3+x_3)(b_1+x_1)(b_2+x_2)(b_3+x_3),\] pero como todos los números son positivos, el miembro de la derecha es estrictamente mayor que el de la izquierda a menos que $x_1=x_2=x_3=0$, lo que equivale a que las tres diagonales se corten en un único punto.
Nota. En realidad, cambiar la cantidad de números iniciales o sus valores sólo afecta a $S_1$, de forma que la fórmula $S_{n}=3^{n-1}S_1$ es independiente de la configuración inicial.
En cuanto al apartado (b), supongamos que tenemos un hexágono convexo que cumple la propiedad del enunciado pero no sabemos si las diagonales se cortan en el mismo punto. Estas diagonales dividen al hexágono en siete regiones de áreas $S_0,\ldots,S_6$ y denotamos por $a_1,a_2,a_3$, $b_1,b_2,b_3$ y $x_1,x_2,x_3$ los segmentos que se forman, todo ello como se indica en la figura. Las igualdades de las áreas se traducen en \begin{align*} S_1+S_2+S_3&=S_0+S_4+S_5+S_6,\\ S_3+S_4+S_5&=S_0+S_6+S_1+S_2,\\ S_5+S_6+S_1&=S_0+S_2+S_3+S_4. \end{align*} Sumando estas igualdades dos a dos, obtenemos que \[S_1=S_0+S_4,\qquad S_2=S_0+S_5,\qquad S_3=S_0+S_6,\] Tenemos que $S_1$ es el área de un triángulo que se puede calcular como la mitad del producto de $a_1$ y $a_2$ por el seno del ángulo que forman estos dos lados y que $S_0+S_4$ es el área de otro triángulo que análogamente es la mitad del producto de $x_1+b_1$ y $x_2+b_2$ por el seno del ángulo que forman estos dos segmentos. Los dos ángulos que se han considerado son opuestos por el vértice luego sus senos pueden simplificarse en la igualdad $S_1=S_0+S_4$, obteniendo que \[S_1=S_0+S_4\ \Longleftrightarrow\ a_1a_2=(b_1+x_1)(b_2+x_2)\] y de la misma forma \begin{align*} S_2=S_0+S_5&\ \Longleftrightarrow\ a_3b_1=(b_3+x_3)(a_1+x_1), S_3=S_0+S_6&\ \Longleftrightarrow\ b_2b_3=(a_2+x_2)(a_3+x_3). \end{align*} Multiplicando las tres igualdades así obtenidas, llegamos a que \[a_1a_2a_3b_1b_2b_3=(a_1+x_1)(a_2+x_2)(a_3+x_3)(b_1+x_1)(b_2+x_2)(b_3+x_3),\] pero como todos los números son positivos, el miembro de la derecha es estrictamente mayor que el de la izquierda a menos que $x_1=x_2=x_3=0$, lo que equivale a que las tres diagonales se corten en un único punto.