双曲几何基本构图及变换在数学算板中的实践与应用.pdf

雙曲幾何基本構圖及變換在數學算板中的 實踐與應用 林保平 臺北市立大學數學系退休副教授 壹、雙曲幾何及其圓盤模型簡介 根據前者得出的幾何系統就是橢圓幾何 歐幾里得的《幾何原本》列出了五個 (Elliptic Geometry) ；根據後者推論出來 公設： 的幾何系統稱為雙曲幾何（Hyperbolic 1. 相異兩點可以決定一直線。 Geometry) 。雙曲幾何有許多不同的呈現模 2. 直線的兩邊可以無限延伸。 型，數學算板中使用龐加萊圓盤模型 3. 任意一點與任一距離可以畫出一 （Poincares disk model ）作為雙曲幾何構 圓。 圖的基本模型。 4. 凡直角皆相等。 圓盤模型的點與線（ H點與 H 線） 5. 同一平面上兩線被一直線所截，若 圓盤模型展示的幾何空間是一個圓的 某一側的兩個內角和小於二直角， | | 內部| 1,∈。圓內的點就是雙 則這兩條直線會在該側相交。 曲幾何的點(有時為了分辨會稱為 H 點) ， 公設的意思就是不必證明就認定其為 圓上的點不是雙曲幾何的點，稱為理想點 正確的定理。利用這五個公設及其他定義 (ideal point) ，數學算板會將理想點以中空 和公理，歐幾里得導出了幾何原本中的定 的小圓表示。若一個圓與圓盤圓正交（過 理。前四個公設，淺顯可以同意它的正確 交點的兩圓切線互相垂直），此圓在此圓盤 性，但是第五公設描述較為複雜，許多數 內部的弧（不含端點）就是雙曲直線（簡 學家企圖利用前四個公設來證明其正確 稱 H 直線），兩個交點（端點）就是此H 性，但都沒有人成功。第五公設，稱為平 直線的理想點，我們說此 H 線通過這兩個 行公設(Parallel Axiom) ，有一個等價的描 理想點。包含於 H 直線上的弧，若端點都 述-普來費爾公理（Playfairs Axiom) ：「過 在圓內部，此弧稱為雙曲線段（H 線段， 直線外一點恰有一條直線與此直線平行」。 含兩端點），若一端點是理想點，另一端點 雖證不出平行公設，有些數學家就試著改 是 H 點，則此弧（去除理想點）稱為雙曲 變平行公設的內容，公設改成「過線外一