Réalisation de diverses macros du modèle non arguésien de Hilbert

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…

Constructions algébriques de la droite et de la (des) perpendiculaire(s) à une droite du modèle non arguésien de Hilbert

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…