Razão cruzada de um feixe de quatro retas

4 retas que passam por um dado ponto gozam de uma propriedade "simples" que pode deslumbrar quem estuda geometria (projetiva, no caso). Aqui fica uma ligação à publicação de Agosto de 2012 que recorria à aplicação - Compasso e Régua (Zirkel und Linea; R. Grothmann)-, restaurada hoje com recurso a Geogebra....
Para cada feixe de retas, há uma razão (a cruzada razão) que se mantém invariante, isto é, não depende da reta que corta o feixe.... A figura permite-nos considerar isso mesmo por simples manipulação de E e F que nos deixam ver as diversas posições da reta r, o que é variável e o que se matém invariante.
[A.A.M.]

Teorema 119 FG-M

Enunciado do TEOREMA 119 FG-M:
São dadas duas circunferências tangentes interiormente num ponto A: a exterior de centro N, a interior de centro M. Seja AE a reta tangente às circunferências em A e seja BE a tangente à circunferência interior em C.
Demonstre que a reta AC é bissetriz do ângulo ∠BÂD.

[A.A.F.]
Demonstração:
Os segmentos AE e CE são iguais, logo ∠EAC = ∠ECA. Da geometria elementar sabe-se que: ∠EAC = (arc AD + arc DF) / 2 e ∠ECA = (arc AD + arc BF)/2 Logo arc DF = arc BF, ou seja, ∠DAC = ∠CAB;
de onde se conclui que AC é a bissetriz do ∠BAD.