Loading [MathJax]/jax/output/HTML-CSS/jax.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

12.7: Axioma IV

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

El siguiente reclamo dice que Axioma IV se sostiene en el plano h.

Reclamación12.7.1

En el plano h, tenemoshPQRhPQR si y solo si

QPh=QPh,QRhQRhyhPQR=±PQR.

Prueba

Aplicando la observación principal, podemos asumir esoQ yQ coincidir con el centro de lo absoluto; en particularQ=Q. En este caso

PQR=hPQR=±hPQR=±PQR.

Desde

QPh=QPhyQRh=QRh,

Lema 12.3.2 implica que lo mismo vale para las distancias euclidianas; es decir,

QP=QPyQR=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 hhPQR yhPQR son h-congruentes.


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

Support Center

How can we help?