Por lo tanto, para mostrar que el Axioma I se sostiene en el plano h, necesitamos mostrar que la distancia h definida en 12.1 es una métrica en el plano h; es decir, las condiciones (a) - (d) en la De...Por lo tanto, para mostrar que el Axioma I se sostiene en el plano h, necesitamos mostrar que la distancia h definida en 12.1 es una métrica en el plano h; es decir, las condiciones (a) - (d) en la Definición 1.3.1 se mantienen para la distancia h. DejarA yB ser puntos ideales de(PQ)h yA,P,Q,B aparecer en la circlina que contiene(PQ)h en el mismo orden. Además, la igualdad se mantiene si y sólo siP,Q, yR se encuentran en una línea h en el mismo orden.
