Problema 3 (Semiplano de Poincaré)
Dada una h-recta, tomamos dos puntos sobre ella, A y B, de modo que la recta que pasa por estos puntos intersecte a la frontera del modelo en un punto E; desde este punto trazamos la tangente a la primer h-recta/circunferencia. ¿El punto de tangencia es el punto medio del segmento AB?
Trazamos la h-recta que pasa por los puntos A y B. (Pasos 1-5)
Digamos que la recta que pasa por A y B intersecta a la frontera del modelo en el punto E. Desde E, trazamos la tangente a la h-recta que pasa por A y B; llamamos F al punto de tangencia. (Pasos 6-9)
¿Es F el punto medio del h-segmento AB? Veamos:
Consideremos la h-circunferencia con centro en B y radio hasta A, y la h-circunferencia con centro en A y radio hasta B. Sean G y H los puntos de intersección de estas h-circunferencias. (Pasos 10-12)
Trazamos la h-recta que pasa por G y H. Esta h-recta sabemos que es la mediatriz del h-segmento AB. Como esta mediatriz pasa por F, deducimos que F sí es el punto medio del h-segmento AB -podemos trazar la h-circunferencia con centro en F y de radio hasta A, y ver que siempre pasa por B. (Pasos 13-14)