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'}.

Projetividade

Na construção acima, tomamos uma transformação obtida pela combinação de três correspondências elementares (introduzidas na mensagem anterior). Para isso, usámos uma sequência de retas e pontos (alternadamente):

o,O, o₁, O₁, o₂, O₂,o₃, O₃, ... , o_n-1, O_n-1, o_n, O_n

Claro que tomamos os pontos O_n não incidentes em qualquer das retas o_n para que as correspondências X⁽ⁿ⁾ para x⁽ⁿ⁾ sejam biunívocas, ligando pontos da fileira de pontos X em o (ou o feixe de retas x passando por O) com o feixe das retas x⁽ⁿ⁾ passando por O_n (ou a fileira dos pontos X⁽ⁿ⁾ da reta o_n) . A esta transformação dá-se o nome de projetividade. E em vez de escrever

X→x→X'→x'→X''→x''→X'''→ ... → x^(n-1) →X⁽ⁿ⁾

escrevemos simplesmente
X →X⁽ⁿ⁾ ou x →X⁽ⁿ⁾ ou X→x⁽ⁿ⁾