10.2: Перехресне співвідношення
Наступна теорема дає деякі величини, виражені в відстанях або кутах, які не змінюються після інверсії.
ABCDA′B′C′D′Дозволяти і бути два чотирикутника такіA′,B′,C′, що точки, іD′ є оберненнямиA,B,C, іD відповідно.
Тоді
(а)
AB⋅CDBC⋅DA=A′B′⋅C′D′B′C′⋅D′A′.
(б)
∡ABC+∡CDA≡−(∡A′B′C′+∡C′D′A′).
(c) Якщо чотирикутникABCD вписаний, то так і є◻A′B′C′D′.
- Доказ
-
(а). OДозволяти бути центром інверсії. Згідно з Леммою 10.1.1,△AOB∼△B′OA′. Тому,
ABA′B′=OAOB′.
Аналогічно,
BCB′C′=OCOB′,CDC′D′=OCOD′,DAD′A′=OAOD′.
Тому,
ABA′B′⋅B′C′BC⋅CDC′D′⋅D′A′DA=OAOB′⋅OB′OC⋅OCOD′⋅OD′OA.
Звідси (а) випливає.
(б). Згідно з Леммою 10.1.1,
∡ABO≡−∡B′A′O,∡OBC≡−∡OC′B′,∡CDO≡−∡D′C′O,∡ODA≡−∡OA′D′.
За аксіомою IIIb,
∡ABC≡∡ABO+∡OBC,∡D′C′B′≡∡D′C′O+∡OC′B′,
∡CDA≡∡CDO+∡ODA,∡B′A′D′≡∡B′A′O+∡OA′D′,Тому, підсумовуючи чотири ідентичності в 10.2.1, ми отримуємо, що
∡ABC+∡CDA≡−(∡D′C′B′+∡B′A′D′).
Застосовуючи Axiom IIib та вправу 7.4.5, ми отримуємо, що
∡A′B′C′+∡C′D′A′≡−(∡B′C′D′+∡D′A′B′)≡≡∡D′C′B′+∡B′A′D′.
Звідси випливає (б).
(c). Випливає з (b) і Слідство 9.3.2.