Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

12.7: Axiom IV

( \newcommand{\kernel}{\mathrm{null}\,}\)

The following claim says that Axiom IV holds in the h-plane.

Claim 12.7.1

In the h-plane, we have hPQRhPQR if and only if

QPh=QPh, QRhQRh and hPQR=±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

PQR=hPQR=±hPQR=±PQR.

Since

QPh=QPh and QRh=QRh,

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 hPQR are h-congruent.


12.7: Axiom IV is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

  • Was this article helpful?

Support Center

How can we help?