在《高等代数与解析几何》课程第一章向量代数的教学中,讲到几何空间的数量积时,有一个例题(见[1])要求证明如下的公式:cosθ=cosαcosβ+sinαsinβcosφ,……(1)其中点O是二面角P-MN-Q的棱MN上的点,OA、OB分别在平面P和平面Q内.LAON=α,∠BON=β,∠AOB=θ.φ为二面角P-MN-Q的平面角(见图1).