一面鏡子，反覆使用，就夠了
在本段的前兩篇裡，你蒐集了平面的四種剛體運動——平移、旋轉、反射與滑動反射——並學會把它們合成。現在來的是把整個主題綁在一起的關鍵句。這四者之中，有一個其實是其餘的父母。反射——對著一條線那謙卑的一翻——正是能用來組裝出平面上每一個等距變換的唯一基本零件。這就是三反射定理所主張的：每個平面等距變換都是至多三次反射的乘積。
你為何該相信這件事？從最簡單的情形開始，用手去感覺它。把一張紙舉到窗前，沿一條鉛直線把它左右一翻：那是一次反射，紙上的字現在反著讀。再沿同一條線翻回去，你就回到原處了。但第一個驚奇來了——沿一條鉛直線翻，再沿第二條、稍微靠右的平行鉛直線翻。紙現在又正面朝前了（兩次翻轉抵消了反向），可是它已經往旁邊移了。連續兩次反射、對著兩面平行的鏡子，造出了一個純粹的平移。
兩面平行鏡子造出平移
讓我們把那個紙的實驗弄精確，因為數字很乾淨，而且能把這個想法徹底釘住。放兩條平行的鏡線 m 與 n，相距 d，n 在 m 的右邊。取任一點 P，先對 m 反射得到 P_1，再把 P_1 對 n 反射得到 P_2。對一條線反射會保住一個點的高度、只改變它相對於那條線的左右位置，所以整個運動是一個水平的平移。美妙的事實在於它滑多遠：P 恰好往右移 2d——鏡子間距的兩倍——不論 P 起初在哪裡。
mirror m at x = 0, mirror n at x = d start: P = (x, y) reflect across m: P_1 = (-x, y) reflect across n: P_2 = (2d - (-x), y) = (x + 2d, y) net effect: (x, y) -> (x + 2d, y) a slide of 2d to the right
那段小小的計算裡有三件事值得留意。起始座標 x 完全消掉了，這正是為何結果是一個道道地地的平移——每個點都依同一個向量移動。這個平移垂直於兩面鏡子，並從第一面鏡指向第二面鏡。而距離是 2d、不是 d：每次反射各貢獻自己的一份。把順序倒過來——先對 n 反射再對 m——你就改成往左滑 2d。所以兩次反射的合成不可交換；鏡子的順序決定了行進的方向。
兩面相交鏡子造出旋轉
現在把第二面鏡子傾斜，使兩條線不再平行、而是在一點 O 相交，夾角為 theta。先對第一條線反射，再對第二條線反射。點 O 同時落在兩面鏡上，所以每次反射都把它固定不動——而一個有不動點的非恆等等距變換只能是繞那個點的旋轉（或一個反射，但兩個反射合在一起會保住左右手性，排除了翻轉）。所以兩面相交的鏡子合成為一個繞它們交點 O 的旋轉。依照我們在平行線那裡見到的同一個加倍，旋轉角是 2 * theta——兩面鏡夾角的兩倍。
這條「兩倍角」法則是「兩倍距離」法則的旋轉版孿生兄弟，兩者合起來就是整個定理的核心。一個四分之一轉（90 度）是兩面夾 45 度的鏡子之反射；一個半轉（180 度）是兩面互相垂直的鏡子之反射。這兩條法則也乾淨地解釋了一個極限情形：當你把交點 O 推到無窮遠，兩面鏡子變得平行，旋轉就「展開」成一個平移。在這個誠實的意義下，平移就是繞一個無窮遠處的點的旋轉——平移與旋轉並非兩種互不相干的運動，而是「兩次反射」的兩張面孔。
數反射次數：奇偶不變量
每次反射都把左右對調——它把一隻左手變成一隻右手，逆轉定向。把兩次反射合成，左右手性翻轉了兩次，於是又回到正常：平移與旋轉保住定向，這就是它們被稱為正向等距變換的原因。把奇數次反射合成，最終結果逆轉左右手性；這些是反向等距變換——一次反射，或一個滑動反射。這給了你一個能用肉眼施行、犀利又可靠的檢驗：這個運動把一個圖形變成它的鏡像了嗎，還是沒有？
深層的重點是，這個奇偶——反射次數的偶或奇——是一個誠實的、屬於等距變換本身的不變量，而非屬於你碰巧怎麼把它寫出來。你也許用許多不同的方式、不同的鏡線把一個運動分解成反射，但次數總是要嘛恆為偶、要嘛恆為奇；你絕不可能把一個旋轉寫成三次反射、或把一個滑動反射寫成兩次。這正是為何「至多三次」分得這麼整齊：偶等距變換（恆等、平移、旋轉）取 0 或 2 次反射，奇等距變換（反射、滑動反射）取 1 或 3 次。沒有需要 3 次的偶等距變換、也沒有需要 2 次的奇等距變換——奇偶禁止了它。
三面鏡子與完整分類
那三次反射呢？奇數次代表一個反向等距變換，而我們只有兩種反向的。若三條鏡線全通過同一點、或全平行，這個合成就塌回成單一一次反射。但在一般情形——三條處於一般位置的線——這三次反射合成為一個滑動反射：對某條線翻轉，再沿同一條線滑動，正是你在第二篇以「沙上腳印」研究過的那個運動。所以三次確實是需要的；滑動反射是那個無法用少於三面鏡子造出的等距變換。
退一步，整片地景便豁然映入眼簾——這就是平面等距變換的分類，而反射次數把它組織得完美無瑕。把下面這張表讀成一份完整的普查：平面上每一個剛體運動，毫無例外，恰好是這四種類型之一（把恆等變換算作一個平凡的平移），而你可以靠數反射次數、查不動點來判斷是哪一種。再沒有別的了。一份曾看似四個鬆散相關把戲的清單，原來是一個整潔、有限、被完全理解的家族。
reflections | orientation | fixed points | isometry
------------+-------------+---------------------+-------------------
0 | preserved | every point | identity
1 | reversed | a whole line | reflection
2 | preserved | one point (O) | rotation about O
2 | preserved | none (parallel m,n) | translation
3 | reversed | none | glide reflection為何這重要：幾何底下的代數
把一切化約成反射不只是整齊的記帳——它改變了你能算什麼。直接合成「先旋轉、再平移、再旋轉」是個頭痛的事，但把每一個都改寫成反射，再運用那份自由去對齊一面共用的鏡子、讓相鄰的兩次反射相消，一長串就熔縮成它真正的簡短形式。分類表保證凡是倖存下來的，必定是五個結果之一，所以你還沒算完就已經知道答案的形狀。這就是鏡射分解是一件可用工具、而非僅僅一個漂亮事實的實際理由。
讓我誠實地談談範圍，秉持整座階梯的精神。三反射定理的完整嚴謹證明需要一個謹慎的引理——平面的一個等距變換，由它把任意三個不共線的點送到哪裡所完全決定——再加上一段簡短的論證，用至多三次反射把那三個點對齊。我們已忠實地把機制展示給你、並親手驗證了關鍵情形，但滴水不漏的版本屬於一門以證明為主的初階課程。不過，你現在握住的圖像是真的：反射生成一切，而它們的次數是一枚誠實的指紋。
最後一條要往前帶的線索。因為反射生成每一個等距變換，所有等距變換的集合便構成一個單一、緊密交織的代數系統，其中反射就是生成元。那個系統是一個群，而任何特定圖形——一個正方形、一張壁紙圖案、一片雪花——的對稱，正是那些把它映回自身的等距變換。緊接著的下一篇就打開那扇門：它研究一個圖形的對稱群，而你會發現，那裡的一切到頭來也都回到了鏡子。