$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Théorème du sandwich au jambon

Le théorème du sandwich au jambon exprime qu'il est possible, avec un seul coup de couteau, de couper le jambon et les deux tranches de pain d'un sandwich au jambon en quantités de même volume. De façon plus formelle, le théorème du sandwich au jambon est l'énoncé suivant.

Théorème : Étant donnés trois solides de l'espace, il existe un plan qui coupe chacun des solides en deux volumes égaux.

Ce théorème se généralise en dimension plus grande et porte alors le nom de théorème de Stone-Tukey.

Théorème : Étant donnés $n$ parties Lebesgue-mesurables et de mesure finie de $\mathbb R^n,$ il existe un hyperplan affine divisant chaque partie en deux sous-ensembles de même mesure.

Remarquons que dans l'énoncé précédent, on ne suppose pas que les parties sont connexes. La démonstration la plus classique du résultat, initiée par Banach, utilise le théorème de Borsuk-Ulam.

Recherche alphabétique
Recherche thématique