12.7: Axiom IV
( \newcommand{\kernel}{\mathrm{null}\,}\)
The following claim says that Axiom IV holds in the h-plane.
In the h-plane, we have △hPQR≅△hP′Q′R′ if and only if
Q′P′h=QPh, Q′R′h−QRh and ∡hP′Q′R′=±∡PQR.
- Proof
-
Applying the main observation, we can assume that Q and Q′ coincide with the center of the absolute; in particular Q=Q′. In this case
∡P′QR′=∡hP′QR′=±∡hPQR=±∡PQR.
Since
QPh=QP′h and QRh=QR′h,
Lemma 12.3.2 implies that the same holds for the Euclidean distances; that is,
QP=QP′ and QR=QR′.
By SAS, there is a motion of the Euclidean plane that sends Q to itself, P to P′ and R to R′
Note that the center of the absolute is fixed by the corresponding motion. It follows that this motion gives also a motion of the h-plane; in particular, the h-triangles △hPQR and △hP′QR′ are h-congruent.