on sait que le nombre d'or
D'où ma réflexion un peu brouillonne suivante : il est donc possible de "caractériser" le nombre d'or par une propriété affine (qui ne fait appel qu'à la structure d'espace vectoriel ou affine réel, colinéarité, parallélisme, Thalès essentiellement) mais qui n'utilise aucun outil euclidien (Pythagore, produit scalaire, angles, orthogonalité, normes, cercles, comparaison de longueurs non parallèles, etc...) : c'est le rapport de colinéarité qui apparaît dans une figure de cinq points
Si l'on regarde tous les rapports qui sont "affinement caractérisables" (et si pour commencer on définit convenablement ce que cela veut dire), on se convainc facilement que cela forme un corps compris entre Q et R qui n'a pas forcément de lien avec les corps des nombres constructibles à la règle et au compas (outil euclidien) : par exemple, les rapports de l'heptagone régulier sont aussi caractérisables affinement, mais pour racine de 2 ça me semble plus difficile. D'ailleurs une propriété qui caractérise un rapport x ne permet pas forcément de le constuire (i.e. construire un vecteur xu à partir d'un vecteur u donné), c'est plus un test "a posteriori".
Est-ce que ce genre de notion existe déjà, avec des définitions précises ? est-ce qu'on peut non seulement caractériser mais aussi construire des nombres irrationnels avec des procédés purement affines (les nombres rationnels étant tous constructibles par des parallélogrammes et Thalès) ? Est-ce que la dimension (au moins 2 requise) a une influence éventuellement ?
Merci pour vos suggestions
