找到空间几何的三角cos公式吗？

　　你写的公式是正确的。

　　在空间中经过O的三条线OA、OB、OC.OA和OB之间的角度被设置为x1。

　　OC和OB之间的角度设置为x3。

　　如果平面OAB垂直于OBC，则cosx1cosx2=cosx3证明如下：OB垂直于OA上的点An，且OB在点B上垂直于OB。

　　在点Ccosx1cosx2=OBOB/OAOCcosx3=(OAOA+OCOC-acac)/2OAOC处相交OC，很容易知道三角形ABC是一个B角为直角的三角形。

　　所以acac=ABAB+BCBC=(OAOA-OBOB)+(OCOC-OB0B)，所以cosx3=OBOB/OAOC，所以cosx1cosx2=cosx3似乎没有名字。