Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

10.2: Cross-ratio

( \newcommand{\kernel}{\mathrm{null}\,}\)

The following theorem gives some quantities expressed in distances or angles that do not change after inversion.

Theorem 10.2.1

Let ABCD and ABCD be two quadrangles such that the points A,B,C, and D are the inverses of A,B,C, and D respectively.

Then

(a)

ABCDBCDA=ABCDBCDA.

(b)

ABC+CDA(ABC+CDA).

(c) If the quadrangle ABCD is inscribed, then so is ABCD.

Proof

(a). Let O be the center of the inversion. According to Lemma 10.1.1, AOBBOA. Therefore,

ABAB=OAOB.

Analogously,

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

Therefore,

ABABBCBCCDCDDADA=OAOBOBOCOCODODOA.

Hence (a) follows.

(b). According to Lemma 10.1.1,

ABOBAO,OBCOCB,CDODCO,ODAOAD.

By Axiom IIIb,

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

Therefore, summing the four identities in 10.2.1, we get that

ABC+CDA(DCB+BAD).

Applying Axiom IIIb and Exercise 7.4.5, we get that

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

Hence (b) follows.

(c). Follows from (b) and Corollary 9.3.2.


This page titled 10.2: Cross-ratio is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?