Kakeya Sôichi

Imaginez une aiguille droite de longueur 1 posée sur une feuille. Elle doit pouvoir passer de la position horizontale à la position opposée, après une rotation de 180°, en restant toujours dans une même région et en glissant. La question de Kakeya demande quelle peut être la plus petite aire de cette région.

Un triangle équilatéral de hauteur 1 semble d'abord être une bonne réponse : l'aiguille peut y être retournée en utilisant ses côtés. Pourtant, des régions beaucoup plus découpées permettent de réaliser le même mouvement avec une aire aussi petite que l'on veut. Le paradoxe vient du fait qu'une région peut contenir un segment dans toutes les directions tout en occupant très peu de surface.

Le problème de l'aiguille de Kakeya cherche l'infimum des aires des régions planes dans lesquelles un segment de longueur 1 peut effectuer un retournement par une rotation de 180° par glissement. Un infimum est une borne inférieure : les aires peuvent s'en approcher sans qu'une région de cette aire minimale existe nécessairement.

La conjecture initiale de Kakeya proposait, dans la classe des régions convexes, le triangle équilatéral de hauteur 1 comme minimum. Besicovitch a montré en 1928 que, sans cette restriction de convexité, l'infimum vaut 0 : pour toute aire positive ε, il existe une région permettant le retournement et dont l'aire est inférieure à ε. Cette conclusion ne signifie pas qu'une région non vide a une aire exactement nulle dans la construction élémentaire ; elle signifie que l'on peut réduire l'aire sans limite positive imposée.

La formulation moderne considère un ensemble de Kakeya dans Rⁿ, c'est-à-dire un sous-ensemble de l'espace à n dimensions qui contient un segment de longueur 1 dans chaque direction. Cette généralisation relie le problème à la mesure, à la dimension et à l'analyse harmonique.

Prenons comme région de départ un triangle équilatéral de hauteur 1. Dans un triangle équilatéral, la longueur d'un côté vaut 2h/√3 lorsque la hauteur vaut h ; ici, chaque côté mesure donc 2/√3, soit environ 1,155. La région est assez grande pour accueillir un segment de longueur 1 dans des positions qui permettent son retournement.

Pour ce triangle, l'aire se calcule avec la formule base × hauteur ÷ 2. En remplaçant la base par 2/√3 et la hauteur par 1, on obtient une aire égale à 1/√3, soit environ 0,577 unité d'aire.

Ce calcul décrit la proposition de Kakeya, mais ne prouve pas qu'elle est minimale. Le résultat de Besicovitch change le verdict : il existe d'autres régions autorisant le même retournement et ayant une aire inférieure à 0,577, puis inférieure à toute valeur positive fixée à l'avance.

Pour reconnaître le problème, il faut vérifier trois éléments : un segment de longueur 1, une région plane fixe et un retournement complet obtenu par glissement. La région ne doit pas seulement contenir une aiguille dans une position ; elle doit permettre toute la trajectoire du mouvement.

Le triangle équilatéral de hauteur 1 fournit un modèle simple pour calculer une aire et visualiser le mouvement. Les constructions de Besicovitch montrent ensuite pourquoi ce modèle n'est pas optimal : des triangles très fins, assemblés avec soin, peuvent conserver les directions nécessaires tout en réduisant fortement l'aire totale.

Le problème de l'aiguille de Kakeya n'est pas la même question que celle des ensembles de Kakeya. Le premier porte sur le retournement continu d'un segment dans le plan. Le second demande seulement qu'un ensemble contienne un segment dans chaque direction, en dimension n. Le retournement n'est pas une condition supplémentaire de cette définition moderne.

Il ne faut pas non plus confondre aire nulle et absence de points. Un ensemble peut contenir une infinité de segments et avoir une mesure, c'est-à-dire une notion généralisée de volume, nulle. Enfin, l'infimum nul des aires ne veut pas dire que le triangle équilatéral de hauteur 1 a une aire nulle : son aire vaut 1/√3.

Le mot « minimale » demande une précaution. Le résultat de Besicovitch affirme que les aires admissibles ont un infimum égal à 0 ; il ne fournit pas une région plane ordinaire, de mesure nulle, dans laquelle le segment effectuerait ce mouvement avec toutes les propriétés de la construction classique. La différence entre atteindre une valeur et s'en approcher est ici essentielle.

Dans les ensembles de Kakeya en dimension supérieure, la petitesse de la mesure ne résout pas toute la question. Les conjectures associées portent notamment sur la dimension de ces ensembles, et la version générale reste partiellement ouverte en dimension supérieure à 2. Une intuition obtenue dans le plan ne suffit donc pas à conclure dans Rⁿ.

Une figure composée de quelques triangles fins peut illustrer le mécanisme, mais elle ne constitue pas à elle seule la construction complète. Les limites quantitatives dépendent de la manière dont les pièces sont choisies et assemblées ; elles ne se déduisent pas du seul calcul de l'aire du triangle équilatéral.

La formulation en dimension n remplace la simple aire plane par la mesure et introduit la question de la dimension géométrique réellement portée par un ensemble de Kakeya. Cette perspective explique pourquoi un objet peut être très petit au sens du volume tout en présentant des directions extrêmement riches.

Le lien avec l'analyse harmonique vient de l'étude des fonctions et des oscillations selon les directions. Les ensembles de Kakeya servent ainsi de modèle à des problèmes où l'on cherche à contrôler simultanément beaucoup de directions. La combinatoire géométrique intervient pour organiser les segments et mesurer les recouvrements entre les régions fines.

Pour prolonger la lecture, les notions de problème de l'aiguille de Kakeya, de conjecture de Kakeya, de Besicovitch et d'analyse harmonique donnent quatre points d'entrée complémentaires : l'énoncé historique, la formulation moderne, le résultat qui a réfuté la conjecture initiale et les outils contemporains.