Homologia definida por centro, eixo e reta limite

Uma homologia do plano transforma pontos em pontos, pontuais em pontuais, feixes em feixes do plano. Para cada homologia, uma pontual de pontos da reta imprópria do plano tem como imagem uma pontual - reta limite l'- que contém o ponto impróprio do eixo e uma pontual de pontos da reta imprópria é imagem de uma pontual - reta limite l - que também contém o ponto impróprio do eixo.
Também já vimos antes que uma homologia do plano fica determinada por:

1. o centro, o eixo e um par de pontos (retas) homólogos , não incidentes no centro nem no eixo.
2. dois pares de pontos (retas) homólogos e um ponto (reta) duplo (homólogo/a de si mesmo).
3. três pares de pontos (retas) homólogos.

Claro que dar uma reta limite equivale a dar um par de retas homólogas: a própria reta limite e a reta imprópria do plano
Nas últimas construções, definimos as homologias dando centro, eixo e um par de pontos homólogos.
Nesta entrada, vamos verificar que uma homologia fica determinada pelo centro O, o eixo e e a reta limite l.

Pode mover O, e, l para ver o que acontece com várias homologias
e também r, para além de A sobre r.

Dado um ponto A, como determinamos A'? Ou dada uma reta r como determinamos r' na homologia de que conhecemos o centro O, o eixo e e a reta limite l?
Por qualquer ponto A, podemos tirar uma reta r que intersete o eixo e (em M) e a reta limite l (em I). I é um ponto limite, original do ponto impróprio de r', R'_∞, por ser, ao mesmo tempo de l e de r. Isso quer dizer que a reta OI do feixe centrado em O interseta r' no seu ponto impróprio (OI//r'). Sabemos além disso que duas retas homólogas se intersetam num ponto do eixo, no caso M: Fica determinada r', paralela a OI tirada por M=r.e

---

E, concluindo, obtém-se A'=OA.r'
Na nossa construção também procurámos a reta limite imagem da reta imprópria do plano: Tirámos por O uma paralela a r (que interseta r no seu ponto impróprio R_∞. O ponto onde essa reta interseta r' está a imagem J' do ponto do infinito de r.
A reta limite, imagem da reta imprópria do plano, passa por J' e também pelo ponto impróprio do eixo.
Verificará que O, e, ocupam certas posições relativas com l, l': ou estão ambos entre l e l' ou ambas fora da faixa de fronteiras l e l'

---

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