Dowieść, że suma odległości dowolnego punktu leżącego wewnątrz czworościanu foremnego o krawędzi
od jego wierzchołków jest nie większa niż
.
Niech
będzie danym czworościanem, a
dowolnym punktem w jego wnętrzu. Załóżmy, że prosta
przecina przeciwległą ścianę czworościanu
w punkcie
. Niech
będzie czworościanem, którego jedną ścianą jest ta ściana czworościanu
, która zawiera punkt
, zaś przeciwległym wierzchołkiem punkt
. Wtedy
![]() |
(
oznacza objętość czworościanu
.) Z nierówności
oraz z powyższej zależności wynika teza.