We leave (i) as an exercise for the reader. To prove (ii) we use induction on
setting aside the cases
for the reader to investigate. Denoting by
the barycenter of
, the reader may check that
diam
for any point
of
.
Let
be one of the simplicies appearing in the chain
. Then the diameter of
equals
where
and
are two vertices of
. If one of these is
then the result follows from the assertion in the previous sentence. If neither
nor
is
then they are both vertices of a face
of
lying on a face
of
. But
is then a constituent
simplex of
and by induction hypothesis, the result follows (how?).
nisha
2012-03-20