Projetividade entre pontuais. Ponto duplo e pontos limite de uma homografia

Tomemos duas pontuais {A_i ∈ a: i=1, 2, 3,...} e {B_i ∈ b: i=1, 2, 3,...} com a≠b. Uma projetividade entre as duas pontuais fica bem definida por três pares de pontos correspondentes, no caso, (A₁, B₁), (A₂, B₂) e (A₃, B₃). A partir destes dados, tomando dois feixes centrados em
A₁: A₁B₁, A₁B₂, A₁B₃, e
em B₁: B₁A₁, B₁A₂, B₁A₃,
fica determinado o eixo da projetividade a passar pelos pontos (12)=A₁B₂.B₁A₂ e (13)= (12)=A₁B₃.B₁A₃. Uma projetividade é composta de duas perspetividades, precisamente A_i → (1i)= A_iB₁.[(12)(13)]→ B_i=b.[(1i)A₁.
Assim se obtém o transformado de A_∞, K de b: tira-se por B₁ uma reta (paralela) que intersete a no seu ponto do infinito e interseta o eixo de projetividade no ponto ∞1. A reta A₁∞1 interseta b em K. K é um ponto limite da homografia (neste caso, projetividade), imagem de A_∞.
Analogamente, vimos que J=(1∞)B₁.a, em que A₁(1∞) é paralela a b, é um ponto limite da projetividade por ser o original de B_∞.
O ponto a.b é o único ponto duplo dessa homografia.

da antiga dinâmica:
Por favor habilite Java para uma construção interativa (com Cinderella).
Na figura, pode fazer variar os pontos visíveis.

---

F. I. Asensi, Geometria Descriptiva Superior y Aplicada. Editorial Dosssat, S.A. Madrid:1980
Richter-Gebert. Perspectives on Projective Geometry. Springer. Berlin:2011
H. S. M. Coxeter, Projective Geometry, Springer. NY:1994
C.F. Klein, Elementary Mathematics from an advanced standpoint - Geometry Dover Publications, inc. New York:2004