ABSTRACT. Using equivariant topology, we prove that it is always possible to find n points in the d -dimensional faces of a n d -dimensional convex polytope P so that their center of mass is a target point in P. Equivalently, the n -fold Minkowski sum of a n d -polytope's d -skeleton is that polytope scaled by n . This verifies a conjecture by Takeshi Tokuyama.The goal of this article is to prove the following theorem, recently conjectured by Takeshi Tokuyama for the 1-skeleton (see Acknowledgments), which to the author's knowledge, was the first time the question had been considered. The conjecture was originally motivated by the engineering problem of determining how counterweights can be attached to some 3-dimensional object to adjust its center of mass to reduce vibrations when the object movesTheorem 1. For any n d -polytope P and for any point p ∈ P, there are pointsTheorem 1 is loosely related to several results in topology and combinatorial geometry. One version of the Borsuk-Ulam Theorem states that any continuous map ψ from the sphere d to d attains the same value at an antipodal pair ∃x . ψ(−x ) = ψ(x ). This has numerous applications, a collection of which is presented in [7]. The barycenter of antipodal points is the origin, so Theorem 1 for n = 2, d = 1 is just the Borsuk-Ulam Theorem for d = 1 where ψ is the radial distance of a convex polygon in polar coordinates. Gromov's Waist Theorem may be viewed as a further refinement of the Borsuk-Ulam Theorem that says a continuous map from a sphere to a Euclidean space of lower dimension is constant on a large subset of correspondingly higher dimension distributed widely around the sphere [6]. Intuitively, we may view Theorem 1 for n = 2 as saying such a subset for the radial distance of a polytope includes an antipodal pair of a correspondingly lower dimensional subspace, the d -skeleton. Munkholm gave a generalization of the Borsuk-Ulam Theorem to cyclic actions of prime order on the sphere that says an equivariant map must be constant on a large subspace of orbits in the quotient space [8]. We may view Theorem 1 for n prime as being related in an analogous way. After seeing the proof, we will make this connection more explicit.In another sense, Theorem 1 is analogous to Carathéodory's Theorem. Carathéodory's Theorem states that the convex hull of a set X ⊂ d is the union of convex hulls of all subsets of d + 1 points in X . Letting X be the 0-skeleton (vertices) of a polytope, this means any point in a d -polytope is a weighted barycenter of d + 1 vertices. Bárány and Karasev recently gave conditions on a set for its convex hull to be the union of convex hulls of a smaller number of points [2]. Here, we similarly reduce the number of points, but we further require any point in P to be the exact barycenter and we only consider P as the convex hull of a skeleton. Theorem 1 also 2010 Mathematics Subject Classification. 51M04, 51M20, 52B11, 55N91.