12.7: Аксіома IV
Наступне твердження говорить про те, що Аксіома IV тримає в h-площині.
У h-площині ми маємо△hPQR≅△hP′Q′R′ якщо і тільки якщо
Q′P′h=QPh,Q′R′h−QRhі∡hP′Q′R′=±∡PQR.
- Доказ
-
Застосовуючи основне спостереження, можна припустити, щоQ іQ′ збігаються з центром абсолюту; зокремаQ=Q′. В даному випадку
∡P′QR′=∡hP′QR′=±∡hPQR=±∡PQR.
Так як
QPh=QP′hіQRh=QR′h,
Лема 12.3.2 означає, що те саме стосується евклідових відстаней; тобто
QP=QP′іQR=QR′.
За SAS відбувається рух евклідової площини, яка посилаєQ до себе,P доP′ іR доR′
Зверніть увагу, що центр абсолюту фіксується відповідним рухом. Звідси випливає, що цей рух дає також рух h-площині; зокрема,△hP′QR′ h-трикутники△hPQR і h-конгруентні.