Configuration de Möbius
# Configuration de Möbius

En géométrie, une configuration de Möbius (ou parfois un couple de tétraèdres de Möbius) est une configuration de l'espace euclidien ou de l'espace projectif, formée de deux tétraèdres mutuellement inscrits, c'est-à-dire que chaque sommet de l'un appartient à l'une des faces de l'autre. Autrement dit, il s'agit d'un système de huit points et huit plans, chaque point appartenant à quatre plans et chaque plan contenant quatre points.

## Théorème de Möbius

Ces configurations sont nommées d'après August Ferdinand Möbius, qui a démontré en 1828 que si deux tétraèdres ont sept de leurs sommets dans les plans correspondants des faces de l'autre tétraèdre, il en est de même du huitième sommet. Ce résultat est vrai plus généralement dans tout espace projectif (de dimension 3) si et seulement si le théorème de Pappus y est vrai, et est vrai dans un espace construit sur un corps si et seulement si ce corps est commutatif. Par dualité projective, le théorème équivaut à ce que si sept des huit faces de deux tétraèdres contiennent le sommet correspondant de l'autre tétraèdre, il en est de même de la huitième face.

## Construction

Coxeter a décrit une construction simple d'une configuration de Möbius : partant d'un point p arbitraire de l'espace, soit A, B, C et D quatre plans passant par p (trois quelconques d'entre eux n'ayant pas de droite en commun) ; on place six points q, r, s, t, u et v sur les six droites d'intersection de ces plans deux à deux, de telle sorte que quatre d'entre eux ne sont jamais coplanaires. Pour chacun des plans A, B, C et D, quatre des sept points p, q, r, s, t, u et v sont dans ce plan ; on note A’, B’, C’ et D’ les plans passant par les trois points restant. Par dualité du théorème, ces quatre nouveaux plans ont en commun le point w ; les huit points p, q, r, s, t, u, v et w et les huit plans A, B, C, D, A’, B’, C’ et D’ forment une configuration de Möbius.

## Constructions analogues

Des constructions de configurations combinatoires analogues ont été obtenues à la fin du 19e siècle par divers $auteurs^,^,,$ arrivant à cinq configurations non dégénérées réalisables dans l'espace euclidien.

Le graphe de Levi de la configuration de Möbius a 16 sommets (correspondant aux huit points et aux huit plans), avec une arête pour chaque relation d'incidence. Il est isomorphe au graphe de l'hypercube $Q_4.$ Une configuration proche, la configuration de Möbius-Kantor (en), formée de deux quadrilatères du plan projectif complexe mutuellement inscrits, a pour graphe de Levi le graphe de Möbius–Kantor, qui est un sous-graphe de $Q_4.$

