Pontual de 4 pontos: permutações por projetividade

Quaisquer quatro pontos colineares podem ser permutados em pares por projetividade

Na construção que se segue, tomam-se quatro pontos colineares (quaisquer) A,B, C, D. Vamos provar que existe uma projetividade tal que A→B e B→A, C→D e D→C.


[A.A.M]
Sigamos os passos da construção - perspectiva e projectiva - deslocando o cursor n=1, 2, ..., 5
Sendo R um ponto não colinear com A,B,C,D, uma reta arbitrária incidindo em D corta o feixe RA, RB, RC na pontual T,Q, W. Sendo Z o ponto de incidência comum às retas AQ e RC, podemos concluir que
ABCD → BADC
Assim:
n=3 ---> pela perspetividade de centro Q, (feixe verde, cortado por RZWC e ABCD):   ABCD →ZRCW,
n=4 ---> seguida da perspetividade de centro A, (feixe azul cortado por RZWC e TQWD):    ZRCW → QTDW e
n=5 ---> da perspetividade de centro R, (feixe castanho cortado por TQWD e ABCD):    QTDW→BADC.

---

Exercicios propostos por Coxeter:

1. Dados 3 pontos colineares A, B, C, definir duas perspetividades cuja composta tenha o efeito A→B, B→A e C→C
2. Dadas três retas concorrentes a, b, c, definir duas perspetividades cuja composta tenha o efeito abc →bac
3. Dados três pontos colineares A,B,C e três retas concorrentes a,b,c definir cinco correspondências elementares (biunívocas) cuja composta tenha o efeito
   ABC→abc.
4. Dados quatro pontos colineares A,B,C,D, determinar três perspetividades cuja composta tenha o efeito
   ABCD →DCBA

Determinar a imagem de um ponto pela projetividade entre duas pontuais da mesma base

Sobre uma mesma base r, tomemos a projetividade entre as pontuais ABCD e A'B'C'D' em que A' é a imagem de A, B'de B, C' de C. Determine D' - imagem de D, pela projetividade definida por (ABC) →(A'B'C').

[A.A.M.]

• Como as pontuais ABC e A'B'C' que definem a projectividade estão numa só base r=r', temos de projectar uma delas, seja A'B'C', numa qualquer outra outra recta que designamos por r₁ (optámos por uma reta paralela a r), a partir de um ponto V (próprio ou impróprio), no caso da nossa construção optámos por um ponto próprio: VA'.r ={A₁}, VB'.r ={B₁} e VC'.r ={C₁}.
  
• Usamos a pontual A₁B₁C₁ em r₁ e determinamos o eixo projectivo de r e r₁ pelos pontos AB₁.B₁A={A''} e BC₁.C₁B={C''}: r''= A''C''.
  
• O homólogo do ponto D é obtido pela sucessão de intersecções DA₁ . r'' ={D''},   AD'' . r₁ = {D₁} e VD₁ . r = {D'}.