三面角余弦定理的证明

三面角余弦定理的证明

在OA上取一点D，过D作OD的垂线DE、DF分别交OB、OC于E与F。接着使用向量证明。

考虑有向线段OD、OE、OF、DE、DF。易知：

cos∠OA=DE·DF/(DE*DF)

sin∠AOB=DE/OE

sin∠AOC=DF/OF

cos∠AOB=OD/OE

cos∠AOC=OD/OF

cos∠BOC=OE·OF/(OE*OF)；

则实际是要证明：

DE·DF/(DE*DF)*DE/OE*DF/OF+OD/OE*OD/OF=OE·OF/(OE*OF)

整理得(DE·DF+OD²)/(OE*OF)=OE·OF/(OE*OF)

即是要证明OD²+DE·DF=OE·OF；

显然，OE·OF=(OD+DE)·(OD+DF)=OD²+OD·DE+OD·DF+DE·DF，

注意到OD·DE=OD·DF=0，即可证明原式。 将三面角O-ABC放入单位球中，并设三面角与球面的交点分别为A、B、C。过A作球面的切平面，射线OB、OC与切平面交点为B'、C‘。则：

∠OA=∠B'AC'=A，AB'=tan∠AOB=tanc，AC'=tan∠AOC=tanb，OB'=1/cos∠AOB=1/cosc，OC'=1/cos∠AOC=1/cosb

在△AB'C'中，由余弦定理得

B'C'²=tan²c+tan²b-2tanc*tanb*cosA

在△OB'C'中，由余弦定理得

B'C'²=1/cos²c+1/cosb-2cos∠BOC/(cosc*cosb)

∴sin²c/cos²c+sin²b/cos²b-2sinc*sinb*cosA/(cosc*cosb)

=1/cos²c+1/cos²b-2cos∠BOC/(cosc*cosb)

两边乘以cos²c*cos²b得

sin²c*cos²b+sin²b*cos²c-2sinc*cosc*sinb*cosb*cosA

=cos²b+cos²c-2cosb*cosc*cos∠BOC

移项，整理得

cos²b(1-sin²c)+cos²c(1-sin²b)-2cosb*cosc*cos∠BOC=-2sinc*cosc*sinb*cosb*cosA

化简得cos∠BOC=cosb*cosc+sinb*sinc*cosA

也就是cos∠BOC=cos∠AOBcos∠AOC+sin∠AOBsin∠AOCcos∠OA