De facto, uma reta conjugada com PQ é a polar de algum ponto C de PQ. Seja S o ponto de intersecção da reta RC com a cónica. Os pontos diagonais de o quadrângulo PQRS formam um triângulo auto-polar cujo lado c incide nos pontos A e B, conjugados, A incidente em QR e B inicidente em PR.
( Dualmente: De um triângulo circunscrito a uma cónica, qualquer ponto conjugado com um dos seus vértices liga-se aos outros dois vértices por retas conjugadas)
Sendo x e y retas a passar por pontos de uma cónica, R comum, variável, e outros dois fixos P e Q (x=PR e y=RQ), x e y são projetivas. (Teorema de Steiner)
Já sabemos que as tangentes p (em P) e q (em Q) se encontram em D=p.q que é o polo de PQ. Seja uma reta c que passe por D, mas não passe por P nem por Q.
Como x.c=B e y.c=A, AB é um par em involução de pontos conjugados em c. Fazendo variar R=x.y sobre a cónica verá que
Sendo d=PQ e C1=c.d, P e Q são posições possíveis para R. Quando R=P, y=d, A=C1, B é ponto conjugado de D, e x=p. Do mesmo modo, quando R=Q, x=d, B=C1, A=D e y=q. Quando y é d, x é p quando x é d, y é q
( Dualmente: Considere-se uma tangente a uma cónica, variável, que interseta duas outras tangentes à mesma cónica, fixas, em dois pontos X e Y. X e Y são projetivos)
Coxeter. Introduction to Geometry, Wiley & Sons. NY:1969
Coxeter. Projective Geometry. Springer. NY:1994 " width="700">
Sem comentários:
Enviar um comentário