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

2.3: Нульовий кут

Пропозиція2.3.1

AOA=0для будь-якогоAO.

Доказ

Згідно з аксіомою IIib,

AOA+AOAAOA.

ВіднімаємоAOA з обох сторін, отримуємо, щоAOA0.

За аксіомою IIIπ<AOAπ; отжеAOA=0.

Вправа2.3.1

ПрипустимоAOB=0. Покажіть, що[OA)=[OB).

Підказка

За пропозицією2.3.1,AOA=0. Залишилося застосувати Axiom III.

Теорема2.3.2

Для будь-якогоA іB відмінного відO, ми маємо

AOBBOA.

Доказ

Згідно з аксіомою IIib,

AOB+BOAAOA

За пропозицією2.3.1, AOA=0. Hence the result.