A note on consequences of Mahler's inequalities
We derive Makai's inequality $\vol_n(K)\vol_n((K-K)^\circ)\ge(n+1)/n!$ in every dimension from the symmetric Mahler theorem in one higher dimension, with equality precisely for simplices. The proof uses a classical two-layer construction, an identity for its polar volume, and a Rogers--Shephard volume estimate. We then...