球面正弦-余弦定理证明

上传人：诸*** IP属地：江苏上传时间：2023-09-19 格式：DOCX 页数：7 大小：712.77KB 积分：15 举报 版权申诉

已阅读5页，还剩2页未读，继续免费阅读

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

§4球面余弦定理和正弦定理平面几何中的三角形全等判定条件说明了平面三角形的唯一性，到了平面三角学，把这种唯一性定理提升到有效能算的角边函数关系。其中最基本的就是三角形的余弦定理：设三角形ABC的三条边分别是a、b、c，它们的对角分别是、、，则其中，分别表示的余弦。

三角形的正弦定理：设三角形ABC的三条边分别是a、b、c，它们的对角分别是、、，则。类似地，球面三角形也有有效能算的边角函数关系，其中最主要的结果就是球面三角的正弦定理和余弦定理。

为证明球面三角余弦定理，我们介绍有关向量的另一种乘积—外积。

两向量a与b的外积是一个矢量，记做a×b，它的模是|a×b|=|a||b|(a,b),它的方向与a,b都垂直，并且按a,b,a×b这个顺序构成右手标架。

对于向量的外积，有拉格朗日恒等式成立。a×b）·(a’×b’)=(a·a’)·(b·b’)－(a·b’)·(b·a’)

定理4.1（球面三角余弦定理）在单位球面上，对于任给球面三角形，其三边和三角恒满足下述函数关系

（证法一）证明：如图4-1所示，

图4-1是单位球面上的三点，以a,b,c分别表示单位长向量,则球面三角形的三角角度和三边边长分别可以用空间向量a,b,c表达如下：

是b,c之间夹角的弧度，所以cos=b·c,同理有cos=a·c,cos=a·b。

是“a,b所张的平面”和“a,c所张的平面”之间的夹角，所以也等于a×b和a×c之间的夹角，即

（a×b）·(a×c)=|a×b|·|a×c|cosA=

同理亦有（b×c）·(b×a)=

（c×a）·(c×b)=

由（a×b）·(a×c)==cos－

所以

同理可证形式上有了很大差别。我们称之为球面勾股定理。

定理4.2（球面三角正弦定理）在单位球面上，对于任给球面三角形，其三边和三角恒满足下述函数关系

证明：因为上述三个比值都是正的，所以我们只要证明恒成立。由球面三角余弦定理，得同理可证，所以。

一般地，易证在半径为r的球面上，对于任给球面三角形，其三边和三角恒满足下述函数关系

和当时，上述关系式会变成什么形式呢？如图，当时，球面三角形的三边可以看作直线段，所以

所以,,,,代入上述关系式，当时对式子取极限，整理得：这恰好是平面三角余弦定理和正弦定理。

在实际使用时，考虑到所给条件的不同及计算的方便，我们常常需要不同形式的球面三角公式，这些公式本质上都能以球面正弦定理和余弦定理加以变换而得到。

前面通过研究极对偶三角形的关系我们证明了球面几何中特有的全等条件AAA,在球面三角中有反映这一特有全等条件的三角公式。

定理4.3（角的余弦公式）在单位球面上，对于任给球面三角形，其三边和三角恒满足下述函数关

人人文库> 全部分类> 教育资料 > 辅导培训

1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。