Axiomatique de Bachmann pour les plans métriques

 3.d - Applications du théorème Hjelmslev - (2/2)
Droite du faisceau F(ab) passant par un point M

[Plan de cette partie] [Présentation des axiomes] [Les Faisceaux] [Géométrie absolue]

Preuves ou illustrations en CabriJava du : Th 10 | Th 11 | Th Hjelmslev | d = abc | Droite de F(ab)

 

 

Deux droites a et c (distinctes) étant données. Pour tout point M non incident à l'une d'elle, il existe une droite incidente à ce point appartenant au faisceau F(a'c').

Remarque : si a = c, toute droite incidente au point convient.  

  
On peut par exemple rendre le faisceau à centre et vérifier que b passe aussi par l'intersection de a et c.
Rendre aussi le faisceau sans support : a et c avec même point idéal

Revoir la construction propre à ce modèle hyperbolique

Dans le cas elliptique, comme les faisceaux sont à centre, la construction est simplement celle d'une droite passant par deux points.

 

Preuves ou illustrations en CabriJava du : Th 10 | Th 11 | Th Hjelmslev | d = abc | Droite de F(ab)

[Plan de cette partie] [Présentation des axiomes] [Les Faisceaux] [Géométrie absolue]

Retour sur abraCAdaBRI

Retour sur "abra-Java"