三角形外接球万能公式_双曲几何三角公式推导

一、庞加莱半平面

在半平面

中定义如下的度规

得到的黎曼空间称为庞加莱半平面，它具有负的常数曲率

, 根据Levi-Civita联络系数公式：

容易算出仅有的4个不为0的分量为：

，

从而可列出测地线方程为

为了化简方程，将方程的求导参数从仿射参数换成

，我们有

将2式联立得

除了

为常数的情况，考虑方程

作换元

可得

即有

，容易解出

其中

为积分常数，即有

其中

,

总结起来，测地线有如下两种：

1、垂直于x轴的射线

2、垂直于x轴的半圆弧

二、两点间的距离

对于垂直于x轴的射线有

，从而

，从而

用圆心角参数化半圆弧有

代入线元公式得

，即有

由公式

可得

为了求出过

的半圆，我们需要求出这两点的垂直平分线，它与x轴的交点就是圆心，利用直线的点法式方程

令

有：

从而

综合得

其中

是两点的欧氏距离。

还可以利用

得到：

。

再看射线的情况，对于射线

，从而

，于是

从而距离公式对所有情况均适用。

三、余弦定理

图1

由上图可知

其中当

时取负号，否则取正号，也就是说符号与

一致。

首先由上一节推导可知

因此

其中

是弧

的弦的欧氏距离，另一方面：

从而

又由：

对余弦公式的分子分母同乘以

，分母的绝对值符号和前面的正负号抵消，得到

带入距离公式有：

对于有一条边是射线的情况，如果是对边，那么上面的证明仍然可用，对于射线是邻边的情况，不妨设它为边c：

图2

由上图有

其中开口向左上和右下的角取正号，开口向右上和左下的角取负号，也就是与

同号。

由之前的推导有

且此时

的符号已被消掉，符号只由

确定，注意到：

对分子分母同乘以

，前面的正负号去掉了分子的绝对值，得到：

其中：

总结起来就是：

四、正弦定理

由余弦定理有：

从而

等号右边关于

对称，从而

五、面积公式

由线元公式

可得面积元：

首先我们考虑一段圆弧上方的面积

这里

是这段弧的圆心角，特别地规定射线上两点的圆心角为0，显然它们上方的面积也是0。

考虑一个点在三角形上逆时针运动一周，那么它在下方转动角度为负的圆心角，上方转动了正的圆心角，其代数和就是三角形的面积的负数，同时还在三个角处转动了3个外角，从而

化简得：

附录一：平面三角公式

1、余弦定理

从而

2、正弦定理

由三角形面积公式

有

结果关于

对称，从而

3、海伦公式

附录二：球面三角公式

1、余弦定理

记

为球面上一点

在3维欧氏空间中对应的单位向量，而

还代表球面三角形的内角，定义为大圆弧切线的夹角，它还等于两圆弧所在平面的二面角。

于是

利用公式

有

从而

记

，考虑

利用公式

,有

即有

，其中

是混合积

的符号，则有

即有

2、正弦定理

利用公式

，得

即有

从而

3、面积公式

定义球面二角形是两个大圆相交将球面分割而成的部分，二角形的面积应当正比于它的二面角

，从而球面二角形的面积为

。

考虑将球面三角形的3条边延长，这将球面分为8个部分，其中相对的2个部分是全等的，记三角形

边

和

延长后交于

，类似得到

，于是

注意三角形

和

共同构成了一个二角形，且它的平面角为

，于是

于是

，对另外2个三角形做同样处理带入原式有

即有

，从而得出球面三角形面积公式

附录三：圆周长和面积公式

1、球面圆周长和面积公式

首先球面上2点的距离就是它们的球心角，而它们的欧氏距离是弦长，从而

从而圆周长公式为

面积公式需要用球坐标的面积元

2、庞加莱半平面圆周长和面积公式

由庞加莱半平面距离公式可得圆的方程

化简可得

也就是说庞加莱半平面上的圆还是圆，但是圆心从

变到了

，欧氏空间半径为

。注意到

，从而圆总是位于x轴上方，不会出现有一部分在半平面外的情况。

直接用圆心角参数化

带入线元公式得

即有

，从而

直接用万能公式

换元得：

对于圆的面积，由于庞加莱半平面关于沿x轴的平移是对称的，我们只需要考虑圆心在正半y轴上的圆的面积。

作换元

有：