Il y a essentiellement deux façons de présenter la géométrie usuelle. Tout d’abord une approche algébrique dans laquelle la donnée initiale est celle d’un espace vectoriel à partir duquel on définit les structures affines. L’ajout d’une forme bilinéaire induit une orthogonalité. Dans cette démarche, les nombres ont une existence antérieure au questionnement géométrique. C’est une démarche réservée à l’enseignement supérieur par l’utilisation de l’efficacité des structures algébriques. Dans la seconde approche, dite parfois synthétique, ou plus simplement axiomatique, la donnée initiale est celle d’objets primordiaux et de leurs relations. Dans ce cas, la construction des nombres est une conséquence des propriétés géométriques. Et en particulier l’existence d’un corps de nombres – un corps de coordonnées – et ses propriétés sont directement liées aux axiomes retenus.
Les géométries mises en évidence par Hilbert
C’est ce qu’a étudié, en détail, David Hilbert dans son célèbre ouvrage «Les fondements de la géométrie». Le principal objectif de cet ouvrage est de construire le plan – et l’espace – euclidien, avec un minimum d’axiomes. Mais la particularité de la démarche de Hilbert est dans son analyse fine de certaines dépendances de propriétés en lien avec ses axiomes, et ainsi, de dégager des géométries bien spécifiques comme les géométries non archimédiennes ou encore, celles qui vont nous intéresser ici, les géométries non arguésiennes.
Par géométrie non archimédienne, on entend une géométrie qui ne vérifie pas l’axiome d’Archimède mais vérifie tous les autres axiomes de Hilbert. Pour montrer que son axiome reliant les congruences des angles et des segments – nous y reviendrons longuement – ne peux pas se déduire des autres axiomes, Hilbert a mis en évidence une géométrie dite «non archimédienne» dans laquelle tous ses axiomes sont vérifiés sauf celui-ci. Cela implique, entre autre, d’avoir dû inventer des «nombres non archimédiens». Cette géométrie a alors des propriétés largement non euclidiennes dont certaines d’ailleurs sont communes avec la géométrie non arguésienne comme l’absence de l’inégalité triangulaire, ou encore l’absence d’équivalence entre côtés égaux et angles à la base égaux dans les triangles dits «isocèles» dans le cas euclidien. Mais les géométries non archimédiennes ne peuvent pas avoir de modèle euclidien, et donc nous ne pourrons l’explorer avec la géométrie dynamique.
Par géométrie non arguésienne, on entend une géométrie qui ne vérifie pas le théorème de Desargues. Hilbert a montré que, pour une géométrie plane, son dernier axiome sur les relations entre les congruences des segments et des angles, est essentiel pour montrer le théorème de Desargues. Et donc une géométrie non arguésienne est une géométrie qui ne vérifie pas cet axiome, mais vérifie les autres, en tout cas pour ce qui est de l’approche de Hilbert.
Cette partie du site se propose d’explorer dynamiquement la géométrie non arguésienne à travers les deux modèles proposés par Hilbert au cours des différentes éditions de ses «Fondements». En effet, il propose un modèle dans la première édition (1899), qui est juste avancé comme une «preuve de concept». Puis, à partir de la 4° édition, il reprend le modèle proposé par Moulton dés 1902 beaucoup plus facile à étudier et à implémenter en géométrie dynamique, mais là, Hilbert l’utilise, encore, juste pour illustrer cette «preuve de concept». On se propose ici d’aller plus loin dans ces deux modèles.
Explorer dynamiquement peut signifier plusieurs choses très différentes.
• Tout d’abord explorer signifie que l’on va expérimenter des configurations sans nécessairement aborder les questions théoriques sous-jacentes, même si, sur des résultats simples, on proposera des démonstrations de ces résultats. En ce sens, ce menu, comme les précédents d’ailleurs, est d’abord une collections de figures dynamiques, manipulables et téléchargeables pour être travaillées hors du site.
• Ensuite dynamiquement signifie, entre autre, que l’on peut se donner différents points de base pour une même figure, ce qui permet d’aborder une configuration sous différentes approches, souvent complémentaires, et parfois, mettre en évidence certaines propriétés géométriques qu’on aurait pu ne pas remarquer sans ces modifications de point de vue.
Présentation de ce menu
La configuration de Desargues
Dans cet item, on commence par une présentation succincte de l’ouvrage de Hilbert «les fondements de la géométrie», dans l’édition critique de Paul Rossier qui fait référence, essentiellement pour situer les problématiques telles que dégagées par Hilbert. On y aborde d’abord les axiomes puis la configuration de Desargues.
Le modèle de Hilbert – Les droites
On présente le modèle de Hilbert (droites, segments, angles) avec des premières illustrations – parallèles, parallélogrammes – médianes d’un triangle. La construction effective de ces droites et des macros associées est proposée dans deux articles assez techniques.
Propriétés des triangles à l’intérieur de l’ellipse
Cette page montre que, pour un triangle intérieur à l’ellipse, la somme des angles d’un triangle est égale à 180°, les hauteurs sont concourantes, si le point de concours est lui aussi intérieur à l’ellipse. De même, les médianes sont aussi concourantes
Modèle de Hilbert – Orthogonalité
Une première approche de l’orthogonalité, où l’on voit rapidement que, pour certaines droites, par certains points, il peut passer trois perpendiculaires hilbertiennes et éventuellement une quatrième perpendiculaire euclidienne. On présente aussi les hauteurs d’un triangle. Certains triangles peuvent avoir jusqu’à 6 hauteurs, et plus rarement 7 (un exemple orthocentrique à 7 hauteurs est proposé) ce qui rend la question des triangles orthocentriques et même bi-orthocentriques … brulante. Autre particularité, certains triangles peuvent avoir deux hauteurs parallèles
Modèle de Hilbert – triangles orthocentriques
Une page est donc consacrée à cette question; Pour le moment on y aborde plusieurs possbilités en particulier pour avoir des solutions de triangles orthocentriques dynamiques. L’étude exhaustive reste encore à faire.
Modèle de Hilbert – triangles bi-orthocentriques
Cette page construit quelques triangles bi-orthocentriques (digures statiques, sans possibilité de manipulation dynamique) et aborde aussi la question de triangles orthocentriques ayant deux perpendiculaires parallèles.
Régionnement du plan vis à vis de l’orthogonalité
Étant donnée une droite qui coupe l’ellipse de Hilbert, quel est le régionnement du plan en fonction du type et du nombre de perpendiculaires. Actuellement deux pages y sont consacrée, une troisième est en préparation. La première page pose les notations et s’intéresse à la partie où il peut y avoir deux perpendiculaires hilbertiennes (partie notée 2H) ou deux hilbertiennes et une euclidienne (notée 2H1E).
La seconde page aborde la construction dynamique de la partie du plan qui correspond à 1H1E. La suite sera présentée dans une dernière page en cours de réalisation.
La critique de Moulton sur le modèle de Hilbert
Cet item traite des angles en un point de l’ellipse. Il comporte trois parties. Tout d’abord on revient en détail sur la définition de Hilbert dans ce cas, avec une construction dynamique. Puis on aborde, là encore avec une figure adaptée, la critique de Moulton qui montre bien que l’égalité des angles \((h, k) = (k, h)\), avec la définition de Hilbert, n’est pas vérifiée en les points de l’ellipse. Dans une dernière partie, on aborde l’utilisation des angles droits en les points de l’ellipse pour construire de nouveaux types de triangles orthocentriques.
Plan de Moulton – Les droites
Avec le plan de Moulton, on revient à une pratique plus géométrique et algébrique de la réalisation des modèles. Ce premier item sur Moulton montre, avec détail, comment réaliser une droite de Moulton générique, qui intègre, là aussi 3 sous cas. Puis on illustre, toujours par des figures dynamiques, les différentes « non propriétés affines » du plan de Moulton, et en particulier que l’on ne peut pas construire un corps de coordonnées.
Moulton – Les angles
Cet item comporte trois parties, tout d’abord, une présentation générale, avec le calcul des valeurs extrémales de la somme des angles d’un triangle. Ensuite, puisque c’était la critique de Moulton sur le modèle de Hilbert, on aborde en détail le cas des angles en un point de l’axe de rupture des droites de Moulton. Et on termine par un exercice de style aussi fun qu’improbable : la construction d’un triangle de Moulton formé de trois points affinement alignés et ont la somme des angles fait 180°.
Moulton – Orthogonalité
L’orthogonalité de ce modèle peut être complètement implémentée de manière dynamique, puisque les zones sans perpendiculaire et à deux perpendiculaires sont immédiatement accessibles par macro-construction. Cela permet des explorations très rapides sur les triangles par exemple qui peuvent avoir de une à cinq hauteurs. On met en évidence une propriété simple pour qu’un triangle de Moulton ait un orthocentre qui sera dit « »géométrique ».
Moulton – Triangles orthocentriques
En dehors du cas « géométrique » de l’item précédent, on explore les six autres cas « algébriques » pour la réalisation de triangles orthocentriques, avec des constructions dynamiques adaptées
Moulton – Triangles bi-orthocentriques
On termine cette exploration par la réalisation de triangles ayant deux orthocentres, un euclidien et un autre « de Moulton », tout d’abord dans un cas particulier, puis dans un cadre plus général. Il semble bien que ce soit les deux seules situations génériques de réaliser des triangles bi-orthocentriques.