Polygons with Parallel Opposite Sides
 259 Downloads
 1 Citations
Abstract
In this paper we consider convex planar polygons with parallel opposite sides. These polygons can be regarded as discretizations of closed convex planar curves by taking tangent lines at samples with pairwise parallel tangents. For such polygons, we define discrete versions of the area evolute, central symmetry set, equidistants, and area parallels and show that they behave quite similarly to their smooth counterparts.
Keywords
Discrete area evolute Discrete central symmetry set Discrete area parallels Discrete equidistantsMathematics Subject Classification (2010)
53A151 Introduction
In the emerging field of discrete differential geometry, one tries to define discrete counterparts of concepts from differential geometry that preserve most of the properties of the smooth case. The idea is to discretize not just the equations, but the whole theory [1]. Besides being important in computer applications, good discrete models may shed light on some aspects of the theory that remain hidden in the smooth context. It is also a common belief that a good discrete counterpart of a differential geometry concept leads to efficient numerical algorithms for computing it.
Several affine symmetry sets and evolutes are associated with closed planar curves. In [3], we considered convex equal area polygons, which can be regarded as discretizations of closed convex planar curves by uniform sampling with respect to affine arc length. For this type of polygon, discrete notions of affine normal and curvature, affine evolute, parallels, and affine distance symmetry set are quite natural.
In this paper we consider convex planar polygons with parallel opposite sides. These polygons can be regarded as discretizations of closed convex planar curves by taking tangent lines at samples with pairwise parallel tangents. For such polygons, we shall define discrete notions of the area evolute, central symmetry set, equidistants, and area parallels and show that they behave quite similarly to the smooth case.

For a point \(x\) inside the curve, consider chords with \(x\) as midpoint and denote by \(N(x)\) the number of such chords. Then \(N(x)\) changes by 2 when you traverse the area evolute [4].

Both the area evolute and the central symmetry set have an odd number of cusps, at least three, and the number of cusps of the central symmetry set is at least the number of cusps of the area evolute [5, 10].

Both the area evolute and the central symmetry set reduce to a point if and only if the curve is symmetric with respect to a point [8].

The central symmetry set is the locus of cusps of equidistants [4].
We define the equidistants of a convex polygon with parallel opposite sides as the polygon whose vertices are along the great diagonals with a fixed ratio with respect to the original vertices. We shall verify that, as in the smooth case, cusps of the equidistants coincide with the central symmetry set. In this discrete setting, the locus of selfintersections of the equidistants is also an interesting set to consider. We call it the equidistant symmetry set and prove that the branches of the equidistant symmetry set have cusps at the central symmetry set and endpoints at cusps of the central symmetry set or cusps of the area evolute.

The locus of cusps of the area parallels is exactly the area evolute ([6], Sect. 2.7).
Given a convex polygon \(\mathcal{P }\) with parallel opposite sides, we show the existence of a convex polygon \(\mathcal{Q }\) with parallel opposite sides whose central symmetry set is exactly the area evolute of \(\mathcal{P }\) and whose sides are parallel to the great diagonals of \(\mathcal{P }\). It is uniquely defined up to equidistants and we call it the parallel–diagonal transform of \(\mathcal{P }\).
In the smooth case, the locus of selfintersections of the area parallels is called the affine area symmetry set ([6], Sect. 2.7). For a convex polygon \(\mathcal{P }\) with parallel opposite sides, the locus of selfintersections of rectified area parallels will be called the rectified area symmetry set. The rectified area symmetry set is difficult to understand in general, but we can describe it when the original polygon satisfies an almost symmetry hypothesis. A 1diagonal of \(\mathcal{P }\) is a diagonal connecting vertices such that one is adjacent to the opposite of the other. The almost symmetry hypothesis states that for some \(\mu _0\), the equidistant \(\mathcal{Q }_{\mu _0}\) of \(\mathcal{Q }\) contains the area evolute of \(\mathcal{P }\) in its interior and the midpoints of the 1diagonals are outside it. Under this hypothesis, the equidistants \(\mathcal{Q }_{\mu }\) for \(\mu \ge \mu _0\) coincide with the area parallels of \(\mathcal{P }\), and thus the equidistant symmetry set of \(\mathcal{Q }\) coincides with the rectified area symmetry set of \(\mathcal{P }\). We conclude that the branches of the rectified area symmetry set of \(\mathcal{P }\) have cusps at the area evolute of \(\mathcal{P }\) and endpoints at the cusps of the area evolute of \(\mathcal{P }\) or else at cusps of the area evolute \(\mathcal{N }\) of \(\mathcal{Q }\). Observe also that, under the almost symmetry hypothesis, \(\mathcal{N }\) is exactly the rectified area parallel of level half of the total area of \(\mathcal{P }\).
The paper is organized as follows: In Sect. 2 we define the area evolute and central symmetry set for convex polygons with parallel opposite sides and prove their basic properties. In Sect. 3 we study the equidistants and the corresponding symmetry set. In Sect. 4 we define and prove the existence of the parallel–diagonal transform. In Sect. 5 we discuss the properties of the rectified area parallels.
We have used the free software GeoGebra (http://www.geogebra.org/cms) for all figures and many experiments during the preparation of the paper. Applets of some of these experiments are available at http://www.professores.uff.br/ralph (personal home page of the second author), and we refer to them in the text simply as Applets. We would like to thank the GeoGebra team for this excellent mathematical tool.
2 Basic Notions
2.1 Area Evolute and Central Symmetry Set
Denote by \(d_i\) the great diagonal \(P_iP_{i+n}\) and by \(D(i+\tfrac{1}{2})\) the point of intersection of \(d_{i}\) and \(d_{i+1}\). The central symmetry set of the polygon \(\mathcal{P }\) is the polygon whose vertices are \(D(i+\frac{1}{2}),\,1\le i\le n\).
A CPOS polygon is called symmetric with respect to a point \(O\) if \(P_{i+n}O=OP_i\) for any \(1\le i\le n\).
Proposition 2.1
The central symmetry set of a CPOS polygon reduces to a point if and only if the polygon is symmetric. Similarly, the area evolute of a CPOS polygon reduces to a point if and only if the polygon is symmetric.
Proof
It is clear that if the CPOS polygon is symmetric with respect to a point \(O\), then the area evolute and the central symmetry set reduce to this point. It is also clear that if the area evolute of a polygon reduces to a point \(O\), then the polygon is symmetric with respect to \(O\).
2.2 MidPoint Property
We shall denote by \(e(i+\tfrac{1}{2})\) the edge whose endpoints are \(P_i\) and \(P_{i+1}\). A pair of edges \(e(i+\tfrac{1}{2})\) and \(e(j+\tfrac{1}{2})\) determines a parallelogram \(M(i+\frac{1}{2},j+\frac{1}{2})\) consisting of the midpoints of pairs \((y_1,y_2),\,y_1\in e(i+\tfrac{1}{2})\) and \(y_2\in e(j+\tfrac{1}{2})\).
Denote by \(N(x)\) the number of chords with midpoint \(x\), identifying those chords whose endpoints belong to the same sides of the polygon.
Proposition 2.2
\(N(x)\) is locally constant except at the area evolute. When one traverses a segment of the area evolute, \(N(x)\) increases or decreases by 2, depending on the orientation.
Proof
Write \(x=\frac{1}{2}(x_1+x_2)\), where \(x_1\in e(i+\tfrac{1}{2})\) and \(x_2\in e(j+\tfrac{1}{2})\). We shall assume that \(x_1\) and \(x_2\) are not both endpoints of \(e(i+\tfrac{1}{2})\) and \(e(j+\tfrac{1}{2})\), or, equivalently, \(x\) is not a vertex of \(M(i+\frac{1}{2},j+\frac{1}{2})\).
 (1)
If \(x_1\) and \(x_2\) are both in the interior of \(e(i+\tfrac{1}{2})\) and \(e(j+\tfrac{1}{2})\),\(j\ne i+n\), or, equivalently, \(x\) is in the interior of \(M(i+\frac{1}{2},j+\frac{1}{2})\), then for \(y\) in a neighborhood of \(x\), we can find unique \(y_1\in e(i+\tfrac{1}{2})\) and \(y_2\in e(j+\tfrac{1}{2})\) such that \(y=\frac{1}{2}(y_1+y_2)\).
 (2)
If \(x_1=P_i\) and \(j\ne i+n,\,j\ne i+n1\), then again there exists a neighborhood \(U\) of \(x\) such that for \(y\in U\) we can find unique \(y_1\in e(i\tfrac{1}{2})\cup e(i+\tfrac{1}{2})\) and \(y_2\in e(j+\tfrac{1}{2})\) such that \(y=\frac{1}{2}(y_1+y_2)\). In fact, for \(y\in U\cap M(i\frac{1}{2},j+\frac{1}{2})\) we choose \(y_1\in e(i\tfrac{1}{2})\), while for \(y\in U\cap M(i+\frac{1}{2},j+\frac{1}{2})\) we choose \(y_1\in e(i+\tfrac{1}{2})\).
 (3)
Suppose that \(x_1=P_i\) and \(x_2\in e(i+n\tfrac{1}{2})\), with \(e(i\tfrac{1}{2})>e(i+n\tfrac{1}{2})\) (Fig. 2). In this case, \(x\) is also the midpoint of \(x_2^{\prime }=P_{i+n1}\) and some \(x_1^{\prime }\in e(i\tfrac{1}{2})\). Thus, for \(y\) in a neighborhood of \(x\) we distinguish between \(y\in M(i+\frac{1}{2},i+n\frac{1}{2})\) and \(y\in M(i\frac{1}{2},i+n\frac{3}{2})\). In the first case, \(y\) is the midpoint of \(y_1\in e(i+\frac{1}{2})\) and \(y_2\in e(i+n\frac{1}{2})\). In the second case, \(y\) is the midpoint of \(y_1\in e(i\frac{1}{2})\) and \(y_2\in e(i+n\frac{3}{2})\).
 (4)
It remains to analyze the case where \(x\) is on the area evolute. Suppose that \(x_2=P_{i+n}\) and \(x_1\in e(i\tfrac{1}{2})\) with \(e(i\tfrac{1}{2})>e(i+n\tfrac{1}{2})\) (Fig. 3). In this case, \(x\) is also the midpoint of \(x_2^{\prime }=P_{i+n1}\) and some \(x_1^{\prime }\in e(i\tfrac{1}{2})\) and the parallelograms with \(x\) in the boundary are \(M(i\frac{1}{2},i+n\frac{3}{2})\) and \(M(i\frac{1}{2},i+n+\frac{1}{2})\). Consider now \(y\) in a neighborhood of \(x\). If \(y\) is closer to \(e(i\tfrac{1}{2})\), then \(y\) is the midpoint of some pair \((y_1,y_2),\,y_1\in e(i\tfrac{1}{2})\) and \(y_2\in e(i+n+\tfrac{1}{2})\) and is also the midpoint of another pair \((y_1^{\prime },y_2^{\prime }),\,y_1^{\prime }\in e(i\tfrac{1}{2})\) and \(y_2^{\prime }\in e(i+n\tfrac{3}{2})\). On the other hand, if \(y\) is closer to \(e(i+n\tfrac{1}{2})\), then there are no pairs \((y_1,y_2)\) in the neighborhood of \((x_1,x_2)\) or \((x_1^{\prime },x_2^{\prime })\) with \(y\) as midpoint. We conclude that when we traverse a segment of the area evolute from the smaller to the bigger side, \(N(x)\) is increased by 2. \(\square \)
2.3 Cusps of Area Evolute and Central Symmetry Set
We say that a vertex \(D(i_0+\tfrac{1}{2})\) of the central symmetry set is a cusp if \(\lambda (i_0+\tfrac{1}{2})\) is a local extremum of the cyclic sequence \(\lambda (i+\tfrac{1}{2})\). For the area evolute, we say that a vertex \(M_{i_0}\) is a cusp if \(\lambda (i_0\tfrac{1}{2})\cdot \lambda (i_0+\tfrac{1}{2})<0\). The geometrical meaning of these definitions will be clear in the next section.
Proposition 2.3
The number of cusps of the area evolute is odd and \(\ge \)3. The number of cusps of the central symmetry set is odd and not smaller than the number of cusps of the area evolute.
Proof
Since \(\lambda (i+n+\tfrac{1}{2})=1\lambda (i+\tfrac{1}{2})\), there is an odd number of local extrema and zero crossings in the sequence \(\lambda (i+\tfrac{1}{2}),\,1\le i\le n\). Thus the numbers of cusps of the central symmetry set and the area evolute are odd. Moreover, between two zero crossings there exists at least one local extremum. Thus the number of cusps of the central symmetry set is greater than or equal to the number of cusps of the area evolute.
2.4 Symmetric and Nonsymmetric CPOS EqualArea Polygons
For \(n\) odd, consider vectors \(w_1, w_2,\ldots ,w_n\) satisfying \([w_i,w_{i+1}]<0\) and \(\sum _{i=1}^nw_i=0\). For \(\alpha >0\), consider a \(2n\)gon \(\mathcal{P }\) whose sides are \(e_i=w_i,\ e_{n+i}=\alpha w_i\) for \(1\le i\le n\) odd and \(e_i=\alpha w_i,\ e_{n+i}=w_i\) for \(1\le i\le n\) even. Then the polygon \(\mathcal{P }\) is CPOS and equalarea.
Proposition 2.4
Any CPOS equalarea polygon is symmetric or obtained by the foregoing construction.
Proof
Proposition 2.5
Consider a nonsymmetric, equalarea CPOS polygon \(\mathcal{P }\). Then \(M_i\) is the midpoint of \(D(i\tfrac{1}{2})D(i+\tfrac{1}{2})\). As a consequence, the area evolute and the central symmetry set have \(n\) cusps, i.e., all vertices are cusps.
Proof
3 Equidistants
3.1 Cusps of the Equidistants and the Central Symmetry Set
Denote \(f_i(\lambda )=[e(i\tfrac{1}{2})(\lambda ), e(i+\tfrac{1}{2})(\lambda )]\). Observe that \(f_i(0)>0\) and \(f_i\) changes sign only when \(e(i\tfrac{1}{2})(\lambda )\) or \(e(i+\tfrac{1}{2})(\lambda )\) vanishes. Thus \(f_i(\lambda )<0\) if and only if \(e(i\tfrac{1}{2})(\lambda )\) and \(e(i+\tfrac{1}{2})(\lambda )\) are in the same halfplane determined by \(d_i\). We say that a vertex \(P_i(\lambda )\) is a cusp of the equidistant \(\mathcal{P }_{\lambda }\) if \(f_i(\lambda )<0\).
Proposition 3.1
The set formed by the cusps of the \(\lambda \)equidistants coincides with the central symmetry set.
Proof
3.2 Equidistant Symmetry Set
The selfintersection of the equidistants form a set that we call an equidistant symmetry set (see Fig. 6 and Applets).
Consider two edges \((i\tfrac{1}{2},j+\tfrac{1}{2})\) and \((i+\tfrac{1}{2},j+\tfrac{1}{2})\) of the equidistant symmetry set with a common vertex \((i,j+\tfrac{1}{2})\). We say that the vertex is a cusp if both edges are on the same side of \(d_i\).
Lemma 3.2
A vertex of the equidistant symmetry set that is not an endpoint is a cusp if and only if it belongs to the central symmetry set.
Proof
The support lines of \(e(i\tfrac{1}{2})(\lambda )\) and \(e(i+\tfrac{1}{2})(\lambda )\) determine a planar region that does not contain any other support line of \(e(j+\tfrac{1}{2})(\lambda ),\,j\ne i1,i\). We shall denote this region by \(R_i(\lambda )\).
Consider a vertex \((i,j+\tfrac{1}{2})\) at level \(\lambda _0\). Assume that \(P_{i}(\lambda _0)\) is on the central symmetry set. Then the \(\lambda _0\)equidistant has a cusp at this point. Observe that the support line of \(e(j+\tfrac{1}{2})(\lambda )\) is not contained in \(R_i(\lambda )\). Thus, for \(\lambda \) close to \(\lambda _0\), the edge \(e(j+\tfrac{1}{2})(\lambda )\) intersects \(e(i+\tfrac{1}{2})(\lambda )\) and \(e(i\tfrac{1}{2})(\lambda )\) only for \(\lambda >\lambda _0\) or \(\lambda <\lambda _0\). For definiteness, we shall assume that these intersections occur for \(\lambda >\lambda _0\). Thus, for \(\lambda >\lambda _0\) we have two different intersections of the equidistants; hence the equidistant symmetry set will be on one side of \(d_i\), which means a cusp.
Conversely, if the vertex \((i,j+\tfrac{1}{2})\) is not on the central symmetry set, then the \(\lambda _0\)equidistant has a regular point. For \(\lambda \) close to \(\lambda _0\), the edge \(e(j+\tfrac{1}{2})(\lambda )\) intersects \(e(i+\tfrac{1}{2})(\lambda )\) and \(e(i\tfrac{1}{2})(\lambda )\) once. Thus the corresponding edges of the central symmetry set cross the line \(d_i\), and thus the vertex is a regular point of the equidistant symmetry set. \(\square \)
Proposition 3.3
Every branch of the equidistant symmetry set can be continued until it reaches a cusp of the central symmetry set or a cusp of the area evolute (Fig. 6).
Proof
Consider an edge \(e(i+\tfrac{1}{2},j+\tfrac{1}{2})\) of the equidistant symmetry set. This edge will end at the great diagonal \(d_i,d_{i+1},d_j\), or \(d_{j+1}\). For definiteness, assume it is \(d_{j+1}\). Then we can continue the equidistant symmetry set by the edge \(e(i+\tfrac{1}{2},j+1+\tfrac{1}{2})\). This is always possible except in two cases: (1) \(j+1i=1\) and we are at a cusp of the central symmetry set or (2) \(j+1=i+n\) and we are at a cusp of the area evolute. \(\square \)
4 Parallel–Diagonal Transform
Lemma 4.1
Proof
Proposition 4.2
To a CPOS polygon \(\mathcal{P }\), we can associate a CPOS polygon \(\mathcal{Q }\) with vertices at the midparallel lines and sides parallel to the great diagonals of \(\mathcal{P }\). The area evolute of \(\mathcal{Q }\) is exactly \(\mathcal{N }\).
Proof
It remains to show that we can choose \(\mu \) such that \(\mathcal{Q }\) is convex. Take \(\mu \) sufficiently large such that the corresponding \(\mathcal{Q }\) contains the area evolute of \(\mathcal{P }\) in its interior. For such \(\mu \) one easily verifies that \(\mathcal{Q }\) has no selfintersections. Since its sides are parallel to \(u_i,\,1\le i\le n\), which are cyclically ordered, we conclude that \(\mathcal{Q }\) is convex. \(\square \)
Corollary 4.3
Suppose that the line \(P_iN(i+\tfrac{1}{2})\) intersects the line \(P_{n+i}P_{n+i+1}\) at a point \(P_i^{\prime }\) at the segment \(P_{n+i}P_{n+i+1}\). Then \(N(i+\tfrac{1}{2})\) is the midpoint of the chord \(P_iP_i^{\prime }\), which divides the polygon \(\mathcal{P }\) into two regions of equal areas.
5 Rectified Area Parallels
Consider a simple closed curve \(\gamma \) that bounds a convex region. For \(x\) inside \({\gamma }\), there may exist more than one chord \(c\) with \(x\) as midpoint. Each chord \(c\) divides the interior of \({\gamma }\) into two regions, and we shall denote by \(A(x,c)\) the smallest area among these regions. For any \(0\le \lambda \le \frac{A({\gamma })}{2}\), the area parallel of level \(\lambda \) is the set of points \(x\) for which there exists \(c\) with \(x\) as midpoint and \(A(x,c)=\lambda \). Equivalently, the area parallel of level \(\lambda \) is the envelope of chords that cut off an area \(\lambda \) from the interior of \({\gamma }\).
5.1 Area Parallels of a CPOS Polygon
For each pair of edges \(e(i+\tfrac{1}{2})\) and \(e(j+\tfrac{1}{2})\), denote by \(M(i+\tfrac{1}{2},j+\tfrac{1}{2})\) the parallelogram consisting of the midpoints of the edges, as in Sect. 2.2. The area parallels of the wedge bounded by the support lines of \(e(i+\tfrac{1}{2})\) and \(e(j+\tfrac{1}{2})\) are hyperbolas, and by intersecting any of these hyperbolas with \(M(i+\tfrac{1}{2},j+\tfrac{1}{2})\) we obtain an arc of hyperbola \(H(i+\tfrac{1}{2},j+\tfrac{1}{2},\lambda )\) that is part of the area parallel of level \(\lambda \) of \(\mathcal{P }\).
An area parallel \(H(i+\tfrac{1}{2},j+\tfrac{1}{2},\lambda )\) necessarily intersects the boundary of the parallelogram \(M(i+\tfrac{1}{2},j+\tfrac{1}{2})\) at two points. The following lemma describes the line segments \(L(\lambda )=L(i+\tfrac{1}{2},j+\tfrac{1}{2},\lambda )\) connecting these two points.
Lemma 5.1
If the segment \(L(\lambda )\) passes through \(BG\), then its support line passes through \(E\). If \(L(\lambda )\) passes through \(GD\), then it is parallel to \(P_{i}P_{j+1}\). If \(L(\lambda )\) passes through \(AB\), then it is parallel to \(P_{i+1}P_{j}\).
Proof
We may assume that the segment \(P_iP_{i+1}\) is contained in the \(y\)axis and the segment \(P_jP_{j+1}\) is contained in the \(x\)axis. In this case, the area at a point \((x,y)\) is \(xy\). Then straightforward calculations prove the lemma. \(\square \)
5.2 Rectified Area Parallels and Their Cusps
A rectified area parallel has its vertices at the boundaries of the parallelograms \(M(i\tfrac{1}{2},j\tfrac{1}{2})\). Consider a vertex \(x\) at the boundary \((i\tfrac{1}{2},j)\). The rectified area parallel passing through \(x\) at the parallelogram \(M(i\tfrac{1}{2},j+\tfrac{1}{2})\) will continue the initial polygonal line unless \(j=i1+n\), i.e., \(e(i\tfrac{1}{2})\) is parallel to \(e(j+\tfrac{1}{2})\). In the latter case, the continuation of the rectified area parallel may occur at the same side of \(m(i\frac{1}{2})\) or on the other side. We call \(x\) a cusp when the continuation of the area parallel occurs at the same side of \(m(i\frac{1}{2})\). We have the following proposition.
Proposition 5.2
A vertex of a rectified area parallel is a cusp if and only if it belongs to the area evolute.
Proof
There are two cases to consider: if \(x\) is not in the area evolute, then the rectified area parallel will continue in the parallelogram \(M(i+\tfrac{1}{2},i+n\tfrac{1}{2})\), and thus \(x\) is not a cusp (Fig. 2). If \(x\) is in the area evolute, the rectified area parallel will continue in the parallelogram \(M(i\tfrac{1}{2},i+n+\tfrac{1}{2})\) (Fig. 3). Close to \(x\), the area parallel is contained in the same side of \(m(i\tfrac{1}{2})\), and thus \(x\) is a cusp point. \(\square \)
5.3 Rectified Area Symmetry Set
Under the almost symmetry hypothesis, the polygons \(\mathcal{Q }_{\mu },\,\mu \ge \mu _0\), are rectified area parallels of \(\mathcal{P }\). In fact, it follows from Sect. 5.1 that each edge of a rectified area parallel is parallel to the corresponding great diagonal. In particular, using Corollary 4.3, we have that the rectified area parallel of level \(\frac{A(\mathcal{P })}{2}\) is exactly the area evolute of \(\mathcal{Q }\).
Proposition 5.3
Under the almost symmetry hypothesis, the rectified area symmetry set of \(\mathcal{P }\) coincides with the equidistant symmetry set of \(\mathcal{Q }\).
Proof
We first observe that, as a consequence of Proposition 5.2, if a rectified area parallel contains the area evolute in its interior, then it has no selfintersections. Thus, by the almost symmetry hypothesis, the selfintersections of rectified area parallels occur only for those levels corresponding to \(\mathcal{Q }_{\mu },\,\mu \ge \mu _0\). We conclude that the rectified area symmetry set of \(\mathcal{P }\) coincides with the equidistant symmetry set of \(\mathcal{Q }\). \(\square \)
Notes
Acknowledgments
The first and second authors wish to thank CNPq for financial support during the preparation of this manuscript.
References
 1.Bobenko, A.I., Suris, Y.B.: Discrete Differential Geometry. Graduate Studies in Mathematics, vol. 98. AMS, Providence, RI (2008)CrossRefGoogle Scholar
 2.Craizer, M., Teixeira, R.C., da Silva, M.A.H.B.: Area distances of convex plane curves and improper affine spheres. SIAM J. Math. Imaging 1(3), 209–227 (2008)zbMATHCrossRefGoogle Scholar
 3.Craizer, M., Teixeira, R.C., da Silva, M.A.H.B.: Affine properties of convex equalarea polygons. Discret. Comput. Geom. 48(3), 580–595 (2012)zbMATHCrossRefGoogle Scholar
 4.Giblin, P.J.: Affinely Invariant Symmetry Sets. Geometry and Topology of Caustics, vol. 82. Banach Center Publications, Warsaw (2008)Google Scholar
 5.Giblin, P.J., Holtom, P.: The Centre Symmetry Set, vol. 50. Banach Center Publications, Warsaw (1999)Google Scholar
 6.Holtom, P.A.: Affineinvariant symmetry sets. Ph.D. Thesis, University of Liverpool (2001)Google Scholar
 7.Janeczko, S.: Bifurcations of the center of symmetry. Geom. Dedicata 60, 9–16 (1996)MathSciNetzbMATHCrossRefGoogle Scholar
 8.Meyer, M., Reisner, S.: A geometric property of the boundary of symmetric convex bodies and convexity of flotation surfaces. Geom. Dedic. 37, 327–337 (1991)MathSciNetzbMATHCrossRefGoogle Scholar
 9.Niethammer, M., Betelu, S., Sapiro, G., Tannenbaum, A., Giblin, P.J.: Areabased medial axis of planar curves. Int. J. Comput. Vis. 60, 203–224 (2004)CrossRefGoogle Scholar
 10.Domitrz, W., Rios, P.M.: Singularities of equidistants and global symmetry sets of Lagrangian submanifolds. Geom. Dedic. (2013, to appear)Google Scholar