Convex combination

A convex combination of points $x_1,\dots ,x_n$ is a sum

If a convex subset of ${\mathbb{R}}^n$ is invariant under cyclic coordinate permutation, averaging the $n$ cyclic images of $x$ shows thatalso belongs to the set.