4 GEOMETRÍA Y BILLARES MATEMÁTICOS

Proposición 8. (Jacobi) Si θ no es conmensurable a π, entonces los puntos en el cı́rculo, determinados por

la órbita del punto p, el cual choca con el cı́rculo en un ángulo θ, forma un conjunto denso en el cı́rculo.
Demostración. La orbita de un punto p, el cual choca con el cı́rculo en un ángulo θ, es el conjunto:

{p + 2nθ|n ∈ Z}

Llamamos θ1 al ángulo que describe el arco pp� y supongamos, sin perder generalidad, que este ángulo
es menor o igual que θ2 . Como θ es inconmensurable con π, también lo es θ1 . Siguiendo con este proceso,
podemos construir una sucesión de ángulos {θn } → 0, tales que rotar en sentido negativo un ángulo de θn es
equivalente a rotar por 2θm en el sentido positivo, para algún entero positivo m.
Consideremos un intervalo arbitrario sobre el cı́rculo Im , existe un ángulo θn tal que θn ≤ |Im |, por el
principio de las casillas, la trayectoria del billar debe intersecar a Im para algún m

30