Advertisement

Discrete & Computational Geometry

, Volume 51, Issue 4, pp 837–841 | Cite as

Some Remarks on the Circumcenter of Mass

  • Arseniy V. AkopyanEmail author
Article
First Online:

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 Calculation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

We 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

Given a simplex \(\varDelta \) in \(\mathbb {R}^d\), define
$$\begin{aligned} {{\mathrm{Pow}}}(\varDelta )=\int \limits _\varDelta {{\mathrm{Pow}}}(\omega _\varDelta , \mathbf {x})\hbox {d}\mathbf {x}, \end{aligned}$$
where \(\omega _\varDelta \) is the circumsphere of \(\varDelta \).

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.

Denote the vertices of \(\varDelta \) by \(\mathbf {v}_0, \mathbf {v}_1, \dots , \mathbf {v}_d\); let \(\mathbf {o}_\varDelta \) and \(R_\varDelta \) be the center and the radius of the circumsphere, respectively; and let \(\mathbf {m}_\varDelta \) be the centroid of \(\varDelta \). Then one has the following formulas for \({{\mathrm{Pow}}}(\varDelta )\) (see. [5]):
$$\begin{aligned} -{{\mathrm{Pow}}}(\varDelta )&= \frac{{{\mathrm{Vol}}}(\varDelta )}{(d+1)(d+2)} \bigg (\sum _{i=0}^{d} \sum _{j=0}^{i-1} \Vert \mathbf {v}_i\mathbf {v}_j\Vert ^2 \bigg )\\&= \frac{d+1}{d+2}{{\mathrm{Vol}}}(\varDelta )\big (R_\varDelta ^2-\Vert \mathbf {o}_\varDelta \mathbf {m}_\varDelta \Vert ^2 \big ), \end{aligned}$$
where \({{\mathrm{Vol}}}(\varDelta )\) is the volume of \(\varDelta \).

Lemma 1

Given a simplex \(\varDelta \) in \(\mathbb {R}^d\), denote by \(\varvec{\mathbf {n}}_i\) the unit normal to the hyperface \(\varDelta _i\) directed in the exterior of \(\varDelta \). Then
$$\begin{aligned} \sum \limits _{i=0}^d {{\mathrm{Pow}}}(\varDelta _i)\varvec{\mathbf {n}}_i= 2{{\mathrm{Vol}}}(\varDelta ) \overrightarrow{\mathbf {o}_\varDelta \mathbf {m}_\varDelta }. \end{aligned}$$

Proof

Without loss of generality, assume that \(\mathbf {o}_\varDelta \) is the origin.

Let us use the following variant of the Gauss–Ostrogradsky theorem, also known as the gradient theorem:
$$\begin{aligned} \int \limits _{\varDelta } {{\mathrm{grad}}}f(\mathbf {x})\hbox {d}v= \int \limits _{\partial \varDelta } f(\mathbf {x}) \varvec{\mathbf {n}}(\mathbf {x}) \hbox {d}s, \end{aligned}$$
where \(\hbox {d}v\) and \(\hbox {d}s\) are the volume elements of total space and of the surface of the simplex, respectively, and \(\varvec{\mathbf {n}}(\mathbf {x})\) is the unit normal to the surface at a point \(\mathbf {x}\).
Apply this equation to the power of a point with respect to the circumsphere, \(f(\mathbf {x})=\Vert \mathbf {x}\Vert ^2-R_\varDelta ^2\). Then \({{\mathrm{grad}}}f(\mathbf {x})=2\mathbf {x}\). Note also that \(\displaystyle \int _{\varDelta _i} f(\mathbf {x})\hbox {d}s={{\mathrm{Pow}}}(\varDelta _i)\) since the sphere \((\mathbf {o}, R_\varDelta )\) passes through the vertices of \(\varDelta _i\). We obtain
$$\begin{aligned} 2{{\mathrm{Vol}}}(\varDelta ) \overrightarrow{\mathbf {o}_\varDelta \mathbf {m}_\varDelta }=\int \limits _{\varDelta } 2\mathbf {x}\hbox {d}v= \int \limits _{\partial \varDelta } f(\mathbf {x})\varvec{\mathbf {n}}(\mathbf {x}) \hbox {d}s=\sum \limits _{i=0}^d {{\mathrm{Pow}}}(\varDelta _i)\varvec{\mathbf {n}}_i. \end{aligned}$$
\(\square \)

Corollary 1

Let \(\mathcal {C}\) be a \(d\)-dimensional piece-wise linear simplicial cycle in \(\mathbb {R}^d\). Let \(\mathbf {o}_i\) and \(\mathbf {m}_i\) be circumcenters and centroids of \(d\)-dimensional simplices \(\varDelta _i\in \mathcal {C}\), respectively. Then
$$\begin{aligned} \sum \limits _{\varDelta _i\in \mathcal {C}} \overrightarrow{\mathbf {o}_i \mathbf {m}_i}{{\mathrm{Vol}}}(\varDelta _i)=\mathbf {0}. \end{aligned}$$

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

(V. E. Adler, S. Tabachnikov, E. Tsukerman) Let \(\mathcal {C}\) be a \(d\)-dimensional piece-wise linear simplicial cycle in \(\mathbb {R}^d\). Suppose that \(\mathbf {o}_i\) are the circumcenters of \(d\)-dimensional simplices \(\varDelta _i\in \mathcal {C}\). Then
$$\begin{aligned} \sum \limits _{\varDelta _i\in \mathcal {C}} {\mathbf {o}}_{i}{{\mathrm{Vol}}}(\varDelta _i)=\mathbf {0}. \end{aligned}$$

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

Denote this constant by \(c\). Note that for each facet \(\varDelta _i\) of \(P\) we have
$$\begin{aligned} {{\mathrm{Pow}}}(\varDelta _i)={{\mathrm{Vol}}}(\varDelta _i) \frac{-c}{(d+1)(d+2)}. \end{aligned}$$
From Minkowski’s theorem, it follows that
$$\begin{aligned} \sum _{\varDelta _i \in (\text {facets of }P)}{{\mathrm{Vol}}}(\varDelta _i) \mathbf {n}_i=0, \end{aligned}$$
where \(\mathbf {n}_i\) is a unit normal to the facet \(\varDelta _i\).
Therefore,
$$\begin{aligned} {{\mathrm{Vol}}}(P)\overrightarrow{\mathbf {m} \mathbf {o}}&= \frac{1}{2} \sum _{\varDelta _i \in (\text {facets of }P)}{{\mathrm{Pow}}}(\varDelta _i) \mathbf {n}_i\\&= \frac{-c}{2(d+1)(d+2)}\sum _{\varDelta _i \in (\text {facets of }P)}{{\mathrm{Vol}}}(\varDelta _i) \mathbf {n}_i=0. \end{aligned}$$

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

  1. 1.

    Using simple calculation, it is easy to show that \({{\mathrm{Vol}}}(\varDelta '_i)\Vert \mathbf {o}'_i\Vert =\frac{{{\mathrm{Vol}}}(\varDelta _i)}{2(d+1)}\). So the circumcenter of mass from [6] is the same as here.

References

  1. 1.
    Adler, V.E.: Recuttings of polygons. Funct. Anal. Appl. 27(2), 141–143 (1993)CrossRefzbMATHMathSciNetGoogle Scholar
  2. 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. 3.
    Laisant, C.A.: Théorie et Applications des Équipollences. Gauthier-Villars, Paris (1887)zbMATHGoogle Scholar
  4. 4.
    Myakishev, A.: On two remarkable lines related to a quadrilateral. Forum Geom. 6, 289–295 (2006)zbMATHMathSciNetGoogle Scholar
  5. 5.
    Rajan, V.T.: Optimality of the Delaunay triangulation in \({ {R}^d}\). Discrete Comput. Geom. 12(2), 189–202 (1994)CrossRefzbMATHMathSciNetGoogle Scholar
  6. 6.
    Tabachnikov, S., Tsukerman, E.: Circumcenter of mass and generalized Euler line. Discrete Comput. Geom. (2014). doi: 10.1007/s00454-014-9597-2

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  1. 1.Institute for Information Transmission Problems RASMoscowRussia
  2. 2.Department of Mathematics Moscow Institute of Physics and TechnologyDolgoprudnyRussia

Personalised recommendations