空间余弦定理公式推导：cosA=（b²+c²-a²）/2bc，cosA=邻边比斜边。设△ABC的三边是a、b、c，所对的角分别是A、B、C，则有a=b·cos C+c·cos B，b=c·cos A+a·cos C，c=a·cos B+b·cos A。
余弦定理是描述三角形中三边长度与一个角的余弦值关系的数学定理。运用它可解决一类已知三角形两边及夹角求第三边或者是已知三个边求角的问题。