In mathematics, Minkowski's first inequality for convex bodies is a geometrical result due to the German mathematician Hermann Minkowski. The inequality is closely related to the BrunnâÂÂMinkowski inequality and the isoperimetric inequality.
Let K and L be two n-dimensional convex bodies in n-dimensional Euclidean space R<sup>n</sup>. Define a quantity V<sub>1</sub>(K, L) by
where V denotes the n-dimensional Lebesgue measure and + denotes the Minkowski sum. Then
with equality if and only if K and L are homothetic, i.e. are equal up to translation and dilation.
One can show that the BrunnâÂÂMinkowski inequality for convex bodies in R<sup>n</sup> implies Minkowski's first inequality for convex bodies in R<sup>n</sup>, and that equality in the BrunnâÂÂMinkowski inequality implies equality in Minkowski's first inequality.
By taking L = B, the n-dimensional unit ball, in Minkowski's first inequality for convex bodies, one obtains the isoperimetric inequality for convex bodies in R<sup>n</sup>: if K is a convex body in R<sup>n</sup>, then
with equality if and only if K is a ball of some radius.