Abstract
This paper characterizes curves where a regular polygon of either a variable side length or a constant side length is allowed to rotate during k full revolutions while having its vertices on the curve during the motion. A constructive method to generate these curves is given based on the curve described by the polygon centers (centroids) during the motion and some examples are shown. Moreover, if the regular polygon divides the curve perimeter into parts of equal length, it is proved that the curve is either a rotational symmetric curve in the case of a variable side length or a circle otherwise. Finally, in the case of a regular polygon of constant side length rotating along a curve, a simple relation between the algebraic areas of such a curve and the curve of polygon centers is revisited.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is devoted to a geometrical question: how to characterize planar curves that allow the motion of a n-sided regular polygon of constant side length having its vertices on the curve and making k full revolutions?
The circle is the most obvious example of a curve where a regular polygon (in fact, any regular polygon) can move with its vertices always lying on it during the motion. The existence of curves different from the circle with such a property is well known and there are some papers providing partial constructions and examples of these curves, both in the convex case [2, 8, 13] and in the non-convex case [19,20,21].
An answer to the question can be provided from the results presented in the German paper [18], where different movement processes to generate trajectories described by the motion of a moving plane over a fixed one are studied. The methods used belong to classical kinematics.
The same question can also be partially answered from the works of Goldberg [5,6,7], based on a result of Meissner [16] that characterizes rotors in regular polygons. A rotor in a regular polygon is defined as a closed convex curve that can be rotated inside the regular polygon while always touching its sides during a complete rotation of the curve. Meissner showed that all the rotors in a n-sided regular polygon are given analytically by support functions
such that
Support functions are widely used in convex geometry, the interested reader can find an introduction in [15].
Rotors constitute a generalization of curves of constant width. These can be seen as rotors in a square. Some other related works on rotors are [3, 4, 10, 14].
Goldberg states that for each convex rotor in a n-sided polygon, by maintaining the rotor fixed and rotating the regular polygon about it, the polygon vertices generate a curve with the desired property (i.e., where a regular polygon can rotate along). However, while this is true, there is no guarantee that the curve which is obtained is convex (see an example in Fig. 1).
In this paper, a direct and simple way to characterize these curves without using rotors nor plane over plane movements is presented. In fact, we will consider a more general class of curves: those that allow the rotation of a n-sided regular polygon of a variable side length during k full revolutions while having their vertices always lying on the curve (Sect. 2). First, we provide a new characterization of these curves in Theorem 1 and some examples are shown. The idea is to start from the curve of polygon centers, i.e., the locus of the centers (centroids) of the regular polygon during its motion. The chosen parameterization of the curve of polygon centers will be relevant for the shape of the resulting curve.
In Theorem 2 we prove that if in one of these curves the n-sided regular polygon divides the curve perimeter into equal parts, then the curve has rotational symmetry of an angle \(\frac{2\pi }{n}\).
We then focus on the case where the n-sided regular polygon has constant side length during the entire motion (Sect. 3). As a direct consequence of Theorem 1 we also have a characterization of these curves (Theorem 3), which is essentially one of the results that can be deduced from [18]. In the particular case where the curve of polygon centers is a circle parameterized by the arc-length, we get the construction of generalized polygonal Wankel engines given in [17] (see also the examples from [18]). This will be seen in detail in Example 3.
The characterization provides a constructive way to generate these curves as parametric curves. In particular, we are able to prove explicitly the existence of convex bodies with an equichordal convex body in their interior (Example 5) by a computation of the curvature function.
We show in Theorem 4 that the circle is the unique curve where a n-sided regular polygon of constant side length, with \(n>2\), can rotate along while dividing the curve perimeter into parts of equal length. Although related, this result must not be confused with similar problems where equilateral polygons (which are not necessarily regular) are considered, such as Ulam’s problem 19 from the Scottish book [1, 24] or the kind of problems considered by Salkowski [23, 25].
Finally, given a curve \(\alpha \) where a regular polygon of a constant side length can rotate, a relation between the algebraic areas of \(\alpha \) and the corresponding curve of polygon centers is obtained in Theorem 5 by using a classical theorem in kinematics due to Leudesdorf. We must point out that the same result can also be found in [18], but derived differently using a J. Steiner formula and the Steiner point.
2 A characterization of curves where a regular polygon can rotate
We say that a regular polygon is allowed to move with an always-forward motion over a closed curve if its vertices can move along the curve such that the polygon is always rotating in a strictly monotonous way (i.e., the angle of rotation of the polygon can be seen as a strictly monotonous function of time).
In the following result we characterize curves where regular polygons (of a possibly variable size) can rotate along with an always-forward motion.
Theorem 1
Let \(n\in {\mathbb {N}}\), \(n>2\), and \(k\in {\mathbb {Z}}\setminus \{0\}\) such that \(\gcd (k,n)=1\). Any closed curve where an always-forward motion of a regular polygon of n sides of variable length is allowed and that makes k full revolutions can be parameterized as \(\alpha :\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow {\mathbb {R}}^2\) by
where \(a:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow \mathopen {}\left]0,+\infty \right[\mathclose {}\) is extendable to a \(\frac{2\pi k}{n}\)-periodic function in \({\mathbb {R}}\) with minimum period \(\frac{2\pi k}{n}\) and \(c:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow {\mathbb {R}}^2\) is a closed parametric curve with minimum period \(\frac{2\pi k}{n}\), regarded as the curve of polygon centers of \(\alpha \).
Proof
Let \(\alpha : I\rightarrow {\mathbb {R}}^2\), where I is some closed interval, be a (single-traced) closed parametric curve where a regular n-sided polygon \(\Gamma (t)\) of side length \(\ell (t)>0\) can move along with an always-forward movement during k revolutions. Consider \(\alpha \), as a closed curve, being continuously extendable to \({\mathbb {R}}\) by periodicity.
By hypothesis, there exists a homeomorphism \(f:{\mathbb {R}}\rightarrow {\mathbb {R}}\) such that if \(\alpha (t)\) is a vertex of the regular polygon \(\Gamma (t)\), then \(\alpha \bigl (f(t)\bigr )\) is the next vertex of \(\Gamma (t)\) according to the parameterization of \(\alpha \).
Define \(f^{i} = f\circ {\mathop {\cdots }\limits ^{i)}} \circ f\). We have
for all \(t\in I\), and \(\alpha \bigl (f^{n}(t)\bigr ) = \alpha (t)\). Notice that the last condition needs that \(n>2\). The curve C of polygon centers of \(\alpha \) can be parameterized by
By the definition, notice that \(c\bigl (f(t)\bigr ) = c(t)\) for all \(t\in I\).
Define \(\textbf{v}:{\mathbb {R}}\rightarrow {\mathbb {R}}^2\) as the continuous function such that, for each c(t), \(\textbf{v}(t)\) gives a unit direction for which the vertex \(\alpha (t)\) is found from c(t). Let \(a:{\mathbb {R}}\rightarrow \mathopen {}\left]0,+\infty \right[\mathclose {}\) be the distance from c(t) to \(\alpha (t)\), i.e.
Thus, we can write
Notice that since \(c(t) = c\bigl (f(t)\bigr )\) for all \(t\in I\) and \(\Gamma (t)\) is a regular polygon, we have that \(a(t) = a\bigl (f(t)\bigr )\) for all \(t\in I\).
The function \(\textbf{v}|_{I}:I\rightarrow {\mathbb {R}}^2\) can be seen as a parameterization of a k-times traced unit circle that describes the position of a resized version of the regular polygon \(\Gamma (t)\) for each \(t\in I\). Indeed, since \(c\bigl (f(t)\bigr ) = c(t)\) and \(a\bigl (f(t)\bigr ) = a(t)\), we have
Thus,
is constant, because \(\Gamma (t)\) is a regular polygon. Moreover, from the expression
and since \(c\bigl (f^{i}(t)\bigr ) = c(t)\), we have that
is also constant, because \(\ell (t)/a(t)\) is constant and \(\alpha \bigl (f^{i}(t)\bigr )\) are the vertices of an equiangular polygon. Therefore, the points \(\textbf{v}\bigl (f^{i}(t)\bigr )\) also describe the vertices of an equiangular polygon and so, of a n-sided regular polygon of constant side length \(\ell (t)/a(t)\).
Since the regular polygon must rotate in a strictly monotonous way during k revolutions, we have that \(\textbf{v}|_{I}:I\rightarrow {\mathbb {R}}^2\) can be written as
where \(g:I\rightarrow \mathopen {}\left[ 0,2\pi k\right] \mathclose {}\) is a homeomorphism (i.e., the function g describes a parameterization of the unit circle \(\textbf{v}\) that may result in a motion of a regular polygon with non-constant velocity).
Consider a reparameterization through \(g^{-1}:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow I\), so that
for \(t\in \mathopen {}\left[ 0,2\pi k\right] \mathclose {}\).
Define also \({\tilde{c}}=c\circ g^{-1}\), \({\tilde{\alpha }} = \alpha \circ g^{-1}\), \({\tilde{a}}=a\circ g^{-1}\) and \({\tilde{f}} = g \circ f\circ g^{-1}\). This way, we have the same properties for the new parameterizations. First, we have that
is contant. Since \({\tilde{f}}^{i}=g\circ f^{i}\circ g^{-1}\), we also have that the curve of polygon centers is
and is such that \({\tilde{c}}\bigl ({\tilde{f}}(t)\bigr )={\tilde{c}}(t).\) Analogously, \({\tilde{a}}\bigl ({\tilde{f}}(t)\bigr )={\tilde{a}}(t)\). Finally, we indeed get \({\tilde{\alpha }}:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow {\mathbb {R}}^2\) given by
as in the statement.
Now, from (4) using the expression (3) we get
By the cosine rule,
where \(\theta = \frac{2\pi j}{n}\), for some \(j\in {\mathbb {Z}}\) such that \(|j|<|k|\,n\) and \(\gcd (j,n)=1\). The need of this integer j is the following: given \(\alpha (t)\), the next vertex \(\alpha \bigl (f(t)\bigr )\) according to the parameterization of \(\alpha \) is not necessarily the vertex of the polygon that provides a convex polygon, that is, \(\Gamma (t)\) can be a star polygon (see Fig. 2).
Now, with (5) and (6) we deduce that
As a consequence, we have that \({\tilde{c}}\) and \({\tilde{a}}\) are \(\frac{2\pi j}{n}\)-periodic. Moreover, the period \(\frac{2\pi j}{n}\) is the minimum period by definition of \({\tilde{f}}\), that provides the next vertex of the regular polygon according to the parameterization of \({\tilde{\alpha }}\).
Moreover, since \({\tilde{f}}\) is defined such that given a vertex \({\tilde{\alpha }}(t)\) of the regular polygon, \(\alpha \bigl ({\tilde{f}}(t)\bigr )\) provides the next vertex according to the parameterization of \({\tilde{\alpha }}\) and \({\tilde{\alpha }}\) is single-traced in \(\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\), we necessarily have \({\tilde{f}}^n(t) = t+2\pi k\). So, from the expression (7) we conclude that \(j=k\). \(\square \)
Remark 1
The function g from the proof of Theorem 3 indicates the rotation velocity of the regular polygon with respect to the curve of polygon centers C. Notice that the reparameterization we have done in order to have a constant velocity in the rotation of the regular polygon is not restrictive, because such a velocity can also be controlled by the chosen parameterization c of C. In other words, a change of the rotation velocity of the regular polygon is transferred to a different parameterization of the curve of polygon centers.
Analogously, a different position of the regular polygon at the starting point of c, which corresponds to a parameterization \(\tilde{\textbf{v}}\) starting at a point different to (1, 0), can also be determined by an appropriate reparameterization of the curve of polygon centers.
In particular, a choice of a reverse parameterization of C leads generally to a different curve described by \(\alpha \).
Notice that we understand “reparameterization” in a broad sense, simply as a continuous change of variables; we do not require differentiability nor injectivity.
From Theorem 1 and its proof, we can provide a method to construct our curves.
Algorithm 1
Construction of a curve for which a regular polygon of n sides with a variable length can move along with an always-forward motion and making k full revolutions:
-
1.
Choose the number of vertices \(n\in {\mathbb {N}}\), \(n>2\), of the regular polygon and the number of full revolutions \(k\in {\mathbb {Z}}\setminus \{0\}\) that it will perform.
-
2.
Choose a closed parametric curve \(c:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow {\mathbb {R}}^2\), with minimum period \(2\pi k\), which will serve as the curve of polygon centers. The chosen parameterization is very relevant.
-
3.
Choose a \(2\pi k\)-periodic function \(a:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow \mathopen {}\left]0,+\infty \right[\mathclose {}\), with minimum period \(2\pi k\). The function a controls the size of the regular polygon during the motion.
-
4.
Construct the desired curve as \(\alpha _{n,k}:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow {\mathbb {R}}^2\) given by
$$\begin{aligned} \alpha _{n,k}(t) = c(n\,t) + a(n\,t)\,(\cos t,\,\sin t). \end{aligned}$$ -
5.
The regular polygon of vertices \(\alpha \bigl (f^{i}(t)\bigr )\), \(i=0,1,\ldots n-1\), can be constructed with
$$\begin{aligned} f(t) = t+\frac{2\pi kj}{n}, \end{aligned}$$with \(j\in {\mathbb {N}}\) such that \(j<\frac{n}{2}\) and \(\gcd (n,j)=1\). The choice of j will determine if we get either a convex or some star polygon.
Example 1
Algorithm 1 gives an infinite number of possibilities for constructing curves where a regular polygon of variable side length can rotate during k full revolutions.
As an example, given \(k\in {\mathbb {Z}}\setminus \{0\}\), consider a parametric circle
as the curve of polygon centers, and let \(a:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow \mathopen {}\left]0,+\infty \right[\mathclose {}\) be the \(2\pi k\)-periodic function
We can thus construct the curve \(\alpha _{n,k}\) as in Algorithm 1, see some examples in Fig. 3.
Of course, the same procedure can be easily repeated for a different parameterization of the unit circle or taking any other parametric curve as the curve of polygon centers.
Theorem 2
Let \(n\in {\mathbb {N}}\), \(n>2\), and \(k\in {\mathbb {Z}}\setminus \{0\}\) such that \(\gcd (k,n)=1\). If \(\alpha \) is a \(\mathcal {C}^1\)-curve where a n-sided regular polygon, of a side length given by a \(\mathcal {C}^1\)-function, can rotate with an always-forward motion during k full revolutions and such that the vertices of the polygon divide the perimeter of \(\alpha \) into equal parts, then \(\alpha \) has rotational symmetry of an angle \(\frac{2\pi }{n}\).
Proof
By Theorem 1 we have that
where c is a closed curve in \(\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\), with \(2\pi k\) being the minimum period and a is a \(\mathcal {C}^1\)-function that is \(\frac{2\pi k}{n}\)-periodic and such that \(a(t)>0\) for all \(t\in \mathopen {}\left[ 0,2\pi k\right] \mathclose {}\). Thus,
so that
Since the regular polygon divides the perimeter of \(\alpha \) into parts of equal length, we have that \(\Vert \alpha '\Vert \) must be a \(\frac{2\pi k}{n}\)-periodic function. Indeed, we have
is constant for all \(t\in \mathopen {}\left[ 0,2\pi k\right] \mathclose {}\). Differentiating this expression, we deduce that
for all \(t\in \mathopen {}\left[ 0,2\pi k\right] \mathclose {}\).
Therefore, we deduce that
must be \(\frac{2\pi k}{n}\)-periodic. If \(c(t) = \bigl (x(t),\,y(t)\bigr )\), the expression above can be written as
Since a and \(a'\) are \(\frac{2\pi k}{n}\)-periodic and \(x'\) and \(y'\) are \(2\pi k\)-periodic, the previous function is \(\frac{2\pi k}{n}\)-periodic if and only if
Since \(n>2\) and \(\gcd (k,n)=1\), this holds if and only if
Moreover, evaluating (8) at \(t+\frac{2\pi k}{n}\), we also have
We can see Eqs. (8) and (9) forming a system of equations with unknowns \(x'(n\,t)\) and \(y'(n\,t)\). The determinant of the matrix A of this system of equations is
which is non-zero if \(n>2\). In such a case, the unique solution of the system is \(x'(n\,t) = y'(n\,t) = 0\), which produces a degenerated curve of polygon centers reduced to a point. Therefore the regular polygon is rotating through this point with a size according to the \(\frac{2\pi k}{n}\)-periodic function a. This implies that \(\alpha \) has rotational symmetry of an angle \(\frac{2\pi k}{n}\). Since the domain of \(\alpha \) is \(\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\) this implies that \(\alpha \) has rotational symmetry of an angle \(\frac{2\pi }{n}\). \(\square \)
Example 2
Let us illustrate Theorem 2 with some examples. Suppose that the curve of polygon centers is \(c(t) = (0,0)\), a point. Given \(k\in {\mathbb {Z}}\setminus \{0\}\), Consider the function \(a:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow \mathopen {}\left]0,+\infty \right[\mathclose {}\) defined by
which is \(\frac{2\pi k}{n}\)-periodic. Thus, the curves \(\alpha _{n,k}\) found by Theorem 1 are curves that have rotational symmetry of an angle \(\frac{2\pi }{n}\). See some examples in Fig. 4 for different number k of revolutions.
3 Curves where regular polygons of constant side length can rotate
As a direct consequence of Theorem 1 we directly obtain the following result by taking \(a(t) = a\) constant.
Theorem 3
Let \(n\in {\mathbb {N}}\), \(n>2\), and \(k\in {\mathbb {Z}}\setminus \{0\}\) such that \(\gcd (k,n)=1\). Any closed curve where an always-forward motion of a regular polygon of n sides of constant length is allowed and that makes k full revolutions can be parameterized as \(\alpha :\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow {\mathbb {R}}^2\) by
where \(a>0\) and \(c:\mathopen {}\left[ 0,2\pi k\right] \mathclose {}\rightarrow {\mathbb {R}}^2\) is a closed parametric curve with minimum period \(\frac{2\pi k}{n}\), regarded as the curve of polygon centers of \(\alpha \).
As it has been already remarked, Theorem 3 can also be deduced from the results of [18], where a different kinematics approach via movements is followed.
Now we are going to use Algorithm 1 taking \(a(t) = a\) constant to contruct examples of this kind of curves.
Example 3
Consider an arc-length parameterized unit circle given by \(c(t) = (\cos t,\,\sin t)\). The generated curve is
where \(a>0\) and \(n\in {\mathbb {N}}\), \(n>2\). Consider the case where the regular polygon makes just a full revolution, that is, \(k=1\). These curves are generalized polygonal Wankel engines according to [17] (see also [18]). Some generated curves by varying the value of the free parameter \(a>0\) are plotted in Fig. 5.
We have
It is easy to check that this expression equal to zero has real solutions if and only if \(a=n\). Thus, given any \(n\in {\mathbb {N}}\), \(n>2\), the curve \(\alpha _{n,1,a}\) is regular for all \(a\ne n\).
The curvature function of \(\alpha _{n,1,a}\) is
If \(a\le n\) or \(a\ge n^2\) then
and we have that \(\kappa _{\alpha }(t)\ge 0\) for all \(t\in \mathopen {}\left[ 0,2\pi \right] \mathclose {}\). The case \(a\le n\) corresponds to non-simple shapes which are rosettes. The case \(a\ge n^2\) yields convex curves. In each case, the rotation index of these curves can be checked out by computing a continuous primitive of \(\kappa _{\alpha }\Vert \alpha _{n,1,a}'\Vert \) and making the difference of its evaluation at the endpoints, namely \(t=2\pi \) and \(t=0\).
See in Fig. 6 the generated curve \(\alpha _{n,1,a}\) for the first value of \(a>0\) that yields a convex curve, which is \(a=n^2\), shown for different regular polygons.
The curve for \(a=n\) (the only singular curve, which makes the transition between non-convex curves and rosettes) turns out to be \((\phi ,\ell )\)-isochordal-viewed, where \(\ell \) is the side length of the regular polygon (triangle) and \(\phi = \frac{\pi }{n}\) (see an example in Fig. 7-middle). This means that the curve can be enveloped by a pair of lines making a constant angle \(\phi \) and such that at each position of these lines, their contact points with the curve are a constant distance \(\ell \) apart.
Indeed, if \(\textbf{t}_{n,a}\) is the tangent vector of \(\alpha _{n,1,a}\), where it can be defined, we can check that
where s(t) is a sign function, so that the angle between the tangent vectors to \(\alpha _{n,1,a}\) defined by the chord of side length \(\ell \) is either \(\frac{\pi }{n}\) or \(\pi -\frac{\pi }{n}\). Therefore, the angle between these tangent lines is \(\frac{\pi }{n}\).
Example 4
Now we will show how the parameterization of the curve C of polygon centers is very relevant for the constructed curve. Notice that there is no constraint on the way we parameterize the curve as long as it is \(2\pi \)-periodic (i.e., the parameterization of C is not necessarily injective). See in Fig. 8 three examples of curves \(\alpha _{n,1,a}\) for the following parameterizations of C:
In particular, as seen for \(c_1\), a reversal of the orientation of the parameterization produces, in general, a different curve.
Example 5
Consider an ellipse parameterized by \(c(t) = (2\cos t,\,\sin t)\) and \(k=1\). The generated curve is
See in Fig. 9 some generated curves by varying the value of the free parameter \(a>0\).
It can be easily proved that the curve \(\alpha _{3,a}\) is convex and regular if \(a>9\).
The parametric expression of the envelope \(\varepsilon \) defined by the chords of constant length can be computed explicitly. In the case \(n=3\), its curvature function can be written as
for \(t\in \mathopen {}\left[ 0,2\pi \right] \mathclose {}\).
The function
has an absolute minimum value of \(-24\) and an absolute maximum of \(\frac{627}{40} = 15.675\) in \(\mathopen {}\left[ 0,2\pi \right] \mathclose {}\). Therefore, the envelope is strictly convex (and regular) if and only if \(a>\frac{627}{40}\). Notice that in this case, the curve \(\alpha _{3,a}\) is convex as well. See in Fig. 10 some examples of these envelopes for different values of \(a>0\).
Remember that a convex body L is said to be an equichordal body for a convex body K if \(L\subset \text {int}\,K\) and every chord of K tangent to L has constant length. The authors of [9] raised the question if there exist convex bodies different from balls which possess an equichordal convex body in its interior. The interested reader can also see the paper [22] on the equichordal property.
From the construction of the envelope above, we have found an infinite number of explicit examples of convex bodies different from balls that have a equichordal convex body in its interior.
This construction can be repeated for any other integer \(n>3\) providing even more examples of this kind of curves.
Remark 2
Notice that from Theorems 1 and 3 the curve of polygon centers c and the generated curve \(\alpha \) are not necessarily simple. In particular, there could be segments of these curves which are multiple-traced when following the trajectory given by their parameterizations. Further, notice that the assumption of these statements on the always-forward motion (no stationary points) of the regular polygon is applied to the rotation of this polygon about its center. Nothing prevents that there could be stationary points for instance in the generated curve \(\alpha \). In fact, if we consider the curve of polygon centers \(c:\mathopen {}\left[ 0,2\pi \right] \mathclose {}\rightarrow {\mathbb {R}}^2\) parameterized by
and extended by periodicity to \({\mathbb {R}}\), then the curve \(\alpha _{n,a}\) that is found for \(n=3\) and \(a=1\) has stationary points, which is a classical example [8] of a curve where a regular triangle can rotate (see Fig. 11).
Now, using Theorem 2 we can directly get a characterization of the circle as follows.
Theorem 4
Let \(n\in {\mathbb {N}}\), \(n>2\), and \(k\in {\mathbb {Z}}\setminus \{0\}\) such that \(\gcd (k,n)=1\). If \(\alpha \) is a \(\mathcal {C}^1\)-curve where a n-sided regular polygon of constant side length can rotate with an always-forward motion during k full revolutions and such that the vertices of the polygon divide the perimeter of \(\alpha \) into equal parts, then \(\alpha \) is a circle.
Proof
We known by Theorem 2 that \(\alpha \) must have rotational symmetry of an angle \(\frac{2\pi }{n}\) with a(t) being the function that determines the distance of each point of \(\alpha \) to the center of symmetry. Since a(t) is constant in this case, we deduce that \(\alpha \) is a (possibly multiple traced) circle. \(\square \)
Finally, we revisit an expression that relates the algebraic areas (counted by sign and multiplicity) of curves where a regular polygon of constant side length can rotate along and the corresponding curve of polygon centers (see Fig. 12). A proof of this formula is given in [18] using a J. Steiner result and the Steiner point. Instead, we will prove it as a consequence of a classical kinematics theorem by Leudesdorf [11, 12].
Theorem 5
Let \(n\in {\mathbb {N}}\), \(n>2\), and \(k\in {\mathbb {Z}}\setminus \{0\}\) such that \(\gcd (k,n)=1\). If \(\alpha \) is a \(\mathcal {C}^1\)-curve where a n-sided regular polygon of constant side length is allowed to rotate with an always-forward motion during k full revolutions and c is the curve of polygon centers, then the algebraic areas of \(\alpha \) and c are related through
where a is the circumradius of the regular polygon.
Proof
Consider the motion of a moving plane over another fixed one making k full revolutions. Let A, B, C and P be four fixed points on the moving plane that, during the motion, will describe four closed curves over the fixed plane. Leudesdorf’s theorem [11] states that the areas of these four curves are related through the relation
where [x, y, z] are the barycentric coordinates of P referred to ABC as a triangle of reference (\(x+y+z=1\)) and T is the power of the point P to the circle rounding ABC.
In our case, let A, B and C be three vertices of the regular polygon and let P be the polygon center. Thus, since the three points describe the same curve \(\alpha \) and so the same area, we have
Since P is also the center of the circumscribed circle to the triangle ABC, which has radius a, then the power of P to this circle is simply \(-a^2\), from which the result follows. \(\square \)
Data Availability
No datasets were generated or analysed during the current study.
References
Bracho, J., Montejano, L., Oliveros, D.: Carousels, Zindler curves and the floating body problem. Period. Math. Hung. 49(2), 9–23 (2004)
Croft, H.T.: Convex curves in which a triangle can revolve. Math. Proc. Camb. Philos. Soc. 88(3), 385–393 (1980)
Fujiwara, M., Kakeya, S.: On some problems of maxima and minima for the curve of constant breadth and in-revolvable curve of the equilateral triangle. Tôhoku Math. J. 11, 92–110 (1917)
Goldberg, M.: Circular-arc rotors in regular polygons. Am. Math. Mon. 55, 393–402 (1948)
Goldberg, M.: Trammel rotors in regular polygons. Am. Math. Mon. 64, 71–78 (1957)
Goldberg, M.: Rotors tangent to \(n\) fixed circles. J. Math. Phys. 37, 69–74 (1958)
Goldberg, M.: Rotors in polygons and polyhedra. Math. Comput. 14, 229–239 (1960)
Hadwiger, H.: Ungelöste probleme Nr. 21. Elem. Math. 13, 128 (1958)
Jerónimo-Castro, J., Jimenez-Lopez, F.G., Morales-Amaya, E.: Some results about equichordal convex bodies. Discrete Comput. Geom. 70(4), 1741–1750 (2023)
Knauer, H.G.: Curves of constant width and \(\Delta \)-curves, Ph.D. thesis, California State University, Northridge (1978)
Leudesdorf, C.: Theorem in kinematics. Messenger Math. 7, 125–127 (1878)
Leudesdorf, C.: Note on the theorem in kinematics. Messenger Math. 8, 11–12 (1879)
Lumer, G.: Polígonos inscriptibles en curvas convexas. Rev. Un. Mat. Argent. 17, 97–102 (1955)
Lyusternik, L.A.: Geometric problem. Uspekhi Mat. Nauk 1(3), 194–195 (1946)
Martini, H., Montejano, L., Oliveros, D.: Bodies of Constant Width. An Introduction to Convex Geometry with Applications, Birkhäuser/Springer, Cham (2019)
Meissner, E.: Über die anwendung von Fourierreihen auf einige Aufgaben der Geometrie und Kinematik. Vierteljahresschr. Naturfor. Ges. Zürich 54, 309–329 (1909)
Molnár, E., Szirmai, J.: Generalized polygonal Wankel engines. Period. Polytech. Transp. Eng. 37(1–2), 29–32 (2009)
Müller, H.R.: Bewegungsvorgänge mit mehrfach durchlaufenen Bahnkurven. Monatsh. Math. 67, 326–334 (1963)
Rochera, D.: Regular polygons on isochordal-viewed hedgehogs. Aequationes Math. 96(6), 1285–1301 (2022)
Rochera, D.: An explicit characterization of isochordal-viewed multihedgehogs with circular isoptics. J. Math. Anal. Appl. 524(2), 127107 (2023)
Rochera, D., Bartoň, M.: On inverse construction of isoptics and isochordal-viewed curves. J. Comput. Appl. Math. 436, 115432 (2024)
Ryabogin, D.: On an equichordal property of a pair of convex bodies. Discrete Comput. Geom. 68(3), 881–901 (2022)
Salkowski, E.: Eine kennzeichnende Eigenschaft des Kreises, Sitzungsberichte der Heidelberger Akademie der Wissenschaften. Mathematisch-naturwissenschaftliche Klasse, pp. 57–62. (1934)
Wegner, F.: Floating bodies of equilibrium. Stud. Appl. Math. 111(2), 167–183 (2003)
Wegner, F.: From elastica to floating bodies of equilibrium, (2020) arXiv:1909.12596v4
Acknowledgements
The author wish to thank Jesús Jerónimo-Castro for some references and hints about the problem treated in this paper and also to an anonymous referee for pointing out the very relevant reference [18] and for his/her further recommendations.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Contributions
I confirm that the whole paper, from the conceptualization to the writing, is entirely my own work.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rochera, D. Curves that allow the motion of a regular polygon. Aequat. Math. (2024). https://doi.org/10.1007/s00010-024-01054-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00010-024-01054-4