Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 112 / 1 / ii / Solution

First take nonempty bounded open sets $A,B\subset {\mathbb{R}}^n$. Their Minkowski sum is open and hence a Lebesgue measurable set. Apply the Prékopa–Leindler inequality to their indicator functions and the indicator function of $(1-\theta )A+\theta B$. This gives the multiplicative formTo obtain the usual additive Brunn–Minkowski inequality, put $a={\lambda }_n(A{)}^{1/n}$, $b={\lambda }_n(B{)}^{1/n}$, $A_0=A/a$ and $B_0=B/b$. Both normalized open sets have Lebesgue measure one. For $\theta =b/(a+b)$,The multiplicative bound and the scaling rule for Lebesgue measure implyReplacing $A,B$ by $A\cap B(0,R),B\cap B(0,R)$ and using continuity from below extends this form of the Brunn–Minkowski inequality to all nonempty open sets, including those of infinite Lebesgue measure. This open-set form is sufficient here and avoids any measurability qualification for sums of arbitrary measurable sets.