| OME Local |
| OME Andaluza |
| OME Nacional |
| OIM |
| IMO |
| EGMO |
| USAMO |
| ASU |
| APMO |
| OMCC |
| Retos UJA |
La demostración de que esta estrategia permite ganar es que José nunca deja $96$ o $97$ puntos usados tras su turno. Esto es a su vez consecuencia de cuando encuentra $95$ puntos usados siempre puede unir dos que previamente no estuvieran unidos ya que el número de segmentos que estos determinan es $\binom{95}{2}=95\cdot 47$, que es impar.
Nota. Este es un problema que admite muchas discusiones de casos y aproximaciones ligeramente distintas. La solución 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$.