1. Quand la formule de la distance entre deux points dans un repère orthonormé a-t-elle été formulée dans un contexte mathématique officiel ?
Au XIXe siècle, lors de la formalisation de la géométrie analytique moderne
Explication
La formule de la distance dans un repère orthonormé a été formalisée dans le cadre de la géométrie analytique, qui a été développée et systématisée au XIXe siècle, notamment par des mathématiciens comme Gauss et others, avec la formalisation de la géométrie analytique moderne.