Suite à la construction algébrique générale d’une droite de Hilbert (H-droite), voici le détail de mise en œuvre de quelques macros techniques. Cette page est surtout une page d’archivage des méthodes utilisées, mais, pour quelques lecteurs, elle peut être intéressante à consulter pour les techniques utilisées. Nous aborderons ainsi :• Lire la suite…
Rappel du contexte (repris de la page d’introduction aux droites de Hilbert) Hilbert considère le modèle de la géométrie euclidienne plane suivant. Il se donne l’ellipse centrée à l’origine du repère canonique, de grand axe 1 et de petit axe 1/2. Soit l’ellipse d’équation . Puis il considère le point Lire la suite…
Contrairement aux autres pages sur les macros des différents modèles de géométries non euclidiennes, pour démystifier un peu cette géométrie si particulière qu’est la géométrie elliptique – une géométrie bornée, non orientable – après la section de présentation des macros et de leurs utilisations, on propose au lecteur le détail Lire la suite…
Dans cet article, on propose une première famille de macros pour réaliser soi-même des figures dans le disque de Poincaré. Un autre article sera consacré aux pavages avec des macros spécifiques. Quelques unes de ces macros ont été optimisées pour cet article, en janvier 2024, il est donc préférable d’utiliser Lire la suite…
Cet article propose d’illustrer la démarche de Hilbert pour reconstruire la géométrie de Bolyaï, sans continuité. En particulier nous allons manipuler plusieurs constructions autour du « corps des extrémités » de Hilbert, qui sera utilisé dans de futures présentations sur la classification des plans de Hilbert. Voici ce qu’en dit Hartshorne, lors Lire la suite…
Cet article est centré sur des calculs trigonométriques pour aboutir à la démonstration du théorème de Engel, celui-ci servant ensuite, dans un autre article, à la construction géométriques de triangles d’angles donnés. Rappels sur la trigonométrie hyperbolique Ces formules ont été présentées dans ce premier article sur le manuscrit de Lire la suite…
Cet article présente quelques résultats théoriques supplémentaires, dont des géométries euclidiennes sans carrés, les géométries finies de Bachmann, ou encore une géométrie avec quatre types de pinceaux différents. La lecture de cet article suppose que l’on ait lu la partie sur la séparation des géométries et parcouru, même un peu Lire la suite…
On se propose de montrer – de manière absolue, c’est-à-dire pour les géométries hyperbolique, euclidienne et elliptique – une propriété des milieux des sommets d’un triangle vis à vis des points de contact du cercle inscrit et des cycles exinscrits avec les droites du triangle, dont voici une illustration hyperbolique. Lire la suite…
On s’est déjà intéressé aux triangles hyperboliques ayant trois horicycles exinscrits. On se propose ici de calculer les différentes longueurs intervenant dans cette figure. On va effectuer ce calcul dans le modèle du disque de Klein-Beltrami. Comme les distances des différents modèles sont proportionnelles, le calcul est, finalement, générique. Le Lire la suite…
La différence entre KH et le plongement de DP (disque de Poincaré) au sens de Bachmann est seulement à l’intérieur du cercle horizon. On peut en particulier appliquer des macros de KH sur les droites idéales de Bachmann. C’est ce que l’on se propose de faire ici. Cet article comprend Lire la suite…