This paper concerns iterations of two classical geometric constructions, the evolutes and involutes of plane curves, and their discretizations: evolutes and involutes of plane polygons. In the continuous case, our main result is that the iterated involutes of closed locally convex curves with rotation number one (possibly, with cusps) converge to their curvature centers (Steiner points), and their limit shapes are hypocycloids, generically, astroids. As a consequence, among such curves only the hypocycloids are homothetic to their evolutes. The bulk of the paper concerns two kinds of discretizations of these constructions: the curves are replaced by polygons, and the evolutes are formed by the circumcenters of the triples of consecutive vertices (P-evolutes), or by the incenters of the triples of consecutive sides (A-evolutes). For equiangular polygons, the theory is parallel to the continuous case: we define discrete hypocycloids (equiangular polygons whose sides are tangent to hypocycloids) and a discrete Steiner point. The space of polygons is a vector bundle over the space of the side directions; our main result here is that both kinds of evolutes define vector bundle morphisms. In the case of P-evolutes, the induced map of the base is 4-periodic, and the dynamics reduces to the linear maps on the fibers. We prove that the spectra of these linear maps are symmetric with respect to the origin. The asymptotic dynamics of linear maps is determined by their eigenvalues with the maximum modulus, and we show that all types of behavior can occur: in particular, hyperbolic, when this eigenvalue is real, and elliptic, when it is complex. We also study P- and A-involutes and prove that the side directions of iterated A-involutes of polygons with odd number of sides behave ergodically; this generalizes well-known results concerning iterations of the construction of the pedal triangle. In addition to the theoretical study, we performed numerous computer experiments; some of the observations remain unexplained.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Geometry and Topology
- Discrete Mathematics and Combinatorics
- Computational Theory and Mathematics