= Equality in the three-dimensional Loomis--Whitney inequality
{c}
Equality in the three-dimensional <Loomis--Whitney inequality> forces a measurable body to agree up to a null set with a Cartesian product $E_1\times E_2\times E_3$. This follows from the equality conditions in the two <Cauchy-Schwarz inequalities> used in its proof. If the body is connected and is a finite union of positive-volume <axis-parallel boxes>, each $E_i$ is an interval and equality up to a null set upgrades to exact equality with one box.
Back to article page