§4.角の定義
ここでは,円盤Dにおける角の大きさの定義をします.
合同な角は同じ大きさでなければいけないことに注意しましょう.
すなわち,2つの半直線による角∠PABともう一つの角∠P′A′Q′に対して
∠PAB↦∠P′A′B′
を満たす双曲運動が存在するなら∠PAQの大きさと∠P′A′Q′の大きさが等しいように定義しなければいけません.
まず,角の頂点が円盤Dの中心Oの時を考える.
∠POQと∠P′OQ′がユークリッド幾何の意味で等しい時,円盤Dの中心の周りの回転変換は,D
の双曲運動の一つであるから,
∠POQ↦∠P′OQ′
となる双曲運動が存在するので,頂点が円盤Dの中心の角∠POQの双曲幾何での角の大きさはユークリッド幾何の通常の角の大きさと
同じとしてよさそうである.
しかし,こう主張するには,まだ不十分で,この定義が妥当である(well defined)であることを示す必要がありあります.要するに逆を示すことですが,
頂点が円盤Dの中心Oである,2つの角∠POQ,∠P′OQ′に対して,
∠POQ↦∠P′OQ′
となる双曲運動が存在するなら,ユークリッド幾何の意味で
∠POQ=∠P′OQ′
が成り立つことを示す必要があります.
それを示しましょう.
射影変換の定義は
直線の像は直線
1直線上にある4点複比をの保つ
ですが,
f:π→π
が射影変換のとき
2直線l,mの交点Pの像f(P)は2直線f(l),f(m)の交点である.
直線lと曲線Cが点Pで接するとき,直線f(l)と曲線f(C)は点f(P)で接する
等の性質を用いて議論を進めます.
∠POQ↦∠P′OQ′
を満たす双曲運動fが存在すると仮定する.
P,Qにおける接線の交点Rのfによる像はP′,Q′における円Cの接線の交点R′.
したがって,直線ORのfによる像はOR′.
OR,PQの交点Sのfによる像はOR′,P′Q′の交点S′
∴
したがって
d(O,S)=d(O,S')
線分の端点がともに円の中心であるから
ユークリッド幾何の意味で
OS=OS'
OR,OR'はそれぞれ\angle POQ,\angle P'OQ'のユークリッド幾何の意味での二等分線より
\angle OSP=\angle OS'P'=\frac{\pi}{2},
したがって,ユークリッド幾何の意味で
\triangle OSP\equiv \triangle OS'P'
ユークリッド幾何の意味で
\angle POS=\angle P'OS'
が成り立つから,ユークリッド幾何の意味で
\angle POQ=\angle P'OQ'
が成り立つ.
これは,2つの角がともに頂点が円盤Dの中心であるとき,ユークリッド幾何の意味で等しければ
双曲幾何の意味でも等しいということです.
したがって,双曲平面において,頂点が円盤Dの中心OであるOPとOQのなす角は
ユークリッド幾何における角\angle POQで定めることが出来る.
双曲幾何における角の大きさを双曲角といい,2つの半直線OP,OQのなす双曲角を
\delta POQ
と表すことにする.なお,以後\angle POQは通常のユークリッド幾何の意味で用いる.
この記号を用いれば,
\delta POQ=\angle POQ
である.
角度を定義するとき,満たさなければならない性質,すなわち
2つの半直線OP,OQの中にもう一つ半直線ORがあるとき
\delta POR +\delta ROQ=\delta POQ
が成り立つことを確認しよう.
\delta POR +\delta ROQ=\angle POR+\angle ROQ
\delta POQ=\angle POQ
より
\delta POR+\delta ROQ=\delta POQ
が成り立つ.
次に,円盤D内の任意の点Aを頂点とする\delta PAQを定義しよう.
円盤Dの中心をOとして
A\mapsto O
である双曲運動で
\angle PAQ \mapsto P'OQ'
のとき,2つの半直線AP,AQのなす双曲角\delta PAQは
\delta PAQ=\angle P'OQ'
で定義する.
この定義が妥当であることを確認しましょう.それは
A\mapsto O
である双曲運動の取り方によらにないことを示す必要があります.
すなわち,2つの双曲運動f,gが
f:\angle PAQ \mapsto \angle P'OQ'
g:\angle PAQ \mapsto \angle P''OQ''
のとき,
\delta P'OQ'=\delta P''OQ''
すなわち
\angle P'OQ'=\angle P''OQ''
を示す必要があります.
それはg^{-1}\circ fは双曲運動より
g^{-1}\circ f:\angle P'OQ'\mapsto \angle P''OQ''
であるから
\angle P'OQ'=\angle P''OQ''
が分かる.
角の加法性ついては
f:AP\mapsto OP',AQ\mapsto OQ',AR\mapsto OR'
のとき
\delta PAR+\delta RAQ=\angle P'OR'+\angle R'OQ'
\delta PAQ=\angle P'OQ'
よりなりつことが分かる.
双曲角の基本事項をまとめよう.
まず,角の二等分線を考える.
ASは半直線AP,AQのなす双曲角を2等分する半直線とする.
すなわち
\delta PAS=\delta QAS
が成り立つとする.
Aの像がDの中心Oである双曲運動fで
\angle PAQ \mapsto \angle P'OQ',AS\mapsto OS'
とすると,
\delta P'OS'=\delta Q'OS'
OがDの中心であるから
\angle P'OS'=\angle Q'OS'
したがって,境界円CのP',Q'における接線の交点R'は直線OS'上にある.
円の接線は双曲運動で保たれるから,境界円CのP,Qにおける接線の交点Rは直線AS上にある.
すなわち,\angle PAQの双曲角としての二等分線は,境界円CのP,Qにおける接線の
交点RとA
を結ぶ直線(のDの内部)である.
極と極線の言葉を用いれば,\angle PABの双曲角としての2等分線は,直線PQ
の極RとAを結ぶ直線である.
なす角が\piの角を平角と呼ぶ.
双曲運動で直線の像は直線である,したがって,原点だけでなく平角はどこでも
双曲角とユークリッド角は等しい.すなわち,任意の点Aで
\angle PAQ=\piのとき
\delta PAQ=\angle PAQ
が成り立つ.
次に直角を考える.直角は平角を二等分した角である.したがって,
直線PQに垂直な直線は,PQの極Rを通る直線である.
すなわち,PQの極をRとすると,Sを通り直線PQに双曲垂直な直線は直線RSである.
極と極線の基本性質に
点Qが点Pの極線上にあれば,点PはQの極線上にある
がある.この性質より,
PQとP'Q'が垂直ならP'Q'とPQが垂直である
ことがわかる.
直線PQが円盤Dの直径のとき,PQに垂直な直線を調べよう.
直径PQの端点P,Qにおける接線は平行である.これは無限遠点で交わることを意味する.
P,Qにおける接線の交点を通る直線とは,P,Qにおける接線と平行な直線,言い方を変えればPQと
ユークリッド幾何の意味で垂直な直線である.
したがって,PQが直径の時,PQに双曲幾何の意味で垂直な直線
とユークリッド幾何の意味で垂直な直線は同じ意味である.
例
2直線の双曲垂直を学んだところで,これは後で説明することであるが,
ユークリッド幾何に慣れている人にとっては奇妙と思われる事実を説明する(慣れていないだけのことで奇妙ではない).
右図は,直線PQ,STおよび,RはPQの極である.任意の点Aに対して,Aから
直線PQに垂線を引くことが出来る.
しかし,点Rを通る直線STと交わる直線は\angle SRTに含まれる.
すなわち,PQに垂直な直線は直線STに交わるとは限らない.具体的に言うなら,図の点Uにおいて立てた垂線はST
とは交わらない.
だから,たとえば
直線PQの点UにおいてPQと垂直な直線を引き直線STの交点をVとする
という議論はできないのです.
ユークリッド第5公準が他の公理と独立であるかどうかの証明の多くは,第5公準を否定し矛盾
を導き出す方法を用いたといわれる.
当然その論は間違いである.間違いであることが分かっていてそれを見つけるのではない.当時
その間違いを見つけるのは困難を極めたといわれるが,
納得できるであろう.
Oを円盤Dの中心とする.一般の双曲角\delta PAQと双曲角が等しい\delta SOT(=\angle SOT)を求めよう.
線分AO上の双曲中点Mすなわち
d(A,M)=d(O,M)
を満たすMをOにうつす双曲運動をfとする.
A,O,P,Qのfによる像をそれぞれA',B',P',Q'とし,Oを通りA'B'に双曲垂直な直線Y'Z'に関して
\angle P'A'Q'と対称な角を\angle S'B'T'とする.
円盤の中心を通る直線に関する対称変換は双曲運動であるから
\delta P'A'Q'=\delta S'B'T'
したがって,f^{-1}による\angle S'B'T'の像を求めればよい.
A'B'に双曲垂直でA',B'を通る直線をそれぞれU'V',W'X'とする.
fの像の図(右側の図)で,Y'Z'に関して対称な図形であるから,
U'W',S'P',A'B',T'Q',V'X'は平行である.すなわち,無限遠点で交わる.ちなみにその点は直径Y'Z'
の極である.
右側の図をf^{-1}で戻した図が左側の図.
双曲運動で,一点で交わる直線の像は一点で交わるから,UW,SP,AO,TQ,VXは一点で交わる.その交点を
求めればよい.
\angle PAQとOだけで定まるのはU,W,V,Xである.
したがって,UW,VXの交点をRとし(この点はYZの極であり,直線AOも通る),RP,RQと境界円Cとの交点をそれぞれ
S,Tとすれば\angle SOTが求めるものである.
\angle PAQと双曲角が等しいSOTの求め方をまとめると次のようになる.
1.AOに双曲垂直でA,Oを通る直線をそれぞれUV,WXとする.ここで,AOは直径の一部であるから,
ここでの直角はユークリッド幾何の意味での直角でもある.
2.UW,VXの交点をRとする.四角形UWXVは等脚台形よりUW,AO,VXは一点で交わる.
3.RP,RQと境界円Cとの交点をそれぞれS,Tとすれば\angle SOTが求めるものである(AOの双曲垂直二等分線に関する線対称の図形を作った.線対称は後で扱う).
\delta PAQ=\delta SOT
であるが,このときのユークリッド幾何の意味での\angle PAQ,\angle SOTの大小を調べよう(見かけの角の大小).
OSとUVの交点をB,WXとAPの交点をCとすると,R,B,Cは一直線上にある.(R',B',C'の方が分かりやすい)
\angle BAO=\frac{\pi}{2},\angle COA=\frac{\pi}{2}およびCO > BAより
\angle SOT < \angle PAQ \cdots (\sharp)
がわかる.
注意しなければならないことは,(\sharp)が常に成り立つ,言い方を変えれば,
円の中心以外を頂点とする双曲角は見かけのユークリッド角より小さいということは一般には言えない.それは
上の図でいえば,\delta PAQの双曲補角を考えれば分かる.
例えば,右図で\delta BED,\delta AEDは共に\frac{\pi}{2}である.
上記(\sharp)を正確に言えば,
\angle PAQが円の中心Oを含み,\angle PAO,\angle QAOがともに鋭角のとき,
\angle SOT < \angle PAQ
が成り立つ.
となる.
この性質により,次の命題が成り立つ.
双曲命題
双曲平面における双曲三角形の内角の和は\piより小さい.
実際,双曲三角形ABCの双曲内心を円の中心に双曲運動でうつした図が右図である.
Oは\triangle ABCの内部にあり,
\angle OAB,\angle OAC,\angle OBA,\angle OBC, \angle OCB,
\angle OCA
はいずれも鋭角である.
したがって,
\delta A < \angle A,\delta B < \angle B,\delta C < \angle C
\delta A+\delta B+\delta C < \angle A+\angle B+\angle C=\pi
双曲命題より任意の双曲三角形で
\pi -\delta A -\delta B -\delta C > 0
が成り立つことが分かりました.
双曲幾何では,この値が双曲三角形の面積と比例しています.
定義
kを正の数とする.
双曲三角形ABCの面積を\mathrm{Area}(\triangle ABC)と表し
\mathrm{Area}(\triangle ABC)=k(\pi -\delta A-\delta B-\delta C)
で定義する.
さて,面積を定義しましたが,勝手に定義してはいけません.距離や角の定義と同じように
その定義が妥当でなければいけません.
面積の満たすべき性質は次の2つです.
1. \ A \equiv B \Rightarrow \mathrm{Area}(A)=\mathrm{Area}(B)
2. \ Aが内点に共通部分がない和集合
A=A_1\cup A_2\cup \cdots \cup A_n
のとき
\mathrm{Area}(A)=\mathrm{Area}(A_1)+\mathrm{Area}(A_2)+\cdots +\mathrm{Area}(A_2)
が成り立つことです.
1は合同なら内角はそれぞれ等しいので成り立ちます.
2は双曲三角形\triangle ABCが内点Dを用いて3つの双曲三角形\triangle DAB,\triangle DBC,\triangle DCAに分割される場合に
示します.
双曲角a,b,\dots iを右図のように定める.
\mathrm{Area}(\triangle ABC) =k\{\pi -(a+b+c+d+e+f)\}
一方
\mathrm{Area}(\triangle DAB)+\mathrm{Area}(\triangle DBC) +\mathrm{Area}(\triangle DCA)
=k\{(\pi-a-b-g)+(\pi -c-d-h)
+(\pi -e-f-i)\}
=k\{\pi-(a+b+c+d+e+f)\}
(∵ \piや2\piはユークリッド角と双曲角は等しいから
g+h+i=2\pi)
最後に,角を原点にうつした方法と似た方法で線分の中点も求められるのでここで述べる.
右図は線分ABの双曲幾何の意味での中点を求める図である.
直線ABの極をRとし,RA,RBと境界円Cとの交点をそれぞれT,VおよびU,Wとする.
2直線線VW,TUの交点をS(直線ABもSを通る),Sの極線とABの交点が線分AB
の中点である.
(\because ) Mを双曲運動で原点に移す双曲運動により,V,W,U,Tの頂点がユークリッド幾何の意味の
長方形になる.
このように図形的に考えなくとも,複比より
[A,B;Q,P]=[A,X:Q,P]^2
を代数的に解くだけである.
§5.非ユークリッド幾何
射影幾何の目次
全体の目次
|