15.11.12

Triângulos auto-polares inscritos numa cónica e circunscritos a outra

Na última entrada, ilustrámos e demonstrámos o teorema de involução de Desargues.
Sobre a ilustração que se segue, pode dizer-se que a cónica em que se inscreve o quadrângulo PQRS interseta a reta g num par de pontos TU da involução definida pela projetividade que permuta SR.g com SQ.g e também RP.g e PQ.g (Pode verificar isso considerando S variável sobre a cónica e P, Q, R, T e U posições de R).
Mas também podemos considerar a polaridade (PQR)(Sg) em que P, Q, R, S são respetivamente polos de QR, PR, PQ, g.
Esta polaridade (PQR)(Sg), em que S não incide em g, induz uma involução de pontos conjugados em g que não é autoconjugada, que é a involução determinada em g pelo quadrângulo PQRS permutando SR.g com SQ.g (e é a mesma involução de Desargues).

E podemos, assim, ler a ilustração que se segue do seguinte modo:
Se dois triângulos PQR e STU têm os seis vértices (distintos) sobre uma cónica, há uma polaridade para a qual esses dois triângulos são auto-polares.
De fato, para aquela polaridade, o triângulo PQR é auto-polar e do mesmo modo STU o é. Como a polar de S é g que passa por T e U, S é conjugado de T e a polar t de T passa por S; e, do mesmo modo, a polar u de U passa por S. As polares de T e U passam por S=t.u e, sendo T e U conjugados ou t passa por U e u passa por T ou S, T e U são colineares, já que quando as polares de vértices de um triângulo não coincidem com os lados opostos, encontram estes em três pontos colineares: g.t, g.u, u.t conforme o teorema de Chasles que enunciámos assim: se ABC e a'b'c' são triângulos distintos e polares um do outro, então são perspetivos. Pode verificar o que se passa na ilustração deslocando o S sobre a construção
Também poderiamos ter usado o teorema de Hesse assim enunciado: Se dois pares de vértices opostos de um quadrilátero completo são pares de pontos conjugados para uma dada polaridade, então o terceiro par de vértices opostos é também um par de pontos conjugados pela mesma polaridade
Por favor habilite Java para uma construção interativa (com Cinderella).
Pode deslocar os pontos (particularmente S) sobre a cónica, de modo a ver o que acontece nas diversas posições.

A construção desta entrada ilustra especialmente o recíproco do resultado que a abre. A saber:
Se dois triângulos, em que nenhum dos vértices de qualquer deles incide em qualquer dos lados do outro, são autopolares para uma dada polaridade, os seus seis vérices incidem sobre uma cónica e os seus seis lados são tangentes a outra
Faz lembrar a segunda construção da entrada Definição projetiva de cónicas, publicada em Setembro, para que, da viagem, na paisagem da chegada, se reconheça a paisagem da partida.
H. S. M. Coxeter, Projective Geometry, Springer. NY:1994

6.11.12

Desargues: Teorema da involução

Teorema da involução de Desargues:
Das cónicas que passam pelos vértices de um quadrilátero, aquelas que intersetam uma dada reta (que não passe pelos vértices) fazem-no num par de pontos de uma involução.

A construção que se segue pretende ilustrar este enunciado. Na figura está representado um quadrângulo de vértices P, Q, R, S e uma reta g que não passa por qualquer desses vértices. Representa-se também uma cónica de entre as que passam pelos 4 vértices do quadrângulo.
Os pontos de intersecção da reta g
com os lados do quadrângulos são A=PS.g, B=QS.g, D=QR.g, E=PR.g
e com a cónica são T e U.

Por favor habilite Java para uma construção interativa (com Cinderella).
Pode deslocar os pontos R e S e o ponto verde sobre a cónica, de modo a ver o que acontece nas diversas posições. E também pode controlar a animação no controlador ao fundo à esquerda.

Se considerarmos os pontos S, R, T, U como posições de um ponto variável da cónica, podemos considerar dois feixes projetivos de retas, um centrado em P relacionado com outro centrado em Q.
PS→A=PS.g e QS→B=QS.g
PR→E=PR.g e PS→D=PS.g
E como já tinhamos visto no Teorema de Steiner, há uma projetividade que transforma A em B e E em D.
Deslocando o ponto verde sobre a cónica, vê-se que quando este coincide com R as intersecções com g das retas correspondentes dos feixes por P e por Q estão em A e B; quando este ponto verde coincide com S as intersecções com g das retas correspondentes nos dois feixes por P e Q estão em E e D. Já quando o ponto verde (variável, claro) coincide com T ambas as retas correspondentes dos feixes projetivos por P e Q intersetam a reta g no mesmo ponto T e, como é óbvio, qando o ponto verde é U as retas correspondentes dos dois feixes projetivos intersetam g em U.
Podemos, pois, escrever que
há uma projetividade que transforma AETU em BDTU. E, como sabemos que quaisquer quatro pontos colineares podem ser permutados por uma projetividade, BDTU e DBUT são projetivos.
Em conclusão: como AETU projetivo com BDTU e BDTU projetivo com DBUT, também AETU é projetivo com DBUT, ou seja, podemos concluir que o par TU das intersecções de g com a cónica é um par da involução (AD)(BE) que depende unicamente do quadrângulo. O que quer dizer que o resultado é válido para todas as cónicas de que g seja secante ou tangente, isto é, determinando um par (T≠U) ou um ponto invariante (T=U) da involução.
Vale a pena ainda ver que, quando o R coincide com P, a reta RP é substituída pela tangente em P. Ou quando R=Q, a reta RQ é substituída pela tangente em Q ou quando S=Q, SB é a tangente em Q.…
Assim, podemos escrever que
das cónicas tangentes a uma reta num dado ponto e que passam por dois outros pontos dados, se intersetam uma outra reta (não passando por qualquer dos três pontos dados) fazem-no em pares de uma involução.
H. S. M. Coxeter, Projective Geometry, Springer. NY:1994