Estoy mirando la fuente original: Felix Klein " Conferencias sobre geometría no euclidiana ", página 172. La idea general es que la relación cruzada CR(P1,P2;A,B)CR(P1,P2;A,B) debe ser igual a la relación cruzada CR(P2,P3;A,B)CR(P2,P3;A,B) ya que la longitud puede calcularse a partir de esa relación cruzada. Ahora siguiendo la descripción de Kleins, la línea BA′ se elige arbitrariamente mediante B y el punto S también es arbitraria. Entonces A′,P′1,P′2 seguir por proyección con centro S de la línea AB a la línea A′B . Además, P2P′1 se cruza con AS en un punto M que puede utilizarse como centro de una segunda proyección sobre AB . Como estas proyecciones conservan las relaciones cruzadas, tenemos
CR(P1,P2;A,B)S=CR(P′1,P′2;A′,B)M=CR(P2,P3;A,B)
Estos pasos pueden repetirse para formar un número arbitrario de puntos equidistantes. Como indican las líneas discontinuas, puedes utilizar los mismos puntos S y M para todos ellos, sólo los puntos de intersección en la línea A′B son diferentes para cada nuevo punto que transformes. En esencia, la proyección sobre A′B vía S y luego hasta AB vía M es un paso unitario de su secuencia.