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.
Let ABCD and A′B′C′D′ be two quadrangles such that the points A′,B′,C′, and D′ are the inverses of A,B,C, and D respectively.
Then
(a)
AB⋅CDBC⋅DA=A′B′⋅C′D′B′C′⋅D′A′.
(b)
∡ABC+∡CDA≡−(∡A′B′C′+∡C′D′A′).
(c) If the quadrangle ABCD is inscribed, then so is ◻A′B′C′D′.
- Proof
-
(a). Let O be the center of the inversion. According to Lemma 10.1.1, △AOB∼△B′OA′. Therefore,
ABA′B′=OAOB′.
Analogously,
BCB′C′=OCOB′, CDC′D′=OCOD′, DAD′A′=OAOD′.
Therefore,
ABA′B′⋅B′C′BC⋅CDC′D′⋅D′A′DA=OAOB′⋅OB′OC⋅OCOD′⋅OD′OA.
Hence (a) follows.
(b). According to Lemma 10.1.1,
∡ABO≡−∡B′A′O,∡OBC≡−∡OC′B′,∡CDO≡−∡D′C′O,∡ODA≡−∡OA′D′.
By Axiom IIIb,
∡ABC≡∡ABO+∡OBC, ∡D′C′B′≡∡D′C′O+∡OC′B′,
∡CDA≡∡CDO+∡ODA, ∡B′A′D′≡∡B′A′O+∡OA′D′,Therefore, summing the four identities in 10.2.1, we get that
∡ABC+∡CDA≡−(∡D′C′B′+∡B′A′D′).
Applying Axiom IIIb and Exercise 7.4.5, we get that
∡A′B′C′+∡C′D′A′≡−(∡B′C′D′+∡D′A′B′)≡≡∡D′C′B′+∡B′A′D′.
Hence (b) follows.
(c). Follows from (b) and Corollary 9.3.2.