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

12.7: Аксіома IV

Наступне твердження говорить про те, що Аксіома IV тримає в h-площині.

Претензія12.7.1

У h-площині ми маємоhPQRhPQR якщо і тільки якщо

QPh=QPh,QRhQRhіhPQR=±PQR.

Доказ

Застосовуючи основне спостереження, можна припустити, щоQ іQ збігаються з центром абсолюту; зокремаQ=Q. В даному випадку

PQR=hPQR=±hPQR=±PQR.

Так як

QPh=QPhіQRh=QRh,

Лема 12.3.2 означає, що те саме стосується евклідових відстаней; тобто

QP=QPіQR=QR.

За SAS відбувається рух евклідової площини, яка посилаєQ до себе,P доP іR доR

Зверніть увагу, що центр абсолюту фіксується відповідним рухом. Звідси випливає, що цей рух дає також рух h-площині; зокрема,hPQR h-трикутникиhPQR і h-конгруентні.