Pretty 3D Polygons: Exploration and Proofs

Year: 2021 Authors: Melissa van Veenendaal; Tom Verhoeff

Core claim

Pretty 3D polygons with equal edge lengths, angles, and torsion exist in infinite and sporadic families, including reflection-symmetric cases.

Topics

3D polygons, torsion angles, symmetry, skew polygons

Domains

geometry, topology, group symmetry, mathematical art, sculptural design, geometric form

Methods

3D turtle geometry, constructive proof, symmetry analysis, example generation

Media

round beams, miter joints, wood, bronze

Paper text

The text below is the locally extracted OCR/Markdown version of the paper. Raw PDF files remain local and are not published here.

Bridges 2021 Conference Proceedings

Pretty 3D Polygons: Exploration and Proofs

Melissa van Veenendaal and Tom Verhoeff

Dept. of Math. & CS, Eindhoven University of Technology; T. Verhoeff@tue.nl

Abstract

We explore ‘pretty’ 3D (skew) polygons and prove their existence. These generalize the well-known regular 2D polygons. In 3D, an additional regularity condition is imposed: all edge torsion angles must be equal in absolute value. The torsion angle of an edge is the dihedral angle between the planes spanned by the edge and each of its two adjacent edges. We define an infinite family of pretty 3D polygons with both rotation and reflection symmetries. This resolves an open problem about the existence of certain pretty 3D polygons. Moreover we present some ad hoc specimens, including two trefoil knots, that do not have reflection symmetry. Finally, we present some pretty 3D polygons that can be morphed while preserving their prettiness.

Introduction

Koos Verhoeff [4] was a mathematical artist known in particular for his sculptures based on closed spatial paths constructed from beams with a polygonal cross section connected by miter joints (Fig. 1). His design challenge for such paths was to ensure that the longitudinal edges of the beams properly connect across all joints [5]. It is easy to make all-but-one of the connections proper miter joints: just start with a segment, and repeatedly connect the next segment with a proper miter joint. The last joint that closes the loop, however, will generally not be proper, because the cross section will have accumulated a rotation, also known as torsion (defined below). In order for the last connection to be a proper miter joint, the total torsion angle must be a rotational symmetry of the cross section (e.g., a multiple of in case of a square cross section).

Koos used various techniques to control the torsion. Let’s first define this torsion. The torsion angle of edge in a polygonal path is the directed dihedral angle between the plane passing through and the plane passing through , where the angle’s sign is determined by the right-hand rule when rotating plane toward plane about vector . The total torsion of a closed polygonal path is the sum of the (directed) torsion angles over all edges of the path.

img-0.jpeg Figure 1: Design types in sculptures by Koos Verhoeff (left to right): Bicolored Torus Path (ad hoc, wood, ); Ovonde (FCC lattice, stainless steel, ); (constant torsion, bronze, )

img-1.jpeg

img-2.jpeg

Initially, Koos approached torsion control in an ad hoc way (Fig 1, left), where he tinkered with the positions of the points, preserving certain design parameters such as symmetries, until ‘it worked’ [5]. Next,

he restricted the paths to lattices (Fig 1, center), where joint angles and torsion angles are severely constrained. A particularly elegant approach uses skew miter joint, where (unlike regular miter joints) the cut face does not lie in the bisector plane of the joint angle [5, 9]. Finally, Koos used paths with constant torsion (Fig 1, right), where all torsion angles are equal in absolute value and correspond to a rotational symmetry of the beam’s cross section [6].

The designs described in [6], however, are based on numerical approximations of ‘solutions’ whose mathematical existence was not proven there. When those approximate ‘solutions’ are constructed in wood, they are sufficiently precise that we do not notice the issue. We did have confidence in their existence, but a proof has eluded us for a long time. In this paper, we prove the existence of such ‘pretty’ constant-torsion polygons. There is some overlap with [6], but the next section makes the paper self-contained.

Definitions

What does it mean that a closed polygonal path in 3D is pretty? This is easy to explain by extending 2D turtle geometry [1] to 3D, following [3]. At each moment in time, the state of the 3D turtle is captured by its position, a vector , and two orthogonal unit vectors (heading) and (normal). Its initial state is given by . For convenience, its port (left-side) vector is defined by (cross product), so that vectors form a right-handed orthonormal system (initially, ). The 3D turtle obeys the following three commands.

  • (move along by distance ):
  • (turn about by angle ):
  • (roll about by angle ):

A turtle program is a sequence of turtle commands. A program is called closed when final and initial positions are equal. It is called properly closed when final and initial states are equal. For convenience, we introduce the abbreviation , pronounced segment, defined by (note the order: roll occurs before turn). The path of a turtle program consists of all the points it visits.

As proven in [3], each properly closed turtle program is congruent to a turtle program of the form visiting vertices , where

  • (these roll angles are the edge torsion angles)
  • (negative are not needed; just roll the turtle upside down)
  • lies on the open -half-line, and
  • lies in the open -half-plane.

In [6], regular 2D polygons are generalized to 3D by imposing the following conditions on program above.

  1. All are equal (a.k.a. equilateral), and without loss of generality ( is just a scaling factor).
  2. All are equal (a.k.a. equiangular).
  3. All are equal (we call this equitorsal; without this condition, too much is possible).

We will call these pretty 3D polygons. For , the path is a regular 2D polygon. For and all roll signs equal, generates a discrete helix (zigzag if ) that cannot close. The absolute value in the roll angle condition was introduced to allow interesting closed designs. Later, we will similarly relax the turn angle condition. Observe that when constructing a pretty 3D polygon with round beams and miter joints, all the pieces are congruent (possibly mirror images). Our research question is: For what parameter combinations do non-planar pretty (skew) polygons exist, preferably with nontrivial rotation symmetries? In the conclusion, we relate this to regular skew polygons.

Pretty 3D Polygons: Exploration and Proofs

Sufficient condition: an infinite family of pretty 3D polygons

Given turn angle \varphi > 0 , absolute roll angle , and sequence of roll angle signs (+ or -), we denote by (pretty polyline) the 3D turtle program . This program generates a pretty polygon provided it is properly closed. For instance, is a pretty polygon on the cube, visiting six vertices, avoiding two diametrically opposite vertices, also known as a zigzag polygon or antiprismatic skew polygon.

Koos Verhoeff explored various sign patterns for , some of which are described in [6]. He considered the function that maps turn angle to the distance between the initial and final position of program . Observe that gap is a continuous function, since it is a (complicated) algebraic expression in (co)sines (Fig. 2, right). By plotting its graph you can see where it might have zeros (Fig. 2, left). But in most cases it is not clear that these are true zeros, because the continuous function gap is nonnegative, and hence we cannot apply the Intermediate Value Theorem. Phrased differently, the three position coordinates need to be zero simultaneously. Koos constructed his sculptures from numerical approximations of those conjectured zeros. Moreover, note that a zero gap implies closure but not necessarily proper closure, as illustrated in [6].

img-3.jpeg Figure 2: Left: gap and final position of ; right: formula for final position as function of , obtained via Mathematica

The designs of Koos involve sign sequences that are three, four, or five repetitions of a motif (the period). His motifs also seem to have some internal structure (more about this in a moment). The resulting pretty polygons have rotations and reflections as symmetries. The key ingredient in understanding these designs turns out to be the reflection symmetries. To define the relevant structure of the motifs, we introduce three auxiliary functions on sign sequences:

with all roll signs in reverse order

with all roll signs flipped

(this is the same as )

Functions rev, flip, and refl are involutions, i.e., their own inverse.

Koos’ motifs have the property , which we call symmetric. Examples from [6] are: , , , . Note that if and only if there exists a sign sequence such that , where juxtaposition denotes concatenation of sequences. We call such a a base of the motif. Note that motifs for which base is reversal symmetric (a palindrome, i.e., ), generate pretty polygons with an additional rotoreflection symmetry, as illustrated in Fig. 1 (right). Also

van Veenendaal and Verhoeff

observe that since a motif is to be repeated cyclicly, cyclic rotations of a motif are equivalent (give rise to congruent paths). E.g., motif is equivalent to , , and , but only two of these are refl symmetric. Also the reversal of a motif will generate a congruent path.

We will prove that for any refl-symmetric motif (or equivalent motif) and any roll angle , there exist infinitely many numbers and non-trivial turn angles such that is a pretty polygon. In fact, we will prove something more general. We generalize , flip, and refl to arbitrary turtle programs :

with its move/turn/roll commands in reverse order

flip(q) = q with all its roll signs flipped

(this is the same as )

These generalized functions are also involutions.

Reflection Lemma Let be a turtle program, and let and be the position and heading after . Program generates a path that has a reflection symmetry, with reflection plane passing through and perpendicular to . Let be the final state after . Then is the reflection of the initial turtle state. Fig. 3 illustrates this for . Hence, . For details see the supplementary material.

img-4.jpeg Figure 3: Reflection Lemma: path of (left); path of (center); path of with reflection plane (right)

img-5.jpeg

img-6.jpeg

Repeated Reflection Theorem Let be a turtle program, and let . Consider program executed times, i.e., . Since , we can repeatedly apply the Reflection Lemma, and we see that the path generated by consists of copies of the -path rotated about the intersection of the reflection planes for and for . The rotation angle is twice the angle between these reflection planes. Since the angle between the reflection planes is a continuous function of each of the command parameters in , we can vary (one of) those parameters to make the rotation angle a fractional multiple of , i.e., . Consequently, the program produces a path that wraps times around the rotation axis and then closes properly.

Fig. 4 illustrates this for defined above, where the scene has been rotated so that the rotation axis is vertical. The angle was chosen such that the angle between the reflection planes equals . This means that three repetitions gives a properly closed path, thus a pretty polygon, with threefold rotation symmetry and reflection symmetry.

Corollary We now apply this to the program where for some (roll) sign sequence . In order to apply the Repeated Reflection Theorem, we need to find an appropriate ‘half

Pretty 3D Polygons: Exploration and Proofs

img-7.jpeg Figure 4: Repeated Reflection Theorem: refl(q) and 2 mirrors (left); (center); top view (right)

img-8.jpeg

img-9.jpeg

period’ . It is not , because . From [3], we know that in a properly closed program, we can cyclicly shift the commands, without affecting the shape of the path. Moreover, observe that . Let . Next, define , that is, we have cycled half of the trailing turn command to the front. We now have that is properly closed if and only if is properly closed. Finally, observe that , because , i.e., rotation and translation about/along the same axis commute. So, we can apply the Repeated Reflection Theorem to . Consequently, for sufficiently large, there exist and for which is properly closed.

img-10.jpeg Figure 5: Plot of rotation angle as function of for prp (left: 3D; right: contour)

img-11.jpeg

Fig. 5 shows the rotation angle as function of turn/roll angles for roll signs . For (marked by cross hair), the rotation angle is . The exact formula for obtained via Mathematica is . The resulting pretty polygon is shown in Fig. 1 (right) with a square beam.

van Veenendaal and Verhoeff

Other Solutions

Besides the infinite family of pretty polygons described in the preceding section, there are also other constructions. Consider turtle program . We now study properties of , i.e., repeated times. According to Chasles’ Theorem the final state after can be obtained by a single screw operation applied to the initial state. That is, there exist a (directed) rotation axis (say given by unit vector and point ), a (signed) rotation angle (say ), and a (signed) translation distance along that same axis (say ), such that the final state is obtained by rotating the initial state about at over angle and translating it by (see Fig. 6, left). Therefore, program forms a helix around the axis. Compare this to the Looping Lemma of [1] for 2D turtle geometry.

img-12.jpeg Figure 6: Chasles’ Theorem applied to prp (left); trefoil knot in the SC lattice prp (middle); trefoil knot prp (right)

Program is properly closed when ‘s translation distance and simultaneously ‘s rotation angle is a multiple of . Thus, we know when is a pretty polygon with an order rotation symmetry. The question is whether such exist. Fig. 6 (middle) shows an example: is a pretty trefoil knot in the SC lattice, where the helix axes are in BCC [7, 8].

img-13.jpeg Figure 7: Contour plots for rotation angle (left) and (0.5-clipped) translation distance (right) for prp ; in both plots, point , is marked by a cross hair

img-14.jpeg

Pretty 3D Polygons: Exploration and Proofs

For refl-symmetric roll sign sequences , the translation distance equals 0 independent of . We have not found a general construction for arbitrary , but we now show that sporadic solutions exist. Consider . Fig. 7 shows contour plots for rotation angle (left) and translation distance (right) for this program . By continuity of the contour lines, there exists at least one exact intersection point for the contours of and . For , the rotation angle and translation distance (marked by cross hairs). The resulting pretty polygon turns out to be a (nother) trefoil knot (Fig. 6, right). It has 21 edges, and order-2 and order-3 rotation symmetry, but no reflection symmetry.

Pretty polygons with a refl-symmetric roll sign pattern can be morphed by continuously varying their turn and roll angles, such that the angle between the reflection planes is constant; i.e., by following a contour line with constant (cf. Fig. 5 and 8 left). The supplementary material shows an animation of such morphing for for and for . The latter resembles the folding of a closed strip, from a single loop (winding number 1) to a triple loop (winding number 3).

Varying the signs of the turn angles

Instead of keeping the turn angles fixed and varying the signs of the roll angles, it is also possible to investigate 3D polygons where the turn angle signs vary and the roll angles are fixed. Equivalently, the turn angle signs are fixed, but the roll angles are either or (for , this reduces to positive/negative roll angles). For instance, paths in the triamond (a.k.a. K4, (10, 3)-a, Laves) lattice have edges of unit length, turn angles of , and roll angles of (or for the mirrored triamond lattice). The shortest cycle in the triamond lattice has length ten, with turn signs . Fig. 8 (right) shows this polygon in two forms: using the MathMaker kit [9] and using Bamboozle triangles [8]. The MathMaker construction kit has building blocks made from -rectangular beams cut at , producing square cut faces, allowing regular miter joints at and skew miter joints at . There are two types of building block: trapezoids and parallelograms. When connected only by skew miter joints, the torsion angles can be restricted to , thus allowing to construct all paths in the triamond lattice. The equilateral triangles in the Bamboozle connect at dihedral angles of , and thereby act as the angle-spanning planes, in which the turtle turns.

img-15.jpeg Figure 8: Contour plot of for ; 10-edge skew polygon in triamond lattice with turn signs , from MathMaker blocks and Bamboozle triangles (right)

img-16.jpeg

Conclusions

We defined pretty 3D polygons as equilateral, equiangular, and equitorsal (skew) polygons. When constructing a pretty polygon from round beams and miter joints, all beam segments are congruent. We proved the existence of an infinite family of pretty polygons, including the ones designed by Koos Verhoeff, where the sequence of roll signs is refl symmetric. We also showed some sporadic pretty polygons. Pretty polygons based on a refl-symmetric roll sign sequence can be morphed while preserving prettiness.

Related to this are so-called regular skew polygons, which are equilateral and vertex-transitive (every vertex can be mapped to every other vertex by a symmetry, a.k.a. isogonal). Regular skew polygons are zigzag (antiprismatic), and hence pretty with roll sign pattern .

For future work we want to look into (avoidance of) self intersection. Another interesting question is to characterize all 3D polygons that can be constructed from round beams with miter joints, where all pieces are congruent. In this case, there could be two different turn angles that alternate. Planar polygons where turn signs vary according to a pattern are also interesting to study; e.g., with turn angle outlines a plus sign. Further details can be found in [2].

References

  • [1] H. Abelson and A. diSessa. Turtle Geometry: The Computer as a Medium for Exploring Mathematics. The MIT Press, 1986
  • [2] M. van Veenendaal. “Closed Polygonal Paths with Nontrivial Symmetries in 2D and 3D.” Master’s thesis. Eindhoven University of Technology. 2021
  • [3] T. Verhoeff. “3D Turtle Geometry: Artwork, Theory, Program Equivalence and Symmetry.” Int. J. of Arts and Technology, vol. 3, no. 2/3, 2010, pp. 288–319
  • [4] T. Verhoeff. “Some Memories of Koos Verhoeff (1927 – 2018).” Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture, E. Torrence, B. Torrence, C. Séquin, and K. Fenyvesi, Eds. Phoenix, Arizona: Tessellations Publishing, 2018, pp. 3–6, available online at http://archive.bridgesmathart.org/2018/bridges2018-3.pdf
  • [5] T. Verhoeff and K. Verhoeff. “The Mathematics of Mitering and its Artful Application.” Bridges Conference Proceedings, Leeuwarden, the Netherlands, Jul. 24–29, 2008, pp. 225–234. http://archive.bridgesmathart.org/2008/bridges2008-225.html
  • [6] T. Verhoeff and K. Verhoeff. “Regular 3D Polygonal Circuits of Constant Torsion.” Bridges Conference Proceedings, Banff, Canada, Jul. 26–30, 2009, pp. 223–230. http://archive.bridgesmathart.org/2009/bridges2009-223.html
  • [7] T. Verhoeff and K. Verhoeff. “From Chain-link Fence to Space-Spanning Mathematical Structures.” Bridges Conference Proceedings, Coimbra, Portugal, Jul. 27–31, 2011, pp. 73–80. http://archive.bridgesmathart.org/2011/bridges2011-73.html
  • [8] T. Verhoeff and K. Verhoeff. “Folded Strips of Rhombuses and a Plea for the Rhombus.” Bridges Conference Proceedings, Enschede, the Netherlands, Jul. 27–31, 2013, pp. 71–78. http://archive.bridgesmathart.org/2013/bridges2013-71.html
  • [9] T. Verhoeff and K. Verhoeff. “Hopeless Love and Other Lattice Walks.” Bridges Conference Proceedings, Waterloo, Ontario, Canada, Jul. 27–31, 2017, pp. 197–204. http://archive.bridgesmathart.org/2017/bridges2017-197.html

0 items under this folder.