Kegel/Über kompakter Basis/Maßformel/Fakt/Beweis

Beweis

Der Durchschnitt von  ${}K=K_{B}$  mit der durch  ${}x_{n+1}=u$,  ${}u$ zwischen ${}0$ und ${}h$, gegebenen Hyperebene ist

${}K(u)={\left\{(x_{1},\ldots ,x_{n},u)\mid (x_{1},\ldots ,x_{n},u)\in K_{B}\right\}}={\left\{P+{\frac {(h-u)}{h}}(Q-P)\mid Q\in B\right\}}\,.$

Wegen der Translationsinvarianz und Fakt ist dessen Volumen gleich ${}\vert {\frac {h-u}{h}}\vert ^{n}\lambda ^{n}(B)$. Nach dem Cavalieri-Prinzip ist also (mit ${}s=h-u$)

${}{\begin{aligned}\lambda ^{n+1}(K_{B})&=\int _{0}^{\vert {h}\vert }\lambda ^{n}(K(s))\,ds\\&=\int _{0}^{\vert {h}\vert }\lambda ^{n}(B)\cdot {\left({\frac {s}{\vert {h}\vert }}\right)}^{n}\,ds\\&=\lambda ^{n}(B)\cdot {\frac {1}{\vert {h}\vert ^{n}}}\cdot \int _{0}^{\vert {h}\vert }s^{n}\,ds\\&=\lambda ^{n}(B)\cdot {\frac {1}{\vert {h}\vert ^{n}}}\cdot {\frac {1}{n+1}}\vert {h}\vert ^{n+1}\\&=\lambda ^{n}(B)\cdot {\frac {1}{n+1}}\cdot \vert {h}\vert .\end{aligned}}$

Zur bewiesenen Aussage