## 幾何学

シンデレラの特徴の1つは、様々な幾何学での作図ができるという点です。 「様々な幾何学での」という考え方にはなれていない人もいるかもしれません。 理論的背景を読めば、どのような幾何学が元にあって、それらが シンデレラにどのように組み込まれているかを知ることができるでしょう。すでに、 ユークリッド幾何、非ユークリッド幾何について知っている読者はその章だけ を参照すればよいでしょう。
もう1つ注意しておきます。幾何学 と 表示を混同しないように注意しましょう。 どちらも見た目は同じですが、幾何学とは要素の振舞いを決定するものであり、表示とは要素の見え方を決めるものなのです。

### 幾何学の種類

シンデレラのメインのウィンドウには幾何学を選択するボタンがついています。 現在のバージョンでは3種類の幾何学が使えるようになっています。 「ユークリッド幾何」「双曲幾何」「楕円幾何」です。 次のボタンを押すことにより幾何学を切り替えることができます。
`ユークリッド幾何, 双曲幾何, または 楕円幾何です。`
作図の途中で幾何学を切り替えても、それまでに描いた要素は変わりません。 しかし切り替え後に描いた要素は新しい幾何学に従って解釈されます。 それぞれの要素はその要素がどの幾何学に属しているかを示す記録がなされているとみなすことができます。 幾何学の選び方によって性質が変わってしまう基本的な概念は、距離と角度です。
しかし、作図の他の部分にも幾何学の選択が影響するところがあります。 たとえば、角の2等分線ですが、これは2直線に対して、そのなす角を半分にするような直線を与えるものです。 角度の測り方が変わってしまえば、角の2等分線の定義も変わってしまいます。 同じようなことは、平行線や垂線についても言えます。 円の定義も幾何学によって変わります。 円とは中心となる1点から等距離にある点の集まりということですが、距離の概念が変わってしまえば、円の概念も変わってしまうということです。
他の操作は幾何学の選択に依存しません。 2点を結ぶ直線は、どの幾何学を選ぼうともいつも同じ図形になります。
次のリストは幾何学の選び方に影響を受ける操作を並べたものです。 作図される要素の数や場所が変わることがあるのがわかるでしょう。

- 距離：距離の考え方は幾何学の選び方に依存しています。 双曲幾何では2点間の距離が複素数になってしまうこともあります。 たとえば2点を結ぶ直線が無限遠点の外側を通る場合などはそうなります。
- 角度：角度の概念も幾何学によって変わります。 距離の場合と同様に、角度が複素数の値をとることもあります。
- 円：円の定義は距離の概念に依存しています。 ですから、選んだ幾何学によって変わります。 ユークリッド表示では双曲幾何学の円や楕円幾何学の円は2次曲線の形に見えます。 他の表示にしてみるともっとよくわかります。 双曲表示(ポアンカレディスク)では双曲幾何学の円はまさしく円のように見えます。 楕円表示では楕円幾何学の円は球の上の円であることがわかります。
- 鏡映：鏡映の概念は、距離の概念に依存しますから、従って幾何学の選び方にも依存します。 どの種類の鏡映についても同じことです。
- 角の二等分線：どの幾何学においても、2直線の角の2等分線は定義されます。 しかしその場所は幾何学によって異なります。 双曲幾何学では、実数の直線の角の2等分線が複素数の直線になることもあります。
- 中点： 2頂点の中点は、距離の定義に依存した概念です。 ユークリッド幾何学では中点はただ1つです。 双曲幾何と楕円幾何では中点はいつでも2つあります。 注意： 双曲表示で見ると、画面上に見える中点は1つだけです。 というのは、もう1つが無限遠点のかなたにあるからです。
- 固定した角度の直線：この作図は幾何学の選び方に依存します。 というのは、角度の定義が幾何学によっているからです。
- 垂線：垂線の概念は角度に依存していますから、幾何学の選び方によります。
- 平行線： シンデレラでは、直線Lの平行線を「L とのなす角度が0である直線」 というように定義しています。 ユークリッド幾何学では1点を通る平行線は1本です。 (訳註：ユークリッド幾何学では直線の無限遠点は1点であり、無限遠点と定点とを結ぶ直線が唯一の平行線となります。) しかし双曲幾何学や楕円幾何学では一般には1点を固定しても平行線は2本引けます。 楕円幾何学では平行線は複素係数をもつ直線になりますから、 式による表示でしか見ることができません。

シンデレラの現在のバージョンでは幾つかの操作が双曲幾何や楕円幾何では定義されていません。 たとえば、３点で決まる円, 面積, ２次曲線の中心です。これらは、ユークリッド幾何学でのみ計算がなされます。

### 表示と幾何学

もちろん、どの幾何学でもあらゆる表示と組み合わせることは可能ですが、数学的に意味のある場合は限られています。 ここに一般的な組み合わせをあげてみましょう。
ユークリッド幾何をユークリッド表示する：
この組み合わせがもっとも一般的な場合です。 この場合、おのおのの要素は「普通の平面」にある「普通の要素」のように振舞います。
ユークリッド幾何を球面表示する：
この組み合わせにより、ユークリッド平面の無限遠点を観察することができます。 球面表示はユークリッド平面の2重被覆になっています。 平面上の任意の直線は球面上の大円に対応しています。 平面上の任意の点は球面上の一組の対蹠点に対応しています。 そして、球の絵の縁(表示させた最初の状態での、表側と裏側の境目)がユークリッド平面の無限遠点に対応しています。
双曲幾何をユークリッド表示する：
ここで表示されているのは、通称ベルトラミ--クライン・モデルと呼ばれる双曲幾何学のモデルの1つです。 このモデルにおいては、双曲直線は普通の意味での直線と一致します (従って、角度は見た目のものと異なります)． これはケーリー-クライン幾何の定義から導かれることです。 この表示においては双曲幾何の水平線は細い円で表示されます。
双曲幾何を双曲表示する：
これはいわゆるポアンカレディスク・モデルと呼ばれるものです。 ここでの双曲直線とは、単位円に直交する円弧です。 ここでの双曲角とは、円弧と円弧のなす角をユークリッドの意味で測ったものになっています。 数学の言葉を使うと、「ポアンカレディスク・モデルは双曲平面の等角写像による像である」ということになります。 この絵では、双曲円は実際に円の形をしています。
ポアンカレディスク・モデルで表示されている部分は、対応しているケーリー-クライン幾何学の全平面の一部分にすぎません。 ユークリッド表示での円の内側がちょうどここに対応しています。
ポアンカレディスク・モデルにおける長さは、円内の点から円上の点までの距離が無限大になるように決められています。
楕円幾何を球面表示する：
球面表示は、楕円幾何を目で見るには最も適しています。 2本の直線のなす角とは、対応する2本の大円の球面上でのなす角度です。 2点間の距離は、球面上の最短距離を測ったものが対応します。 楕円幾何の円は球面上に描かれた円に対応しています。
しかし、多少の注意が必要です。 楕円幾何学は球面上の幾何学とはやや異なるからです。 楕円幾何学では、球面上の対蹠点を同じ点であるとみなしています。
(阿原)

Page last modified on Sunday 28 of August, 2011 [11:14:49 UTC].
The original document is available at http://doc.cinderella.de/tiki-index.php?page=GeometriesJ