Hay 100 vértices de un prisma con un 50-gon en su base. Los vértices se asignan números enteros de 1 a 100 (ambos inclusive), en un orden aleatorio. Cada número puede ser asignado solamente una vez. El objetivo es demostrar que siempre hay dos vértices adyacentes (dos vértices que están conectados por una arista), cuyo número se diferencian por 48 o menos.
Para probar esto, creo que es el vértice que se le asigna el número entero $50$. Dispone de 3 'vecinos', y hay sólo 3 números en el conjunto dado que difieren por más de 48 de 50: $1$, $99$, $100$.
Ahora hay 3 casos posibles: cada uno de los números puede estar en el 'opuesto' lado del prisma. Para 1 y 99, es fácil mostrar que hay vértices adyacentes que se diferencian por 48 o menos. En arte ASCII:
100---50---99
| |
1----X
X > 1+48=49 y X < 99-48=51, lo que significaría que X=50, sin embargo, el número entero de 50 fue asignado previamente. Posteriormente hay bordes que se diferencian por 48 o menos.
100---50---1
| |
99---X
Aquí tenemos el mismo problema. X tendría que ser de 50, pero los 50 ya estaba asignado.
Si nosotros, sin embargo, elegir 100 a estar en el lado opuesto, me encuentro con un problema:
1---50---99---48 ... 2---X
| | | | ... |
51--100--49---98 ... 52
Necesito un larguísimo 'cadena' para llegar a un conflicto, y yo supongo que este no es el buen o buena manera de probar que la declaración en cuestión. Por favor me ilumine!