雙曲幾何基本構圖及變換在數學算板中的

實踐與應用

林保平
臺北市立大學數學系退休副教授

壹、雙曲幾何及其圓盤模型簡介 根據前者得出的幾何系統就是橢圓幾何

歐幾里得的《幾何原本》列出了五個 (Elliptic Geometry)； 根 據 後 者 推 論 出 來

公設： 的 幾 何 系 統 稱 為 雙 曲 幾 何 （ Hyperbolic

1. 相 異 兩 點 可 以 決 定 一 直 線 。 Geometry)。雙 曲 幾 何 有 許 多 不 同 的 呈 現 模

2. 直 線 的 兩 邊 可 以 無 限 延 伸 。 型，數學算板中使用龐加萊圓盤模型

3. 任 意 一 點 與 任 一 距 離 可 以 畫 出 一 （ Poincare's disk model） 作 為 雙 曲 幾 何 構

圓。 圖的基本模型。

4. 凡 直 角 皆 相 等 。
圓盤模型的點與線（H 點與 H 線）
5. 同 一 平 面 上 兩 線 被 一 直 線 所 截 ， 若
圓盤模型展示的幾何空間是一個圓的
某一側的兩個內角和小於二直角，
內部 || | 1, ∈ 。圓 內 的 點 就 是 雙
則這兩條直線會在該側相交。
曲 幾 何 的 點 (有 時 為 了 分 辨 會 稱 為 H 點 )，
公設的意思就是不必證明就認定其為
圓上的點不是雙曲幾何的點，稱為理想點
正確的定理。利用這五個公設及其他定義
(ideal point)， 數 學 算 板 會 將 理 想 點 以 中 空
和公理，歐幾里得導出了幾何原本中的定
的小圓表示。若一個圓與圓盤圓正交（過
理。前四個公設，淺顯可以同意它的正確
交點的兩圓切線互相垂直）
，此 圓 在 此 圓 盤
性，但是第五公設描述較為複雜，許多數
內部的弧（不含端點）就是雙曲直線（簡
學家企圖利用前四個公設來證明其正確
稱 H 直 線 ）， 兩 個 交 點 （ 端 點 ） 就 是 此 H
性，但都沒有人成功。第五公設，稱為平
直 線 的 理 想 點，我 們 說 此 H 線 通 過 這 兩 個
行 公 設 (Parallel Axiom)， 有 一 個 等 價 的 描
理 想 點。包 含 於 H 直 線 上 的 弧，若 端 點 都
述 -普 來 費 爾 公 理 （ Playfair's Axiom)：「 過
在圓內部，此弧稱為雙曲線段（H 線段，
直線外一點恰有一條直線與此直線平行」
。
含兩端點）
，若 一 端 點 是 理 想 點，另 一 端 點
雖證不出平行公設，有些數學家就試著改
是 H 點，則 此 弧（ 去 除 理 想 點 ）稱 為 雙 曲
變平行公設的內容，公設改成「過線外一
射 線（ H 射 線 ）。若 此 圓 圓 心 在 無 限 遠 處，
點沒有任何一條線會與此線平行」或「過
此正交圓可以看成一條通過圓盤圓心的直
線外一點至少有兩條直線會與此線平行」
，

- 16 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

線，前 述 的 H 直 線、H 射 線 或 H 線 段 就 變 以建構出來，圖 2 左圖展示的是 H 多邊

成線段，因此，H 線可能是弧或線段（含 形、M 為中心 N 為一頂點決定的正 H 多
。圖 1 展 示 的 就 是 圓 盤 模 型 及
或不含端點） 邊 形、A 為 圓 心 B 為 圓 上 點 的 H 圓，H 三
其 上 的 H 線（ H 線 段、H 射 線 及 H 直 線 ）
， 角 形 、 H 角 ； 右 圖 是 H 三 角 形 ABC 及 其
在數學算板中移動圖 1 左圖中的點使 H 線 內 切 H 圓 之 構 圖 過 程，其 中 AD、BD 為 角
通 過 圓 盤 中 心，此 時，可 看 出 H 線 實 際 上 平 分 線、DE 垂 直 AB。
（ 注 意：本 文 雙 曲 幾
可 以 是 一 條 線 段（ 含 或 不 含 端 點 ）
，理 想 點 何 的 H 物 件 有 時 省 略 H 字 ）。 由 於 雙 曲 幾
都 不 在 H 線 上。圖 1 右 圖 決 定 直 線 或 射 線 何兩點的距離定義與歐氏幾何不同，愈靠
的點牽涉理想點，因此作圖時，程式會標 近 圓 的 外 圍 兩 點 的 距 離（ H 線 段 長 ）越 大。
出 中 空 理 想 點，方 便 稱 呼 及 在 未 來 的 使 用。 H 圓與歐氏幾何的圓看來相同，但圓心的
圖 1 左圖的直線其決定是由圓中兩點決定 位 置 不 同，正 H 多 邊 形 的 邊 長 及 夾 角 都 相
因此其兩端沒有展示理想點。 同，但從歐氏觀點來看是不同的，底下我
有了 H 點和 H 線，其他 H 圖形就可 們先討論雙曲幾何的夾角與距離的定義。

圖 1 、 圓 盤 模 型 中 的 H 線 段 AB、 H 直 線 CD、 H 射 線 EF（ 上 及 中 圖 ）。 若 決 定 H 線 的 點

是 理 想 點 時，該 點 會 以 空 心 點 呈 現，如 右 圖 的 H、J、K、L，其 中 IJ 及 KL 為 H 直
線 ， GH 為 H 射 線 。

圖 2 、左 圖 為 H 多 邊 形、H 角 及 兩 點（ 圓 心 及 圓 上 點 ）決 定 的 H 圓，右 圖 為 H 三 角 形 及
其內切 H 圓之構圖

- 17 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

夾角與最小平行角 兩 H 點的雙曲距離 (H 距離）

(angle of parallelism) 設 A、B 為 兩 個 H 點，C、D 為「 H 直
兩 H 線 AB 及 AC 有 共 同 的 頂 點 A， 線 AB」的 兩 個 理 想 點，A、B 兩 點 的 雙 曲
其 夾 角 BAC 就 是 過 A 點 與 兩 弧 相 切 的 直 距 離 （ H 線 段 AB 的 長 度 ） 定 義 為
線 所 夾 的 角 夾 的 角（ 圖 3 左 圖 ）
。圖 3 右 圖 |ln ((AC·BD)/(AD·BC))| （ 如 圖 4）， 也 記
展示圓盤模型中第五公設特質的「最小平 為 AB，對 數 函 數 內 的 AC、BD、AD、BC
行 角 」性 質：AB 線 外 一 點 P，有 無 限 多 條 指的是歐氏幾何的線段長。由於雙曲幾何
直 線 與 AB 平 行 （ 不 相 交 ）。 圖 中 PE 垂 直 的呈現有不同的模型，故其距離定義不相
AB 於 E 點 ， C、 D 為 AB 直 線 的 理 想 點 ， 同，本定義是圓盤模型的距離定義。
PC 及 PD 為 AB 的 平 行 線 (parallel line)，
其 他 的 稱 為 超 平 行 線 （ ultraparallel line)。 貳、 數 學 算 板 雙 曲 幾 何 圓 盤 模 型 基
最 小 平 行 角 性 質 說：過 P 的 H 直 線 若 與 PE 本構圖及度量
的 夾 角 大 於 或 等 於 ∠ EPD ， 則 此 線 會 與
通常的動態幾何程式，都提供了基本
AB 平 行，∠ EPD 就 是 最 小 平 行 角。∠ EPC
的歐氏幾何構圖功能。雙曲幾何基本構圖
與 ∠ EPD 相 等 ， 且 為 銳 角 。
功能的提供有兩種方式，一為就現有的歐

圖 3、 左 圖 ： 兩 弧 的 夾 角 ， 右 圖 ： 過 AB 線 外 一 點 P 的 最 小 平 行 角 ∠EPD

圖 4、 A、 B 兩 點 的 距 離 （ H 線 段 AB 的 長 ）， C、 D 為 AB 直 線 的 理 想 點

- 18 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

氏 幾 何 構 圖 程 式 ， 外 加 功 能 盒 （ ToolBox） 時，只 需 先 選 取 已 知 物 件 (歐 氏 幾 何 或 雙 曲
例如在 Geometer ’ s Sketchpad (http:// 幾 何 物 件 )，再 按 Ctrl 鍵 選 取 選 項 即 可 做 出
www.keycurriculum.com)、Geogebra (https: 雙 曲 幾 何 圖 形（ 亦 即 按 Ctrl 鍵 雙 曲，不 按
//www.geogebra.org) 等 動 態 數 學 程 式 上 透 Ctrl 鍵 歐 氏 ）。 當 然 要 使 用 雙 曲 構 圖 功 能
過巨集，加上工具盒或工具選單，提供不 前，先要建立雙曲圓盤，只要選取兩點做
同模型的雙曲幾何構圖工具。另一為重新 出 的 圓（ 第 一 點 為 圓 心，第 二 點 為 圓 上 點 ）
，
建立獨立的雙曲幾何系統（不同的雙曲幾 在「變換」選單中選取「標定反轉圓」即
何模型）
，提 供 雙 曲 幾 何 基 本 的 構 圖 功 能， 可標定該「反轉圓」為目前的雙曲幾何圓
例 如 nonEuclid (http://cs.unm.edu/~joel/ 盤，並在其內雙曲作圖。前述第一點就是
NonEuclid/NonEuclid.html)、Cinderella (ht 圓盤坐標的原點，第二點就是圓盤坐標的
tp://www.cinderella.de/tiki-index.php ） 。 X 軸 單 位 點（ 不 一 定 在 水 平 位 置 ）
。也 可 以
Cinderella 更 可 在 歐 氏 及 雙 曲 幾 何 間 做 系 直接選取「變換」選單中的「建立圓盤模
统的轉換。第一種處裡方式的好處是歐氏 型 」選 項，程 式 會 自 動 建 立 並 標 定 反 轉 圓，
幾何與雙曲幾何構圖可以並列同時存在， 並 建 立 水 平 及 鉛 直 的 XOY 坐 標 軸 （ X、 Y
使用者知道自己正在處理的幾何是歐氏或 在 圓 上 是 兩 軸 單 位 點，O 為 原 點 ）
。，這 個
雙曲幾何，可在同一個畫面相互對照，方 反轉圓就是程式中歐氏幾何「反轉變換」
便比較。第二種方式的處理（尤其是 的 「 反 轉 圓 」。
Cinderella）強 調 幾 何 系 統 的 一 致 性，歐 氏 數學算板的選單有兩類─圖像選單與
幾何與雙曲幾何系統可以互換，尤其是歐 文 字 選 單 (如 圖 5)，文 字 選 單 都 有 數 層 下 拉
氏 與 雙 曲 互 通 的 中 性 幾 何 (Neutral 選項；圖像選單若有倒三角形記號就有下
Geometry)定 理 的 構 圖 轉 換。數 學 算 板 類 似 拉 選 單 。 選 單 選 項 上 有 ©記 號 的 選 項 表 示
於第一種處理方式，將雙曲幾何龐加萊圓 此選項支援雙曲幾何作圖，要雙曲作圖就
盤模型的構圖功能直接加入數學算板的歐 要 同 時 按 Ctrl 鍵（ 最 好 下 拉 之 前 先 按 ）
。兩
氏基本構圖功能表中，但只提供圓盤模型 種選單使用步驟略有不同。圖像選單使用
的構圖工具，其他模型，則透過同構轉換 步 驟 為 ：（ 1） 決 定 要 作 什 麼 圖 像 。（ 2） 選
可以得到同構的圖形。除了基本構圖外， 圖 像 （ 有 ©記 號 時 考 慮 是 否 要 同 時 按 Ctrl
數學算板也提供了雙曲幾何的剛體變換 鍵）
。（ 3）手 動 畫 圖（ 雙 曲 構 圖 要 畫 在 圓 盤
（ 鏡 射 reflection 、 旋 轉 rotation 、 平 移 內） （ 1）決 定 要 作
。文 字 選 單 使 用 步 驟 為：
translation、極 限 旋 轉 limit rotation）功 能。 （ 2）點 選 該 種 構 圖 的 已 知 條 件。
什 麼 圖 像。
數學算板的基本構圖功能表中，歐氏 （ 3）選 取 文 字 選 項（ 有 ©記 號 時 考 慮 是 否
及 雙 曲 幾 何 互 通 的 項 目 都 附 有 ©記 號 （ 表 要 同 時 按 Ctrl 鍵 ）
。（ 4）程 式 根 據 已 知 條 件
示 Ctrl 鍵 ）， 想 要 作 雙 曲 構 圖 ， 選 用 工 具 畫圖。

- 19 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

圖 5、 第 一 列 文 字 選 單 ， 第 二 列 圖 像 選 單

圖像選單中雙曲幾何圓盤模型的基本構圖
圖 6 展示雙曲作圖（有＠記號者）圖像功能表。

圖 6、 圖 像 功 能 表

點可以在圓周上移動。
1. ─「 點 」按 鈕。點 選 按 鈕 之 後，

可 在 畫 面 上 以 滑 鼠 單 擊 左 鍵，若 單 擊 2. ─

在 物 件 上，則 作 出 物 件 上 的 點 為 半 自 「 線 段 」（ 射 線、直 線、或 圓 ）按 鈕。

由 點，可 在 物 件 上 自 由 拖 曳。若 單 擊 在畫面按住滑鼠左鍵（作出一點）不
在 空 白 處，則 作 出 一 點 為 自 由 點，可 放空拖曳滑鼠（拉出一條線或圓）最
自 由 拖 曳。單 擊 在 空 白 處 時，若 同 時 後再放空（再作一點）得到兩點決定
按 Ctrl 鍵 ， 則 可 以 在 圓 盤 內 部 取 點 的 一 線 段（ 射 線、直 線 或 圓 ）
，若 點 選
（ 半 自 由 點 ）， 此 點 取 出 後 可 以 在 圓 滑鼠左鍵的位置或放空處為一點則取
盤內部移動，但無法在圓外部取點。 此點；若不是一個點（空白處或物件
若 沒 有 同 時 按 Ctrl 鍵，則 可 以 在 整 個 上）
，則 在 空 白 處 或 物 件 上 作 出 一 點，
畫 面 上 取 點（ 自 由 點 ）
，移 動 此 點 至 圓 以此二點作出一線段（射線、直線或
盤 內 部 時，它 就 被 看 成 H 點，H 點 生 圓）
。若 所 取 兩 點 非 原 有 的 點 或 原 有 物
成 的 後 代 雙 曲 物 件 都 會 呈 現（ 否 則 該 件上的點，則作出的點為自由點，可
物 件 不 存 在 且 不 呈 現 ）， 不 論 是 否 按 在畫面上自由移動。若所作是圓，則
Ctrl 鍵，都 可 以 在 圓 周（ 反 轉 圓 ）上 第一點為圓心，第二點為圓上點，此
取 點（ 作 出 空 心 點，是 半 自 由 點 ）
，此 二 點 若 在 圓 盤 內，可 視 為 H 點。若 按

- 20 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

鈕 時 同 時 按 Ctrl 鍵 ， 則 作 出 H 線 段 文字選單中雙曲幾何圓盤模型的基
（ H 射 線 、 H 直 線 或 H 圓 ）。 若 所 取 本構圖
兩點非原有的點，則作出的為半自由 文字選單中的雙曲構圖若有歐氏類似
H 點，可在圓盤內部（或圓周）自由 的 構 圖，則 與 歐 氏 構 圖 共 用（ 加 上 ©記 號 ）
，
移 動。若 所 取 兩 點 有 一 點 在 圓 盤 外 部， 若無相應的歐氏構圖；則標出「雙曲」二
則程式不作圖。這個以「按左鍵─拖 字或只用其雙曲幾何物件名稱。選取時，
曳─放空」之作圖法，適用於觸控畫 不 必 同 時 按 Ctrl 鍵。在 數 學 算 板 中，雙 曲
面兩點為親代的物件作圖。 構 圖 可 按 Ctrl 鍵 的 選 項 有 ：
向量終點、中點、線段、射線、角平
3. ─「多邊形」或「H 多邊形」 分線、直線、垂直線、多邊形、全等多邊
按 鈕。點 選 按 鈕 之 後，可 在 畫 面 單 擊 形、圓（ 圓 心 ＋ 點、圓 心 ＋ 半 徑 ）
。不 必 按
滑 鼠 左 鍵（ 作 出 一 點 ）
，放 空 移 動 滑 鼠 Ctrl 鍵 的 選 項 有 ： 雙 曲 單 位 點 、 可 拼 圖 雙
（ 程 式 會 自 動 拉 出 矩 形 ）、 再 單 擊 滑 曲正多邊形外接圓半徑點、雙曲等距線
鼠 左 鍵（ 再 作 或 取 一 點 ）
，放 空 移 動 滑 （ hypercycle or equidistant curve）
、雙 曲 中
鼠（ 拉 出 三 角 形 ）… 最 後 一 次 單 擊 右 間 線 (middle line)、H 多 邊 形 內 部。文 字 選
鍵表示終止作出多邊形（或 H 多邊 單 構 圖 在 選 取 選 項 時，需 先 點 選 已 知 物 件，
形 ）。 滑 鼠 單 擊 處 若 是 一 點 ， 則 取 此 這是根據雙曲物件定義的親代。例如過 H
點；若 是 其 他 物 件，則 做 出 該 物 件 上 線外一點的雙曲等距線，就是在此點同側
的 點；若 在 空 白 處，則 作 出 一 點。移 且 與 此 H 線 等 距 離 的 點 所 成 的 集 合（ 注 意：
動 滑 鼠 時，程 式 會 拉 出 這 些 點 連 結 而 等 距 線 不 是 H 線 ， 兩 側 各 有 一 條 ）， 因 此
成 的 一 個 多 邊 形。若 只 單 擊 第 一 次 和 選 取 一 個 H 點 及 一 條 H 線 後 選 取 選 項，程
第 二 次，則 拉 出 的 是 以 此 兩 點 決 定 的 式就會畫出過該點與 H 線等距在該點同側
標 準 矩 形（ 邊 為 水 平 或 鉛 直 ）
，大 於 第 的雙曲等距線。其他每一選項構圖的已知
三 次 則 拉 出 的 是 多 邊 形。若 按 鈕 時 同 物件，請參閱數學算板線上說明。
時 按 Ctrl 鍵，則 空 白 處 所 作 的 點 為 半 在 圓 盤 模 型 中，一 個 歐 氏 幾 何 圓 C（ 或
自由 H 點，可在圓盤內部（或圓周） 直線）有下列可能情形
自 由 移 動，移 動 滑 鼠 時，會 拉 出 H 多 （ 1） 若 圓 C 包 含 在 圓 盤 範 圍 內 ， 則 它 就
邊 形。但 若 只 單 擊 兩 次，會 作 出 H 線 是 一 個 H 圓 （ 雙 曲 幾 何 圓 ）。
段；若 索 取 的 點 有 一 點 在 圓 外 部，則 （ 2） 若 圓 C 與 圓 盤 內 切 於 一 個 理 想 點 ，
不 作 圖。這 個「 單 擊 ─ 放 空 移 動 ─ 再 此圓（不含切點）就是極限圓
單 擊 … ─ 按 右 鍵 」之 作 圖 法，較 適 用 （ horocycle,or limit circle）。
於親代超過兩點的多邊形作圖。 （ 3）若 圓 C 與 圓 盤 圓 正 交， 則 圓 C 在 圓

- 21 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

盤 內 部 不 含 端 點 的 弧 或 線 就 是 H 線。 一 點 及 一 H 線，然 後 在 文 字 選 單 中 選 取 構
（ 4） 若 圓 C 與 圓 盤 圓 交 於 兩 理 想 點 A、 圖選單中的選項「雙曲等距線」即可作出
B，但 不 正 交，則 C 在 圓 盤 內 部 不 含 過 該 點 與 該 H 線 兩 端 點（ 理 想 點 ）的 等 距
端 點 的 弧 或 線 AB 就 稱 為 等 距 線 線。圖 7 左圖為展示切於 A 點的極限圓，
（ equidistance curve ） 或 超 圓 右 圖 展 示 同 過 理 想 點 A、 B 的 等 距 線 ， 其
（ hypercycle）
。以 A、B 為 理 想 點（ 端 中 H 線 AB(粗 線 )不 是 等 距 線 ， 其 他 都 是
點 ）的 超 圓 有 無 限 多 個。若 L 為 某 H （ 含 虛 線 ）。
線的一條雙曲等距線，過此 H 線上
任一點 E 作 H 線的垂直線交雙曲等 雙曲幾何中的度量
距 線 L 於 F，則 EF 為 定 值，這 是「 等 文字選單中的「度量」選單則提供了
距」名稱的由來。 雙曲幾何圓盤模型的度量選項，可以度量
在 數 學 算 板 中，極 限 圓（ 非 H 圓 ）的 的選項有：距離、長度、半徑、周長、角
作 圖 與 H 圓 的 作 圖 法 相 同，在 圖 像 選 單 中 度、面積、比率。圖 8 為展示透過距離及
角度來檢視雙曲幾何中三角形的正弦定
選取選項 （ 同 時 按 Ctrl 鍵 )， 第 一 律：若 三 角 形 ABC 中，∠ A, ∠ B, ∠ C 所
個點點擊於圓盤圓上，拖曳取得圓上點，
對的三邊長分別為 , , , ，則
即可得到與圓盤單位圓相切的極限圓。或

先選取圓盤單位圓上一點，在取圓內部一
及三角形內角和小於
點，在文字選單中選取選項「中心＋圓上

點 」（ 按 Ctrl 鍵 )即 可 作 出 極 限 圓 。 雙 曲 等 180 度。移 動 A、B、C 三 點 可 以 觀 察 上 述

距線（超圓）的繪製，則要選取圓盤內部

圖 7、 與 圓 盤 單 位 圓 切 於 A 點 的 極 限 圓 （ 左 圖 ） 及 過 A、 B 兩 理 想 點 的 等 距 線 （ 右 圖 ）

- 22 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

比率、內角及內角和的改變，其比率均相 的檢驗雙曲三角形的餘弦定理：
等 ， 內 角 和 也 都 小 於 180 度 。 其 實 ， 給 予 cosh a =cosh b cosh c − sinh b sinh c cos A。
前述三角形的邊及角的數值，也可以方便

圖 8、 雙 曲 三 角 形 內 角 和 小 於 180 度 及 正 弦 定 律 的檢驗

參、雙曲幾何圓盤模型的基本變換 中 心 (center of inversion)，r 稱 為 反 轉 半 徑

數學算板提供了歐氏幾何的許多變 (radius of inversion)。若 P 點 與 O 點 重 合，

換，其中對雙曲幾何最重要的就是反轉變 P 點 之 反 轉 點 定 義 為 無 窮 遠 點 (point at

換 (inversion)。底 下 分 別 介 紹 數 學 算 板 中 的 infinity)，加 上 此 無 窮 遠 點 的 平 面，稱 為 反

反 轉 變 換 及 雙 曲 剛 體 變 換 （ hyperbolic 轉 平 面 (inversive plane)。 反 轉 平 面 上 這 種

isometry）， 它 們 的 許 多 性 質 ， 都 可 透 過 數 點 對 應 的 方 式 ， 稱 為 反 轉 變 換 (inversive

學算板構圖及移動圖形觀察出來。 transformation)。反 轉 變 換 是 個 一 對 一 及 映
成的對應，將反轉圓內的點變換成反轉圓

反轉變換 外的點，而反轉圓上點就是反轉變換的不

歐氏幾何的鏡射，是以一條直線為其 變 點 (invariant point) ， 變 換 的 不 變 圖 形

對稱軸做反射，而反轉變換其實可以看成 （ invariant） 是 指 圖 形 在 變 換 後 仍 是 原 圖

是一個幾何物件對圓的鏡射。 形（ 點、線、圓、...）。因 此，反 轉 圓 本 身

設 O(r)表 示 平 面 上 圓 心 為 O， 半 徑 為 就是反轉變換的不變圖形。

r 的 圓，設 P 為 平 面 上 異 於 O 的 任 意 一 點， 反 轉 變 換 具 有 許 多 特 質 (趙 ， 民 86)，

在 OP 射 線 上 一 點 P'，若 滿 足 ，則 稱 P'為 例如

P 對 圓 O 之 反 轉 點 (像 )，圓 O（ r）稱 為 反 （ 1） 將 反 轉 圓 內 部 的 的 點 反 轉 成 為 外 部

轉 圓 (circle of inversion)， O 點 稱 為 反 轉 的點，反之亦然。

（ 2） 將 一 個 通 過 反 轉 中 心 的 圓 反 轉 變 換

- 23 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

成為一條直線，反之亦然。 P 的 反 轉 像 ， 共 P 點 線 束 反 轉 成 為 以 OP'
（ 3） 將 不 通 過 反 轉 中 心 的 圓 反 轉 成 一 個 的 中 垂 線 為 圓 心 的 圓 束 (橢 圓 共 軸 圓 系 ，
圓。 ellipticalpencil of coaxial circles， 圖 11 左
（ 4） 正 交 的 圖 形 反 轉 之 後 的 圖 形 也 會 正 圖 )，而 同 心 P 圓 束 反 轉 成 為 圓 心 在 OP 直
交，例如極坐標格線的同心圓系與 線 上 的 圓 束 （ 雙 曲 共 軸 圓 系 ， hyperbolic
角度線系為正交，反轉之後會變成 pencil of coaxial circles， 圖 11 右 圖 ）， 由
兩組正交的圓系。 於共點線束與同心圓束正交，所以它們反
轉得到的圓束都正交（反轉變換會維持物
數 學 算 板 提 供 了 反 轉 變 換 的 功 能，要
件 的 正 交 特 性 ）。 圖 12 左 圖 為 展 示 前 述 反
使用這個功能，必須標定反轉圓，選取一
轉得到的兩圓束併陳的圖像，此二圓束中
個由圓心及圓上點構成的圓，即可標定反
任一圓束的圓都與另一圓束的每一個圓正
轉圓。選取點、線段、射線、直線、弧、
交。圖 12 右 圖 展 示 垂 直 於 OP 的 平 行 線 束
圓、多邊形、雙曲多邊形，即可利用變換
反轉後得到的相切圓束（拋物共軸圓系，
選單的「反轉變換」選項，將所選物件反
parabolic pencil of coaxial circles）， 其 中
轉。圖 9 為展示直線、圓、矩形及五邊形
OP 垂 直 OR， OR 反 轉 像 就 是 本 身 。 各 圖
的反轉結果。
中，動 點 Q 移 動 時 會 帶 動 包 含 它 的 圓 或 直
圖 10 為 展 示 反 轉 變 換 將 反 轉 圓 內 部
線，此時，其反轉像也會隨之移動，可以
的方格線反轉至圓外部之圖形。
觀察線束及圓束中成員及其反轉像的對應
圖 11 為 展 示 P 點 的 共 點 線 束 及 P 為
位置。
圓 心 的 同 心 圓 束 反 轉 出 來 的 像，圖 中 P'為

圖 9、 直 線 、 圓 、 矩 形 及 五 邊 形 反 轉 之 圖 形 ， 相 同 符 號 者 互 為 對 應 點

- 24 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

圖 10、 反 轉 圓 內 部 方 格 線 反 轉 至 圓 外 部 之 圖 形

圖 11、 左 圖 是 共 P 點 線 束 之 反 轉 ， 右 圖 為 同 心 P 圓 系 的 反 轉

圖 12、 左 圖 為 圖 11 中 兩 組 反 轉 像 圓 束 同 時 呈 現 ， 是 正 交 的 兩 組 圓 系 ， 右 圖 為 與 OP 直 線
垂 直 的 平 行 線 束 反 轉 後 得 到 的 與 OR 直 線 相 切 於 的 圓 束

H 鏡射（ hyperbolic reflection） 要 標 定 H 鏡 射 軸 (一 條 H 線 ， 其 實 就 是 一

雙曲幾何中的鏡射，其實就是雙曲幾 個 與 圓 盤 正 交 的 圓 的 一 部 份 )。之 後 只 要。
何 物 件，以 包 含 H 線 的 圓 為 反 轉 圓 的 歐 氏 再 選 取 雙 曲 物 件，並 選 取 鏡 射 選 項（ 注 意：
幾何反轉變換。因此要執行雙曲鏡射，先 要 按 Ctrl 鍵 )，即 可 將 物 件 作 H 鏡 射。H 鏡

- 25 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

射 軸 上 的 點 就 是 鏡 射 的 不 變 點 （ invariant 歐氏幾何中，鏡射是一個最基本的剛
point）， 因 此 H 鏡 射 軸 就 是 鏡 射 的 不 變 線 體 變 換（ isometry）， 一 個 剛 體 變 換 雖 然 不
（ invarient line）， 透 過 圓 的 鏡 射 及 圖 形 的 一定是一個鏡射，但卻可以可以由一至三
移 動 可 以 很 清 楚 的 看 出，以 H 鏡 射 軸 上 的 個 鏡 射 合 成 （ 趙 ,民 86,P95）， 雙 曲 幾 何 的
點為圓心的所有 H 圓都是 H 鏡射的不變 剛 體 變 換 也 有 類 似 的 性 質
圖 形 （ invariant）。 圖 13 展 示 H 四 邊 形 (Greeberg,1993,P340)。 數 學 算 板 提 供 的 平
ABCD 及 H 圓 對 H 直 線 PQ 的 鏡 射，圖 中 移、旋轉、鏡射，滑動鏡射等許多歐氏幾
對 應 點 連 結 的 虛 線 都 被 H 直 線 PQ 所 垂 直 何的基本變換並未使用鏡射的合成來定
平分。 義。但在雙曲幾何除下述的 H 旋轉之外，
其他的變換是以 H 鏡射的合成來定義並作
圖。

H 旋轉（ hyperbolic rotation）

圖 13、 上 圖 ： H 四 邊 形 及 H 圓 對 H 直 線
PQ 的 鏡 射 ， 下 圖 ： ABC 對 中 心 D
連 續 做 5 次 60 度 的 旋 轉
雙曲旋轉是以交於一個 H 點的兩條 H
線 為 H 鏡 射 軸 的 H 鏡 射 的 合 成。由 於 雙 曲
幾何角的定義與歐氏幾何相同，數學算板
是 以 H 點 的 旋 轉 作 為 H 旋 轉 的 中 心 點，旋
轉 後，點 與 中 心 的 距 離 不 變，並 未 以 H 鏡
射的合成作定義。雙曲幾何旋轉與歐氏幾
何相同，標定中心點後，設定角度（任意
度 量 的 內 部 值，視 為 弳 度 量 ）
，可 以 將 點 旋
轉該弳度（注意：角度的呈現值可以用弳
或 度 為 單 位，但 內 部 值 是 以 弳 為 單 位 ）。H
旋轉也是雙曲剛體變換，圖形旋轉後與原
圖 全 等 ， 圖 13 下 圖 展 示 H 三 角 形 對 中 心
D 迭代旋轉 5 次而得的圖形。對應的頂點
都 在 一 個 圓 上，如 虛 線 圓 所 示。圖 14 為 展
示 以 A 點 為 中 心，將 H 射 線（ 紅 粗 線 AB）
及 其 上 若 干 點，作 18 度 迭 代 旋 轉 後 得 到 的
圖形。我們可以看出點旋轉的路徑就是以
A 為 中 心 的 H 圓 （ 虛 線 圓 ）， 旋 轉 得 到 的
這些 H 射線都與 H 圓正交。A 是 H 旋轉

- 26 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用
中 唯 一 的 不 變 點，H 旋 轉 沒 有 不 變 線，而
這 些 圓 心 為 A 的 H 圓 都 是 不 變 圖 形。當 移
動 A 點 到 圓 盤 中 心 O 時，H 旋 轉 就 是 歐 氏
旋 轉 (圖 14 下 圖 )。
圖 14、 以 A 為 旋 轉 中 心 ， 將 H 射 線 （ 紅
粗 射 線 AB）及 其 上 若 干 點 作 18 度
的迭代旋轉所得圖形
H 平移（ hyperbolic translation）
在 雙 曲 幾 何 中，H 平 移 向 量 也 是 由 兩
點 決 定 ， 這 個 向 量 的 方 向 就 是 A、 B 兩 點
決定的 H 線的方向（注意：數學算板中，
雙曲平移向量指由兩點所決定的有向 H 線
- 27 -
段 ）， 數 學 算 板 中 H 平 移 是 由 兩 個 H 鏡 射
合 成 的 ， 從 平 移 向 量 A、 B 兩 點 構 成 的 H
線 段 上 取 H 線 段 中 點 及 B 點，分 別 作 此 H
線 段 的 H 垂 直 線 ， 以 此 二 垂 直 線 l、 m 為
鏡射軸，將要平移的物件先對 l 作鏡射，
所 得 物 件 再 對 m 作 鏡 射，所 得 物 件 就 是 與
原 物 件 全 等 的 物 件 ， 如 圖 15 所 示 。
圖 15、 數 學 算 板 中 兩 H 鏡 射 構 成 的 H 平
移 ， AB 為 決 定 平 移 的 兩 點
要將物件平移，需先選取兩點標定 H
平 移 向 量，然 後 只 要 再 選 取 H 物 件，程 式
會呈現平移對話框，只有標定向量的選項
才 可 以 做 H 平 移，並 選 取 確 定 按 鈕（ 注 意：
要 按 Ctrl 鍵 )，即 可 將 物 件 做 雙 曲 平 移。圖
16 上 圖 展 示 的 是 標 定 A、B 為 向 量，將 CD
（ H 線 ）， 及 線 上 的 點 迭 代 H 平 移 數 次 的
結 果 。 圖 16 下 圖 為 展 示 將 H 圓 、 H 三 角
形 及 H 五 邊 形 迭 代 平 移 多 次 的 結 果。圖 16
中，虛 線 均 為 雙 曲 等 距 線（ 超 圓 ）
。H 平 移
與 歐 氏 平 移 有 些 不 同，雖 然 每 個 個 別 點「 迭
代 H 平 移 的 距 離 」相 同，但 只 有 在 平 移 向
科學教育月刊 第 402 期 中華民國 106 年 9 月

量 方 向 （ A、 B 構 成 的 H 線 ， 稱 為 平 移 的 顯然，軸不同的平移必不相同，由
軸 ， Axis of Translation） 上 的 點 H 平 移 的
PROPOSITION9.11(Greenberg 1993,p331）
距 離 等 於 AB 的 距 離， 其 他 方 向 點 H 平 移
可以證得下述性質：
距 離 都 大 於 AB（ Greenberg 1993,p331）。
H 平 移 沒 有 不 變 點 ， 但 包 含 A、 B 的 H 線
設 T 1、T 2 分 別 為 及 的 H 平 移，
（紅色粗線）為其不變線，以其為軸的所
則 T ＝ T ⟺ A、 B、 C、 D 共 線 ，
有雙曲等距線（超圓，即圖中虛線的弧，
且 AB＝ CD
非 H 線）都是不變圖形。

因此，只當兩雙曲向量共線（有相同

的 平 移 軸 ）並 等 長 時，所 決 定 的 H 平 移 才
是相同的。

H 滑 動 鏡 射 (Hyperbolic Glide
Reflection)
H 滑動鏡射其實是一個 H 平移與一個

H 鏡射合成。標定一個平移向量後，選取
一 個 H 物 件 ， 再 點 選 「 滑 動 鏡 射 」（ 要 按
Ctrl 鍵 ）即 可 作 出 該 物 件 的 滑 動 鏡 射 物 件，

其圖形就是該物件對標定向量平移，然後
再對平移軸作鏡射所得到的圖形。H 滑動
鏡 射 沒 有 不 變 點，H 直 線 AB 為 其 不 變 線，

AB 線 的 雙 曲 等 距 線 （ 不 是 H 線 ） 都 是 不
變 圖 形。圖 17 為 展 示 雙 曲 滑 動 鏡 射 與 歐 氏
幾 何 滑 動 鏡 射 的 對 照 圖 。 17 左 圖 為 以 AB
為 H 平 移 向 量，四 邊 形 EFGH 的 H 滑 動 鏡

圖 16、 上 圖 為 以 AB 為 標 定 向 量 ， CD 線 射 迭 代 若 干 次 的 的 圖 形，17 右 圖 為 以 IJ 為

及其上的部分點多次迭代平移之 平 移 向 量，四 邊 形 KLMN 的 歐 氏 幾 何 滑 動

結 果 ， 下 圖 為 以 AB 為 標 定 向 量 ， 鏡射。
H 圓、H 三 角 形 及 H 五 邊 形 多 次 迭
代平移之結果

- 28 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

圖 17、 左 圖 ： 雙 曲 滑 動 鏡 射 迭 代 的 過 程 ， 右 圖 ： 歐 氏 滑 動 鏡 射 迭 代 的 過 程

極限旋轉（limit rotation）

極限旋轉是只有雙曲幾何才有的變

換。數學算板中，極限旋轉是以兩條交於
理想點的 H 線為 H 鏡射軸的 H 鏡射的合
成。數 學 算 板 中，要 將 物 件 做 極 限 旋 轉 時，

先 依 序 取 三 點 A、B、C，標 定 一 個 角 ABC
（ 選 項 「 標 定 角 度 或 角 」）， 其 中 A、 C 均
為 H 點，而 B 為 理 想 點，然 後 選 取 一 個 物
件，再點選選項「極限旋轉」即可作出極
限旋轉結果之圖形。極限旋轉會將物件先 圖 18、H 線 BD 及 其 上 若 干 點，以 H 線 BA

對 H 線 AB 做 H 鏡 射 ， 再 將 結 果 對 H 線 及 H 線 BC 為 H 鏡 射 軸 合 成 的 極 限

CB 做 H 鏡 射，而 得 一 新 物 件。圖 15 為 展 旋 轉 （ 迭 代 20 次 ）

示 H 線 BD 及 其 上 若 干 點 ， 連 續 作 20 次
以 H 線 BA 及 H 線 BC 為 H 鏡 射 軸 合 成 的 H 放縮（ hyperbolic dilation)
極 限 旋 轉。可 以 看 出 極 限 旋 轉 沒 有 不 變 點， 我們定義圓盤模型 中的加法運算⊕

而以 B 為中心的極限圓（圖中的虛線圓） 及 純 量 積 運 算 ⊙ 如 下 ：（ Kinyon-
都 是 極 限 旋 轉 的 不 變 圖 形 （ 不 是 H 線 ）。 Ungar,2000)

- 29 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

z z 分 別 在 H 線 AB 及 H 圓 上 取 F、 G 兩 點 ，
⊕z ，
1 z z 以 E 為 中 心 ， 將 F、 G 放 縮 得 F'及 G'， 再

1 | | 1 | | 分 別 取 取 F、F'及 G、G'選 取 構 圖 選 單 中 的
⊙ ，
| | 1 | | 1 | | 「 軌 跡 線 」 作 圖 而 得 。 圖 19 中 當 F 在 H
其中 , , ∈ , ∈ 線 AB 上 移 動 時 ， F'的 軌 跡 就 是 H 線 AB
的放縮像。同樣地，當 G 在 H 圓上移動
據 此 ， 過 中 兩 點 a,b 的 H 線 的 參 數 時，G'的 軌 跡 就 是 H 圓 的 放 縮 像，數 學 算
式為： 板沒有支援非點的「物件」放縮作圖，因
⊕ ⊙ ⊕ ， 其 並 非 常 見 的 幾 何 物 件 。
∈ , , ∈

利用這個參數式，我們建立「點」的
雙 曲「 放 縮 變 換 」，與 歐 氏 放 縮 變 換 相 同，
我 們 必 須 先 選 取 一 點 以「 標 定 中 心 」
，並 選
取 一 個 度 量（ 只 看 其 數 值 ）以「 標 定 比 率 」
，
或 進 入「 放 縮 」對 話 框 時，輸 入 固 定 比 率。
要作點放縮時，先選取要放縮的點，然後
選 取「 變 換 」選 單 中 的「 放 縮 ...」選 項，此
時程式會呈現「放縮」對話框，選定「標
定的比率」或輸入「固定的比率」後，按
「 確 定 ©」（ 同 時 按 Ctrl 鍵 )， 即 可 將 點 放
縮，放縮得到的點會在標定的中心及放縮
點 構 成 的 H 線 上，比 率 值 可 正 可 負。圖 19
上圖展示以 A 為放縮中心，將 B 點放縮
±1,±2,±3,±4 構 成 的 雙 曲 數 線 圖 形（ 比 率 數
值 是 後 置 的 ）。 注 意 ： 相 鄰 兩 點 的 H 距 離
都 是 相 同 的。這 個 放 縮 變 換 並 未 將 H 線 變
換成 H 線，也未將 H 圓變換成 H 圓，此 圖 19、 上 圖 以 A 點 為 放 縮 中 心 ， 將 B 點
與歐氏幾何不同，在雙曲幾何中並沒有相 放 縮 1, 2, 3, 4單 位 （ 以 AB 長
似 的 概 念 。 圖 19 下 圖 展 示 以 E 點 為 放 縮 為 1 單 位 ）， 下 圖 以 E 點 為 放 縮 中
中 心， 將 H 線 AB 及 H 圓（ C 圓 心 ，D 圓 心 ， 將 H 線 AB 及 H 圓（ C 圓 心 ，
上 點 ）放 縮 而 得 的 圖 形，其 圖 形 的 製 作 是： D 圓上點）放縮的像。

- 30 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

其實雙曲幾何的剛體變換（H 旋轉、 雙曲面模型的定義域是

H 平 移 及 極 限 旋 轉 ）都 可 表 示 為 兩 個 H 鏡 , , | 1, , , ∈ ，蓋 恩
射的合成，他們都有歐氏圓（或圓的一部 思模型的定義域是 , ,0 | , ∈ 。上半
份，線段為特例）的不變圖形，分別是圓 平面模型的平面定義域是
心 為 旋 轉 中 心 的 H 圓、通 過 軸 的 兩 理 想 點 , | 0, , ∈ ，並 未 在 3D 空 間 建 立
的 超 圓（ 即 雙 曲 等 距 線 ）
、通 過 極 限 旋 轉 中 轉 換。設 ，，我 們 用 來 轉 換 的 同
心（理想點）的極限圓。 構函數是：
（ 1） 圓 盤 模 型 轉 換 至 克 萊 恩 模 型 ：
肆、 數 學 算 板 中 可 展 示 的 雙 曲 幾 何
, → ,
模型
要 展 示 雙 曲 幾 何 圖 形，需 要 一 個 模 型， （ 2） 圓 盤 模 型 轉 換 至 上 半 平 面 模 型 ：
雙曲幾何模型有些是有限的，有些是無限 , → , , (by
的。數學算板可展示的有限模型除了前述
mobius transformation)
的龐加萊圓盤模型外尚有克萊恩模型
(Klein model) ， 無 限 模 型 有 蓋 恩 思 (Gains （ 3） 圓 盤 模 型 轉 換 至 蓋 恩 斯 模 型 ：
1966)模 型、上 半 平 面 (Upper-Half plane)模
, → ,
型、雙 曲 面 (Hyperboloid,or Minkowski 敏
柯 斯 基 ) 模 型 及 半 球 面 模 型 （ spherical （ 4） 圓 盤 模 型 轉 換 至 雙 曲 面 模 型 ：
model）。 2 2 1
, ,0 → ,
數學算板中主要的雙曲幾何模型是 1 1 1
圓盤模型。所提供的雙曲基本作圖功能均 （ 5） 圓 盤 模 型 轉 換 至 半 球 面 模 型 ：
使用圓盤模型，並未提供其他模型的作圖 2 2 1
, ,0 → ,
工 具，但 為 讓 教 師 教 學 與 使 用 者 方 便 比 較， 1 1 1
我們也製作了由圓盤模型轉換到其他模型
的轉換機制。也就是說，只要在圓盤模型 以三角形的內心及內切圓的構圖為
作圖，就可得到其他模型的同構圖形。這 例，我們先在圓盤模型中作出三角形
些同購圖形可以分別在平面上展示，也可 ABC，再 分 別 作 出 角 A 與 角 B 的 角 平 分 線
以 在 3D 空 間 中 觀 察 這 些 同 構 圖 形 與 半 球 交 於 一 點，此 點 即 為 三 角 形 內 心 I。再 過 I
面模型或雙曲面模型的關係。 作 AB 的 垂 直 線 ， 取 得 垂 足 點 D。 以 O 為
在 3D 空 間 中 ， 圓 盤 模 型 的 定 義 域 是 圓 心，OD 為 半 徑 作 出 內 切 圓。圖 20 展 示
, ,0 | 1, , ∈ ，克萊恩模型 的是將圓盤模型內三角形內心及內切圓構
的定義域是 , ,1 | 1, , ∈ ， 圖圖形變換至其他模型的相應圖形。本圖

- 31 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

不是剪貼的圖形，各模型均通時存在同一 整 個 3D 圖 形 。 圓 盤 模 型 與 蓋 恩 思 模 型 是
螢幕上，移動圓盤模型中的物件，其他模 在 XY 平 面 (z=0)上，而 克 萊 恩 模 型 是 在 z=1
型中的相應物件會做相應的位置改變。可 的 平 面 上。圖 21 左 圖 及 中 圖 雙 曲 模 型 上 的
以看出圓盤模型的線是與圓盤正交的弧， 圖 形 是 由 (0,0,-1)及 (0,0,0)分 別 將 圓 盤 模 型
上半平面模型的線是與 X 軸正交半圓上的 及克萊恩模型中的圖形投影至雙曲面上而
弧，克萊恩模型的線是弦的一部份，而蓋 得。圖 21 右 圖 展 示 蓋 恩 思 模 型 與 雙 曲 面 模
恩思模型的線是雙曲線的一部份。在圓盤 型 的 平 行 投 影 關 係。圖 22 為 展 示 圓 盤 模 型
模型與上半平面模型中，圓就是歐氏幾何 與半球面模型的投影關係。其實，每一垂
的圓，但在克來恩及蓋恩思模型中，圓可 直 於 XY 平 面 與 半 球 面 交 集 所 得 的 半 圓 就
能是橢圓，所有模型中的點就是定義域中 是 半 球 面 模 型 上 的 H 線，半 圓 上 的 弧 就 是
的歐氏點。 H 線 段 或 H 射 線 。 圖 22 左 下 是 只 有 三 角
圖 21 展 示 的 是 圓 盤 模 型 、 克 萊 恩 模 形的投影關係。每一立體圖形均可使用滑
型 、 蓋 恩 思 模 型 與 雙 曲 面 模 型 在 3D 中 對 鼠 作 多 方 向 的 轉 動（ 在 原 點 附 近 拖 曳 滑 鼠 ）
應的狀況，用滑鼠在原點附近可拖曳轉動 以觀察其立體關係。

圖 20、 三 角 形 內 心 與 內 切 圓 構 圖 --在 圓 盤 模 型 與 對 應 的 其 他 模 型 上 的 圖 形

圖 21、 圓 盤 模 型 、 克 萊 恩 模 型 、 蓋 恩 思 模 型 與 雙 曲 面 模 型 在 3D 中 的 對 應 關 係

- 32 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

圖 22、 圓 盤 模 型 與 半 球 面 模 型 在 3D 中 的 對 應

伍、數學算板中雙曲剛體變換在拼 圖的。
圖上的應用 不同於一般的圓盤拼圖，數學算板正
雙曲幾何中，正多邊形的「無縫隙」 H 多 邊 形 或 正 H 星 形 拼 圖 時，所 用 的 p 邊
拼 圖 (tessellation,tiling)具 有 非 常 吸 引 人 的 的正 H 多邊形其外接圓圓心不必一定是在
內 涵 ， Escher 是 雙 曲 幾 何 拼 圖 的 先 驅 ， 得 圓盤圓的圓心，其頂點位置也是可以在外
到 幾 何 學 家 H.S.M.Coxeter 啟 示 ， 在 1959 接圓上變動，因此作出的拼圖可以有不同
年 發 表 了 系 列 的 Circle_LimitI─ IV 雙 曲 幾 的 樣 貌 。 圖 23 為 展 示 {5,4}正 H 多 邊 形 的
何 拼 圖 圖 案，Coxeter 還 發 表 文 章 確 認 其 其 拼圖，A 點為正五 H 多邊形中心，B 點是
數學正確性 （ https://en.wikipedia.org/ 該 正 五 邊 形 的 外 接 圓 上 一 動 點，移 動 A 點，
wiki/M._C._Escher）
。歐 氏 幾 何 中，不 論 邊 整 個 拼 圖 會 在 雙 曲 空 間 內 移 動；移 動 B 點，
長，全等的正三角形、正方形、或正六邊 整 個 拼 圖 會 以 A 點 為 中 心 旋 轉。上 下 兩 圖
形都可以拼排出無縫隙的平面。與歐氏幾 是 同 一 個 檔 案，是 H 全 等 的 拼 圖，只 不 過
何 不 同，能 作 雙 曲 幾 何 拼 圖 的 H 正 多 邊 形 改 變 A、 B 兩 點 的 位 置 而 已 ， 上 圖 A 點 接
邊長必須是特殊的值。數學算板提供了製 近 中 心 點，這 是 與 一 般 正 H 多 邊 形 拼 圖 類
作 可 拼 圖 的 雙 曲 正 多 邊 形、正 H 星 形（ 此 似 的 位 置，若 令 A 點 與 O 重 合，從 歐 氏 幾
處指以雙曲正多邊形頂點為頂點，能一筆 何 的 觀 點 看，是 中 心 對 稱 的；下 圖 改 變 A，
畫出且頂角最小的星形，頂點需為奇數） B 點的位置，從歐氏幾何觀點看，它並不
及 藍 伯 特 四 邊 形 (Lambert quadrilateral) 的 對稱。兩圖在圓盤單位圓周圍的拼圖並未
選單。藍伯特四邊形是三個直角一個銳角 繼續作出來。同樣的，藍伯特鳶形的銳角
的 H 四 邊 形，若 其 為 鳶 形，則 夾 銳 角 的 兩 頂的對頂也不必在圓盤的圓心，其銳角頂
邊相等，另兩邊也相等，此時它是可以拼 也是可以旋轉的。

- 33 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

symbol)表 示 符 合 這 個 條 件 的 「 正 H 多 邊
形 」。 正 H 星 形 及 藍 伯 特 鳶 形 也 是 一 樣 ，
但正 H 星形頂點數 p 需為大於 3 的奇數。
藍伯特鳶形由於直角頂可拼 4 個圖形，銳

角頂度量為 ，可拼 q 個圖形，只要 q 值

大 於 4 即 可 。 數 學 算 板 中 ， 在 「 構 圖 2」
選單選取「可拼圖雙曲多邊形」中的選項
（雙曲正多邊形、雙曲正星形、藍伯特鳶
形）即可作出可拼圖雙曲多邊形。此時，
程 式 會 呈 現 對 話 框，要 求 輸 入 數 對 {p,q}或
q 值。若選取選單時，已選一個 H 點，程
式 會 以 此 點 為 中 心，作 出 外 接 圓 半 徑 點（ 或
藍伯特銳角頂點）
，並 據 此 作 出 可 拼 圖 的 上
述三種多邊形。若此時沒有已選物件，程
式會以圓盤中心為中心，作出外接圓半徑
點（ 或 藍 伯 特 銳 角 頂 點 ）
。有 了 可 拼 圖 的 多
圖 23、 H 全 等 的 兩 組 正 {5,4}多 邊 形 的 拼
邊 形，就 可 以 利 用 H 鏡 射 或 H 旋 轉，作 拼
圖，下圖由於中心不是圓盤圓
圖。使用者只要選取一個前選項「可拼圖
心，並非歐氏對稱
雙 曲 多 邊 形 」製 作 的 可 拼 圖 正 H 多 邊 形（ 正
H 星 形、或 藍 伯 特 鳶 形 ）
，並 點 選 選 項「 雙
要 作 正 H 多 邊 形 拼 圖，可 以 使 用 H 鏡
曲正多邊形拼圖」中的「展示製作順序」
射、H 旋 轉 或 H 平 移，若 使 用 H 鏡 射，需
或「可手動著色」選項，即可由電腦自動
要 選 用 一 邊 並 標 定 為 鏡 射 軸；若 使 用 H 旋
作 出 拼 圖。使 用 者 自 行 製 作 的 可 拼 圖 H 多
轉，則需利用頂點標定旋轉中心，並指定
邊形，若程式無法辨識為上述三種之一，
固定角度（任意度量）或選取相鄰三個頂
則無法由程式自動做拼圖，使用者需自行
；若 使 用 H 平
點 標 定 旋 轉 角（ 歐 氏 幾 何 角 ）
進行拼圖。自動拼圖之後，若選取的選項
移，則需標定平移向量（注意：只有偶數
是「展示製作順序」時，程式會呈現兩個
邊 的 正 H 多 邊 形 才 可 平 移 拼 合 ）。
按 鈕，按 鈕「 製 作 順 序 」是 一 個 連 續 按 鈕，
數學算板也透過 H 旋轉支援自動拼
連續按之可分段展示電腦拼圖過程及原
「q 個正 p 多邊形可在某
圖。雙 曲 空 間 中，
理；按 鈕「 多 邊 形 及 內 部 」
（ 與「 多 邊 形 」
、
一點無縫隙拼合」的必要條件是 「
「 內 部 」輪 換 ）可 以 讓 電 腦 隨 機 自 動 塗 色，
2 2 4 」， 我 們 用 {p,q} (Schläfli

- 34 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

可 只 呈 現 未 塗 色 的 正 H 多 邊 形（ 或 星 形 ）
、 件 按 鈕 ）， 但 使 用 者 可 以 點 選 各 個 正 H 多
只 內 部 塗 色、同 時 呈 現 多 邊 形 及 內 部 塗 色， 邊 形（ 或 星 形 ）內 部，改 變 其 顏 色。圖 24
但使用者無法改變正多邊形（或星形）內 及 圖 25 展 示 的 就 是 以 {5,4}為 例 的 正 H 多
部顏色。若選取「可手動著色」選項，則 邊形電腦自動拼圖的製作順序及原理。
程式只呈現內部塗色的拼圖（沒有附屬物

圖 24、 左 圖 為 {5,4}多 邊 形 ， 中 圖 I、 II 是 以 B 點 為 中 心 將 原 圖 迭 代 旋 轉 90 度 兩 次 而 得 ，
右 圖 是 分 別 將 I、 II 分 別 對 圖 上 標 示 的 黑 點 迭 代 H 旋 轉 而 得

圖 25、將 圖 24 右 圖 中 原 正 H 多 邊 形 外 其 他 正 H 多 邊 形，以 A 點 為 中 心，迭 代 H 旋 轉 90

度 1 次、2 次、4 次之圖形

圖 26、 正 H 多 邊 形 {10,3}{4,7}的 拼 圖 ， 左 圖 以 圓 盤 圓 心 O 為 中 心

- 35 -
科學教育月刊 第 402 期 中華民國 106 年 9 月

數學算板也提供修飾正多邊形拼圖的 {5,4}及 {7,4}正 H 多 邊 形 修 飾 變 化 而 來 的。

功 能，選 擇「 雙 曲 正 多 邊 形 拼 圖 」選 項 前， 圖 28 左 圖 是 雙 曲 正 五 邊 形 {5,4}內 切
可選取一個以上的物件，第一個物件必須 圓及頂點切圓的拼圖，其頂點切圓是內切
是雙曲正多邊形或雙曲正星形，第二個以 圓 拼 圖 後 補 入 的。圖 28 右 圖 展 示 藍 伯 特 鳶
上物件為以此雙曲正多邊形頂點或邊為親 形 (Lambert Kite)拼 圖，是 三 個 直 角 一 個 銳
代的物件。若已選為一個物件（雙曲正多 角的四邊形拼圖，本圖中，銳角的角度是
邊形或雙曲正星形）
，程 式 會 作 正 多 邊 形 或
。若兩個藍伯特四邊形共用一個兩直角
正星形拼圖，並隨機自動塗色。若已選為
一個以上的物件，程式會以正多邊形的頂 的 夾 邊 ， 就 構 成 一 個 薩 克 闕 里 （ Saccheri）
點 為 基 準（ 不 作 出 多 邊 形 ）
，只 作 出 其 他 的 四 邊 形，若 將 圖 26 共 用 兩 直 角 夾 邊 的 兩 藍
物件，再將所有物件依正多邊形拼圖之形 伯特鳶形塗上相同的顏色，藍伯特鳶形的
式 拼 圖。圖 27 為 展 示 正 多 星 形 的 拼 圖，是 拼圖其實就是薩克闕里四邊形的拼圖。

圖 27、 正 H 五 及 七 星 形 的 拼 圖 ， 左 圖 同 時 呈 現 正 多 邊 星 形 及 內 部 塗 色 ， 右 圖 只 呈 現 內 部
塗色，兩圖均以 A 為圖形中心

圖 28、 左 圖 為 雙 曲 正 五 邊 形 {5,4}內 切 圓 及 頂 點 切 圓 拼 圖 ， 右 圖 為 藍 伯 特 鳶 形 的 拼 圖

- 36 -
 雙曲幾何基本構圖及變換在數學算板中的實踐與應用

陸、結語 柒、後記
本文簡單介紹數學算板中雙曲幾何的 本文發佈時，作者會將「數學算板測
基本構圖、剛體變換及其他相關變換，這 試 版 1.0」置 於 網 頁：http://mathboard.tw ,
些內建的基本構圖及變換可以迅速地製作 提供給有興趣的讀者下載測試。
雙曲幾何物件或將物件變換為其他結果物
件，並呈現出來，可以幫助學習雙曲幾何 參考書目
的 學 生 瞭 解 這 些 構 圖 及 變 換。對 學 生 而 言， 趙 文 敏（ 民 86）幾 何 學 概 論，九 章 出 版 社。
Coxeter , H.S.M. (1997). The trigonome
如何由歐氏幾何構圖功能，一步一步地發 try of hyperbolic tesselations, In
展出這些雙曲基本構圖及變換的功能，是 Canad. Math. Bull. 40 (1997)
pp.158–168.
一個重要的探索挑戰。比較歐氏幾何及雙 Cannon, J. W. , et. al. (1997). Hyperbolic
Geometry. In Flavors of Geometry ,
曲幾何中類似的定理，也是瞭解兩種幾何 MSRI Publications Volume 31, 1997.
的 重 要 方 法，例 如「 不 共 線 三 點 構 成 一 圓 」 Coxeter H.S.M. (1997). The trigonometry
of hyperbolic tesselations, In Canad.
在雙曲幾何中，透過構圖及動態的觀察就 Math. Bull. 40 (1997) pp.158–168.
Gans, David (1966). A New Model of the
很容易看出並不成立。數學算板也提供了
Hyperbolic Plane. The American
不同模型展示雙曲幾何的構圖轉換，只要 Mathematical Monthly, Vol. 73,
Issue 3, March 1966.
使用圓盤模型作圖之後，就可十分容易的 Greenberg, M. J. (1993). Euclidean and
將構圖結果轉換為其他模型的呈現，方便 Non-Euclidean Geometries: Develop
ment and History, 3rd Edition, New
學 生 比 較 對 照。對 雙 曲 正 多 邊 形、正 星 形、 York: W. H. Freeman and Co.
Kinyon, M.K. and Ungar, A.A., (2000).
藍伯特鳶形（包含薩克闕里四邊形）的拼
The Gyro-Structure of the Complex
圖的功能，本文也做了一些討論，提供了 Unit Disk, Mathematics Magazi
ne, 73 (4), 273-284.
實例，學生可以分步驟地觀察電腦拼圖的 Reynolds, William F. (1993). Hyperbolic
過程。學生自行建立基本圖形，透過雙曲 Geometry on a Hyperboloid, The
American Mathematical Month
變換，自行製作拼圖，也是一個有趣的活 ly ,Vol. 100, No. 5 (May, 1993), pp.
442-455.
動。希望本文的介紹及數學算板提供的功
能對雙曲幾何教學有所幫助。

- 37 -