Skip to main content
LibreTexts - Ukrayinska

10.2: Перехресне співвідношення

Наступна теорема дає деякі величини, виражені в відстанях або кутах, які не змінюються після інверсії.

Теорема10.2.1

ABCDABCDДозволяти і бути два чотирикутника такіA,B,C, що точки, іD є оберненнямиA,B,C, іD відповідно.

Тоді

(а)

ABCDBCDA=ABCDBCDA.

(б)

ABC+CDA(ABC+CDA).

(c) Якщо чотирикутникABCD вписаний, то так і єABCD.

Доказ

(а). OДозволяти бути центром інверсії. Згідно з Леммою 10.1.1,AOBBOA. Тому,

ABAB=OAOB.

Аналогічно,

BCBC=OCOB,CDCD=OCOD,DADA=OAOD.

Тому,

ABABBCBCCDCDDADA=OAOBOBOCOCODODOA.

Звідси (а) випливає.

(б). Згідно з Леммою 10.1.1,

ABOBAO,OBCOCB,CDODCO,ODAOAD.

За аксіомою IIIb,

ABCABO+OBC,DCBDCO+OCB,
CDACDO+ODA,BADBAO+OAD,

Тому, підсумовуючи чотири ідентичності в 10.2.1, ми отримуємо, що

ABC+CDA(DCB+BAD).

Застосовуючи Axiom IIib та вправу 7.4.5, ми отримуємо, що

ABC+CDA(BCD+DAB)DCB+BAD.

Звідси випливає (б).

(c). Випливає з (b) і Слідство 9.3.2.