12.8: Axioma H-v
( \newcommand{\kernel}{\mathrm{null}\,}\)
Por último, tenemos que verificar que el Axioma H-v sostiene; es decir, tenemos que probar la siguiente afirmación.
Reclamación Para cualquier línea hℓ y cualquier punto hP∉ℓ hay al menos dos líneas h que pasanP y no tienen puntos de intersección conℓ.
- En lugar de Prueba
-
Aplicando la observación principal podemos suponer queP es el centro de lo absoluto.
La parte restante de la prueba se puede adivinar a partir de la imagen
Mostrar que en el plano h hay 3 líneas h mutuamente paralelas de tal manera que cualquier par de estas tres líneas se encuentra en un lado de la línea h restante.
- Pista
-
Mira el diagrama y piensa.