Brunn–Minkowski theorem
In mathematics, the Brunn–Minkowski theorem (or Brunn–Minkowski inequality) is an inequality relating the volumes (or more generally Lebesgue measures) of compact subsets of Euclidean space. The original version of the Brunn–Minkowski theorem (Hermann Brunn 1887; Hermann Minkowski 1896) applied to convex sets; the generalization to compact nonconvex sets stated here is due to L. A. Lyusternik (1935).
Let n ≥ 1 and let μ denote the Lebesgue measure on Rn. Let A and B be two nonempty compact subsets of Rn. Then the following inequality holds:
where A + B denotes the Minkowski sum:
The proof of the Brunn–Minkowski theorem establishes that the function
is concave in the sense that, for every pair of nonempty compact subsets A and B of Rn and every 0 ≤ t ≤ 1,
For convex sets A and B, the inequality in the theorem is strict for 0 < t < 1 unless A and B are homothetic, i.e. are equal up to translation and dilation.
...
Wikipedia