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.
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.
Given a closed convex planar smooth curve, the area evolute is defined as the locus of midpoints of chords with parallel tangents, while the central symmetry set is the envelope of chords with parallel tangents [4, 7]. It is well known that the area evolute and central symmetry set have the following properties:

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].
For a convex polygon with parallel opposite sides, we call great diagonals the lines connecting opposite vertices and define the area evolute and central symmetry set as follows: the central symmetry set is the polygonal line whose vertices are the intersection of great diagonals, while the area evolute is the polygonal line connecting midpoints of the same great diagonals. We also define the notion of cusps for these polygonal lines and then prove that all the aforementioned properties remain true.
An equidistant of a closed convex planar smooth curve is the locus of points that belong to a parallel tangent chord with a fixed ratio with respect to its extremities. The following property is well known:

The central symmetry set is the locus of cusps of equidistants [4].
We are not aware of any work concerning the set of selfintersections of equidistants.
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.
For a smooth convex closed planar curve, an area parallel is the envelope of the chords that cut off a fixed area of the interior of the curve [2, 9]. The following property is well known:

The locus of cusps of the area parallels is exactly the area evolute ([6], Sect. 2.7).
For a convex polygon with parallel opposite sides, the definition of area parallels can be carried out without changes, and we obtain piecewise smooth curves made of arcs of hyperbolas. Nevertheless, it seems easier to consider the polygons whose sides connect the endpoints of these arcs of hyperbolas, which we call rectified area parallels. We show that, as in the smooth case, cusps of the rectified area parallels belong to the area evolute.
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.
Basic Notions
A closed planar polygon \(\mathcal{P }\) is called convex if it bounds a convex region and has no parallel adjacent sides. Let \(P_1,\ldots ,P_n,P_{n+1},\ldots ,P_{2n}\) denote the vertices of a convex planar \(2n\)gon \(\mathcal{P }\). The polygon has parallel opposite sides if
for any \(1\le i\le n\). Throughout the paper, indices will be taken modulo \(2n\). We shall assume that the convex parallel opposite sides (CPOS) polygons \(\mathcal{P }\) are positively oriented, i.e.,
for any \(1\le i <j \le n\).
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\).
Denote by \(M_{i}=\frac{1}{2}\left( P_i+P_{i+n} \right) \) the midpoints of the segments \(P_iP_{i+n}\) and by \(m(i+\tfrac{1}{2})\) the lines through \(M_i\) parallel to \(P_iP_{i+1}\), which we shall call midparallel lines. The polygon whose vertices are \(M_i,\,1\le i\le n\), is called the area evolute of the polygon (see Fig. 1 and Applets).
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\).
Assume now that the central symmetry set \(\mathcal{P }\) reduces to a point \(O\). Then necessarily
for some \(\alpha >0\). But such a polygon can close only if \(\alpha =1\), and thus \(\mathcal{P }\) is symmetric. \(\square \)
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})\).
We must consider the following cases:

(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 \)
Cusps of Area Evolute and Central Symmetry Set
In this section, we make the simplifying assumption that \(D(i\tfrac{1}{2})\ne D(i+\tfrac{1}{2})\) for every \(1\le i\le n\). Define \(\lambda (i+\tfrac{1}{2}),\,1\le i\le 2n\), by
where \(D(i+n+\tfrac{1}{2})=D(i+\tfrac{1}{2})\). Observe that
for any \(1\le i\le 2n\) and that \(\lambda (i+n+\tfrac{1}{2})=1\lambda (i+\tfrac{1}{2})\).
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.
Assume now by contradiction that the sequence \(\lambda (i+\tfrac{1}{2}),\,1\le i\le 2n\), has only one zero crossing. Then it would necessarily have \(n\) consecutive values greater than 1/2 followed by \(n\) consecutive values smaller than 1/2. Thus the sides of the polygon would be of the form \(w_1,\ldots ,w_n,\,\alpha _1w_1,\ldots ,\alpha _nw_n\), with \(\alpha _i>1,\,1\le i\le n\), and
Taking the determinant product with \(w_1\) we get
which is a contradiction since \([w_1,w_i]>0\) for \(2\le i\le n\). \(\square \)
Symmetric and Nonsymmetric CPOS EqualArea Polygons
A polygon is called equalarea if
for any \(i,j\) [3]. It is easy to verify that any symmetric CPOS is equalarea, but, as we shall see below, the reciprocal is true only for even \(n\).
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
Let \(e_1,e_2\ldots ,e_n, \alpha _1e_1,\ldots , \alpha _ne_n\) denote the sides of an equalarea polygon \(\mathcal{P }\). Then
Thus \(\alpha _1=\alpha _n\) and \(\alpha _i\alpha _{i+1}=1\). If \(\alpha _i=1\) for some \(i\), then \(\alpha _i=1\) for any \(i\) and the polygon is symmetric. If \(\alpha _i\ne 1\), then necessarily \(n\) is odd and \(\alpha _{i+1}=\alpha _i^{1}\). Thus the polygon is obtained by the foregoing construction. \(\square \)
We shall refer to the preceding constructed polygons as nonsymmetric, equalarea CPOS polygons (see Fig. 4 and Applets).
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
Write \(P_{i+1}P_i=\alpha \left( P_{i+n+1}P_{i+n} \right) \) for some \(\alpha >0\). Then \(P_{i+n}P_{i+n1}=\alpha \left( P_{i}P_{i1}\right) \). Taking \(\lambda =\frac{\alpha 1}{2(1+\alpha )}\), straightforward calculations show that
which proves that \(M_i\) is the midpoint of \(D(i\tfrac{1}{2})D(i+\tfrac{1}{2})\). From this one easily concludes that each point of the central symmetry set is a cusp. \(\square \)
Equidistants
An equidistant at level \(\lambda \in \mathbb R \) is a polygon \(\mathcal{P }_{\lambda }\) whose vertices are
For \(\lambda =\frac{1}{2}\), the equidistant is exactly the area evolute (see Fig. 5 and Applets). The edges of \(\mathcal{P }_{\lambda }\) are \(e(i+\tfrac{1}{2})(\lambda )=P_{i+1}(\lambda )P_{i}(\lambda )\). Observe that
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
We write
Thus \(f_i(\lambda )\) is a quadratic function that vanishes at \(\lambda (i\tfrac{1}{2})\) and \(\lambda (i+\tfrac{1}{2})\) corresponding to the intersections of \(d_i\) with \(d_{i1}\) and \(d_{i+1}\), respectively. Thus \(f_i(\lambda )<0\) only for \(\lambda \) between \(\lambda (i\tfrac{1}{2})\) and \(\lambda (i+\tfrac{1}{2})\), which correspond to points of the central symmetry set. \(\square \)
Equidistant Symmetry Set
The selfintersection of the equidistants form a set that we call an equidistant symmetry set (see Fig. 6 and Applets).
Given nonparallel sides \(e(i+\tfrac{1}{2}),\ e(j+\tfrac{1}{2})\), denote by \(P(i+\tfrac{1}{2},j+\tfrac{1}{2})\) the intersection of their support lines. Also, denote by \(l(i+\tfrac{1}{2},j+\tfrac{1}{2})\) the line passing through \(P(i+\tfrac{1}{2},j+\tfrac{1}{2})\) and \(P(i+n+\tfrac{1}{2},j+n+\tfrac{1}{2})\). Observe that the support line of an edge of the equidistant symmetry set associated with a pair of sides \((i+\tfrac{1}{2},j+\tfrac{1}{2})\) is exactly \(l(i+\tfrac{1}{2},j+\tfrac{1}{2})\).
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 \)
Parallel–Diagonal Transform
To a CPOS polygon \(\mathcal{P }\) we can associate another CPOS polygon \(\mathcal{Q }\) whose vertices are at the midparallel lines and whose sides are parallel to the great diagonals of \(\mathcal{P }\) (see Fig. 7 and Applets). In this section we prove the existence of such a CPOS polygon \(\mathcal{Q }\), called the parallel–diagonal transform of \(\mathcal{P }\).
Denote \(v(i+\tfrac{1}{2})=M_{i+1}M_i\) and \(u_i=P_iM_i,\,1\le i\le n\). Define also \(v(i+n+\tfrac{1}{2})=v(i+\tfrac{1}{2})\) and \(u_{i+n}=u_i\). Observe that
and
Lemma 4.1
Denote by \(A^1\) and \(A^2\) the areas of the regions of the polygon \(\mathcal{P }\) bounded by the great diagonal \(d_1\). Then
Proof
Observe that
and thus the difference between these areas is
So \(A^2A^1\) is given by
where we used (4.1) and (4.2). \(\square \)
Denote by \(N(i+\tfrac{1}{2})\) the point of the midparallel \(m(i+\tfrac{1}{2})\) satisfying
where \(A_{i}^1\) and \(A_i^2\) denote the areas of the regions of the polygon \(\mathcal{P }\) bounded by the great diagonal \(d_i\). Denote by \(\mathcal{N }\) a polygon with vertices \(N(i+\tfrac{1}{2})\).
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
Start with a point
and then follow the parallel to the great diagonal \(d_1\) until it reaches the line \(m(1+\tfrac{1}{2})\) at \(Q(1+\tfrac{1}{2})\). Then take the parallel to \(d_2\) until it intersects the line \(m(2+\tfrac{1}{2})\) at \(Q(2+\tfrac{1}{2})\). Follow this algorithm and stop after \(2n\) steps, when the polygon reaches the line \(m(1\tfrac{1}{2})\) at \(Q(2n+\tfrac{1}{2})\). We must prove that \(Q(2n+\tfrac{1}{2})=Q(1\tfrac{1}{2}) \).
Define \(\mu (i+\tfrac{1}{2}),\,1\le i\le 2n\), by the relation
We must then prove that \(\mu (2n+\tfrac{1}{2})=\mu (1\tfrac{1}{2})\), where \(\mu (1\frac{1}{2})=\mu \). Denoting \(q_i=Q(i+\tfrac{1}{2})Q(i\tfrac{1}{2}),\,1\le i \le 2n\), we have
Since \(q_i\) must be parallel to \(u_i\), we obtain
Denoting \(\beta (i+\tfrac{1}{2})=\mu (i+\tfrac{1}{2})\mu (i+n+\tfrac{1}{2})\), we obtain
where we used (4.1). We conclude that \(\beta (1\tfrac{1}{2})=\beta (n+\tfrac{1}{2})\), proving that \(\mu (2n+\tfrac{1}{2})=\mu (1\tfrac{1}{2})\).
Now let
where \(\gamma (i+\frac{1}{2})= \mu (i+\frac{1}{2})+ \mu (i+n+\frac{1}{2})\) denotes the vertices of the area evolute of \(\mathcal{Q }\). We have
We claim that \({\tilde{N}}(i+\tfrac{1}{2})=N(i+\tfrac{1}{2})\) for any \(0\le i\le n1\). The proof of this claim will now be given for \(i=0\), the other cases being similar. It follows from (4.3) that
Summing from \(i=1\) to \(i=n\) we obtain
where the last equality follows from Lemma 4.1. Thus the claim is proved.
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.
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 }\).
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.
Let \(A,B,C,D,\) and \(E\) denote the midpoints of \(P_{i+1}P_j,\,P_{i}P_j,\,P_{i+1}P_{j+1},\,P_{i}P_{j+1}\), and \(P_{i}P_{i+1}\), respectively. Assuming that the area parallel through \(B\) intersects the segment \(AC\), denote by \(F\) this intersection. Then the area parallel through \(C\) intersects \(BD\) at a point \(G\) (Fig. 8).
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 \)
Rectified Area Parallels and Their Cusps
We shall call the rectified area parallel of level \(\lambda \) the union of all segments \(L(i+\tfrac{1}{2},j+\tfrac{1}{2},\lambda )\). Thus the rectified area parallels are closed polygons (see Fig. 9 and Applets).
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 \)
Rectified Area Symmetry Set
The rectified area symmetry set is the locus of selfintersections of the rectified area parallels. It is not easy to describe this set for a general CPOS polygon, so we shall make a simplifying assumption. Denote by \(\mathcal{Q }_{\mu }\) the family of equidistants of the parallel–diagonal transform \(\mathcal{Q }\) of \(\mathcal{P }\). We say that \(\mathcal{P }\) is almost symmetric if there exists \(\mu _0\) such that \(\mathcal{Q }_{\mu _0}\) contains the area evolute in its interior and all midpoints of 1diagonals are outside it (Fig. 10).
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 \)
References
 1.
Bobenko, A.I., Suris, Y.B.: Discrete Differential Geometry. Graduate Studies in Mathematics, vol. 98. AMS, Providence, RI (2008)
 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)
 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)
 4.
Giblin, P.J.: Affinely Invariant Symmetry Sets. Geometry and Topology of Caustics, vol. 82. Banach Center Publications, Warsaw (2008)
 5.
Giblin, P.J., Holtom, P.: The Centre Symmetry Set, vol. 50. Banach Center Publications, Warsaw (1999)
 6.
Holtom, P.A.: Affineinvariant symmetry sets. Ph.D. Thesis, University of Liverpool (2001)
 7.
Janeczko, S.: Bifurcations of the center of symmetry. Geom. Dedicata 60, 9–16 (1996)
 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)
 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)
 10.
Domitrz, W., Rios, P.M.: Singularities of equidistants and global symmetry sets of Lagrangian submanifolds. Geom. Dedic. (2013, to appear)
Acknowledgments
The first and second authors wish to thank CNPq for financial support during the preparation of this manuscript.
Author information
Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Craizer, M., Teixeira, R.C. & da Silva, M.A.H.B. Polygons with Parallel Opposite Sides. Discrete Comput Geom 50, 474–490 (2013). https://doi.org/10.1007/s0045401395202
Received:
Revised:
Accepted:
Published:
Issue Date:
Keywords
 Discrete area evolute
 Discrete central symmetry set
 Discrete area parallels
 Discrete equidistants
Mathematics Subject Classification (2010)
 53A15