First two sections

2025-04-22 19:53:31 -07:00
parent 28aaf98594
commit 6e3c665e99
7 changed files with 335 additions and 0 deletions
--- a/src/Advanced/Wallpaper/parts/00
+++ b/src/Advanced/Wallpaper/parts/00
@ -0,0 +1,131 @@
+#import "@local/handout:0.1.0": *
+#import "@preview/cetz:0.3.1"
+
+= Wallpaper Symmetries
+
+#definition()
+A _Euclidean isometry_ is a transformation of the plane that preserves distances. \
+Intuituvely, an isometry moves objects on the plane without deforming them.
+
+There are four classes of _Euclidean isometries_:
+- Translation
+- Reflection
+- Rotation
+- Glide reflection
+#note([We can prove that there are no others, but this is beyond the scope of this handout.]) \
+A simple example of each isometry is shown below:
+
+#let demo(c) = {
+  let s = 0.5
+  cetz.draw.line(
+    (0, 0),
+    (3 * s, 0),
+    (3 * s, 1 * s),
+    (1 * s, 1 * s),
+    (1 * s, 2 * s),
+    (0, 2 * s),
+    close: true,
+    fill: c,
+    stroke: black + 0mm * s,
+  )
+}
+
+#table(
+  stroke: none,
+  align: center,
+  columns: (1fr, 1fr),
+  rows: (3.5cm, 3.5cm),
+  row-gutter: 2mm,
+  [
+    #cetz.canvas({
+      import cetz.draw: *
+
+      demo(ored)
+      translate(x: 0, y: -1.5)
+      demo(oblue)
+    })
+    #v(1fr)
+    Translation
+  ],
+  [
+    #cetz.canvas({
+      import cetz.draw: *
+
+      circle((-2, 0), radius: 0.1, stroke: none, fill: black)
+      arc(
+        (-2, 0),
+        radius: 1,
+        anchor: "origin",
+        start: 0deg,
+        stop: -30deg,
+        mode: "PIE",
+      )
+
+      demo(ored)
+      rotate(z: -30deg, origin: (-2, 0))
+      demo(oblue)
+    })
+    #v(1fr)
+    Rotation
+  ],
+
+  [
+    #cetz.canvas({
+      import cetz.draw: *
+
+      line((-2, 0), (4, 0))
+
+      translate(x: 0, y: 0.25)
+      demo(ored)
+      set-transform(none)
+
+      set-transform((
+        (1, 0, 0, 0),
+        (0, 1, 0, 0),
+        (0, 0, 1, 0),
+        (0, 0, 0, 1),
+      ))
+
+      translate(x: 0, y: 0.25)
+      demo(oblue)
+    })
+    #v(1fr)
+    Reflection
+  ],
+  [
+    #cetz.canvas({
+      import cetz.draw: *
+
+
+      demo(ored)
+
+      set-transform((
+        (1, 0, 0, 0),
+        (0, 1, 0, 0),
+        (0, 0, 0, 0),
+        (0, 0, 0, 0),
+      ))
+      translate(x: 1.5, y: 0)
+
+      demo(oblue)
+
+      set-transform(none)
+      line((-1, 0), (5, 0))
+    })
+    #v(1fr)
+    Glide reflection
+  ],
+)
+
+#definition()
+A _wallpaper_ is a two-dimensional pattern that...
+- has translational symmetry in at least two directions
+  #note([(and therefore fills the plane)])
+- has a countable number of reflection, rotation, or glide symmetries. \
+
+#problem()
+Is the empty plane a valid wallpaper?
+
+#solution([
+  No, since it has uncountably many symmetries.
+])