24.2.12

Projetividade entre duas pontuais com a mesma base

Consideremos as pontuais A,  B ,  C  e  A',  B',  C',tendo por base a mesma reta. Vamos determinar a projetividade A→A',  B→B',  C→C', usando feixes de retas e pontuais como secções de feixes.
Comecemos por tomar um ponto V em que não incide a reta dos pontos A,  B,  C,  A',  B',  C'. 
E consideremos o feixe VA',  VB',  VC'.
Tomamos a pontual A1,  B1,  C1 secção do feixe centrado em V por  s (auxiliar). Obviamente que A', B' ,C'  e  A1,  B1,  C1 são V-perspetivos.
Teremos agora de arranjar uma pontual A2,  B2 ,  C2, que é secção comum aos feixes AA1,  AB1,  AC1 (por A)  e A1A,  A1B,  A1C (por A1), seguindo um processo já antes usado.


Assim:
- pela perspetividade centrada em A1,
A→A2,   B→B2 ,  C→C2;

- pela perspetividade centrada em A,
A2→A1,    B2→B1,   C2→C1;

- pela perspetividade centrada em V,
A1 →A', B1→B', C1→C'

Concluindo:
A→A',   B→B',   C→C'.

16.2.12

Outra forma de definir a projetividade entre duas pontuais

Nas últimas entradas, tratámos de determinar a projetividade entre duas pontuais ABC e DEF (ou entre dois feixes abc e def).
Para isso considerámos que A→D, B→E e C→F. Em seguida tomámos os feixes por A: AD, AE, AF e por D: DA,DB,DC. Traçámos a reta que incide nos pontos de interseção de AE com DB e AF com DC. Ficando assim definidas duas perpetividades entre as pontuais ABC e DEF para a secção comum dos feixes por A e por D.
A projetividade entre as pontuais ABC e DEF aparece como a composta das duas perspetividades. Note-se que essa projetividade não é uma perspetividade, já que AD,BE e CF não têm qualquer ponto em comum.
Na figura que se segue, não vamos tomar perspetividades centradas em A e D. Tomamos pontos quaisquer sobre BE (podia ser sobre AD ou sobre CF), a saber: O1 e O2 e os feixes O1A, O1B, O1C e O2D, O2E, O2F, definindo uma reta intermédia incidindo em I=O1A∩ O2D K=O1C∩O2F. Tomamos ainda J na interseção de O1O2 com a reta intermédia.
A projetividade fica definida A→I→D, B→J→E e C→K→F.
Obtivemos assim a projetividade como produto de duas perspetividades. Se mover os pontos O1 ou O2, verá que a projetividade se pode decompor em duas perspetividades de uma infinidade de modos.