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.
