10.2: Relación cruzada
( \newcommand{\kernel}{\mathrm{null}\,}\)
El siguiente teorema da algunas cantidades expresadas en distancias o ángulos que no cambian después de la inversión.
DejarABCD yA′B′C′D′ ser dos cuadriláteros tales que los puntosA′,B′,C′, yD′ son los inversos deA,B,C, yD respectivamente.
Entonces
a)
AB⋅CDBC⋅DA=A′B′⋅C′D′B′C′⋅D′A′.
b)
∡ABC+∡CDA≡−(∡A′B′C′+∡C′D′A′).
(c) Si el cuadriláteroABCD está inscrito, entonces así es◻A′B′C′D′.
- Prueba
-
a). OSea el centro de la inversión. Según Lemma 10.1.1,△AOB∼△B′OA′. Por lo tanto,
ABA′B′=OAOB′.
Análogamente,
BCB′C′=OCOB′,CDC′D′=OCOD′,DAD′A′=OAOD′.
Por lo tanto,
ABA′B′⋅B′C′BC⋅CDC′D′⋅D′A′DA=OAOB′⋅OB′OC⋅OCOD′⋅OD′OA.
De ahí que a) sigue.
b). Según Lemma 10.1.1,
∡ABO≡−∡B′A′O,∡OBC≡−∡OC′B′,∡CDO≡−∡D′C′O,∡ODA≡−∡OA′D′.
Por Axioma IIIb,
∡ABC≡∡ABO+∡OBC,∡D′C′B′≡∡D′C′O+∡OC′B′,
∡CDA≡∡CDO+∡ODA,∡B′A′D′≡∡B′A′O+∡OA′D′,Por lo tanto, sumando las cuatro identidades en 10.2.1, obtenemos que
∡ABC+∡CDA≡−(∡D′C′B′+∡B′A′D′).
Aplicando el Axioma IIIb y el Ejercicio 7.4.5, lo conseguimos
∡A′B′C′+∡C′D′A′≡−(∡B′C′D′+∡D′A′B′)≡≡∡D′C′B′+∡B′A′D′.
De ahí que siga el inciso b).
c). Se desprende de (b) y Corolario 9.3.2.