首页 >
双曲几何
✍ dations ◷ 2025-04-04 11:31:53 #双曲几何
双曲几何又名罗氏几何(罗巴切夫斯基几何),是非欧几里德几何的一种特例。与欧几里德几何的差别在于第五条公理(公设)-平行公设。在欧几里德几何中,若平面上有一条直线R和线外的一点P,则存在唯一的一条线满足通过P点且不与R相交(即R的平行线)。但在双曲几何中,至少可以找到两条相异的直线,且都通过P点,并不与R相交,因此它违反了平行公设。然而,取代欧几里德几何中的平行公设的双曲几何本身并无矛盾之处,仍可以推得一系列属于它的定理,这也说明了平行公设独立于前四条公设,换句话说,无法由前四条公设推得平行公设。到目前为止,数学家对双曲几何中平行线的定义尚未有共识,不同的作者会给予不同的定义。这里定义两条逐渐靠近的线为渐近线,它们互相渐进;两条有共同垂直线的线为超平行线,它们互相超平行,并且两条线为平行线代表它们互相渐进或互相超平行。双曲几何还有一项性质,就是三角形的内角和小于一个平角(180°)。在极端的情况,三角形的三边长趋近于无限,而三内角趋近于0°,此时该三角形称作理想三角形。双曲几何专门研究当平面变成鞍马型之后,平面几何到底还有几多可以适用,以及会有什么特别的现象产生。在双曲几何的环境里,平面的曲率是负数。已知在双曲几何上,至少有两条直线满足过P点平行直线R。接着在R上取一点B使得PB垂直R于B点,设在所有满足过P点且不与R相交的直线中,存在一条直线x与PB的逆时针方向夹角比其他直线都来的小,即任何一条直线若与PB的逆时针夹角小于x与PB的逆时针夹角,则必与R相交,并定义x为R的渐近线。同理,若存在另一条直线y与PB的顺时针方向夹角比其他直线都来的小,则y为R的另一条渐近线。并且,在所有满足过P点且不与R相交的直线中,唯有x与y是R的渐近线,其余的则称之为R的超平行线。由于满足小于90°且大于x与PB的夹角θ的角度有无线多个,每个角度皆可引出两条R的超平行线,因此R有无线多条超平行线。因此,对于平面上一条直线R以及线外的一点P,恰能引出两条直线过P且渐近于R,以及无限多条直线过P超平行于R。此外,渐近线和超平行线的差别还有:不论往线的哪端延伸,两条超平行线之间的距离皆会趋近于无限;但两条渐近线之间的距离则会在一端趋近于零,在另一端趋近无限。从而,在双曲几何中有一定理超平行线定理:对于任两条超平行线存在唯一一条线同时垂直于这两条线。对双曲平面上的一条直线R,作线段BP垂直R于B点,且线段BP的长度等于一个给定的值p,则定义两条R的过P点的渐近线与线段BP的夹角θ为p的渐近角(Angle of parallelism),通常记为Π(p)。因此有于是,随着线段长度的缩小,双曲几何的性质会越来越像欧几里得几何。事实上,对任一个双曲几何定义一个定值K=高斯曲率,借由线段长度与
1
−
K
{displaystyle {frac {1}{sqrt {-K}}}}
的比值,由此可知该平面的性质与欧几里得几何的相似度。在双曲几何中,线段长度的定义为两点的最短距离除以
R
=
1
−
K
{displaystyle R={frac {1}{sqrt {-K}}}}
,K=高斯曲率,正如同在球面几何中的长度为其圆心角弧度(最短距离除以曲率),有了长度的定义后,便可给出双曲几何中的勾股定理:若一直角三角形的两股长分别为a和b,斜边为c,则在此,cosh指的是双曲余弦函数。在双曲几何中,许多双曲三角学公式与欧几里得几何十分相像,大抵上双曲几何中的长度需带入双曲函数。例如双曲几何中的正弦定律为:不同于欧几里得几何,双曲几何中三角形的内角和必小于π(180°),故称其内角和与π的差为该三角形的角亏,则该三角形的面积等于该三角形的角亏乘以 R²,而
R
=
1
−
K
{displaystyle R={frac {1}{sqrt {-K}}}}
。故所有三角形的面积均小于等于πR²,且等号成立当且仅当该三角形为理想三角形。以下的圆或球半径皆为 r ,并且 K 代表高斯曲率, R 代表
1
−
K
{displaystyle {frac {1}{sqrt {-K}}}}双曲几何中圆的周长为
2
π
R
sinh
r
R
{displaystyle 2pi Rsinh {frac {r}{R}},}因为sinh x的泰勒展开式为于是,对所有正实数 x>0,
s
i
n
h
x
>
x
{displaystyle sinhx>x}
,推得
sinh
r
R
>
r
R
{displaystyle sinh {frac {r}{R}}>{frac {r}{R}}}故圆的周长必大于
2
π
r
{displaystyle 2pi r}
。圆的面积则是
2
π
R
2
(
cosh
r
R
−
1
)
{displaystyle 2pi R^{2}(cosh {frac {r}{R}}-1)}
。球的表面积为
4
π
R
2
sinh
2
r
R
{displaystyle 4pi R^{2}sinh ^{2}{frac {r}{R}}}
,必大于欧几里得几何的
4
π
r
2
{displaystyle 4pi r^{2}}球的体积为
π
R
3
sinh
2
r
R
−
2
π
R
2
r
{displaystyle pi R^{3}sinh {frac {2r}{R}}-2pi R^{2}r}在n度空间中,定义 Ω_n 是n维立体角,满足
Ω
n
=
2
π
n
/
2
Γ
(
n
2
)
{displaystyle Omega _{n}={frac {2pi ^{n/2}}{Gamma left({frac {n}{2}}right)}}}在此,Γ(n)是Γ函数。则n-1维球面(在n度空间中)的测度是
Ω
n
R
n
−
1
sinh
n
−
1
r
R
{displaystyle Omega _{n}R^{n-1}sinh ^{n-1}{frac {r}{R}}}n维球(在n度空间中)的测度则是
Ω
n
R
n
−
1
∫
0
r
sinh
n
−
1
s
R
d
s
{displaystyle Omega _{n}R^{n-1}int _{0}^{r}sinh ^{n-1}{frac {s}{R}}ds}罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式一对分散直线在其唯一公垂线两侧无限远离几何平行公理用“从直线外一点,至少可以做两条直线和这条直线平行”来代替,其他公理基本相同。由于平行公理不同,经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。凡是不涉及到平行公理的几何命题,在欧式几何中如果是正确的,在罗式几何中也同样是正确的。在欧式几何中,凡涉及到平行公理的命题,在罗式几何中都不成立,他们都相应地含有新的意义。下面举几个例子加以说明:从上面所列举得罗式几何的一些命题可以看到,这些命题和大众所习惯的直观形象有矛盾。所以罗式几何中的一些几何事实没有像欧式几何那样容易被接受。但是,数学家们经过研究,提出可以用大众习惯的欧式几何中的事实作一个直观“模型”来解释罗式几何,便是正确的。1868年,意大利数学家贝尔特拉米发表了一篇著名论文《非欧几何解释的尝试》,证明非欧几何可以在欧几里得空间的曲面(例如拟球曲面)上实现。这就是说,非欧几何命题可以“翻译”成相应的欧几里得几何命题,如果欧几里得几何没有矛盾,非欧几何也就自然没有矛盾。直到这时,长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究,罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美,他本人则被人们赞誉为“几何学中的哥白尼”。
相关
- H6N1亚型H6N1(英语:Influenza A virus subtype H6N1,记作A(H6N1)或H6N1)是一种甲型流感病毒,是禽流感病毒或禽流感病毒的一个亚型。H6N1最初于2013年6月21日在台湾发现,首例患者是一名住在
- 降血脂药物降血脂药(英语:Hypolipidemic agents),又称调血脂药或antihyperlipidemic agents、lipid-lowering drugs,是一类用来治疗高脂血症的药物。常用的降血脂药有两大类,分别为他汀类药
- 舆论舆论,或称民意(英语:Public opinion),其定义非常多样化,人们都意识到舆论的重要性,但是对于什么是舆论却从来没有达成一致的意见,就和其它社会科学一样,舆论学对舆论的定义决定了舆论
- 延br /展br /纪延展纪(Ectasian,符号MP2)是地质时代中的一个纪,开始于同位素年龄1400±0百万年(Ma),结束于1200±0Ma。延展纪期间出现有性生殖。延展纪属于前寒武纪元古宙中元古代;延展纪的上一
- 舍农索城堡舍农索城堡(法:Château de Chenonceau),又称雪侬梭城堡或女人城堡,位于法国安德尔-卢瓦尔省的卢瓦尔河流域,靠近舍农索小村落,建立在卢瓦尔河的支流谢尔河上,11世纪时初见于历史记
- 德国广播德国广播电台(德语:Deutschlandradio,简称DLR或DRadio)是德国的一家公共广播电台,1994年组建而成,总部位于科隆,面向德国国内播出。德国广播电台、德国公共广播联盟(ARD)以及德国电视
- 阿马道里重排阿马道里重排(英语:Amadori rearrangement)为N-取代的醛糖胺转变成1-氨基-1-去氧-2-酮糖的同分异构反应。见于糖类与氨基间的美拉德反应、糖类与苯肼的反应以及蝶啶的生物合成
- 短路短路(Short circuit)是指在正常电路中电势不同的两点不正确地直接碰接或被阻抗(或电阻)非常小的导体接通时的情况。短路时电流强度很大,往往会损坏电气设备或引起火灾。 电力系统
- 冈山本洲工业区坐标:23°06′05″N 120°16′56″E / 23.101282°N 120.282106°E / 23.101282; 120.282106冈山本洲工业区(简称冈山工业区),位于台湾高雄市冈山区。产业园区面积208公顷,计分为
- 尼奥斯湖尼奥斯湖(英语:Lake Nyos)是位于喀麦隆西北部的火山湖,距离首都雅温得约315公里。长2公里,宽1.2公里,湖面位处海拔1,091米。该湖泊位在西非喀麦隆火山带的范围内,是典型的火山口湖,