從單一圖形到無盡的花樣
在上一篇裡，你看著單一有界圖形的 對稱群 成形：把每一個將該圖形映到自身的 等距變換 蒐集起來，這些變換便構成一個群——對合成封閉、每個動作都可還原。對一個正方形，這個群有八個元素；對一片雪花，十二個。現在我們做一個關鍵的改變：不再是單一磁磚，而是想像一個在一或兩個方向上永遠延伸下去的花樣。一個有界圖形無法靠 平移 移動後又落回自身，但一條由相同腳印組成的無盡條紋卻可以。這個單一的新成分——一個本身就是對稱的真正平移——改變了整個故事。
不過，可能的對稱種類並沒有變多。你在前兩篇遇到的分類依然成立：每一個平面等距變換都是平移、旋轉、鏡射，或 滑移鏡射——沒有別的了。所以一個重複花樣的對稱群完全由這四種動作組裝而成。讓這個主題變得犀利而有限的，是平移與其他對稱無法自由地任意搭配。它們彼此制約，而正是從這些制約之中，落出了本篇所要談的那些簡短而完整的清單。
帶飾：只有一個重複方向的花樣
從最簡單的無盡情形開始——帶飾，就是沿著牆頂或繞著花瓶跑的那種裝飾邊條，恰好在一個方向上重複。它的對稱群是一個 帶飾群。依定義，它總是包含沿條紋方向的平移，而這些平移全是某個最短平移的整數倍；那個最短的步伐就是花樣的重複單元。問題在於：還有什麼能成為對稱，而不破壞這條條紋？這個誠實的限制是幾何的：任何額外的對稱都必須把這條無盡的水平條紋映到自身，所以它只能是一個跨過條紋中心線的水平鏡射、一個垂直切過條紋的線上的垂直鏡射、一個半圈轉（180 度的 旋轉），或一個沿條紋方向的滑移鏡射。
把這些哪些能共存逐一推敲清楚，得到一個乾淨的結果：帶飾群恰好有七種，不多也不少。一串只是向前邁步、左右左右的腳印，實現了其中之一——它有平移和一個滑移鏡射，卻沒有鏡面。一列重複的大寫字母 A，AAAA，實現了另一種——每個 A 有一條垂直鏡面，所以整條條紋也有。一列 H 是最豐富的，同時帶著水平鏡面、垂直鏡面與半圈轉。重點不是把七種全背下來，而是去感受這份清單為何會封閉：只有四種額外動作被允許，而它們只能以彼此相容的組合方式開啟或關閉。
壁紙：兩個方向，十七個群
現在讓花樣在兩個獨立方向上重複，像壁紙或地磚那樣鋪滿整個平面。它的對稱群是一個 壁紙群，而它必須包含沿兩個不平行方向的平移——兩個最短步伐，其整數組合能把花樣的每一格搬到另一格。在這些平移之上，你可以疊加旋轉、鏡射與滑移鏡射，和先前完全一樣，但如今在二維的格子裡，限制更緊也更豐富。這個了不起的定理，於十九世紀獲證、且是結晶學的核心，說的是：壁紙群恰好有十七種。曾經被畫出來的每一個週期性平面花樣——伊斯蘭幾何鑲嵌、艾雪那互相咬合的蜥蜴、一面磚牆、一張蜂巢——它的對稱群都是這十七種裡的一個。
十七之所以小，有一個值得明白道出的理由：二維的平移晶格嚴重限制了哪些旋轉能夠出現。整個分類背後最深的單一事實，就是 結晶學限制——在一個沿兩個方向重複的花樣裡，唯一可能的旋轉對稱是 360、180、120、90 或 60 度，也就是階數為 1、2、3、4 或 6 的旋轉。五重旋轉對稱、七重、以及一切大於六的階數，對一個重複花樣而言都被斷然禁止。你永遠無法用正五邊形鋪出一片其花樣會重複的地板；那道算術不會允許。
為何五重對稱不可能
這個限制是整道階梯中少數證明真的很初等的結果之一，所以我們不妨真的看一遍，而不只是斷言它。這個論證是一個簡短的反證法（歸謬法）的不可能性證明，和你在「化圓為方被排除」時遇到的同一種風味：假設那個被禁止的對稱存在，再看著它生出比「最小可允許之物」還小的東西。在這裡，最小可允許之物就是最短的平移，即花樣的最小重複距離。
- 假設花樣有一個繞某中心、階數為 n 的旋轉，並令 d 為花樣中最短的平移距離。取兩個恰好相距 d 的旋轉中心 A 與 B——平移對稱保證了存在一整格等價的中心，所以其中兩個恰好坐在這個最小距離上。
- 把 B 繞 A 轉過該旋轉角，得到新中心 B'；把 A 繞 B 轉過同一角度，得到 A'。因為 A 與 B 是同階的對稱中心，B' 與 A' 也都是花樣真正的旋轉中心，所以距離 |A'B'| 是 d 的某個整數倍——它不能是非整數倍，否則它就會勝過 d 而成為更短的平移。
- 現在做三角計算。對一個五重旋轉（72 度），這個構造會讓 |A'B'| 算出來比 d 短卻不為零——一個嚴格介於 0 與假定最小值之間的平移。這是一個徹底的矛盾，所以階數 5 不可能。把同樣的計算跑一遍，只有 n = 1、2、3、4、6 存活下來；n = 5 以及一切大於 6 的 n 都以同樣的方式失敗。
這就是「為何壁紙群是十七個而非更多」的整個核心：可允許的旋轉階數被釘死在五個值上，再從這寥寥幾個選擇，配上可能的鏡面與滑移，完整的計數便隨之而來。這個論證誠實而有限，也是「把對稱當成 等距變換的分類 而非含糊的美感」這一觀點最乾淨的回報之一。
鋪磚：用磁磚覆蓋平面
壁紙的近親是鋪磚，或稱 鑲嵌：用磁磚把整個平面覆蓋起來，不留空隙也不重疊。最乾淨的情形使用單一種 正多邊形，邊對邊地重複——稱為 正鑲嵌。在這裡，你早已掌握的一小段角度算術就解決了一切。在每一個頂點，磁磚的各角必須恰好加起來等於 360 度，而邊數越多的正多邊形，內角越大。正三角形的角是 60（六個繞一點），正方形是 90（四個），正六邊形是 120（三個）。正五邊形的內角是 108 度，用它去除 360 只得到三又三分之一次——它無法在一個頂點周圍湊出整數個副本，所以正五邊形無法鋪滿平面。
所以平面的正鑲嵌恰好有三種：以三角形、以正方形、以六邊形——蜂巢正是大自然的選擇。這是一份真正完整的清單，完全由 360 的除數條件所逼出。但要小心別把話說過頭。「只有三種鋪磚」這個說法，嚴格只適用於正多邊形、全為同一種、且邊對邊相接的情形。放掉其中任一條件，世界就打開了：混用兩種形狀，你會得到八種半正鑲嵌；允許不規則磁磚，則有無窮多種。著名的是，每一個三角形都能鋪滿平面，每一個四邊形也都能，不論凸或凹。這個限制就藏在「正」這個字裡，而誠實地把它說清楚，正是逐篇細究的全部用意。
當重複失效時：非週期鋪磚
還有最後一個誠實的轉折，而它最令人驚訝。以上一切都假設花樣終究會重複——也就是它有平移對稱。但一組磁磚可以被迫鋪滿平面，卻從不重複。著名的例子是 彭羅斯鋪磚，僅由兩種菱形（或在另一個版本中，一個風箏與一個飛鏢）構成。配上正確的邊緣配對規則，這些磁磚覆蓋整個平面，然而沒有任何平移能把完成的花樣映到自身——任何地方都沒有重複單元。這樣的鋪磚被稱為非週期的。
這裡有個美麗的、藏在結尾的螫刺。正因為彭羅斯鋪磚不重複，結晶學限制對它並不適用——而它能夠、也確實展現出五重旋轉對稱，正是普通壁紙所被禁止的那樣東西。這並非矛盾；這是那條限制的細則被看見了。五重對稱之所以不可能，只是針對具有平移對稱的花樣。拿掉「必須重複」這個要求，那扇被不可能性證明閂死的門，便悄悄重新打開。在 1980 年代，人們發現了一種叫做準晶的實際材料，其原子正是以這種非週期、五重的方式排列，把一塊純粹的鋪磚幾何，變成了化學裡真實的一章。