Le problème de Kakeya en une image
En 1917, le mathématicien japonais Sōichi Kakeya pose une question simple en apparence :
« Quelle est la figure plane d'aire minimale dans laquelle on peut faire tourner une aiguille (un segment unité) sur 180° en restant toujours à l'intérieur ? »
Réponse intuitive : un disque (aire ). Mais en 1928, Besicovitch a montré qu'on peut faire mieux. Et même arbitrairement petit : il existe des ensembles dans le plan d'aire aussi proche de zéro qu'on veut, dans lesquels on peut faire tourner l'aiguille. Ce résultat contre-intuitif a ouvert un nouveau champ : celui des ensembles de Kakeya.
Le passage à la 3D
En dimension 3, la question devient : un ensemble de Kakeya est un sous-ensemble de qui contient un segment unité dans chaque direction de l'espace. La conjecture de Kakeya en 3D affirme : tout ensemble de Kakeya dans a une dimension de Hausdorff égale à 3 (c'est-à-dire qu'il est « presque » volumineux).
En février 2025, Hong Wang (Courant Institute, NYU) et Joshua Zahl (Université de Colombie-Britannique) ont publié sur arXiv (preprint 2502.17655) la preuve complète de cette conjecture. Le mathématicien Nets Katz (Rice University) a qualifié le résultat de « once-in-a-century » (« une fois par siècle »).
Pourquoi 100 ans pour le démontrer ?
Le problème combine deux difficultés :
- Géométrie combinatoire : compter et arranger des segments dans l'espace.
- Analyse harmonique (étude des fonctions par leurs décompositions en ondes).
La preuve de Wang & Zahl mélange ces deux outils. Elle s'appuie notamment sur l'analyse des « volumes d'intersection » entre familles de tubes infinitésimaux, et utilise des techniques inspirées d'autres résultats récents de l'analyse harmonique (notamment les travaux de Larry Guth et Nets Katz).
Une leçon de méthode
Ce qui est remarquable dans cette démonstration : elle ne « tombe » pas d'un coup de génie isolé. Elle s'appuie sur :
- Plus de 30 ans de travaux antérieurs (Bourgain, Wolff, Katz, Tao, Guth, et bien d'autres).
- Une réduction progressive du problème en sous-cas de plus en plus simples.
- Un usage massif de raisonnement par l'absurde (supposer qu'un ensemble de Kakeya a dimension < 3, et en déduire une contradiction).
Ce dernier point est la même technique qu'au BAC SM : quand l'attaque directe échoue, supposer le contraire et exhiber une absurdité.
Pourquoi c'est important au-delà des maths pures ?
- Imagerie médicale : le tomographe (scanner) reconstruit une image à partir de coupes selon différentes directions — exactement le problème de Kakeya à l'envers.
- Théorie du signal : la conjecture de Kakeya est liée à la transformée de Fourier en dimension supérieure.
- Réseaux sans fil : les algorithmes de localisation par signal utilisent des outils similaires.
Et après ?
La conjecture reste ouverte en dimensions . Wang et Zahl ont posé une pierre angulaire, mais l'édifice complet n'est pas fini. Voilà pourquoi les mathématiques restent un champ vivant : il y aura toujours un nouveau cas à conquérir.
Voir aussi : raisonnement par l'absurde, comment rédiger une démonstration.