Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Axiomes de Hilbert
Résumé
thumb|right|David Hilbert
Dans un mémoire paru en 1899, Les fondements de la géométrie (Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne. Ce sont ces axiomes, qui ont été révisés au cours des éditions successives par Hilbert lui-même, ou des axiomes directement inspirés de sa présentation que l'on appelle axiomes de Hilbert.
Hilbert se situe dans la lignée d'Euclide et de ses Éléments, qui du point de vue de la rigueur ne satisfont plus les géomètres du , car pour démontrer rigoureusement les théorèmes associés à cette géométrie, il est nécessaire d'admettre comme vraies des hypothèses supplémentaires laissées implicites par Euclide.
Hilbert établit un système d'axiomes simples, qu'il répartit en plusieurs groupes, dont il analyse la portée, les théorèmes qu'ils permettent de démontrer, et ceux qui ne peuvent être obtenus sans ce groupe d'axiomes. Son objet est, ainsi qu'il le présente dans son introduction, « l'analyse de notre intuition de l'espace ».
Les axiomes de Hilbert apparaissent souvent comme la version axiomatique moderne qui permet une fondation rigoureuse de la géométrie d'Euclide. Il existe cependant d'autres axiomatisations de la géométrie élémentaire (dont les objectifs sont en partie différents) comme celle de Tarski ou .
Euclide définit dans sa géométrie les notions de longueur et d'angle. Il est intéressant de voir ce qu'Euclide présuppose implicitement lorsqu'il les utilise.
Les définitions d'angle, d'angle droit, d'angle obtus, d'angle aigu, apparaissent dès les premières définitions du Livre I des Éléments.
Un angle plan est l'inclinaison mutuelle de deux lignes qui se touchent dans un plan, et qui ne sont point placées dans la même direction.
Lorsque les lignes, qui comprennent ledit angle, sont des droites, l'angle se nomme rectiligne.
Lorsqu'une droite tombant sur une droite fait deux angles de suite égaux entre eux, chacun des angles égaux est droit.
L'angle obtus est celui qui est plus grand qu'un droit.
L'angle aigu est celui qui est plus petit qu'un droit.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.