已知两点和弧长lisp_计算球面上两点弧长

1，三角形余弦定理

余弦定理是揭示三角形边角关系的重要定理，直接运用它可解决一类已知三角形两边及夹角求第三边或者是已知三个边求角的问题，若对余弦定理加以变形并适当移于其它知识，则使用起来更为方便、灵活。

对于任意三角形，任何一边的平方等于其他两边平方的和减去这两边与他们夹角的余弦的两倍积，若三边为a,b,c 三角为A,B,C ，则满足性质——

(注：a*b、a*c就是a乘b、a乘c 。a^2、b^2、c^2就是a的平方，b的平方，c的平方。)

a^2=b^2+c^2-2*b*c*CosA

b^2=a^2+c^2-2*a*c*CosB

c^2=a^2+b^2-2*a*b*CosC

CosC=(a^2+b^2-c^2)/2ab

CosB=(a^2+c^2-b^2)/2ac

CosA=(c^2+b^2-a^2)/2bc 平面向量证法 ∵如图，有a+b=c (平行四边形定则：两个邻边之间的对角线代表两个邻边大小)

∴c·c=(a+b)·(a+b)

∴c^2=a·a+2a·b+b·b∴c^2=a^2+b^2+2|a||b|Cos(π-θ)

(以上粗体字符表示向量)

又∵Cos(π-θ)=-CosC

∴c^2=a^2+b^2-2|a||b|Cosθ(注意：这里用到了三角函数公式)

再拆开，得c^2=a^2+b^2-2*a*b*CosC

同理可证其他，而下面的CosC=(c^2-b^2-a^2)