20.8.12

Posições harmónicas numa reta

Em "Perpectives on Projective Geometry", Richter-Gebert escreve que há algumas (poucas) coleções notáveis de posições relativas de pontos que geram conjuntos harmónicos e apresenta como exemplo uma coleção de equações em x e y, a saber:
  1. (-x, x; 0, ∞) = -1
  2. (0, 2x; x, ∞) = -1
  3. (x, y; (x+y)/2, ∞) = -1
  4. (-1, 1; 0x, 1/x) = -1
  5. (-x, x; 1, x2) = -1
em que para facilitar se identificam pontos numa reta com correspondentes números reais incluindo o ponto ∞ para o ponto no infinito.
Para explicitar, começa por verificar que para um ponto x arbitrário (ou número real arbitrário), recorrendo à definião de razão cruzada e às operações com expressões algébricas de variável real,
(-x, x; 1, x2) = -1, no seguinte sentido
(-x, x; 1, x2)=[(1+x).(x2-x)]/[(x2+x).(1-x)]=[(1+x).x.(x-1)] /[x.(x+1).(1-x)]=-1
Por exemplo, o par (1,4) separa harmonicamente o par (-2,2), Fixados -2, 2, 1 a posição 4 é interseção de -2'2'.r não dependendo de O nem de P (este último ponto arbitrario de 1P).

Sem comentários: