OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
El caso base de inducción es $n=0$, que se cumple ya que, coloque donde coloque José, habrá $4\cdot 0+2=2$ puntos utilizados y él ha sido el último en jugar. Supongamos entonces que después de jugar José, hay $4n+2$ puntos utilizados y demostremos que, después de cierto número de jugadas de ambos jugadores, habrá $4n+6$ puntos utilizados y José habrá sido el último en jugar. La forma de proceder de José después de cada jugada de María es la siguiente:
Finalmente, observemos que María en su turno nunca se le presentan $4n+4$ ni $4n+5$ puntos utilizados, luego no puede ser la primera en utilizar los $4n+6$ puntos, lo que demuestra que esta es la estrategia ganadora para José.
Nota. Este es un problema que admite muchas discusiones de casos y aproximaciones ligeramente distintas. La solución arriba presentada tiene la ventaja de que se puede adaptar para cualquier número de la forma $4n+2$ en lugar de $98$.
Vamos a encontrar la forma de sentarse por inducción sobre $n$. Para el caso base $n=2$, la forma de sentarse es 1221 (cíclicamente), siendo 1 un representante del primer país y 2 un representante del segundo. Ahora bien, para añadir un tercer país añadimos 33231 al inicio de la cadena, para añadir un cuarto país añadimos 4434241, para añadir un quinto país añadimos 554535251 y así sucesivamente, obteniendo las cadenas cíclicas \begin{align*} 1221,\\ 332311221,\\ 4434241332311221,\\ 5545352514434241332311221,\ldots \end{align*} En el paso $n$ se añade la cadena $nn(n-1)n(n-2)\ldots n1$ formada por $2n-1$ números. Como la suma de los impares entre $1$ y $2n-1$ es $n^2$, deducimos que tenemos así $n^2$ números para $n$ países. Ahora bien, cada número $k\lt n$ tiene a su derecha a cada uno de los números entre $1$ y $n-1$ una única vez por hipótesis de inducción y una vez al $n$ en la cadena añadida en el paso $n$. Por su parte, el número $n$ tiene a su derecha una vez a cada uno de los números entre $1$ y $n$ en la cadena añadida en el paso $n$. Por lo tanto, hemos probado que el número máximo es $n^2$.
Hemos probado así que el máximo buscado es $n=4$.
Nota. El hecho de que el máximo número de circunferencias mutuamente tangentes es cuatro es consecuencia, por ejemplo, del teorema de los círculos de Descartes (aunque puede razonarse independientemente de forma más elemental).
Nota: $\lfloor x\rfloor$ indica la parte entera de un número real $x$.