Colineações projetivas. Quadriláteros.

(1) A única projetividade que transforma quatro retas lados de um quadriátero completo em si mesmas é a identidade. Do mesmo modo, a identidade é a única colineação projetiva que transforma quatro pontos vértices de um quadrângulo completo em si mesmos.
Para este resultado ( e os outros, claro!) com quadriláteros convém ter presentes os seguintes axiomas
(a) Os três pontos diagonais de um quadrilátero completo nunca são colineares.
e
(b) Se uma projetividade deixa invariantes cada um de três pontos distintos sobre uma reta, então qualquer ponto da reta é imagem de si mesmmo por essa projetividade.

---

(2)Entre quaiquer dois quadriláteros completos (ou quadrângulos) com os quatro lados (vértices) correspondentes por uma dada ordem, só há uma colineação projetiva que transforma um no outro.
Constrói-se.

ilustração estática *.png a partir da construção dinâmica interactiva original realizada com Cinderella

Notas de demonstração:
a) Exige-se uma dada ordem para os lados correspondentes para só termos 4 pares de pontuais projetivas que poderá verificar conduzem a uma única colineação (e evitar 24 possíveis combinações se não estabelecermos essa ordem).

b) Claro que podemos definir uma projetividade entre as pontuais DAF e D'A'F'e entre DCE e D'C'E' definidas na construção. Do mesmo modo, relacionaríamos CBF com C'B'F' e ABE com A'B'E'.
Tomemos agora uma reta a. E suponhamos que a=XY em que X está em DE e Y ou DF. As projetividades entre DAF e D'A'F' e entre DCE e D'C'E' determinam a'=X'Y', sendo DCEX e D'C'E'X' projetivos, bem assim DAFY e D'A'F'Y'.
Para provar que a correspondência entre a e a' é uma colineação, temos de verificar que relaciona pontos com pontos e de tal modo que a incidência seja preservada. Para isso, considera-se a como reta de um feixe de tal modo que X e Y sejam perspetivos. Por construção de a', temos que X' é imagem de X e Y' é imagem de Y por projetividade. E como D é o invariante para a perspetividade X→Y, D' é o invariante para a perspetividade X'→Y'.
Tal como a, a' também é uma reta de um feixe o que quer dizer que retas concorrentes são transformadas em retas concorrentes. Uma projetividade X→X' chegou para garantir uma transformação reta a reta e ponto a ponto que preserva a incidência: a→a' é uma colineação.

c) Preciso será ainda provar que esta colineação projetiva que leva de ABCDEF para A'B'C'D'E'F' é única, o que se faz por absurdo recorrendo ao resultado enunciado imediatamente antes deste.