let a convex polytope $\mathcal{P}$ in $E^n$ be defined as in the tag-description with the additional requirement that their volume be strictly positive.


let further the Voronoi Cells $VC(f)$ of $\mathcal{P}$ be defined as the set of points of $\mathcal{P}$ that attain one of their minimal distances to the boundary of $\mathcal{P}$ in facet $f$.



> 
> **Question:**
> 
> 
> is it true that the Voronoi cells $VC(f)$ are in turn convex polytopes with strictly positive volume, resp. what are counter examples?
> 
> 
> 



Convexity of the Voronoi cells of higher-dimensional polyhedra
Yes. Denote $H\_1,\ldots,H\_m$ hyperplanes of facets $f\_1,\ldots,f\_m$ of $\mathcal{P}$, denote by $\partial \mathcal{P}$ the union of $f\_1,\ldots,f\_m$ (the boundary of $\mathcal{P}$). Let $d(x,A)$ denote the distance from point $x$ to set $A$.


**Proposition**. For $x\in \mathcal{P}$ we have $x\in VC(f\_j)$ if and only if $d(x,H\_j)\leqslant d(x,H\_i)$ for all $i=1,\ldots,m$.


**Proof.** Denote $r=d(x,\partial \mathcal{P})$. Consider the ball centered in $x$ with radius $r$. It contains a point from $f\_j$ if and only if it touches $H\_j$, otherwise $H\_j$ does not intersect this ball. Therefore $d(x,H\_i)\geqslant r$ for all $i$, with equality if and only if $x\in VC(f\_i)$.


Therefore $VC(f\_j)$ is an intersection of finitely many half-spaces (bounded by $H\_i$'s and the bisector planes between $H\_j$ and $H\_i$). So it is a convex polytope. It has positive volume, since for fixed interior point $p$ of $f\_j$ all points of $\mathcal{P}$ sufficiently close to $p$ belong to $VC(f\_j)$.


