12.7: Axioma IV
( \newcommand{\kernel}{\mathrm{null}\,}\)
El siguiente reclamo dice que Axioma IV se sostiene en el plano h.
En el plano h, tenemos△hPQR≅△hP′Q′R′ si y solo si
Q′P′h=QPh,Q′R′h−QRhy∡hP′Q′R′=±∡PQR.
- Prueba
-
Aplicando la observación principal, podemos asumir esoQ yQ′ coincidir con el centro de lo absoluto; en particularQ=Q′. En este caso
∡P′QR′=∡hP′QR′=±∡hPQR=±∡PQR.
Desde
QPh=QP′hyQRh=QR′h,
Lema 12.3.2 implica que lo mismo vale para las distancias euclidianas; es decir,
QP=QP′yQR=QR′.
Por SAS, hay un movimiento del plano euclidiano que se envíaQ a sí mismo,P haciaP′ yR haciaR′
Tenga en cuenta que el centro del absoluto está fijado por el movimiento correspondiente. De ello se deduce que este movimiento da también un movimiento del plano h; en particular, los triángulos h△hPQR y△hP′QR′ son h-congruentes.