El problema es muy sencillo:
Tres saltamontes sentarse en un avión, no en una línea. Cada segundo a sólo una de los saltamontes lúpulo simétricamente sobre uno de los otros. Puede regresan a la posición inicial después de n segundos?
La gran tentación de responder que no es posible si el n es impar y sea posible si el n es correcta. También no es difícil mostrar que si n es incluso es correcta (usted puede usar un saltamontes y saltar hacia atrás y adelante). Pero no puedo obtener una prueba para n es impar.
Entiendo que tengo que buscar algún tipo de invariantes y demostrar que si n es impar no es una contradicción, pero no he podido encontrar el invariante.