Teorema de Hjelmslev

La demostración es sencilla si se asume la clasificación de isometrías planas. Si la isometría dada es impar, en cuyo caso es necesariamente una reflexión respecto a una recta o una reflexión deslizada (el producto de tres reflexiones respecto a una recta y dos perpendiculares sobre ella), entonces la afirmación es cierta para cualquier trío de puntos en cualquier plano: el punto medio de PP´ se encuentra sobre el eje de la reflexión (con deslizamiento según el caso) para cualquier P. Si la isometría es par, se puede componer con la reflexión en la línea PQR para obtener una isometría impar con el mismo efecto en P, Q, R ... y aplicar la conclusión anterior.

La importancia del teorema radica en el hecho de que posee una demostración implícita con la particularidad de que no requiere presuponer la existencia del postulado de las paralelas y, por lo tanto, también es válida en la geometría no euclídea. Partiendo de esta premisa, la función que hace corresponder cada punto P del plano al punto medio del segmento P´P´´, donde P´ y P´´ son las imágenes de P bajo una rotación (en cualquier sentido) según un ángulo agudo alrededor de un centro dado, se ve como una colineación que aplica todo el plano hiperbólico punto a punto en el interior de un disco, proporcionando así una buena noción intuitiva de la estructura lineal del plano hiperbólico. De hecho, esto se llama la transformación de Hjelmslev.

• Martin, George E. (1998), The Foundations of Geometry and the Non-Euclidean Plane, Undergraduate Texts in Mathematics (3rd edición), Springer-Verlag, p. 384, ISBN 978-0-387-90694-2 . Martin, George E. (1998), The Foundations of Geometry and the Non-Euclidean Plane, Undergraduate Texts in Mathematics (3rd edición), Springer-Verlag, p. 384, ISBN 978-0-387-90694-2 . .

• Teorema de Hjelmslev por Jay Warendorff, el Proyecto de Demostraciones de Wolfram .
• Teorema de Hjelmslev desde el corte del nudo