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…
Cet article est peut-être plus une mémoire personnelle des méthodes utilisées – pour éventuellement en améliorer certaines – qu’un véritable article de blog. Mais ces méthodes peuvent intéresser quelques personnes. C’est aussi l’occasion de présenter certaines spécificités et/ou fonctionnements internes du logiciel. En terme de mémoire déposée dans le cloud, Lire la suite…
Des deux modèles, celui de Hilbert et celui de Moulton, il est bien plus simple de réaliser des figures non arguésiennes dans le plan de Moulton. On peut néanmoins (re)-voir la page sur les macros pour le modèle Hilbert. Présentation des macrosdu plan de Moulton On active les macros par Lire la suite…
Dans les pages sur les droites du modèle de Hilbert, on a vu que, du point de vue de la géométrie dynamique, c’est-à-dire pour la construction effective d’une droite définie par deux points, il faut distinguer trois types de droites, selon la position des points par rapport à l’ellipse de Lire la suite…