Some Remarks on the Circumcenter of Mass
- 279 Downloads
- 1 Citations
Abstract
In this article, we give new proofs for the existence and basic properties of the circumcenter of mass defined by Adler in 1993 and Tabachnikov and Tsukerman in 2013.
Keywords
Computational Mathematic Total Mass High Dimension Negative Sign Simple CalculationWe start with definitions.
Definition 1
The power of a point \(\mathbf {x}\) with respect to a sphere \(\omega (\mathbf {o}, R)\) in \(\mathbb {R}^d\) is defined as \({{\mathrm{Pow}}}(\omega , \mathbf {x})=\Vert \mathbf {ox}\Vert ^2-R^2\). Here \(\mathbf {o}\) is the center and \(R\) is the radius of the sphere \(\omega (\mathbf {o}, R)\).
Definition 2
Remark 1
If the sphere \(\omega \) is a sphere of higher dimension passing through all vertices of \(\omega _\varDelta \), then the power of any point of \(\varDelta \) with respect to \(\omega \) is the same as the power with respect to \(\omega _{\varDelta }\). Therefore, in the definition of \({{\mathrm{Pow}}}(\varDelta )\), the circumscribed sphere could be changed to any sphere passing through the vertices of \(\varDelta \).
Note also that the value of \({{\mathrm{Pow}}}(\varDelta )\) is always negative.
Lemma 1
Proof
Without loss of generality, assume that \(\mathbf {o}_\varDelta \) is the origin.
Corollary 1
For the centroid, one has \(\sum \nolimits _{\varDelta _i\in \mathcal {C}} \varvec{\mathbf {m}_i}{{\mathrm{Vol}}}(\varDelta _i)=\mathbf {0}\), because each point is counted the same number of times with positive and negative sign. So, we obtain the following corollary.
Corollary 2
Following [6], we give the following definition.
Definition 3
Let \(\mathcal {K}\) be a \(d\)-dimensional piece-wise linear simplicial chain. Let \((\mathbf {o}_i, {{\mathrm{Vol}}}(\varDelta _i))\) be the weighted point located at the circumcenter of \(\varDelta _i\in \mathcal {K}\) with the weight \({{\mathrm{Vol}}}(\varDelta _i)\). The center of mass of points \((\mathbf {o}_i, {{\mathrm{Vol}}}(\varDelta _i))\) of all simplices of \(\mathcal {K}\) is called the circumcenter of mass of \(\mathcal {K}\).
Remark 2
We can define the circumcenter of mass of any \((d-1)\)-dimensional piece-wise linear simplicial cycle \(\mathcal {C}\) in \(\mathbb {R}^d\) as the circumcenter of mass of any its filling, that is \(\mathcal {K}\), such that \(\partial \mathcal {K}= \mathcal {C}\). Due to Corollary 2, the choice of filling for \(\mathcal {C}\) does not matter.
It seems that Giusto Bellavitis was the first who noted the existence of the circumcenter of mass of a planar polygon in 1834 (see the book [3], pages 150–151).
In 1993, it was independently noticed by Adler in [1] for the case of triangulation of planar polygon by diagonals and in the private correspondence of G.C. Shephard and B. Grünbaum. They also noted that the circumcenter could be replaced by any point on the Euler line, that is, by a fixed affine combination of the centroid and the circumcenter (for example, the orthocenter or the center of the Euler circle).
Myakishev in [4] proved the existence of Euler (and also Nagel) line for a quadrilateral.
Tabachnikov and Tsukerman in [6] proved the correctness of definition of circumcenter of mass for any simplicial polytope and the existence of the Euler line in a high-dimensional polytope.
The case of central triangulation of a tetrahedron was posed on the student contest IMC 2009 (Problem 5).
In the planar case, we can take a polygon as a cycle. Using Lemma 1, we can give a short proof of the following theorem proved by S. Tabachnikov and E. Tsukerman.
Theorem 1
([6]) Let \(P=\mathbf {a}_1\mathbf {a}_2\cdots \mathbf {a}_n\) be an equilateral polygon. Then its circumcenter of mass coincides with centroid of the polygonal lamina.
Proof
Denote by \(\mathbf {o}\) and \(\mathbf {m}\) the circumcenter of mass and the centroid, respectively. Note that, for all \(i\), the values \({{\mathrm{Pow}}}(\mathbf {a}_i\mathbf {a}_{i+1})\) are equal to each other. Denote this quantity by \(p\), and let \(l\) be the length of the sides. We have \({{\mathrm{Vol}}}(P)\overrightarrow{\mathbf {m} \mathbf {o}}=\frac{1}{2}\sum \nolimits _{i=1}^n p\varvec{\mathbf {n}}_i\). Note that this sum is equal to zero because each vector \(\varvec{\mathbf {n}}_i\) is the vector \(\frac{1}{l}\overrightarrow{a_ia_{i+1}}\) rotated by \(90^\circ \), but \(\sum \nolimits _{i=1}^n{a_ia_{i+1}}=0\). \(\square \)
Note that using the equation on \({{\mathrm{Pow}}}(\varDelta )\), we can generalize this theorem to a higher dimension.
Theorem 2
Let \(P\) be a simplicial polytope in \(\mathbb {R}^d\) such that for each face of \(P\) the sum of squares of its edges is a constant. Then the circumcenter of mass and centroid of solid polytope \(P\) coincide.
Proof
Remark 3
Using another formula for \({{\mathrm{Pow}}}(\varDelta _i)\), we can reformulate the requirements on the facets of the polytope \(P\) in the following way: for each facet \(\varDelta _i\) the value \(R_{\varDelta _i}^2-\Vert \mathbf {o}_{\varDelta _i} \mathbf {m}_{\varDelta _i}\Vert ^2\) is a constant.
As the authors have mentioned in [6], if the vertices of \(\mathcal {C}\) lie on a sphere \(\omega \), then the circumcenter of mass coincides with center of the sphere. Indeed, there is a filling of \(\mathcal {C}\) with the same set of vertices as \(\mathcal {C}\). The circumcenters of the simplices of this filling coincide with the center of the sphere \(\omega \).
In the same article, Tabachnikov and Tsukerman have given a definition of circumcenter of mass in the spherical geometry. Using the previous observation, we can give another explanation of the existence of this point.
Consider the unit sphere \(\mathcal {S}^d\) with the center at the origin \(\mathbf {o}\) of \(\mathbb {R}^{d+1}\). By a weighted point \((\mathbf {x}, m)\) we mean a pair consisting of a point \(\mathbf {x}\) and a number \(m\), which is natural to interpret as vector \(m\varvec{\mathbf {x}}\) in \(\mathbb {R}^{d+1}\). A set of weighted points \((\mathbf {x}_i, m_i)\) has the centroid at point \(\frac{\sum {m_i\varvec{\mathbf {x}}_i}}{\Vert \sum {m_i\varvec{\mathbf {\mathbf {x}}}_i}\Vert }\) and the total mass \(\Vert \sum {m_i\varvec{\mathbf {x}}_i}\Vert \) (See [2]).
For each spherical \(d\)-simplex \(\varDelta _i=\mathbf {v}_0\mathbf {v}_1\dots \mathbf {v}_d\) of a spherical simplicial chain \(\mathcal {C}\), consider a point \(\mathbf {o}'_i\) which is the circumcenter of the simplex \(\varDelta '_i=\mathbf {o}\mathbf {v}_0\mathbf {v}_1\dots \mathbf {v}_d\) in \(\mathbb {R}^{d+1}\). Now we can define the weighted circumcenter as the point \(\mathbf {o}_i=\big (\displaystyle \frac{\mathbf {o}'_i}{\Vert \mathbf {o}'_i\Vert }, {{\mathrm{Vol}}}(\varDelta '_i)\Vert \mathbf {o}'_i\Vert \big )\) 1. The \((d+1)\)-dimensional complex in \(\mathbb {R}^{d+1}\) formed by the simplices \(\varDelta '_i\) is denoted by \(\mathcal {C}'\).
Corollary 3
Suppose \(\mathcal {C}\) is a \(d\)-dimensional simplicial cycle \(\mathcal {C}\) in \(\mathcal {S}^d\subset \mathbb {R}^{d+1}\). Then its spherical circumcenter of mass coincides with \(\mathbf {o}\) (has zero weight).
Proof
By definition, the spherical circumcenter of mass \(\mathcal {C}\) coincides with the Euclidean circumcenter of mass of \(\mathcal {C}'\). But its circumcenter of mass coincides with the circumcenter of mass of \(\partial \mathcal {C}'\) which is the origin, because \(\partial \mathcal {C}'\) is inscribed in \(\mathcal {S}^d\).
As in Remark 2, we can define the circumcenter of mass of a \((d-1)\)-dimensional spherical simplicial cycle in \(\mathcal {S}^d\) as the circumcenter of mass of its filling.
The author thanks Sergei Tabachnikov for useful discussions and valuable advice.
Footnotes
References
- 1.Adler, V.E.: Recuttings of polygons. Funct. Anal. Appl. 27(2), 141–143 (1993)CrossRefzbMATHMathSciNetGoogle Scholar
- 2.Galperin, G.A.: A concept of the mass center of a system of material points in the constant curvature spaces. Commun. Math. Phys. 154(1), 63–84 (1993)CrossRefzbMATHMathSciNetGoogle Scholar
- 3.Laisant, C.A.: Théorie et Applications des Équipollences. Gauthier-Villars, Paris (1887)zbMATHGoogle Scholar
- 4.Myakishev, A.: On two remarkable lines related to a quadrilateral. Forum Geom. 6, 289–295 (2006)zbMATHMathSciNetGoogle Scholar
- 5.Rajan, V.T.: Optimality of the Delaunay triangulation in \({ {R}^d}\). Discrete Comput. Geom. 12(2), 189–202 (1994)CrossRefzbMATHMathSciNetGoogle Scholar
- 6.Tabachnikov, S., Tsukerman, E.: Circumcenter of mass and generalized Euler line. Discrete Comput. Geom. (2014). doi: 10.1007/s00454-014-9597-2