Théorème de Blaschke-Lebesgue

Le triangle de Reuleaux, courbe de largeur constante dont l'aire est minimale parmi tous les convexes de même largeur

En géométrie euclidienne, le théorème de Blaschke-Lebesgue ou inégalité de Blaschke-Lebesgue stipule que le triangle de Reuleaux a la plus petite aire parmi toutes les courbes de largeur constante donnée . Il porte le nom de Wilhelm Blaschke et Henri Lebesgue, qui l'ont publié indépendamment au début du XX^e siècle.

Énoncé

La largeur dans une direction donnée d'un convexe $K$ du plan euclidien est définie comme la distance minimale entre deux droites parallèles dans cette direction qui l'englobent. Ces deux droites sont toutes deux nécessairement des tangentes à $K$. Une courbe de largeur constante est la frontière d'un convexe pour lequel la distance définie précédemment ne dépend pas de la direction choisie. Ces courbes comprennent à la fois le cercle et le triangle de Reuleaux, un triangle incurvé formé de trois arcs de cercle de même rayon centrés à un point d'intersection des deux autres cercles. L'aire englobée par un triangle de Reuleaux de largeur $l$ est égale à

${\frac {1}{2}}(\pi -{\sqrt {3}})l^{2}\approx 0,70477.l^{2}$ , voir la suite A060708 de l'OEIS.

Le théorème de Blaschke – Lebesgue stipule que tout convexe de largeur constante $l$ a une aire supérieure ou égale à cette valeur, avec égalité si et seulement si le convexe est délimité par un triangle de Reuleaux.

Parmi tous les convexes du plan de plus petite largeur $l$, c'est le triangle équilatéral de hauteur $l$ (qui est aussi sa plus petite largeur) qui a la plus petite aire : ${\frac {\sqrt {3}}{3}}l^{2}\approx 0,58.l^{2}$, mais ce n’est pas un convexe de largeur constante.

Historique

Le théorème de Blaschke-Lebesgue a été publié indépendamment en 1914 par Henri Lebesgue et en 1915 par Wilhelm Blaschke. Depuis leurs travaux, plusieurs autres preuves ont été publiées.

Généralisations

Le théorème est également valable dans le plan hyperbolique.

Pour toute distance définie dans le plan à partir d'une norme, un théorème analogue est vérifié, en définissant les cercles du triangle de Reuleaux à partir de cette distance.

Application

Le théorème de Blaschke-Lebesgue a été utilisé pour fournir une stratégie efficace pour une généralisation du jeu de Bataille navale, dans laquelle un joueur a un navire convexe et l'autre joueur, après avoir trouvé un point de ce navire, cherche à déterminer sa position en minimisant le nombre de tirs ratés. Pour un navire avec $n$ points de la grille, il est possible de borner le nombre de coups ratés par $O(\log \log n)$ .

Problèmes connexes

Par l'inégalité isopérimétrique, les courbes de largeur constante donnée dans le plan euclidien de plus grande aire sont les cercles. Le périmètre d'une courbe de largeur constante $l$ est $\pi l$, quelle que soit sa forme ; c'est le théorème de Barbier.

On ne connaît pas les surfaces de largeur constante de l'espace tridimensionnel ayant le volume minimal. Bonnesen et Fenchel ont conjecturé en 1934 que ces surfaces sont les deux corps de Meissner obtenus en arrondissant certaines des arêtes d'un tétraèdre de Reuleaux, mais cela reste à prouver.

Autre théorème de Blaschke concernant l'aire des convexes

Tout convexe de plus petite largeur $l$ contient un disque de largeur $2l/3$. On ne peut améliorer la valeur 2/3 car le disque inscrit dans un triangle équilatéral de hauteur $l$ (qui est aussi sa plus petite largeur) est de rayon $2l/3$.

Notes et références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Blaschke–Lebesgue theorem » (voir la liste des auteurs).