| 
Consideremos a famÃlia de retas que passa por um por um ponto ideal Ω. Seja P um ponto de uma delas. O conjunto de pontos correspondentes a P é chamado de horocÃrculo de centro Ω passando por P. Se Q é qualquer ponto desse horocÃrculo, então QΩ é chamado de raio do horocÃrculo.HorocÃrculo não é uma reta. E se uma reta corta um horocÃrculo em dois pontos P e Q, então como P e Q são correspondentes, PQ formará com os raios P Ω e QΩ ângulos iguais. Por último um horocÃrculo de centro Ω e passando por P é o limite da famÃlia de cÃrculos passando por P e com centro PΩ.Teorema: dois horocÃrculos quaisquer são congruentes. Talvez com esses dados alguém possa me ajudar no seguinte teorema. Teorema: Uma reta é tangente a um horocÃrculo se e só se é normal a um dos seus raios em sua extremidade. Grato Eduardo. |