Английская Википедия:Circumcenter of mass
Шаблон:Short description In geometry, the circumcenter of mass is a center associated with a polygon which shares many of the properties of the center of mass. More generally, the circumcenter of mass may be defined for simplicial polytopes and also in the spherical and hyperbolic geometries.
In the special case when the polytope is a quadrilateral or hexagon, the circumcenter of mass has been called the "quasicircumcenter" and has been used to define an Euler line of a quadrilateral.[1][2] The circumcenter of mass allows us to define an Euler line for simplicial polytopes.
Definition in the plane
Let <math>P</math> be an oriented polygon (with vertices counted countercyclically) in the plane with vertices <math>V_1,V_2,\ldots,V_n</math> and let <math>O</math> be an arbitrary point not lying on the sides (or their extensions). Consider the triangulation of <math>P</math> by the oriented triangles <math>O V_i V_{i+1}</math> (the index <math>i</math> is viewed modulo <math>n</math>). Associate with each of these triangles its circumcenter <math>C_i</math> with weight equal to its oriented area (positive if its sequence of vertices is countercyclical; negative otherwise). The circumcenter of mass of <math>P</math> is the center of mass of these weighted circumcenters. The result is independent of the choice of point <math>O</math>.[3]
Properties
In the special case when the polygon is cyclic, the circumcenter of mass coincides with the circumcenter.
The circumcenter of mass satisfies an analog of Archimedes' Lemma, which states that if a polygon is decomposed into two smaller polygons, then the circumcenter of mass of that polygon is a weighted sum of the circumcenters of mass of the two smaller polygons. As a consequence, any triangulation with nondegenerate triangles may be used to define the circumcenter of mass.
For an equilateral polygon, the circumcenter of mass and center of mass coincide. More generally, the circumcenter of mass and center of mass coincide for a simplicial polytope for which each face has the sum of squares of its edges a constant.[4]
The circumcenter of mass is invariant under the operation of "recutting" of polygons.[5] and the discrete bicycle (Darboux) transformation; in other words, the image of a polygon under these operations has the same circumcenter of mass as the original polygon. The generalized Euler line makes other appearances in the theory of integrable systems.[6]
Let <math>V_i=(x_i,y_i)</math> be the vertices of <math>P</math> and let <math>A</math> denote its area. The circumcenter of mass <math>CCM(P)</math> of the polygon <math>P</math> is given by the formula
- <math>
CCM(P)=\frac{1}{4 A}(\sum_{i=0}^{n-1} -y_i y_{i+1}^2+y_i^2 y_{i+1} +x_i^2 y_{i+1}-x_{i+1}^2 y_i, \sum_{i=0}^{n-1} -x_{i+1} y_i^2+x_i y_{i+1}^2+x_i x_{i+1}^2-x_i^2 x_{i+1}). </math>
The circumcenter of mass can be extended to smooth curves via a limiting procedure. This continuous limit coincides with the center of mass of the homogeneous lamina bounded by the curve.
Under natural assumptions, the centers of polygons which satisfy Archimedes' Lemma are precisely the points of its Euler line. In other words, the only "well-behaved" centers which satisfy Archimedes' Lemma are the affine combinations of the circumcenter of mass and center of mass.
Generalized Euler line
The circumcenter of mass allows an Euler line to be defined for any polygon (and more generally, for a simplicial polytope). This generalized Euler line is defined as the affine span of the center of mass and circumcenter of mass of the polytope.
See also
References
