17.3.12

Dois novos axiomas: causas e consequências

Acrescentaremos novos axiomas à medida que for sendo necessário.
E é altura de introduzirmos dois novos axiomas. A saber:
1. Se quatro pontos distintos A, B, D, E forem tais que AB interseta DE, então AD interseta BE. Segue-se a figura dinâmica em que pode deslocar pontos e retas:

Este axioma aparecia como necessário para provar o Teorema de Desargues (caso não o tivessemos então considerado axioma).

2. Sempre aceitámos a ideia de que os pontos diagonais de um quadrilátero completo formam um triângulo, ou seja, que os três pontos diagonais de um quadrilátro completo nunca são colineares. Acrescentamos esse resultado sublinhado como axioma.
Decorre deste axioma que os conjugados harmónicos C e F são distintos, excepto no caso degenerado em que ambos coincidem com A ou coincidem com B.
Dito de outro modo: Se A, B, C são distintos, a relação H(AB, CF) implica que F é distinto de C.


Desloque C sobre AB, para verificar que F só coincide com C quando C coincide com A ou com B (o que só acontece com G em A ou B)

E assim, em consequência desse axioma, há pelo menos quatro pontos em cada reta, já que os três pontos diagonais não são colineares o que garante que F e C são distintos entre si e distintos de A e B.

14.3.12

Conjunto Harmónico


Seccionámos quadriláteros completos por uma reta que não passa pelos vértices nem por pontos diagonais.
Vamos agora cortar um quadrilátero completo por uma reta definida por dois pontos diagonais. A este caso especial de conjunto quadrangular chamamos conjunto harmónico, descrevendo a relação do seguinte modo (AA)(BB)(CF) ou abreviadamente H(AB,CF) que terá o mesmo significado que H(BA,CF), H(AB,FC) ou H(BA,FC), em que A e B são dois pontos diagonais e C e F estão sobre os dois lados que passam pelo terceiro ponto diagonal.

[A.A.M.]
Dizemos que F é conjugado harmónico de C relativamene a A e B e, claro que também C é conjugado harmónico de F. Lembramos ainda que, de acordo com a entrada anterior, o ponto F é determinado univocamente por A,B e C [(AA)(BB)(CF)].
Coxeter, H. Projective Geometry, Springer-Verlago. NY:1994